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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682786-1277479911/watcher-2682786-1277479911 -o /tmp/evaluation-result-2682786-1277479911/solver-2682786-1277479911 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682786-1277479911.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.06 1.01 0.91 3/107 23941
/proc/meminfo: memFree=1867716/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=2416 CPUtime=0
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 302 0 0 0 0 0 0 0 17 0 1 0 121646872 2473984 221 1992294400 134512640 136421960 4288369856 18446744073709551615 135809985 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23941/statm: 604 221 145 467 0 135 0

[startup+0.061119 s]
/proc/loadavg: 1.06 1.01 0.91 3/107 23941
/proc/meminfo: memFree=1867716/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=3856 CPUtime=0.06
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 663 0 0 0 6 0 0 0 17 0 1 0 121646872 3948544 582 1992294400 134512640 136421960 4288369856 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 964 585 189 467 0 495 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3856

[startup+0.101122 s]
/proc/loadavg: 1.06 1.01 0.91 3/107 23941
/proc/meminfo: memFree=1867716/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=8704 CPUtime=0.09
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 1862 0 0 0 9 0 0 0 17 0 1 0 121646872 8912896 1781 1992294400 134512640 136421960 4288369856 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 2176 1784 189 467 0 1707 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8704

[startup+0.30114 s]
/proc/loadavg: 1.06 1.01 0.91 3/107 23941
/proc/meminfo: memFree=1867716/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=29016 CPUtime=0.29
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 7104 0 0 0 26 3 0 0 17 0 1 0 121646872 29712384 6779 1992294400 134512640 136421960 4288369856 18446744073709551615 134887913 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 7254 6779 204 467 0 6785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29016

[startup+0.701176 s]
/proc/loadavg: 1.06 1.01 0.91 3/107 23941
/proc/meminfo: memFree=1867716/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=31420 CPUtime=0.69
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 7727 0 0 0 61 8 0 0 17 0 1 0 121646872 32174080 7345 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 7855 7345 237 467 0 7386 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31420

[startup+1.50125 s]
/proc/loadavg: 1.06 1.01 0.91 2/108 23942
/proc/meminfo: memFree=1837948/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=34060 CPUtime=1.49
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 8381 0 0 0 132 17 0 0 18 0 1 0 121646872 34877440 7999 1992294400 134512640 136421960 4288369856 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 8515 7999 237 467 0 8046 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34060

[startup+3.10039 s]
/proc/loadavg: 1.06 1.01 0.91 2/108 23942
/proc/meminfo: memFree=1834600/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=37364 CPUtime=3.09
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 9205 0 0 0 272 37 0 0 21 0 1 0 121646872 38260736 8823 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 9341 8823 237 467 0 8872 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37364

[startup+6.30068 s]
/proc/loadavg: 1.05 1.01 0.91 2/108 23942
/proc/meminfo: memFree=1829516/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=40532 CPUtime=6.29
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 10020 0 0 0 542 87 0 0 25 0 1 0 121646872 41504768 9638 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 10133 9638 237 467 0 9664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40532

[startup+12.7003 s]
/proc/loadavg: 1.05 1.01 0.91 2/108 23942
/proc/meminfo: memFree=1826788/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=43832 CPUtime=12.69
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 10831 0 0 0 1103 166 0 0 25 0 1 0 121646872 44883968 10449 1992294400 134512640 136421960 4288369856 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 10958 10449 237 467 0 10489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43832

[startup+25.5014 s]
/proc/loadavg: 1.04 1.01 0.91 2/108 23942
/proc/meminfo: memFree=1826168/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=43432 CPUtime=25.48
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 10831 0 0 0 2189 359 0 0 25 0 1 0 121646872 44474368 10369 1992294400 134512640 136421960 4288369856 18446744073709551615 135022228 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 10858 10369 237 467 0 10389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43432

[startup+51.1017 s]
/proc/loadavg: 1.02 1.01 0.91 2/108 23944
/proc/meminfo: memFree=1819720/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=50324 CPUtime=51.08
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 12538 0 0 0 4391 717 0 0 25 0 1 0 121646872 51531776 12076 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 12581 12076 237 467 0 12112 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50324

