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-3481726-1307577478/watcher-3481726-1307577478 -o /tmp/evaluation-result-3481726-1307577478/solver-3481726-1307577478 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481726-1307577478.opb -seed 1205143191 -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 2.07 1.46 2/725 20503
/proc/meminfo: memFree=22150560/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=15904 CPUtime=0 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 957 0 0 0 0 0 0 0 17 0 1 0 869344554 16285696 833 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500689920 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/20503/statm: 3976 833 357 364 0 463 0
[startup+0.033925 s]
/proc/loadavg: 2.01 2.07 1.46 2/725 20503
/proc/meminfo: memFree=22150560/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=16532 CPUtime=0.01 cores=1,3,5,7
/proc/20503/stat : 20503 (python) R 20501 20503 19061 0 -1 4202496 1189 0 0 0 1 0 0 0 17 0 1 0 869344554 16928768 1049 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500689920 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/20503/statm: 4133 1049 417 364 0 620 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16532
[startup+0.100897 s]
/proc/loadavg: 2.01 2.07 1.46 2/725 20503
/proc/meminfo: memFree=22150560/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=85364 CPUtime=0.07 cores=1,3,5,7
/proc/20503/stat : 20503 (python) R 20501 20503 19061 0 -1 4202496 2621 0 0 0 5 2 0 0 17 0 1 0 869344554 87412736 2341 33554432000 4194304 5683644 140734114446464 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/20503/statm: 21405 2342 715 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85364
[startup+0.300847 s]
/proc/loadavg: 2.01 2.07 1.46 2/725 20503
/proc/meminfo: memFree=22150560/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=123740 CPUtime=0.17 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 5356 930 1 0 12 5 0 0 16 0 1 0 869344554 126709760 3744 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500687877 0 2147483391 16781312 2 18446744071699199166 0 0 17 3 0 0 0
/proc/20503/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 123740
[startup+0.700776 s]
/proc/loadavg: 2.01 2.07 1.46 2/725 20503
/proc/meminfo: memFree=22150560/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=282264 CPUtime=0.43 cores=1,3,5,7
/proc/20503/stat : 20503 (python) R 20501 20503 19061 0 -1 4202496 8985 930 1 0 30 13 0 0 15 0 1 0 869344554 289038336 6881 33554432000 4194304 5683644 140734114446464 18446744073709551615 4870104 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/20503/statm: 70567 6881 1763 364 0 5460 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282264
[startup+1.50061 s]
/proc/loadavg: 2.01 2.07 1.46 3/729 20511
/proc/meminfo: memFree=22124612/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=293068 CPUtime=0.46 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 9625 930 1 0 33 13 0 0 16 0 2 0 869344554 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20503/statm: 73267 7137 1870 364 0 8154 0
[pid=20509] ppid=20503 vsize=282824 CPUtime=0 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 705 0 0 0 0 0 0 0 18 0 1 0 869344628 289611776 5612 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500711951 0 0 16781312 33554946 15131964425772171525 0 0 17 3 0 0 0
/proc/20509/statm: 70706 5612 349 364 0 5593 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=0.76 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) R 20509 20511 20511 0 -1 4202496 461 0 0 0 76 0 0 0 20 0 1 0 869344628 1904640 203 33554432000 134512640 136139019 4292780000 18446744073709551615 134632429 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/20511/statm: 465 203 183 398 0 65 0
[pid=20503/tid=20510] ppid=20501 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 25 930 0 0 0 0 0 0 17 0 2 0 869344628 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 577752
[startup+3.10029 s]
/proc/loadavg: 2.01 2.07 1.46 3/729 20511
/proc/meminfo: memFree=22122084/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=293068 CPUtime=0.46 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 9625 930 1 0 33 13 0 0 16 0 2 0 869344554 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20503/statm: 73267 7137 1870 364 0 8154 0
[pid=20509] ppid=20503 vsize=282824 CPUtime=0 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 1 0 869344628 289611776 5615 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500711951 0 0 16781312 33554946 15131965937600659717 0 0 17 3 0 0 0
/proc/20509/statm: 70706 5615 352 364 0 5593 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=2.36 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) R 20509 20511 20511 0 -1 4202496 462 0 0 0 236 0 0 0 25 0 1 0 869344628 1904640 204 33554432000 134512640 136139019 4292780000 18446744073709551615 134832230 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/20511/statm: 465 204 183 398 0 65 0
[pid=20503/tid=20510] ppid=20501 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 25 930 0 0 0 0 0 0 17 0 2 0 869344628 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 577752
[startup+6.30065 s]
/proc/loadavg: 2.01 2.07 1.46 3/729 20511
/proc/meminfo: memFree=22124108/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=293068 CPUtime=0.46 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 9625 930 1 0 33 13 0 0 16 0 2 0 869344554 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20503/statm: 73267 7137 1870 364 0 8154 0
[pid=20509] ppid=20503 vsize=282824 CPUtime=0.01 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 873 0 0 0 0 1 0 0 15 0 1 0 869344628 289611776 5639 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500711951 0 0 16781312 33554946 15131966693514903813 0 0 17 7 0 0 0
/proc/20509/statm: 70706 5639 376 364 0 5593 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=5.56 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) R 20509 20511 20511 0 -1 4202496 462 0 0 0 556 0 0 0 25 0 1 0 869344628 1904640 204 33554432000 134512640 136139019 4292780000 18446744073709551615 134865645 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/20511/statm: 465 204 183 398 0 65 0
[pid=20503/tid=20510] ppid=20501 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 25 930 0 0 0 0 0 0 17 0 2 0 869344628 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 577752
[startup+12.7004 s]
/proc/loadavg: 2.01 2.07 1.46 3/729 20512
/proc/meminfo: memFree=22123948/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=293068 CPUtime=0.46 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 9625 930 1 0 33 13 0 0 16 0 2 0 869344554 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20503/statm: 73267 7137 1870 364 0 8154 0
[pid=20509] ppid=20503 vsize=282824 CPUtime=0.04 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 878 0 0 0 2 2 0 0 15 0 1 0 869344628 289611776 5639 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373722 0 0 17 7 0 0 0
/proc/20509/statm: 70706 5639 376 364 0 5593 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=11.96 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) R 20509 20511 20511 0 -1 4202496 463 0 0 0 1196 0 0 0 25 0 1 0 869344628 1904640 205 33554432000 134512640 136139019 4292780000 18446744073709551615 134598392 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/20511/statm: 465 205 183 398 0 65 0
[pid=20503/tid=20510] ppid=20501 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 25 930 0 0 0 0 0 0 17 0 2 0 869344628 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 577752
[startup+25.5008 s]
/proc/loadavg: 2.01 2.06 1.47 3/729 20512
/proc/meminfo: memFree=22124932/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=293068 CPUtime=0.46 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 9625 930 1 0 33 13 0 0 16 0 2 0 869344554 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/20503/statm: 73267 7137 1870 364 0 8154 0
[pid=20509] ppid=20503 vsize=282824 CPUtime=0.1 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 885 0 0 0 4 6 0 0 15 0 1 0 869344628 289611776 5639 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500711951 0 0 16781312 33554946 5623753486446373722 0 0 17 7 0 0 0
/proc/20509/statm: 70706 5639 376 364 0 5593 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=24.76 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) R 20509 20511 20511 0 -1 4202496 463 0 0 0 2476 0 0 0 25 0 1 0 869344628 1904640 205 33554432000 134512640 136139019 4292780000 18446744073709551615 134832230 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/20511/statm: 465 205 183 398 0 65 0
[pid=20503/tid=20510] ppid=20501 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 25 930 0 0 0 0 0 0 17 0 2 0 869344628 300101632 7137 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 577752
[startup+51.1007 s]
/proc/loadavg: 2.14 2.09 1.49 3/754 20538
/proc/meminfo: memFree=21942272/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=303864 CPUtime=0.48 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 10499 930 1 0 35 13 0 0 19 0 3 0 869344554 311156736 7264 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/20503/statm: 75966 7264 1873 364 0 10850 0
[pid=20509] ppid=20503 vsize=293068 CPUtime=0.21 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 1115 0 0 0 9 12 0 0 17 0 2 0 869344628 300101632 5680 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20509/statm: 73267 5680 412 364 0 8154 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=48.21 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) T 20509 20511 20511 0 -1 4202496 464 0 0 0 4821 0 0 0 25 0 1 0 869344628 1904640 206 33554432000 134512640 136139019 4292780000 18446744073709551615 134632515 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/20511/statm: 465 206 183 398 0 65 0
[pid=20509/tid=20535] ppid=20503 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20509/task/20535/stat : 20535 (python) S 20503 20503 19061 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869349449 300101632 5680 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604459391697920 0 0 -1 7 0 0 0
[pid=20536] ppid=20503 vsize=293620 CPUtime=0 cores=1,3,5,7
/proc/20536/stat : 20536 (python) S 20503 20503 19061 0 -1 4202560 809 0 0 0 0 0 0 0 15 0 1 0 869349451 300666880 5736 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500712006 0 0 16781312 33554946 1281932070091751424 0 0 17 3 0 0 0
/proc/20536/statm: 73405 5736 349 364 0 8289 0
[pid=20538] ppid=20536 vsize=26292 CPUtime=2.12 cores=1,3,5,7
/proc/20538/stat : 20538 (scip-2.0.1.linu) R 20536 20538 20538 0 -1 4202496 5731 0 0 0 156 56 0 0 18 0 1 0 869349452 26923008 4250 33554432000 4194304 13684479 140734846966768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20538/statm: 6573 4250 804 2317 0 4251 0
[pid=20503/tid=20510] ppid=20501 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 25 930 0 0 0 0 0 0 17 0 3 0 869344628 311156736 7264 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
[pid=20503/tid=20537] ppid=20501 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20537/stat : 20537 (python) S 20501 20503 19061 0 -1 4202560 29 930 0 0 0 0 0 0 19 0 3 0 869349452 311156736 7264 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 918704
[startup+102.321 s]
/proc/loadavg: 2.06 2.07 1.52 3/754 20539
/proc/meminfo: memFree=21989736/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=303864 CPUtime=0.48 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 10499 930 1 0 35 13 0 0 19 0 3 0 869344554 311156736 7264 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/20503/statm: 75966 7264 1873 364 0 10850 0
[pid=20509] ppid=20503 vsize=293068 CPUtime=0.21 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 1115 0 0 0 9 12 0 0 17 0 2 0 869344628 300101632 5680 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20509/statm: 73267 5680 412 364 0 8154 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=48.21 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) T 20509 20511 20511 0 -1 4202496 464 0 0 0 4821 0 0 0 25 0 1 0 869344628 1904640 206 33554432000 134512640 136139019 4292780000 18446744073709551615 134632515 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/20511/statm: 465 206 183 398 0 65 0
[pid=20509/tid=20535] ppid=20503 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20509/task/20535/stat : 20535 (python) S 20503 20503 19061 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869349449 300101632 5680 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604459391697920 0 0 -1 7 0 0 0
[pid=20536] ppid=20503 vsize=293992 CPUtime=0.49 cores=1,3,5,7
/proc/20536/stat : 20536 (python) S 20503 20503 19061 0 -1 4202560 1164 0 0 0 29 20 0 0 15 0 1 0 869349451 301047808 5847 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500712006 0 0 16781312 33554946 2290235716535320576 0 0 17 3 0 0 0
/proc/20536/statm: 73498 5847 376 364 0 8382 0
[pid=20538] ppid=20536 vsize=62180 CPUtime=53.34 cores=1,3,5,7
/proc/20538/stat : 20538 (scip-2.0.1.linu) R 20536 20538 20538 0 -1 4202496 14708 0 0 0 4387 947 0 0 18 0 1 0 869349452 63672320 13227 33554432000 4194304 13684479 140734846966768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/20538/statm: 15545 13227 804 2317 0 13223 0
[pid=20503/tid=20510] ppid=20501 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 25 930 0 0 0 0 0 0 17 0 3 0 869344628 311156736 7264 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
[pid=20503/tid=20537] ppid=20501 vsize=303864 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20537/stat : 20537 (python) S 20501 20503 19061 0 -1 4202560 29 930 0 0 0 0 0 0 19 0 3 0 869349452 311156736 7264 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 5 0 0 0
################
# More data... #
################
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+487.202 s]
/proc/loadavg: 2.02 2.09 1.71 6/846 20867
/proc/meminfo: memFree=17937264/32950928 swapFree=26914392/67111528
[pid=20503] ppid=20501 vsize=355684 CPUtime=0.66 cores=1,3,5,7
/proc/20503/stat : 20503 (python) S 20501 20503 19061 0 -1 4202496 14979 930 1 0 51 15 0 0 20 0 8 0 869344554 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/20503/statm: 88921 7413 1883 364 0 23790 0
[pid=20509] ppid=20503 vsize=293068 CPUtime=0.44 cores=1,3,5,7
/proc/20509/stat : 20509 (python) S 20503 20503 19061 0 -1 4202560 1144 0 0 0 21 23 0 0 15 0 2 0 869344628 300101632 5681 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20509/statm: 73267 5681 413 364 0 8154 0
[pid=20511] ppid=20509 vsize=1860 CPUtime=94.42 cores=1,3,5,7
/proc/20511/stat : 20511 (clasp-1.3.7-x86) T 20509 20511 20511 0 -1 4202496 464 0 0 0 9442 0 0 0 25 0 1 0 869344628 1904640 206 33554432000 134512640 136139019 4292780000 18446744073709551615 134871026 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/20511/statm: 465 206 183 398 0 65 0
[pid=20509/tid=20535] ppid=20503 vsize=293068 CPUtime=0 cores=1,3,5,7
/proc/20509/task/20535/stat : 20535 (python) S 20503 20503 19061 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869349449 300101632 5681 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604459391697920 0 0 -1 7 0 0 0
[pid=20536] ppid=20503 vsize=293992 CPUtime=0.51 cores=1,3,5,7
/proc/20536/stat : 20536 (python) S 20503 20503 19061 0 -1 4202560 1327 0 0 0 30 21 0 0 17 0 2 0 869349451 301047808 5874 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20536/statm: 73498 5874 399 364 0 8382 0
[pid=20538] ppid=20536 vsize=63320 CPUtime=55.48 cores=1,3,5,7
/proc/20538/stat : 20538 (scip-2.0.1.linu) T 20536 20538 20538 0 -1 4202496 14998 0 0 0 4571 977 0 0 18 0 1 0 869349452 64839680 13517 33554432000 4194304 13684479 140734846966768 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/20538/statm: 15830 13517 804 2317 0 13508 0
[pid=20536/tid=20540] ppid=20503 vsize=293992 CPUtime=0 cores=1,3,5,7
/proc/20536/task/20540/stat : 20540 (python) S 20503 20503 19061 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869355000 301047808 5874 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464924529024 0 0 -1 7 0 0 0
[pid=20541] ppid=20503 vsize=303752 CPUtime=0.48 cores=1,3,5,7
/proc/20541/stat : 20541 (python) S 20503 20503 19061 0 -1 4202560 1131 0 0 0 22 26 0 0 15 0 2 0 869355003 311042048 5751 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20541/statm: 75938 5751 406 364 0 10819 0
[pid=20543] ppid=20541 vsize=139504 CPUtime=95.65 cores=1,3,5,7
/proc/20543/stat : 20543 (wbo1.4a) T 20541 20543 20543 0 -1 4202496 34630 0 0 0 9420 145 0 0 25 0 1 0 869355003 142852096 34369 33554432000 134512640 135751879 4288564736 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/20543/statm: 34876 34369 143 303 0 34571 0
[pid=20541/tid=20604] ppid=20503 vsize=303752 CPUtime=0 cores=1,3,5,7
/proc/20541/task/20604/stat : 20604 (python) S 20503 20503 19061 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869360147 311042048 5751 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604457361913664 0 0 -1 5 0 0 0
[pid=20605] ppid=20503 vsize=314332 CPUtime=0.56 cores=1,3,5,7
/proc/20605/stat : 20605 (python) S 20503 20503 19061 0 -1 4202560 1305 0 0 0 36 20 0 0 16 0 2 0 869360150 321875968 5840 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/20605/statm: 78583 5840 398 364 0 13461 0
[pid=20607] ppid=20605 vsize=63248 CPUtime=55.4 cores=1,3,5,7
/proc/20607/stat : 20607 (scip-2.0.1.linu) T 20605 20607 20607 0 -1 4202496 15070 0 0 0 4779 761 0 0 18 0 1 0 869360150 64765952 12777 33554432000 4194304 15243407 140735323447568 18446744073709551615 7113936 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/20607/statm: 15812 12777 930 2698 0 13107 0
[pid=20605/tid=20691] ppid=20503 vsize=314332 CPUtime=0 cores=1,3,5,7
/proc/20605/task/20691/stat : 20691 (python) S 20503 20503 19061 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 869365691 321875968 5840 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604464951086080 0 0 -1 5 0 0 0
[pid=20692] ppid=20503 vsize=324588 CPUtime=0.23 cores=1,3,5,7
/proc/20692/stat : 20692 (python) S 20503 20503 19061 0 -1 4202560 1127 0 0 0 10 13 0 0 18 0 2 0 869365694 332378112 5850 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/20692/statm: 81147 5850 397 364 0 16022 0
[pid=20695] ppid=20692 vsize=8542776 CPUtime=48.83 cores=1,3,5,7
/proc/20695/stat : 20695 (java) T 20692 20695 20695 0 -1 4202496 102325 0 1 0 4869 14 0 0 18 0 19 0 869365694 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20695/statm: 2135694 74976 2226 9 0 2126435 0
[pid=20695/tid=20696] ppid=20692 vsize=8542776 CPUtime=46.93 cores=1,3,5,7
/proc/20695/task/20696/stat : 20696 (java) T 20692 20695 20695 0 -1 4202560 56638 0 1 0 4688 5 0 0 25 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 46912505548373 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20695/tid=20697] ppid=20692 vsize=8542776 CPUtime=0.08 cores=1,3,5,7
/proc/20695/task/20697/stat : 20697 (java) T 20692 20695 20695 0 -1 4202560 3601 0 0 0 8 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20695/tid=20698] ppid=20692 vsize=8542776 CPUtime=0.08 cores=1,3,5,7
/proc/20695/task/20698/stat : 20698 (java) T 20692 20695 20695 0 -1 4202560 4203 0 0 0 8 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20695/tid=20699] ppid=20692 vsize=8542776 CPUtime=0.09 cores=1,3,5,7
/proc/20695/task/20699/stat : 20699 (java) T 20692 20695 20695 0 -1 4202560 4653 0 0 0 9 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20695/tid=20700] ppid=20692 vsize=8542776 CPUtime=0.1 cores=1,3,5,7
/proc/20695/task/20700/stat : 20700 (java) T 20692 20695 20695 0 -1 4202560 5273 0 0 0 10 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20695/tid=20701] ppid=20692 vsize=8542776 CPUtime=0.07 cores=1,3,5,7
/proc/20695/task/20701/stat : 20701 (java) T 20692 20695 20695 0 -1 4202560 4141 0 0 0 7 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20695/tid=20702] ppid=20692 vsize=8542776 CPUtime=0.09 cores=1,3,5,7
/proc/20695/task/20702/stat : 20702 (java) T 20692 20695 20695 0 -1 4202560 3297 0 0 0 9 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20695/tid=20703] ppid=20692 vsize=8542776 CPUtime=0.07 cores=1,3,5,7
/proc/20695/task/20703/stat : 20703 (java) T 20692 20695 20695 0 -1 4202560 4295 0 0 0 7 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=20695/tid=20704] ppid=20692 vsize=8542776 CPUtime=0.07 cores=1,3,5,7
/proc/20695/task/20704/stat : 20704 (java) T 20692 20695 20695 0 -1 4202560 3459 0 0 0 7 0 0 0 15 0 19 0 869365695 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20695/tid=20706] ppid=20692 vsize=8542776 CPUtime=0.04 cores=1,3,5,7
/proc/20695/task/20706/stat : 20706 (java) T 20692 20695 20695 0 -1 4202560 113 0 0 0 1 3 0 0 15 0 19 0 869365696 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512508416 0 0 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20695/tid=20707] ppid=20692 vsize=8542776 CPUtime=0 cores=1,3,5,7
/proc/20695/task/20707/stat : 20707 (java) T 20692 20695 20695 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 869365697 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20695/tid=20709] ppid=20692 vsize=8542776 CPUtime=0 cores=1,3,5,7
/proc/20695/task/20709/stat : 20709 (java) T 20692 20695 20695 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 869365697 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20695/tid=20710] ppid=20692 vsize=8542776 CPUtime=0 cores=1,3,5,7
/proc/20695/task/20710/stat : 20710 (java) T 20692 20695 20695 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869365699 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512515505 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20695/tid=20711] ppid=20692 vsize=8542776 CPUtime=0.51 cores=1,3,5,7
/proc/20695/task/20711/stat : 20711 (java) T 20692 20695 20695 0 -1 4202560 3543 0 0 0 51 0 0 0 15 0 19 0 869365699 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20695/tid=20712] ppid=20692 vsize=8542776 CPUtime=0.57 cores=1,3,5,7
/proc/20695/task/20712/stat : 20712 (java) T 20692 20695 20695 0 -1 4202560 7717 0 0 0 56 1 0 0 15 0 19 0 869365699 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20695/tid=20713] ppid=20692 vsize=8542776 CPUtime=0 cores=1,3,5,7
/proc/20695/task/20713/stat : 20713 (java) T 20692 20695 20695 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869365699 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512507801 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=20695/tid=20714] ppid=20692 vsize=8542776 CPUtime=0 cores=1,3,5,7
/proc/20695/task/20714/stat : 20714 (java) T 20692 20695 20695 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869365699 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=20695/tid=20715] ppid=20692 vsize=8542776 CPUtime=0 cores=1,3,5,7
/proc/20695/task/20715/stat : 20715 (java) T 20692 20695 20695 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869365707 8747802624 74976 33554432000 1073741824 1073778376 140737163341952 18446744073709551615 254512508416 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=20692/tid=20721] ppid=20503 vsize=324588 CPUtime=0 cores=1,3,5,7
/proc/20692/task/20721/stat : 20721 (python) S 20503 20503 19061 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 869370430 332378112 5850 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604466224678912 0 0 -1 3 0 0 0
[pid=20722] ppid=20503 vsize=335004 CPUtime=0.64 cores=1,3,5,7
/proc/20722/stat : 20722 (python) S 20503 20503 19061 0 -1 4202560 1178 0 0 0 29 35 0 0 19 0 2 0 869370432 343044096 5875 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512518603 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/20722/statm: 83751 5875 397 364 0 18623 0
[pid=20724] ppid=20722 vsize=20912 CPUtime=137.65 cores=1,3,5,7
/proc/20724/stat : 20724 (bsolo_pb10) T 20722 20724 20724 0 -1 4202496 1116 0 0 0 13739 26 0 0 25 0 1 0 869370432 21413888 845 33554432000 134512640 137138936 4287471936 18446744073709551615 134573766 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/20724/statm: 5228 845 192 642 0 4584 0
[pid=20722/tid=20784] ppid=20503 vsize=335004 CPUtime=0 cores=1,3,5,7
/proc/20722/task/20784/stat : 20784 (python) S 20503 20503 19061 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 869384198 343044096 5875 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554946 18446604457116254656 0 0 -1 7 0 0 0
[pid=20847] ppid=20503 vsize=345440 CPUtime=0 cores=1,3,5,7
/proc/20847/stat : 20847 (python) S 20503 20503 19061 0 -1 4202560 833 0 0 0 0 0 0 0 18 0 1 0 869393255 353730560 5875 33554432000 4194304 5683644 140734114446464 18446744073709551615 254500712006 0 0 16781312 33554946 1483296432034152448 0 0 17 3 0 0 0
/proc/20847/statm: 86360 5875 349 364 0 21229 0
[pid=20849] ppid=20847 vsize=8535664 CPUtime=0.41 cores=1,3,5,7
/proc/20849/stat : 20849 (java) S 20847 20849 20849 0 -1 4202496 8908 0 1 0 39 2 0 0 18 0 19 0 869393255 8740519936 7414 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/20849/statm: 2133916 7415 2184 9 0 2124657 0
[pid=20849/tid=20850] ppid=20847 vsize=8535664 CPUtime=0.22 cores=1,3,5,7
/proc/20849/task/20850/stat : 20850 (java) R 20847 20849 20849 0 -1 4202560 4807 0 1 0 21 1 0 0 19 0 19 0 869393256 8740519936 7568 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 46912505509445 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20849/tid=20851] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20851/stat : 20851 (java) S 20847 20849 20849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869393256 8740519936 7568 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20852] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20852/stat : 20852 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869393256 8740519936 7569 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20853] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20853/stat : 20853 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869393256 8740519936 7571 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20854] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20854/stat : 20854 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869393256 8740519936 7572 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20855] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20855/stat : 20855 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869393256 8740519936 7572 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20856] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20856/stat : 20856 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869393256 8740519936 7574 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20857] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20857/stat : 20857 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869393256 8740519936 7575 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20858] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20858/stat : 20858 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869393256 8740519936 7575 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20859] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20859/stat : 20859 (java) S 20847 20849 20849 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869393257 8740519936 7577 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512508416 0 0 0 16800975 18446604464164334400 0 0 -1 5 0 0 0
[pid=20849/tid=20860] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20860/stat : 20860 (java) S 20847 20849 20849 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869393257 8740519936 7578 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 7 0 0 0
[pid=20849/tid=20861] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20861/stat : 20861 (java) S 20847 20849 20849 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869393257 8740519936 7579 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 7 0 0 0
[pid=20849/tid=20862] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20862/stat : 20862 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869393260 8740519936 7579 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512515505 0 4 0 16800975 18446604464164334400 0 0 -1 7 0 0 0
[pid=20849/tid=20863] ppid=20847 vsize=8535664 CPUtime=0.11 cores=1,3,5,7
/proc/20849/task/20863/stat : 20863 (java) R 20847 20849 20849 0 -1 4202560 1480 0 0 0 11 0 0 0 25 0 19 0 869393260 8740519936 7582 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 47572874524000 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20849/tid=20864] ppid=20847 vsize=8535664 CPUtime=0.08 cores=1,3,5,7
/proc/20849/task/20864/stat : 20864 (java) R 20847 20849 20849 0 -1 4202560 1373 0 0 0 8 0 0 0 25 0 19 0 869393260 8740519936 7583 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 47572872877811 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20849/tid=20865] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20865/stat : 20865 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869393260 8740519936 7583 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512507801 0 4 0 16800975 18446604464164334400 0 0 -1 7 0 0 0
[pid=20849/tid=20866] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20866/stat : 20866 (java) S 20847 20849 20849 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869393260 8740519936 7584 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512508416 0 4 0 16800975 18446604464164334400 0 0 -1 1 0 0 0
[pid=20849/tid=20867] ppid=20847 vsize=8535664 CPUtime=0 cores=1,3,5,7
/proc/20849/task/20867/stat : 20867 (java) S 20847 20849 20849 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 869393268 8740519936 7586 33554432000 1073741824 1073778376 140736747075120 18446744073709551615 254512508416 0 4 0 16800975 18446604464164334400 0 0 -1 7 0 0 0
[pid=20503/tid=20510] ppid=20501 vsize=355684 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20510/stat : 20510 (python) S 20501 20503 19061 0 -1 4202560 30 930 0 0 0 0 0 0 15 0 8 0 869344628 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
[pid=20503/tid=20537] ppid=20501 vsize=355684 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20537/stat : 20537 (python) S 20501 20503 19061 0 -1 4202560 29 930 0 0 0 0 0 0 19 0 8 0 869349452 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 5 0 0 0
[pid=20503/tid=20542] ppid=20501 vsize=355684 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20542/stat : 20542 (python) S 20501 20503 19061 0 -1 4202560 32 930 0 0 0 0 0 0 18 0 8 0 869355003 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 5 0 0 0
[pid=20503/tid=20606] ppid=20501 vsize=355684 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20606/stat : 20606 (python) S 20501 20503 19061 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 8 0 869360150 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 5 0 0 0
[pid=20503/tid=20694] ppid=20501 vsize=355684 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20694/stat : 20694 (python) S 20501 20503 19061 0 -1 4202560 29 930 0 0 0 0 0 0 20 0 8 0 869365694 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 7 0 0 0
[pid=20503/tid=20723] ppid=20501 vsize=355684 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20723/stat : 20723 (python) S 20501 20503 19061 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 869370432 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 3 0 0 0
[pid=20503/tid=20848] ppid=20501 vsize=355684 CPUtime=0 cores=1,3,5,7
/proc/20503/task/20848/stat : 20848 (python) S 20501 20503 19061 0 -1 4202560 31 930 0 0 0 0 0 0 20 0 8 0 869393255 364220416 7413 33554432000 4194304 5683644 140734114446464 18446744073709551615 254512515505 0 0 16781312 33554434 18446604471007435712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 491.36
Current children cumulated vsize (KiB) 19933144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20503 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=516921
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=155976
# CPU time returned by wait4() is 0.672897
# while last known CPU time is 491.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 487.299
CPU time (s): 491.36
CPU user time (s): 470.58
CPU system time (s): 20.78
CPU usage (%): 100.833
Max. virtual memory (cumulated for all children) (KiB): 19933144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.516921
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15913
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= 2878
involuntary context switches= 26
runsolver used 3.41748 second user time and 8.23975 second system time
The end