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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-351176-1176584828 -o ROOT/results/node33/solver-351176-1176584828 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351176-1176584828/instance-351176-1176584828.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.16 1.24 1.22 3/77 25520
/proc/meminfo: memFree=1350304/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=2552 CPUtime=0
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 106398278 2613248 236 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 638 236 199 16 0 77 0

[startup+0.0708691 s]
/proc/loadavg: 1.16 1.24 1.22 3/77 25520
/proc/meminfo: memFree=1350304/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3268 CPUtime=0.06
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 465 0 0 0 6 0 0 0 18 0 1 0 106398278 3346432 435 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 817 435 205 16 0 256 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3268

[startup+0.101875 s]
/proc/loadavg: 1.16 1.24 1.22 3/77 25520
/proc/meminfo: memFree=1350304/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3396 CPUtime=0.09
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 475 0 0 0 9 0 0 0 18 0 1 0 106398278 3477504 445 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 849 445 205 16 0 288 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3396

[startup+0.301917 s]
/proc/loadavg: 1.16 1.24 1.22 3/77 25520
/proc/meminfo: memFree=1350304/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3396 CPUtime=0.29
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 478 0 0 0 28 1 0 0 19 0 1 0 106398278 3477504 448 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 849 448 205 16 0 288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3396

[startup+0.701998 s]
/proc/loadavg: 1.16 1.24 1.22 3/77 25520
/proc/meminfo: memFree=1350304/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3524 CPUtime=0.69
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 502 0 0 0 66 3 0 0 22 0 1 0 106398278 3608576 472 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 881 472 205 16 0 320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3524

[startup+1.50116 s]
/proc/loadavg: 1.16 1.24 1.22 2/78 25521
/proc/meminfo: memFree=1349208/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3524 CPUtime=1.49
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 530 0 0 0 141 8 0 0 25 0 1 0 106398278 3608576 500 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 881 500 205 16 0 320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3524

[startup+3.10149 s]
/proc/loadavg: 1.14 1.23 1.22 2/78 25521
/proc/meminfo: memFree=1349016/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3656 CPUtime=3.09
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 546 0 0 0 296 13 0 0 25 0 1 0 106398278 3743744 516 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 914 516 205 16 0 353 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3656

[startup+6.30115 s]
/proc/loadavg: 1.14 1.23 1.22 2/78 25521
/proc/meminfo: memFree=1348952/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3656 CPUtime=6.28
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 555 0 0 0 605 23 0 0 25 0 1 0 106398278 3743744 525 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 914 525 205 16 0 353 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3656

[startup+12.7015 s]
/proc/loadavg: 1.12 1.22 1.22 2/78 25521
/proc/meminfo: memFree=1348944/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3788 CPUtime=12.69
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 571 0 0 0 1220 49 0 0 25 0 1 0 106398278 3878912 541 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 947 541 205 16 0 386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3788

[startup+25.5011 s]
/proc/loadavg: 1.10 1.22 1.21 2/78 25521
/proc/meminfo: memFree=1349200/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3788 CPUtime=25.48
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 586 0 0 0 2481 67 0 0 25 0 1 0 106398278 3878912 556 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 947 556 205 16 0 386 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3788

[startup+51.1013 s]
/proc/loadavg: 1.07 1.20 1.21 2/78 25521
/proc/meminfo: memFree=1349136/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=3920 CPUtime=51.07
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 617 0 0 0 5004 103 0 0 25 0 1 0 106398278 4014080 587 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 980 587 205 16 0 419 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3920

[startup+102.306 s]
/proc/loadavg: 1.02 1.16 1.19 2/78 25521
/proc/meminfo: memFree=1349008/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4140 CPUtime=102.25
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 667 0 0 0 9929 296 0 0 25 0 1 0 106398278 4239360 637 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1035 637 205 16 0 474 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 4140

[startup+162.301 s]
/proc/loadavg: 1.01 1.13 1.18 2/78 25521
/proc/meminfo: memFree=1349072/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4140 CPUtime=162.22
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 669 0 0 0 15855 367 0 0 25 0 1 0 106398278 4239360 639 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1035 639 205 16 0 474 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 4140

[startup+222.301 s]
/proc/loadavg: 1.05 1.12 1.17 2/78 25521
/proc/meminfo: memFree=1348944/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4272 CPUtime=222.2
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 707 0 0 0 21793 427 0 0 25 0 1 0 106398278 4374528 677 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1068 677 205 16 0 507 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 4272

[startup+282.302 s]
/proc/loadavg: 1.06 1.11 1.16 2/78 25521
/proc/meminfo: memFree=1348752/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4464 CPUtime=282.18
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 751 0 0 0 27724 494 0 0 25 0 1 0 106398278 4571136 721 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1116 721 205 16 0 555 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 4464

[startup+342.303 s]
/proc/loadavg: 1.02 1.08 1.15 2/78 25521
/proc/meminfo: memFree=1348560/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4592 CPUtime=342.16
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 798 0 0 0 33670 546 0 0 25 0 1 0 106398278 4702208 768 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1148 768 205 16 0 587 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 4592