[startup+102.308 s]
/proc/loadavg: 1.01 1.00 0.91 2/108 23944
/proc/meminfo: memFree=1815876/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=53888 CPUtime=102.27
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 13444 0 0 0 8861 1366 0 0 25 0 1 0 121646872 55181312 12982 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 13472 12982 237 467 0 13003 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53888

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23946
/proc/meminfo: memFree=1811660/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=58112 CPUtime=162.25
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 14480 0 0 0 14106 2119 0 0 25 0 1 0 121646872 59506688 14018 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 14528 14018 237 467 0 14059 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 58112

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23948
/proc/meminfo: memFree=1811660/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=58112 CPUtime=222.24
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 14480 0 0 0 19318 2906 0 0 25 0 1 0 121646872 59506688 14018 1992294400 134512640 136421960 4288369856 18446744073709551615 134859821 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 14528 14018 237 467 0 14059 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 58112

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23950
/proc/meminfo: memFree=1811164/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=58644 CPUtime=282.22
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 14625 0 0 0 24504 3718 0 0 25 0 1 0 121646872 60051456 14163 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 14661 14163 237 467 0 14192 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 58644

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23952
/proc/meminfo: memFree=1805088/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=64592 CPUtime=342.21
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 16119 0 0 0 29679 4542 0 0 25 0 1 0 121646872 66142208 15657 1992294400 134512640 136421960 4288369856 18446744073709551615 134643057 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 16148 15657 237 467 0 15679 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 64592

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23955
/proc/meminfo: memFree=1804468/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=64724 CPUtime=402.19
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 16129 0 0 0 34839 5380 0 0 25 0 1 0 121646872 66277376 15667 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 16181 15667 237 467 0 15712 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 64724

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23957
/proc/meminfo: memFree=1804468/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=64724 CPUtime=462.18
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 16129 0 0 0 40083 6135 0 0 25 0 1 0 121646872 66277376 15667 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 16181 15667 237 467 0 15712 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 64724

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23959
/proc/meminfo: memFree=1803848/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=65384 CPUtime=522.16
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 16303 0 0 0 45293 6923 0 0 25 0 1 0 121646872 66953216 15841 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 16346 15841 237 467 0 15877 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 65384

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23961
/proc/meminfo: memFree=1803972/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=64644 CPUtime=582.15
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 16303 0 0 0 50531 7684 0 0 25 0 1 0 121646872 66195456 15670 1992294400 134512640 136421960 4288369856 18446744073709551615 134859902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 16161 15670 237 467 0 15692 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 64644

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23963
/proc/meminfo: memFree=1803352/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=66036 CPUtime=642.15
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 16783 0 0 0 55701 8514 0 0 25 0 1 0 121646872 67620864 16003 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 16509 16003 237 467 0 16040 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 66036

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23969
/proc/meminfo: memFree=1796532/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=72772 CPUtime=882.08
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 18469 0 0 0 76868 11340 0 0 25 0 1 0 121646872 74518528 17689 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18193 17689 237 467 0 17724 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 72772

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23969
/proc/meminfo: memFree=1795168/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=74224 CPUtime=942.07
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 18820 0 0 0 82159 12048 0 0 25 0 1 0 121646872 76005376 18040 1992294400 134512640 136421960 4288369856 18446744073709551615 135023975 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18556 18040 237 467 0 18087 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 74224

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23971
/proc/meminfo: memFree=1794920/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=73736 CPUtime=1002.05
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 18899 0 0 0 87411 12794 0 0 25 0 1 0 121646872 75505664 17936 1992294400 134512640 136421960 4288369856 18446744073709551615 135026187 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18434 17936 237 467 0 17965 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 73736

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23973
/proc/meminfo: memFree=1794920/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=73736 CPUtime=1062.03
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 18899 0 0 0 92560 13643 0 0 25 0 1 0 121646872 75505664 17936 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18434 17936 237 467 0 17965 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 73736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23975
/proc/meminfo: memFree=1793928/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=75452 CPUtime=1122.02
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19302 0 0 0 97783 14419 0 0 25 0 1 0 121646872 77262848 18339 1992294400 134512640 136421960 4288369856 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18863 18339 237 467 0 18394 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 75452

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23977
/proc/meminfo: memFree=1793556/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=75588 CPUtime=1182.01
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19338 0 0 0 103075 15126 0 0 25 0 1 0 121646872 77402112 18375 1992294400 134512640 136421960 4288369856 18446744073709551615 135022236 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18897 18375 237 467 0 18428 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 75588

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23977
/proc/meminfo: memFree=1793308/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=75588 CPUtime=1241.99
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19338 0 0 0 108255 15944 0 0 25 0 1 0 121646872 77402112 18375 1992294400 134512640 136421960 4288369856 18446744073709551615 135022223 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18897 18375 237 467 0 18428 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 75588

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 23979
/proc/meminfo: memFree=1793184/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=75588 CPUtime=1301.98
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19338 0 0 0 113429 16769 0 0 25 0 1 0 121646872 77402112 18375 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18897 18375 237 467 0 18428 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 75588

