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-3482359-1307576599/watcher-3482359-1307576599 -o /tmp/evaluation-result-3482359-1307576599/solver-3482359-1307576599 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482359-1307576599.opb -seed 262160610 -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.01 1.08 0.43 2/447 3460
/proc/meminfo: memFree=19210620/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 819 0 0 0 0 0 0 0 17 0 1 0 869257872 15749120 704 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 3 0 0 0
/proc/3460/statm: 3845 704 334 364 0 332 0
[startup+0.101731 s]
/proc/loadavg: 2.01 1.08 0.43 2/447 3460
/proc/meminfo: memFree=19210620/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=85360 CPUtime=0.06 cores=1,3,5,7
/proc/3460/stat : 3460 (python) R 3458 3460 3014 0 -1 4202496 2596 0 0 0 5 1 0 0 17 0 1 0 869257872 87408640 2316 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377301248 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3460/statm: 21340 2316 715 364 0 1557 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85360
[startup+0.200713 s]
/proc/loadavg: 2.01 1.08 0.43 2/447 3460
/proc/meminfo: memFree=19210620/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=117900 CPUtime=0.12 cores=1,3,5,7
/proc/3460/stat : 3460 (python) R 3458 3460 3014 0 -1 4202496 4906 934 1 0 10 2 0 0 17 0 1 0 869257872 120729600 3334 33554432000 4194304 5683644 140734124055888 18446744073709551615 4603775 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3460/statm: 29475 3335 916 364 0 2445 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 117900
[startup+0.300694 s]
/proc/loadavg: 2.01 1.08 0.43 2/447 3460
/proc/meminfo: memFree=19210620/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/3460/stat : 3460 (python) R 3458 3460 3014 0 -1 4202496 5356 934 1 0 12 5 0 0 16 0 1 0 869257872 126709760 3744 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377297413 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3460/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700646 s]
/proc/loadavg: 2.01 1.08 0.43 2/447 3460
/proc/meminfo: memFree=19210620/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=273716 CPUtime=0.41 cores=1,3,5,7
/proc/3460/stat : 3460 (python) R 3458 3460 3014 0 -1 4202496 8809 934 1 0 29 12 0 0 15 0 1 0 869257872 280285184 6759 33554432000 4194304 5683644 140734124055888 18446744073709551615 5291100 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3460/statm: 68429 6759 1720 364 0 5462 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 273716
[startup+1.50047 s]
/proc/loadavg: 2.01 1.08 0.43 3/451 3469
/proc/meminfo: memFree=19011564/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=295240 CPUtime=0.63 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 11061 1350 1 0 47 13 3 0 18 0 2 0 869257872 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3460/statm: 73810 7650 1871 364 0 8697 0
[pid=3467] ppid=3460 vsize=284996 CPUtime=0 cores=1,3,5,7
/proc/3467/stat : 3467 (python) S 3460 3460 3014 0 -1 4202560 709 0 0 0 0 0 0 0 16 0 1 0 869257964 291835904 6094 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377321487 0 0 16781312 33554946 11545357495966859527 0 0 17 3 0 0 0
/proc/3467/statm: 71249 6094 319 364 0 6136 0
[pid=3469] ppid=3467 vsize=49808 CPUtime=0.57 cores=1,3,5,7
/proc/3469/stat : 3469 (scip-2.0.1.linu) R 3467 3469 3469 0 -1 4202496 10847 0 0 0 41 16 0 0 20 0 1 0 869257965 51003392 10049 33554432000 4194304 13684479 140734142697312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3469/statm: 12452 10049 758 2317 0 10130 0
[pid=3460/tid=3468] ppid=3458 vsize=295240 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 18 0 2 0 869257964 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 630044
[startup+3.10119 s]
/proc/loadavg: 2.01 1.09 0.44 3/451 3469
/proc/meminfo: memFree=18706396/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=295240 CPUtime=0.63 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 11061 1350 1 0 47 13 3 0 18 0 2 0 869257872 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3460/statm: 73810 7650 1871 364 0 8697 0
[pid=3467] ppid=3460 vsize=284996 CPUtime=0 cores=1,3,5,7
/proc/3467/stat : 3467 (python) S 3460 3460 3014 0 -1 4202560 717 0 0 0 0 0 0 0 15 0 1 0 869257964 291835904 6094 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377321487 0 0 16781312 33554946 11545357495966859527 0 0 17 3 0 0 0
/proc/3467/statm: 71249 6094 319 364 0 6136 0
[pid=3469] ppid=3467 vsize=50464 CPUtime=2.16 cores=1,3,5,7
/proc/3469/stat : 3469 (scip-2.0.1.linu) R 3467 3469 3469 0 -1 4202496 11261 0 0 0 199 17 0 0 18 0 1 0 869257965 51675136 10431 33554432000 4194304 13684479 140734142697312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3469/statm: 12616 10431 789 2317 0 10294 0
[pid=3460/tid=3468] ppid=3458 vsize=295240 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 18 0 2 0 869257964 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 630700
[startup+6.30059 s]
/proc/loadavg: 2.01 1.09 0.44 3/451 3469
/proc/meminfo: memFree=18509236/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=295240 CPUtime=0.63 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 11061 1350 1 0 47 13 3 0 18 0 2 0 869257872 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3460/statm: 73810 7650 1871 364 0 8697 0
[pid=3467] ppid=3460 vsize=284996 CPUtime=0.01 cores=1,3,5,7
/proc/3467/stat : 3467 (python) S 3460 3460 3014 0 -1 4202560 859 0 0 0 0 1 0 0 15 0 1 0 869257964 291835904 6117 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377321487 0 0 16781312 33554946 11545362031452324103 0 0 17 3 0 0 0
/proc/3467/statm: 71249 6117 342 364 0 6136 0
[pid=3469] ppid=3467 vsize=50464 CPUtime=5.37 cores=1,3,5,7
/proc/3469/stat : 3469 (scip-2.0.1.linu) R 3467 3469 3469 0 -1 4202496 11309 0 0 0 517 20 0 0 25 0 1 0 869257965 51675136 10456 33554432000 4194304 13684479 140734142697312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3469/statm: 12616 10456 770 2317 0 10294 0
[pid=3460/tid=3468] ppid=3458 vsize=295240 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 18 0 2 0 869257964 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 630700
[startup+12.7004 s]
/proc/loadavg: 2.01 1.12 0.45 3/451 3469
/proc/meminfo: memFree=18146780/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=295240 CPUtime=0.63 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 11061 1350 1 0 47 13 3 0 18 0 2 0 869257872 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3460/statm: 73810 7650 1871 364 0 8697 0
[pid=3467] ppid=3460 vsize=284996 CPUtime=0.02 cores=1,3,5,7
/proc/3467/stat : 3467 (python) S 3460 3460 3014 0 -1 4202560 969 0 0 0 1 1 0 0 15 0 1 0 869257964 291835904 6123 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377321487 0 0 16781312 33554946 5623753486446373603 0 0 17 7 0 0 0
/proc/3467/statm: 71249 6123 348 364 0 6136 0
[pid=3469] ppid=3467 vsize=76452 CPUtime=11.77 cores=1,3,5,7
/proc/3469/stat : 3469 (scip-2.0.1.linu) R 3467 3469 3469 0 -1 4202496 19866 0 0 0 1137 40 0 0 25 0 1 0 869257965 78286848 16994 33554432000 4194304 13684479 140734142697312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3469/statm: 19113 16994 836 2317 0 16791 0
[pid=3460/tid=3468] ppid=3458 vsize=295240 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 18 0 2 0 869257964 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 656688
[startup+25.501 s]
/proc/loadavg: 2.01 1.15 0.47 3/451 3469
/proc/meminfo: memFree=18073360/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=295240 CPUtime=0.63 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 11061 1350 1 0 47 13 3 0 18 0 2 0 869257872 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3460/statm: 73810 7650 1871 364 0 8697 0
[pid=3467] ppid=3460 vsize=284996 CPUtime=0.08 cores=1,3,5,7
/proc/3467/stat : 3467 (python) S 3460 3460 3014 0 -1 4202560 976 0 0 0 4 4 0 0 15 0 1 0 869257964 291835904 6123 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377321487 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/3467/statm: 71249 6123 348 364 0 6136 0
[pid=3469] ppid=3467 vsize=87784 CPUtime=24.56 cores=1,3,5,7
/proc/3469/stat : 3469 (scip-2.0.1.linu) R 3467 3469 3469 0 -1 4202496 25075 0 0 0 2389 67 0 0 25 0 1 0 869257965 89890816 19881 33554432000 4194304 13684479 140734142697312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3469/statm: 21946 19881 846 2317 0 19624 0
[pid=3460/tid=3468] ppid=3458 vsize=295240 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 18 0 2 0 869257964 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 668020
[startup+51.1013 s]
/proc/loadavg: 2.00 1.22 0.51 3/452 3471
/proc/meminfo: memFree=18058804/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=295240 CPUtime=0.63 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 11061 1350 1 0 47 13 3 0 18 0 2 0 869257872 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3460/statm: 73810 7650 1871 364 0 8697 0
[pid=3467] ppid=3460 vsize=284996 CPUtime=0.17 cores=1,3,5,7
/proc/3467/stat : 3467 (python) S 3460 3460 3014 0 -1 4202560 989 0 0 0 8 9 0 0 15 0 1 0 869257964 291835904 6123 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377321487 0 0 16781312 33554946 5623753486446373603 0 0 17 7 0 0 0
/proc/3467/statm: 71249 6123 348 364 0 6136 0
[pid=3469] ppid=3467 vsize=98208 CPUtime=50.17 cores=1,3,5,7
/proc/3469/stat : 3469 (scip-2.0.1.linu) R 3467 3469 3469 0 -1 4202496 30500 0 0 0 4918 99 0 0 25 0 1 0 869257965 100564992 22495 33554432000 4194304 13684479 140734142697312 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3469/statm: 24552 22495 869 2317 0 22230 0
[pid=3460/tid=3468] ppid=3458 vsize=295240 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 18 0 2 0 869257964 302325760 7650 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 678444
[startup+102.301 s]
/proc/loadavg: 2.08 1.37 0.60 3/460 3481
/proc/meminfo: memFree=17954440/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=315752 CPUtime=0.69 cores=1,3,5,7
/proc/3460/stat : 3460 (python) S 3458 3460 3014 0 -1 4202496 12904 1350 1 0 52 14 3 0 20 0 4 0 869257872 323330048 7663 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3460/statm: 78938 7663 1876 364 0 13819 0
[pid=3467] ppid=3460 vsize=295240 CPUtime=0.19 cores=1,3,5,7
/proc/3467/stat : 3467 (python) S 3460 3460 3014 0 -1 4202560 1160 0 0 0 10 9 0 0 16 0 2 0 869257964 302325760 6191 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3467/statm: 73810 6191 411 364 0 8697 0
[pid=3469] ppid=3467 vsize=98208 CPUtime=50.33 cores=1,3,5,7
/proc/3469/stat : 3469 (scip-2.0.1.linu) T 3467 3469 3469 0 -1 4202496 30500 0 0 0 4934 99 0 0 25 0 1 0 869257965 100564992 22495 33554432000 4194304 13684479 140734142697312 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3469/statm: 24552 22495 869 2317 0 22230 0
[pid=3467/tid=3472] ppid=3460 vsize=295240 CPUtime=0 cores=1,3,5,7
/proc/3467/task/3472/stat : 3472 (python) S 3460 3460 3014 0 -1 4202560 43 0 0 0 0 0 0 0 16 0 2 0 869262999 302325760 6191 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469505069312 0 0 -1 7 0 0 0
[pid=3473] ppid=3460 vsize=295252 CPUtime=0.17 cores=1,3,5,7
/proc/3473/stat : 3473 (python) S 3460 3460 3014 0 -1 4202560 1110 0 0 0 8 9 0 0 19 0 2 0 869263001 302338048 6171 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3473/statm: 73813 6171 391 364 0 8697 0
[pid=3475] ppid=3473 vsize=7372 CPUtime=47.17 cores=1,3,5,7
/proc/3475/stat : 3475 (clasp-1.3.7-x86) T 3473 3475 3475 0 -1 4202496 1872 0 0 0 4717 0 0 0 25 0 1 0 869263001 7548928 1586 33554432000 134512640 136139019 4288197344 18446744073709551615 134599059 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/3475/statm: 1843 1586 183 398 0 1443 0
[pid=3473/tid=3478] ppid=3460 vsize=295252 CPUtime=0 cores=1,3,5,7
/proc/3473/task/3478/stat : 3478 (python) S 3460 3460 3014 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 869267719 302338048 6171 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892550848 0 0 -1 1 0 0 0
[pid=3479] ppid=3460 vsize=305508 CPUtime=0 cores=1,3,5,7
/proc/3479/stat : 3479 (python) S 3460 3460 3014 0 -1 4202560 916 0 0 0 0 0 0 0 15 0 1 0 869267721 312840192 6127 33554432000 4194304 5683644 140734124055888 18446744073709551615 255377321542 0 0 16781312 33554946 4329061884561948934 0 0 17 7 0 0 0
/proc/3479/statm: 76377 6127 344 364 0 11258 0
[pid=3481] ppid=3479 vsize=90640 CPUtime=3.8 cores=1,3,5,7
/proc/3481/stat : 3481 (scip-2.0.1.linu) R 3479 3481 3481 0 -1 4202496 24262 0 0 0 360 20 0 0 25 0 1 0 869267722 92815360 18513 33554432000 4194304 15243407 140734453112512 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/3481/statm: 22660 18513 939 2698 0 19955 0
[pid=3460/tid=3468] ppid=3458 vsize=315752 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 18 0 4 0 869257964 323330048 7663 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3474] ppid=3458 vsize=315752 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3474/stat : 3474 (python) S 3458 3460 3014 0 -1 4202560 27 1350 0 0 0 0 3 0 20 0 4 0 869263001 323330048 7663 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3480] ppid=3458 vsize=315752 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3480/stat : 3480 (python) S 3458 3460 3014 0 -1 4202560 33 1350 0 0 0 0 3 0 20 0 4 0 869267722 323330048 7663 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=3511/tid=3515] ppid=3509 vsize=8545440 CPUtime=0.04 cores=1,3,5,7
/proc/3511/task/3515/stat : 3515 (java) T 3509 3511 3511 0 -1 4202560 6478 0 0 0 4 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=8545440 CPUtime=0.02 cores=1,3,5,7
/proc/3511/task/3516/stat : 3516 (java) T 3509 3511 3511 0 -1 4202560 2861 0 0 0 2 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=8545440 CPUtime=0.04 cores=1,3,5,7
/proc/3511/task/3517/stat : 3517 (java) T 3509 3511 3511 0 -1 4202560 4788 0 0 0 4 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=8545440 CPUtime=0.06 cores=1,3,5,7
/proc/3511/task/3518/stat : 3518 (java) T 3509 3511 3511 0 -1 4202560 8336 0 0 0 5 1 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=8545440 CPUtime=0.04 cores=1,3,5,7
/proc/3511/task/3519/stat : 3519 (java) T 3509 3511 3511 0 -1 4202560 5934 0 0 0 4 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=8545440 CPUtime=0.06 cores=1,3,5,7
/proc/3511/task/3520/stat : 3520 (java) T 3509 3511 3511 0 -1 4202560 8420 0 0 0 5 1 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3522/stat : 3522 (java) T 3509 3511 3511 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 19 0 869309909 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117952 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3523/stat : 3523 (java) T 3509 3511 3511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869309910 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3524/stat : 3524 (java) T 3509 3511 3511 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869309910 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 4
[pid=3511/tid=3525] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3525/stat : 3525 (java) T 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389125041 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=8545440 CPUtime=0.73 cores=1,3,5,7
/proc/3511/task/3526/stat : 3526 (java) T 3509 3511 3511 0 -1 4202560 6028 0 1 0 73 0 0 0 15 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=8545440 CPUtime=0.89 cores=1,3,5,7
/proc/3511/task/3527/stat : 3527 (java) T 3509 3511 3511 0 -1 4202560 11143 0 1 0 88 1 0 0 15 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3528/stat : 3528 (java) T 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3529/stat : 3529 (java) T 3509 3511 3511 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3530/stat : 3530 (java) T 3509 3511 3511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869309961 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3509/tid=3532] ppid=3460 vsize=336276 CPUtime=0 cores=1,3,5,7
/proc/3509/task/3532/stat : 3532 (python) S 3460 3460 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869314778 344346624 6187 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469505070208 0 0 -1 7 0 0 0
[pid=3549] ppid=3460 vsize=346532 CPUtime=0.35 cores=1,3,5,7
/proc/3549/stat : 3549 (python) S 3460 3460 3014 0 -1 4202560 1185 0 0 0 17 18 0 0 16 0 2 0 869356610 354848768 6191 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3549/statm: 86633 6191 391 364 0 21502 0
[pid=3551] ppid=3549 vsize=190068 CPUtime=93.97 cores=1,3,5,7
/proc/3551/stat : 3551 (bsolo_pb10) T 3549 3551 3551 0 -1 4202496 45481 0 0 0 9365 32 0 0 25 0 1 0 869356610 194629632 45085 33554432000 134512640 137138936 4288957568 18446744073709551615 134542613 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/3551/statm: 47517 45085 190 642 0 46873 0
[pid=3549/tid=3565] ppid=3460 vsize=346532 CPUtime=0 cores=1,3,5,7
/proc/3549/task/3565/stat : 3565 (python) S 3460 3460 3014 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869366022 354848768 6191 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604454377011200 0 0 -1 7 0 0 0
[pid=3566] ppid=3460 vsize=356788 CPUtime=0.18 cores=1,3,5,7
/proc/3566/stat : 3566 (python) S 3460 3460 3014 0 -1 4202560 1223 0 0 0 8 10 0 0 19 0 2 0 869366023 365350912 6201 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3566/statm: 89197 6201 397 364 0 24063 0
[pid=3568] ppid=3566 vsize=108492 CPUtime=47.21 cores=1,3,5,7
/proc/3568/stat : 3568 (pbct-0.1.2-linu) T 3566 3568 3568 0 -1 4202496 27708 0 0 0 4576 145 0 0 25 0 1 0 869366024 111095808 25853 33554432000 134512640 136422188 4288867888 18446744073709551615 135006440 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/3568/statm: 27123 25853 213 467 0 26654 0
[pid=3566/tid=3570] ppid=3460 vsize=356788 CPUtime=0 cores=1,3,5,7
/proc/3566/task/3570/stat : 3570 (python) S 3460 3460 3014 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869370746 365350912 6201 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604460615722176 0 0 -1 5 0 0 0
[pid=3460/tid=3468] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 43 1350 0 0 0 0 3 0 18 0 9 0 869257964 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3474] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3474/stat : 3474 (python) S 3458 3460 3014 0 -1 4202560 38 1350 0 0 0 0 3 0 18 0 9 0 869263001 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3480] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3480/stat : 3480 (python) S 3458 3460 3014 0 -1 4202560 36 1350 0 0 0 0 3 0 18 0 9 0 869267722 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3491] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3491/stat : 3491 (python) S 3458 3460 3014 0 -1 4202560 30 1350 0 0 0 0 3 0 20 0 9 0 869277359 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 3 0 0 0
[pid=3460/tid=3497] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3497/stat : 3497 (python) S 3458 3460 3014 0 -1 4202560 31 1350 0 0 0 0 3 0 20 0 9 0 869286615 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3510] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3510/stat : 3510 (python) S 3458 3460 3014 0 -1 4202560 30 1350 0 0 0 0 3 0 20 0 9 0 869309888 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 5 0 0 0
[pid=3460/tid=3550] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3550/stat : 3550 (python) S 3458 3460 3014 0 -1 4202560 32 1350 0 0 0 0 3 0 20 0 9 0 869356610 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 5 0 0 0
[pid=3460/tid=3567] ppid=3458 vsize=367032 CPUtime=0.03 cores=1,3,5,7
/proc/3460/task/3567/stat : 3567 (python) S 3458 3460 3014 0 -1 4202560 26 1350 0 0 0 0 3 0 20 0 9 0 869366024 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1199.4
Current children cumulated vsize (KiB) 12127744
[startup+1193.9 s]
/proc/loadavg: 2.19 2.07 1.61 3/507 3572
/proc/meminfo: memFree=15876336/32951124 swapFree=60787360/67111528
[pid=3460] ppid=3458 vsize=367032 CPUtime=144.16 cores=1,3,5,7
/proc/3460/stat : 3460 (python) R 3458 3460 3014 0 -1 4202496 18458 48494 1 0 114 16 14205 81 17 0 9 0 869257872 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 4532118 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/3460/statm: 91758 7693 1886 364 0 26624 0
[pid=3467] ppid=3460 vsize=0 CPUtime=581.15 cores=1,3,5,7
/proc/3467/stat : 3467 (python) Z 3460 3460 3014 0 -1 4202588 1295 30506 0 0 106 114 57073 822 15 0 1 0 869257964 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/3467/statm: 0 0 0 0 0 0 0
[pid=3473] ppid=3460 vsize=295252 CPUtime=0.87 cores=1,3,5,7
/proc/3473/stat : 3473 (python) S 3460 3460 3014 0 -1 4202560 1192 0 0 0 41 46 0 0 18 0 2 0 869263001 302338048 6171 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3473/statm: 73813 6171 391 364 0 8697 0
[pid=3475] ppid=3473 vsize=10736 CPUtime=231.88 cores=1,3,5,7
/proc/3475/stat : 3475 (clasp-1.3.7-x86) T 3473 3475 3475 0 -1 4202496 2715 0 0 0 23188 0 0 0 25 0 1 0 869263001 10993664 2421 33554432000 134512640 136139019 4288197344 18446744073709551615 134883423 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/3475/statm: 2684 2421 183 398 0 2284 0
[pid=3473/tid=3478] ppid=3460 vsize=295252 CPUtime=0 cores=1,3,5,7
/proc/3473/task/3478/stat : 3478 (python) S 3460 3460 3014 0 -1 4202560 53 0 0 0 0 0 0 0 18 0 2 0 869267719 302338048 6171 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892550848 0 0 -1 1 0 0 0
[pid=3496] ppid=3460 vsize=326020 CPUtime=0.18 cores=1,3,5,7
/proc/3496/stat : 3496 (python) R 3460 3460 3014 0 -1 4202560 1166 0 0 0 7 11 0 0 16 0 2 0 869286615 333844480 6183 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3496/statm: 81505 6183 391 364 0 16380 0
[pid=3499] ppid=3496 vsize=73304 CPUtime=48.93 cores=1,3,5,7
/proc/3499/stat : 3499 (bsolo_pb10) T 3496 3499 3499 0 -1 4202496 16284 0 0 0 4889 4 0 0 25 0 1 0 869286615 75063296 15888 33554432000 134512640 137138936 4292014768 18446744073709551615 134542898 0 0 16781312 16384 18446744071562691360 0 0 17 1 0 0 0
/proc/3499/statm: 18326 15888 192 642 0 17682 0
[pid=3496/tid=3502] ppid=3460 vsize=326020 CPUtime=0 cores=1,3,5,7
/proc/3496/task/3502/stat : 3502 (python) S 3460 3460 3014 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 869291510 333844480 6183 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604464030343360 0 0 -1 7 0 0 0
[pid=3509] ppid=3460 vsize=336276 CPUtime=0.18 cores=1,3,5,7
/proc/3509/stat : 3509 (python) S 3460 3460 3014 0 -1 4202560 1186 0 0 0 7 11 0 0 16 0 2 0 869309888 344346624 6187 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3509/statm: 84069 6187 391 364 0 18941 0
[pid=3511] ppid=3509 vsize=8545440 CPUtime=50.5 cores=1,3,5,7
/proc/3511/stat : 3511 (java) T 3509 3511 3511 0 -1 4202496 311521 0 115 0 5015 35 0 0 15 0 19 0 869309888 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 11
/proc/3511/statm: 2136360 288869 2245 9 0 2127101 0
[pid=3511/tid=3512] ppid=3509 vsize=8545440 CPUtime=48.39 cores=1,3,5,7
/proc/3511/task/3512/stat : 3512 (java) T 3509 3511 3511 0 -1 4202560 244185 0 57 0 4814 25 0 0 25 0 19 0 869309903 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 46912506235416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 12
[pid=3511/tid=3513] ppid=3509 vsize=8545440 CPUtime=0.04 cores=1,3,5,7
/proc/3511/task/3513/stat : 3513 (java) T 3509 3511 3511 0 -1 4202560 5808 0 0 0 4 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3511/tid=3514] ppid=3509 vsize=8545440 CPUtime=0.05 cores=1,3,5,7
/proc/3511/task/3514/stat : 3514 (java) T 3509 3511 3511 0 -1 4202560 5443 0 0 0 5 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=3511/tid=3515] ppid=3509 vsize=8545440 CPUtime=0.04 cores=1,3,5,7
/proc/3511/task/3515/stat : 3515 (java) T 3509 3511 3511 0 -1 4202560 6478 0 0 0 4 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3516] ppid=3509 vsize=8545440 CPUtime=0.02 cores=1,3,5,7
/proc/3511/task/3516/stat : 3516 (java) T 3509 3511 3511 0 -1 4202560 2861 0 0 0 2 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3517] ppid=3509 vsize=8545440 CPUtime=0.04 cores=1,3,5,7
/proc/3511/task/3517/stat : 3517 (java) T 3509 3511 3511 0 -1 4202560 4788 0 0 0 4 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3518] ppid=3509 vsize=8545440 CPUtime=0.06 cores=1,3,5,7
/proc/3511/task/3518/stat : 3518 (java) T 3509 3511 3511 0 -1 4202560 8336 0 0 0 5 1 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3519] ppid=3509 vsize=8545440 CPUtime=0.04 cores=1,3,5,7
/proc/3511/task/3519/stat : 3519 (java) T 3509 3511 3511 0 -1 4202560 5934 0 0 0 4 0 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3520] ppid=3509 vsize=8545440 CPUtime=0.06 cores=1,3,5,7
/proc/3511/task/3520/stat : 3520 (java) T 3509 3511 3511 0 -1 4202560 8420 0 0 0 5 1 0 0 15 0 19 0 869309906 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3522] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3522/stat : 3522 (java) T 3509 3511 3511 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 19 0 869309909 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117952 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3523] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3523/stat : 3523 (java) T 3509 3511 3511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869309910 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3524] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3524/stat : 3524 (java) T 3509 3511 3511 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869309910 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 4
[pid=3511/tid=3525] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3525/stat : 3525 (java) T 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389125041 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3526] ppid=3509 vsize=8545440 CPUtime=0.73 cores=1,3,5,7
/proc/3511/task/3526/stat : 3526 (java) T 3509 3511 3511 0 -1 4202560 6028 0 1 0 73 0 0 0 15 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3527] ppid=3509 vsize=8545440 CPUtime=0.89 cores=1,3,5,7
/proc/3511/task/3527/stat : 3527 (java) T 3509 3511 3511 0 -1 4202560 11143 0 1 0 88 1 0 0 15 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=3511/tid=3528] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3528/stat : 3528 (java) T 3509 3511 3511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117337 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=3511/tid=3529] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3529/stat : 3529 (java) T 3509 3511 3511 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 869309916 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3511/tid=3530] ppid=3509 vsize=8545440 CPUtime=0 cores=1,3,5,7
/proc/3511/task/3530/stat : 3530 (java) T 3509 3511 3511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869309961 8750530560 288869 33554432000 1073741824 1073778376 140734892550800 18446744073709551615 255389117952 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=3509/tid=3532] ppid=3460 vsize=336276 CPUtime=0 cores=1,3,5,7
/proc/3509/task/3532/stat : 3532 (python) S 3460 3460 3014 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 869314778 344346624 6187 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469505070208 0 0 -1 7 0 0 0
[pid=3549] ppid=3460 vsize=346532 CPUtime=0.35 cores=1,3,5,7
/proc/3549/stat : 3549 (python) S 3460 3460 3014 0 -1 4202560 1185 0 0 0 17 18 0 0 16 0 2 0 869356610 354848768 6191 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3549/statm: 86633 6191 391 364 0 21502 0
[pid=3551] ppid=3549 vsize=190068 CPUtime=93.97 cores=1,3,5,7
/proc/3551/stat : 3551 (bsolo_pb10) T 3549 3551 3551 0 -1 4202496 45481 0 0 0 9365 32 0 0 25 0 1 0 869356610 194629632 45085 33554432000 134512640 137138936 4288957568 18446744073709551615 134542613 0 0 16781312 16384 18446744071562691360 0 0 17 7 0 0 0
/proc/3551/statm: 47517 45085 190 642 0 46873 0
[pid=3549/tid=3565] ppid=3460 vsize=346532 CPUtime=0 cores=1,3,5,7
/proc/3549/task/3565/stat : 3565 (python) S 3460 3460 3014 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869366022 354848768 6191 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604454377011200 0 0 -1 7 0 0 0
[pid=3566] ppid=3460 vsize=356788 CPUtime=0.18 cores=1,3,5,7
/proc/3566/stat : 3566 (python) S 3460 3460 3014 0 -1 4202560 1223 0 0 0 8 10 0 0 19 0 2 0 869366023 365350912 6201 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3566/statm: 89197 6201 397 364 0 24063 0
[pid=3568] ppid=3566 vsize=108492 CPUtime=47.21 cores=1,3,5,7
/proc/3568/stat : 3568 (pbct-0.1.2-linu) T 3566 3568 3568 0 -1 4202496 27708 0 0 0 4576 145 0 0 25 0 1 0 869366024 111095808 25853 33554432000 134512640 136422188 4288867888 18446744073709551615 135006440 0 0 16781312 16387 18446744071562691360 0 0 17 1 0 0 0
/proc/3568/statm: 27123 25853 213 467 0 26654 0
[pid=3566/tid=3570] ppid=3460 vsize=356788 CPUtime=0 cores=1,3,5,7
/proc/3566/task/3570/stat : 3570 (python) S 3460 3460 3014 0 -1 4202560 43 0 0 0 0 0 0 0 19 0 2 0 869370746 365350912 6201 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554946 18446604460615722176 0 0 -1 5 0 0 0
[pid=3460/tid=3468] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3468/stat : 3468 (python) S 3458 3460 3014 0 -1 4202560 43 48494 0 0 0 0 14205 81 18 0 9 0 869257964 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3474] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3474/stat : 3474 (python) S 3458 3460 3014 0 -1 4202560 38 48494 0 0 0 0 14205 81 18 0 9 0 869263001 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3480] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3480/stat : 3480 (python) S 3458 3460 3014 0 -1 4202560 36 48494 0 0 0 0 14205 81 18 0 9 0 869267722 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3491] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3491/stat : 3491 (python) S 3458 3460 3014 0 -1 4202560 30 48494 0 0 0 0 14205 81 20 0 9 0 869277359 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 3 0 0 0
[pid=3460/tid=3497] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3497/stat : 3497 (python) S 3458 3460 3014 0 -1 4202560 31 48494 0 0 0 0 14205 81 20 0 9 0 869286615 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
[pid=3460/tid=3510] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3510/stat : 3510 (python) S 3458 3460 3014 0 -1 4202560 30 48494 0 0 0 0 14205 81 20 0 9 0 869309888 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 5 0 0 0
[pid=3460/tid=3550] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3550/stat : 3550 (python) S 3458 3460 3014 0 -1 4202560 32 48494 0 0 0 0 14205 81 20 0 9 0 869356610 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 5 0 0 0
[pid=3460/tid=3567] ppid=3458 vsize=367032 CPUtime=142.86 cores=1,3,5,7
/proc/3460/task/3567/stat : 3567 (python) S 3458 3460 3014 0 -1 4202560 26 48494 0 0 0 0 14205 81 20 0 9 0 869366024 375840768 7693 33554432000 4194304 5683644 140734124055888 18446744073709551615 255389125041 0 0 16781312 33554434 18446604469505072000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1199.56
Current children cumulated vsize (KiB) 10955940
Child status: 0
Real time (s): 1193.99
CPU time (s): 1199.79
CPU user time (s): 1186.21
CPU system time (s): 13.5789
CPU usage (%): 100.486
Max. virtual memory (cumulated for all children) (KiB): 12127748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1186.21
system time used= 13.5789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512788
page faults= 116
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9486
involuntary context switches= 2407
runsolver used 7.29389 second user time and 17.0274 second system time
The end