runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3481777-1307577291/watcher-3481777-1307577291 -o /tmp/evaluation-result-3481777-1307577291/solver-3481777-1307577291 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481777-1307577291.opb -seed 1084159772 -budget 1800
running on 4 cores: 0,2,4,6
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: 1.99 1.93 1.27 2/560 12255
/proc/meminfo: memFree=25505108/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=15768 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (python) R 12253 12255 11000 0 -1 4202496 850 0 0 0 0 0 0 0 20 0 1 0 869328898 16146432 732 33554432000 4194304 5683644 140737120302256 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12255/statm: 3942 736 334 364 0 429 0
[startup+0.10589 s]
/proc/loadavg: 1.99 1.93 1.27 2/560 12255
/proc/meminfo: memFree=25505108/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=87840 CPUtime=0.06 cores=0,2,4,6
/proc/12255/stat : 12255 (python) R 12253 12255 11000 0 -1 4202496 2707 0 1 0 5 1 0 0 17 0 1 0 869328898 89948160 2419 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278877696 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12255/statm: 21960 2419 746 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87840
[startup+0.200872 s]
/proc/loadavg: 1.99 1.93 1.27 2/560 12255
/proc/meminfo: memFree=25505108/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=117900 CPUtime=0.11 cores=0,2,4,6
/proc/12255/stat : 12255 (python) R 12253 12255 11000 0 -1 4202496 4922 931 1 0 10 1 0 0 17 0 1 0 869328898 120729600 3346 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278877696 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/12255/statm: 29475 3346 916 364 0 2445 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 117900
[startup+0.300853 s]
/proc/loadavg: 1.99 1.93 1.27 2/560 12255
/proc/meminfo: memFree=25505108/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/12255/stat : 12255 (python) R 12253 12255 11000 0 -1 4202496 5357 931 1 0 13 2 0 0 16 0 1 0 869328898 126709760 3744 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278875653 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12255/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.700731 s]
/proc/loadavg: 1.99 1.93 1.27 2/560 12255
/proc/meminfo: memFree=25505108/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=286816 CPUtime=0.4 cores=0,2,4,6
/proc/12255/stat : 12255 (python) R 12253 12255 11000 0 -1 4202496 10147 931 1 0 33 7 0 0 15 0 1 0 869328898 293699584 8009 33554432000 4194304 5683644 140737120302256 18446744073709551615 4603010 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/12255/statm: 71704 8009 1781 364 0 6597 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 286816
[startup+1.5007 s]
/proc/loadavg: 1.99 1.93 1.27 3/561 12260
/proc/meminfo: memFree=25458352/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=299668 CPUtime=1.21 cores=0,2,4,6
/proc/12255/stat : 12255 (python) R 12253 12255 11000 0 -1 4202496 16669 931 1 0 113 8 0 0 16 0 1 0 869328898 306860032 11264 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278537457 0 0 16781312 33554434 0 0 0 17 4 0 0 0
/proc/12255/statm: 74917 11264 1815 364 0 9810 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 299668
[startup+3.10134 s]
/proc/loadavg: 1.99 1.93 1.27 3/581 12280
/proc/meminfo: memFree=25442552/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=309936 CPUtime=1.78 cores=0,2,4,6
/proc/12255/stat : 12255 (python) S 12253 12255 11000 0 -1 4202496 16992 931 1 0 170 8 0 0 19 0 2 0 869328898 317374464 11354 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12255/statm: 77484 11354 1872 364 0 12371 0
[pid=12261] ppid=12255 vsize=299692 CPUtime=0 cores=0,2,4,6
/proc/12261/stat : 12261 (python) S 12255 12255 11000 0 -1 4202560 879 0 0 0 0 0 0 0 15 0 1 0 869329106 306884608 9835 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278899727 0 0 16781312 33554946 4004301231009824768 0 0 17 4 0 0 0
/proc/12261/statm: 74923 9835 357 364 0 9810 0
[pid=12263] ppid=12261 vsize=8539696 CPUtime=1.6 cores=0,2,4,6
/proc/12263/stat : 12263 (java) S 12261 12263 12263 0 -1 4202496 42189 0 1 0 153 7 0 0 19 0 19 0 869329106 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12263/statm: 2134924 39776 2234 9 0 2125665 0
[pid=12263/tid=12264] ppid=12261 vsize=8539696 CPUtime=0.99 cores=0,2,4,6
/proc/12263/task/12264/stat : 12264 (java) R 12261 12263 12263 0 -1 4202560 35290 0 1 0 94 5 0 0 25 0 19 0 869329107 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 46912505822148 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12263/tid=12265] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12265/stat : 12265 (java) S 12261 12263 12263 0 -1 4202560 312 0 0 0 0 0 0 0 16 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12266/stat : 12266 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12267] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12267/stat : 12267 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12268] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12268/stat : 12268 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12269] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (java) S 12261 12263 12263 0 -1 4202560 109 0 0 0 0 0 0 0 16 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 2 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (java) S 12261 12263 12263 0 -1 4202560 174 0 0 0 0 0 0 0 16 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12263/tid=12272] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12272/stat : 12272 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869329108 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12273] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12273/stat : 12273 (java) S 12261 12263 12263 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869329109 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 0 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12274] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12274/stat : 12274 (java) S 12261 12263 12263 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 869329109 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12275] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12275/stat : 12275 (java) S 12261 12263 12263 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 19 0 869329109 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12276] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12276/stat : 12276 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869329111 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290703281 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12277] ppid=12261 vsize=8539696 CPUtime=0.31 cores=0,2,4,6
/proc/12263/task/12277/stat : 12277 (java) S 12261 12263 12263 0 -1 4202560 2834 0 0 0 31 0 0 0 21 0 19 0 869329111 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12278] ppid=12261 vsize=8539696 CPUtime=0.26 cores=0,2,4,6
/proc/12263/task/12278/stat : 12278 (java) S 12261 12263 12263 0 -1 4202560 2076 0 0 0 26 0 0 0 21 0 19 0 869329111 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 2 0 0 0
[pid=12263/tid=12279] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12279/stat : 12279 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869329111 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12280] ppid=12261 vsize=8539696 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12280/stat : 12280 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869329111 8744648704 39776 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12255/tid=12262] ppid=12253 vsize=309936 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12262/stat : 12262 (python) S 12253 12255 11000 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869329106 317374464 11354 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 9149324
[startup+6.30078 s]
/proc/loadavg: 1.99 1.93 1.27 3/582 12281
/proc/meminfo: memFree=24877548/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=309936 CPUtime=1.78 cores=0,2,4,6
/proc/12255/stat : 12255 (python) S 12253 12255 11000 0 -1 4202496 16992 931 1 0 170 8 0 0 19 0 2 0 869328898 317374464 11354 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12255/statm: 77484 11354 1872 364 0 12371 0
[pid=12261] ppid=12255 vsize=299692 CPUtime=0 cores=0,2,4,6
/proc/12261/stat : 12261 (python) S 12255 12255 11000 0 -1 4202560 1002 0 0 0 0 0 0 0 15 0 1 0 869329106 306884608 9858 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278899727 0 0 16781312 33554946 13522511124783661314 0 0 17 4 0 0 0
/proc/12261/statm: 74923 9858 380 364 0 9810 0
[pid=12263] ppid=12261 vsize=8553296 CPUtime=5.63 cores=0,2,4,6
/proc/12263/stat : 12263 (java) S 12261 12263 12263 0 -1 4202496 55330 0 1 0 555 8 0 0 19 0 19 0 869329106 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12263/statm: 2138324 49040 2239 9 0 2129065 0
[pid=12263/tid=12264] ppid=12261 vsize=8553296 CPUtime=4.16 cores=0,2,4,6
/proc/12263/task/12264/stat : 12264 (java) R 12261 12263 12263 0 -1 4202560 35315 0 1 0 411 5 0 0 25 0 19 0 869329107 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 46912506088717 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=12263/tid=12265] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
/proc/12263/task/12265/stat : 12265 (java) S 12261 12263 12263 0 -1 4202560 1172 0 0 0 1 0 0 0 16 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12266/stat : 12266 (java) S 12261 12263 12263 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12267] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12267/stat : 12267 (java) S 12261 12263 12263 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 2 0 0 0
[pid=12263/tid=12268] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12268/stat : 12268 (java) S 12261 12263 12263 0 -1 4202560 25 0 0 0 0 0 0 0 16 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12263/tid=12269] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (java) S 12261 12263 12263 0 -1 4202560 401 0 0 0 0 0 0 0 16 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (java) S 12261 12263 12263 0 -1 4202560 714 0 0 0 0 0 0 0 16 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (java) S 12261 12263 12263 0 -1 4202560 1172 0 0 0 1 0 0 0 16 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12263/tid=12272] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
/proc/12263/task/12272/stat : 12272 (java) S 12261 12263 12263 0 -1 4202560 1176 0 0 0 1 0 0 0 15 0 19 0 869329108 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 2 0 0 0
[pid=12263/tid=12273] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12273/stat : 12273 (java) S 12261 12263 12263 0 -1 4202560 64 0 0 0 0 0 0 0 16 0 19 0 869329109 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 0 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12274] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12274/stat : 12274 (java) S 12261 12263 12263 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 19 0 869329109 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12275] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12275/stat : 12275 (java) S 12261 12263 12263 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 19 0 869329109 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12276] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12276/stat : 12276 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869329111 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290703281 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12277] ppid=12261 vsize=8553296 CPUtime=0.83 cores=0,2,4,6
/proc/12263/task/12277/stat : 12277 (java) S 12261 12263 12263 0 -1 4202560 11029 0 0 0 82 1 0 0 15 0 19 0 869329111 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12278] ppid=12261 vsize=8553296 CPUtime=0.54 cores=0,2,4,6
/proc/12263/task/12278/stat : 12278 (java) S 12261 12263 12263 0 -1 4202560 2600 0 0 0 54 0 0 0 16 0 19 0 869329111 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 2 0 0 0
[pid=12263/tid=12279] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12279/stat : 12279 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869329111 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 0 0 0 0
[pid=12263/tid=12280] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12280/stat : 12280 (java) S 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869329111 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12263/tid=12281] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12281/stat : 12281 (java) S 12261 12263 12263 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869329183 8758575104 49040 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12255/tid=12262] ppid=12253 vsize=309936 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12262/stat : 12262 (python) S 12253 12255 11000 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 2 0 869329106 317374464 11354 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9162924
[startup+12.7017 s]
/proc/loadavg: 1.99 1.93 1.28 3/582 12281
/proc/meminfo: memFree=24153104/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=309936 CPUtime=1.78 cores=0,2,4,6
/proc/12255/stat : 12255 (python) S 12253 12255 11000 0 -1 4202496 16992 931 1 0 170 8 0 0 19 0 2 0 869328898 317374464 11354 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/12255/statm: 77484 11354 1872 364 0 12371 0
[pid=12261] ppid=12255 vsize=299692 CPUtime=0.02 cores=0,2,4,6
/proc/12261/stat : 12261 (python) S 12255 12255 11000 0 -1 4202560 1007 0 0 0 1 1 0 0 15 0 1 0 869329106 306884608 9858 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278899727 0 0 16781312 33554946 72409437758827332 0 0 17 4 0 0 0
/proc/12261/statm: 74923 9858 380 364 0 9810 0
[pid=12263] ppid=12261 vsize=8553296 CPUtime=12.09 cores=0,2,4,6
/proc/12263/stat : 12263 (java) S 12261 12263 12263 0 -1 4202496 84081 0 1 0 1199 10 0 0 19 0 19 0 869329106 8758575104 75777 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12263/statm: 2138324 75777 2239 9 0 2129065 0
[pid=12263/tid=12264] ppid=12261 vsize=8553296 CPUtime=10.52 cores=0,2,4,6
/proc/12263/task/12264/stat : 12264 (java) R 12261 12263 12263 0 -1 4202560 61682 0 1 0 1045 7 0 0 25 0 19 0 869329107 8758575104 75777 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 46912506100089 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12263/tid=12265] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
/proc/12263/task/12265/stat : 12265 (java) S 12261 12263 12263 0 -1 4202560 1454 0 0 0 1 0 0 0 16 0 19 0 869329108 8758575104 75777 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 4 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12266/stat : 12266 (java) S 12261 12263 12263 0 -1 4202560 431 0 0 0 0 0 0 0 15 0 19 0 869329108 8758575104 75777 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 2 0 0 0
[pid=12263/tid=12267] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
/proc/12263/task/12267/stat : 12267 (java) S 12261 12263 12263 0 -1 4202560 364 0 0 0 1 0 0 0 15 0 19 0 869329108 8758575104 75777 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12263/tid=12268] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12268/stat : 12268 (java) S 12261 12263 12263 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 19 0 869329108 8758575104 75777 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446604447245506496 0 0 -1 6 0 0 0
[pid=12263/tid=12269] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
/proc/12342/task/12350/stat : 12350 (python) S 12255 12255 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869338535 317386752 9879 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444458113216 0 0 -1 6 0 0 0
[pid=12351] ppid=12255 vsize=320204 CPUtime=0.75 cores=0,2,4,6
/proc/12351/stat : 12351 (python) S 12255 12255 11000 0 -1 4202560 1037 0 0 0 37 38 0 0 15 0 1 0 869338537 327888896 9858 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278899782 0 0 16781312 33554946 3830805017770590208 0 0 17 0 0 0 0
/proc/12351/statm: 80051 9858 372 364 0 14932 0
[pid=12353] ppid=12351 vsize=208916 CPUtime=201.95 cores=0,2,4,6
/proc/12353/stat : 12353 (scip-2.0.1.linu) R 12351 12353 12353 0 -1 4202496 72022 0 0 0 20091 104 0 0 25 0 1 0 869338538 213929984 48454 33554432000 4194304 13684479 140736931490768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12353/statm: 52229 48454 815 2317 0 49907 0
[pid=12255/tid=12262] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12262/stat : 12262 (python) S 12253 12255 11000 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 4 0 869329106 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 4 0 0 0
[pid=12255/tid=12343] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12343/stat : 12343 (python) S 12253 12255 11000 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 4 0 869333510 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 2 0 0 0
[pid=12255/tid=12352] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12352/stat : 12352 (python) S 12253 12255 11000 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 4 0 869338538 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 300.81
Current children cumulated vsize (KiB) 10162452
[startup+299.202 s]
/proc/loadavg: 2.20 2.07 1.50 3/626 12393
/proc/meminfo: memFree=22870696/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=330448 CPUtime=1.83 cores=0,2,4,6
/proc/12255/stat : 12255 (python) S 12253 12255 11000 0 -1 4202496 18748 931 1 0 175 8 0 0 20 0 4 0 869328898 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12255/statm: 82612 11367 1877 364 0 17493 0
[pid=12261] ppid=12255 vsize=309936 CPUtime=0.14 cores=0,2,4,6
/proc/12261/stat : 12261 (python) S 12255 12255 11000 0 -1 4202560 1168 0 0 0 8 6 0 0 16 0 2 0 869329106 317374464 9894 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/12261/statm: 77484 9894 411 364 0 12371 0
[pid=12263] ppid=12261 vsize=8553296 CPUtime=45.82 cores=0,2,4,6
/proc/12263/stat : 12263 (java) T 12261 12263 12263 0 -1 4202496 91647 0 1 0 4569 13 0 0 18 0 19 0 869329106 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12263/statm: 2138324 80003 2239 9 0 2129065 0
[pid=12263/tid=12264] ppid=12261 vsize=8553296 CPUtime=43.65 cores=0,2,4,6
/proc/12263/task/12264/stat : 12264 (java) T 12261 12263 12263 0 -1 4202560 63146 0 1 0 4357 8 0 0 25 0 19 0 869329107 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 46912505817915 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12265] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12265/stat : 12265 (java) T 12261 12263 12263 0 -1 4202560 2120 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12266/stat : 12266 (java) T 12261 12263 12263 0 -1 4202560 1246 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12263/tid=12267] ppid=12261 vsize=8553296 CPUtime=0.05 cores=0,2,4,6
/proc/12263/task/12267/stat : 12267 (java) T 12261 12263 12263 0 -1 4202560 1282 0 0 0 5 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12268] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12268/stat : 12268 (java) T 12261 12263 12263 0 -1 4202560 983 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12269] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (java) T 12261 12263 12263 0 -1 4202560 1661 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=8553296 CPUtime=0.07 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (java) T 12261 12263 12263 0 -1 4202560 1676 0 0 0 7 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=8553296 CPUtime=0.07 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (java) T 12261 12263 12263 0 -1 4202560 2194 0 0 0 7 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12272] ppid=12261 vsize=8553296 CPUtime=0.07 cores=0,2,4,6
/proc/12263/task/12272/stat : 12272 (java) T 12261 12263 12263 0 -1 4202560 2100 0 0 0 7 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12273] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
/proc/12263/task/12273/stat : 12273 (java) T 12261 12263 12263 0 -1 4202560 141 0 0 0 0 1 0 0 15 0 19 0 869329109 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12274] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12274/stat : 12274 (java) T 12261 12263 12263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869329109 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12275] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12275/stat : 12275 (java) T 12261 12263 12263 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869329109 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12276] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12276/stat : 12276 (java) T 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12277] ppid=12261 vsize=8553296 CPUtime=0.92 cores=0,2,4,6
/proc/12263/task/12277/stat : 12277 (java) T 12261 12263 12263 0 -1 4202560 11109 0 0 0 91 1 0 0 15 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12278] ppid=12261 vsize=8553296 CPUtime=0.66 cores=0,2,4,6
/proc/12263/task/12278/stat : 12278 (java) T 12261 12263 12263 0 -1 4202560 2608 0 0 0 66 0 0 0 15 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=12263/tid=12279] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12279/stat : 12279 (java) T 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12280] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12280/stat : 12280 (java) T 12261 12263 12263 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12263/tid=12281] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12281/stat : 12281 (java) T 12261 12263 12263 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869329183 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12261/tid=12341] ppid=12255 vsize=309936 CPUtime=0 cores=0,2,4,6
/proc/12261/task/12341/stat : 12341 (python) S 12255 12255 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869333507 317374464 9894 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446626121792 0 0 -1 2 0 0 0
[pid=12342] ppid=12255 vsize=309948 CPUtime=0.18 cores=0,2,4,6
/proc/12342/stat : 12342 (python) S 12255 12255 11000 0 -1 4202560 1142 0 0 0 9 9 0 0 16 0 2 0 869333509 317386752 9879 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/12342/statm: 77487 9879 396 364 0 12371 0
[pid=12344] ppid=12342 vsize=129704 CPUtime=50.14 cores=0,2,4,6
/proc/12344/stat : 12344 (wbo1.4a) T 12342 12344 12344 0 -1 4202496 33064 0 0 0 4980 34 0 0 25 0 1 0 869333510 132816896 31984 33554432000 134512640 135751879 4292503680 18446744073709551615 134606393 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/12344/statm: 32426 31984 146 303 0 32121 0
[pid=12342/tid=12350] ppid=12255 vsize=309948 CPUtime=0 cores=0,2,4,6
/proc/12342/task/12350/stat : 12350 (python) S 12255 12255 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869338535 317386752 9879 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444458113216 0 0 -1 6 0 0 0
[pid=12351] ppid=12255 vsize=320204 CPUtime=0.75 cores=0,2,4,6
/proc/12351/stat : 12351 (python) S 12255 12255 11000 0 -1 4202560 1037 0 0 0 37 38 0 0 15 0 1 0 869338537 327888896 9858 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278899782 0 0 16781312 33554946 4018219106892251136 0 0 17 0 0 0 0
/proc/12351/statm: 80051 9858 372 364 0 14932 0
[pid=12353] ppid=12351 vsize=208916 CPUtime=202.76 cores=0,2,4,6
/proc/12353/stat : 12353 (scip-2.0.1.linu) R 12351 12353 12353 0 -1 4202496 72023 0 0 0 20171 105 0 0 25 0 1 0 869338538 213929984 48455 33554432000 4194304 13684479 140736931490768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/12353/statm: 52229 48455 815 2317 0 49907 0
[pid=12255/tid=12262] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12262/stat : 12262 (python) S 12253 12255 11000 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 4 0 869329106 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 4 0 0 0
[pid=12255/tid=12343] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12343/stat : 12343 (python) S 12253 12255 11000 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 4 0 869333510 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 2 0 0 0
[pid=12255/tid=12352] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12352/stat : 12352 (python) S 12253 12255 11000 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 4 0 869338538 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 301.62
Current children cumulated vsize (KiB) 10162452
[startup+299.402 s]
/proc/loadavg: 2.20 2.07 1.50 3/626 12393
/proc/meminfo: memFree=22870696/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=330448 CPUtime=1.83 cores=0,2,4,6
/proc/12255/stat : 12255 (python) S 12253 12255 11000 0 -1 4202496 18748 931 1 0 175 8 0 0 20 0 4 0 869328898 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/12255/statm: 82612 11367 1877 364 0 17493 0
[pid=12261] ppid=12255 vsize=309936 CPUtime=0.14 cores=0,2,4,6
/proc/12261/stat : 12261 (python) S 12255 12255 11000 0 -1 4202560 1168 0 0 0 8 6 0 0 16 0 2 0 869329106 317374464 9894 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/12261/statm: 77484 9894 411 364 0 12371 0
[pid=12263] ppid=12261 vsize=8553296 CPUtime=45.82 cores=0,2,4,6
/proc/12263/stat : 12263 (java) T 12261 12263 12263 0 -1 4202496 91647 0 1 0 4569 13 0 0 18 0 19 0 869329106 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12263/statm: 2138324 80003 2239 9 0 2129065 0
[pid=12263/tid=12264] ppid=12261 vsize=8553296 CPUtime=43.65 cores=0,2,4,6
/proc/12263/task/12264/stat : 12264 (java) T 12261 12263 12263 0 -1 4202560 63146 0 1 0 4357 8 0 0 25 0 19 0 869329107 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 46912505817915 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12265] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12265/stat : 12265 (java) T 12261 12263 12263 0 -1 4202560 2120 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12266] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12266/stat : 12266 (java) T 12261 12263 12263 0 -1 4202560 1246 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12263/tid=12267] ppid=12261 vsize=8553296 CPUtime=0.05 cores=0,2,4,6
/proc/12263/task/12267/stat : 12267 (java) T 12261 12263 12263 0 -1 4202560 1282 0 0 0 5 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12268] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12268/stat : 12268 (java) T 12261 12263 12263 0 -1 4202560 983 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12269] ppid=12261 vsize=8553296 CPUtime=0.06 cores=0,2,4,6
/proc/12263/task/12269/stat : 12269 (java) T 12261 12263 12263 0 -1 4202560 1661 0 0 0 6 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12263/tid=12270] ppid=12261 vsize=8553296 CPUtime=0.07 cores=0,2,4,6
/proc/12263/task/12270/stat : 12270 (java) T 12261 12263 12263 0 -1 4202560 1676 0 0 0 7 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12271] ppid=12261 vsize=8553296 CPUtime=0.07 cores=0,2,4,6
/proc/12263/task/12271/stat : 12271 (java) T 12261 12263 12263 0 -1 4202560 2194 0 0 0 7 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12272] ppid=12261 vsize=8553296 CPUtime=0.07 cores=0,2,4,6
/proc/12263/task/12272/stat : 12272 (java) T 12261 12263 12263 0 -1 4202560 2100 0 0 0 7 0 0 0 15 0 19 0 869329108 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12273] ppid=12261 vsize=8553296 CPUtime=0.01 cores=0,2,4,6
/proc/12263/task/12273/stat : 12273 (java) T 12261 12263 12263 0 -1 4202560 141 0 0 0 0 1 0 0 15 0 19 0 869329109 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12263/tid=12274] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12274/stat : 12274 (java) T 12261 12263 12263 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869329109 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12275] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12275/stat : 12275 (java) T 12261 12263 12263 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 869329109 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12276] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12276/stat : 12276 (java) T 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12277] ppid=12261 vsize=8553296 CPUtime=0.92 cores=0,2,4,6
/proc/12263/task/12277/stat : 12277 (java) T 12261 12263 12263 0 -1 4202560 11109 0 0 0 91 1 0 0 15 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12278] ppid=12261 vsize=8553296 CPUtime=0.66 cores=0,2,4,6
/proc/12263/task/12278/stat : 12278 (java) T 12261 12263 12263 0 -1 4202560 2608 0 0 0 66 0 0 0 15 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=12263/tid=12279] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12279/stat : 12279 (java) T 12261 12263 12263 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=12263/tid=12280] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12280/stat : 12280 (java) T 12261 12263 12263 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 869329111 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=12263/tid=12281] ppid=12261 vsize=8553296 CPUtime=0 cores=0,2,4,6
/proc/12263/task/12281/stat : 12281 (java) T 12261 12263 12263 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869329183 8758575104 80003 33554432000 1073741824 1073778376 140734208160464 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=12261/tid=12341] ppid=12255 vsize=309936 CPUtime=0 cores=0,2,4,6
/proc/12261/task/12341/stat : 12341 (python) S 12255 12255 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869333507 317374464 9894 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554946 18446604446626121792 0 0 -1 2 0 0 0
[pid=12342] ppid=12255 vsize=309948 CPUtime=0.18 cores=0,2,4,6
/proc/12342/stat : 12342 (python) S 12255 12255 11000 0 -1 4202560 1142 0 0 0 9 9 0 0 16 0 2 0 869333509 317386752 9879 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0
/proc/12342/statm: 77487 9879 396 364 0 12371 0
[pid=12344] ppid=12342 vsize=129704 CPUtime=50.14 cores=0,2,4,6
/proc/12344/stat : 12344 (wbo1.4a) T 12342 12344 12344 0 -1 4202496 33064 0 0 0 4980 34 0 0 25 0 1 0 869333510 132816896 31984 33554432000 134512640 135751879 4292503680 18446744073709551615 134606393 0 0 16781312 3 18446744071562691360 0 0 17 6 0 0 0
/proc/12344/statm: 32426 31984 146 303 0 32121 0
[pid=12342/tid=12350] ppid=12255 vsize=309948 CPUtime=0 cores=0,2,4,6
/proc/12342/task/12350/stat : 12350 (python) S 12255 12255 11000 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869338535 317386752 9879 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554946 18446604444458113216 0 0 -1 6 0 0 0
[pid=12351] ppid=12255 vsize=320204 CPUtime=0.75 cores=0,2,4,6
/proc/12351/stat : 12351 (python) S 12255 12255 11000 0 -1 4202560 1038 0 0 0 37 38 0 0 15 0 1 0 869338537 327888896 9858 33554432000 4194304 5683644 140737120302256 18446744073709551615 237278899782 0 0 16781312 33554946 1642760059404419072 0 0 17 0 0 0 0
/proc/12351/statm: 80051 9858 372 364 0 14932 0
[pid=12353] ppid=12351 vsize=208916 CPUtime=202.95 cores=0,2,4,6
/proc/12353/stat : 12353 (scip-2.0.1.linu) R 12351 12353 12353 0 -1 4202496 72024 0 0 0 20190 105 0 0 25 0 1 0 869338538 213929984 48456 33554432000 4194304 13684479 140736931490768 18446744073709551615 7176516 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/12353/statm: 52229 48456 816 2317 0 49907 0
[pid=12255/tid=12262] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12262/stat : 12262 (python) S 12253 12255 11000 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 4 0 869329106 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 4 0 0 0
[pid=12255/tid=12343] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12343/stat : 12343 (python) S 12253 12255 11000 0 -1 4202560 32 931 0 0 0 0 0 0 20 0 4 0 869333510 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 2 0 0 0
[pid=12255/tid=12352] ppid=12253 vsize=330448 CPUtime=0 cores=0,2,4,6
/proc/12255/task/12352/stat : 12352 (python) S 12253 12255 11000 0 -1 4202560 31 931 0 0 0 0 0 0 20 0 4 0 869338538 338378752 11367 33554432000 4194304 5683644 140737120302256 18446744073709551615 237290703281 0 0 16781312 33554434 18446604447245507392 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 301.81
Current children cumulated vsize (KiB) 10162452
[startup+299.502 s]
/proc/loadavg: 2.20 2.07 1.50 3/626 12393
/proc/meminfo: memFree=22870696/32950904 swapFree=56615552/67111528
[pid=12255] ppid=12253 vsize=327936 CPUtime=301.98 cores=0,2,4,6
/proc/12255/stat : 12255 (python) R 12253 12255 11000 0 -1 4202496 24136 203359 1 1 176 9 29801 212 17 0 1 0 869328898 335806464 10745 33554432000 4194304 5683644 140737120302256 18446744073709551615 4506079 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/12255/statm: 81984 10745 1871 364 0 16877 0
Current children cumulated CPU time (s) 301.98
Current children cumulated vsize (KiB) 327936
Child status: 0
Real time (s): 299.511
CPU time (s): 302.01
CPU user time (s): 299.787
CPU system time (s): 2.22266
CPU usage (%): 100.834
Max. virtual memory (cumulated for all children) (KiB): 10190452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 299.787
system time used= 2.22266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228500
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= 9979
involuntary context switches= 4981
runsolver used 2.15867 second user time and 3.40048 second system time
The end