[startup+402.301 s]
/proc/loadavg: 1.01 1.07 1.14 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4696 CPUtime=402.14
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 803 0 0 0 39615 599 0 0 25 0 1 0 106398278 4808704 773 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1174 773 205 16 0 613 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 4696

[startup+462.302 s]
/proc/loadavg: 1.00 1.05 1.13 2/78 25521
/proc/meminfo: memFree=1348432/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4696 CPUtime=462.12
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 813 0 0 0 45554 658 0 0 25 0 1 0 106398278 4808704 783 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1174 783 205 16 0 613 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 4696

[startup+522.302 s]
/proc/loadavg: 1.00 1.04 1.12 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4696 CPUtime=522.1
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 813 0 0 0 51490 720 0 0 25 0 1 0 106398278 4808704 783 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1174 783 205 16 0 613 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 4696

[startup+582.301 s]
/proc/loadavg: 1.00 1.03 1.10 2/78 25521
/proc/meminfo: memFree=1348368/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4696 CPUtime=582.07
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 824 0 0 0 57424 783 0 0 25 0 1 0 106398278 4808704 794 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1174 794 205 16 0 613 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 4696

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 1.09 2/78 25521
/proc/meminfo: memFree=1348432/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4828 CPUtime=642.06
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 845 0 0 0 63358 848 0 0 25 0 1 0 106398278 4943872 815 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1207 815 205 16 0 646 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 4828


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

/proc/meminfo: memFree=1348432/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4828 CPUtime=821.99
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 845 0 0 0 81153 1046 0 0 25 0 1 0 106398278 4943872 815 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1207 815 205 16 0 646 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 4828

[startup+882.302 s]
/proc/loadavg: 1.03 1.02 1.07 2/78 25521
/proc/meminfo: memFree=1348560/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4828 CPUtime=881.97
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 845 0 0 0 87098 1099 0 0 25 0 1 0 106398278 4943872 815 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1207 815 205 16 0 646 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 4828

[startup+942.301 s]
/proc/loadavg: 1.06 1.03 1.07 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4828 CPUtime=941.95
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 845 0 0 0 93038 1157 0 0 25 0 1 0 106398278 4943872 815 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1207 815 205 16 0 646 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 4828

[startup+1002.3 s]
/proc/loadavg: 1.02 1.02 1.07 2/78 25521
/proc/meminfo: memFree=1348560/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4828 CPUtime=1001.93
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 845 0 0 0 98980 1213 0 0 25 0 1 0 106398278 4943872 815 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1207 815 205 16 0 646 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 4828

[startup+1062.3 s]
/proc/loadavg: 1.01 1.02 1.06 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1061.9
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 867 0 0 0 104922 1268 0 0 25 0 1 0 106398278 5058560 837 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 837 205 16 0 674 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 4940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.06 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1121.89
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 871 0 0 0 110866 1323 0 0 25 0 1 0 106398278 5058560 841 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 841 205 16 0 674 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 4940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1181.87
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 116809 1378 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 4940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 25521
/proc/meminfo: memFree=1348560/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1241.84
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 122752 1432 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 4940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1301.82
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 128693 1489 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 4940

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 25521
/proc/meminfo: memFree=1348496/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1361.8
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 134633 1547 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 4940

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 25521
/proc/meminfo: memFree=1348624/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1421.78
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 140572 1606 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 4940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/78 25521
/proc/meminfo: memFree=1348624/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1481.76
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 146519 1657 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 4940

[startup+1542.3 s]
/proc/loadavg: 1.04 1.01 1.02 2/78 25521
/proc/meminfo: memFree=1348688/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1541.73
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 152449 1724 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 4940

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.01 2/78 25521
/proc/meminfo: memFree=1348624/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1601.71
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 158381 1790 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527607 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 4940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 25521
/proc/meminfo: memFree=1348752/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1661.69
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 164312 1857 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 4940

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25521
/proc/meminfo: memFree=1348688/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1721.67
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 170243 1924 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 4940

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25521
/proc/meminfo: memFree=1348816/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1781.65
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 176177 1988 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 4940

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 25521
/proc/meminfo: memFree=1348816/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1782.45
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 176257 1988 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (KiB) 4940

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 25521
/proc/meminfo: memFree=1348816/2055920 swapFree=4170492/4192956
[pid=25520] ppid=25518 vsize=4940 CPUtime=1782.65
/proc/25520/stat : 25520 (Pueblo) R 25518 25520 23229 0 -1 4194304 873 0 0 0 176276 1989 0 0 25 0 1 0 106398278 5058560 843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25520/statm: 1235 843 205 16 0 674 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (KiB) 4940

Child status: 10
Real time (s): 1783.38
CPU time (s): 1782.74
CPU user time (s): 1762.84
CPU system time (s): 19.898
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 4956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.84
system time used= 19.898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 880
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= 16
involuntary context switches= 4129

runsolver used 2.26666 second user time and 4.07438 second system time

The end