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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880069-1245236327/watcher-1880069-1245236327 -o /tmp/evaluation-result-1880069-1245236327/solver-1880069-1245236327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880069-1245236327.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 6527
/proc/meminfo: memFree=1811560/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=12972 CPUtime=0
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 191232859 13283328 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 3243 253 176 640 0 2037 0

[startup+0.0776161 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 6527
/proc/meminfo: memFree=1811560/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=15448 CPUtime=0.07
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 1028 0 0 0 7 0 0 0 18 0 1 0 191232859 15818752 1012 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 3862 1012 321 640 0 2656 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15448

[startup+0.102619 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 6527
/proc/meminfo: memFree=1811560/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=16272 CPUtime=0.09
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 1284 0 0 0 9 0 0 0 18 0 1 0 191232859 16662528 1268 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 4068 1269 371 640 0 2862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16272

[startup+0.301637 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 6527
/proc/meminfo: memFree=1811560/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=23500 CPUtime=0.29
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 4025 0 0 0 28 1 0 0 19 0 1 0 191232859 24064000 3448 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 5875 3449 185 640 0 5231 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23500

[startup+0.701675 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 6527
/proc/meminfo: memFree=1811560/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=27476 CPUtime=0.69
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 5020 0 0 0 67 2 0 0 23 0 1 0 191232859 28135424 4442 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 6869 4442 190 640 0 6225 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27476

[startup+1.50175 s]
/proc/loadavg: 0.00 0.00 0.00 2/65 6528
/proc/meminfo: memFree=1794528/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=27476 CPUtime=1.49
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 5020 0 0 0 145 4 0 0 25 0 1 0 191232859 28135424 4442 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 6869 4442 190 640 0 6225 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27476

[startup+3.10191 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 6528
/proc/meminfo: memFree=1794400/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=25368 CPUtime=3.09
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 5919 0 0 0 301 8 0 0 25 0 1 0 191232859 25976832 3919 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 6342 3919 196 640 0 5698 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25368

[startup+6.30121 s]
/proc/loadavg: 0.08 0.02 0.01 2/65 6528
/proc/meminfo: memFree=1782624/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=42380 CPUtime=6.29
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 10184 0 0 0 620 9 0 0 25 0 1 0 191232859 43397120 8184 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 10595 8184 196 640 0 9951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42380

[startup+12.7018 s]
/proc/loadavg: 0.22 0.05 0.02 2/65 6528
/proc/meminfo: memFree=1766248/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=56456 CPUtime=12.69
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 13690 0 0 0 1258 11 0 0 25 0 1 0 191232859 57810944 11690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 14114 11690 197 640 0 13470 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56456

[startup+25.5011 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 6528
/proc/meminfo: memFree=1746088/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=76032 CPUtime=25.49
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 18584 0 0 0 2536 13 0 0 25 0 1 0 191232859 77856768 16584 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 19008 16584 197 640 0 18364 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 76032

[startup+51.1015 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 6528
/proc/meminfo: memFree=1718056/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=104116 CPUtime=51.08
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 25597 0 0 0 5092 16 0 0 25 0 1 0 191232859 106614784 23597 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 26029 23597 197 640 0 25385 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 104116

[startup+102.306 s]
/proc/loadavg: 0.82 0.29 0.10 2/65 6528
/proc/meminfo: memFree=1669928/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=151672 CPUtime=102.26
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 37486 0 0 0 10203 23 0 0 25 0 1 0 191232859 155312128 35486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 37918 35486 197 640 0 37274 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151672

[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/65 6534
/proc/meminfo: memFree=1623776/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=197996 CPUtime=162.24
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 49068 0 0 0 16196 28 0 0 25 0 1 0 191232859 202747904 47068 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 49499 47068 197 640 0 48855 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 197996

[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/65 6534
/proc/meminfo: memFree=1588640/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=232772 CPUtime=222.22
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 57770 0 0 0 22191 31 0 0 25 0 1 0 191232859 238358528 55770 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 58193 55770 197 640 0 57549 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 232772

[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/65 6534
/proc/meminfo: memFree=1559456/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=262112 CPUtime=282.19
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 65108 0 0 0 28185 34 0 0 25 0 1 0 191232859 268402688 63108 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 65528 63108 197 640 0 64884 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 262112

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/65 6534
/proc/meminfo: memFree=1533792/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=287544 CPUtime=342.16
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 71468 0 0 0 34178 38 0 0 25 0 1 0 191232859 294445056 69468 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 71886 69468 197 640 0 71242 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 287544

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/65 6534
/proc/meminfo: memFree=1508512/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=313088 CPUtime=402.14
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 77853 0 0 0 40173 41 0 0 25 0 1 0 191232859 320602112 75853 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 78272 75853 197 640 0 77628 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 313088

[startup+462.302 s]
/proc/loadavg: 0.99 0.78 0.38 2/65 6534
/proc/meminfo: memFree=1488744/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=332460 CPUtime=462.13
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 82693 0 0 0 46168 45 0 0 25 0 1 0 191232859 340439040 80693 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 83115 80693 197 640 0 82471 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 332460

[startup+522.302 s]
/proc/loadavg: 0.99 0.81 0.41 2/65 6534
/proc/meminfo: memFree=1468136/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=353360 CPUtime=522.11
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 87907 0 0 0 52163 48 0 0 25 0 1 0 191232859 361840640 85907 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 88340 85907 197 640 0 87696 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 353360

[startup+582.301 s]
/proc/loadavg: 0.99 0.85 0.45 2/65 6534
/proc/meminfo: memFree=1446056/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=375044 CPUtime=582.08
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 93329 0 0 0 58158 50 0 0 25 0 1 0 191232859 384045056 91329 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 93761 91329 197 640 0 93117 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 375044

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.48 2/65 6534
/proc/meminfo: memFree=1425000/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=395860 CPUtime=642.07
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 98547 0 0 0 64154 53 0 0 25 0 1 0 191232859 405360640 96547 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 98965 96547 197 640 0 98321 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 395860

[startup+702.302 s]

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

/proc/meminfo: memFree=1277992/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=542472 CPUtime=1121.89
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 135209 0 0 0 112117 72 0 0 25 0 1 0 191232859 555491328 133209 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 135618 133209 197 640 0 134974 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 542472

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/65 6534
/proc/meminfo: memFree=1264808/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=555784 CPUtime=1181.87
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 138521 0 0 0 118113 74 0 0 25 0 1 0 191232859 569122816 136521 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 138946 136521 197 640 0 138302 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 555784

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/65 6534
/proc/meminfo: memFree=1247336/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=572852 CPUtime=1241.85
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 142809 0 0 0 124109 76 0 0 25 0 1 0 191232859 586600448 140809 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 143213 140809 197 640 0 142569 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 572852

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/65 6534
/proc/meminfo: memFree=1231720/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=588368 CPUtime=1301.84
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 146660 0 0 0 130105 79 0 0 25 0 1 0 191232859 602488832 144660 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 147092 144660 197 640 0 146448 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 588368

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.74 2/65 6534
/proc/meminfo: memFree=1216872/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=603280 CPUtime=1361.8
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 150395 0 0 0 136100 80 0 0 25 0 1 0 191232859 617758720 148395 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 150820 148395 197 640 0 150176 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 603280

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/65 6534
/proc/meminfo: memFree=1199336/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=620608 CPUtime=1421.78
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 154727 0 0 0 142096 82 0 0 25 0 1 0 191232859 635502592 152727 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 155152 152727 197 640 0 154508 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 620608

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/65 6534
/proc/meminfo: memFree=1184744/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=635216 CPUtime=1481.76
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 158393 0 0 0 148091 85 0 0 25 0 1 0 191232859 650461184 156393 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 158804 156393 197 640 0 158160 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 635216

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/65 6534
/proc/meminfo: memFree=1172136/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=647860 CPUtime=1541.72
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 161554 0 0 0 154086 86 0 0 25 0 1 0 191232859 663408640 159554 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 161965 159554 197 640 0 161321 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 647860

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/65 6534
/proc/meminfo: memFree=1159976/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=660200 CPUtime=1601.7
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 164639 0 0 0 160082 88 0 0 25 0 1 0 191232859 676044800 162639 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 165050 162639 197 640 0 164406 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 660200

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/65 6534
/proc/meminfo: memFree=1148200/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=671708 CPUtime=1661.69
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 167509 0 0 0 166078 91 0 0 25 0 1 0 191232859 687828992 165509 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 167927 165509 197 640 0 167283 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 671708

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/65 6534
/proc/meminfo: memFree=1132328/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=687724 CPUtime=1721.66
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 171506 0 0 0 172073 93 0 0 25 0 1 0 191232859 704229376 169506 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 171931 169506 197 640 0 171287 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 687724

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1117096/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=702520 CPUtime=1781.64
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 175216 0 0 0 178068 96 0 0 25 0 1 0 191232859 719380480 173216 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 175630 173216 197 640 0 174986 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 702520

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1114728/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=704868 CPUtime=1791.24
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 175801 0 0 0 179028 96 0 0 25 0 1 0 191232859 721784832 173801 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 176217 173801 197 640 0 175573 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 704868

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1114152/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=705504 CPUtime=1794.43
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 175943 0 0 0 179347 96 0 0 25 0 1 0 191232859 722436096 173943 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 176376 173943 197 640 0 175732 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 705504

[startup+1796.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1114152/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=705504 CPUtime=1796.03
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 175943 0 0 0 179507 96 0 0 25 0 1 0 191232859 722436096 173943 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 176376 173943 197 640 0 175732 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (KiB) 705504

[startup+1797.5 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1114152/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=705504 CPUtime=1796.83
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 175943 0 0 0 179587 96 0 0 25 0 1 0 191232859 722436096 173943 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 176376 173943 197 640 0 175732 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 705504

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1114152/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=705504 CPUtime=1797.63
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 175943 0 0 0 179667 96 0 0 25 0 1 0 191232859 722436096 173943 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 176376 173943 197 640 0 175732 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 705504

[startup+1798.7 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1114152/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=705504 CPUtime=1798.03
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194304 175943 0 0 0 179707 96 0 0 25 0 1 0 191232859 722436096 173943 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 176376 173943 197 640 0 175732 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 705504

[startup+1798.8 s]
/proc/loadavg: 0.99 0.97 0.82 2/65 6534
/proc/meminfo: memFree=1114152/2055920 swapFree=4181660/4192956
[pid=6527] ppid=6525 vsize=0 CPUtime=1798.12
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6484 0 -1 4194308 175945 0 0 0 179715 97 0 0 25 0 1 0 191232859 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.89
CPU time (s): 1798.23
CPU user time (s): 1797.16
CPU system time (s): 1.06884
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 705504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.16
system time used= 1.06884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175945
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= 5014

runsolver used 1.47877 second user time and 5.06923 second system time

The end