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-3708380-1338249169/watcher-3708380-1338249169 -o /tmp/evaluation-result-3708380-1338249169/solver-3708380-1338249169 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708380-1338249169.opb
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.00 2.00 2.00 3/174 19657
/proc/meminfo: memFree=28734668/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=38652 CPUtime=0 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 291042889 39579648 321 33554432000 134512640 137138936 4292396432 4292394824 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 9663 322 181 642 0 2126 0
[startup+0.0425311 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19657
/proc/meminfo: memFree=28734668/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=40620 CPUtime=0.03 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 991 0 0 0 3 0 0 0 20 0 1 0 291042889 41594880 944 33554432000 134512640 137138936 4292396432 4292394960 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 10155 945 299 642 0 2618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 40620
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19657
/proc/meminfo: memFree=28734668/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=43184 CPUtime=0.09 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 1820 0 0 0 9 0 0 0 20 0 1 0 291042889 44220416 1733 33554432000 134512640 137138936 4292396432 4292394944 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 10796 1734 457 642 0 3259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43184
[startup+0.300259 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19657
/proc/meminfo: memFree=28734668/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=49876 CPUtime=0.29 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4132 0 0 0 29 0 0 0 20 0 1 0 291042889 51073024 3917 33554432000 134512640 137138936 4292396432 4292391048 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 12469 3917 988 642 0 4932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49876
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19657
/proc/meminfo: memFree=28734668/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=63288 CPUtime=0.69 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 8696 0 0 0 68 1 0 0 20 0 1 0 291042889 64806912 8227 33554432000 134512640 137138936 4292396432 4292394648 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 15822 8227 1978 642 0 8285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63288
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19658
/proc/meminfo: memFree=28699288/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=88968 CPUtime=1.49 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 17175 0 0 0 146 3 0 0 20 0 1 0 291042889 91103232 16200 33554432000 134512640 137138936 4292396432 4292394824 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 22242 16200 3576 642 0 14705 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88968
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19658
/proc/meminfo: memFree=28666980/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=121256 CPUtime=3.09 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 27651 0 0 0 304 5 0 0 20 0 1 0 291042889 124166144 26687 33554432000 134512640 137138936 4292396432 4292394852 136525312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 30314 26687 6206 642 0 22777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121256
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19658
/proc/meminfo: memFree=28574396/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=175400 CPUtime=6.28 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 43981 0 0 0 620 8 0 0 20 0 1 0 291042889 179609600 40098 33554432000 134512640 137138936 4292396432 4287584416 134566117 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 43850 40098 184 642 0 43206 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 175400
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 19658
/proc/meminfo: memFree=28575528/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=175400 CPUtime=12.69 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 43984 0 0 0 1260 9 0 0 20 0 1 0 291042889 179609600 40101 33554432000 134512640 137138936 4292396432 4287584192 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 43850 40101 184 642 0 43206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175400
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 19658
/proc/meminfo: memFree=28573180/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=175400 CPUtime=25.49 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 43984 0 0 0 2540 9 0 0 20 0 1 0 291042889 179609600 40101 33554432000 134512640 137138936 4292396432 4287583892 136500315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 43850 40101 184 642 0 43206 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175400
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 19658
/proc/meminfo: memFree=28575152/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=175400 CPUtime=51.08 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 43986 0 0 0 5099 9 0 0 20 0 1 0 291042889 179609600 40102 33554432000 134512640 137138936 4292396432 4287584192 134541971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 43850 40102 184 642 0 43206 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175400
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19658
/proc/meminfo: memFree=28572336/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=175400 CPUtime=102.24 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 44030 0 0 0 10215 9 0 0 20 0 1 0 291042889 179609600 40108 33554432000 134512640 137138936 4292396432 4287583892 136500289 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 43850 40108 184 642 0 43206 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 175400
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/175 19659
/proc/meminfo: memFree=28561768/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=175532 CPUtime=162.22 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 44038 0 0 0 16212 10 0 0 20 0 1 0 291042889 179744768 41198 33554432000 134512640 137138936 4292396432 4287584416 134566244 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 43883 41198 184 642 0 43239 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 175532
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/175 19659
/proc/meminfo: memFree=28551848/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=180916 CPUtime=222.22 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 413603 0 0 0 22004 218 0 0 20 0 1 0 291042889 185257984 42583 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 45229 42583 192 642 0 44585 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 180916
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 19659
/proc/meminfo: memFree=28546188/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=181700 CPUtime=282.2 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 708929 0 0 0 27942 278 0 0 20 0 1 0 291042889 186060800 42779 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 45425 42779 192 642 0 44781 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 181700
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 19659
/proc/meminfo: memFree=28542716/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=179424 CPUtime=342.2 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 930395 0 0 0 33896 324 0 0 20 0 1 0 291042889 183730176 42210 33554432000 134512640 137138936 4292396432 4292395360 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 44856 42210 192 642 0 44212 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 179424
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 19659
/proc/meminfo: memFree=28536508/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=183800 CPUtime=402.18 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 1089122 0 0 0 39862 356 0 0 20 0 1 0 291042889 188211200 43304 33554432000 134512640 137138936 4292396432 4292394976 134598934 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 45950 43304 192 642 0 45306 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 183800
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19663
/proc/meminfo: memFree=28534764/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=184880 CPUtime=462.17 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 1264709 0 0 0 45824 393 0 0 20 0 1 0 291042889 189317120 43574 33554432000 134512640 137138936 4292396432 4292394856 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 46220 43574 192 642 0 45576 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 184880
[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 19686
/proc/meminfo: memFree=28530220/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=185996 CPUtime=522.17 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 1397847 0 0 0 51797 420 0 0 20 0 1 0 291042889 190459904 43853 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 46499 43853 192 642 0 45855 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 185996
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19686
/proc/meminfo: memFree=28523532/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=187612 CPUtime=582.16 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 1519800 0 0 0 57771 445 0 0 20 0 1 0 291042889 192114688 44257 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 46903 44257 192 642 0 46259 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 187612
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19687
/proc/meminfo: memFree=28507080/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=192828 CPUtime=822.12 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 2086167 0 0 0 81654 558 0 0 20 0 1 0 291042889 197455872 45361 33554432000 134512640 137138936 4292396432 4291705160 134599672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 48207 45361 192 642 0 47563 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 192828
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19687
/proc/meminfo: memFree=28502244/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=192704 CPUtime=882.11 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 2256745 0 0 0 87617 594 0 0 20 0 1 0 291042889 197328896 45530 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 48176 45530 192 642 0 47532 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 192704
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19687
/proc/meminfo: memFree=28493928/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=194200 CPUtime=942.1 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 2450223 0 0 0 93578 632 0 0 20 0 1 0 291042889 198860800 45904 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 48550 45904 192 642 0 47906 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 194200
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19687
/proc/meminfo: memFree=28486364/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=197796 CPUtime=1002.09 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 2672632 0 0 0 99530 679 0 0 20 0 1 0 291042889 202543104 46771 33554432000 134512640 137138936 4292396432 4292395360 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 49449 46771 192 642 0 48805 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 197796
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19691
/proc/meminfo: memFree=28482512/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=200672 CPUtime=1062.08 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 3058262 0 0 0 105449 759 0 0 20 0 1 0 291042889 205488128 47491 33554432000 134512640 137138936 4292396432 4292395012 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 50168 47491 192 642 0 49524 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 200672
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19691
/proc/meminfo: memFree=28473572/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=203584 CPUtime=1122.07 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 3301233 0 0 0 111398 809 0 0 20 0 1 0 291042889 208470016 48218 33554432000 134512640 137138936 4292396432 4292394856 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 50896 48218 192 642 0 50252 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 203584
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19691
/proc/meminfo: memFree=28458072/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=204092 CPUtime=1182.06 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 3637449 0 0 0 117327 879 0 0 20 0 1 0 291042889 208990208 48377 33554432000 134512640 137138936 4292396432 4292395360 134543206 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 51023 48377 192 642 0 50379 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 204092
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19691
/proc/meminfo: memFree=28447328/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=209468 CPUtime=1242.05 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 3936260 0 0 0 123265 940 0 0 20 0 1 0 291042889 214495232 49689 33554432000 134512640 137138936 4292396432 4292394856 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52367 49689 192 642 0 51723 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 209468
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19691
/proc/meminfo: memFree=28447080/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=209696 CPUtime=1302.05 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4104853 0 0 0 129231 974 0 0 20 0 1 0 291042889 214728704 49746 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52424 49746 192 642 0 51780 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 209696
[startup+1362.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/175 19730
/proc/meminfo: memFree=28556148/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=206560 CPUtime=1362.03 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4259328 0 0 0 135195 1008 0 0 20 0 1 0 291042889 211517440 48962 33554432000 134512640 137138936 4292396432 4292395360 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 51640 48962 192 642 0 50996 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 206560
[startup+1422.31 s]
/proc/loadavg: 1.98 1.98 1.99 3/175 19730
/proc/meminfo: memFree=28554968/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=210208 CPUtime=1422.03 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4395612 0 0 0 141168 1035 0 0 20 0 1 0 291042889 215252992 49888 33554432000 134512640 137138936 4292396432 4292394948 134551445 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52552 49888 192 642 0 51908 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 210208
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 19730
/proc/meminfo: memFree=28555240/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=210208 CPUtime=1482.02 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4501452 0 0 0 147144 1058 0 0 20 0 1 0 291042889 215252992 49888 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52552 49888 192 642 0 51908 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 210208
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 19730
/proc/meminfo: memFree=28545160/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=209472 CPUtime=1542.01 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4622847 0 0 0 153117 1084 0 0 20 0 1 0 291042889 214499328 49722 33554432000 134512640 137138936 4292396432 4292394856 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52368 49722 192 642 0 51724 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 209472
[startup+1602.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/175 19730
/proc/meminfo: memFree=28543856/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=209696 CPUtime=1601.99 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4766135 0 0 0 159087 1112 0 0 20 0 1 0 291042889 214728704 49746 33554432000 134512640 137138936 4292396432 4292394856 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52424 49746 192 642 0 51780 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 209696
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19734
/proc/meminfo: memFree=28539692/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=209888 CPUtime=1661.98 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 4934633 0 0 0 165052 1146 0 0 20 0 1 0 291042889 214925312 49826 33554432000 134512640 137138936 4292396432 4292394856 134606693 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52472 49826 192 642 0 51828 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 209888
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19734
/proc/meminfo: memFree=28535608/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=210644 CPUtime=1721.98 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 5100106 0 0 0 171022 1176 0 0 20 0 1 0 291042889 215699456 50015 33554432000 134512640 137138936 4292396432 4292395184 134575649 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52661 50015 192 642 0 52017 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 210644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19734
/proc/meminfo: memFree=28530756/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=212104 CPUtime=1781.97 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 5260826 0 0 0 176990 1207 0 0 20 0 1 0 291042889 217194496 50380 33554432000 134512640 137138936 4292396432 4292394928 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 53026 50380 192 642 0 52382 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 212104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19734
/proc/meminfo: memFree=28529764/32873852 swapFree=6856/6856
[pid=19657] ppid=19655 vsize=211656 CPUtime=1800.07 cores=1,3,5,7
/proc/19657/stat : 19657 (bsolo) R 19655 19657 18303 0 -1 4202496 5297445 0 0 0 178793 1214 0 0 20 0 1 0 291042889 216735744 50268 33554432000 134512640 137138936 4292396432 4292394856 134606630 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19657/statm: 52914 50268 192 642 0 52270 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 211656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1787.94
CPU system time (s): 12.1522
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 214328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.94
system time used= 12.1522
maximum resident set size= 203752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5297445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 1872
runsolver used 3.48947 second user time and 9.09562 second system time
The end