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-3482309-1307578950/watcher-3482309-1307578950 -o /tmp/evaluation-result-3482309-1307578950/solver-3482309-1307578950 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482309-1307578950.opb -seed 1809162815 -budget 1800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.50 2.18 3/453 6294
/proc/meminfo: memFree=19363920/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/6294/stat : 6294 (python) R 6292 6294 5042 0 -1 4202496 898 0 0 0 0 0 0 0 25 0 1 0 325504468 16150528 778 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880608391 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6294/statm: 3943 778 343 364 0 430 0
[startup+0.040126 s]
/proc/loadavg: 2.12 2.50 2.18 3/453 6294
/proc/meminfo: memFree=19363920/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=18884 CPUtime=0.02 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 1288 0 0 0 2 0 0 0 25 0 1 0 325504468 19337216 1140 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/6294/statm: 4721 1140 421 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18884
[startup+0.106878 s]
/proc/loadavg: 2.12 2.50 2.18 3/453 6294
/proc/meminfo: memFree=19363920/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/6294/stat : 6294 (python) R 6292 6294 5042 0 -1 4202496 3169 929 1 0 6 1 0 0 18 0 1 0 325504468 98430976 2483 33554432000 4194304 5683644 140736943934080 18446744073709551615 5170261 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6294/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301794 s]
/proc/loadavg: 2.12 2.50 2.18 3/453 6294
/proc/meminfo: memFree=19363920/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=203276 CPUtime=0.22 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 6710 929 1 0 17 5 0 0 17 0 1 0 325504468 208154624 4989 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/6294/statm: 50819 4992 1472 364 0 3781 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 203276
[startup+0.700748 s]
/proc/loadavg: 2.12 2.50 2.18 3/453 6294
/proc/meminfo: memFree=19363920/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=294952 CPUtime=0.51 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 10019 929 1 0 44 7 0 0 19 0 2 0 325504468 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/6294/statm: 73738 7575 1870 364 0 8625 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 294952
[startup+1.50061 s]
/proc/loadavg: 2.12 2.50 2.18 3/452 6305
/proc/meminfo: memFree=19627908/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=294952 CPUtime=0.51 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 10019 929 1 0 44 7 0 0 19 0 2 0 325504468 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/6294/statm: 73738 7575 1870 364 0 8625 0
[pid=6303] ppid=6294 vsize=284708 CPUtime=0 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 824 0 0 0 0 0 0 0 19 0 1 0 325504530 291540992 6059 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585231 0 0 16781312 33554946 2725545671485522179 0 0 17 2 0 0 0
/proc/6303/statm: 71177 6059 358 364 0 6064 0
[pid=6305] ppid=6303 vsize=39408 CPUtime=0.87 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) R 6303 6305 6305 0 -1 4202496 8054 0 0 0 85 2 0 0 23 0 1 0 325504530 40353792 7432 33554432000 4194304 13684479 140734000317824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6305/statm: 9852 7432 647 2317 0 7530 0
[pid=6294/tid=6304] ppid=6292 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6304/stat : 6304 (python) S 6292 6294 5042 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 325504530 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 619068
[startup+3.10133 s]
/proc/loadavg: 2.12 2.50 2.18 3/452 6305
/proc/meminfo: memFree=19612160/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=294952 CPUtime=0.51 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 10019 929 1 0 44 7 0 0 19 0 2 0 325504468 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/6294/statm: 73738 7575 1870 364 0 8625 0
[pid=6303] ppid=6294 vsize=284708 CPUtime=0 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 830 0 0 0 0 0 0 0 15 0 1 0 325504530 291540992 6059 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585231 0 0 16781312 33554946 2725545671485522179 0 0 17 2 0 0 0
/proc/6303/statm: 71177 6059 358 364 0 6064 0
[pid=6305] ppid=6303 vsize=62280 CPUtime=2.47 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) R 6303 6305 6305 0 -1 4202496 13834 0 0 0 242 5 0 0 25 0 1 0 325504530 63774720 13156 33554432000 4194304 13684479 140734000317824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6305/statm: 15570 13156 752 2317 0 13248 0
[pid=6294/tid=6304] ppid=6292 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6304/stat : 6304 (python) S 6292 6294 5042 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 325504530 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 641940
[startup+6.30074 s]
/proc/loadavg: 2.11 2.49 2.17 3/452 6305
/proc/meminfo: memFree=19595228/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=294952 CPUtime=0.51 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 10019 929 1 0 44 7 0 0 19 0 2 0 325504468 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/6294/statm: 73738 7575 1870 364 0 8625 0
[pid=6303] ppid=6294 vsize=284708 CPUtime=0.01 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 979 0 0 0 0 1 0 0 15 0 1 0 325504530 291540992 6082 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585231 0 0 16781312 33554946 4294934788 0 0 17 6 0 0 0
/proc/6303/statm: 71177 6082 381 364 0 6064 0
[pid=6305] ppid=6303 vsize=65796 CPUtime=5.67 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) R 6303 6305 6305 0 -1 4202496 14931 0 0 0 560 7 0 0 22 0 1 0 325504530 67375104 14244 33554432000 4194304 13684479 140734000317824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6305/statm: 16449 14244 764 2317 0 14127 0
[pid=6294/tid=6304] ppid=6292 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6304/stat : 6304 (python) S 6292 6294 5042 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 325504530 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 645456
[startup+12.7006 s]
/proc/loadavg: 2.10 2.48 2.17 3/452 6305
/proc/meminfo: memFree=19574180/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=294952 CPUtime=0.51 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 10019 929 1 0 44 7 0 0 19 0 2 0 325504468 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/6294/statm: 73738 7575 1870 364 0 8625 0
[pid=6303] ppid=6294 vsize=284708 CPUtime=0.05 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 993 0 0 0 2 3 0 0 15 0 1 0 325504530 291540992 6082 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585231 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/6303/statm: 71177 6082 381 364 0 6064 0
[pid=6305] ppid=6303 vsize=87764 CPUtime=12.08 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) R 6303 6305 6305 0 -1 4202496 20954 0 0 0 1190 18 0 0 25 0 1 0 325504530 89870336 19443 33554432000 4194304 13684479 140734000317824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6305/statm: 21941 19443 821 2317 0 19619 0
[pid=6294/tid=6304] ppid=6292 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6304/stat : 6304 (python) S 6292 6294 5042 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 325504530 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 667424
[startup+25.5003 s]
/proc/loadavg: 2.08 2.45 2.17 3/458 6336
/proc/meminfo: memFree=19569144/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=294952 CPUtime=0.51 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 10019 929 1 0 44 7 0 0 19 0 2 0 325504468 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/6294/statm: 73738 7575 1870 364 0 8625 0
[pid=6303] ppid=6294 vsize=284708 CPUtime=0.08 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 997 0 0 0 4 4 0 0 15 0 1 0 325504530 291540992 6082 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585231 0 0 16781312 33554946 72556772316949286 0 0 17 6 0 0 0
/proc/6303/statm: 71177 6082 381 364 0 6064 0
[pid=6305] ppid=6303 vsize=87764 CPUtime=24.87 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) R 6303 6305 6305 0 -1 4202496 21017 0 0 0 2463 24 0 0 25 0 1 0 325504530 89870336 19506 33554432000 4194304 13684479 140734000317824 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6305/statm: 21941 19506 821 2317 0 19619 0
[pid=6294/tid=6304] ppid=6292 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6304/stat : 6304 (python) S 6292 6294 5042 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 2 0 325504530 302030848 7575 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 667424
[startup+51.1007 s]
/proc/loadavg: 2.05 2.42 2.17 3/462 6341
/proc/meminfo: memFree=19511820/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=305208 CPUtime=0.53 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 10854 929 1 0 46 7 0 0 20 0 3 0 325504468 312532992 7584 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/6294/statm: 76302 7584 1873 364 0 11186 0
[pid=6303] ppid=6294 vsize=294952 CPUtime=0.17 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 1170 0 0 0 8 9 0 0 16 0 2 0 325504530 302030848 6118 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6303/statm: 73738 6118 412 364 0 8625 0
[pid=6305] ppid=6303 vsize=87764 CPUtime=46.12 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) T 6303 6305 6305 0 -1 4202496 21017 0 0 0 4579 33 0 0 25 0 1 0 325504530 89870336 19506 33554432000 4194304 13684479 140734000317824 18446744073709551615 7019264 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/6305/statm: 21941 19506 821 2317 0 19619 0
[pid=6303/tid=6338] ppid=6294 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6303/task/6338/stat : 6338 (python) S 6294 6294 5042 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 325509143 302030848 6118 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604451132932352 0 0 -1 6 0 0 0
[pid=6339] ppid=6294 vsize=294964 CPUtime=0 cores=0,2,4,6
/proc/6339/stat : 6339 (python) S 6294 6294 5042 0 -1 4202560 937 0 0 0 0 0 0 0 15 0 1 0 325509145 302043136 6080 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585286 0 0 16781312 33554946 4226926187873534211 0 0 17 2 0 0 0
/proc/6339/statm: 73741 6080 373 364 0 8625 0
[pid=6341] ppid=6339 vsize=64840 CPUtime=4.32 cores=0,2,4,6
/proc/6341/stat : 6341 (scip-2.0.1.linu) R 6339 6341 6341 0 -1 4202496 14212 0 0 0 425 7 0 0 25 0 1 0 325509146 66396160 13535 33554432000 4194304 15243407 140736021319008 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/6341/statm: 16210 13535 848 2698 0 13505 0
[pid=6294/tid=6304] ppid=6292 vsize=305208 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6304/stat : 6304 (python) S 6292 6294 5042 0 -1 4202560 25 929 0 0 0 0 0 0 19 0 3 0 325504530 312532992 7584 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
[pid=6294/tid=6340] ppid=6292 vsize=305208 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6340/stat : 6340 (python) S 6292 6294 5042 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 3 0 325509146 312532992 7584 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 1047728
[startup+102.317 s]
/proc/loadavg: 2.11 2.38 2.17 3/488 6368
/proc/meminfo: memFree=19401424/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=315464 CPUtime=0.56 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 11765 929 1 0 48 8 0 0 20 0 4 0 325504468 323035136 7590 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/6294/statm: 78866 7590 1875 364 0 13747 0
[pid=6303] ppid=6294 vsize=294952 CPUtime=0.17 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 1170 0 0 0 8 9 0 0 16 0 2 0 325504530 302030848 6118 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6303/statm: 73738 6118 412 364 0 8625 0
[pid=6305] ppid=6303 vsize=87764 CPUtime=46.12 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) T 6303 6305 6305 0 -1 4202496 21017 0 0 0 4579 33 0 0 25 0 1 0 325504530 89870336 19506 33554432000 4194304 13684479 140734000317824 18446744073709551615 7019264 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/6305/statm: 21941 19506 821 2317 0 19619 0
[pid=6303/tid=6338] ppid=6294 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6303/task/6338/stat : 6338 (python) S 6294 6294 5042 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 325509143 302030848 6118 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604451132932352 0 0 -1 6 0 0 0
[pid=6339] ppid=6294 vsize=294964 CPUtime=0.16 cores=0,2,4,6
/proc/6339/stat : 6339 (python) S 6294 6294 5042 0 -1 4202560 1135 0 0 0 8 8 0 0 16 0 2 0 325509145 302043136 6105 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6339/statm: 73741 6105 397 364 0 8625 0
[pid=6341] ppid=6339 vsize=90760 CPUtime=45.93 cores=0,2,4,6
/proc/6341/stat : 6341 (scip-2.0.1.linu) T 6339 6341 6341 0 -1 4202496 20557 0 0 0 4575 18 0 0 25 0 1 0 325509146 92938240 19854 33554432000 4194304 15243407 140736021319008 18446744073709551615 7436027 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6341/statm: 22690 19854 914 2698 0 19985 0
[pid=6339/tid=6365] ppid=6294 vsize=294964 CPUtime=0 cores=0,2,4,6
/proc/6339/task/6365/stat : 6365 (python) S 6294 6294 5042 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 325513740 302043136 6105 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604452354193280 0 0 -1 6 0 0 0
[pid=6366] ppid=6294 vsize=305220 CPUtime=0.02 cores=0,2,4,6
/proc/6366/stat : 6366 (python) S 6294 6294 5042 0 -1 4202560 955 0 0 0 1 1 0 0 15 0 1 0 325513742 312545280 6084 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585286 0 0 16781312 33554946 4294934786 0 0 17 4 0 0 0
################
# More data... #
################
[startup+655.502 s]
/proc/loadavg: 1.28 1.32 1.69 5/533 6484
/proc/meminfo: memFree=18614252/32950928 swapFree=51865260/67111528
[pid=6294] ppid=6292 vsize=366744 CPUtime=0.84 cores=0,2,4,6
/proc/6294/stat : 6294 (python) S 6292 6294 5042 0 -1 4202496 16343 929 1 0 75 9 0 0 20 0 9 0 325504468 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/6294/statm: 91686 7620 1885 364 0 26552 0
[pid=6303] ppid=6294 vsize=294952 CPUtime=0.7 cores=0,2,4,6
/proc/6303/stat : 6303 (python) S 6294 6294 5042 0 -1 4202560 1228 0 0 0 38 32 0 0 15 0 2 0 325504530 302030848 6119 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6303/statm: 73738 6119 413 364 0 8625 0
[pid=6305] ppid=6303 vsize=87764 CPUtime=187.52 cores=0,2,4,6
/proc/6305/stat : 6305 (scip-2.0.1.linu) T 6303 6305 6305 0 -1 4202496 21020 0 0 0 18644 108 0 0 25 0 1 0 325504530 89870336 19509 33554432000 4194304 13684479 140734000317824 18446744073709551615 7390866 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6305/statm: 21941 19509 824 2317 0 19619 0
[pid=6303/tid=6338] ppid=6294 vsize=294952 CPUtime=0 cores=0,2,4,6
/proc/6303/task/6338/stat : 6338 (python) S 6294 6294 5042 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 325509143 302030848 6119 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604451132932352 0 0 -1 0 0 0 0
[pid=6339] ppid=6294 vsize=294964 CPUtime=0.7 cores=0,2,4,6
/proc/6339/stat : 6339 (python) S 6294 6294 5042 0 -1 4202560 1193 0 0 0 39 31 0 0 15 0 2 0 325509145 302043136 6105 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6339/statm: 73741 6105 397 364 0 8625 0
[pid=6341] ppid=6339 vsize=92760 CPUtime=185.32 cores=0,2,4,6
/proc/6341/stat : 6341 (scip-2.0.1.linu) T 6339 6341 6341 0 -1 4202496 34310 0 0 0 18481 51 0 0 25 0 1 0 325509146 94986240 20148 33554432000 4194304 15243407 140736021319008 18446744073709551615 8128636 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/6341/statm: 23190 20148 962 2698 0 20485 0
[pid=6339/tid=6365] ppid=6294 vsize=294964 CPUtime=0 cores=0,2,4,6
/proc/6339/task/6365/stat : 6365 (python) S 6294 6294 5042 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 325513740 302043136 6105 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604452354193280 0 0 -1 0 0 0 0
[pid=6366] ppid=6294 vsize=305220 CPUtime=0.19 cores=0,2,4,6
/proc/6366/stat : 6366 (python) S 6294 6294 5042 0 -1 4202560 1142 0 0 0 9 10 0 0 16 0 2 0 325513742 312545280 6109 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6366/statm: 76305 6109 397 364 0 11186 0
[pid=6368] ppid=6366 vsize=87916 CPUtime=48.98 cores=0,2,4,6
/proc/6368/stat : 6368 (wbo1.4a) T 6366 6368 6368 0 -1 4202496 21840 0 0 0 4864 34 0 0 25 0 1 0 325513742 90025984 21529 33554432000 134512640 135751879 4288035616 18446744073709551615 134616467 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/6368/statm: 21979 21529 146 303 0 21674 0
[pid=6366/tid=6375] ppid=6294 vsize=305220 CPUtime=0 cores=0,2,4,6
/proc/6366/task/6375/stat : 6375 (python) S 6294 6294 5042 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 325518642 312545280 6109 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453902109504 0 0 -1 6 0 0 0
[pid=6420] ppid=6294 vsize=315476 CPUtime=0.18 cores=0,2,4,6
/proc/6420/stat : 6420 (python) S 6294 6294 5042 0 -1 4202560 1144 0 0 0 10 8 0 0 16 0 2 0 325528673 323047424 6113 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/6420/statm: 78869 6113 397 364 0 13747 0
[pid=6422] ppid=6420 vsize=133248 CPUtime=47.3 cores=0,2,4,6
/proc/6422/stat : 6422 (bsolo_pb10) T 6420 6422 6422 0 -1 4202496 31235 0 0 0 4716 14 0 0 25 0 1 0 325528673 136445952 30874 33554432000 134512640 137138936 4286890240 18446744073709551615 134542187 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/6422/statm: 33312 30874 191 642 0 32668 0
[pid=6420/tid=6425] ppid=6294 vsize=315476 CPUtime=0 cores=0,2,4,6
/proc/6420/task/6425/stat : 6425 (python) S 6294 6294 5042 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 325533405 323047424 6113 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453909173184 0 0 -1 0 0 0 0
[pid=6426] ppid=6294 vsize=325732 CPUtime=0.17 cores=0,2,4,6
/proc/6426/stat : 6426 (python) S 6294 6294 5042 0 -1 4202560 1147 0 0 0 8 9 0 0 16 0 2 0 325533408 333549568 6117 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6426/statm: 81433 6117 397 364 0 16308 0
[pid=6428] ppid=6426 vsize=97824 CPUtime=45.73 cores=0,2,4,6
/proc/6428/stat : 6428 (bsolo_pb10) T 6426 6428 6428 0 -1 4202496 22387 0 0 0 4566 7 0 0 25 0 1 0 325533408 100171776 22032 33554432000 134512640 137138936 4288893424 18446744073709551615 134542770 0 0 16781312 16384 18446744071562691360 0 0 17 2 0 0 0
/proc/6428/statm: 24456 22032 192 642 0 23812 0
[pid=6426/tid=6430] ppid=6294 vsize=325732 CPUtime=0 cores=0,2,4,6
/proc/6426/task/6430/stat : 6430 (python) S 6294 6294 5042 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 325537981 333549568 6117 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604443223684992 0 0 -1 6 0 0 0
[pid=6434] ppid=6294 vsize=335988 CPUtime=0.34 cores=0,2,4,6
/proc/6434/stat : 6434 (python) S 6294 6294 5042 0 -1 4202560 1235 0 0 0 18 16 0 0 16 0 2 0 325551441 344051712 6127 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/6434/statm: 83997 6127 403 364 0 18869 0
[pid=6436] ppid=6434 vsize=3356 CPUtime=93.46 cores=0,2,4,6
/proc/6436/stat : 6436 (clasp-1.3.7-x86) T 6434 6436 6436 0 -1 4202496 911 0 0 0 9346 0 0 0 25 0 1 0 325551441 3436544 607 33554432000 134512640 136139019 4292813136 18446744073709551615 134832230 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/6436/statm: 839 607 189 398 0 439 0
[pid=6434/tid=6439] ppid=6294 vsize=335988 CPUtime=0 cores=0,2,4,6
/proc/6434/task/6439/stat : 6439 (python) S 6294 6294 5042 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 325556190 344051712 6127 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604453972449344 0 0 -1 4 0 0 0
[pid=6442] ppid=6294 vsize=346244 CPUtime=0.17 cores=0,2,4,6
/proc/6442/stat : 6442 (python) S 6294 6294 5042 0 -1 4202560 1226 0 0 0 8 9 0 0 16 0 2 0 325565403 354553856 6131 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892391883 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/6442/statm: 86561 6131 403 364 0 21430 0
[pid=6444] ppid=6442 vsize=8546044 CPUtime=48.15 cores=0,2,4,6
/proc/6444/stat : 6444 (java) T 6442 6444 6444 0 -1 4202496 164656 0 1 0 4791 24 0 0 18 0 19 0 325565403 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6444/statm: 2136511 130714 2245 9 0 2127252 0
[pid=6444/tid=6445] ppid=6442 vsize=8546044 CPUtime=45.48 cores=0,2,4,6
/proc/6444/task/6445/stat : 6445 (java) T 6442 6444 6444 0 -1 4202560 127049 0 1 0 4533 15 0 0 25 0 19 0 325565404 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 46912505823589 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6444/tid=6446] ppid=6442 vsize=8546044 CPUtime=0.08 cores=0,2,4,6
/proc/6444/task/6446/stat : 6446 (java) T 6442 6444 6444 0 -1 4202560 2623 0 0 0 8 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6444/tid=6447] ppid=6442 vsize=8546044 CPUtime=0.09 cores=0,2,4,6
/proc/6444/task/6447/stat : 6447 (java) T 6442 6444 6444 0 -1 4202560 3462 0 0 0 9 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6444/tid=6448] ppid=6442 vsize=8546044 CPUtime=0.09 cores=0,2,4,6
/proc/6444/task/6448/stat : 6448 (java) T 6442 6444 6444 0 -1 4202560 3047 0 0 0 9 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6444/tid=6449] ppid=6442 vsize=8546044 CPUtime=0.07 cores=0,2,4,6
/proc/6444/task/6449/stat : 6449 (java) T 6442 6444 6444 0 -1 4202560 2472 0 0 0 7 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6444/tid=6450] ppid=6442 vsize=8546044 CPUtime=0.08 cores=0,2,4,6
/proc/6444/task/6450/stat : 6450 (java) T 6442 6444 6444 0 -1 4202560 3140 0 0 0 8 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6444/tid=6451] ppid=6442 vsize=8546044 CPUtime=0.09 cores=0,2,4,6
/proc/6444/task/6451/stat : 6451 (java) T 6442 6444 6444 0 -1 4202560 3016 0 0 0 9 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6444/tid=6452] ppid=6442 vsize=8546044 CPUtime=0.08 cores=0,2,4,6
/proc/6444/task/6452/stat : 6452 (java) T 6442 6444 6444 0 -1 4202560 2367 0 0 0 8 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6444/tid=6453] ppid=6442 vsize=8546044 CPUtime=0.1 cores=0,2,4,6
/proc/6444/task/6453/stat : 6453 (java) T 6442 6444 6444 0 -1 4202560 2839 0 0 0 10 0 0 0 15 0 19 0 325565405 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6444/tid=6454] ppid=6442 vsize=8546044 CPUtime=0.01 cores=0,2,4,6
/proc/6444/task/6454/stat : 6454 (java) T 6442 6444 6444 0 -1 4202560 204 0 0 0 0 1 0 0 15 0 19 0 325565406 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381696 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=6444/tid=6455] ppid=6442 vsize=8546044 CPUtime=0 cores=0,2,4,6
/proc/6444/task/6455/stat : 6455 (java) T 6442 6444 6444 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 325565406 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=6444/tid=6456] ppid=6442 vsize=8546044 CPUtime=0 cores=0,2,4,6
/proc/6444/task/6456/stat : 6456 (java) T 6442 6444 6444 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 325565406 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=6444/tid=6457] ppid=6442 vsize=8546044 CPUtime=0 cores=0,2,4,6
/proc/6444/task/6457/stat : 6457 (java) T 6442 6444 6444 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 325565409 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892388785 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=6444/tid=6458] ppid=6442 vsize=8546044 CPUtime=0.95 cores=0,2,4,6
/proc/6444/task/6458/stat : 6458 (java) T 6442 6444 6444 0 -1 4202560 7281 0 0 0 94 1 0 0 15 0 19 0 325565409 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=6444/tid=6459] ppid=6442 vsize=8546044 CPUtime=0.89 cores=0,2,4,6
/proc/6444/task/6459/stat : 6459 (java) T 6442 6444 6444 0 -1 4202560 5756 0 0 0 88 1 0 0 15 0 19 0 325565409 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=6444/tid=6460] ppid=6442 vsize=8546044 CPUtime=0 cores=0,2,4,6
/proc/6444/task/6460/stat : 6460 (java) T 6442 6444 6444 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 325565409 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381081 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6444/tid=6461] ppid=6442 vsize=8546044 CPUtime=0 cores=0,2,4,6
/proc/6444/task/6461/stat : 6461 (java) T 6442 6444 6444 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 325565409 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381696 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=6444/tid=6462] ppid=6442 vsize=8546044 CPUtime=0 cores=0,2,4,6
/proc/6444/task/6462/stat : 6462 (java) T 6442 6444 6444 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 325565439 8751149056 130714 33554432000 1073741824 1073778376 140735095142208 18446744073709551615 218892381696 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=6442/tid=6464] ppid=6294 vsize=346244 CPUtime=0 cores=0,2,4,6
/proc/6442/task/6464/stat : 6464 (python) S 6294 6294 5042 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 325569987 354553856 6131 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554946 18446604452497645952 0 0 -1 6 0 0 0
[pid=6465] ppid=6294 vsize=356500 CPUtime=0 cores=0,2,4,6
/proc/6465/stat : 6465 (python) S 6294 6294 5042 0 -1 4202560 867 0 0 0 0 0 0 0 19 0 1 0 325569989 365056000 6087 33554432000 4194304 5683644 140736943934080 18446744073709551615 218880585286 0 0 16781312 33554946 2505487283998654722 0 0 17 0 0 0 0
/proc/6465/statm: 89125 6087 356 364 0 23991 0
[pid=6467] ppid=6465 vsize=8535244 CPUtime=0.63 cores=0,2,4,6
/proc/6467/stat : 6467 (java) S 6465 6467 6467 0 -1 4202496 12880 0 1 0 62 1 0 0 20 0 18 0 325569989 8740089856 10973 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/6467/statm: 2133811 10975 2211 9 0 2124552 0
[pid=6467/tid=6468] ppid=6465 vsize=8535244 CPUtime=0.3 cores=0,2,4,6
/proc/6467/task/6468/stat : 6468 (java) R 6465 6467 6467 0 -1 4202560 7828 0 1 0 29 1 0 0 18 0 18 0 325569990 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 46912505624104 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6467/tid=6469] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6469/stat : 6469 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 4 0 0 0
[pid=6467/tid=6470] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6470/stat : 6470 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 4 0 0 0
[pid=6467/tid=6471] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6471/stat : 6471 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 4 0 0 0
[pid=6467/tid=6472] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6472/stat : 6472 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 0 0 0 0
[pid=6467/tid=6473] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6473/stat : 6473 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 0 0 0 0
[pid=6467/tid=6474] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6474/stat : 6474 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 0 0 0 0
[pid=6467/tid=6475] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6475/stat : 6475 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 0 0 0 0
[pid=6467/tid=6476] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6476/stat : 6476 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325569991 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 0 0 0 0
[pid=6467/tid=6477] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6477/stat : 6477 (java) S 6465 6467 6467 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 325569992 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381696 0 0 0 16800975 18446604443897260928 0 0 -1 4 0 0 0
[pid=6467/tid=6478] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6478/stat : 6478 (java) S 6465 6467 6467 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 325569992 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 4 0 0 0
[pid=6467/tid=6479] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6479/stat : 6479 (java) S 6465 6467 6467 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 325569992 8740089856 11143 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 0 0 0 0
[pid=6467/tid=6480] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6480/stat : 6480 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325569994 8740089856 11146 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892388785 0 4 0 16800975 18446604443897260928 0 0 -1 4 0 0 0
[pid=6467/tid=6481] ppid=6465 vsize=8535244 CPUtime=0.17 cores=0,2,4,6
/proc/6467/task/6481/stat : 6481 (java) R 6465 6467 6467 0 -1 4202560 1566 0 0 0 17 0 0 0 17 0 18 0 325569994 8740089856 11146 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 47257769959240 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6467/tid=6482] ppid=6465 vsize=8535244 CPUtime=0.17 cores=0,2,4,6
/proc/6467/task/6482/stat : 6482 (java) R 6465 6467 6467 0 -1 4202560 2405 0 0 0 17 0 0 0 25 0 18 0 325569994 8740089856 11146 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218880256594 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6467/tid=6483] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6483/stat : 6483 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 325569994 8740089856 11146 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381081 0 4 0 16800975 18446604443897260928 0 0 -1 4 0 0 0
[pid=6467/tid=6484] ppid=6465 vsize=8535244 CPUtime=0 cores=0,2,4,6
/proc/6467/task/6484/stat : 6484 (java) S 6465 6467 6467 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 325569994 8740089856 11146 33554432000 1073741824 1073778376 140733549873680 18446744073709551615 218892381696 0 4 0 16800975 18446604443897260928 0 0 -1 0 0 0 0
[pid=6294/tid=6304] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6304/stat : 6304 (python) S 6292 6294 5042 0 -1 4202560 39 929 0 0 0 0 0 0 18 0 9 0 325504530 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
[pid=6294/tid=6340] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6340/stat : 6340 (python) S 6292 6294 5042 0 -1 4202560 37 929 0 0 0 0 0 0 18 0 9 0 325509146 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 4 0 0 0
[pid=6294/tid=6367] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6367/stat : 6367 (python) S 6292 6294 5042 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 9 0 325513742 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 0 0 0 0
[pid=6294/tid=6421] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6421/stat : 6421 (python) S 6292 6294 5042 0 -1 4202560 32 929 0 0 0 0 0 0 20 0 9 0 325528673 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 0 0 0 0
[pid=6294/tid=6427] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6427/stat : 6427 (python) S 6292 6294 5042 0 -1 4202560 26 929 0 0 0 0 0 0 20 0 9 0 325533408 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
[pid=6294/tid=6435] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6435/stat : 6435 (python) S 6292 6294 5042 0 -1 4202560 26 929 0 0 0 0 0 0 18 0 9 0 325551441 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 0 0 0 0
[pid=6294/tid=6443] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6443/stat : 6443 (python) S 6292 6294 5042 0 -1 4202560 33 929 0 0 0 0 0 0 20 0 9 0 325565403 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
[pid=6294/tid=6466] ppid=6292 vsize=366744 CPUtime=0 cores=0,2,4,6
/proc/6294/task/6466/stat : 6466 (python) S 6292 6294 5042 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 9 0 325569989 375545856 7620 33554432000 4194304 5683644 140736943934080 18446744073709551615 218892388785 0 0 16781312 33554434 18446604453072427840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 660.38
Current children cumulated vsize (KiB) 20525976
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6294 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=753885
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=95985
# CPU time returned by wait4() is 0.84987
# while last known CPU time is 660.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 655.595
CPU time (s): 660.38
CPU user time (s): 656.75
CPU system time (s): 3.63
CPU usage (%): 100.73
Max. virtual memory (cumulated for all children) (KiB): 20526680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.753885
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17278
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= 1041
involuntary context switches= 29
runsolver used 3.23151 second user time and 6.57 second system time
The end