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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668282-1276645424/watcher-2668282-1276645424 -o /tmp/evaluation-result-2668282-1276645424/solver-2668282-1276645424 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668282-1276645424.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.92 0.98 0.99 3/106 11988
/proc/meminfo: memFree=1846752/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=2208 CPUtime=0
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 267 0 0 0 0 0 0 0 18 0 1 0 5834027 2260992 190 1992294400 134512640 136485738 4292512336 18446744073709551615 135843987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11988/statm: 552 190 156 482 0 68 0

[startup+0.065811 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11988
/proc/meminfo: memFree=1846752/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=7556 CPUtime=0.05
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 1560 0 0 0 5 0 0 0 18 0 1 0 5834027 7737344 1483 1992294400 134512640 136485738 4292512336 18446744073709551615 135848207 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 1889 1484 194 482 0 1405 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7556

[startup+0.101814 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11988
/proc/meminfo: memFree=1846752/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=11288 CPUtime=0.09
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 2467 0 0 0 8 1 0 0 18 0 1 0 5834027 11558912 2390 1992294400 134512640 136485738 4292512336 18446744073709551615 135445162 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 2822 2391 198 482 0 2338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11288

[startup+0.301831 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11988
/proc/meminfo: memFree=1846752/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=15740 CPUtime=0.3
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3592 0 0 0 22 8 0 0 18 0 1 0 5834027 16117760 3500 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 3935 3500 244 482 0 3451 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15740

[startup+0.701867 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 11988
/proc/meminfo: memFree=1846752/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=15868 CPUtime=0.69
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3621 0 0 0 47 22 0 0 18 0 1 0 5834027 16248832 3529 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 3967 3529 244 482 0 3483 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15868

[startup+1.50194 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11989
/proc/meminfo: memFree=1833476/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=15996 CPUtime=1.49
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3649 0 0 0 98 51 0 0 19 0 1 0 5834027 16379904 3557 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 3999 3557 244 482 0 3515 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15996

[startup+3.10107 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 11989
/proc/meminfo: memFree=1833104/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=16124 CPUtime=3.09
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3686 0 0 0 198 111 0 0 24 0 1 0 5834027 16510976 3594 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4031 3594 244 482 0 3547 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16124

[startup+6.30135 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11989
/proc/meminfo: memFree=1832856/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=16124 CPUtime=6.29
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3688 0 0 0 402 227 0 0 25 0 1 0 5834027 16510976 3594 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4031 3594 244 482 0 3547 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16124

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 11989
/proc/meminfo: memFree=1832608/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=16252 CPUtime=12.69
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3725 0 0 0 812 457 0 0 25 0 1 0 5834027 16642048 3631 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4063 3631 244 482 0 3579 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16252

[startup+25.501 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 11989
/proc/meminfo: memFree=1832236/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=16644 CPUtime=25.49
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3828 0 0 0 1632 917 0 0 25 0 1 0 5834027 17043456 3734 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4161 3734 244 482 0 3677 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16644

[startup+51.1013 s]
/proc/loadavg: 1.07 1.01 1.00 2/107 11989
/proc/meminfo: memFree=1832236/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=16644 CPUtime=51.08
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3836 0 0 0 3264 1844 0 0 25 0 1 0 5834027 17043456 3742 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4161 3742 244 482 0 3677 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16644

[startup+102.309 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 11991
/proc/meminfo: memFree=1831616/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17028 CPUtime=102.28
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 3916 0 0 0 6529 3699 0 0 25 0 1 0 5834027 17436672 3822 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4257 3822 244 482 0 3773 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17028

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11993
/proc/meminfo: memFree=1831244/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=162.25
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4016 0 0 0 10327 5898 0 0 25 0 1 0 5834027 17833984 3921 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3921 244 482 0 3870 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 17416

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11993
/proc/meminfo: memFree=1831244/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=222.24
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4018 0 0 0 14136 8088 0 0 25 0 1 0 5834027 17833984 3921 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3921 244 482 0 3870 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 17416

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11995
/proc/meminfo: memFree=1831120/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=282.22
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4035 0 0 0 17896 10326 0 0 25 0 1 0 5834027 17833984 3937 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3937 244 482 0 3870 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 17416

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11997
/proc/meminfo: memFree=1831120/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=342.21
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4035 0 0 0 21720 12501 0 0 25 0 1 0 5834027 17833984 3937 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3937 244 482 0 3870 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 17416

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11999
/proc/meminfo: memFree=1830996/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=402.19
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4035 0 0 0 25551 14668 0 0 25 0 1 0 5834027 17833984 3937 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3937 244 482 0 3870 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 17416

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12001
/proc/meminfo: memFree=1830996/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=462.18
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4035 0 0 0 29344 16874 0 0 25 0 1 0 5834027 17833984 3937 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3937 244 482 0 3870 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 17416

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12001
/proc/meminfo: memFree=1830872/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=522.17
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4035 0 0 0 33142 19075 0 0 25 0 1 0 5834027 17833984 3937 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3937 244 482 0 3870 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 17416

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12003
/proc/meminfo: memFree=1830872/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17416 CPUtime=582.15
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4035 0 0 0 36958 21257 0 0 25 0 1 0 5834027 17833984 3937 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4354 3937 244 482 0 3870 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 17416

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12005
/proc/meminfo: memFree=1830500/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17804 CPUtime=642.15
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4107 0 0 0 40766 23449 0 0 25 0 1 0 5834027 18231296 4009 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4451 4009 244 482 0 3967 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 17804

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12011
/proc/meminfo: memFree=1830128/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17936 CPUtime=882.08
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4163 0 0 0 55858 32350 0 0 25 0 1 0 5834027 18366464 4065 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4484 4065 244 482 0 4000 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 17936

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12013
/proc/meminfo: memFree=1830128/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17936 CPUtime=942.06
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4163 0 0 0 59644 34562 0 0 25 0 1 0 5834027 18366464 4065 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4484 4065 244 482 0 4000 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 17936

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12015
/proc/meminfo: memFree=1830004/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=17936 CPUtime=1002.04
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4163 0 0 0 63444 36760 0 0 25 0 1 0 5834027 18366464 4065 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4484 4065 244 482 0 4000 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 17936

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12026
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18068 CPUtime=1062.03
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4200 0 0 0 67220 38983 0 0 25 0 1 0 5834027 18501632 4102 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4517 4102 244 482 0 4033 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 18068

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12026
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18200 CPUtime=1122.01
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4234 0 0 0 70969 41232 0 0 25 0 1 0 5834027 18636800 4136 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4550 4136 244 482 0 4066 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 18200

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12028
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18200 CPUtime=1181.99
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4234 0 0 0 74765 43434 0 0 25 0 1 0 5834027 18636800 4136 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4550 4136 244 482 0 4066 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 18200

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12030
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18200 CPUtime=1241.98
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4234 0 0 0 78603 45595 0 0 25 0 1 0 5834027 18636800 4136 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4550 4136 244 482 0 4066 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 18200

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12032
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18200 CPUtime=1301.97
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4234 0 0 0 82351 47846 0 0 25 0 1 0 5834027 18636800 4136 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4550 4136 244 482 0 4066 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 18200

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12034
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18200 CPUtime=1361.95
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4234 0 0 0 86161 50034 0 0 25 0 1 0 5834027 18636800 4136 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4550 4136 244 482 0 4066 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 18200

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12034
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18464 CPUtime=1421.94
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4297 0 0 0 89948 52246 0 0 25 0 1 0 5834027 18907136 4199 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4616 4199 244 482 0 4132 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 18464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12036
/proc/meminfo: memFree=1828764/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18464 CPUtime=1481.92
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4298 0 0 0 93784 54408 0 0 25 0 1 0 5834027 18907136 4200 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4616 4200 244 482 0 4132 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 18464

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12038
/proc/meminfo: memFree=1828640/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18656 CPUtime=1541.91
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4431 0 0 0 97595 56596 0 0 25 0 1 0 5834027 19103744 4251 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4664 4251 244 482 0 4180 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 18656

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12040
/proc/meminfo: memFree=1828640/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18648 CPUtime=1601.89
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4431 0 0 0 101431 58758 0 0 25 0 1 0 5834027 19095552 4249 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4662 4249 244 482 0 4178 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 18648

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12042
/proc/meminfo: memFree=1828640/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18648 CPUtime=1661.88
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4431 0 0 0 105229 60959 0 0 25 0 1 0 5834027 19095552 4249 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4662 4249 244 482 0 4178 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 18648

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12042
/proc/meminfo: memFree=1828640/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18648 CPUtime=1721.86
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4431 0 0 0 109042 63144 0 0 25 0 1 0 5834027 19095552 4249 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4662 4249 244 482 0 4178 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 18648

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12044
/proc/meminfo: memFree=1828392/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18648 CPUtime=1781.85
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4431 0 0 0 112855 65330 0 0 25 0 1 0 5834027 19095552 4249 1992294400 134512640 136485738 4292512336 18446744073709551615 134882405 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4662 4249 244 482 0 4178 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 18648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12046
/proc/meminfo: memFree=1828392/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18648 CPUtime=1800.05
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4431 0 0 0 114005 66000 0 0 25 0 1 0 5834027 19095552 4249 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4662 4249 244 482 0 4178 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 18648

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12046
/proc/meminfo: memFree=1828392/2059040 swapFree=4141108/4192956
[pid=11988] ppid=11986 vsize=18648 CPUtime=1800.05
/proc/11988/stat : 11988 (pbct) R 11986 11988 11155 0 -1 4202496 4431 0 0 0 114005 66000 0 0 25 0 1 0 5834027 19095552 4249 1992294400 134512640 136485738 4292512336 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11988/statm: 4662 4249 244 482 0 4178 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 18648

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1140.05
CPU system time (s): 660.01
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 18904

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

runsolver used 2.97055 second user time and 8.50771 second system time

The end