[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 0.92 2/108 23981
/proc/meminfo: memFree=1793184/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=75588 CPUtime=1361.96
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19350 0 0 0 118638 17558 0 0 25 0 1 0 121646872 77402112 18387 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18897 18387 237 467 0 18428 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 75588

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 0.92 2/108 23983
/proc/meminfo: memFree=1793184/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=75588 CPUtime=1421.95
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19350 0 0 0 123851 18344 0 0 25 0 1 0 121646872 77402112 18387 1992294400 134512640 136421960 4288369856 18446744073709551615 134642064 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 18897 18387 237 467 0 18428 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 75588

[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 0.93 2/108 23985
/proc/meminfo: memFree=1791820/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=77172 CPUtime=1481.94
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19744 0 0 0 129159 19035 0 0 25 0 1 0 121646872 79024128 18781 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 19293 18781 237 467 0 18824 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 77172

[startup+1542.3 s]
/proc/loadavg: 1.07 1.03 0.93 2/108 23987
/proc/meminfo: memFree=1791324/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=77568 CPUtime=1541.92
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19853 0 0 0 134650 19542 0 0 25 0 1 0 121646872 79429632 18890 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 19392 18890 237 467 0 18923 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 77568

[startup+1602.3 s]
/proc/loadavg: 1.07 1.04 0.94 2/108 23987
/proc/meminfo: memFree=1790828/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=77964 CPUtime=1601.9
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 19945 0 0 0 140045 20145 0 0 25 0 1 0 121646872 79835136 18982 1992294400 134512640 136421960 4288369856 18446744073709551615 135006694 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 19491 18982 237 467 0 19022 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 77964

[startup+1662.3 s]
/proc/loadavg: 1.06 1.04 0.94 2/108 23989
/proc/meminfo: memFree=1784876/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=84036 CPUtime=1661.88
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 21456 0 0 0 145573 20615 0 0 25 0 1 0 121646872 86052864 20493 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 21009 20493 237 467 0 20540 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 84036

[startup+1722.3 s]
/proc/loadavg: 1.02 1.03 0.94 2/108 23991
/proc/meminfo: memFree=1784380/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=84432 CPUtime=1721.88
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 21558 0 0 0 151130 21058 0 0 25 0 1 0 121646872 86458368 20595 1992294400 134512640 136421960 4288369856 18446744073709551615 135022226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 21108 20595 237 467 0 20639 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 84432

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 0.94 2/108 24002
/proc/meminfo: memFree=1784132/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=83488 CPUtime=1781.85
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 21558 0 0 0 156367 21818 0 0 25 0 1 0 121646872 85491712 20377 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 20872 20377 237 467 0 20403 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 83488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 0.94 2/108 24002
/proc/meminfo: memFree=1784132/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=83488 CPUtime=1800.05
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 21558 0 0 0 157946 22059 0 0 25 0 1 0 121646872 85491712 20377 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 20872 20377 237 467 0 20403 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 83488

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.02 0.94 2/108 24002
/proc/meminfo: memFree=1784132/2059040 swapFree=4139776/4192956
[pid=23941] ppid=23939 vsize=83488 CPUtime=1800.05
/proc/23941/stat : 23941 (pbct) R 23939 23941 23356 0 -1 4202496 21558 0 0 0 157946 22059 0 0 25 0 1 0 121646872 85491712 20377 1992294400 134512640 136421960 4288369856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23941/statm: 20872 20377 237 467 0 20403 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 83488

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1579.46
CPU system time (s): 220.604
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 84432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1579.46
system time used= 220.604
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21559
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= 1
involuntary context switches= 3687

runsolver used 2.91356 second user time and 8.5647 second system time

The end