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-3481206-1307578632/watcher-3481206-1307578632 -o /tmp/evaluation-result-3481206-1307578632/solver-3481206-1307578632 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481206-1307578632.opb -seed 549437552 -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: 2.41 2.16 1.90 2/718 14292
/proc/meminfo: memFree=13313668/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/14292/stat : 14292 (python) R 14290 14292 11000 0 -1 4202496 997 0 0 0 0 0 0 0 25 0 1 0 869462983 16625664 869 33554432000 4194304 5683644 140735536950992 18446744073709551615 4438566 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14292/statm: 4059 869 368 364 0 546 0
[startup+0.0538741 s]
/proc/loadavg: 2.41 2.16 1.90 2/718 14292
/proc/meminfo: memFree=13313668/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=34240 CPUtime=0.03 cores=1,3,5,7
/proc/14292/stat : 14292 (python) R 14290 14292 11000 0 -1 4202496 1522 0 0 0 3 0 0 0 25 0 1 0 869462983 35061760 1358 33554432000 4194304 5683644 140735536950992 18446744073709551615 4881206 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14292/statm: 8560 1358 448 364 0 898 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34240
[startup+0.100866 s]
/proc/loadavg: 2.41 2.16 1.90 2/718 14292
/proc/meminfo: memFree=13313668/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/14292/stat : 14292 (python) R 14290 14292 11000 0 -1 4202496 3169 929 1 0 6 1 0 0 25 0 1 0 869462983 98430976 2483 33554432000 4194304 5683644 140735536950992 18446744073709551615 5170933 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14292/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300832 s]
/proc/loadavg: 2.41 2.16 1.90 2/718 14292
/proc/meminfo: memFree=13313668/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=203276 CPUtime=0.23 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 6737 929 1 0 18 5 0 0 25 0 1 0 869462983 208154624 5011 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278877696 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/14292/statm: 50819 5011 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 203276
[startup+0.70082 s]
/proc/loadavg: 2.41 2.16 1.90 2/718 14292
/proc/meminfo: memFree=13313668/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=295468 CPUtime=0.56 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 10406 929 1 0 48 8 0 0 25 0 2 0 869462983 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/14292/statm: 73867 7706 1870 364 0 8754 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 295468
[startup+1.50062 s]
/proc/loadavg: 2.38 2.16 1.90 3/722 14302
/proc/meminfo: memFree=13250892/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=295468 CPUtime=0.56 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 10406 929 1 0 48 8 0 0 25 0 2 0 869462983 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/14292/statm: 73867 7706 1870 364 0 8754 0
[pid=14299] ppid=14292 vsize=285224 CPUtime=0 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 744 0 0 0 0 0 0 0 18 0 1 0 869463048 292069376 6184 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278899727 0 0 16781312 33554946 1179625549669072896 0 0 17 7 0 0 0
/proc/14299/statm: 71306 6184 352 364 0 6193 0
[pid=14302] ppid=14299 vsize=52080 CPUtime=0.84 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) R 14299 14302 14302 0 -1 4202496 11349 0 0 0 80 4 0 0 25 0 1 0 869463048 53329920 10569 33554432000 4194304 13684479 140735943703504 18446744073709551615 6433439 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14302/statm: 13020 10569 791 2317 0 10698 0
[pid=14292/tid=14300] ppid=14290 vsize=295468 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 26 929 0 0 0 0 0 0 25 0 2 0 869463048 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 632772
[startup+3.10033 s]
/proc/loadavg: 2.38 2.16 1.90 3/722 14302
/proc/meminfo: memFree=13247672/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=295468 CPUtime=0.56 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 10406 929 1 0 48 8 0 0 25 0 2 0 869462983 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/14292/statm: 73867 7706 1870 364 0 8754 0
[pid=14299] ppid=14292 vsize=285224 CPUtime=0 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 869463048 292069376 6184 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278899727 0 0 16781312 33554946 1311980662021947392 0 0 17 7 0 0 0
/proc/14299/statm: 71306 6184 352 364 0 6193 0
[pid=14302] ppid=14299 vsize=75480 CPUtime=2.43 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) R 14299 14302 14302 0 -1 4202496 17206 0 0 0 236 7 0 0 25 0 1 0 869463048 77291520 16298 33554432000 4194304 13684479 140735943703504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14302/statm: 18870 16298 820 2317 0 16548 0
[pid=14292/tid=14300] ppid=14290 vsize=295468 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 26 929 0 0 0 0 0 0 25 0 2 0 869463048 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 656172
[startup+6.30076 s]
/proc/loadavg: 2.38 2.16 1.90 3/722 14302
/proc/meminfo: memFree=13228288/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=295468 CPUtime=0.56 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 10406 929 1 0 48 8 0 0 25 0 2 0 869462983 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/14292/statm: 73867 7706 1870 364 0 8754 0
[pid=14299] ppid=14292 vsize=285224 CPUtime=0.01 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 884 0 0 0 0 1 0 0 15 0 1 0 869463048 292069376 6208 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278899727 0 0 16781312 33554946 4201874914946285832 0 0 17 7 0 0 0
/proc/14299/statm: 71306 6208 376 364 0 6193 0
[pid=14302] ppid=14299 vsize=75480 CPUtime=5.63 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) R 14299 14302 14302 0 -1 4202496 17207 0 0 0 550 13 0 0 25 0 1 0 869463048 77291520 16299 33554432000 4194304 13684479 140735943703504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14302/statm: 18870 16299 821 2317 0 16548 0
[pid=14292/tid=14300] ppid=14290 vsize=295468 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 26 929 0 0 0 0 0 0 25 0 2 0 869463048 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 656172
[startup+12.7006 s]
/proc/loadavg: 2.54 2.20 1.91 3/722 14302
/proc/meminfo: memFree=13241076/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=295468 CPUtime=0.56 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 10406 929 1 0 48 8 0 0 25 0 2 0 869462983 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/14292/statm: 73867 7706 1870 364 0 8754 0
[pid=14299] ppid=14292 vsize=285224 CPUtime=0.02 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 983 0 0 0 1 1 0 0 15 0 1 0 869463048 292069376 6213 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278899727 0 0 16781312 33554946 5623753486446373727 0 0 17 7 0 0 0
/proc/14299/statm: 71306 6213 381 364 0 6193 0
[pid=14302] ppid=14299 vsize=75480 CPUtime=12.03 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) R 14299 14302 14302 0 -1 4202496 17207 0 0 0 1172 31 0 0 25 0 1 0 869463048 77291520 16299 33554432000 4194304 13684479 140735943703504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14302/statm: 18870 16299 821 2317 0 16548 0
[pid=14292/tid=14300] ppid=14290 vsize=295468 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 26 929 0 0 0 0 0 0 25 0 2 0 869463048 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 656172
[startup+25.5003 s]
/proc/loadavg: 2.46 2.20 1.91 5/744 14325
/proc/meminfo: memFree=13215728/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=295468 CPUtime=0.56 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 10406 929 1 0 48 8 0 0 25 0 2 0 869462983 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/14292/statm: 73867 7706 1870 364 0 8754 0
[pid=14299] ppid=14292 vsize=285224 CPUtime=0.08 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 988 0 0 0 4 4 0 0 15 0 1 0 869463048 292069376 6213 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278899727 0 0 16781312 33554946 1174144445549903872 0 0 17 7 0 0 0
/proc/14299/statm: 71306 6213 381 364 0 6193 0
[pid=14302] ppid=14299 vsize=75480 CPUtime=24.83 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) R 14299 14302 14302 0 -1 4202496 17208 0 0 0 2417 66 0 0 25 0 1 0 869463048 77291520 16300 33554432000 4194304 13684479 140735943703504 18446744073709551615 5490583 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/14302/statm: 18870 16300 822 2317 0 16548 0
[pid=14292/tid=14300] ppid=14290 vsize=295468 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 26 929 0 0 0 0 0 0 25 0 2 0 869463048 302559232 7706 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 656172
[startup+51.1008 s]
/proc/loadavg: 2.37 2.20 1.92 3/717 14363
/proc/meminfo: memFree=13107484/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=305964 CPUtime=0.59 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 11287 929 1 0 51 8 0 0 19 0 3 0 869462983 313307136 7773 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/14292/statm: 76491 7773 1873 364 0 11375 0
[pid=14299] ppid=14292 vsize=295468 CPUtime=0.21 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 1134 0 0 0 11 10 0 0 17 0 2 0 869463048 302559232 6249 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14299/statm: 73867 6249 412 364 0 8754 0
[pid=14302] ppid=14299 vsize=75480 CPUtime=49.88 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) T 14299 14302 14302 0 -1 4202496 17268 0 0 0 4867 121 0 0 25 0 1 0 869463048 77291520 16360 33554432000 4194304 13684479 140735943703504 18446744073709551615 7419480 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/14302/statm: 18870 16360 822 2317 0 16548 0
[pid=14292/tid=14300] ppid=14290 vsize=305964 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 26 929 0 0 0 0 0 0 25 0 3 0 869463048 313307136 7773 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 676912
[startup+102.318 s]
/proc/loadavg: 2.29 2.19 1.93 3/729 14376
/proc/meminfo: memFree=12947140/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=316220 CPUtime=0.61 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 12160 929 1 0 53 8 0 0 20 0 4 0 869462983 323809280 7779 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/14292/statm: 79055 7779 1875 364 0 13936 0
[pid=14299] ppid=14292 vsize=295468 CPUtime=0.21 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 1134 0 0 0 11 10 0 0 17 0 2 0 869463048 302559232 6249 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14299/statm: 73867 6249 412 364 0 8754 0
[pid=14302] ppid=14299 vsize=75480 CPUtime=49.88 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) T 14299 14302 14302 0 -1 4202496 17268 0 0 0 4867 121 0 0 25 0 1 0 869463048 77291520 16360 33554432000 4194304 13684479 140735943703504 18446744073709551615 7419480 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/14302/statm: 18870 16360 822 2317 0 16548 0
[pid=14299/tid=14364] ppid=14292 vsize=295468 CPUtime=0 cores=1,3,5,7
/proc/14299/task/14364/stat : 14364 (python) S 14292 14292 11000 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 2 0 869468038 302559232 6249 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604470843589568 0 0 -1 7 0 0 0
[pid=14365] ppid=14292 vsize=295720 CPUtime=0.2 cores=1,3,5,7
/proc/14365/stat : 14365 (python) S 14292 14292 11000 0 -1 4202560 1121 0 0 0 11 9 0 0 16 0 2 0 869468040 302817280 6294 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/14365/statm: 73930 6294 397 364 0 8814 0
[pid=14367] ppid=14365 vsize=63332 CPUtime=49.37 cores=1,3,5,7
/proc/14367/stat : 14367 (scip-2.0.1.linu) T 14365 14367 14367 0 -1 4202496 31442 0 0 0 4905 32 0 0 25 0 1 0 869468040 64851968 13097 33554432000 4194304 15243407 140734432652224 18446744073709551615 7229398 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/14367/statm: 15833 13097 946 2698 0 13128 0
[pid=14365/tid=14373] ppid=14292 vsize=295720 CPUtime=0 cores=1,3,5,7
/proc/14365/task/14373/stat : 14373 (python) S 14292 14292 11000 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 869472978 302817280 6294 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604457807386432 0 0 -1 3 0 0 0
[pid=14374] ppid=14292 vsize=305976 CPUtime=0 cores=1,3,5,7
/proc/14374/stat : 14374 (python) S 14292 14292 11000 0 -1 4202560 800 0 0 0 0 0 0 0 15 0 1 0 869472981 313319424 6249 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278899782 0 0 16781312 33554946 4294934788 0 0 17 7 0 0 0
/proc/14374/statm: 76494 6249 349 364 0 11375 0
[pid=14376] ppid=14374 vsize=13236 CPUtime=2.33 cores=1,3,5,7
/proc/14376/stat : 14376 (wbo1.4a) R 14374 14376 14376 0 -1 4202496 3198 0 0 0 230 3 0 0 25 0 1 0 869472981 13553664 2857 33554432000 134512640 135751879 4286916496 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/14376/statm: 3309 2857 146 303 0 3004 0
[pid=14292/tid=14300] ppid=14290 vsize=316220 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 26 929 0 0 0 0 0 0 25 0 4 0 869463048 323809280 7779 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
[pid=14292/tid=14366] ppid=14290 vsize=316220 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14366/stat : 14366 (python) S 14290 14292 11000 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 4 0 869468040 323809280 7779 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
[pid=14292/tid=14375] ppid=14290 vsize=316220 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14375/stat : 14375 (python) S 14290 14292 11000 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 869472981 323809280 7779 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=9858480/32950904 swapFree=56615552/67111528
[pid=14292] ppid=14290 vsize=367652 CPUtime=0.89 cores=1,3,5,7
/proc/14292/stat : 14292 (python) S 14290 14292 11000 0 -1 4202496 16844 929 1 0 79 10 0 0 19 0 9 0 869462983 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/14292/statm: 91913 7878 1885 364 0 26779 0
[pid=14299] ppid=14292 vsize=295468 CPUtime=0.87 cores=1,3,5,7
/proc/14299/stat : 14299 (python) S 14292 14292 11000 0 -1 4202560 1217 0 0 0 40 47 0 0 15 0 2 0 869463048 302559232 6251 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14299/statm: 73867 6251 414 364 0 8754 0
[pid=14302] ppid=14299 vsize=77764 CPUtime=188.51 cores=1,3,5,7
/proc/14302/stat : 14302 (scip-2.0.1.linu) T 14299 14302 14302 0 -1 4202496 18563 0 0 0 18372 479 0 0 19 0 1 0 869463048 79630336 17155 33554432000 4194304 13684479 140735943703504 18446744073709551615 7267032 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/14302/statm: 19441 17155 822 2317 0 17119 0
[pid=14299/tid=14364] ppid=14292 vsize=295468 CPUtime=0 cores=1,3,5,7
/proc/14299/task/14364/stat : 14364 (python) S 14292 14292 11000 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869468038 302559232 6251 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604470843589568 0 0 -1 5 0 0 0
[pid=14365] ppid=14292 vsize=295720 CPUtime=0.87 cores=1,3,5,7
/proc/14365/stat : 14365 (python) S 14292 14292 11000 0 -1 4202560 1190 0 0 0 43 44 0 0 16 0 2 0 869468040 302817280 6294 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14365/statm: 73930 6294 397 364 0 8814 0
[pid=14367] ppid=14365 vsize=67468 CPUtime=185.61 cores=1,3,5,7
/proc/14367/stat : 14367 (scip-2.0.1.linu) T 14365 14367 14367 0 -1 4202496 135812 0 0 0 18404 157 0 0 19 0 1 0 869468040 69087232 14146 33554432000 4194304 15243407 140734432652224 18446744073709551615 7108107 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/14367/statm: 16867 14146 946 2698 0 14162 0
[pid=14365/tid=14373] ppid=14292 vsize=295720 CPUtime=0 cores=1,3,5,7
/proc/14365/task/14373/stat : 14373 (python) S 14292 14292 11000 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 869472978 302817280 6294 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604457807386432 0 0 -1 3 0 0 0
[pid=14374] ppid=14292 vsize=305976 CPUtime=0.21 cores=1,3,5,7
/proc/14374/stat : 14374 (python) S 14292 14292 11000 0 -1 4202560 1112 0 0 0 10 11 0 0 16 0 2 0 869472981 313319424 6298 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14374/statm: 76494 6298 397 364 0 11375 0
[pid=14376] ppid=14374 vsize=117620 CPUtime=50.77 cores=1,3,5,7
/proc/14376/stat : 14376 (wbo1.4a) T 14374 14376 14376 0 -1 4202496 29278 0 0 0 5048 29 0 0 25 0 1 0 869472981 120442880 28937 33554432000 134512640 135751879 4286916496 18446744073709551615 134604729 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/14376/statm: 29405 28937 146 303 0 29100 0
[pid=14374/tid=14383] ppid=14292 vsize=305976 CPUtime=0 cores=1,3,5,7
/proc/14374/task/14383/stat : 14383 (python) S 14292 14292 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869478059 313319424 6298 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466289341440 0 0 -1 7 0 0 0
[pid=14384] ppid=14292 vsize=316232 CPUtime=0.37 cores=1,3,5,7
/proc/14384/stat : 14384 (python) S 14292 14292 11000 0 -1 4202560 1149 0 0 0 19 18 0 0 18 0 2 0 869478062 323821568 6321 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14384/statm: 79058 6321 397 364 0 13936 0
[pid=14386] ppid=14384 vsize=5620 CPUtime=94.36 cores=1,3,5,7
/proc/14386/stat : 14386 (clasp-1.3.7-x86) T 14384 14386 14386 0 -1 4202496 1434 0 0 0 9436 0 0 0 25 0 1 0 869478062 5754880 1152 33554432000 134512640 136139019 4290012960 18446744073709551615 134828863 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/14386/statm: 1405 1152 186 398 0 1005 0
[pid=14384/tid=14410] ppid=14292 vsize=316232 CPUtime=0 cores=1,3,5,7
/proc/14384/task/14410/stat : 14410 (python) S 14292 14292 11000 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 869482880 323821568 6321 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604465300797248 0 0 -1 7 0 0 0
[pid=14418] ppid=14292 vsize=326640 CPUtime=0.19 cores=1,3,5,7
/proc/14418/stat : 14418 (python) S 14292 14292 11000 0 -1 4202560 1123 0 0 0 8 11 0 0 16 0 2 0 869492276 334479360 6344 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14418/statm: 81660 6344 397 364 0 16535 0
[pid=14420] ppid=14418 vsize=158120 CPUtime=47.21 cores=1,3,5,7
/proc/14420/stat : 14420 (bsolo_pb10) T 14418 14420 14420 0 -1 4202496 37445 0 0 0 4709 12 0 0 25 0 1 0 869492277 161914880 37097 33554432000 134512640 137138936 4287416048 18446744073709551615 134542316 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/14420/statm: 39530 37097 192 642 0 38886 0
[pid=14418/tid=14423] ppid=14292 vsize=326640 CPUtime=0 cores=1,3,5,7
/proc/14418/task/14423/stat : 14423 (python) S 14292 14292 11000 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869496999 334479360 6344 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604458775730048 0 0 -1 7 0 0 0
[pid=14431] ppid=14292 vsize=336896 CPUtime=0.22 cores=1,3,5,7
/proc/14431/stat : 14431 (python) S 14292 14292 11000 0 -1 4202560 1142 0 0 0 10 12 0 0 17 0 2 0 869510617 344981504 6369 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14431/statm: 84224 6369 397 364 0 19096 0
[pid=14433] ppid=14431 vsize=8549848 CPUtime=48.69 cores=1,3,5,7
/proc/14433/stat : 14433 (java) T 14431 14433 14433 0 -1 4202496 60821 0 1 0 4859 10 0 0 15 0 19 0 869510618 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14433/statm: 2137462 38169 2252 9 0 2128203 0
[pid=14433/tid=14434] ppid=14431 vsize=8549848 CPUtime=46.99 cores=1,3,5,7
/proc/14433/task/14434/stat : 14434 (java) T 14431 14433 14433 0 -1 4202560 35330 0 1 0 4693 6 0 0 25 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 46912505805082 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14433/tid=14435] ppid=14431 vsize=8549848 CPUtime=0.03 cores=1,3,5,7
/proc/14433/task/14435/stat : 14435 (java) T 14431 14433 14433 0 -1 4202560 1646 0 0 0 3 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=14433/tid=14436] ppid=14431 vsize=8549848 CPUtime=0.02 cores=1,3,5,7
/proc/14433/task/14436/stat : 14436 (java) T 14431 14433 14433 0 -1 4202560 820 0 0 0 2 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=14433/tid=14437] ppid=14431 vsize=8549848 CPUtime=0.03 cores=1,3,5,7
/proc/14433/task/14437/stat : 14437 (java) T 14431 14433 14433 0 -1 4202560 1413 0 0 0 3 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=14433/tid=14438] ppid=14431 vsize=8549848 CPUtime=0.02 cores=1,3,5,7
/proc/14433/task/14438/stat : 14438 (java) T 14431 14433 14433 0 -1 4202560 519 0 0 0 2 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14433/tid=14439] ppid=14431 vsize=8549848 CPUtime=0.02 cores=1,3,5,7
/proc/14433/task/14439/stat : 14439 (java) T 14431 14433 14433 0 -1 4202560 820 0 0 0 2 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=14433/tid=14440] ppid=14431 vsize=8549848 CPUtime=0.03 cores=1,3,5,7
/proc/14433/task/14440/stat : 14440 (java) T 14431 14433 14433 0 -1 4202560 2305 0 0 0 3 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=14433/tid=14441] ppid=14431 vsize=8549848 CPUtime=0.03 cores=1,3,5,7
/proc/14433/task/14441/stat : 14441 (java) T 14431 14433 14433 0 -1 4202560 869 0 0 0 3 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14433/tid=14442] ppid=14431 vsize=8549848 CPUtime=0.04 cores=1,3,5,7
/proc/14433/task/14442/stat : 14442 (java) T 14431 14433 14433 0 -1 4202560 2143 0 0 0 4 0 0 0 15 0 19 0 869510619 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14433/tid=14443] ppid=14431 vsize=8549848 CPUtime=0.32 cores=1,3,5,7
/proc/14433/task/14443/stat : 14443 (java) T 14431 14433 14433 0 -1 4202560 2144 0 0 0 32 0 0 0 15 0 19 0 869510620 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290696192 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14433/tid=14444] ppid=14431 vsize=8549848 CPUtime=0 cores=1,3,5,7
/proc/14433/task/14444/stat : 14444 (java) T 14431 14433 14433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869510621 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14433/tid=14445] ppid=14431 vsize=8549848 CPUtime=0 cores=1,3,5,7
/proc/14433/task/14445/stat : 14445 (java) T 14431 14433 14433 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869510621 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=14433/tid=14446] ppid=14431 vsize=8549848 CPUtime=0 cores=1,3,5,7
/proc/14433/task/14446/stat : 14446 (java) T 14431 14433 14433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869510623 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290703281 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14433/tid=14447] ppid=14431 vsize=8549848 CPUtime=0.52 cores=1,3,5,7
/proc/14433/task/14447/stat : 14447 (java) T 14431 14433 14433 0 -1 4202560 5485 0 0 0 52 0 0 0 15 0 19 0 869510623 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14433/tid=14448] ppid=14431 vsize=8549848 CPUtime=0.53 cores=1,3,5,7
/proc/14433/task/14448/stat : 14448 (java) T 14431 14433 14433 0 -1 4202560 5932 0 0 0 53 0 0 0 15 0 19 0 869510623 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14433/tid=14449] ppid=14431 vsize=8549848 CPUtime=0 cores=1,3,5,7
/proc/14433/task/14449/stat : 14449 (java) T 14431 14433 14433 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869510623 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290695577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14433/tid=14450] ppid=14431 vsize=8549848 CPUtime=0 cores=1,3,5,7
/proc/14433/task/14450/stat : 14450 (java) T 14431 14433 14433 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869510623 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14433/tid=14451] ppid=14431 vsize=8549848 CPUtime=0 cores=1,3,5,7
/proc/14433/task/14451/stat : 14451 (java) T 14431 14433 14433 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869510659 8755044352 38169 33554432000 1073741824 1073778376 140736577117072 18446744073709551615 237290696192 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=14431/tid=14454] ppid=14292 vsize=336896 CPUtime=0 cores=1,3,5,7
/proc/14431/task/14454/stat : 14454 (python) S 14292 14292 11000 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 869515370 344981504 6369 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604468747528320 0 0 -1 7 0 0 0
[pid=14497] ppid=14292 vsize=347152 CPUtime=0.18 cores=1,3,5,7
/proc/14497/stat : 14497 (python) S 14292 14292 11000 0 -1 4202560 1137 0 0 0 7 11 0 0 17 0 2 0 869519883 355483648 6383 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290706379 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/14497/statm: 86788 6383 397 364 0 21657 0
[pid=14499] ppid=14497 vsize=134124 CPUtime=48.12 cores=1,3,5,7
/proc/14499/stat : 14499 (bsolo_pb10) T 14497 14499 14499 0 -1 4202496 31439 0 0 0 4783 29 0 0 25 0 1 0 869519883 137342976 31089 33554432000 134512640 137138936 4287388992 18446744073709551615 134542295 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/14499/statm: 33531 31089 190 642 0 32887 0
[pid=14497/tid=14501] ppid=14292 vsize=347152 CPUtime=0 cores=1,3,5,7
/proc/14497/task/14501/stat : 14501 (python) S 14292 14292 11000 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869524704 355483648 6383 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554946 18446604466273667136 0 0 -1 5 0 0 0
[pid=14503] ppid=14292 vsize=357408 CPUtime=0 cores=1,3,5,7
/proc/14503/stat : 14503 (python) S 14292 14292 11000 0 -1 4202560 829 0 0 0 0 0 0 0 16 0 1 0 869529305 365985792 6338 33554432000 4194304 5683644 140735536950992 18446744073709551615 237278899782 0 0 16781312 33554946 6677089444081664262 0 0 17 7 0 0 0
/proc/14503/statm: 89352 6338 349 364 0 24218 0
[pid=14505] ppid=14503 vsize=8541684 CPUtime=2.25 cores=1,3,5,7
/proc/14505/stat : 14505 (java) S 14503 14505 14505 0 -1 4202496 48185 0 1 0 218 7 0 0 20 0 19 0 869529306 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14505/statm: 2135421 43239 2240 9 0 2126162 0
[pid=14505/tid=14506] ppid=14503 vsize=8541684 CPUtime=1.07 cores=1,3,5,7
/proc/14505/task/14506/stat : 14506 (java) R 14503 14505 14505 0 -1 4202560 35256 0 1 0 102 5 0 0 25 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 46912505686886 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14505/tid=14507] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14507/stat : 14507 (java) S 14503 14505 14505 0 -1 4202560 398 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 5 0 0 0
[pid=14505/tid=14508] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14508/stat : 14508 (java) S 14503 14505 14505 0 -1 4202560 361 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 5 0 0 0
[pid=14505/tid=14509] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14509/stat : 14509 (java) S 14503 14505 14505 0 -1 4202560 302 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 7 0 0 0
[pid=14505/tid=14510] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14510/stat : 14510 (java) S 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 5 0 0 0
[pid=14505/tid=14511] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14511/stat : 14511 (java) S 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 7 0 0 0
[pid=14505/tid=14512] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14512/stat : 14512 (java) S 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 5 0 0 0
[pid=14505/tid=14513] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14513/stat : 14513 (java) S 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 5 0 0 0
[pid=14505/tid=14514] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14514/stat : 14514 (java) S 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869529307 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 5 0 0 0
[pid=14505/tid=14515] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14515/stat : 14515 (java) S 14503 14505 14505 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 19 0 869529308 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290696192 0 0 0 16800975 18446604460287228928 0 0 -1 1 0 0 0
[pid=14505/tid=14516] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14516/stat : 14516 (java) S 14503 14505 14505 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869529309 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 1 0 0 0
[pid=14505/tid=14517] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14517/stat : 14517 (java) S 14503 14505 14505 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869529309 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 1 0 0 0
[pid=14505/tid=14518] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14518/stat : 14518 (java) S 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869529311 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290703281 0 4 0 16800975 18446604460287228928 0 0 -1 1 0 0 0
[pid=14505/tid=14519] ppid=14503 vsize=8541684 CPUtime=0.58 cores=1,3,5,7
/proc/14505/task/14519/stat : 14519 (java) S 14503 14505 14505 0 -1 4202560 6747 0 0 0 58 0 0 0 25 0 19 0 869529311 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 1 0 0 0
[pid=14505/tid=14520] ppid=14503 vsize=8541684 CPUtime=0.56 cores=1,3,5,7
/proc/14505/task/14520/stat : 14520 (java) R 14503 14505 14505 0 -1 4202560 3716 0 0 0 56 0 0 0 24 0 19 0 869529311 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14505/tid=14521] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14521/stat : 14521 (java) S 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869529311 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290695577 0 4 0 16800975 18446604460287228928 0 0 -1 1 0 0 0
[pid=14505/tid=14522] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14522/stat : 14522 (java) R 14503 14505 14505 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869529311 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290696192 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14505/tid=14523] ppid=14503 vsize=8541684 CPUtime=0 cores=1,3,5,7
/proc/14505/task/14523/stat : 14523 (java) S 14503 14505 14505 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869529347 8746684416 43239 33554432000 1073741824 1073778376 140734951535472 18446744073709551615 237290696192 0 4 0 16800975 18446604460287228928 0 0 -1 5 0 0 0
[pid=14292/tid=14300] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14300/stat : 14300 (python) S 14290 14292 11000 0 -1 4202560 41 929 0 0 0 0 0 0 18 0 9 0 869463048 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 1 0 0 0
[pid=14292/tid=14366] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14366/stat : 14366 (python) S 14290 14292 11000 0 -1 4202560 45 929 0 0 0 0 0 0 18 0 9 0 869468040 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 5 0 0 0
[pid=14292/tid=14375] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14375/stat : 14375 (python) S 14290 14292 11000 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 9 0 869472981 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 1 0 0 0
[pid=14292/tid=14385] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14385/stat : 14385 (python) S 14290 14292 11000 0 -1 4202560 29 929 0 0 0 0 0 0 18 0 9 0 869478062 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 1 0 0 0
[pid=14292/tid=14419] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14419/stat : 14419 (python) S 14290 14292 11000 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 9 0 869492276 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 5 0 0 0
[pid=14292/tid=14432] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14432/stat : 14432 (python) S 14290 14292 11000 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 9 0 869510618 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 5 0 0 0
[pid=14292/tid=14498] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14498/stat : 14498 (python) S 14290 14292 11000 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 9 0 869519883 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 7 0 0 0
[pid=14292/tid=14504] ppid=14290 vsize=367652 CPUtime=0 cores=1,3,5,7
/proc/14292/task/14504/stat : 14504 (python) S 14290 14292 11000 0 -1 4202560 27 929 0 0 0 0 0 0 20 0 9 0 869529305 376475648 7878 33554432000 4194304 5683644 140735536950992 18446744073709551615 237290703281 0 0 16781312 33554434 18446604464866874432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 669.32
Current children cumulated vsize (KiB) 20601392
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14292 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=794879
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=102984
# CPU time returned by wait4() is 0.897863
# while last known CPU time is 669.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 664.396
CPU time (s): 669.32
CPU user time (s): 660.45
CPU system time (s): 8.87
CPU usage (%): 100.741
Max. virtual memory (cumulated for all children) (KiB): 20601392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.794879
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17779
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1035
involuntary context switches= 29
runsolver used 3.65844 second user time and 8.49871 second system time
The end