runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3482300-1307741585/watcher-3482300-1307741585 -o /tmp/evaluation-result-3482300-1307741585/solver-3482300-1307741585 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482300-1307741585.opb -seed 1088248822 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 5/176 10320
/proc/meminfo: memFree=31759928/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=11804 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (runsolver) S 10314 10319 10275 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 1 0 885757491 12087296 55 33554432000 4194304 5436572 140737135947936 18446744073709551615 5057063 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/10319/statm: 2951 55 36 304 0 2643 0
[startup+0.0863371 s]
/proc/loadavg: 0.00 0.00 0.00 5/176 10320
/proc/meminfo: memFree=31759928/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=16236 CPUtime=0.01 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 1050 0 0 0 1 0 0 0 17 0 1 0 885757491 16625664 921 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/10319/statm: 4059 921 381 364 0 546 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16236
[startup+0.10034 s]
/proc/loadavg: 0.00 0.00 0.00 5/176 10320
/proc/meminfo: memFree=31759928/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=16396 CPUtime=0.01 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 1111 0 0 0 1 0 0 0 17 0 1 0 885757491 16789504 979 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244344677 0 2147483391 16781312 2 18446744071699945619 0 0 17 3 0 0 0
/proc/10319/statm: 4099 979 407 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.300318 s]
/proc/loadavg: 0.00 0.00 0.00 5/176 10320
/proc/meminfo: memFree=31759928/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=96128 CPUtime=0.09 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 3035 464 1 0 6 3 0 0 17 0 1 0 885757491 98435072 2483 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244348672 0 0 16781312 2 18446744071562362840 0 0 17 3 0 0 0
/proc/10319/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 96128
[startup+0.700231 s]
/proc/loadavg: 0.00 0.00 0.00 5/176 10320
/proc/meminfo: memFree=31759928/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 5355 931 1 0 11 4 0 0 15 0 1 0 885757491 126709760 3741 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244344837 0 2147483391 16781312 2 18446744071699945619 0 0 17 3 0 0 0
/proc/10319/statm: 30935 3741 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+1.5011 s]
/proc/loadavg: 0.00 0.00 0.00 1/178 10330
/proc/meminfo: memFree=31739080/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 5358 931 1 0 11 6 0 0 15 0 1 0 885757491 126709760 3744 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244344837 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/10319/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+3.10113 s]
/proc/loadavg: 0.00 0.00 0.00 1/178 10330
/proc/meminfo: memFree=31738724/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=123740 CPUtime=0.2 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 5360 931 1 0 13 7 0 0 15 0 1 0 885757491 126709760 3746 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244346880 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/10319/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+6.30025 s]
/proc/loadavg: 0.00 0.00 0.00 4/181 10333
/proc/meminfo: memFree=31653660/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=293760 CPUtime=0.52 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 9802 931 1 0 38 14 0 0 16 0 2 0 885757491 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/10319/statm: 73440 7308 1870 364 0 8327 0
[pid=10331] ppid=10319 vsize=283516 CPUtime=0 cores=1,3,5,7
/proc/10331/stat : 10331 (python) S 10319 10319 10275 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 885757993 290320384 5786 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244368911 0 0 16781312 33554946 3884366919263846400 0 0 17 5 0 0 0
/proc/10331/statm: 70879 5786 352 364 0 5766 0
[pid=10333] ppid=10331 vsize=49368 CPUtime=1.26 cores=1,3,5,7
/proc/10333/stat : 10333 (scip-2.0.1.linu) R 10331 10333 10333 0 -1 4202496 10899 0 0 0 119 7 0 0 18 0 1 0 885757994 50552832 10056 33554432000 4194304 13684479 140733984872208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10333/statm: 12342 10056 753 2317 0 10020 0
[pid=10319/tid=10332] ppid=10314 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10332/stat : 10332 (python) S 10314 10319 10275 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 885757994 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 626644
heavy processes:
[startup+12.7011 s]
/proc/loadavg: 0.31 0.07 0.02 4/181 10333
/proc/meminfo: memFree=31546300/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=293760 CPUtime=0.52 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 9802 931 1 0 38 14 0 0 16 0 2 0 885757491 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/10319/statm: 73440 7308 1870 364 0 8327 0
[pid=10331] ppid=10319 vsize=283516 CPUtime=0.01 cores=1,3,5,7
/proc/10331/stat : 10331 (python) S 10319 10319 10275 0 -1 4202560 918 0 0 0 0 1 0 0 15 0 1 0 885757993 290320384 5810 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244368911 0 0 16781312 33554946 4294934790 0 0 17 5 0 0 0
/proc/10331/statm: 70879 5810 376 364 0 5766 0
[pid=10333] ppid=10331 vsize=91608 CPUtime=7.66 cores=1,3,5,7
/proc/10333/stat : 10333 (scip-2.0.1.linu) R 10331 10333 10333 0 -1 4202496 24958 0 0 0 740 26 0 0 18 0 1 0 885757994 93806592 19590 33554432000 4194304 13684479 140733984872208 18446744073709551615 4941059 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10333/statm: 22902 19590 1024 2317 0 20580 0
[pid=10319/tid=10332] ppid=10314 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10332/stat : 10332 (python) S 10314 10319 10275 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 885757994 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 668884
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 0.57 0.13 0.04 4/184 10337
/proc/meminfo: memFree=31286472/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=293760 CPUtime=0.52 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 9802 931 1 0 38 14 0 0 16 0 2 0 885757491 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/10319/statm: 73440 7308 1870 364 0 8327 0
[pid=10331] ppid=10319 vsize=283516 CPUtime=0.03 cores=1,3,5,7
/proc/10331/stat : 10331 (python) S 10319 10319 10275 0 -1 4202560 931 0 0 0 1 2 0 0 15 0 1 0 885757993 290320384 5810 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244368911 0 0 16781312 33554946 5623606151888251783 0 0 17 5 0 0 0
/proc/10331/statm: 70879 5810 376 364 0 5766 0
[pid=10333] ppid=10331 vsize=99060 CPUtime=20.46 cores=1,3,5,7
/proc/10333/stat : 10333 (scip-2.0.1.linu) R 10331 10333 10333 0 -1 4202496 31664 0 0 0 1997 49 0 0 20 0 1 0 885757994 101437440 21802 33554432000 4194304 13684479 140733984872208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10333/statm: 24765 21802 788 2317 0 22443 0
[pid=10319/tid=10332] ppid=10314 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10332/stat : 10332 (python) S 10314 10319 10275 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 885757994 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 21.01
Current children cumulated vsize (KiB) 676336
[startup+51.1003 s]
/proc/loadavg: 1.06 0.28 0.09 3/184 10337
/proc/meminfo: memFree=31266816/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=293760 CPUtime=0.52 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 9802 931 1 0 38 14 0 0 16 0 2 0 885757491 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/10319/statm: 73440 7308 1870 364 0 8327 0
[pid=10331] ppid=10319 vsize=283516 CPUtime=0.06 cores=1,3,5,7
/proc/10331/stat : 10331 (python) S 10319 10319 10275 0 -1 4202560 940 0 0 0 2 4 0 0 15 0 1 0 885757993 290320384 5810 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244368911 0 0 16781312 33554946 5623606151888251783 0 0 17 5 0 0 0
/proc/10331/statm: 70879 5810 376 364 0 5766 0
[pid=10333] ppid=10331 vsize=99060 CPUtime=46.06 cores=1,3,5,7
/proc/10333/stat : 10333 (scip-2.0.1.linu) R 10331 10333 10333 0 -1 4202496 31780 0 0 0 4521 85 0 0 25 0 1 0 885757994 101437440 21918 33554432000 4194304 13684479 140733984872208 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/10333/statm: 24765 21918 791 2317 0 22443 0
[pid=10319/tid=10332] ppid=10314 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10332/stat : 10332 (python) S 10314 10319 10275 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 2 0 885757994 300810240 7308 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 46.64
Current children cumulated vsize (KiB) 676336
[startup+102.308 s]
/proc/loadavg: 1.62 0.56 0.20 4/232 10387
/proc/meminfo: memFree=28199456/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=314480 CPUtime=0.57 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 11537 931 1 0 42 15 0 0 20 0 4 0 885757491 322027520 7376 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/10319/statm: 78620 7376 1875 364 0 13501 0
[pid=10331] ppid=10319 vsize=293760 CPUtime=0.07 cores=1,3,5,7
/proc/10331/stat : 10331 (python) S 10319 10319 10275 0 -1 4202560 1096 0 0 0 3 4 0 0 16 0 2 0 885757993 300810240 5846 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/10331/statm: 73440 5846 407 364 0 8327 0
[pid=10333] ppid=10331 vsize=99060 CPUtime=48.92 cores=1,3,5,7
/proc/10333/stat : 10333 (scip-2.0.1.linu) T 10331 10333 10333 0 -1 4202496 31785 0 0 0 4803 89 0 0 25 0 1 0 885757994 101437440 21918 33554432000 4194304 13684479 140733984872208 18446744073709551615 7267046 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/10333/statm: 24765 21918 786 2317 0 22443 0
[pid=10331/tid=10338] ppid=10319 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/10331/task/10338/stat : 10338 (python) S 10319 10319 10275 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 885762887 300810240 5846 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554946 18446604460913646592 0 0 -1 5 0 0 0
[pid=10339] ppid=10319 vsize=294280 CPUtime=0.07 cores=1,3,5,7
/proc/10339/stat : 10339 (python) S 10319 10319 10275 0 -1 4202560 1104 0 0 0 3 4 0 0 16 0 2 0 885762889 301342720 5950 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/10339/statm: 73570 5950 397 364 0 8454 0
[pid=10341] ppid=10339 vsize=8536168 CPUtime=48.79 cores=1,3,5,7
/proc/10341/stat : 10341 (java) T 10339 10341 10341 0 -1 4202496 29826 0 1 0 4874 5 0 0 18 0 19 0 885762889 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10341/statm: 2134042 26043 2255 9 0 2124783 0
[pid=10341/tid=10342] ppid=10339 vsize=8536168 CPUtime=47.14 cores=1,3,5,7
/proc/10341/task/10342/stat : 10342 (java) T 10339 10341 10341 0 -1 4202560 9530 0 1 0 4712 2 0 0 25 0 19 0 885762890 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10343] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10343/stat : 10343 (java) T 10339 10341 10341 0 -1 4202560 722 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10344] ppid=10339 vsize=8536168 CPUtime=0.03 cores=1,3,5,7
/proc/10341/task/10344/stat : 10344 (java) T 10339 10341 10341 0 -1 4202560 763 0 0 0 3 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10345] ppid=10339 vsize=8536168 CPUtime=0.03 cores=1,3,5,7
/proc/10341/task/10345/stat : 10345 (java) T 10339 10341 10341 0 -1 4202560 1037 0 0 0 3 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10346] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10346/stat : 10346 (java) T 10339 10341 10341 0 -1 4202560 1250 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10347] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10347/stat : 10347 (java) T 10339 10341 10341 0 -1 4202560 232 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10348] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10348/stat : 10348 (java) T 10339 10341 10341 0 -1 4202560 1406 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10349] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10349/stat : 10349 (java) T 10339 10341 10341 0 -1 4202560 120 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10350] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10350/stat : 10350 (java) T 10339 10341 10341 0 -1 4202560 1486 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10351] ppid=10339 vsize=8536168 CPUtime=0.36 cores=1,3,5,7
/proc/10341/task/10351/stat : 10351 (java) T 10339 10341 10341 0 -1 4202560 5645 0 0 0 36 0 0 0 15 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 47739424763354 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10352] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10352/stat : 10352 (java) T 10339 10341 10341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10353] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10353/stat : 10353 (java) T 10339 10341 10341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10354] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10354/stat : 10354 (java) T 10339 10341 10341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256172465 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10355] ppid=10339 vsize=8536168 CPUtime=0.5 cores=1,3,5,7
################
# More data... #
################
[pid=10319/tid=10395] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10395/stat : 10395 (python) S 10314 10319 10275 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 885772699 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 153.16
Current children cumulated vsize (KiB) 10264896
[startup+156.502 s]
/proc/loadavg: 1.87 0.80 0.30 3/240 10396
/proc/meminfo: memFree=27954908/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=325252 CPUtime=0.6 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 12415 931 1 0 45 15 0 0 19 0 5 0 885757491 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/10319/statm: 81313 7479 1877 364 0 16191 0
[pid=10331] ppid=10319 vsize=293760 CPUtime=0.07 cores=1,3,5,7
/proc/10331/stat : 10331 (python) S 10319 10319 10275 0 -1 4202560 1096 0 0 0 3 4 0 0 16 0 2 0 885757993 300810240 5846 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/10331/statm: 73440 5846 407 364 0 8327 0
[pid=10333] ppid=10331 vsize=99060 CPUtime=48.92 cores=1,3,5,7
/proc/10333/stat : 10333 (scip-2.0.1.linu) T 10331 10333 10333 0 -1 4202496 31785 0 0 0 4803 89 0 0 25 0 1 0 885757994 101437440 21918 33554432000 4194304 13684479 140733984872208 18446744073709551615 7267046 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/10333/statm: 24765 21918 786 2317 0 22443 0
[pid=10331/tid=10338] ppid=10319 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/10331/task/10338/stat : 10338 (python) S 10319 10319 10275 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 885762887 300810240 5846 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554946 18446604460913646592 0 0 -1 5 0 0 0
[pid=10339] ppid=10319 vsize=294280 CPUtime=0.07 cores=1,3,5,7
/proc/10339/stat : 10339 (python) S 10319 10319 10275 0 -1 4202560 1104 0 0 0 3 4 0 0 16 0 2 0 885762889 301342720 5950 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/10339/statm: 73570 5950 397 364 0 8454 0
[pid=10341] ppid=10339 vsize=8536168 CPUtime=48.79 cores=1,3,5,7
/proc/10341/stat : 10341 (java) T 10339 10341 10341 0 -1 4202496 29826 0 1 0 4874 5 0 0 18 0 19 0 885762889 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10341/statm: 2134042 26043 2255 9 0 2124783 0
[pid=10341/tid=10342] ppid=10339 vsize=8536168 CPUtime=47.14 cores=1,3,5,7
/proc/10341/task/10342/stat : 10342 (java) T 10339 10341 10341 0 -1 4202560 9530 0 1 0 4712 2 0 0 25 0 19 0 885762890 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10343] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10343/stat : 10343 (java) T 10339 10341 10341 0 -1 4202560 722 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10344] ppid=10339 vsize=8536168 CPUtime=0.03 cores=1,3,5,7
/proc/10341/task/10344/stat : 10344 (java) T 10339 10341 10341 0 -1 4202560 763 0 0 0 3 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10345] ppid=10339 vsize=8536168 CPUtime=0.03 cores=1,3,5,7
/proc/10341/task/10345/stat : 10345 (java) T 10339 10341 10341 0 -1 4202560 1037 0 0 0 3 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10346] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10346/stat : 10346 (java) T 10339 10341 10341 0 -1 4202560 1250 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10347] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10347/stat : 10347 (java) T 10339 10341 10341 0 -1 4202560 232 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10348] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10348/stat : 10348 (java) T 10339 10341 10341 0 -1 4202560 1406 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10349] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10349/stat : 10349 (java) T 10339 10341 10341 0 -1 4202560 120 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10350] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10350/stat : 10350 (java) T 10339 10341 10341 0 -1 4202560 1486 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10351] ppid=10339 vsize=8536168 CPUtime=0.36 cores=1,3,5,7
/proc/10341/task/10351/stat : 10351 (java) T 10339 10341 10341 0 -1 4202560 5645 0 0 0 36 0 0 0 15 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 47739424763354 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10352] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10352/stat : 10352 (java) T 10339 10341 10341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10353] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10353/stat : 10353 (java) T 10339 10341 10341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10354] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10354/stat : 10354 (java) T 10339 10341 10341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256172465 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10355] ppid=10339 vsize=8536168 CPUtime=0.5 cores=1,3,5,7
/proc/10341/task/10355/stat : 10355 (java) T 10339 10341 10341 0 -1 4202560 3950 0 0 0 50 0 0 0 15 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10356] ppid=10339 vsize=8536168 CPUtime=0.52 cores=1,3,5,7
/proc/10341/task/10356/stat : 10356 (java) T 10339 10341 10341 0 -1 4202560 2292 0 0 0 52 0 0 0 15 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10357] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10357/stat : 10357 (java) T 10339 10341 10341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10358] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10358/stat : 10358 (java) T 10339 10341 10341 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=10341/tid=10359] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10359/stat : 10359 (java) T 10339 10341 10341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 885762922 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10339/tid=10384] ppid=10319 vsize=294280 CPUtime=0 cores=1,3,5,7
/proc/10339/task/10384/stat : 10384 (python) S 10319 10319 10275 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 885767653 301342720 5950 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554946 18446604471115965760 0 0 -1 7 0 0 0
[pid=10385] ppid=10319 vsize=304236 CPUtime=0.07 cores=1,3,5,7
/proc/10385/stat : 10385 (python) S 10319 10319 10275 0 -1 4202560 1109 0 0 0 3 4 0 0 16 0 2 0 885767655 311537664 5895 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/10385/statm: 76059 5895 397 364 0 10940 0
[pid=10387] ppid=10385 vsize=82832 CPUtime=50.4 cores=1,3,5,7
/proc/10387/stat : 10387 (scip-2.0.1.linu) T 10385 10387 10387 0 -1 4202496 31908 0 0 0 5008 32 0 0 25 0 1 0 885767656 84819968 17290 33554432000 4194304 15243407 140735039192096 18446744073709551615 8113823 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/10387/statm: 20708 17290 895 2698 0 18003 0
[pid=10385/tid=10393] ppid=10319 vsize=304236 CPUtime=0 cores=1,3,5,7
/proc/10385/task/10393/stat : 10393 (python) S 10319 10319 10275 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 885772696 311537664 5895 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554946 18446604466011625664 0 0 -1 7 0 0 0
[pid=10394] ppid=10319 vsize=315008 CPUtime=0.03 cores=1,3,5,7
/proc/10394/stat : 10394 (python) S 10319 10319 10275 0 -1 4202560 967 0 0 0 2 1 0 0 15 0 1 0 885772698 322568192 5971 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244368966 0 0 16781312 33554946 4294934792 0 0 17 5 0 0 0
/proc/10394/statm: 78752 5971 373 364 0 13630 0
[pid=10396] ppid=10394 vsize=14300 CPUtime=4.41 cores=1,3,5,7
/proc/10396/stat : 10396 (wbo1.4a) R 10394 10396 10396 0 -1 4202496 4402 0 0 0 415 26 0 0 25 0 1 0 885772699 14643200 3123 33554432000 134512640 135751879 4288493024 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/10396/statm: 3575 3123 146 303 0 3270 0
[pid=10319/tid=10332] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10332/stat : 10332 (python) S 10314 10319 10275 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 5 0 885757994 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
[pid=10319/tid=10340] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10340/stat : 10340 (python) S 10314 10319 10275 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 885762889 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
[pid=10319/tid=10386] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10386/stat : 10386 (python) S 10314 10319 10275 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 885767656 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 5 0 0 0
[pid=10319/tid=10395] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10395/stat : 10395 (python) S 10314 10319 10275 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 885772699 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 153.36
Current children cumulated vsize (KiB) 10264896
[startup+156.602 s]
/proc/loadavg: 1.87 0.80 0.30 3/240 10396
/proc/meminfo: memFree=27954908/32951124 swapFree=67056676/67111528
[pid=10319] ppid=10314 vsize=325252 CPUtime=0.6 cores=1,3,5,7
/proc/10319/stat : 10319 (python) S 10314 10319 10275 0 -1 4202496 12415 931 1 0 45 15 0 0 19 0 5 0 885757491 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/10319/statm: 81313 7479 1877 364 0 16191 0
[pid=10331] ppid=10319 vsize=293760 CPUtime=0.07 cores=1,3,5,7
/proc/10331/stat : 10331 (python) S 10319 10319 10275 0 -1 4202560 1096 0 0 0 3 4 0 0 16 0 2 0 885757993 300810240 5846 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/10331/statm: 73440 5846 407 364 0 8327 0
[pid=10333] ppid=10331 vsize=99060 CPUtime=48.92 cores=1,3,5,7
/proc/10333/stat : 10333 (scip-2.0.1.linu) T 10331 10333 10333 0 -1 4202496 31785 0 0 0 4803 89 0 0 25 0 1 0 885757994 101437440 21918 33554432000 4194304 13684479 140733984872208 18446744073709551615 7267046 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/10333/statm: 24765 21918 786 2317 0 22443 0
[pid=10331/tid=10338] ppid=10319 vsize=293760 CPUtime=0 cores=1,3,5,7
/proc/10331/task/10338/stat : 10338 (python) S 10319 10319 10275 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 885762887 300810240 5846 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554946 18446604460913646592 0 0 -1 5 0 0 0
[pid=10339] ppid=10319 vsize=294280 CPUtime=0.07 cores=1,3,5,7
/proc/10339/stat : 10339 (python) S 10319 10319 10275 0 -1 4202560 1104 0 0 0 3 4 0 0 16 0 2 0 885762889 301342720 5950 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/10339/statm: 73570 5950 397 364 0 8454 0
[pid=10341] ppid=10339 vsize=8536168 CPUtime=48.79 cores=1,3,5,7
/proc/10341/stat : 10341 (java) T 10339 10341 10341 0 -1 4202496 29826 0 1 0 4874 5 0 0 18 0 19 0 885762889 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/10341/statm: 2134042 26043 2255 9 0 2124783 0
[pid=10341/tid=10342] ppid=10339 vsize=8536168 CPUtime=47.14 cores=1,3,5,7
/proc/10341/task/10342/stat : 10342 (java) T 10339 10341 10341 0 -1 4202560 9530 0 1 0 4712 2 0 0 25 0 19 0 885762890 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10343] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10343/stat : 10343 (java) T 10339 10341 10341 0 -1 4202560 722 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10344] ppid=10339 vsize=8536168 CPUtime=0.03 cores=1,3,5,7
/proc/10341/task/10344/stat : 10344 (java) T 10339 10341 10341 0 -1 4202560 763 0 0 0 3 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10345] ppid=10339 vsize=8536168 CPUtime=0.03 cores=1,3,5,7
/proc/10341/task/10345/stat : 10345 (java) T 10339 10341 10341 0 -1 4202560 1037 0 0 0 3 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10346] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10346/stat : 10346 (java) T 10339 10341 10341 0 -1 4202560 1250 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10347] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10347/stat : 10347 (java) T 10339 10341 10341 0 -1 4202560 232 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10348] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10348/stat : 10348 (java) T 10339 10341 10341 0 -1 4202560 1406 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10349] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10349/stat : 10349 (java) T 10339 10341 10341 0 -1 4202560 120 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10350] ppid=10339 vsize=8536168 CPUtime=0.02 cores=1,3,5,7
/proc/10341/task/10350/stat : 10350 (java) T 10339 10341 10341 0 -1 4202560 1486 0 0 0 2 0 0 0 15 0 19 0 885762891 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10351] ppid=10339 vsize=8536168 CPUtime=0.36 cores=1,3,5,7
/proc/10341/task/10351/stat : 10351 (java) T 10339 10341 10341 0 -1 4202560 5645 0 0 0 36 0 0 0 15 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 47739424763354 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10352] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10352/stat : 10352 (java) T 10339 10341 10341 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10353] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10353/stat : 10353 (java) T 10339 10341 10341 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 885762892 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10354] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10354/stat : 10354 (java) T 10339 10341 10341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256172465 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10355] ppid=10339 vsize=8536168 CPUtime=0.5 cores=1,3,5,7
/proc/10341/task/10355/stat : 10355 (java) T 10339 10341 10341 0 -1 4202560 3950 0 0 0 50 0 0 0 15 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=10341/tid=10356] ppid=10339 vsize=8536168 CPUtime=0.52 cores=1,3,5,7
/proc/10341/task/10356/stat : 10356 (java) T 10339 10341 10341 0 -1 4202560 2292 0 0 0 52 0 0 0 15 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10341/tid=10357] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10357/stat : 10357 (java) T 10339 10341 10341 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256164761 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=10341/tid=10358] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10358/stat : 10358 (java) T 10339 10341 10341 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 885762895 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=10341/tid=10359] ppid=10339 vsize=8536168 CPUtime=0 cores=1,3,5,7
/proc/10341/task/10359/stat : 10359 (java) T 10339 10341 10341 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 885762922 8741036032 26043 33554432000 1073741824 1073778376 140737224278544 18446744073709551615 228256165376 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=10339/tid=10384] ppid=10319 vsize=294280 CPUtime=0 cores=1,3,5,7
/proc/10339/task/10384/stat : 10384 (python) S 10319 10319 10275 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 885767653 301342720 5950 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554946 18446604471115965760 0 0 -1 7 0 0 0
[pid=10385] ppid=10319 vsize=304236 CPUtime=0.07 cores=1,3,5,7
/proc/10385/stat : 10385 (python) S 10319 10319 10275 0 -1 4202560 1109 0 0 0 3 4 0 0 16 0 2 0 885767655 311537664 5895 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256175563 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/10385/statm: 76059 5895 397 364 0 10940 0
[pid=10387] ppid=10385 vsize=82832 CPUtime=50.4 cores=1,3,5,7
/proc/10387/stat : 10387 (scip-2.0.1.linu) T 10385 10387 10387 0 -1 4202496 31908 0 0 0 5008 32 0 0 25 0 1 0 885767656 84819968 17290 33554432000 4194304 15243407 140735039192096 18446744073709551615 8113823 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/10387/statm: 20708 17290 895 2698 0 18003 0
[pid=10385/tid=10393] ppid=10319 vsize=304236 CPUtime=0 cores=1,3,5,7
/proc/10385/task/10393/stat : 10393 (python) S 10319 10319 10275 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 885772696 311537664 5895 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554946 18446604466011625664 0 0 -1 7 0 0 0
[pid=10394] ppid=10319 vsize=315008 CPUtime=0.03 cores=1,3,5,7
/proc/10394/stat : 10394 (python) S 10319 10319 10275 0 -1 4202560 967 0 0 0 2 1 0 0 15 0 1 0 885772698 322568192 5971 33554432000 4194304 5683644 140737071197024 18446744073709551615 228244368966 0 0 16781312 33554946 4294934792 0 0 17 5 0 0 0
/proc/10394/statm: 78752 5971 373 364 0 13630 0
[pid=10396] ppid=10394 vsize=14300 CPUtime=4.51 cores=1,3,5,7
/proc/10396/stat : 10396 (wbo1.4a) R 10394 10396 10396 0 -1 4202496 4402 0 0 0 425 26 0 0 25 0 1 0 885772699 14643200 3123 33554432000 134512640 135751879 4288493024 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/10396/statm: 3575 3123 146 303 0 3270 0
[pid=10319/tid=10332] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10332/stat : 10332 (python) S 10314 10319 10275 0 -1 4202560 26 931 0 0 0 0 0 0 17 0 5 0 885757994 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
[pid=10319/tid=10340] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10340/stat : 10340 (python) S 10314 10319 10275 0 -1 4202560 25 931 0 0 0 0 0 0 19 0 5 0 885762889 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 7 0 0 0
[pid=10319/tid=10386] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10386/stat : 10386 (python) S 10314 10319 10275 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 5 0 885767656 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 5 0 0 0
[pid=10319/tid=10395] ppid=10314 vsize=325252 CPUtime=0 cores=1,3,5,7
/proc/10319/task/10395/stat : 10395 (python) S 10314 10319 10275 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 885772699 333058048 7479 33554432000 4194304 5683644 140737071197024 18446744073709551615 228256172465 0 0 16781312 33554434 18446604471158815744 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 153.46
Current children cumulated vsize (KiB) 10264896
Child status: 0
Real time (s): 156.671
CPU time (s): 153.621
CPU user time (s): 151.751
CPU system time (s): 1.86971
CPU usage (%): 98.0531
Max. virtual memory (cumulated for all children) (KiB): 10264896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.751
system time used= 1.86972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120925
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10456
involuntary context switches= 861
runsolver used 0.290955 second user time and 0.72189 second system time
The end