runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880044-1245236326/watcher-1880044-1245236326 -o /tmp/evaluation-result-1880044-1245236326/solver-1880044-1245236326 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880044-1245236326.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14822
/proc/meminfo: memFree=1658056/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=13356 CPUtime=0
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 191226465 13676544 247 1992294400 134512640 137136520 4294956256 18446744073709551615 134520044 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 3339 247 174 640 0 2038 0

[startup+0.103732 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14822
/proc/meminfo: memFree=1658056/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=16384 CPUtime=0.09
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 1210 0 0 0 9 0 0 0 18 0 1 0 191226465 16777216 1194 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 4096 1194 357 640 0 2795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16384

[startup+0.202753 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14822
/proc/meminfo: memFree=1658056/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=19408 CPUtime=0.19
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 2147 0 0 0 18 1 0 0 18 0 1 0 191226465 19873792 2131 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 4852 2132 541 640 0 3551 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19408

[startup+0.302773 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14822
/proc/meminfo: memFree=1658056/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=22564 CPUtime=0.29
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 3100 0 0 0 28 1 0 0 19 0 1 0 191226465 23105536 3084 1992294400 134512640 137136520 4294956256 18446744073709551615 134520635 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 5641 3085 728 640 0 4340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22564

[startup+0.701859 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14822
/proc/meminfo: memFree=1658056/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=30176 CPUtime=0.69
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 5802 0 0 0 66 3 0 0 22 0 1 0 191226465 30900224 5129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 7544 5129 190 640 0 6900 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30176

[startup+1.50203 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 14823
/proc/meminfo: memFree=1638272/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=30176 CPUtime=1.49
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 5802 0 0 0 145 4 0 0 25 0 1 0 191226465 30900224 5129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 7544 5129 190 640 0 6900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30176

[startup+3.10138 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 14823
/proc/meminfo: memFree=1638144/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=30176 CPUtime=3.09
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 5802 0 0 0 301 8 0 0 25 0 1 0 191226465 30900224 5129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 7544 5129 190 640 0 6900 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30176

[startup+6.30106 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 14823
/proc/meminfo: memFree=1629312/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=42752 CPUtime=6.29
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 10616 0 0 0 616 13 0 0 25 0 1 0 191226465 43778048 8278 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 10688 8278 196 640 0 10044 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42752

[startup+12.7014 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 14823
/proc/meminfo: memFree=1605952/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=63892 CPUtime=12.68
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 15907 0 0 0 1252 16 0 0 25 0 1 0 191226465 65425408 13569 1992294400 134512640 137136520 4294956256 18446744073709551615 136502004 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 15973 13569 196 640 0 15329 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63892

[startup+25.5012 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 14823
/proc/meminfo: memFree=1576576/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=91796 CPUtime=25.48
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 22865 0 0 0 2528 20 0 0 25 0 1 0 191226465 93999104 20527 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 22949 20527 196 640 0 22305 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91796

[startup+51.1027 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 14823
/proc/meminfo: memFree=1535936/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=132728 CPUtime=51.06
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 33113 0 0 0 5081 25 0 0 25 0 1 0 191226465 135913472 30775 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 33182 30775 197 640 0 32538 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 132728

[startup+102.302 s]
/proc/loadavg: 0.81 0.28 0.10 2/65 14823
/proc/meminfo: memFree=1485440/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=182488 CPUtime=102.25
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 45534 0 0 0 10193 32 0 0 25 0 1 0 191226465 186867712 43196 1992294400 134512640 137136520 4294956256 18446744073709551615 134600233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 45622 43196 197 640 0 44978 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 182488

[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/65 14829
/proc/meminfo: memFree=1437632/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=230620 CPUtime=162.22
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 57561 0 0 0 16183 39 0 0 25 0 1 0 191226465 236154880 55223 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 57655 55223 197 640 0 57011 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 230620

[startup+222.305 s]
/proc/loadavg: 0.97 0.51 0.20 2/65 14829
/proc/meminfo: memFree=1386944/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=280692 CPUtime=222.2
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 70103 0 0 0 22175 45 0 0 25 0 1 0 191226465 287428608 67765 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 70173 67765 197 640 0 69529 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 280692

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/65 14829
/proc/meminfo: memFree=1345088/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=323128 CPUtime=282.17
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 80689 0 0 0 28167 50 0 0 25 0 1 0 191226465 330883072 78351 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 80782 78351 197 640 0 80138 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 323128

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/65 14829
/proc/meminfo: memFree=1310720/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=356900 CPUtime=342.16
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 89144 0 0 0 34161 55 0 0 25 0 1 0 191226465 365465600 86806 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 89225 86806 197 640 0 88581 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 356900

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/65 14829
/proc/meminfo: memFree=1278400/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=389384 CPUtime=402.13
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 97260 0 0 0 40153 60 0 0 25 0 1 0 191226465 398729216 94922 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 97346 94922 197 640 0 96702 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 389384

[startup+462.302 s]
/proc/loadavg: 0.99 0.77 0.37 2/65 14829
/proc/meminfo: memFree=1249536/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=417808 CPUtime=462.11
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 104388 0 0 0 46147 64 0 0 25 0 1 0 191226465 427835392 102050 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 104452 102050 197 640 0 103808 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 417808

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 14829
/proc/meminfo: memFree=1223808/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=443756 CPUtime=522.08
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 110853 0 0 0 52141 67 0 0 25 0 1 0 191226465 454406144 108515 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 110939 108515 197 640 0 110295 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 443756

[startup+582.302 s]
/proc/loadavg: 0.99 0.84 0.44 2/65 14829
/proc/meminfo: memFree=1205568/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=461728 CPUtime=582.06
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 115346 0 0 0 58136 70 0 0 25 0 1 0 191226465 472809472 113008 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 115432 113008 197 640 0 114788 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 461728

[startup+642.302 s]
/proc/loadavg: 0.99 0.87 0.47 2/65 14829
/proc/meminfo: memFree=1187776/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=479632 CPUtime=642.04
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 119839 0 0 0 64131 73 0 0 25 0 1 0 191226465 491143168 117501 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 119908 117501 197 640 0 119264 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 479632

[startup+702.302 s]

################
# More data... #
################

/proc/meminfo: memFree=1038528/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=628432 CPUtime=1061.89
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 157035 0 0 0 106095 94 0 0 25 0 1 0 191226465 643514368 154697 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 157108 154697 197 640 0 156464 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 628432

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/65 14829
/proc/meminfo: memFree=1020544/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=646264 CPUtime=1121.86
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 161496 0 0 0 112090 96 0 0 25 0 1 0 191226465 661774336 159158 1992294400 134512640 137136520 4294956256 18446744073709551615 136509055 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 161566 159158 197 640 0 160922 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 646264

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/65 14829
/proc/meminfo: memFree=1004736/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=662196 CPUtime=1181.84
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 165464 0 0 0 118086 98 0 0 25 0 1 0 191226465 678088704 163126 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 165549 163126 197 640 0 164905 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 662196

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/65 14829
/proc/meminfo: memFree=989312/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=677384 CPUtime=1241.82
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 169260 0 0 0 124082 100 0 0 25 0 1 0 191226465 693641216 166922 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 169346 166922 197 640 0 168702 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 677384

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/65 14829
/proc/meminfo: memFree=972608/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=694200 CPUtime=1301.8
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 173477 0 0 0 130078 102 0 0 25 0 1 0 191226465 710860800 171139 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 173550 171139 197 640 0 172906 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 694200

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/65 14829
/proc/meminfo: memFree=956544/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=710000 CPUtime=1361.78
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 177433 0 0 0 136073 105 0 0 25 0 1 0 191226465 727040000 175095 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 177500 175095 197 640 0 176856 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 710000

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.75 2/65 14829
/proc/meminfo: memFree=942208/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=724292 CPUtime=1421.76
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 180988 0 0 0 142068 108 0 0 25 0 1 0 191226465 741675008 178650 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 181073 178650 197 640 0 180429 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 724292

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/65 14829
/proc/meminfo: memFree=927936/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=738732 CPUtime=1481.73
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 184598 0 0 0 148064 109 0 0 25 0 1 0 191226465 756461568 182260 1992294400 134512640 137136520 4294956256 18446744073709551615 134576838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 184683 182260 197 640 0 184039 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 738732

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.77 2/65 14829
/proc/meminfo: memFree=914816/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=751568 CPUtime=1541.72
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 187822 0 0 0 154061 111 0 0 25 0 1 0 191226465 769605632 185484 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 187892 185484 197 640 0 187248 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 751568

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/65 14829
/proc/meminfo: memFree=902400/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=764044 CPUtime=1601.69
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 190934 0 0 0 160056 113 0 0 25 0 1 0 191226465 782381056 188596 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 191011 188596 197 640 0 190367 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 764044

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/65 14829
/proc/meminfo: memFree=889024/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=777372 CPUtime=1661.66
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 194262 0 0 0 166052 114 0 0 25 0 1 0 191226465 796028928 191924 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 194343 191924 197 640 0 193699 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 777372

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/65 14829
/proc/meminfo: memFree=878208/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=788136 CPUtime=1721.65
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 196967 0 0 0 172049 116 0 0 25 0 1 0 191226465 807051264 194629 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 197034 194629 197 640 0 196390 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 788136

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 14829
/proc/meminfo: memFree=867008/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=799276 CPUtime=1781.62
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 199742 0 0 0 178045 117 0 0 25 0 1 0 191226465 818458624 197404 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 199819 197404 197 640 0 199175 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 799276

Solver just ended. Dumping a history of the last processes samples

[startup+1792.01 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 14829
/proc/meminfo: memFree=865600/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=800724 CPUtime=1791.32
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 200095 0 0 0 179015 117 0 0 25 0 1 0 191226465 819941376 197757 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 200181 197757 197 640 0 199537 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 800724

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 14829
/proc/meminfo: memFree=864704/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=801560 CPUtime=1794.52
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 200304 0 0 0 179334 118 0 0 25 0 1 0 191226465 820797440 197966 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 200390 197966 197 640 0 199746 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 801560

[startup+1796.8 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 14829
/proc/meminfo: memFree=864448/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=801936 CPUtime=1796.12
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 200399 0 0 0 179494 118 0 0 25 0 1 0 191226465 821182464 198061 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 200484 198061 197 640 0 199840 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 801936

[startup+1797.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 14829
/proc/meminfo: memFree=864192/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=802044 CPUtime=1796.92
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 200444 0 0 0 179574 118 0 0 25 0 1 0 191226465 821293056 198106 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 200511 198106 197 640 0 199867 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 802044

[startup+1798.4 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 14829
/proc/meminfo: memFree=864192/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=802256 CPUtime=1797.72
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194304 200479 0 0 0 179654 118 0 0 25 0 1 0 191226465 821510144 198141 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 200564 198141 197 640 0 199920 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 802256

[startup+1798.8 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 14829
/proc/meminfo: memFree=864000/2055920 swapFree=4162124/4192956
[pid=14822] ppid=14820 vsize=0 CPUtime=1798.11
/proc/14822/stat : 14822 (bsolo) R 14820 14822 14779 0 -1 4194308 200505 0 0 0 179687 124 0 0 25 0 1 0 191226465 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14822/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.87
CPU time (s): 1798.19
CPU user time (s): 1796.88
CPU system time (s): 1.3148
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 802256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 1.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200505
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= 2
involuntary context switches= 1606

runsolver used 1.3178 second user time and 3.90341 second system time

The end