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-3481204-1307578631/watcher-3481204-1307578631 -o /tmp/evaluation-result-3481204-1307578631/solver-3481204-1307578631 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481204-1307578631.opb -seed 1999280602 -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.10 2.10 1.88 2/876 23735
/proc/meminfo: memFree=11044704/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=16248 CPUtime=0 cores=1,3,5,7
/proc/23735/stat : 23735 (python) R 23733 23735 21667 0 -1 4202496 1063 0 0 0 0 0 0 0 18 0 1 0 948093816 16637952 935 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415391488 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23735/statm: 4062 935 381 364 0 549 0
[startup+0.115508 s]
/proc/loadavg: 2.10 2.10 1.88 2/876 23735
/proc/meminfo: memFree=11044704/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/23735/stat : 23735 (python) R 23733 23735 21667 0 -1 4202496 3168 928 1 0 6 1 0 0 18 0 1 0 948093816 98435072 2483 33554432000 4194304 5683644 140735698928944 18446744073709551615 5158152 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23735/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.200504 s]
/proc/loadavg: 2.10 2.10 1.88 2/876 23735
/proc/meminfo: memFree=11044704/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=123744 CPUtime=0.14 cores=1,3,5,7
/proc/23735/stat : 23735 (python) R 23733 23735 21667 0 -1 4202496 5356 928 1 0 11 3 0 0 17 0 1 0 948093816 126713856 3744 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415387653 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23735/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123744
[startup+0.300488 s]
/proc/loadavg: 2.10 2.10 1.88 2/876 23735
/proc/meminfo: memFree=11044704/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=182080 CPUtime=0.21 cores=1,3,5,7
/proc/23735/stat : 23735 (python) R 23733 23735 21667 0 -1 4202496 6278 928 1 0 16 5 0 0 17 0 1 0 948093816 186449920 4585 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415387572 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23735/statm: 45520 4585 1246 364 0 3568 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 182080
[startup+0.70033 s]
/proc/loadavg: 2.10 2.10 1.88 2/876 23735
/proc/meminfo: memFree=11044704/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=295524 CPUtime=0.56 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 10349 928 1 0 47 9 0 0 19 0 2 0 948093816 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23735/statm: 73881 7719 1870 364 0 8768 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 295524
[startup+1.50124 s]
/proc/loadavg: 2.10 2.10 1.88 3/880 23743
/proc/meminfo: memFree=10981612/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=295524 CPUtime=0.56 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 10349 928 1 0 47 9 0 0 19 0 2 0 948093816 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23735/statm: 73881 7719 1870 364 0 8768 0
[pid=23741] ppid=23735 vsize=285280 CPUtime=0 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 948093884 292126720 6197 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411727 0 0 16781312 33554946 1624547731622068224 0 0 17 5 0 0 0
/proc/23741/statm: 71320 6197 352 364 0 6207 0
[pid=23743] ppid=23741 vsize=52952 CPUtime=0.81 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) R 23741 23743 23743 0 -1 4202496 11883 0 0 0 78 3 0 0 18 0 1 0 948093884 54222848 11024 33554432000 4194304 13684479 140735402618112 18446744073709551615 6441792 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23743/statm: 13238 11024 841 2317 0 10916 0
[pid=23735/tid=23742] ppid=23733 vsize=295524 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 948093884 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 633756
[startup+3.10094 s]
/proc/loadavg: 2.10 2.10 1.88 3/880 23743
/proc/meminfo: memFree=10972304/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=295524 CPUtime=0.56 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 10349 928 1 0 47 9 0 0 19 0 2 0 948093816 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23735/statm: 73881 7719 1870 364 0 8768 0
[pid=23741] ppid=23735 vsize=285280 CPUtime=0 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 948093884 292126720 6197 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411727 0 0 16781312 33554946 1494904092252700672 0 0 17 5 0 0 0
/proc/23741/statm: 71320 6197 352 364 0 6207 0
[pid=23743] ppid=23741 vsize=74552 CPUtime=2.4 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) R 23741 23743 23743 0 -1 4202496 16946 0 0 0 233 7 0 0 20 0 1 0 948093884 76341248 16037 33554432000 4194304 13684479 140735402618112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23743/statm: 18638 16037 822 2317 0 16316 0
[pid=23735/tid=23742] ppid=23733 vsize=295524 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 948093884 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 655356
[startup+6.30032 s]
/proc/loadavg: 2.10 2.10 1.88 3/880 23744
/proc/meminfo: memFree=10957228/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=295524 CPUtime=0.56 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 10349 928 1 0 47 9 0 0 19 0 2 0 948093816 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23735/statm: 73881 7719 1870 364 0 8768 0
[pid=23741] ppid=23735 vsize=285280 CPUtime=0.02 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 888 0 0 0 1 1 0 0 15 0 1 0 948093884 292126720 6221 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411727 0 0 16781312 33554946 14474567316878098694 0 0 17 5 0 0 0
/proc/23741/statm: 71320 6221 376 364 0 6207 0
[pid=23743] ppid=23741 vsize=74552 CPUtime=5.6 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) R 23741 23743 23743 0 -1 4202496 16947 0 0 0 544 16 0 0 24 0 1 0 948093884 76341248 16038 33554432000 4194304 13684479 140735402618112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23743/statm: 18638 16038 823 2317 0 16316 0
[pid=23735/tid=23742] ppid=23733 vsize=295524 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 948093884 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 655356
[startup+12.7011 s]
/proc/loadavg: 2.08 2.09 1.88 3/880 23744
/proc/meminfo: memFree=10955620/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=295524 CPUtime=0.56 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 10349 928 1 0 47 9 0 0 19 0 2 0 948093816 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23735/statm: 73881 7719 1870 364 0 8768 0
[pid=23741] ppid=23735 vsize=285280 CPUtime=0.04 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 982 0 0 0 2 2 0 0 15 0 1 0 948093884 292126720 6226 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411727 0 0 16781312 33554946 5623606151888251779 0 0 17 5 0 0 0
/proc/23741/statm: 71320 6226 381 364 0 6207 0
[pid=23743] ppid=23741 vsize=74552 CPUtime=12.01 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) R 23741 23743 23743 0 -1 4202496 16947 0 0 0 1167 34 0 0 25 0 1 0 948093884 76341248 16038 33554432000 4194304 13684479 140735402618112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23743/statm: 18638 16038 823 2317 0 16316 0
[pid=23735/tid=23742] ppid=23733 vsize=295524 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 948093884 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 655356
[startup+25.5007 s]
/proc/loadavg: 2.07 2.09 1.88 3/880 23744
/proc/meminfo: memFree=10956984/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=295524 CPUtime=0.56 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 10349 928 1 0 47 9 0 0 19 0 2 0 948093816 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23735/statm: 73881 7719 1870 364 0 8768 0
[pid=23741] ppid=23735 vsize=285280 CPUtime=0.11 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 994 0 0 0 5 6 0 0 15 0 1 0 948093884 292126720 6226 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411727 0 0 16781312 33554946 4238018984592539648 0 0 17 5 0 0 0
/proc/23741/statm: 71320 6226 381 364 0 6207 0
[pid=23743] ppid=23741 vsize=74552 CPUtime=24.8 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) R 23741 23743 23743 0 -1 4202496 16948 0 0 0 2406 74 0 0 18 0 1 0 948093884 76341248 16039 33554432000 4194304 13684479 140735402618112 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23743/statm: 18638 16039 824 2317 0 16316 0
[pid=23735/tid=23742] ppid=23733 vsize=295524 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 948093884 302616576 7719 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 655356
[startup+51.1008 s]
/proc/loadavg: 2.04 2.08 1.88 3/880 23745
/proc/meminfo: memFree=10956760/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=306284 CPUtime=0.59 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 11289 928 1 0 50 9 0 0 19 0 3 0 948093816 313634816 7852 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23735/statm: 76571 7852 1873 364 0 11455 0
[pid=23741] ppid=23735 vsize=295524 CPUtime=0.26 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 1147 0 0 0 12 14 0 0 16 0 2 0 948093884 302616576 6262 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23741/statm: 73881 6262 412 364 0 8768 0
[pid=23743] ppid=23741 vsize=74552 CPUtime=49.81 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) T 23741 23743 23743 0 -1 4202496 17010 0 0 0 4820 161 0 0 18 0 1 0 948093884 76341248 16101 33554432000 4194304 13684479 140735402618112 18446744073709551615 7267976 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23743/statm: 18638 16101 824 2317 0 16316 0
[pid=23735/tid=23742] ppid=23733 vsize=306284 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 3 0 948093884 313634816 7852 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 676360
[startup+102.301 s]
/proc/loadavg: 2.02 2.07 1.89 3/888 23754
/proc/meminfo: memFree=10868716/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=316540 CPUtime=0.61 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 12218 928 1 0 52 9 0 0 20 0 4 0 948093816 324136960 7858 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23735/statm: 79135 7858 1875 364 0 14016 0
[pid=23741] ppid=23735 vsize=295524 CPUtime=0.26 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 1147 0 0 0 12 14 0 0 16 0 2 0 948093884 302616576 6262 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23741/statm: 73881 6262 412 364 0 8768 0
[pid=23743] ppid=23741 vsize=74552 CPUtime=49.81 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) T 23741 23743 23743 0 -1 4202496 17010 0 0 0 4820 161 0 0 18 0 1 0 948093884 76341248 16101 33554432000 4194304 13684479 140735402618112 18446744073709551615 7267976 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23743/statm: 18638 16101 824 2317 0 16316 0
[pid=23741/tid=23746] ppid=23735 vsize=295524 CPUtime=0 cores=1,3,5,7
/proc/23741/task/23746/stat : 23746 (python) S 23735 23735 21667 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 948098866 302616576 6262 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604462061742272 0 0 -1 7 0 0 0
[pid=23747] ppid=23735 vsize=296040 CPUtime=0.26 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23735 23735 21667 0 -1 4202560 1126 0 0 0 12 14 0 0 17 0 2 0 948098868 303144960 6373 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23747/statm: 74010 6373 397 364 0 8894 0
[pid=23749] ppid=23747 vsize=65732 CPUtime=47.3 cores=1,3,5,7
/proc/23749/stat : 23749 (scip-2.0.1.linu) T 23747 23749 23749 0 -1 4202496 75590 0 0 0 4671 59 0 0 19 0 1 0 948098869 67309568 13690 33554432000 4194304 15243407 140734336878080 18446744073709551615 5490173 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23749/statm: 16433 13690 946 2698 0 13728 0
[pid=23747/tid=23751] ppid=23735 vsize=296040 CPUtime=0 cores=1,3,5,7
/proc/23747/task/23751/stat : 23751 (python) S 23735 23735 21667 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 948103600 303144960 6373 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604471127728320 0 0 -1 7 0 0 0
[pid=23752] ppid=23735 vsize=306296 CPUtime=0.01 cores=1,3,5,7
/proc/23752/stat : 23752 (python) S 23735 23735 21667 0 -1 4202560 928 0 0 0 0 1 0 0 16 0 1 0 948103602 313647104 6352 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411782 0 0 16781312 33554946 7126685383676363015 0 0 17 7 0 0 0
/proc/23752/statm: 76574 6352 373 364 0 11455 0
[pid=23754] ppid=23752 vsize=18132 CPUtime=4.42 cores=1,3,5,7
/proc/23754/stat : 23754 (wbo1.4a) R 23752 23754 23754 0 -1 4202496 4425 0 0 0 437 5 0 0 25 0 1 0 948103603 18567168 4089 33554432000 134512640 135751879 4287247536 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/23754/statm: 4533 4089 146 303 0 4228 0
[pid=23735/tid=23742] ppid=23733 vsize=316540 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 4 0 948093884 324136960 7858 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
[pid=23735/tid=23748] ppid=23733 vsize=316540 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23748/stat : 23748 (python) S 23733 23735 21667 0 -1 4202560 30 928 0 0 0 0 0 0 20 0 4 0 948098869 324136960 7858 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
[pid=23735/tid=23753] ppid=23733 vsize=316540 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23753/stat : 23753 (python) S 23733 23735 21667 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 4 0 948103603 324136960 7858 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=23759] ppid=23757 vsize=6448 CPUtime=94.46 cores=1,3,5,7
/proc/23759/stat : 23759 (clasp-1.3.7-x86) T 23757 23759 23759 0 -1 4202496 1681 0 0 0 9446 0 0 0 25 0 1 0 948108269 6602752 1377 33554432000 134512640 136139019 4287313248 18446744073709551615 134599059 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/23759/statm: 1612 1377 186 398 0 1212 0
[pid=23757/tid=23765] ppid=23735 vsize=316552 CPUtime=0 cores=1,3,5,7
/proc/23757/task/23765/stat : 23765 (python) S 23735 23735 21667 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 948113093 324149248 6381 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604459713025984 0 0 -1 1 0 0 0
[pid=23769] ppid=23735 vsize=326808 CPUtime=0.23 cores=1,3,5,7
/proc/23769/stat : 23769 (python) S 23735 23735 21667 0 -1 4202560 1126 0 0 0 12 11 0 0 16 0 2 0 948122507 334651392 6385 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23769/statm: 81702 6385 397 364 0 16577 0
[pid=23771] ppid=23769 vsize=162436 CPUtime=49.19 cores=1,3,5,7
/proc/23771/stat : 23771 (bsolo_pb10) T 23769 23771 23771 0 -1 4202496 38535 0 0 0 4905 14 0 0 25 0 1 0 948122508 166334464 38191 33554432000 134512640 137138936 4291620928 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/23771/statm: 40609 38191 192 642 0 39965 0
[pid=23769/tid=23773] ppid=23735 vsize=326808 CPUtime=0 cores=1,3,5,7
/proc/23769/task/23773/stat : 23773 (python) S 23735 23735 21667 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948127428 334651392 6385 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604468234114176 0 0 -1 5 0 0 0
[pid=23839] ppid=23735 vsize=337064 CPUtime=0.06 cores=1,3,5,7
/proc/23839/stat : 23839 (python) S 23735 23735 21667 0 -1 4202560 957 0 0 0 3 3 0 0 15 0 1 0 948141438 345153536 6364 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411782 0 0 16781312 33554946 5623606151888251779 0 0 17 5 0 0 0
/proc/23839/statm: 84266 6364 373 364 0 19138 0
[pid=23841] ppid=23839 vsize=8558564 CPUtime=14.25 cores=1,3,5,7
/proc/23841/stat : 23841 (java) S 23839 23841 23841 0 -1 4202496 56394 0 1 0 1419 6 0 0 17 0 19 0 948141438 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23841/statm: 2139641 49333 2252 9 0 2130382 0
[pid=23841/tid=23842] ppid=23839 vsize=8558564 CPUtime=12.95 cores=1,3,5,7
/proc/23841/task/23842/stat : 23842 (java) R 23839 23841 23841 0 -1 4202560 35316 0 1 0 1292 3 0 0 25 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 46912505744632 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23841/tid=23843] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23843/stat : 23843 (java) S 23839 23841 23841 0 -1 4202560 716 0 0 0 0 0 0 0 16 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23844] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23844/stat : 23844 (java) S 23839 23841 23841 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23845] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23845/stat : 23845 (java) S 23839 23841 23841 0 -1 4202560 1172 0 0 0 0 0 0 0 16 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23846] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23846/stat : 23846 (java) S 23839 23841 23841 0 -1 4202560 1467 0 0 0 0 0 0 0 15 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23847] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23847/stat : 23847 (java) S 23839 23841 23841 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23848] ppid=23839 vsize=8558564 CPUtime=0.01 cores=1,3,5,7
/proc/23841/task/23848/stat : 23848 (java) S 23839 23841 23841 0 -1 4202560 717 0 0 0 1 0 0 0 15 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23849] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23849/stat : 23849 (java) S 23839 23841 23841 0 -1 4202560 827 0 0 0 0 0 0 0 16 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23850] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23850/stat : 23850 (java) S 23839 23841 23841 0 -1 4202560 561 0 0 0 0 0 0 0 15 0 19 0 948141440 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23851] ppid=23839 vsize=8558564 CPUtime=0.08 cores=1,3,5,7
/proc/23841/task/23851/stat : 23851 (java) S 23839 23841 23841 0 -1 4202560 1597 0 0 0 8 0 0 0 15 0 19 0 948141441 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427208192 0 0 0 16800975 18446604468234113280 0 0 -1 3 0 0 0
[pid=23841/tid=23852] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23852/stat : 23852 (java) S 23839 23841 23841 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948141442 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23853] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23853/stat : 23853 (java) S 23839 23841 23841 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948141442 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23854] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23854/stat : 23854 (java) S 23839 23841 23841 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 948141444 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427215281 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23855] ppid=23839 vsize=8558564 CPUtime=0.55 cores=1,3,5,7
/proc/23841/task/23855/stat : 23855 (java) S 23839 23841 23841 0 -1 4202560 7501 0 0 0 55 0 0 0 15 0 19 0 948141444 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23856] ppid=23839 vsize=8558564 CPUtime=0.56 cores=1,3,5,7
/proc/23841/task/23856/stat : 23856 (java) S 23839 23841 23841 0 -1 4202560 4659 0 0 0 56 0 0 0 15 0 19 0 948141444 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23857] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23857/stat : 23857 (java) S 23839 23841 23841 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 948141444 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23858] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23858/stat : 23858 (java) S 23839 23841 23841 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 948141444 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427208192 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23859] ppid=23839 vsize=8558564 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23859/stat : 23859 (java) S 23839 23841 23841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948141479 8763969536 49333 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427208192 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23735/tid=23742] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 37 928 0 0 0 0 0 0 18 0 7 0 948093884 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
[pid=23735/tid=23748] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23748/stat : 23748 (python) S 23733 23735 21667 0 -1 4202560 38 928 0 0 0 0 0 0 18 0 7 0 948098869 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 7 0 0 0
[pid=23735/tid=23753] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23753/stat : 23753 (python) S 23733 23735 21667 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 7 0 948103603 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 3 0 0 0
[pid=23735/tid=23758] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23758/stat : 23758 (python) S 23733 23735 21667 0 -1 4202560 30 928 0 0 0 0 0 0 18 0 7 0 948108269 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 3 0 0 0
[pid=23735/tid=23770] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23770/stat : 23770 (python) S 23733 23735 21667 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 948122507 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 3 0 0 0
[pid=23735/tid=23840] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23840/stat : 23840 (python) S 23733 23735 21667 0 -1 4202560 33 928 0 0 0 0 0 0 20 0 7 0 948141438 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 493.05
Current children cumulated vsize (KiB) 11197684
[startup+489.712 s]
/proc/loadavg: 2.07 2.10 1.95 3/914 23859
/proc/meminfo: memFree=9588272/32950928 swapFree=50514916/67111528
[pid=23735] ppid=23733 vsize=347308 CPUtime=0.8 cores=1,3,5,7
/proc/23735/stat : 23735 (python) S 23733 23735 21667 0 -1 4202496 15209 928 1 0 71 9 0 0 20 0 7 0 948093816 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23735/statm: 86827 7876 1881 364 0 21699 0
[pid=23741] ppid=23735 vsize=295524 CPUtime=0.88 cores=1,3,5,7
/proc/23741/stat : 23741 (python) S 23735 23735 21667 0 -1 4202560 1222 0 0 0 42 46 0 0 15 0 2 0 948093884 302616576 6264 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23741/statm: 73881 6264 414 364 0 8768 0
[pid=23743] ppid=23741 vsize=74552 CPUtime=145.07 cores=1,3,5,7
/proc/23743/stat : 23743 (scip-2.0.1.linu) T 23741 23743 23743 0 -1 4202496 17021 0 0 0 14034 473 0 0 19 0 1 0 948093884 76341248 16112 33554432000 4194304 13684479 140735402618112 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23743/statm: 18638 16112 824 2317 0 16316 0
[pid=23741/tid=23746] ppid=23735 vsize=295524 CPUtime=0 cores=1,3,5,7
/proc/23741/task/23746/stat : 23746 (python) S 23735 23735 21667 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 948098866 302616576 6264 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604462061742272 0 0 -1 7 0 0 0
[pid=23747] ppid=23735 vsize=296040 CPUtime=0.89 cores=1,3,5,7
/proc/23747/stat : 23747 (python) S 23735 23735 21667 0 -1 4202560 1217 0 0 0 42 47 0 0 16 0 2 0 948098868 303144960 6374 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/23747/statm: 74010 6374 398 364 0 8894 0
[pid=23749] ppid=23747 vsize=71148 CPUtime=139.9 cores=1,3,5,7
/proc/23749/stat : 23749 (scip-2.0.1.linu) T 23747 23749 23749 0 -1 4202496 146671 0 0 0 13801 189 0 0 18 0 1 0 948098869 72855552 14639 33554432000 4194304 15243407 140734336878080 18446744073709551615 5490188 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23749/statm: 17787 14639 946 2698 0 15082 0
[pid=23747/tid=23751] ppid=23735 vsize=296040 CPUtime=0 cores=1,3,5,7
/proc/23747/task/23751/stat : 23751 (python) S 23735 23735 21667 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 948103600 303144960 6374 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604471127728320 0 0 -1 7 0 0 0
[pid=23752] ppid=23735 vsize=306296 CPUtime=0.23 cores=1,3,5,7
/proc/23752/stat : 23752 (python) S 23735 23735 21667 0 -1 4202560 1107 0 0 0 10 13 0 0 17 0 2 0 948103602 313647104 6377 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23752/statm: 76574 6377 397 364 0 11455 0
[pid=23754] ppid=23752 vsize=98944 CPUtime=46.62 cores=1,3,5,7
/proc/23754/stat : 23754 (wbo1.4a) T 23752 23754 23754 0 -1 4202496 24606 0 0 0 4626 36 0 0 25 0 1 0 948103603 101318656 24270 33554432000 134512640 135751879 4287247536 18446744073709551615 134616843 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/23754/statm: 24736 24270 146 303 0 24431 0
[pid=23752/tid=23756] ppid=23735 vsize=306296 CPUtime=0 cores=1,3,5,7
/proc/23752/task/23756/stat : 23756 (python) S 23735 23735 21667 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 948108266 313647104 6377 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604469976163584 0 0 -1 7 0 0 0
[pid=23757] ppid=23735 vsize=316552 CPUtime=0.47 cores=1,3,5,7
/proc/23757/stat : 23757 (python) S 23735 23735 21667 0 -1 4202560 1170 0 0 0 22 25 0 0 15 0 2 0 948108269 324149248 6381 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/23757/statm: 79138 6381 397 364 0 14016 0
[pid=23759] ppid=23757 vsize=6448 CPUtime=94.46 cores=1,3,5,7
/proc/23759/stat : 23759 (clasp-1.3.7-x86) T 23757 23759 23759 0 -1 4202496 1681 0 0 0 9446 0 0 0 25 0 1 0 948108269 6602752 1377 33554432000 134512640 136139019 4287313248 18446744073709551615 134599059 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/23759/statm: 1612 1377 186 398 0 1212 0
[pid=23757/tid=23765] ppid=23735 vsize=316552 CPUtime=0 cores=1,3,5,7
/proc/23757/task/23765/stat : 23765 (python) S 23735 23735 21667 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 948113093 324149248 6381 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604459713025984 0 0 -1 1 0 0 0
[pid=23769] ppid=23735 vsize=326808 CPUtime=0.23 cores=1,3,5,7
/proc/23769/stat : 23769 (python) S 23735 23735 21667 0 -1 4202560 1126 0 0 0 12 11 0 0 16 0 2 0 948122507 334651392 6385 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23769/statm: 81702 6385 397 364 0 16577 0
[pid=23771] ppid=23769 vsize=162436 CPUtime=49.19 cores=1,3,5,7
/proc/23771/stat : 23771 (bsolo_pb10) T 23769 23771 23771 0 -1 4202496 38535 0 0 0 4905 14 0 0 25 0 1 0 948122508 166334464 38191 33554432000 134512640 137138936 4291620928 18446744073709551615 134542325 0 0 16781312 16384 18446744071562691360 0 0 17 5 0 0 0
/proc/23771/statm: 40609 38191 192 642 0 39965 0
[pid=23769/tid=23773] ppid=23735 vsize=326808 CPUtime=0 cores=1,3,5,7
/proc/23769/task/23773/stat : 23773 (python) S 23735 23735 21667 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 948127428 334651392 6385 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554946 18446604468234114176 0 0 -1 5 0 0 0
[pid=23839] ppid=23735 vsize=337064 CPUtime=0.06 cores=1,3,5,7
/proc/23839/stat : 23839 (python) S 23735 23735 21667 0 -1 4202560 966 0 0 0 3 3 0 0 15 0 1 0 948141438 345153536 6364 33554432000 4194304 5683644 140735698928944 18446744073709551615 256415411782 0 0 16781312 33554946 3011114851540926464 0 0 17 5 0 0 0
/proc/23839/statm: 84266 6364 373 364 0 19138 0
[pid=23841] ppid=23839 vsize=8559592 CPUtime=14.69 cores=1,3,5,7
/proc/23841/stat : 23841 (java) S 23839 23841 23841 0 -1 4202496 58267 0 1 0 1463 6 0 0 17 0 19 0 948141438 8765022208 51176 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23841/statm: 2139898 51176 2258 9 0 2130639 0
[pid=23841/tid=23842] ppid=23839 vsize=8559592 CPUtime=13.3 cores=1,3,5,7
/proc/23841/task/23842/stat : 23842 (java) S 23839 23841 23841 0 -1 4202560 35320 0 1 0 1327 3 0 0 25 0 19 0 948141440 8765022208 51176 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23843] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23843/stat : 23843 (java) S 23839 23841 23841 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 19 0 948141440 8765022208 51176 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23844] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23844/stat : 23844 (java) S 23839 23841 23841 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 19 0 948141440 8765022208 51176 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23845] ppid=23839 vsize=8559592 CPUtime=0.01 cores=1,3,5,7
/proc/23841/task/23845/stat : 23845 (java) S 23839 23841 23841 0 -1 4202560 1172 0 0 0 1 0 0 0 15 0 18 0 948141440 8765022208 51176 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23846] ppid=23839 vsize=8559592 CPUtime=0.01 cores=1,3,5,7
/proc/23841/task/23846/stat : 23846 (java) S 23839 23841 23841 0 -1 4202560 1467 0 0 0 1 0 0 0 15 0 18 0 948141440 8765022208 51176 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23847] ppid=23839 vsize=8559592 CPUtime=0.01 cores=1,3,5,7
/proc/23841/task/23847/stat : 23847 (java) S 23839 23841 23841 0 -1 4202560 1709 0 0 0 1 0 0 0 16 0 18 0 948141440 8765022208 51176 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23848] ppid=23839 vsize=8559592 CPUtime=0.01 cores=1,3,5,7
/proc/23841/task/23848/stat : 23848 (java) S 23839 23841 23841 0 -1 4202560 717 0 0 0 1 0 0 0 15 0 18 0 948141440 8765022208 51181 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 1 0 0 0
[pid=23841/tid=23849] ppid=23839 vsize=8559592 CPUtime=0.01 cores=1,3,5,7
/proc/23841/task/23849/stat : 23849 (java) S 23839 23841 23841 0 -1 4202560 1220 0 0 0 1 0 0 0 16 0 18 0 948141440 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23850] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23850/stat : 23850 (java) S 23839 23841 23841 0 -1 4202560 561 0 0 0 0 0 0 0 15 0 18 0 948141440 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23851] ppid=23839 vsize=8559592 CPUtime=0.08 cores=1,3,5,7
/proc/23841/task/23851/stat : 23851 (java) R 23839 23841 23841 0 -1 4202560 1598 0 0 0 8 0 0 0 16 0 18 0 948141441 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256415434935 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=23841/tid=23852] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23852/stat : 23852 (java) S 23839 23841 23841 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 948141442 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23853] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23853/stat : 23853 (java) S 23839 23841 23841 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 948141442 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23854] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23854/stat : 23854 (java) S 23839 23841 23841 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 948141444 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23855] ppid=23839 vsize=8559592 CPUtime=0.58 cores=1,3,5,7
/proc/23841/task/23855/stat : 23855 (java) R 23839 23841 23841 0 -1 4202560 7515 0 0 0 58 0 0 0 15 0 18 0 948141444 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 47719070493952 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23841/tid=23856] ppid=23839 vsize=8559592 CPUtime=0.58 cores=1,3,5,7
/proc/23841/task/23856/stat : 23856 (java) S 23839 23841 23841 0 -1 4202560 4666 0 0 0 58 0 0 0 15 0 18 0 948141444 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23841/tid=23857] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23857/stat : 23857 (java) S 23839 23841 23841 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948141444 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427207577 0 4 0 16800975 18446604468234113280 0 0 -1 7 0 0 0
[pid=23841/tid=23859] ppid=23839 vsize=8559592 CPUtime=0 cores=1,3,5,7
/proc/23841/task/23859/stat : 23859 (java) S 23839 23841 23841 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 18 0 948141479 8765022208 51183 33554432000 1073741824 1073778376 140736187321408 18446744073709551615 256427208192 0 4 0 16800975 18446604468234113280 0 0 -1 5 0 0 0
[pid=23735/tid=23742] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23742/stat : 23742 (python) S 23733 23735 21667 0 -1 4202560 37 928 0 0 0 0 0 0 18 0 7 0 948093884 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 1 0 0 0
[pid=23735/tid=23748] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23748/stat : 23748 (python) S 23733 23735 21667 0 -1 4202560 38 928 0 0 0 0 0 0 18 0 7 0 948098869 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 7 0 0 0
[pid=23735/tid=23753] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23753/stat : 23753 (python) S 23733 23735 21667 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 7 0 948103603 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 3 0 0 0
[pid=23735/tid=23758] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23758/stat : 23758 (python) S 23733 23735 21667 0 -1 4202560 30 928 0 0 0 0 0 0 18 0 7 0 948108269 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 3 0 0 0
[pid=23735/tid=23770] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23770/stat : 23770 (python) S 23733 23735 21667 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 7 0 948122507 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 3 0 0 0
[pid=23735/tid=23840] ppid=23733 vsize=347308 CPUtime=0 cores=1,3,5,7
/proc/23735/task/23840/stat : 23840 (python) S 23733 23735 21667 0 -1 4202560 33 928 0 0 0 0 0 0 20 0 7 0 948141438 355643392 7876 33554432000 4194304 5683644 140735698928944 18446744073709551615 256427215281 0 0 16781312 33554434 18446604457470212928 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 493.49
Current children cumulated vsize (KiB) 11198712
Child status: 0
Real time (s): 489.779
CPU time (s): 493.699
CPU user time (s): 484.876
CPU system time (s): 8.82266
CPU usage (%): 100.8
Max. virtual memory (cumulated for all children) (KiB): 11198712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 484.876
system time used= 8.82266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315508
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= 3621
involuntary context switches= 2391
runsolver used 2.91956 second user time and 6.70298 second system time
The end