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-3482390-1307576826/watcher-3482390-1307576826 -o /tmp/evaluation-result-3482390-1307576826/solver-3482390-1307576826 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482390-1307576826.opb -seed 1844147195 -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.80 1.94 0.91 2/459 26417
/proc/meminfo: memFree=29042552/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/26417/stat : 26417 (python) R 26415 26417 25621 0 -1 4202496 884 0 0 0 0 0 0 0 17 0 1 0 947913379 16150528 765 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895151301 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26417/statm: 3943 765 343 364 0 430 0
[startup+0.0387289 s]
/proc/loadavg: 2.80 1.94 0.91 2/459 26417
/proc/meminfo: memFree=29042552/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 1250 0 0 0 1 0 0 0 17 0 1 0 947913379 19337216 1104 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/26417/statm: 4721 1104 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.100691 s]
/proc/loadavg: 2.80 1.94 0.91 2/459 26417
/proc/meminfo: memFree=29042552/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=85616 CPUtime=0.05 cores=0,2,4,6
/proc/26417/stat : 26417 (python) R 26415 26417 25621 0 -1 4202496 2648 0 0 0 4 1 0 0 17 0 1 0 947913379 87670784 2367 33554432000 4194304 5683644 140737373314496 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26417/statm: 21404 2371 715 364 0 1621 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85616
[startup+0.300641 s]
/proc/loadavg: 2.80 1.94 0.91 2/459 26417
/proc/meminfo: memFree=29042552/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=123740 CPUtime=0.13 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 5356 931 1 0 10 3 0 0 16 0 1 0 947913379 126709760 3743 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895486469 0 2147483391 16781312 2 18446744071699215550 0 0 17 4 0 0 0
/proc/26417/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 123740
[startup+0.700612 s]
/proc/loadavg: 2.80 1.94 0.91 2/459 26417
/proc/meminfo: memFree=29042552/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=282404 CPUtime=0.36 cores=0,2,4,6
/proc/26417/stat : 26417 (python) R 26415 26417 25621 0 -1 4202496 9073 931 1 0 28 8 0 0 15 0 1 0 947913379 289181696 6936 33554432000 4194304 5683644 140737373314496 18446744073709551615 4540560 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/26417/statm: 70601 6936 1775 364 0 5494 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282404
[startup+1.50044 s]
/proc/loadavg: 2.80 1.94 0.91 3/463 26426
/proc/meminfo: memFree=29015612/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=293744 CPUtime=0.46 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 10794 1330 1 0 36 8 2 0 18 0 2 0 947913379 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26417/statm: 73436 7276 1871 364 0 8323 0
[pid=26424] ppid=26417 vsize=283500 CPUtime=0 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 673 0 0 0 0 0 0 0 18 0 1 0 947913460 290304000 5717 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510543 0 0 16781312 33554946 2921196687542157570 0 0 17 4 0 0 0
/proc/26424/statm: 70875 5717 316 364 0 5762 0
[pid=26426] ppid=26424 vsize=3052 CPUtime=0.68 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) R 26424 26426 26426 0 -1 4202496 767 0 0 0 68 0 0 0 21 0 1 0 947913460 3125248 497 33554432000 134512640 136139019 4291892928 18446744073709551615 134831589 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26426/statm: 763 497 183 398 0 363 0
[pid=26417/tid=26425] ppid=26415 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26425/stat : 26425 (python) S 26415 26417 25621 0 -1 4202560 26 1330 0 0 0 0 2 0 18 0 2 0 947913460 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 580296
[startup+3.10114 s]
/proc/loadavg: 2.80 1.94 0.91 3/463 26426
/proc/meminfo: memFree=29014248/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=293744 CPUtime=0.46 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 10794 1330 1 0 36 8 2 0 18 0 2 0 947913379 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26417/statm: 73436 7276 1871 364 0 8323 0
[pid=26424] ppid=26417 vsize=283500 CPUtime=0 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 696 0 0 0 0 0 0 0 18 0 1 0 947913460 290304000 5720 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510543 0 0 16781312 33554946 2921197443456401666 0 0 17 4 0 0 0
/proc/26424/statm: 70875 5720 319 364 0 5762 0
[pid=26426] ppid=26424 vsize=3316 CPUtime=2.28 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) R 26424 26426 26426 0 -1 4202496 853 0 0 0 228 0 0 0 25 0 1 0 947913460 3395584 583 33554432000 134512640 136139019 4291892928 18446744073709551615 134598545 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26426/statm: 829 583 183 398 0 429 0
[pid=26417/tid=26425] ppid=26415 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26425/stat : 26425 (python) S 26415 26417 25621 0 -1 4202560 26 1330 0 0 0 0 2 0 18 0 2 0 947913460 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 580560
[startup+6.30053 s]
/proc/loadavg: 2.74 1.94 0.91 3/463 26426
/proc/meminfo: memFree=29013880/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=293744 CPUtime=0.46 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 10794 1330 1 0 36 8 2 0 18 0 2 0 947913379 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26417/statm: 73436 7276 1871 364 0 8323 0
[pid=26424] ppid=26417 vsize=283500 CPUtime=0 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 855 0 0 0 0 0 0 0 18 0 1 0 947913460 290304000 5743 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510543 0 0 16781312 33554946 2921191396142448898 0 0 17 4 0 0 0
/proc/26424/statm: 70875 5743 342 364 0 5762 0
[pid=26426] ppid=26424 vsize=3708 CPUtime=5.47 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) R 26424 26426 26426 0 -1 4202496 940 0 0 0 547 0 0 0 25 0 1 0 947913460 3796992 670 33554432000 134512640 136139019 4291892928 18446744073709551615 134876493 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26426/statm: 927 670 183 398 0 527 0
[pid=26417/tid=26425] ppid=26415 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26425/stat : 26425 (python) S 26415 26417 25621 0 -1 4202560 26 1330 0 0 0 0 2 0 18 0 2 0 947913460 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 580952
[startup+12.7003 s]
/proc/loadavg: 2.68 1.94 0.92 3/463 26427
/proc/meminfo: memFree=29012928/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=293744 CPUtime=0.46 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 10794 1330 1 0 36 8 2 0 18 0 2 0 947913379 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26417/statm: 73436 7276 1871 364 0 8323 0
[pid=26424] ppid=26417 vsize=283500 CPUtime=0.02 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 861 0 0 0 1 1 0 0 18 0 1 0 947913460 290304000 5744 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510543 0 0 16781312 33554946 72409437758827297 0 0 17 4 0 0 0
/proc/26424/statm: 70875 5744 343 364 0 5762 0
[pid=26426] ppid=26424 vsize=4168 CPUtime=11.87 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) R 26424 26426 26426 0 -1 4202496 1042 0 0 0 1187 0 0 0 25 0 1 0 947913460 4268032 772 33554432000 134512640 136139019 4291892928 18446744073709551615 134832397 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26426/statm: 1042 772 183 398 0 642 0
[pid=26417/tid=26425] ppid=26415 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26425/stat : 26425 (python) S 26415 26417 25621 0 -1 4202560 26 1330 0 0 0 0 2 0 18 0 2 0 947913460 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 581412
[startup+25.5009 s]
/proc/loadavg: 2.53 1.94 0.93 3/463 26427
/proc/meminfo: memFree=29010560/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=293744 CPUtime=0.46 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 10794 1330 1 0 36 8 2 0 18 0 2 0 947913379 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26417/statm: 73436 7276 1871 364 0 8323 0
[pid=26424] ppid=26417 vsize=283500 CPUtime=0.08 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 867 0 0 0 4 4 0 0 18 0 1 0 947913460 290304000 5744 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510543 0 0 16781312 33554946 72409437758827297 0 0 17 4 0 0 0
/proc/26424/statm: 70875 5744 343 364 0 5762 0
[pid=26426] ppid=26424 vsize=4668 CPUtime=24.65 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) R 26424 26426 26426 0 -1 4202496 1190 0 0 0 2465 0 0 0 25 0 1 0 947913460 4780032 920 33554432000 134512640 136139019 4291892928 18446744073709551615 134634856 0 0 16781312 16386 0 0 0 17 4 0 0 0
/proc/26426/statm: 1167 920 183 398 0 767 0
[pid=26417/tid=26425] ppid=26415 vsize=293744 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26425/stat : 26425 (python) S 26415 26417 25621 0 -1 4202560 26 1330 0 0 0 0 2 0 18 0 2 0 947913460 300793856 7276 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 581912
[startup+51.101 s]
/proc/loadavg: 2.35 1.94 0.96 3/467 26432
/proc/meminfo: memFree=28976632/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=304504 CPUtime=0.48 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 11688 1330 1 0 38 8 2 0 20 0 3 0 947913379 311812096 7409 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26417/statm: 76126 7409 1874 364 0 11010 0
[pid=26424] ppid=26417 vsize=293744 CPUtime=0.17 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 1142 0 0 0 8 9 0 0 19 0 2 0 947913460 300793856 5817 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26424/statm: 73436 5817 411 364 0 8323 0
[pid=26426] ppid=26424 vsize=5068 CPUtime=48.11 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) T 26424 26426 26426 0 -1 4202496 1284 0 0 0 4811 0 0 0 25 0 1 0 947913460 5189632 1014 33554432000 134512640 136139019 4291892928 18446744073709551615 134875763 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/26426/statm: 1267 1014 183 398 0 867 0
[pid=26424/tid=26429] ppid=26417 vsize=293744 CPUtime=0 cores=0,2,4,6
/proc/26424/task/26429/stat : 26429 (python) S 26417 26417 25621 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 947918277 300793856 5817 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604447607765696 0 0 -1 6 0 0 0
[pid=26430] ppid=26417 vsize=294260 CPUtime=0 cores=0,2,4,6
/proc/26430/stat : 26430 (python) S 26417 26417 25621 0 -1 4202560 746 0 0 0 0 0 0 0 15 0 1 0 947918279 301322240 5851 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510598 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/26430/statm: 73565 5851 320 364 0 8449 0
[pid=26432] ppid=26430 vsize=34040 CPUtime=2.08 cores=0,2,4,6
/proc/26432/stat : 26432 (scip-2.0.1.linu) R 26430 26432 26432 0 -1 4202496 7002 0 0 0 198 10 0 0 20 0 1 0 947918280 34856960 6290 33554432000 4194304 13684479 140735597067648 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26432/statm: 8510 6290 763 2317 0 6188 0
[pid=26417/tid=26425] ppid=26415 vsize=304504 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26425/stat : 26425 (python) S 26415 26417 25621 0 -1 4202560 26 1330 0 0 0 0 2 0 18 0 3 0 947913460 311812096 7409 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
[pid=26417/tid=26431] ppid=26415 vsize=304504 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26431/stat : 26431 (python) S 26415 26417 25621 0 -1 4202560 28 1330 0 0 0 0 2 0 20 0 3 0 947918279 311812096 7409 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 931616
[startup+102.317 s]
/proc/loadavg: 2.35 2.00 1.03 3/458 26508
/proc/meminfo: memFree=29775536/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=314760 CPUtime=0.51 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 12535 1330 1 0 40 9 2 0 20 0 4 0 947913379 322314240 7415 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/26417/statm: 78690 7415 1876 364 0 13571 0
[pid=26424] ppid=26417 vsize=293744 CPUtime=0.17 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 1142 0 0 0 8 9 0 0 19 0 2 0 947913460 300793856 5817 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26424/statm: 73436 5817 411 364 0 8323 0
[pid=26426] ppid=26424 vsize=5068 CPUtime=48.11 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) T 26424 26426 26426 0 -1 4202496 1284 0 0 0 4811 0 0 0 25 0 1 0 947913460 5189632 1014 33554432000 134512640 136139019 4291892928 18446744073709551615 134875763 0 0 16781312 16386 18446744071562691360 0 0 17 6 0 0 0
/proc/26426/statm: 1267 1014 183 398 0 867 0
[pid=26424/tid=26429] ppid=26417 vsize=293744 CPUtime=0 cores=0,2,4,6
/proc/26424/task/26429/stat : 26429 (python) S 26417 26417 25621 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 947918277 300793856 5817 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604447607765696 0 0 -1 6 0 0 0
[pid=26430] ppid=26417 vsize=294260 CPUtime=0.2 cores=0,2,4,6
/proc/26430/stat : 26430 (python) S 26417 26417 25621 0 -1 4202560 1108 0 0 0 10 10 0 0 16 0 2 0 947918279 301322240 5923 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26430/statm: 73565 5923 391 364 0 8449 0
[pid=26432] ppid=26430 vsize=81488 CPUtime=50.85 cores=0,2,4,6
/proc/26432/stat : 26432 (scip-2.0.1.linu) T 26430 26432 26432 0 -1 4202496 22051 0 0 0 5045 40 0 0 25 0 1 0 947918280 83443712 17900 33554432000 4194304 13684479 140735597067648 18446744073709551615 7355878 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/26432/statm: 20372 17900 843 2317 0 18050 0
[pid=26430/tid=26505] ppid=26417 vsize=294260 CPUtime=0 cores=0,2,4,6
/proc/26430/task/26505/stat : 26505 (python) S 26417 26417 25621 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 2 0 947923366 301322240 5923 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604448310063488 0 0 -1 6 0 0 0
[pid=26506] ppid=26417 vsize=304516 CPUtime=0 cores=0,2,4,6
/proc/26506/stat : 26506 (python) S 26417 26417 25621 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 947923368 311824384 5855 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510598 0 0 16781312 33554946 3557875088948723712 0 0 17 0 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1790.21
Current children cumulated vsize (KiB) 13337012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.1 s]
/proc/loadavg: 2.03 2.04 1.85 3/544 26866
/proc/meminfo: memFree=26732320/32950928 swapFree=52246700/67111528
[pid=26417] ppid=26415 vsize=452320 CPUtime=0.98 cores=0,2,4,6
/proc/26417/stat : 26417 (python) S 26415 26417 25621 0 -1 4202496 19694 1330 1 0 86 10 2 0 18 0 11 0 947913379 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/26417/statm: 113080 7694 1890 364 0 47940 0
[pid=26424] ppid=26417 vsize=293744 CPUtime=0.84 cores=0,2,4,6
/proc/26424/stat : 26424 (python) S 26417 26417 25621 0 -1 4202560 1214 0 0 0 42 42 0 0 18 0 2 0 947913460 300793856 5818 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26424/statm: 73436 5818 412 364 0 8323 0
[pid=26426] ppid=26424 vsize=6600 CPUtime=228.79 cores=0,2,4,6
/proc/26426/stat : 26426 (clasp-1.3.7-x86) T 26424 26426 26426 0 -1 4202496 1675 0 0 0 22879 0 0 0 25 0 1 0 947913460 6758400 1405 33554432000 134512640 136139019 4291892928 18446744073709551615 134599059 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/26426/statm: 1650 1405 183 398 0 1250 0
[pid=26424/tid=26429] ppid=26417 vsize=293744 CPUtime=0 cores=0,2,4,6
/proc/26424/task/26429/stat : 26429 (python) S 26417 26417 25621 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 947918277 300793856 5818 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604447607765696 0 0 -1 6 0 0 0
[pid=26430] ppid=26417 vsize=294260 CPUtime=4.19 cores=0,2,4,6
/proc/26430/stat : 26430 (python) S 26417 26417 25621 0 -1 4202560 1204 0 0 0 212 207 0 0 16 0 2 0 947918279 301322240 5923 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26430/statm: 73565 5923 391 364 0 8449 0
[pid=26432] ppid=26430 vsize=81488 CPUtime=1058.5 cores=0,2,4,6
/proc/26432/stat : 26432 (scip-2.0.1.linu) T 26430 26432 26432 0 -1 4202496 22087 0 0 0 105194 656 0 0 25 0 1 0 947918280 83443712 17935 33554432000 4194304 13684479 140735597067648 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/26432/statm: 20372 17935 842 2317 0 18050 0
[pid=26430/tid=26505] ppid=26417 vsize=294260 CPUtime=0 cores=0,2,4,6
/proc/26430/task/26505/stat : 26505 (python) S 26417 26417 25621 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 947923366 301322240 5923 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604448310063488 0 0 -1 6 0 0 0
[pid=26506] ppid=26417 vsize=304516 CPUtime=0.5 cores=0,2,4,6
/proc/26506/stat : 26506 (python) S 26417 26417 25621 0 -1 4202560 1157 0 0 0 26 24 0 0 15 0 2 0 947923368 311824384 5927 33554432000 4194304 5683644 140737373314496 18446744073709551615 231895510598 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26506/statm: 76129 5927 391 364 0 11010 0
[pid=26508] ppid=26506 vsize=63292 CPUtime=121.93 cores=0,2,4,6
/proc/26508/stat : 26508 (scip-2.0.1.linu) R 26506 26508 26508 0 -1 4202496 30611 0 0 0 12152 41 0 0 25 0 1 0 947923368 64811008 12621 33554432000 4194304 15243407 140733215956256 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/26508/statm: 15823 12621 967 2698 0 13118 0
[pid=26506/tid=26514] ppid=26417 vsize=304516 CPUtime=0 cores=0,2,4,6
/proc/26506/task/26514/stat : 26514 (python) S 26417 26417 25621 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 947927970 311824384 5927 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604443532138560 0 0 -1 0 0 0 0
[pid=26520] ppid=26417 vsize=315004 CPUtime=0.19 cores=0,2,4,6
/proc/26520/stat : 26520 (python) S 26417 26417 25621 0 -1 4202560 1118 0 0 0 10 9 0 0 19 0 2 0 947932593 322564096 5989 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/26520/statm: 78751 5989 391 364 0 13629 0
[pid=26522] ppid=26520 vsize=51900 CPUtime=48.16 cores=0,2,4,6
/proc/26522/stat : 26522 (pbct-0.1.2-linu) T 26520 26522 26522 0 -1 4202496 13028 0 0 0 4666 150 0 0 25 0 1 0 947932593 53145600 12254 33554432000 134512640 136422188 4289037616 18446744073709551615 135022105 0 0 16781312 16387 18446744071562691360 0 0 17 6 0 0 0
/proc/26522/statm: 12975 12254 213 467 0 12506 0
[pid=26520/tid=26526] ppid=26417 vsize=315004 CPUtime=0 cores=0,2,4,6
/proc/26520/task/26526/stat : 26526 (python) S 26417 26417 25621 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 947937415 322564096 5989 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604452007298304 0 0 -1 6 0 0 0
[pid=26531] ppid=26417 vsize=325260 CPUtime=0.19 cores=0,2,4,6
/proc/26531/stat : 26531 (python) S 26417 26417 25621 0 -1 4202560 1163 0 0 0 10 9 0 0 16 0 2 0 947942017 333066240 5993 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26531/statm: 81315 5993 391 364 0 16190 0
[pid=26533] ppid=26531 vsize=8543416 CPUtime=50.26 cores=0,2,4,6
/proc/26533/stat : 26533 (java) T 26531 26533 26533 0 -1 4202496 292038 0 115 0 4990 36 0 0 18 0 19 0 947942017 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8
/proc/26533/statm: 2135854 260207 2247 9 0 2126595 0
[pid=26533/tid=26534] ppid=26531 vsize=8543416 CPUtime=48.25 cores=0,2,4,6
/proc/26533/task/26534/stat : 26534 (java) T 26531 26533 26533 0 -1 4202560 247289 0 55 0 4798 27 0 0 25 0 19 0 947942027 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 46912505671252 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 11
[pid=26533/tid=26535] ppid=26531 vsize=8543416 CPUtime=0.04 cores=0,2,4,6
/proc/26533/task/26535/stat : 26535 (java) T 26531 26533 26533 0 -1 4202560 2178 0 0 0 4 0 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26533/tid=26536] ppid=26531 vsize=8543416 CPUtime=0.06 cores=0,2,4,6
/proc/26533/task/26536/stat : 26536 (java) T 26531 26533 26533 0 -1 4202560 5012 0 0 0 6 0 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26533/tid=26537] ppid=26531 vsize=8543416 CPUtime=0.05 cores=0,2,4,6
/proc/26533/task/26537/stat : 26537 (java) T 26531 26533 26533 0 -1 4202560 4362 0 0 0 5 0 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=26533/tid=26538] ppid=26531 vsize=8543416 CPUtime=0.07 cores=0,2,4,6
/proc/26533/task/26538/stat : 26538 (java) T 26531 26533 26533 0 -1 4202560 4578 0 0 0 6 1 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26533/tid=26539] ppid=26531 vsize=8543416 CPUtime=0.04 cores=0,2,4,6
/proc/26533/task/26539/stat : 26539 (java) T 26531 26533 26533 0 -1 4202560 4299 0 0 0 4 0 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26533/tid=26540] ppid=26531 vsize=8543416 CPUtime=0.06 cores=0,2,4,6
/proc/26533/task/26540/stat : 26540 (java) T 26531 26533 26533 0 -1 4202560 4949 0 0 0 6 0 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26533/tid=26541] ppid=26531 vsize=8543416 CPUtime=0.06 cores=0,2,4,6
/proc/26533/task/26541/stat : 26541 (java) T 26531 26533 26533 0 -1 4202560 4689 0 0 0 6 0 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26533/tid=26542] ppid=26531 vsize=8543416 CPUtime=0.03 cores=0,2,4,6
/proc/26533/task/26542/stat : 26542 (java) T 26531 26533 26533 0 -1 4202560 2758 0 0 0 3 0 0 0 15 0 19 0 947942030 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26533/tid=26543] ppid=26531 vsize=8543416 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26543/stat : 26543 (java) T 26531 26533 26533 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 947942033 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907307008 0 0 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=26533/tid=26544] ppid=26531 vsize=8543416 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26544/stat : 26544 (java) T 26531 26533 26533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 947942034 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26533/tid=26545] ppid=26531 vsize=8543416 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26545/stat : 26545 (java) T 26531 26533 26533 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 947942034 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26533/tid=26546] ppid=26531 vsize=8543416 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26546/stat : 26546 (java) T 26531 26533 26533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947942040 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907314097 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=26533/tid=26547] ppid=26531 vsize=8543416 CPUtime=0.63 cores=0,2,4,6
/proc/26533/task/26547/stat : 26547 (java) T 26531 26533 26533 0 -1 4202560 5474 0 2 0 62 1 0 0 15 0 19 0 947942040 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=26533/tid=26548] ppid=26531 vsize=8543416 CPUtime=0.83 cores=0,2,4,6
/proc/26533/task/26548/stat : 26548 (java) T 26531 26533 26533 0 -1 4202560 4667 0 2 0 83 0 0 0 15 0 19 0 947942040 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=26533/tid=26549] ppid=26531 vsize=8543416 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26549/stat : 26549 (java) T 26531 26533 26533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947942040 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907306393 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=26533/tid=26550] ppid=26531 vsize=8543416 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26550/stat : 26550 (java) T 26531 26533 26533 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947942040 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 2 0 0 0
[pid=26533/tid=26551] ppid=26531 vsize=8543416 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26551/stat : 26551 (java) T 26531 26533 26533 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947942066 8748457984 260207 33554432000 1073741824 1073778376 140737278681632 18446744073709551615 231907307008 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=26531/tid=26554] ppid=26417 vsize=325260 CPUtime=0 cores=0,2,4,6
/proc/26531/task/26554/stat : 26554 (python) S 26417 26417 25621 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 947946885 333066240 5993 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604449069672256 0 0 -1 6 0 0 0
[pid=26564] ppid=26417 vsize=335516 CPUtime=0.19 cores=0,2,4,6
/proc/26564/stat : 26564 (python) S 26417 26417 25621 0 -1 4202560 1154 0 0 0 10 9 0 0 19 0 2 0 947964772 343568384 6005 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26564/statm: 83879 6005 391 364 0 18751 0
[pid=26566] ppid=26564 vsize=61168 CPUtime=48.27 cores=0,2,4,6
/proc/26566/stat : 26566 (bsolo_pb10) T 26564 26566 26566 0 -1 4202496 13146 0 0 0 4823 4 0 0 25 0 1 0 947964773 62636032 12848 33554432000 134512640 137138936 4288816592 18446744073709551615 134542233 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/26566/statm: 15292 12848 192 642 0 14648 0
[pid=26564/tid=26568] ppid=26417 vsize=335516 CPUtime=0 cores=0,2,4,6
/proc/26564/task/26568/stat : 26568 (python) S 26417 26417 25621 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 947969606 343568384 6005 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604446457836672 0 0 -1 6 0 0 0
[pid=26611] ppid=26417 vsize=411308 CPUtime=0.35 cores=0,2,4,6
/proc/26611/stat : 26611 (python) S 26417 26417 25621 0 -1 4202560 1088 0 0 0 19 16 0 0 19 0 2 0 948010754 421179392 6144 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26611/statm: 102827 6144 391 364 0 37696 0
[pid=26613] ppid=26611 vsize=177868 CPUtime=91.53 cores=0,2,4,6
/proc/26613/stat : 26613 (bsolo_pb10) T 26611 26613 26613 0 -1 4202496 42400 0 0 0 9137 16 0 0 25 0 1 0 948010754 182136832 42031 33554432000 134512640 137138936 4294745568 18446744073709551615 134540747 0 0 16781312 16384 18446744071562691360 0 0 17 0 0 0 0
/proc/26613/statm: 44467 42031 190 642 0 43823 0
[pid=26611/tid=26796] ppid=26417 vsize=411308 CPUtime=0 cores=0,2,4,6
/proc/26611/task/26796/stat : 26796 (python) S 26417 26417 25621 0 -1 4202560 110 0 0 0 0 0 0 0 19 0 2 0 948019908 421179392 6144 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604453906826240 0 0 -1 6 0 0 0
[pid=26797] ppid=26417 vsize=421564 CPUtime=0.17 cores=0,2,4,6
/proc/26797/stat : 26797 (python) S 26417 26417 25621 0 -1 4202560 1240 0 0 0 8 9 0 0 19 0 2 0 948019929 431681536 6176 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26797/statm: 105391 6176 397 364 0 40257 0
[pid=26799] ppid=26797 vsize=66664 CPUtime=47.18 cores=0,2,4,6
/proc/26799/stat : 26799 (minion) T 26797 26799 26799 0 -1 4202496 9792 0 0 0 4717 1 0 0 25 0 1 0 948019929 68263936 9403 33554432000 134512640 165565024 4294827328 18446744073709551615 142424472 0 0 16781312 8396802 18446744071562691360 0 0 17 6 0 0 0
/proc/26799/statm: 16666 9403 359 7582 0 9081 0
[pid=26797/tid=26805] ppid=26417 vsize=421564 CPUtime=0 cores=0,2,4,6
/proc/26797/task/26805/stat : 26805 (python) S 26417 26417 25621 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 948024654 431681536 6176 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604445645886464 0 0 -1 4 0 0 0
[pid=26856] ppid=26417 vsize=431820 CPUtime=0.2 cores=0,2,4,6
/proc/26856/stat : 26856 (python) S 26417 26417 25621 0 -1 4202560 1178 0 0 0 10 10 0 0 19 0 2 0 948079845 442183680 6156 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/26856/statm: 107955 6156 397 364 0 42818 0
[pid=26858] ppid=26856 vsize=104636 CPUtime=48.33 cores=0,2,4,6
/proc/26858/stat : 26858 (bsolo_pb10) T 26856 26858 26858 0 -1 4202496 24021 0 0 0 4810 23 0 0 25 0 1 0 948079845 107147264 23722 33554432000 134512640 137138936 4294375760 18446744073709551615 134542307 0 0 16781312 16384 18446744071562691360 0 0 17 4 0 0 0
/proc/26858/statm: 26159 23722 192 642 0 25515 0
[pid=26856/tid=26860] ppid=26417 vsize=431820 CPUtime=0 cores=0,2,4,6
/proc/26856/task/26860/stat : 26860 (python) S 26417 26417 25621 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 948084681 442183680 6156 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604442906652800 0 0 -1 6 0 0 0
[pid=26861] ppid=26417 vsize=442076 CPUtime=0.2 cores=0,2,4,6
/proc/26861/stat : 26861 (python) S 26417 26417 25621 0 -1 4202560 1053 0 0 0 10 10 0 0 17 0 2 0 948084682 452685824 6167 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/26861/statm: 110519 6167 391 364 0 45379 0
[pid=26863] ppid=26861 vsize=154356 CPUtime=49.1 cores=0,2,4,6
/proc/26863/stat : 26863 (wbo1.4a) T 26861 26863 26863 0 -1 4202496 38354 0 0 0 4883 27 0 0 25 0 1 0 948084682 158060544 38068 33554432000 134512640 135751879 4287627312 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 2 0 0 0
/proc/26863/statm: 38589 38068 143 303 0 38284 0
[pid=26861/tid=26865] ppid=26417 vsize=442076 CPUtime=0 cores=0,2,4,6
/proc/26861/task/26865/stat : 26865 (python) S 26417 26417 25621 0 -1 4202560 66 0 0 0 0 0 0 0 17 0 2 0 948089593 452685824 6167 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554946 18446604440957051328 0 0 -1 4 0 0 0
[pid=26417/tid=26425] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26425/stat : 26425 (python) S 26415 26417 25621 0 -1 4202560 36 1330 0 0 0 0 2 0 18 0 11 0 947913460 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
[pid=26417/tid=26431] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26431/stat : 26431 (python) S 26415 26417 25621 0 -1 4202560 46 1330 0 0 0 0 2 0 18 0 11 0 947918279 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
[pid=26417/tid=26507] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26507/stat : 26507 (python) S 26415 26417 25621 0 -1 4202560 39 1330 0 0 0 0 2 0 18 0 11 0 947923368 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 0 0 0 0
[pid=26417/tid=26521] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26521/stat : 26521 (python) S 26415 26417 25621 0 -1 4202560 31 1330 0 0 0 0 2 0 20 0 11 0 947932593 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 0 0 0 0
[pid=26417/tid=26532] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26532/stat : 26532 (python) S 26415 26417 25621 0 -1 4202560 30 1330 0 0 0 0 2 0 20 0 11 0 947942017 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 0 0 0 0
[pid=26417/tid=26565] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26565/stat : 26565 (python) S 26415 26417 25621 0 -1 4202560 30 1330 0 0 0 0 2 0 20 0 11 0 947964772 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
[pid=26417/tid=26612] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26612/stat : 26612 (python) S 26415 26417 25621 0 -1 4202560 80 1330 0 0 0 0 2 0 20 0 11 0 948010754 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 0 0 0 0
[pid=26417/tid=26798] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26798/stat : 26798 (python) S 26415 26417 25621 0 -1 4202560 31 1330 0 0 0 0 2 0 20 0 11 0 948019929 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
[pid=26417/tid=26857] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26857/stat : 26857 (python) S 26415 26417 25621 0 -1 4202560 31 1330 0 0 0 0 2 0 20 0 11 0 948079845 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 0 0 0 0
[pid=26417/tid=26862] ppid=26415 vsize=452320 CPUtime=0.02 cores=0,2,4,6
/proc/26417/task/26862/stat : 26862 (python) S 26415 26417 25621 0 -1 4202560 29 1330 0 0 0 0 2 0 20 0 11 0 948084682 463175680 7694 33554432000 4194304 5683644 140737373314496 18446744073709551615 231907314097 0 0 16781312 33554434 18446604443302235200 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13338776
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 26417 and gives
# childrusage.ru_utime.tv_sec=174
# childrusage.ru_utime.tv_usec=301502
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=109375
# CPU time returned by wait4() is 178.411
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1792.18
CPU time (s): 1800.05
CPU user time (s): 1786.96
CPU system time (s): 13.09
CPU usage (%): 100.439
Max. virtual memory (cumulated for all children) (KiB): 13339900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 174.302
system time used= 4.10938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78585
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= 6572
involuntary context switches= 1343
runsolver used 14.0279 second user time and 27.4768 second system time
The end