runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730676-1338715850/watcher-3730676-1338715850 -o /tmp/evaluation-result-3730676-1338715850/solver-3730676-1338715850 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3730676-1338715850.opb -seed 1373043463 -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.41 2.15 1.95 2/180 30806
/proc/meminfo: memFree=26141552/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=15576 CPUtime=0 cores=0,2,4,6
/proc/30806/stat : 30806 (python) D 30804 30806 27000 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 337712481 15949824 692 33554432000 4194304 5683644 140733308228208 140733308154968 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 3894 692 334 364 0 336 0
[startup+0.0206091 s]
/proc/loadavg: 2.41 2.15 1.95 2/180 30806
/proc/meminfo: memFree=26141552/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=16620 CPUtime=0.01 cores=0,2,4,6
/proc/30806/stat : 30806 (python) R 30804 30806 27000 0 -1 4202496 1157 0 0 0 1 0 0 0 20 0 1 0 337712481 17018880 968 33554432000 4194304 5683644 140733308228208 140733308211576 5210927 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 4155 969 399 364 0 597 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16620
[startup+0.100178 s]
/proc/loadavg: 2.41 2.15 1.95 2/180 30806
/proc/meminfo: memFree=26141552/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=94452 CPUtime=0.07 cores=0,2,4,6
/proc/30806/stat : 30806 (python) R 30804 30806 27000 0 -1 4202496 3445 1008 1 0 5 2 0 0 20 0 1 0 337712481 96718848 2546 33554432000 4194304 5683644 140733308228208 140733308180712 219513633888 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 23613 2546 820 364 0 1619 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 94452
[startup+0.300212 s]
/proc/loadavg: 2.41 2.15 1.95 2/180 30806
/proc/meminfo: memFree=26141552/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=183224 CPUtime=0.23 cores=0,2,4,6
/proc/30806/stat : 30806 (python) D 30804 30806 27000 0 -1 4202496 6984 1008 1 0 18 5 0 0 20 0 1 0 337712481 187621376 4710 33554432000 4194304 5683644 140733308228208 140733308082824 219513963408 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 45806 4710 1278 364 0 3648 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 183224
[startup+0.700189 s]
/proc/loadavg: 2.41 2.15 1.95 2/180 30806
/proc/meminfo: memFree=26141552/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=297112 CPUtime=0.6 cores=0,2,4,6
/proc/30806/stat : 30806 (python) R 30804 30806 27000 0 -1 4202496 12411 1008 1 0 52 8 0 0 20 0 1 0 337712481 304242688 10978 33554432000 4194304 5683644 140733308228208 140733308150280 219513589652 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 74278 10978 1811 364 0 9507 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 297112
[startup+1.5002 s]
/proc/loadavg: 2.46 2.16 1.96 3/181 30811
/proc/meminfo: memFree=26093480/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=326576 CPUtime=1.4 cores=0,2,4,6
/proc/30806/stat : 30806 (python) R 30804 30806 27000 0 -1 4202496 19457 1008 1 0 131 9 0 0 20 0 1 0 337712481 334413824 18024 33554432000 4194304 5683644 140733308228208 140733308221272 219513589652 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 81644 18024 1811 364 0 16873 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 326576
[startup+3.10018 s]
/proc/loadavg: 2.46 2.16 1.96 3/181 30811
/proc/meminfo: memFree=26062088/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=338212 CPUtime=3 cores=0,2,4,6
/proc/30806/stat : 30806 (python) R 30804 30806 27000 0 -1 4202496 27717 1008 1 0 290 10 0 0 20 0 1 0 337712481 346329088 21306 33554432000 4194304 5683644 140733308228208 140733308215032 140728653754800 0 0 16781312 33554434 0 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 84553 21306 1847 364 0 19782 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 338212
[startup+6.30028 s]
/proc/loadavg: 2.42 2.16 1.96 3/184 30814
/proc/meminfo: memFree=26022644/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=417844 CPUtime=4.3 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 28961 1008 1 0 420 10 0 0 20 0 2 0 337712481 427872256 22324 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 104461 22324 1902 364 0 39684 0
[pid=30812] ppid=30806 vsize=342064 CPUtime=0 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 737 0 0 0 0 0 0 0 20 0 1 0 337712921 350273536 20756 33554432000 4194304 5683644 140733308228208 140733308219296 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 85516 20756 340 364 0 20739 0
[pid=30814] ppid=30812 vsize=39564 CPUtime=1.88 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) R 30812 30814 30814 0 -1 4202496 11368 0 0 0 187 1 0 0 20 0 1 0 337712921 40513536 9490 33554432000 134512640 136139019 4290524848 4290523824 134883275 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 9891 9490 183 398 0 9491 0
[pid=30806/tid=30813] ppid=30804 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337712921 427872256 22324 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 799472
[startup+12.7003 s]
/proc/loadavg: 2.39 2.16 1.96 3/183 30814
/proc/meminfo: memFree=26021016/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=417844 CPUtime=4.3 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 28961 1008 1 0 420 10 0 0 20 0 2 0 337712481 427872256 22324 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 104461 22324 1902 364 0 39684 0
[pid=30812] ppid=30806 vsize=342064 CPUtime=0 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 887 0 0 0 0 0 0 0 20 0 1 0 337712921 350273536 20779 33554432000 4194304 5683644 140733308228208 140733308219296 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 85516 20779 363 364 0 20739 0
[pid=30814] ppid=30812 vsize=42080 CPUtime=8.28 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) R 30812 30814 30814 0 -1 4202496 11997 0 0 0 827 1 0 0 20 0 1 0 337712921 43089920 10119 33554432000 134512640 136139019 4290524848 4290523712 134608508 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 10520 10119 183 398 0 10120 0
[pid=30806/tid=30813] ppid=30804 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337712921 427872256 22324 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 801988
[startup+25.5068 s]
/proc/loadavg: 2.33 2.15 1.96 3/183 30814
/proc/meminfo: memFree=26012508/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=417844 CPUtime=4.3 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 28961 1008 1 0 420 10 0 0 20 0 2 0 337712481 427872256 22324 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 104461 22324 1902 364 0 39684 0
[pid=30812] ppid=30806 vsize=342064 CPUtime=0.02 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 896 0 0 0 1 1 0 0 20 0 1 0 337712921 350273536 20779 33554432000 4194304 5683644 140733308228208 140733308219296 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 85516 20779 363 364 0 20739 0
[pid=30814] ppid=30812 vsize=48444 CPUtime=21.08 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) R 30812 30814 30814 0 -1 4202496 13587 0 0 0 2106 2 0 0 20 0 1 0 337712921 49606656 11709 33554432000 134512640 136139019 4290524848 4290523824 134883801 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 12111 11709 183 398 0 11711 0
[pid=30806/tid=30813] ppid=30804 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337712921 427872256 22324 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 808352
[startup+51.1003 s]
/proc/loadavg: 2.20 2.13 1.96 3/184 30815
/proc/meminfo: memFree=25989180/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=417844 CPUtime=4.3 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 28961 1008 1 0 420 10 0 0 20 0 2 0 337712481 427872256 22324 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 104461 22324 1902 364 0 39684 0
[pid=30812] ppid=30806 vsize=342064 CPUtime=0.06 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 1005 0 0 0 4 2 0 0 20 0 1 0 337712921 350273536 20784 33554432000 4194304 5683644 140733308228208 140733308219296 219513979304 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 85516 20784 368 364 0 20739 0
[pid=30814] ppid=30812 vsize=52416 CPUtime=46.66 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) R 30812 30814 30814 0 -1 4202496 14595 0 0 0 4664 2 0 0 20 0 1 0 337712921 53673984 12717 33554432000 134512640 136139019 4290524848 4290523712 134608376 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 13104 12717 183 398 0 12704 0
[pid=30806/tid=30813] ppid=30804 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 2 0 337712921 427872256 22324 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 812324
[startup+102.301 s]
/proc/loadavg: 2.08 2.11 1.96 3/191 30822
/proc/meminfo: memFree=24841332/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=493636 CPUtime=16.54 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 30621 1008 1 0 1640 14 0 0 20 0 3 0 337712481 505483264 22333 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30806/statm: 123409 22333 1905 364 0 58629 0
[pid=30812] ppid=30806 vsize=417844 CPUtime=0.06 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 1135 0 0 0 4 2 0 0 20 0 2 0 337712921 427872256 20819 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 104461 20819 396 364 0 39684 0
[pid=30814] ppid=30812 vsize=52548 CPUtime=47.09 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) T 30812 30814 30814 0 -1 4202496 14620 0 0 0 4707 2 0 0 20 0 1 0 337712921 53809152 12742 33554432000 134512640 136139019 4290524848 4290523680 134832401 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 13137 12742 183 398 0 12737 0
[pid=30812/tid=30816] ppid=30806 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30812/task/30816/stat : 30816 (python) S 30806 30806 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337717634 427872256 20819 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30817] ppid=30806 vsize=417856 CPUtime=0.05 cores=0,2,4,6
/proc/30817/stat : 30817 (python) S 30806 30806 27000 0 -1 4202560 911 0 0 0 3 2 0 0 20 0 1 0 337718858 427884544 20780 33554432000 4194304 5683644 140733308228208 140733308219296 219513979363 0 0 16781312 33554946 18446744071580425449 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 104464 20780 358 364 0 39684 0
[pid=30819] ppid=30817 vsize=714768 CPUtime=38.51 cores=0,2,4,6
/proc/30819/stat : 30819 (minion) R 30817 30819 30819 0 -1 4202496 172085 0 0 0 3827 24 0 0 20 0 1 0 337718858 731922432 171003 33554432000 134512640 165565024 4286768512 4286765728 141380889 0 0 16781312 8396802 0 0 0 17 4 0 0 0 0 0
/proc/30819/statm: 178692 171003 345 7582 0 171107 0
[pid=30806/tid=30813] ppid=30804 vsize=493636 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 26 1008 0 0 0 0 0 0 20 0 3 0 337712921 505483264 22333 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30818] ppid=30804 vsize=493636 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30818/stat : 30818 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 3 0 337718858 505483264 22333 33554432000 4194304 5683644 140733308228208 140728638820912 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 2096652
[startup+162.301 s]
/proc/loadavg: 2.03 2.09 1.96 3/203 30834
/proc/meminfo: memFree=22620172/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=645220 CPUtime=16.59 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 32449 1008 1 0 1644 15 0 0 20 0 5 0 337712481 660705280 22349 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30806/statm: 161305 22349 1909 364 0 96519 0
[pid=30812] ppid=30806 vsize=417844 CPUtime=0.06 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 1135 0 0 0 4 2 0 0 20 0 2 0 337712921 427872256 20819 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 104461 20819 396 364 0 39684 0
[pid=30814] ppid=30812 vsize=52548 CPUtime=47.09 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) T 30812 30814 30814 0 -1 4202496 14620 0 0 0 4707 2 0 0 20 0 1 0 337712921 53809152 12742 33554432000 134512640 136139019 4290524848 4290523680 134832401 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 13137 12742 183 398 0 12737 0
[pid=30812/tid=30816] ppid=30806 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30812/task/30816/stat : 30816 (python) S 30806 30806 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337717634 427872256 20819 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30817] ppid=30806 vsize=417856 CPUtime=0.08 cores=0,2,4,6
/proc/30817/stat : 30817 (python) S 30806 30806 27000 0 -1 4202560 1069 0 0 0 5 3 0 0 20 0 2 0 337718858 427884544 20806 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 104464 20806 383 364 0 39684 0
[pid=30819] ppid=30817 vsize=714768 CPUtime=48.06 cores=0,2,4,6
/proc/30819/stat : 30819 (minion) T 30817 30819 30819 0 -1 4202496 172085 0 0 0 4782 24 0 0 20 0 1 0 337718858 731922432 171003 33554432000 134512640 165565024 4286768512 4286765760 142764899 0 0 16781312 8396802 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30819/statm: 178692 171003 345 7582 0 171107 0
[pid=30817/tid=30823] ppid=30806 vsize=417856 CPUtime=0 cores=0,2,4,6
/proc/30817/task/30823/stat : 30823 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337723665 427884544 20806 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30824] ppid=30806 vsize=493648 CPUtime=0.09 cores=0,2,4,6
################
# More data... #
################
[pid=30806/tid=30833] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30833/stat : 30833 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337728526 738316288 22357 33554432000 4194304 5683644 140733308228208 140728617841200 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30842] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30842/stat : 30842 (python) S 30804 30806 27000 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 6 0 337737950 738316288 22357 33554432000 4194304 5683644 140733308228208 140728599589424 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 403.67
Current children cumulated vsize (KiB) 5666148
[startup+404.901 s]
/proc/loadavg: 2.00 2.03 1.96 3/217 30849
/proc/meminfo: memFree=20418132/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=721012 CPUtime=16.67 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 34050 1008 1 0 1651 16 0 0 20 0 6 0 337712481 738316288 22357 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30806/statm: 180253 22357 1911 364 0 115464 0
[pid=30812] ppid=30806 vsize=417844 CPUtime=0.31 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 1192 0 0 0 18 13 0 0 20 0 2 0 337712921 427872256 20820 33554432000 4194304 5683644 140733308228208 140733308219296 219513979363 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 104461 20820 397 364 0 39684 0
[pid=30814] ppid=30812 vsize=66224 CPUtime=195.6 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) R 30812 30814 30814 0 -1 4202496 18035 0 0 0 19556 4 0 0 20 0 1 0 337712921 67813376 16234 33554432000 134512640 136139019 4290524848 4290523824 134883787 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 16556 16234 183 398 0 16156 0
[pid=30812/tid=30816] ppid=30806 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30812/task/30816/stat : 30816 (python) S 30806 30806 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337717634 427872256 20820 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30817] ppid=30806 vsize=417856 CPUtime=0.08 cores=0,2,4,6
/proc/30817/stat : 30817 (python) S 30806 30806 27000 0 -1 4202560 1069 0 0 0 5 3 0 0 20 0 2 0 337718858 427884544 20806 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 104464 20806 383 364 0 39684 0
[pid=30819] ppid=30817 vsize=714768 CPUtime=48.06 cores=0,2,4,6
/proc/30819/stat : 30819 (minion) T 30817 30819 30819 0 -1 4202496 172085 0 0 0 4782 24 0 0 20 0 1 0 337718858 731922432 171003 33554432000 134512640 165565024 4286768512 4286765760 142764899 0 0 16781312 8396802 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30819/statm: 178692 171003 345 7582 0 171107 0
[pid=30817/tid=30823] ppid=30806 vsize=417856 CPUtime=0 cores=0,2,4,6
/proc/30817/task/30823/stat : 30823 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337723665 427884544 20806 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30824] ppid=30806 vsize=493648 CPUtime=0.09 cores=0,2,4,6
/proc/30824/stat : 30824 (python) S 30806 30806 27000 0 -1 4202560 1093 0 0 0 5 4 0 0 20 0 2 0 337723668 505495552 20812 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30824/statm: 123412 20812 383 364 0 58629 0
[pid=30826] ppid=30824 vsize=762520 CPUtime=48.54 cores=0,2,4,6
/proc/30826/stat : 30826 (scip-2.0.1.linu) T 30824 30826 30826 0 -1 4202496 181254 0 0 0 4587 267 0 0 20 0 1 0 337723668 780820480 183575 33554432000 4194304 13684479 140734160678288 140734160674584 5688624 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30826/statm: 190630 183575 655 2317 0 188308 0
[pid=30824/tid=30831] ppid=30806 vsize=493648 CPUtime=0 cores=0,2,4,6
/proc/30824/task/30831/stat : 30831 (python) S 30806 30806 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337728523 505495552 20812 33554432000 4194304 5683644 140733308228208 140728638820912 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30832] ppid=30806 vsize=569440 CPUtime=0.09 cores=0,2,4,6
/proc/30832/stat : 30832 (python) S 30806 30806 27000 0 -1 4202560 1093 0 0 0 6 3 0 0 20 0 2 0 337728526 583106560 20818 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30832/statm: 142360 20818 383 364 0 77574 0
[pid=30834] ppid=30832 vsize=763252 CPUtime=49.04 cores=0,2,4,6
/proc/30834/stat : 30834 (scip-2.0.1.linu) T 30832 30834 30834 0 -1 4202496 181647 0 0 0 4644 260 0 0 20 0 1 0 337728526 781570048 183461 33554432000 4194304 15243407 140735989494224 140735989490520 5688624 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30834/statm: 190813 183461 702 2698 0 188108 0
[pid=30832/tid=30839] ppid=30806 vsize=569440 CPUtime=0 cores=0,2,4,6
/proc/30832/task/30839/stat : 30839 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337733432 583106560 20818 33554432000 4194304 5683644 140733308228208 140728628331056 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30841] ppid=30806 vsize=645232 CPUtime=0.08 cores=0,2,4,6
/proc/30841/stat : 30841 (python) S 30806 30806 27000 0 -1 4202560 1108 0 0 0 5 3 0 0 20 0 2 0 337737950 660717568 20824 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30841/statm: 161308 20824 383 364 0 96519 0
[pid=30843] ppid=30841 vsize=94352 CPUtime=46.72 cores=0,2,4,6
/proc/30843/stat : 30843 (wbo1.4b-fixed) T 30841 30843 30843 0 -1 4202496 25444 0 0 0 4656 16 0 0 20 0 1 0 337737950 96616448 22583 33554432000 134512640 135752315 4291893200 4291891200 134611201 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30843/statm: 23588 22583 146 303 0 23283 0
[pid=30841/tid=30848] ppid=30806 vsize=645232 CPUtime=0 cores=0,2,4,6
/proc/30841/task/30848/stat : 30848 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337742624 660717568 20824 33554432000 4194304 5683644 140733308228208 140728617841200 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30806/tid=30813] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 34 1008 0 0 0 0 0 0 20 0 6 0 337712921 738316288 22357 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30806/tid=30818] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30818/stat : 30818 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337718858 738316288 22357 33554432000 4194304 5683644 140733308228208 140728638820912 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30825] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30825/stat : 30825 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337723668 738316288 22357 33554432000 4194304 5683644 140733308228208 140728628331056 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30833] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30833/stat : 30833 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337728526 738316288 22357 33554432000 4194304 5683644 140733308228208 140728617841200 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30842] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30842/stat : 30842 (python) S 30804 30806 27000 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 6 0 337737950 738316288 22357 33554432000 4194304 5683644 140733308228208 140728599589424 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 405.28
Current children cumulated vsize (KiB) 5666148
[startup+405.701 s]
/proc/loadavg: 2.00 2.03 1.96 3/217 30849
/proc/meminfo: memFree=20418132/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=721012 CPUtime=16.67 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 34050 1008 1 0 1651 16 0 0 20 0 6 0 337712481 738316288 22357 33554432000 4194304 5683644 140733308228208 140733308223040 219517347085 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30806/statm: 180253 22357 1911 364 0 115464 0
[pid=30812] ppid=30806 vsize=417844 CPUtime=0.31 cores=0,2,4,6
/proc/30812/stat : 30812 (python) S 30806 30806 27000 0 -1 4202560 1192 0 0 0 18 13 0 0 20 0 2 0 337712921 427872256 20820 33554432000 4194304 5683644 140733308228208 140733308219296 219513979363 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 104461 20820 397 364 0 39684 0
[pid=30814] ppid=30812 vsize=66224 CPUtime=196.39 cores=0,2,4,6
/proc/30814/stat : 30814 (clasp-1.3.7-x86) R 30812 30814 30814 0 -1 4202496 18035 0 0 0 19635 4 0 0 20 0 1 0 337712921 67813376 16234 33554432000 134512640 136139019 4290524848 4290523824 134882968 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/30814/statm: 16556 16234 183 398 0 16156 0
[pid=30812/tid=30816] ppid=30806 vsize=417844 CPUtime=0 cores=0,2,4,6
/proc/30812/task/30816/stat : 30816 (python) S 30806 30806 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337717634 427872256 20820 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30817] ppid=30806 vsize=417856 CPUtime=0.08 cores=0,2,4,6
/proc/30817/stat : 30817 (python) S 30806 30806 27000 0 -1 4202560 1069 0 0 0 5 3 0 0 20 0 2 0 337718858 427884544 20806 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30817/statm: 104464 20806 383 364 0 39684 0
[pid=30819] ppid=30817 vsize=714768 CPUtime=48.06 cores=0,2,4,6
/proc/30819/stat : 30819 (minion) T 30817 30819 30819 0 -1 4202496 172085 0 0 0 4782 24 0 0 20 0 1 0 337718858 731922432 171003 33554432000 134512640 165565024 4286768512 4286765760 142764899 0 0 16781312 8396802 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30819/statm: 178692 171003 345 7582 0 171107 0
[pid=30817/tid=30823] ppid=30806 vsize=417856 CPUtime=0 cores=0,2,4,6
/proc/30817/task/30823/stat : 30823 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337723665 427884544 20806 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30824] ppid=30806 vsize=493648 CPUtime=0.09 cores=0,2,4,6
/proc/30824/stat : 30824 (python) S 30806 30806 27000 0 -1 4202560 1093 0 0 0 5 4 0 0 20 0 2 0 337723668 505495552 20812 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30824/statm: 123412 20812 383 364 0 58629 0
[pid=30826] ppid=30824 vsize=762520 CPUtime=48.54 cores=0,2,4,6
/proc/30826/stat : 30826 (scip-2.0.1.linu) T 30824 30826 30826 0 -1 4202496 181254 0 0 0 4587 267 0 0 20 0 1 0 337723668 780820480 183575 33554432000 4194304 13684479 140734160678288 140734160674584 5688624 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30826/statm: 190630 183575 655 2317 0 188308 0
[pid=30824/tid=30831] ppid=30806 vsize=493648 CPUtime=0 cores=0,2,4,6
/proc/30824/task/30831/stat : 30831 (python) S 30806 30806 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337728523 505495552 20812 33554432000 4194304 5683644 140733308228208 140728638820912 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30832] ppid=30806 vsize=569440 CPUtime=0.09 cores=0,2,4,6
/proc/30832/stat : 30832 (python) S 30806 30806 27000 0 -1 4202560 1093 0 0 0 6 3 0 0 20 0 2 0 337728526 583106560 20818 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30832/statm: 142360 20818 383 364 0 77574 0
[pid=30834] ppid=30832 vsize=763252 CPUtime=49.04 cores=0,2,4,6
/proc/30834/stat : 30834 (scip-2.0.1.linu) T 30832 30834 30834 0 -1 4202496 181647 0 0 0 4644 260 0 0 20 0 1 0 337728526 781570048 183461 33554432000 4194304 15243407 140735989494224 140735989490520 5688624 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30834/statm: 190813 183461 702 2698 0 188108 0
[pid=30832/tid=30839] ppid=30806 vsize=569440 CPUtime=0 cores=0,2,4,6
/proc/30832/task/30839/stat : 30839 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337733432 583106560 20818 33554432000 4194304 5683644 140733308228208 140728628331056 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30841] ppid=30806 vsize=645232 CPUtime=0.08 cores=0,2,4,6
/proc/30841/stat : 30841 (python) S 30806 30806 27000 0 -1 4202560 1108 0 0 0 5 3 0 0 20 0 2 0 337737950 660717568 20824 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30841/statm: 161308 20824 383 364 0 96519 0
[pid=30843] ppid=30841 vsize=94352 CPUtime=46.72 cores=0,2,4,6
/proc/30843/stat : 30843 (wbo1.4b-fixed) T 30841 30843 30843 0 -1 4202496 25444 0 0 0 4656 16 0 0 20 0 1 0 337737950 96616448 22583 33554432000 134512640 135752315 4291893200 4291891200 134611201 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30843/statm: 23588 22583 146 303 0 23283 0
[pid=30841/tid=30848] ppid=30806 vsize=645232 CPUtime=0 cores=0,2,4,6
/proc/30841/task/30848/stat : 30848 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337742624 660717568 20824 33554432000 4194304 5683644 140733308228208 140728617841200 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30806/tid=30813] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 34 1008 0 0 0 0 0 0 20 0 6 0 337712921 738316288 22357 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30806/tid=30818] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30818/stat : 30818 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337718858 738316288 22357 33554432000 4194304 5683644 140733308228208 140728638820912 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30825] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30825/stat : 30825 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337723668 738316288 22357 33554432000 4194304 5683644 140733308228208 140728628331056 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30833] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30833/stat : 30833 (python) S 30804 30806 27000 0 -1 4202560 21 1008 0 0 0 0 0 0 20 0 6 0 337728526 738316288 22357 33554432000 4194304 5683644 140733308228208 140728617841200 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30842] ppid=30804 vsize=721012 CPUtime=0 cores=0,2,4,6
/proc/30806/task/30842/stat : 30842 (python) S 30804 30806 27000 0 -1 4202560 22 1008 0 0 0 0 0 0 20 0 6 0 337737950 738316288 22357 33554432000 4194304 5683644 140733308228208 140728599589424 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 406.07
Current children cumulated vsize (KiB) 5666148
[startup+405.901 s]
/proc/loadavg: 2.00 2.03 1.96 3/217 30849
/proc/meminfo: memFree=20418132/32873648 swapFree=7120/7120
[pid=30806] ppid=30804 vsize=721012 CPUtime=64.85 cores=0,2,4,6
/proc/30806/stat : 30806 (python) S 30804 30806 27000 0 -1 4202496 34061 174185 1 0 1651 16 4787 31 20 0 6 0 337712481 738316288 22357 33554432000 4194304 5683644 140733308228208 140733308221888 219517349981 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30806/statm: 180253 22357 1911 364 0 115464 0
[pid=30812] ppid=30806 vsize=0 CPUtime=196.84 cores=0,2,4,6
/proc/30812/stat : 30812 (python) Z 30806 30806 27000 0 -1 4202572 1270 18050 0 0 18 14 19648 4 20 0 1 0 337712921 0 0 33554432000 0 0 0 0 0 0 0 16781824 33554434 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30812/statm: 0 0 0 0 0 0 0
[pid=30824] ppid=30806 vsize=493648 CPUtime=0.09 cores=0,2,4,6
/proc/30824/stat : 30824 (python) S 30806 30806 27000 0 -1 4202560 1097 0 0 0 5 4 0 0 20 0 2 0 337723668 505495552 20812 33554432000 4194304 5683644 140733308228208 140733308219968 219517349981 0 0 16781824 33554434 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30824/statm: 123412 20812 383 364 0 58629 0
[pid=30826] ppid=30824 vsize=0 CPUtime=48.57 cores=0,2,4,6
/proc/30826/stat : 30826 (scip-2.0.1.linu) R 30824 30826 30826 0 -1 4203524 181254 0 0 0 4587 270 0 0 20 0 1 0 337723668 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30826/statm: 0 0 0 0 0 0 0
[pid=30824/tid=30831] ppid=30806 vsize=493648 CPUtime=0 cores=0,2,4,6
/proc/30824/task/30831/stat : 30831 (python) S 30806 30806 27000 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 2 0 337728523 505495552 20812 33554432000 4194304 5683644 140733308228208 140728638820912 219517343520 0 0 16781824 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30832] ppid=30806 vsize=569440 CPUtime=0.09 cores=0,2,4,6
/proc/30832/stat : 30832 (python) S 30806 30806 27000 0 -1 4202560 1093 0 0 0 6 3 0 0 20 0 2 0 337728526 583106560 20818 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30832/statm: 142360 20818 383 364 0 77574 0
[pid=30834] ppid=30832 vsize=763252 CPUtime=49.04 cores=0,2,4,6
/proc/30834/stat : 30834 (scip-2.0.1.linu) T 30832 30834 30834 0 -1 4202496 181647 0 0 0 4644 260 0 0 20 0 1 0 337728526 781570048 183461 33554432000 4194304 15243407 140735989494224 140735989490520 5688624 0 0 16781312 2 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30834/statm: 190813 183461 702 2698 0 188108 0
[pid=30832/tid=30839] ppid=30806 vsize=569440 CPUtime=0 cores=0,2,4,6
/proc/30832/task/30839/stat : 30839 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337733432 583106560 20818 33554432000 4194304 5683644 140733308228208 140728628331056 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30841] ppid=30806 vsize=645232 CPUtime=0.08 cores=0,2,4,6
/proc/30841/stat : 30841 (python) S 30806 30806 27000 0 -1 4202560 1108 0 0 0 5 3 0 0 20 0 2 0 337737950 660717568 20824 33554432000 4194304 5683644 140733308228208 140733308219856 219517347085 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30841/statm: 161308 20824 383 364 0 96519 0
[pid=30843] ppid=30841 vsize=94352 CPUtime=46.72 cores=0,2,4,6
/proc/30843/stat : 30843 (wbo1.4b-fixed) T 30841 30843 30843 0 -1 4202496 25444 0 0 0 4656 16 0 0 20 0 1 0 337737950 96616448 22583 33554432000 134512640 135752315 4291893200 4291891200 134611201 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/30843/statm: 23588 22583 146 303 0 23283 0
[pid=30841/tid=30848] ppid=30806 vsize=645232 CPUtime=0 cores=0,2,4,6
/proc/30841/task/30848/stat : 30848 (python) S 30806 30806 27000 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337742624 660717568 20824 33554432000 4194304 5683644 140733308228208 140728617841200 219517343520 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30806/tid=30813] ppid=30804 vsize=721012 CPUtime=48.18 cores=0,2,4,6
/proc/30806/task/30813/stat : 30813 (python) S 30804 30806 27000 0 -1 4202560 34 174185 0 0 0 0 4787 31 20 0 6 0 337712921 738316288 22357 33554432000 4194304 5683644 140733308228208 140728649310768 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30806/tid=30818] ppid=30804 vsize=721012 CPUtime=48.18 cores=0,2,4,6
/proc/30806/task/30818/stat : 30818 (python) S 30804 30806 27000 0 -1 4202560 21 174185 0 0 0 0 4787 31 20 0 6 0 337718858 738316288 22357 33554432000 4194304 5683644 140733308228208 140728638820912 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30825] ppid=30804 vsize=721012 CPUtime=48.18 cores=0,2,4,6
/proc/30806/task/30825/stat : 30825 (python) S 30804 30806 27000 0 -1 4202560 21 174185 0 0 0 0 4787 31 20 0 6 0 337723668 738316288 22357 33554432000 4194304 5683644 140733308228208 140728628331056 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30833] ppid=30804 vsize=721012 CPUtime=48.18 cores=0,2,4,6
/proc/30806/task/30833/stat : 30833 (python) S 30804 30806 27000 0 -1 4202560 21 174185 0 0 0 0 4787 31 20 0 6 0 337728526 738316288 22357 33554432000 4194304 5683644 140733308228208 140728617841200 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30806/tid=30842] ppid=30804 vsize=721012 CPUtime=48.18 cores=0,2,4,6
/proc/30806/task/30842/stat : 30842 (python) S 30804 30806 27000 0 -1 4202560 22 174185 0 0 0 0 4787 31 20 0 6 0 337737950 738316288 22357 33554432000 4194304 5683644 140733308228208 140728599589424 219517343520 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 406.28
Current children cumulated vsize (KiB) 3286936
Child status: 0
Real time (s): 405.996
CPU time (s): 406.462
CPU user time (s): 400.13
CPU system time (s): 6.33204
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 5666148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 400.13
system time used= 6.33204
maximum resident set size= 734300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629171
page faults= 1
swaps= 0
block input operations= 0
block output operations= 26632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1695
involuntary context switches= 851
runsolver used 1.2898 second user time and 2.69359 second system time
The end