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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879909-1245240081/watcher-1879909-1245240081 -o /tmp/evaluation-result-1879909-1245240081/solver-1879909-1245240081 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879909-1245240081.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: 1.01 1.00 0.96 3/64 20019
/proc/meminfo: memFree=1855148/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=21268 CPUtime=0
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 191606073 21778432 253 1992294400 134512640 137136520 4294956256 18446744073709551615 134521921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 5317 262 173 640 0 3996 0

[startup+0.0418419 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 20019
/proc/meminfo: memFree=1855148/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=13980 CPUtime=0.03
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 454 0 0 0 3 0 0 0 18 0 1 0 191606073 14315520 438 1992294400 134512640 137136520 4294956256 18446744073709551615 134516189 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 3495 438 244 640 0 2174 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13980

[startup+0.101848 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 20019
/proc/meminfo: memFree=1855148/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=14628 CPUtime=0.09
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 743 0 0 0 9 0 0 0 18 0 1 0 191606073 14979072 727 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 3657 727 354 640 0 2336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14628

[startup+0.301868 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 20019
/proc/meminfo: memFree=1855148/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=17072 CPUtime=0.29
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 1704 0 0 0 29 0 0 0 19 0 1 0 191606073 17481728 1688 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 4268 1688 721 640 0 2947 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17072

[startup+0.701909 s]
/proc/loadavg: 1.01 1.00 0.96 3/64 20019
/proc/meminfo: memFree=1855148/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=20584 CPUtime=0.69
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 3405 0 0 0 69 0 0 0 23 0 1 0 191606073 21078016 2712 1992294400 134512640 137136520 4294956256 18446744073709551615 134540331 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 5146 2712 190 640 0 4502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20584

[startup+1.50199 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 20020
/proc/meminfo: memFree=1845092/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=20004 CPUtime=1.49
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 4479 0 0 0 148 1 0 0 25 0 1 0 191606073 20484096 2573 1992294400 134512640 137136520 4294956256 18446744073709551615 134532597 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 5001 2573 190 640 0 4357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20004

[startup+3.10215 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 20020
/proc/meminfo: memFree=1845476/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=21660 CPUtime=3.09
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 18655 0 0 0 301 8 0 0 25 0 1 0 191606073 22179840 3023 1992294400 134512640 137136520 4294956256 18446744073709551615 134710060 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 5415 3023 225 640 0 4771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21660

[startup+6.30148 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 20020
/proc/meminfo: memFree=1843044/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=21928 CPUtime=6.29
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 44489 0 0 0 610 19 0 0 25 0 1 0 191606073 22454272 3175 1992294400 134512640 137136520 4294956256 18446744073709551615 134826730 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 5482 3175 292 640 0 4838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21928

[startup+12.7011 s]
/proc/loadavg: 1.16 1.03 0.97 2/65 20020
/proc/meminfo: memFree=1843124/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=23608 CPUtime=12.69
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 62506 0 0 0 1243 26 0 0 25 0 1 0 191606073 24174592 3189 1992294400 134512640 137136520 4294956256 18446744073709551615 134728816 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 5902 3189 292 640 0 5258 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23608

[startup+25.5015 s]
/proc/loadavg: 1.14 1.03 0.97 2/65 20020
/proc/meminfo: memFree=1843252/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=21928 CPUtime=25.48
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 100988 0 0 0 2506 42 0 0 25 0 1 0 191606073 22454272 3175 1992294400 134512640 137136520 4294956256 18446744073709551615 134748895 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 5482 3175 292 640 0 4838 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21928

[startup+51.1011 s]
/proc/loadavg: 1.09 1.03 0.97 2/65 20020
/proc/meminfo: memFree=1841140/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=29972 CPUtime=51.07
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 380059 0 0 0 4947 160 0 0 25 0 1 0 191606073 30691328 4440 1992294400 134512640 137136520 4294956256 18446744073709551615 135455330 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 7493 4440 293 640 0 6849 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29972

[startup+102.301 s]
/proc/loadavg: 1.04 1.02 0.97 2/65 20020
/proc/meminfo: memFree=1832180/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=39264 CPUtime=102.24
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 2015131 0 0 0 9406 818 0 0 25 0 1 0 191606073 40206336 6907 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 9816 6914 293 640 0 9172 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 39264

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 0.97 2/65 20020
/proc/meminfo: memFree=1816884/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=48572 CPUtime=162.22
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 3900859 0 0 0 14647 1575 0 0 25 0 1 0 191606073 49737728 9837 1992294400 134512640 137136520 4294956256 18446744073709551615 135566005 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 12143 9837 293 640 0 11499 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 48572

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 20021
/proc/meminfo: memFree=1800436/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=67808 CPUtime=222.19
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 5814313 0 0 0 19869 2350 0 0 25 0 1 0 191606073 69435392 13964 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 16986 13972 293 640 0 16342 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 67808

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 20021
/proc/meminfo: memFree=1760756/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=105884 CPUtime=282.17
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 7666503 0 0 0 25122 3095 0 0 25 0 1 0 191606073 108425216 24165 1992294400 134512640 137136520 4294956256 18446744073709551615 134728828 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 26471 24165 293 640 0 25827 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 105884

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 20021
/proc/meminfo: memFree=1759484/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=105884 CPUtime=342.15
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 8598533 0 0 0 30755 3460 0 0 25 0 1 0 191606073 108425216 24165 1992294400 134512640 137136520 4294956256 18446744073709551615 135373044 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 26471 24165 293 640 0 25827 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 105884

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 20021
/proc/meminfo: memFree=1759292/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=105884 CPUtime=402.11
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 9564233 0 0 0 36368 3843 0 0 25 0 1 0 191606073 108425216 24165 1992294400 134512640 137136520 4294956256 18446744073709551615 135249209 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 26471 24165 293 640 0 25827 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 105884

[startup+462.305 s]
/proc/loadavg: 1.03 1.01 0.97 2/65 20021
/proc/meminfo: memFree=1743676/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=124240 CPUtime=462.11
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 11067388 0 0 0 41764 4447 0 0 25 0 1 0 191606073 127221760 28128 1992294400 134512640 137136520 4294956256 18446744073709551615 135445560 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 31060 28128 293 640 0 30416 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 124240

[startup+522.302 s]
/proc/loadavg: 1.01 1.01 0.97 2/65 20021
/proc/meminfo: memFree=1743612/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=121688 CPUtime=522.08
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 12449125 0 0 0 47200 5008 0 0 25 0 1 0 191606073 124608512 27533 1992294400 134512640 137136520 4294956256 18446744073709551615 136571969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20019/statm: 30422 27533 293 640 0 29778 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 121688

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 20021
/proc/meminfo: memFree=1728828/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=137936 CPUtime=582.06
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 13885573 0 0 0 52618 5588 0 0 25 0 1 0 191606073 141246464 31743 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 34484 31745 293 640 0 33840 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 137936

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 20021
/proc/meminfo: memFree=1728508/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=137704 CPUtime=642.03
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 14754440 0 0 0 58267 5936 0 0 25 0 1 0 191606073 141008896 31920 1992294400 134512640 137136520 4294956256 18446744073709551615 134901961 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 34426 31920 293 640 0 33782 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 137704

[startup+702.301 s]

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

/proc/meminfo: memFree=1713340/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=152904 CPUtime=1121.84
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 22810229 0 0 0 102945 9239 0 0 25 0 1 0 191606073 156573696 35542 1992294400 134512640 137136520 4294956256 18446744073709551615 135402625 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 38226 35542 293 640 0 37582 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 152904

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 20022
/proc/meminfo: memFree=1713404/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=151612 CPUtime=1181.82
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 24156276 0 0 0 108395 9787 0 0 25 0 1 0 191606073 155250688 35476 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 37903 35483 293 640 0 37259 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 151612

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 0.98 2/65 20022
/proc/meminfo: memFree=1713404/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=149392 CPUtime=1241.8
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 25438945 0 0 0 113874 10306 0 0 25 0 1 0 191606073 152977408 34962 1992294400 134512640 137136520 4294956256 18446744073709551615 136294897 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 37348 34962 293 640 0 36704 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 149392

[startup+1302.3 s]
/proc/loadavg: 1.06 1.03 0.99 2/65 20022
/proc/meminfo: memFree=1711228/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=153356 CPUtime=1301.77
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 26770488 0 0 0 119333 10844 0 0 25 0 1 0 191606073 157036544 35939 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 38339 35947 293 640 0 37695 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 153356

[startup+1362.3 s]
/proc/loadavg: 1.12 1.05 1.00 2/65 20022
/proc/meminfo: memFree=1711164/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=153356 CPUtime=1361.75
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 28121808 0 0 0 124781 11394 0 0 25 0 1 0 191606073 157036544 36033 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 38339 36033 293 640 0 37695 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 153356

[startup+1422.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/65 20022
/proc/meminfo: memFree=1711164/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=155052 CPUtime=1421.74
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 29482869 0 0 0 130227 11947 0 0 25 0 1 0 191606073 158773248 36052 1992294400 134512640 137136520 4294956256 18446744073709551615 135410703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20019/statm: 38763 36052 293 640 0 38119 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 155052

[startup+1482.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 20022
/proc/meminfo: memFree=1708156/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=160856 CPUtime=1481.71
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 30822513 0 0 0 135675 12496 0 0 25 0 1 0 191606073 164716544 37366 1992294400 134512640 137136520 4294956256 18446744073709551615 134728828 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 40214 37366 293 640 0 39570 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 160856

[startup+1542.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 20022
/proc/meminfo: memFree=1708220/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=158944 CPUtime=1541.69
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 32080196 0 0 0 141163 13006 0 0 25 0 1 0 191606073 162758656 37348 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39736 37349 293 640 0 39092 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 158944

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20022
/proc/meminfo: memFree=1705980/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=159604 CPUtime=1601.67
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 33310397 0 0 0 146659 13508 0 0 25 0 1 0 191606073 163434496 37370 1992294400 134512640 137136520 4294956256 18446744073709551615 135387008 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39901 37370 293 640 0 39257 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 159604

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20022
/proc/meminfo: memFree=1707772/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=158584 CPUtime=1661.64
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 34525757 0 0 0 152159 14005 0 0 25 0 1 0 191606073 162390016 37340 1992294400 134512640 137136520 4294956256 18446744073709551615 135781782 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39646 37340 293 640 0 39002 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 158584

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20022
/proc/meminfo: memFree=1708028/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=158584 CPUtime=1721.62
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 35799569 0 0 0 157637 14525 0 0 25 0 1 0 191606073 162390016 36882 1992294400 134512640 137136520 4294956256 18446744073709551615 135781786 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39646 36893 293 640 0 39002 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 158584

[startup+1782.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20022
/proc/meminfo: memFree=1705724/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=159420 CPUtime=1781.59
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37074506 0 0 0 163114 15045 0 0 25 0 1 0 191606073 163246080 36808 1992294400 134512640 137136520 4294956256 18446744073709551615 136571969 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39855 36808 293 640 0 39211 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 159420

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

[startup+1792.21 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20022
/proc/meminfo: memFree=1707836/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=160240 CPUtime=1791.49
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37278025 0 0 0 164020 15129 0 0 25 0 1 0 191606073 164085760 37371 1992294400 134512640 137136520 4294956256 18446744073709551615 134732866 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 40060 37371 293 640 0 39416 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 160240

[startup+1795.4 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20022
/proc/meminfo: memFree=1705724/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=160188 CPUtime=1794.69
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37352015 0 0 0 164311 15158 0 0 25 0 1 0 191606073 164032512 37363 1992294400 134512640 137136520 4294956256 18446744073709551615 134728828 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 40047 37363 293 640 0 39403 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 160188

[startup+1797 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20022
/proc/meminfo: memFree=1705724/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=158584 CPUtime=1796.28
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37387835 0 0 0 164456 15172 0 0 25 0 1 0 191606073 162390016 36810 1992294400 134512640 137136520 4294956256 18446744073709551615 135781786 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39646 36822 293 640 0 39002 0
Current children cumulated CPU time (s) 1796.28
Current children cumulated vsize (KiB) 158584

[startup+1797.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20022
/proc/meminfo: memFree=1705724/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=156364 CPUtime=1797.09
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37408834 0 0 0 164528 15181 0 0 25 0 1 0 191606073 160116736 36785 1992294400 134512640 137136520 4294956256 18446744073709551615 135780921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39091 36785 293 640 0 38447 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 156364

[startup+1798.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20022
/proc/meminfo: memFree=1705724/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=160076 CPUtime=1797.48
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37420930 0 0 0 164563 15185 0 0 25 0 1 0 191606073 163917824 37360 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 40019 37360 293 640 0 39375 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (KiB) 160076

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20022
/proc/meminfo: memFree=1705724/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=158584 CPUtime=1797.89
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37432476 0 0 0 164599 15190 0 0 25 0 1 0 191606073 162390016 37340 1992294400 134512640 137136520 4294956256 18446744073709551615 135781746 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39646 37340 293 640 0 39002 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 158584

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20022
/proc/meminfo: memFree=1705852/2055920 swapFree=4178700/4192956
[pid=20019] ppid=20017 vsize=159500 CPUtime=1797.99
/proc/20019/stat : 20019 (bsolo) R 20017 20019 19643 0 -1 4194304 37434866 0 0 0 164608 15191 0 0 25 0 1 0 191606073 163328000 37355 1992294400 134512640 137136520 4294956256 18446744073709551615 135410364 0 0 4096 16384 0 0 0 17 0 0 0
/proc/20019/statm: 39875 37355 293 640 0 39231 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 159500

Child status: 0
Real time (s): 1798.74
CPU time (s): 1798.03
CPU user time (s): 1646.09
CPU system time (s): 151.94
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 161828

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

runsolver used 1.9817 second user time and 4.50731 second system time

The end