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-3733828-1338718416/watcher-3733828-1338718416 -o /tmp/evaluation-result-3733828-1338718416/solver-3733828-1338718416 -C 1800 -W 1900 -M 15500 solver HOME/instance-3733828-1338718416.opb 1550387469
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.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 337966535 15642624 526 33554432000 4194304 5683644 140735911034944 140735911020856 233220948880 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/27388/statm: 3819 526 312 364 0 261 0
[startup+0.083569 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=17288 CPUtime=0.02 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 2030 0 0 0 1 1 0 0 20 0 1 0 337966535 17702912 561 33554432000 4194304 4196484 140735227192256 140735227174072 233220947637 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 4322 561 332 1 0 257 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17288
[startup+0.229812 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=41208 CPUtime=0.06 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 3208 0 0 0 3 3 0 0 20 0 1 0 337966535 42196992 1553 33554432000 4194304 4196484 140735227192256 140735227061720 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 10302 1553 483 1 0 1057 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41208
[startup+0.300328 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=54512 CPUtime=0.08 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 3935 0 0 0 4 4 0 0 20 0 1 0 337966535 55820288 2130 33554432000 4194304 4196484 140735227192256 140735227052008 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 13628 2130 600 1 0 1483 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54512
[startup+0.700266 s]
/proc/loadavg: 2.17 2.14 2.05 2/195 27388
/proc/meminfo: memFree=28679308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=99044 CPUtime=0.24 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 5754 0 0 0 14 10 0 0 20 0 1 0 337966535 101421056 3602 33554432000 4194304 4196484 140735227192256 140735227135192 233220947797 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 24761 3602 1047 1 0 2563 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 99044
[startup+1.50022 s]
/proc/loadavg: 2.32 2.17 2.06 2/196 27393
/proc/meminfo: memFree=28656240/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=118120 CPUtime=0.5 cores=1,3,5,7
/proc/27388/stat : 27388 (python) D 27386 27388 22930 0 -1 4202496 9592 1011 0 0 30 20 0 0 20 0 1 0 337966535 120954880 5830 33554432000 4194304 4196484 140735227192256 140735227125864 233220948880 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 29530 5830 1083 1 0 4729 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 118120
[startup+3.10029 s]
/proc/loadavg: 2.32 2.17 2.06 3/197 27394
/proc/meminfo: memFree=28650960/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=134484 CPUtime=0.67 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 11225 1011 0 0 42 25 0 0 20 0 1 0 337966535 137711616 6348 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 33621 6348 1170 1 0 5193 0
[pid=27394] ppid=27388 vsize=3468 CPUtime=1.22 cores=1,3,5,7
/proc/27394/stat : 27394 (clasp-1.3.3-x86) R 27388 27394 27394 0 -1 4202496 920 0 0 0 122 0 0 0 20 0 1 0 337966722 3551232 609 33554432000 134512640 136080129 4288773280 4288772224 134580629 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27394/statm: 867 609 175 383 0 482 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 137952
heavy processes:
[startup+6.30027 s]
/proc/loadavg: 2.37 2.18 2.07 3/197 27394
/proc/meminfo: memFree=28637308/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=134484 CPUtime=0.81 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 11236 1011 0 0 54 27 0 0 20 0 1 0 337966535 137711616 6348 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 33621 6348 1170 1 0 5193 0
[pid=27394] ppid=27388 vsize=4128 CPUtime=4.42 cores=1,3,5,7
/proc/27394/stat : 27394 (clasp-1.3.3-x86) R 27388 27394 27394 0 -1 4202496 1092 0 0 0 442 0 0 0 20 0 1 0 337966722 4227072 781 33554432000 134512640 136080129 4288773280 4288772224 134579945 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27394/statm: 1032 781 175 383 0 647 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 138612
[startup+12.7002 s]
/proc/loadavg: 2.34 2.18 2.07 3/197 27394
/proc/meminfo: memFree=28605364/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=11.64 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 12497 3261 0 0 82 32 1049 1 20 0 1 0 337966535 139821056 6369 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6369 1180 1 0 5193 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 136544
[startup+25.5003 s]
/proc/loadavg: 2.36 2.19 2.07 3/197 27397
/proc/meminfo: memFree=28552488/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=12.2 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 12525 3261 0 0 131 39 1049 1 20 0 1 0 337966535 139821056 6369 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6369 1180 1 0 5193 0
[pid=27397] ppid=27388 vsize=5128 CPUtime=13.11 cores=1,3,5,7
/proc/27397/stat : 27397 (clasp-1.3.3-x86) R 27388 27397 27397 0 -1 4202496 1357 0 0 0 1311 0 0 0 20 0 1 0 337967774 5251072 1046 33554432000 134512640 136080129 4289770688 4289769756 134588560 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27397/statm: 1282 1046 175 383 0 897 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 141672
[startup+51.1003 s]
/proc/loadavg: 2.33 2.20 2.08 3/197 27397
/proc/meminfo: memFree=28470632/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=13.33 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 12553 3261 0 0 230 53 1049 1 20 0 1 0 337966535 139821056 6369 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6369 1180 1 0 5193 0
[pid=27397] ppid=27388 vsize=6940 CPUtime=38.7 cores=1,3,5,7
/proc/27397/stat : 27397 (clasp-1.3.3-x86) R 27388 27397 27397 0 -1 4202496 1792 0 0 0 3870 0 0 0 20 0 1 0 337967774 7106560 1481 33554432000 134512640 136080129 4289770688 4289769680 134593897 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27397/statm: 1735 1481 175 383 0 1350 0
Current children cumulated CPU time (s) 52.03
Current children cumulated vsize (KiB) 143484
[startup+102.3 s]
/proc/loadavg: 2.25 2.20 2.09 3/179 27403
/proc/meminfo: memFree=28600156/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=66.17 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 13746 6000 0 0 447 88 6080 2 20 0 1 0 337966535 139821056 6373 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6373 1180 1 0 5193 0
[pid=27400] ppid=27388 vsize=118516 CPUtime=39.56 cores=1,3,5,7
/proc/27400/stat : 27400 (wbo1.4a) R 27388 27400 27400 0 -1 4202496 29473 0 0 0 3938 18 0 0 20 0 1 0 337972808 121360384 29148 33554432000 134512640 135751879 4290765792 4290764044 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27400/statm: 29629 29148 139 303 0 29324 0
Current children cumulated CPU time (s) 105.73
Current children cumulated vsize (KiB) 255060
[startup+162.3 s]
/proc/loadavg: 2.15 2.18 2.09 3/179 27407
/proc/meminfo: memFree=28519152/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=119.32 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 14979 45823 0 0 681 121 11104 26 20 0 1 0 337966535 139821056 6373 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6373 1180 1 0 5193 0
[pid=27406] ppid=27388 vsize=7064 CPUtime=49.05 cores=1,3,5,7
/proc/27406/stat : 27406 (clasp-1.3.3-x86) R 27388 27406 27406 0 -1 4202496 1819 0 0 0 4905 0 0 0 20 0 1 0 337977859 7233536 1505 33554432000 134512640 136080129 4292753936 4292753008 134850077 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0
/proc/27406/statm: 1766 1505 175 383 0 1381 0
Current children cumulated CPU time (s) 168.37
Current children cumulated vsize (KiB) 143608
[startup+222.306 s]
/proc/loadavg: 2.20 2.19 2.09 3/179 27464
/proc/meminfo: memFree=28775012/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=222.73 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 16220 49059 0 0 926 163 21147 37 20 0 1 0 337966535 139821056 6377 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6377 1180 1 0 5193 0
[pid=27464] ppid=27388 vsize=34224 CPUtime=8.48 cores=1,3,5,7
/proc/27464/stat : 27464 (wbo1.4a) R 27388 27464 27464 0 -1 4202496 8431 0 0 0 843 5 0 0 20 0 1 0 337987916 35045376 8110 33554432000 134512640 135751879 4292806320 4292804572 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27464/statm: 8556 8110 139 303 0 8251 0
Current children cumulated CPU time (s) 231.21
Current children cumulated vsize (KiB) 170768
[startup+282.3 s]
/proc/loadavg: 2.36 2.23 2.11 3/179 27470
/proc/meminfo: memFree=28570156/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=225.44 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 16270 49059 0 0 1161 199 21147 37 20 0 1 0 337966535 139821056 6377 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6377 1180 1 0 5193 0
[pid=27464] ppid=27388 vsize=207380 CPUtime=68.47 cores=1,3,5,7
/proc/27464/stat : 27464 (wbo1.4a) R 27388 27464 27464 0 -1 4202496 51696 0 0 0 6816 31 0 0 20 0 1 0 337987916 212357120 51373 33554432000 134512640 135751879 4292806320 4292804572 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27464/statm: 51845 51373 139 303 0 51540 0
Current children cumulated CPU time (s) 293.91
Current children cumulated vsize (KiB) 343924
[startup+342.3 s]
/proc/loadavg: 2.19 2.20 2.10 3/179 27626
/proc/meminfo: memFree=28711244/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=329.31 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 17509 122555 0 0 1414 238 31199 80 20 0 1 0 337966535 139821056 6378 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6378 1180 1 0 5193 0
[pid=27473] ppid=27388 vsize=75720 CPUtime=27.47 cores=1,3,5,7
/proc/27473/stat : 27473 (wbo1.4b) R 27388 27473 27473 0 -1 4202496 18826 0 0 0 2715 32 0 0 20 0 1 0 337998016 77537280 18480 33554432000 134512640 135751879 4292568912 4292567004 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27473/statm: 18930 18480 144 303 0 18625 0
Current children cumulated CPU time (s) 356.78
Current children cumulated vsize (KiB) 212264
[startup+402.301 s]
/proc/loadavg: 2.02 2.14 2.09 3/198 27656
/proc/meminfo: memFree=28606328/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=382.78 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 18767 162387 0 0 1649 279 36228 122 20 0 1 0 337966535 139821056 6379 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6379 1180 1 0 5193 0
[pid=27629] ppid=27388 vsize=2715136 CPUtime=37.18 cores=1,3,5,7
/proc/27629/stat : 27629 (java) S 27388 27629 27629 0 -1 4202496 8671 0 1 0 3711 7 0 0 20 0 19 0 338003089 2780299264 44699 33554432000 1073741824 1073778376 140734844165984 140734844157120 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27629/statm: 678784 44699 2240 9 0 669477 0
################
# More data... #
################
/proc/27629/task/27632/stat : 27632 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220925000232 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27629/tid=27633] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27633/stat : 27633 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220923947176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27629/tid=27634] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27634/stat : 27634 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220922894632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27635] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27635/stat : 27635 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220921842600 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27636] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27636/stat : 27636 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220920790056 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27637] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27637/stat : 27637 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220919737000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27638] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27638/stat : 27638 (java) S 27388 27629 27629 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338003092 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220918684456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27639] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27639/stat : 27639 (java) S 27388 27629 27629 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 338003093 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220906273128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27629/tid=27640] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27640/stat : 27640 (java) S 27388 27629 27629 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338003094 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220905219448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27641] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27641/stat : 27641 (java) S 27388 27629 27629 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338003094 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220904166280 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27642] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27642/stat : 27642 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003096 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220903115024 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27643] ppid=27388 vsize=2715136 CPUtime=0.19 cores=1,3,5,7
/proc/27629/task/27643/stat : 27643 (java) S 27388 27629 27629 0 -1 4202560 2024 0 0 0 19 0 0 0 20 0 19 0 338003096 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220902062904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27644] ppid=27388 vsize=2715136 CPUtime=0.26 cores=1,3,5,7
/proc/27629/task/27644/stat : 27644 (java) S 27388 27629 27629 0 -1 4202560 2305 0 0 0 26 0 0 0 20 0 19 0 338003097 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220901010360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27629/tid=27645] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27645/stat : 27645 (java) S 27388 27629 27629 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338003097 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220899957496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27629/tid=27646] ppid=27388 vsize=2715136 CPUtime=0.03 cores=1,3,5,7
/proc/27629/task/27646/stat : 27646 (java) S 27388 27629 27629 0 -1 4202560 8 0 0 0 0 3 0 0 20 0 19 0 338003097 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220898905160 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27629/tid=27647] ppid=27388 vsize=2715136 CPUtime=0 cores=1,3,5,7
/proc/27629/task/27647/stat : 27647 (java) S 27388 27629 27629 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338003111 2780299264 72859 33554432000 1073741824 1073778376 140734844165984 140220897850408 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 485.79
Current children cumulated vsize (KiB) 2851680
[startup+465.407 s]
/proc/loadavg: 2.01 2.12 2.08 3/197 27657
/proc/meminfo: memFree=28360332/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=485.68 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 19983 172058 0 1 1896 319 46217 136 20 0 1 0 337966535 139821056 6380 33554432000 4194304 4196484 140735227192256 140735227184016 233220947716 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6380 1180 1 0 5193 0
Current children cumulated CPU time (s) 485.68
Current children cumulated vsize (KiB) 136544
#
############
[startup+522.3 s]
/proc/loadavg: 2.18 2.14 2.09 3/179 27663
/proc/meminfo: memFree=28567132/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=488.47 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20052 172058 0 1 2137 357 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=175604 CPUtime=56.88 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 43771 0 0 0 5668 20 0 0 20 0 1 0 338013075 179818496 43449 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 43901 43449 144 303 0 43596 0
Current children cumulated CPU time (s) 545.35
Current children cumulated vsize (KiB) 312148
Solver just ended. Dumping a history of the last processes samples
[startup+537.6 s]
/proc/loadavg: 2.22 2.15 2.09 3/197 27684
/proc/meminfo: memFree=28243532/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=489.15 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20058 172058 0 1 2195 367 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=217540 CPUtime=72.17 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 54241 0 0 0 7191 26 0 0 20 0 1 0 338013075 222760960 53916 33554432000 134512640 135751879 4289154128 4289152144 134616489 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 54385 53916 144 303 0 54080 0
Current children cumulated CPU time (s) 561.32
Current children cumulated vsize (KiB) 354084
[startup+550.4 s]
/proc/loadavg: 2.27 2.16 2.10 3/197 27684
/proc/meminfo: memFree=28082692/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=489.73 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20063 172058 0 1 2246 374 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=253600 CPUtime=84.96 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 63281 0 0 0 8465 31 0 0 20 0 1 0 338013075 259686400 62953 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 63400 62953 144 303 0 63095 0
Current children cumulated CPU time (s) 574.69
Current children cumulated vsize (KiB) 390144
[startup+556.8 s]
/proc/loadavg: 2.22 2.15 2.10 4/197 27684
/proc/meminfo: memFree=28060908/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.01 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20066 172058 0 1 2270 378 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=268660 CPUtime=91.36 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 67039 0 0 0 9103 33 0 0 20 0 1 0 338013075 275107840 66715 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 67165 66715 144 303 0 66860 0
Current children cumulated CPU time (s) 581.37
Current children cumulated vsize (KiB) 405204
[startup+563.2 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28034548/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.32 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20068 172058 0 1 2296 383 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=284116 CPUtime=97.77 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 70901 0 0 0 9742 35 0 0 20 0 1 0 338013075 290934784 70577 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 71029 70577 144 303 0 70724 0
Current children cumulated CPU time (s) 588.09
Current children cumulated vsize (KiB) 420660
[startup+564.8 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28031680/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.39 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20069 172058 0 1 2302 384 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=287428 CPUtime=99.35 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 71727 0 0 0 9900 35 0 0 20 0 1 0 338013075 294326272 71404 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 71857 71404 144 303 0 71552 0
Current children cumulated CPU time (s) 589.74
Current children cumulated vsize (KiB) 423972
[startup+565.6 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28029448/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.41 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20069 172058 0 1 2303 385 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=289156 CPUtime=100.15 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 72152 0 0 0 9980 35 0 0 20 0 1 0 338013075 296095744 71829 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 72289 71829 144 303 0 71984 0
Current children cumulated CPU time (s) 590.56
Current children cumulated vsize (KiB) 425700
[startup+566 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28029448/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=490.44 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 20071 172058 0 1 2305 386 46217 136 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
[pid=27660] ppid=27388 vsize=290344 CPUtime=100.56 cores=1,3,5,7
/proc/27660/stat : 27660 (wbo1.4b) R 27388 27660 27660 0 -1 4202496 72436 0 0 0 10020 36 0 0 20 0 1 0 338013075 297312256 72113 33554432000 134512640 135751879 4289154128 4289152220 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0 0 0
/proc/27660/statm: 72586 72113 144 303 0 72281 0
Current children cumulated CPU time (s) 591
Current children cumulated vsize (KiB) 426888
[startup+566.4 s]
/proc/loadavg: 2.21 2.15 2.10 3/197 27684
/proc/meminfo: memFree=28029448/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136544 CPUtime=591.4 cores=1,3,5,7
/proc/27388/stat : 27388 (python) S 27386 27388 22930 0 -1 4202496 21265 245605 0 1 2314 387 56265 174 20 0 1 0 337966535 139821056 6381 33554432000 4194304 4196484 140735227192256 140735227184016 233220964776 0 0 16781312 2 18446744071580425449 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34136 6381 1180 1 0 5193 0
Current children cumulated CPU time (s) 591.4
Current children cumulated vsize (KiB) 136544
[startup+566.5 s]
/proc/loadavg: 2.19 2.15 2.09 3/196 27689
/proc/meminfo: memFree=28316016/32873844 swapFree=7120/7120
[pid=27388] ppid=27386 vsize=136540 CPUtime=591.6 cores=1,3,5,7
/proc/27388/stat : 27388 (python) R 27386 27388 22930 0 -1 4202496 25078 247475 0 1 2321 388 56276 175 20 0 1 0 337966535 139816960 6383 33554432000 4194304 4196484 140735227192256 140735227184792 140691692943817 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0
/proc/27388/statm: 34135 6383 1181 1 0 5192 0
Current children cumulated CPU time (s) 591.6
Current children cumulated vsize (KiB) 136540
Child status: 20
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.110016
# lost CPU user time (s): 0.160004
# lost CPU system time (s): -0.0500002
Real time (s): 566.531
CPU time (s): 591.757
CPU user time (s): 586.166
CPU system time (s): 5.59114
CPU usage (%): 104.453
Max. virtual memory (cumulated for all children) (KiB): 2851684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.006
system time used= 5.64114
maximum resident set size= 291436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273637
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7098
involuntary context switches= 2341
runsolver used 1.18982 second user time and 2.97755 second system time
The end