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-3481569-1307578232/watcher-3481569-1307578232 -o /tmp/evaluation-result-3481569-1307578232/solver-3481569-1307578232 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481569-1307578232.opb -seed 588066548 -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.11 2.08 1.77 2/814 23370
/proc/meminfo: memFree=17980040/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/23370/stat : 23370 (python) R 23368 23370 21667 0 -1 4202496 1037 0 0 0 0 0 0 0 20 0 1 0 948053928 16625664 909 33554432000 4194304 5683644 140734522872096 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23370/statm: 4059 909 380 364 0 546 0
[startup+0.0365319 s]
/proc/loadavg: 2.11 2.08 1.77 2/814 23370
/proc/meminfo: memFree=17980040/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=16812 CPUtime=0.01 cores=1,3,5,7
/proc/23370/stat : 23370 (python) R 23368 23370 21667 0 -1 4202496 1225 0 0 0 1 0 0 0 17 0 1 0 948053928 17215488 1083 33554432000 4194304 5683644 140734522872096 18446744073709551615 5291638 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23370/statm: 4203 1083 417 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16812
[startup+0.100515 s]
/proc/loadavg: 2.11 2.08 1.77 2/814 23370
/proc/meminfo: memFree=17980040/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=85352 CPUtime=0.05 cores=1,3,5,7
/proc/23370/stat : 23370 (python) R 23368 23370 21667 0 -1 4202496 2580 0 0 0 4 1 0 0 17 0 1 0 948053928 87400448 2306 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415389696 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/23370/statm: 21338 2306 707 364 0 1555 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85352
[startup+0.30051 s]
/proc/loadavg: 2.11 2.08 1.77 2/814 23370
/proc/meminfo: memFree=17980040/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=123736 CPUtime=0.15 cores=1,3,5,7
/proc/23370/stat : 23370 (python) R 23368 23370 21667 0 -1 4202496 5356 932 1 0 11 4 0 0 16 0 1 0 948053928 126705664 3743 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415387653 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/23370/statm: 30934 3743 987 364 0 2766 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123736
[startup+0.700407 s]
/proc/loadavg: 2.11 2.08 1.77 2/814 23370
/proc/meminfo: memFree=17980040/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=273716 CPUtime=0.4 cores=1,3,5,7
/proc/23370/stat : 23370 (python) R 23368 23370 21667 0 -1 4202496 8809 932 1 0 29 11 0 0 15 0 1 0 948053928 280285184 6759 33554432000 4194304 5683644 140734522872096 18446744073709551615 4439516 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23370/statm: 68429 6759 1720 364 0 5462 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 273716
[startup+1.50024 s]
/proc/loadavg: 2.11 2.08 1.77 3/816 23376
/proc/meminfo: memFree=17955332/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=290108 CPUtime=0.69 cores=1,3,5,7
/proc/23370/stat : 23370 (python) R 23368 23370 21667 0 -1 4202496 11123 932 1 0 44 25 0 0 15 0 1 0 948053928 297070592 8854 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415411727 0 0 16781312 2 2643228448549502976 0 0 17 1 0 0 0
/proc/23370/statm: 72527 8854 1777 364 0 7420 0
[pid=23376] ppid=23370 vsize=3740 CPUtime=0.76 cores=1,3,5,7
/proc/23376/stat : 23376 (PBlinearize) R 23370 23370 21667 0 -1 4202496 943 0 0 0 67 9 0 0 17 0 1 0 948054000 3829760 701 33554432000 4194304 5518411 140734692651152 18446744073709551615 4926752 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/23376/statm: 935 701 126 324 0 607 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 293848
[startup+3.10094 s]
/proc/loadavg: 2.11 2.08 1.77 3/815 23376
/proc/meminfo: memFree=17900780/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=325516 CPUtime=3.26 cores=1,3,5,7
/proc/23370/stat : 23370 (python) R 23368 23370 21667 0 -1 4202496 32888 1876 1 0 183 37 88 18 17 0 1 0 948053928 333328384 17727 33554432000 4194304 5683644 140734522872096 18446744073709551615 4532166 0 0 16781312 33554434 0 0 0 17 1 0 0 0
/proc/23370/statm: 81379 17727 1816 364 0 16272 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 325516
[startup+6.32132 s]
/proc/loadavg: 2.10 2.08 1.77 3/818 23379
/proc/meminfo: memFree=17856388/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=338788 CPUtime=5.42 cores=1,3,5,7
/proc/23370/stat : 23370 (python) S 23368 23370 21667 0 -1 4202496 34299 1876 1 0 399 37 88 18 20 0 2 0 948053928 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23370/statm: 84697 18537 1871 364 0 19584 0
[pid=23377] ppid=23370 vsize=328544 CPUtime=0 cores=1,3,5,7
/proc/23377/stat : 23377 (python) S 23370 23370 21667 0 -1 4202560 710 0 0 0 0 0 0 0 15 0 1 0 948054455 336429056 16980 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415411727 0 0 16781312 33554946 4535796183984996613 0 0 17 1 0 0 0
/proc/23377/statm: 82136 16980 318 364 0 17023 0
[pid=23379] ppid=23377 vsize=50572 CPUtime=1.03 cores=1,3,5,7
/proc/23379/stat : 23379 (wbo1.4a) R 23377 23379 23379 0 -1 4202496 15646 0 0 0 102 1 0 0 25 0 1 0 948054456 51785728 11638 33554432000 134512640 135751879 4287308608 18446744073709551615 134606387 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/23379/statm: 12643 11638 145 303 0 12338 0
[pid=23370/tid=23378] ppid=23368 vsize=338788 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23378/stat : 23378 (python) S 23368 23370 21667 0 -1 4202560 27 1876 0 0 0 0 88 18 20 0 2 0 948054456 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 717904
[startup+12.7011 s]
/proc/loadavg: 2.09 2.08 1.77 3/818 23379
/proc/meminfo: memFree=17841356/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=338788 CPUtime=5.42 cores=1,3,5,7
/proc/23370/stat : 23370 (python) S 23368 23370 21667 0 -1 4202496 34299 1876 1 0 399 37 88 18 20 0 2 0 948053928 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23370/statm: 84697 18537 1871 364 0 19584 0
[pid=23377] ppid=23370 vsize=328544 CPUtime=0.02 cores=1,3,5,7
/proc/23377/stat : 23377 (python) S 23370 23370 21667 0 -1 4202560 866 0 0 0 1 1 0 0 15 0 1 0 948054455 336429056 17004 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415411727 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/23377/statm: 82136 17004 342 364 0 17023 0
[pid=23379] ppid=23377 vsize=64040 CPUtime=7.42 cores=1,3,5,7
/proc/23379/stat : 23379 (wbo1.4a) R 23377 23379 23379 0 -1 4202496 20520 0 0 0 739 3 0 0 25 0 1 0 948054456 65576960 14995 33554432000 134512640 135751879 4287308608 18446744073709551615 134606320 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/23379/statm: 16010 14995 146 303 0 15705 0
[pid=23370/tid=23378] ppid=23368 vsize=338788 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23378/stat : 23378 (python) S 23368 23370 21667 0 -1 4202560 27 1876 0 0 0 0 88 18 20 0 2 0 948054456 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.86
Current children cumulated vsize (KiB) 731372
[startup+25.5007 s]
/proc/loadavg: 2.14 2.09 1.78 3/818 23379
/proc/meminfo: memFree=17830040/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=338788 CPUtime=5.42 cores=1,3,5,7
/proc/23370/stat : 23370 (python) S 23368 23370 21667 0 -1 4202496 34299 1876 1 0 399 37 88 18 20 0 2 0 948053928 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23370/statm: 84697 18537 1871 364 0 19584 0
[pid=23377] ppid=23370 vsize=328544 CPUtime=0.09 cores=1,3,5,7
/proc/23377/stat : 23377 (python) S 23370 23370 21667 0 -1 4202560 872 0 0 0 4 5 0 0 15 0 1 0 948054455 336429056 17004 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415411727 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/23377/statm: 82136 17004 342 364 0 17023 0
[pid=23379] ppid=23377 vsize=73212 CPUtime=20.22 cores=1,3,5,7
/proc/23379/stat : 23379 (wbo1.4a) R 23377 23379 23379 0 -1 4202496 22828 0 0 0 2016 6 0 0 25 0 1 0 948054456 74969088 17303 33554432000 134512640 135751879 4287308608 18446744073709551615 134606372 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/23379/statm: 18303 17303 146 303 0 17998 0
[pid=23370/tid=23378] ppid=23368 vsize=338788 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23378/stat : 23378 (python) S 23368 23370 21667 0 -1 4202560 27 1876 0 0 0 0 88 18 20 0 2 0 948054456 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.73
Current children cumulated vsize (KiB) 740544
[startup+51.1008 s]
/proc/loadavg: 2.17 2.10 1.79 3/818 23380
/proc/meminfo: memFree=17798760/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=338788 CPUtime=5.42 cores=1,3,5,7
/proc/23370/stat : 23370 (python) S 23368 23370 21667 0 -1 4202496 34299 1876 1 0 399 37 88 18 20 0 2 0 948053928 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23370/statm: 84697 18537 1871 364 0 19584 0
[pid=23377] ppid=23370 vsize=328544 CPUtime=0.2 cores=1,3,5,7
/proc/23377/stat : 23377 (python) S 23370 23370 21667 0 -1 4202560 882 0 0 0 9 11 0 0 15 0 1 0 948054455 336429056 17004 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415411727 0 0 16781312 33554946 5623753486446373795 0 0 17 7 0 0 0
/proc/23377/statm: 82136 17004 342 364 0 17023 0
[pid=23379] ppid=23377 vsize=104776 CPUtime=45.82 cores=1,3,5,7
/proc/23379/stat : 23379 (wbo1.4a) R 23377 23379 23379 0 -1 4202496 30729 0 0 0 4572 10 0 0 25 0 1 0 948054456 107290624 25204 33554432000 134512640 135751879 4287308608 18446744073709551615 134606331 0 0 16781312 3 0 0 0 17 3 0 0 0
/proc/23379/statm: 26194 25204 146 303 0 25889 0
[pid=23370/tid=23378] ppid=23368 vsize=338788 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23378/stat : 23378 (python) S 23368 23370 21667 0 -1 4202560 27 1876 0 0 0 0 88 18 20 0 2 0 948054456 346918912 18537 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.44
Current children cumulated vsize (KiB) 772108
[startup+102.302 s]
/proc/loadavg: 2.19 2.10 1.80 3/832 23467
/proc/meminfo: memFree=16264260/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=359300 CPUtime=5.48 cores=1,3,5,7
/proc/23370/stat : 23370 (python) S 23368 23370 21667 0 -1 4202496 36053 1876 1 0 404 38 88 18 20 0 4 0 948053928 367923200 18550 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23370/statm: 89825 18550 1876 364 0 24706 0
[pid=23377] ppid=23370 vsize=338788 CPUtime=0.22 cores=1,3,5,7
/proc/23377/stat : 23377 (python) S 23370 23370 21667 0 -1 4202560 1090 0 0 0 10 12 0 0 17 0 2 0 948054455 346918912 17072 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23377/statm: 84697 17072 405 364 0 19584 0
[pid=23379] ppid=23377 vsize=104912 CPUtime=45.87 cores=1,3,5,7
/proc/23379/stat : 23379 (wbo1.4a) T 23377 23379 23379 0 -1 4202496 30742 0 0 0 4577 10 0 0 25 0 1 0 948054456 107429888 25217 33554432000 134512640 135751879 4287308608 18446744073709551615 134606387 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/23379/statm: 26228 25217 146 303 0 25923 0
[pid=23377/tid=23381] ppid=23370 vsize=338788 CPUtime=0 cores=1,3,5,7
/proc/23377/task/23381/stat : 23381 (python) S 23370 23370 21667 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948059043 346918912 17072 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554946 18446604457724595008 0 0 -1 7 0 0 0
[pid=23382] ppid=23370 vsize=338800 CPUtime=0.23 cores=1,3,5,7
/proc/23382/stat : 23382 (python) S 23370 23370 21667 0 -1 4202560 1139 0 0 0 11 12 0 0 17 0 2 0 948059046 346931200 17057 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23382/statm: 84700 17057 390 364 0 19584 0
[pid=23384] ppid=23382 vsize=698360 CPUtime=47.56 cores=1,3,5,7
/proc/23384/stat : 23384 (scip-2.0.1.linu) T 23382 23384 23384 0 -1 4202496 174575 0 0 0 4711 45 0 0 25 0 1 0 948059046 715120640 165624 33554432000 4194304 13684479 140735369600560 18446744073709551615 7019301 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23384/statm: 174590 165624 1234 2317 0 172268 0
[pid=23382/tid=23445] ppid=23370 vsize=338800 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23445/stat : 23445 (python) S 23370 23370 21667 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 2 0 948063803 346931200 17057 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554946 18446604459961790528 0 0 -1 7 0 0 0
[pid=23446] ppid=23370 vsize=349056 CPUtime=0 cores=1,3,5,7
/proc/23446/stat : 23446 (python) S 23370 23370 21667 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 948063805 357433344 16989 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415411782 0 0 16781312 33554946 3810772663236820992 0 0 17 7 0 0 0
/proc/23446/statm: 87264 16989 319 364 0 22145 0
[pid=23448] ppid=23446 vsize=8549324 CPUtime=5.44 cores=1,3,5,7
/proc/23448/stat : 23448 (java) S 23446 23448 23448 0 -1 4202496 111298 0 1 0 531 13 0 0 20 0 19 0 948063806 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23448/statm: 2137331 106365 2245 9 0 2128072 0
[pid=23448/tid=23449] ppid=23446 vsize=8549324 CPUtime=3.3 cores=1,3,5,7
/proc/23448/task/23449/stat : 23449 (java) R 23446 23448 23448 0 -1 4202560 62169 0 1 0 323 7 0 0 21 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 46912505969332 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23448/tid=23450] ppid=23446 vsize=8549324 CPUtime=0.1 cores=1,3,5,7
/proc/23448/task/23450/stat : 23450 (java) S 23446 23448 23448 0 -1 4202560 7083 0 0 0 9 1 0 0 15 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 1 0 0 0
[pid=23448/tid=23451] ppid=23446 vsize=8549324 CPUtime=0.11 cores=1,3,5,7
/proc/23448/task/23451/stat : 23451 (java) S 23446 23448 23448 0 -1 4202560 6904 0 0 0 11 0 0 0 16 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 1 0 0 0
[pid=23448/tid=23452] ppid=23446 vsize=8549324 CPUtime=0.11 cores=1,3,5,7
/proc/23448/task/23452/stat : 23452 (java) S 23446 23448 23448 0 -1 4202560 7523 0 0 0 11 0 0 0 15 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 1 0 0 0
[pid=23448/tid=23453] ppid=23446 vsize=8549324 CPUtime=0.13 cores=1,3,5,7
/proc/23448/task/23453/stat : 23453 (java) S 23446 23448 23448 0 -1 4202560 8391 0 0 0 13 0 0 0 16 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 7 0 0 0
[pid=23448/tid=23454] ppid=23446 vsize=8549324 CPUtime=0.02 cores=1,3,5,7
/proc/23448/task/23454/stat : 23454 (java) S 23446 23448 23448 0 -1 4202560 1643 0 0 0 2 0 0 0 15 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 1 0 0 0
[pid=23448/tid=23455] ppid=23446 vsize=8549324 CPUtime=0.02 cores=1,3,5,7
/proc/23448/task/23455/stat : 23455 (java) S 23446 23448 23448 0 -1 4202560 883 0 0 0 2 0 0 0 15 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 3 0 0 0
[pid=23448/tid=23456] ppid=23446 vsize=8549324 CPUtime=0.04 cores=1,3,5,7
/proc/23448/task/23456/stat : 23456 (java) S 23446 23448 23448 0 -1 4202560 2319 0 0 0 4 0 0 0 16 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 3 0 0 0
[pid=23448/tid=23457] ppid=23446 vsize=8549324 CPUtime=0.02 cores=1,3,5,7
/proc/23448/task/23457/stat : 23457 (java) S 23446 23448 23448 0 -1 4202560 1586 0 0 0 2 0 0 0 15 0 19 0 948063807 8754507776 106365 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446604469976165376 0 0 -1 1 0 0 0
[pid=23448/tid=23458] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=23508/tid=23520] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23520/stat : 23520 (java) S 23506 23508 23508 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 948077903 8746971136 53693 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23521] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23521/stat : 23521 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948077905 8746971136 53700 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427215281 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23522] ppid=23506 vsize=8541964 CPUtime=0.43 cores=1,3,5,7
/proc/23508/task/23522/stat : 23522 (java) S 23506 23508 23508 0 -1 4202560 5383 0 0 0 43 0 0 0 18 0 18 0 948077905 8746971136 53705 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23523] ppid=23506 vsize=8541964 CPUtime=0.42 cores=1,3,5,7
/proc/23508/task/23523/stat : 23523 (java) S 23506 23508 23508 0 -1 4202560 3689 0 0 0 42 0 0 0 20 0 18 0 948077905 8746971136 53712 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 1 0 0 0
[pid=23508/tid=23524] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23524/stat : 23524 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948077905 8746971136 53717 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23525] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23525/stat : 23525 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 948077905 8746971136 53721 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427208192 0 4 0 16800975 18446604466502597696 0 0 -1 1 0 0 0
[pid=23370/tid=23378] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23378/stat : 23378 (python) S 23368 23370 21667 0 -1 4202560 27 1876 0 0 0 0 88 18 20 0 6 0 948054456 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
[pid=23370/tid=23383] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23383/stat : 23383 (python) S 23368 23370 21667 0 -1 4202560 28 1876 0 0 0 0 88 18 20 0 6 0 948059046 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
[pid=23370/tid=23447] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23447/stat : 23447 (python) S 23368 23370 21667 0 -1 4202560 30 1876 0 0 0 0 88 18 20 0 6 0 948063806 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 1 0 0 0
[pid=23370/tid=23475] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23475/stat : 23475 (python) S 23368 23370 21667 0 -1 4202560 26 1876 0 0 0 0 88 18 20 0 6 0 948068444 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 3 0 0 0
[pid=23370/tid=23507] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23507/stat : 23507 (python) S 23368 23370 21667 0 -1 4202560 29 1876 0 0 0 0 88 18 20 0 6 0 948077900 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 245.37
Current children cumulated vsize (KiB) 20198748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+240.502 s]
/proc/loadavg: 2.26 2.13 1.85 4/887 23525
/proc/meminfo: memFree=12497952/32950928 swapFree=50514916/67111528
[pid=23370] ppid=23368 vsize=379812 CPUtime=5.53 cores=1,3,5,7
/proc/23370/stat : 23370 (python) S 23368 23370 21667 0 -1 4202496 37817 1876 1 0 409 38 88 18 20 0 6 0 948053928 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/23370/statm: 94953 18562 1880 364 0 29828 0
[pid=23377] ppid=23370 vsize=338788 CPUtime=0.22 cores=1,3,5,7
/proc/23377/stat : 23377 (python) S 23370 23370 21667 0 -1 4202560 1090 0 0 0 10 12 0 0 17 0 2 0 948054455 346918912 17072 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23377/statm: 84697 17072 405 364 0 19584 0
[pid=23379] ppid=23377 vsize=104912 CPUtime=45.87 cores=1,3,5,7
/proc/23379/stat : 23379 (wbo1.4a) T 23377 23379 23379 0 -1 4202496 30742 0 0 0 4577 10 0 0 25 0 1 0 948054456 107429888 25217 33554432000 134512640 135751879 4287308608 18446744073709551615 134606387 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/23379/statm: 26228 25217 146 303 0 25923 0
[pid=23377/tid=23381] ppid=23370 vsize=338788 CPUtime=0 cores=1,3,5,7
/proc/23377/task/23381/stat : 23381 (python) S 23370 23370 21667 0 -1 4202560 51 0 0 0 0 0 0 0 17 0 2 0 948059043 346918912 17072 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554946 18446604457724595008 0 0 -1 7 0 0 0
[pid=23382] ppid=23370 vsize=338800 CPUtime=0.23 cores=1,3,5,7
/proc/23382/stat : 23382 (python) S 23370 23370 21667 0 -1 4202560 1139 0 0 0 11 12 0 0 17 0 2 0 948059046 346931200 17057 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23382/statm: 84700 17057 390 364 0 19584 0
[pid=23384] ppid=23382 vsize=698360 CPUtime=47.56 cores=1,3,5,7
/proc/23384/stat : 23384 (scip-2.0.1.linu) T 23382 23384 23384 0 -1 4202496 174575 0 0 0 4711 45 0 0 25 0 1 0 948059046 715120640 165624 33554432000 4194304 13684479 140735369600560 18446744073709551615 7019301 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23384/statm: 174590 165624 1234 2317 0 172268 0
[pid=23382/tid=23445] ppid=23370 vsize=338800 CPUtime=0 cores=1,3,5,7
/proc/23382/task/23445/stat : 23445 (python) S 23370 23370 21667 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 2 0 948063803 346931200 17057 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554946 18446604459961790528 0 0 -1 7 0 0 0
[pid=23446] ppid=23370 vsize=349056 CPUtime=0.23 cores=1,3,5,7
/proc/23446/stat : 23446 (python) S 23370 23370 21667 0 -1 4202560 1136 0 0 0 11 12 0 0 17 0 2 0 948063805 357433344 17061 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23446/statm: 87264 17061 390 364 0 22145 0
[pid=23448] ppid=23446 vsize=8549324 CPUtime=48.95 cores=1,3,5,7
/proc/23448/stat : 23448 (java) T 23446 23448 23448 0 -1 4202496 560180 0 1 0 4832 63 0 0 18 0 19 0 948063806 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23448/statm: 2137331 555108 2248 9 0 2128072 0
[pid=23448/tid=23449] ppid=23446 vsize=8549324 CPUtime=45.95 cores=1,3,5,7
/proc/23448/task/23449/stat : 23449 (java) T 23446 23448 23448 0 -1 4202560 483056 0 1 0 4542 53 0 0 25 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 46912506053874 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23448/tid=23450] ppid=23446 vsize=8549324 CPUtime=0.18 cores=1,3,5,7
/proc/23448/task/23450/stat : 23450 (java) T 23446 23448 23448 0 -1 4202560 12208 0 0 0 17 1 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23448/tid=23451] ppid=23446 vsize=8549324 CPUtime=0.17 cores=1,3,5,7
/proc/23448/task/23451/stat : 23451 (java) T 23446 23448 23448 0 -1 4202560 10443 0 0 0 17 0 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23448/tid=23452] ppid=23446 vsize=8549324 CPUtime=0.14 cores=1,3,5,7
/proc/23448/task/23452/stat : 23452 (java) T 23446 23448 23448 0 -1 4202560 8884 0 0 0 13 1 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23448/tid=23453] ppid=23446 vsize=8549324 CPUtime=0.2 cores=1,3,5,7
/proc/23448/task/23453/stat : 23453 (java) T 23446 23448 23448 0 -1 4202560 12336 0 0 0 19 1 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23448/tid=23454] ppid=23446 vsize=8549324 CPUtime=0.06 cores=1,3,5,7
/proc/23448/task/23454/stat : 23454 (java) T 23446 23448 23448 0 -1 4202560 4072 0 0 0 5 1 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23448/tid=23455] ppid=23446 vsize=8549324 CPUtime=0.06 cores=1,3,5,7
/proc/23448/task/23455/stat : 23455 (java) T 23446 23448 23448 0 -1 4202560 3847 0 0 0 6 0 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23448/tid=23456] ppid=23446 vsize=8549324 CPUtime=0.1 cores=1,3,5,7
/proc/23448/task/23456/stat : 23456 (java) T 23446 23448 23448 0 -1 4202560 6757 0 0 0 10 0 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23448/tid=23457] ppid=23446 vsize=8549324 CPUtime=0.08 cores=1,3,5,7
/proc/23448/task/23457/stat : 23457 (java) T 23446 23448 23448 0 -1 4202560 4623 0 0 0 7 1 0 0 15 0 19 0 948063807 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23448/tid=23458] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23458/stat : 23458 (java) T 23446 23448 23448 0 -1 4202560 1271 0 0 0 0 0 0 0 15 0 19 0 948063808 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23448/tid=23459] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23459/stat : 23459 (java) T 23446 23448 23448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 948063808 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23448/tid=23460] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23460/stat : 23460 (java) T 23446 23448 23448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 948063808 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23448/tid=23461] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23461/stat : 23461 (java) T 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948063811 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23448/tid=23462] ppid=23446 vsize=8549324 CPUtime=0.99 cores=1,3,5,7
/proc/23448/task/23462/stat : 23462 (java) T 23446 23448 23448 0 -1 4202560 6146 0 0 0 99 0 0 0 15 0 19 0 948063811 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23448/tid=23463] ppid=23446 vsize=8549324 CPUtime=0.9 cores=1,3,5,7
/proc/23448/task/23463/stat : 23463 (java) T 23446 23448 23448 0 -1 4202560 5143 0 0 0 90 0 0 0 15 0 19 0 948063811 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23448/tid=23464] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23464/stat : 23464 (java) T 23446 23448 23448 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948063811 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23448/tid=23465] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23465/stat : 23465 (java) T 23446 23448 23448 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948063811 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23448/tid=23466] ppid=23446 vsize=8549324 CPUtime=0 cores=1,3,5,7
/proc/23448/task/23466/stat : 23466 (java) T 23446 23448 23448 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948063922 8754507776 555108 33554432000 1073741824 1073778376 140733604813584 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23446/tid=23473] ppid=23370 vsize=349056 CPUtime=0 cores=1,3,5,7
/proc/23446/task/23473/stat : 23473 (python) S 23370 23370 21667 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948068441 357433344 17061 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554946 18446604470994043968 0 0 -1 7 0 0 0
[pid=23474] ppid=23370 vsize=359312 CPUtime=0.45 cores=1,3,5,7
/proc/23474/stat : 23474 (python) S 23370 23370 21667 0 -1 4202560 1195 0 0 0 21 24 0 0 17 0 2 0 948068444 367935488 17065 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23474/statm: 89828 17065 390 364 0 24706 0
[pid=23476] ppid=23474 vsize=168852 CPUtime=94.53 cores=1,3,5,7
/proc/23476/stat : 23476 (clasp-1.3.7-x86) T 23474 23476 23476 0 -1 4202496 43412 0 0 0 9447 6 0 0 25 0 1 0 948068444 172904448 41356 33554432000 134512640 136139019 4287174960 18446744073709551615 134838539 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/23476/statm: 42213 41356 189 398 0 41813 0
[pid=23474/tid=23505] ppid=23370 vsize=359312 CPUtime=0 cores=1,3,5,7
/proc/23474/task/23505/stat : 23505 (python) S 23370 23370 21667 0 -1 4202560 53 0 0 0 0 0 0 0 17 0 2 0 948077898 367935488 17065 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554946 18446604466943227008 0 0 -1 7 0 0 0
[pid=23506] ppid=23370 vsize=369568 CPUtime=0 cores=1,3,5,7
/proc/23506/stat : 23506 (python) S 23370 23370 21667 0 -1 4202560 817 0 0 0 0 0 0 0 19 0 1 0 948077900 378437632 16997 33554432000 4194304 5683644 140734522872096 18446744073709551615 256415411782 0 0 16781312 33554946 4294934791 0 0 17 3 0 0 0
/proc/23506/statm: 92392 16997 319 364 0 27267 0
[pid=23508] ppid=23506 vsize=8541964 CPUtime=1.8 cores=1,3,5,7
/proc/23508/stat : 23508 (java) S 23506 23508 23508 0 -1 4202496 56204 0 1 0 172 8 0 0 20 0 18 0 948077900 8746971136 53087 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/23508/statm: 2135491 53090 2236 9 0 2126232 0
[pid=23508/tid=23509] ppid=23506 vsize=8541964 CPUtime=0.75 cores=1,3,5,7
/proc/23508/task/23509/stat : 23509 (java) S 23506 23508 23508 0 -1 4202560 35237 0 1 0 71 4 0 0 18 0 18 0 948077901 8746971136 53643 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 3 0 0 0
[pid=23508/tid=23510] ppid=23506 vsize=8541964 CPUtime=0.02 cores=1,3,5,7
/proc/23508/task/23510/stat : 23510 (java) R 23506 23508 23508 0 -1 4202560 1725 0 0 0 2 0 0 0 15 0 18 0 948077902 8746971136 53647 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23508/tid=23511] ppid=23506 vsize=8541964 CPUtime=0.02 cores=1,3,5,7
/proc/23508/task/23511/stat : 23511 (java) S 23506 23508 23508 0 -1 4202560 1861 0 0 0 2 0 0 0 17 0 18 0 948077902 8746971136 53651 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 3 0 0 0
[pid=23508/tid=23512] ppid=23506 vsize=8541964 CPUtime=0.04 cores=1,3,5,7
/proc/23508/task/23512/stat : 23512 (java) R 23506 23508 23508 0 -1 4202560 2963 0 0 0 4 0 0 0 17 0 18 0 948077902 8746971136 53655 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 47798834730673 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23508/tid=23513] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23513/stat : 23513 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 948077902 8746971136 53659 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 3 0 0 0
[pid=23508/tid=23514] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23514/stat : 23514 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 948077902 8746971136 53662 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 3 0 0 0
[pid=23508/tid=23515] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23515/stat : 23515 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 948077902 8746971136 53670 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 3 0 0 0
[pid=23508/tid=23516] ppid=23506 vsize=8541964 CPUtime=0.02 cores=1,3,5,7
/proc/23508/task/23516/stat : 23516 (java) R 23506 23508 23508 0 -1 4202560 1503 0 0 0 2 0 0 0 18 0 18 0 948077902 8746971136 53675 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 47798834730697 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23508/tid=23517] ppid=23506 vsize=8541964 CPUtime=0.04 cores=1,3,5,7
/proc/23508/task/23517/stat : 23517 (java) R 23506 23508 23508 0 -1 4202560 2961 0 0 0 4 0 0 0 18 0 18 0 948077902 8746971136 53679 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 47798836435119 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23508/tid=23518] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23518/stat : 23518 (java) S 23506 23508 23508 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 18 0 948077903 8746971136 53682 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 0 0 16800975 18446604466502597696 0 0 -1 1 0 0 0
[pid=23508/tid=23519] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23519/stat : 23519 (java) S 23506 23508 23508 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 948077903 8746971136 53686 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23520] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23520/stat : 23520 (java) S 23506 23508 23508 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 18 0 948077903 8746971136 53693 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23521] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23521/stat : 23521 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 948077905 8746971136 53700 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427215281 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23522] ppid=23506 vsize=8541964 CPUtime=0.43 cores=1,3,5,7
/proc/23508/task/23522/stat : 23522 (java) S 23506 23508 23508 0 -1 4202560 5383 0 0 0 43 0 0 0 18 0 18 0 948077905 8746971136 53705 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23523] ppid=23506 vsize=8541964 CPUtime=0.42 cores=1,3,5,7
/proc/23508/task/23523/stat : 23523 (java) S 23506 23508 23508 0 -1 4202560 3689 0 0 0 42 0 0 0 20 0 18 0 948077905 8746971136 53712 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 1 0 0 0
[pid=23508/tid=23524] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23524/stat : 23524 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 948077905 8746971136 53717 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427207577 0 4 0 16800975 18446604466502597696 0 0 -1 7 0 0 0
[pid=23508/tid=23525] ppid=23506 vsize=8541964 CPUtime=0 cores=1,3,5,7
/proc/23508/task/23525/stat : 23525 (java) S 23506 23508 23508 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 948077905 8746971136 53721 33554432000 1073741824 1073778376 140737427464128 18446744073709551615 256427208192 0 4 0 16800975 18446604466502597696 0 0 -1 1 0 0 0
[pid=23370/tid=23378] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23378/stat : 23378 (python) S 23368 23370 21667 0 -1 4202560 27 1876 0 0 0 0 88 18 20 0 6 0 948054456 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
[pid=23370/tid=23383] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23383/stat : 23383 (python) S 23368 23370 21667 0 -1 4202560 28 1876 0 0 0 0 88 18 20 0 6 0 948059046 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
[pid=23370/tid=23447] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23447/stat : 23447 (python) S 23368 23370 21667 0 -1 4202560 30 1876 0 0 0 0 88 18 20 0 6 0 948063806 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 1 0 0 0
[pid=23370/tid=23475] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23475/stat : 23475 (python) S 23368 23370 21667 0 -1 4202560 26 1876 0 0 0 0 88 18 20 0 6 0 948068444 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 3 0 0 0
[pid=23370/tid=23507] ppid=23368 vsize=379812 CPUtime=1.06 cores=1,3,5,7
/proc/23370/task/23507/stat : 23507 (python) S 23368 23370 21667 0 -1 4202560 29 1876 0 0 0 0 88 18 20 0 6 0 948077900 388927488 18562 33554432000 4194304 5683644 140734522872096 18446744073709551615 256427215281 0 0 16781312 33554434 18446604466943228800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 245.37
Current children cumulated vsize (KiB) 20198748
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23370 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=981242
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=573912
# CPU time returned by wait4() is 5.55515
# while last known CPU time is 245.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.605
CPU time (s): 245.37
CPU user time (s): 242.89
CPU system time (s): 2.48
CPU usage (%): 101.981
Max. virtual memory (cumulated for all children) (KiB): 20198748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.98124
system time used= 0.573912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39695
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= 58354
involuntary context switches= 30
runsolver used 1.84272 second user time and 4.05038 second system time
The end