runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node33/watcher-353698-1176673300 -o ROOT/results/node33/solver-353698-1176673300 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/353698-1176673300/instance-353698-1176673300.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4828
/proc/meminfo: memFree=1450864/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=172 CPUtime=0
/proc/4828/stat : 4828 (Pueblo) D 4826 4828 4046 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 115245462 176128 23 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10945316 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4828/statm: 43 23 18 16 0 2 0

[startup+0.0149061 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4828
/proc/meminfo: memFree=1450864/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=172 CPUtime=0
/proc/4828/stat : 4828 (Pueblo) D 4826 4828 4046 0 -1 4194304 39 0 0 0 0 0 0 0 18 0 1 0 115245462 176128 23 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 10945316 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4828/statm: 43 23 18 16 0 2 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 172

[startup+0.102929 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4828
/proc/meminfo: memFree=1450864/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=3616 CPUtime=0.06
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 536 0 0 0 6 0 0 0 18 0 1 0 115245462 3702784 506 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134534259 0 0 4096 0 0 0 0 17 0 0 0
/proc/4828/statm: 904 506 199 16 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3616

[startup+0.301971 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4828
/proc/meminfo: memFree=1450864/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=6548 CPUtime=0.26
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 1271 0 0 0 26 0 0 0 19 0 1 0 115245462 6705152 1241 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11113279 0 0 4096 0 0 0 0 17 0 0 0
/proc/4828/statm: 1637 1241 199 16 0 1076 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 6548

[startup+0.701052 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 4828
/proc/meminfo: memFree=1450864/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=12312 CPUtime=0.66
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 2711 0 0 0 65 1 0 0 23 0 1 0 115245462 12607488 2681 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134532045 0 0 4096 0 0 0 0 17 0 0 0
/proc/4828/statm: 3078 2681 203 16 0 2517 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 12312

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1439528/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=13796 CPUtime=1.46
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 3029 0 0 0 145 1 0 0 25 0 1 0 115245462 14127104 2999 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 3449 2999 205 16 0 2888 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13796

[startup+3.10154 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1439400/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=13796 CPUtime=3.05
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 3029 0 0 0 304 1 0 0 25 0 1 0 115245462 14127104 2999 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134523429 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 3449 2999 205 16 0 2888 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 13796

[startup+6.3012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1439016/2055920 swapFree=4157464/4192956
[pid=4828] ppid=4826 vsize=15156 CPUtime=6.25
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 3355 0 0 0 624 1 0 0 25 0 1 0 115245462 15519744 3325 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519111 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 3789 3325 205 16 0 3228 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 15156

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1432616/2055920 swapFree=4157532/4192956
[pid=4828] ppid=4826 vsize=21508 CPUtime=12.65
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 4967 0 0 0 1263 2 0 0 25 0 1 0 115245462 22024192 4937 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519066 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 5377 4937 205 16 0 4816 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 21508

[startup+25.5021 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1420584/2055920 swapFree=4157532/4192956
[pid=4828] ppid=4826 vsize=32868 CPUtime=25.44
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 7792 0 0 0 2541 3 0 0 25 0 1 0 115245462 33656832 7762 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 8217 7762 205 16 0 7656 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 32868

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1399272/2055920 swapFree=4157532/4192956
[pid=4828] ppid=4826 vsize=54048 CPUtime=51.04
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 13080 0 0 0 5098 6 0 0 25 0 1 0 115245462 55345152 13050 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 13512 13050 205 16 0 12951 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 54048

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1359016/2055920 swapFree=4157532/4192956
[pid=4828] ppid=4826 vsize=94448 CPUtime=102.22
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 23164 0 0 0 10210 12 0 0 25 0 1 0 115245462 96714752 23134 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 23612 23134 205 16 0 23051 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 94448

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1312936/2055920 swapFree=4157596/4192956
[pid=4828] ppid=4826 vsize=140596 CPUtime=162.19
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 34598 0 0 0 16200 19 0 0 25 0 1 0 115245462 143970304 34568 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 35149 34568 205 16 0 34588 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 140596

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1270696/2055920 swapFree=4157596/4192956
[pid=4828] ppid=4826 vsize=182956 CPUtime=222.17
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 45136 0 0 0 22192 25 0 0 25 0 1 0 115245462 187346944 45106 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 45739 45106 205 16 0 45178 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 182956

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=1236328/2055920 swapFree=4157596/4192956
[pid=4828] ppid=4826 vsize=218740 CPUtime=282.15
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 53963 0 0 0 28183 32 0 0 25 0 1 0 115245462 223989760 53933 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 54685 53933 205 16 0 54124 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 218740

[startup+342.301 s]
/proc/loadavg: 1.16 1.06 1.02 2/78 4829
/proc/meminfo: memFree=1185768/2055920 swapFree=4157660/4192956
[pid=4828] ppid=4826 vsize=268216 CPUtime=342.13
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 66331 0 0 0 34173 40 0 0 25 0 1 0 115245462 274653184 66301 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 67054 66301 205 16 0 66493 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 268216

[startup+402.301 s]
/proc/loadavg: 1.06 1.04 1.01 2/78 4829
/proc/meminfo: memFree=1149096/2055920 swapFree=4157660/4192956
[pid=4828] ppid=4826 vsize=305452 CPUtime=402.1
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 75587 0 0 0 40165 45 0 0 25 0 1 0 115245462 312782848 75557 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 76363 75557 205 16 0 75802 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 305452

[startup+462.303 s]
/proc/loadavg: 1.02 1.03 1.01 2/78 4829
/proc/meminfo: memFree=1116520/2055920 swapFree=4157724/4192956
[pid=4828] ppid=4826 vsize=337680 CPUtime=462.08
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 83607 0 0 0 46157 51 0 0 25 0 1 0 115245462 345784320 83577 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11380380 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 84420 83577 205 16 0 83859 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 337680

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 4829
/proc/meminfo: memFree=1088808/2055920 swapFree=4157724/4192956
[pid=4828] ppid=4826 vsize=365800 CPUtime=522.06
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 90549 0 0 0 52151 55 0 0 25 0 1 0 115245462 374579200 90519 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 91450 90519 206 16 0 90889 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 365800

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 4829
/proc/meminfo: memFree=1065640/2055920 swapFree=4157724/4192956
[pid=4828] ppid=4826 vsize=388956 CPUtime=582.03
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 96345 0 0 0 58144 59 0 0 25 0 1 0 115245462 398290944 96315 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 97239 96315 206 16 0 96678 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 388956

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 4829
/proc/meminfo: memFree=1039464/2055920 swapFree=4157788/4192956
[pid=4828] ppid=4826 vsize=415008 CPUtime=642.02
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 102841 0 0 0 64135 67 0 0 25 0 1 0 115245462 424968192 102811 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 103752 102811 206 16 0 103191 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 415008


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

/proc/meminfo: memFree=919592/2055920 swapFree=4157852/4192956
[pid=4828] ppid=4826 vsize=535056 CPUtime=881.91
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 132720 0 0 0 88101 90 0 0 25 0 1 0 115245462 547897344 132690 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 133764 132690 206 16 0 133203 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 535056

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=893800/2055920 swapFree=4157916/4192956
[pid=4828] ppid=4826 vsize=561864 CPUtime=941.9
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 139427 0 0 0 94094 96 0 0 25 0 1 0 115245462 575348736 139397 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134556370 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 140466 139397 206 16 0 139905 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 561864

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=875816/2055920 swapFree=4157916/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1001.87
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143650 0 0 0 100088 99 0 0 25 0 1 0 115245462 592891904 143620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143620 206 16 0 144188 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 578996

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=875880/2055920 swapFree=4157980/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1061.85
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143650 0 0 0 106084 101 0 0 25 0 1 0 115245462 592891904 143620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517887 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143620 206 16 0 144188 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 578996

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4829
/proc/meminfo: memFree=875880/2055920 swapFree=4157980/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1121.82
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143650 0 0 0 112080 102 0 0 25 0 1 0 115245462 592891904 143620 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143620 206 16 0 144188 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 578996

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 4937
/proc/meminfo: memFree=874352/2055920 swapFree=4157980/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1181.75
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143681 0 0 0 118071 104 0 0 25 0 1 0 115245462 592891904 143651 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143651 206 16 0 144188 0
Current children cumulated CPU time (s) 1181.75
Current children cumulated vsize (KiB) 578996

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875496/2055920 swapFree=4158044/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1241.67
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143681 0 0 0 124062 105 0 0 25 0 1 0 115245462 592891904 143651 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143651 206 16 0 144188 0
Current children cumulated CPU time (s) 1241.67
Current children cumulated vsize (KiB) 578996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875496/2055920 swapFree=4158044/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1301.66
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143681 0 0 0 130059 107 0 0 25 0 1 0 115245462 592891904 143651 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143651 206 16 0 144188 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 578996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875560/2055920 swapFree=4158108/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1361.63
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143682 0 0 0 136055 108 0 0 25 0 1 0 115245462 592891904 143652 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143652 206 16 0 144188 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 578996

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875624/2055920 swapFree=4158108/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1421.61
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143682 0 0 0 142052 109 0 0 25 0 1 0 115245462 592891904 143652 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519095 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143652 206 16 0 144188 0
Current children cumulated CPU time (s) 1421.61
Current children cumulated vsize (KiB) 578996

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875560/2055920 swapFree=4158172/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1481.58
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143683 0 0 0 148048 110 0 0 25 0 1 0 115245462 592891904 143653 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143653 206 16 0 144188 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 578996

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875752/2055920 swapFree=4158172/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1541.56
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143683 0 0 0 154044 112 0 0 25 0 1 0 115245462 592891904 143653 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143653 206 16 0 144188 0
Current children cumulated CPU time (s) 1541.56
Current children cumulated vsize (KiB) 578996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875688/2055920 swapFree=4158172/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1601.54
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143692 0 0 0 160040 114 0 0 25 0 1 0 115245462 592891904 143662 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143662 206 16 0 144188 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 578996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875688/2055920 swapFree=4158236/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1661.52
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143700 0 0 0 166037 115 0 0 25 0 1 0 115245462 592891904 143670 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143670 206 16 0 144188 0
Current children cumulated CPU time (s) 1661.52
Current children cumulated vsize (KiB) 578996

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875624/2055920 swapFree=4158236/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1721.5
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143700 0 0 0 172034 116 0 0 25 0 1 0 115245462 592891904 143670 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143670 206 16 0 144188 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 578996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875624/2055920 swapFree=4158300/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1781.47
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143701 0 0 0 178030 117 0 0 25 0 1 0 115245462 592891904 143671 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528788 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143671 206 16 0 144188 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 578996

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875624/2055920 swapFree=4158300/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1782.27
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143701 0 0 0 178110 117 0 0 25 0 1 0 115245462 592891904 143671 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11379039 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143671 206 16 0 144188 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 578996

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875624/2055920 swapFree=4158300/4192956
[pid=4828] ppid=4826 vsize=578996 CPUtime=1782.67
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194304 143701 0 0 0 178150 117 0 0 25 0 1 0 115245462 592891904 143671 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11379039 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 144749 143671 206 16 0 144188 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 578996

[startup+1783.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5027
/proc/meminfo: memFree=875624/2055920 swapFree=4158300/4192956
[pid=4828] ppid=4826 vsize=0 CPUtime=1782.77
/proc/4828/stat : 4828 (Pueblo) R 4826 4828 4046 0 -1 4194308 143708 0 0 0 178158 119 0 0 16 0 1 0 115245462 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/4828/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.77
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.68
CPU time (s): 1782.86
CPU user time (s): 1781.59
CPU system time (s): 1.27081
CPU usage (%): 99.9539
Max. virtual memory (cumulated for all children) (KiB): 578996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.59
system time used= 1.27081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143708
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= 15
involuntary context switches= 4017

runsolver used 2.13967 second user time and 4.22136 second system time

The end