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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695534-1277921706/watcher-2695534-1277921706 -o /tmp/evaluation-result-2695534-1277921706/solver-2695534-1277921706 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695534-1277921706.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12763
/proc/meminfo: memFree=31257016/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=2528 CPUtime=0
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 133468164 2588672 220 4089446400 134512640 136421960 4292493440 18446744073709551615 134815888 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12763/statm: 697 233 172 467 0 228 0

[startup+0.0751359 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12763
/proc/meminfo: memFree=31257016/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16332 CPUtime=0.07
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3727 0 0 0 6 1 0 0 25 0 1 0 133468164 16723968 3646 4089446400 134512640 136421960 4292493440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4083 3646 213 467 0 3614 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16332

[startup+0.101131 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12763
/proc/meminfo: memFree=31257016/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16332 CPUtime=0.09
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3728 0 0 0 8 1 0 0 25 0 1 0 133468164 16723968 3647 4089446400 134512640 136421960 4292493440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4083 3647 213 467 0 3614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16332

[startup+0.301095 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12763
/proc/meminfo: memFree=31257016/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16332 CPUtime=0.29
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3741 0 0 0 21 8 0 0 25 0 1 0 133468164 16723968 3660 4089446400 134512640 136421960 4292493440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4083 3660 214 467 0 3614 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16332

[startup+0.701023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12763
/proc/meminfo: memFree=31257016/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16456 CPUtime=0.69
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3759 0 0 0 52 17 0 0 25 0 1 0 133468164 16850944 3678 4089446400 134512640 136421960 4292493440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4114 3678 214 467 0 3645 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16456

[startup+1.50089 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12764
/proc/meminfo: memFree=31242880/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16456 CPUtime=1.49
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3766 0 0 0 128 21 0 0 25 0 1 0 133468164 16850944 3685 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4114 3685 214 467 0 3645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16456

[startup+3.10061 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12764
/proc/meminfo: memFree=31242384/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16456 CPUtime=3.09
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3771 0 0 0 287 22 0 0 25 0 1 0 133468164 16850944 3690 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4114 3690 214 467 0 3645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16456

[startup+6.30104 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12764
/proc/meminfo: memFree=31242984/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16456 CPUtime=6.29
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3773 0 0 0 606 23 0 0 25 0 1 0 133468164 16850944 3692 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4114 3692 214 467 0 3645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16456

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12764
/proc/meminfo: memFree=31244000/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16456 CPUtime=12.69
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3776 0 0 0 1243 26 0 0 25 0 1 0 133468164 16850944 3695 4089446400 134512640 136421960 4292493440 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4114 3695 214 467 0 3645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16456

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12765
/proc/meminfo: memFree=31244656/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16456 CPUtime=25.49
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3781 0 0 0 2520 29 0 0 25 0 1 0 133468164 16850944 3700 4089446400 134512640 136421960 4292493440 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4114 3700 214 467 0 3645 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16456

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12765
/proc/meminfo: memFree=31244724/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16584 CPUtime=51.09
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3793 0 0 0 5074 35 0 0 25 0 1 0 133468164 16982016 3712 4089446400 134512640 136421960 4292493440 18446744073709551615 134902283 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4146 3712 214 467 0 3677 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16584

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12767
/proc/meminfo: memFree=31244200/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16584 CPUtime=102.29
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3808 0 0 0 10186 43 0 0 25 0 1 0 133468164 16982016 3727 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4146 3727 214 467 0 3677 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 16584

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12768
/proc/meminfo: memFree=31243924/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16740 CPUtime=162.29
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3824 0 0 0 16173 56 0 0 25 0 1 0 133468164 17141760 3743 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4185 3743 214 467 0 3716 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 16740

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12769
/proc/meminfo: memFree=31244264/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16740 CPUtime=222.3
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3841 0 0 0 22164 66 0 0 25 0 1 0 133468164 17141760 3760 4089446400 134512640 136421960 4292493440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4185 3760 214 467 0 3716 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 16740

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12771
/proc/meminfo: memFree=31244356/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16740 CPUtime=282.3
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3854 0 0 0 28156 74 0 0 25 0 1 0 133468164 17141760 3773 4089446400 134512640 136421960 4292493440 18446744073709551615 134902297 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4185 3773 214 467 0 3716 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 16740

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12773
/proc/meminfo: memFree=31244060/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16868 CPUtime=342.3
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3870 0 0 0 34150 80 0 0 25 0 1 0 133468164 17272832 3789 4089446400 134512640 136421960 4292493440 18446744073709551615 134902512 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4217 3789 214 467 0 3748 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 16868

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12775
/proc/meminfo: memFree=31244160/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16868 CPUtime=402.3
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3877 0 0 0 40144 86 0 0 25 0 1 0 133468164 17272832 3796 4089446400 134512640 136421960 4292493440 18446744073709551615 134902384 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4217 3796 214 467 0 3748 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 16868

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12776
/proc/meminfo: memFree=31244244/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16868 CPUtime=462.3
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3882 0 0 0 46139 91 0 0 25 0 1 0 133468164 17272832 3801 4089446400 134512640 136421960 4292493440 18446744073709551615 134902283 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4217 3801 214 467 0 3748 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 16868

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12777
/proc/meminfo: memFree=31244208/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16992 CPUtime=522.3
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3891 0 0 0 52134 96 0 0 25 0 1 0 133468164 17399808 3810 4089446400 134512640 136421960 4292493440 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4248 3810 214 467 0 3779 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 16992

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12779
/proc/meminfo: memFree=31243924/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16992 CPUtime=582.31
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3897 0 0 0 58128 103 0 0 25 0 1 0 133468164 17399808 3816 4089446400 134512640 136421960 4292493440 18446744073709551615 134857089 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4248 3816 214 467 0 3779 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 16992

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12781
/proc/meminfo: memFree=31244136/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=16992 CPUtime=642.31
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3902 0 0 0 64121 110 0 0 25 0 1 0 133468164 17399808 3821 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4248 3821 214 467 0 3779 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 16992

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12866
/proc/meminfo: memFree=31176164/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17116 CPUtime=822.31
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3937 0 0 0 82107 124 0 0 25 0 1 0 133468164 17526784 3856 4089446400 134512640 136421960 4292493440 18446744073709551615 134902286 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4279 3856 214 467 0 3810 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 17116

[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 12868
/proc/meminfo: memFree=31176368/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17116 CPUtime=882.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3938 0 0 0 88103 129 0 0 25 0 1 0 133468164 17526784 3857 4089446400 134512640 136421960 4292493440 18446744073709551615 134857089 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4279 3857 214 467 0 3810 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 17116

[startup+942.301 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 12870
/proc/meminfo: memFree=31176208/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17240 CPUtime=942.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3945 0 0 0 94099 133 0 0 25 0 1 0 133468164 17653760 3864 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4310 3864 214 467 0 3841 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 17240

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 12875
/proc/meminfo: memFree=31175420/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17240 CPUtime=1002.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3953 0 0 0 100096 136 0 0 25 0 1 0 133468164 17653760 3872 4089446400 134512640 136421960 4292493440 18446744073709551615 134902189 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4310 3872 214 467 0 3841 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 17240

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12876
/proc/meminfo: memFree=31175216/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17240 CPUtime=1062.31
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3961 0 0 0 106092 139 0 0 25 0 1 0 133468164 17653760 3880 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4310 3880 214 467 0 3841 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 17240

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12877
/proc/meminfo: memFree=31175304/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17240 CPUtime=1122.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3968 0 0 0 112090 142 0 0 25 0 1 0 133468164 17653760 3887 4089446400 134512640 136421960 4292493440 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4310 3887 214 467 0 3841 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 17240

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12879
/proc/meminfo: memFree=31175256/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17240 CPUtime=1182.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3974 0 0 0 118087 145 0 0 25 0 1 0 133468164 17653760 3893 4089446400 134512640 136421960 4292493440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4310 3893 214 467 0 3841 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 17240

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12881
/proc/meminfo: memFree=31175224/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17360 CPUtime=1242.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3979 0 0 0 124084 148 0 0 25 0 1 0 133468164 17776640 3898 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4340 3898 214 467 0 3871 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 17360

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12883
/proc/meminfo: memFree=31175428/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17360 CPUtime=1302.33
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3986 0 0 0 130082 151 0 0 25 0 1 0 133468164 17776640 3905 4089446400 134512640 136421960 4292493440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4340 3905 214 467 0 3871 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 17360

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12884
/proc/meminfo: memFree=31175396/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17360 CPUtime=1362.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3992 0 0 0 136077 155 0 0 25 0 1 0 133468164 17776640 3911 4089446400 134512640 136421960 4292493440 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4340 3911 214 467 0 3871 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 17360

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12885
/proc/meminfo: memFree=31175596/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17360 CPUtime=1422.33
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 3998 0 0 0 142075 158 0 0 25 0 1 0 133468164 17776640 3917 4089446400 134512640 136421960 4292493440 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4340 3917 214 467 0 3871 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 17360

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12887
/proc/meminfo: memFree=31175584/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17360 CPUtime=1482.32
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 4004 0 0 0 148072 160 0 0 25 0 1 0 133468164 17776640 3923 4089446400 134512640 136421960 4292493440 18446744073709551615 134902253 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4340 3923 214 467 0 3871 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 17360

[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 12889
/proc/meminfo: memFree=31175768/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17360 CPUtime=1542.33
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 4010 0 0 0 154069 164 0 0 25 0 1 0 133468164 17776640 3929 4089446400 134512640 136421960 4292493440 18446744073709551615 134902259 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4340 3929 214 467 0 3871 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 17360

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 12891
/proc/meminfo: memFree=31175624/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17644 CPUtime=1602.33
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 4039 0 0 0 160066 167 0 0 25 0 1 0 133468164 18067456 3958 4089446400 134512640 136421960 4292493440 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4411 3958 214 467 0 3942 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 17644

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12892
/proc/meminfo: memFree=31175704/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17644 CPUtime=1662.33
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 4040 0 0 0 166064 169 0 0 25 0 1 0 133468164 18067456 3959 4089446400 134512640 136421960 4292493440 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4411 3959 214 467 0 3942 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 17644

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12893
/proc/meminfo: memFree=31175680/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17644 CPUtime=1722.33
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 4040 0 0 0 172062 171 0 0 25 0 1 0 133468164 18067456 3959 4089446400 134512640 136421960 4292493440 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4411 3959 214 467 0 3942 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 17644

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12895
/proc/meminfo: memFree=31175620/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17808 CPUtime=1782.33
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 4098 0 0 0 178061 172 0 0 25 0 1 0 133468164 18235392 4015 4089446400 134512640 136421960 4292493440 18446744073709551615 134902248 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4452 4015 237 467 0 3983 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 17808



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12896
/proc/meminfo: memFree=31175732/32951124 swapFree=67111528/67111528
[pid=12763] ppid=12761 vsize=17808 CPUtime=1800.03
/proc/12763/stat : 12763 (pbct) R 12761 12763 11428 0 -1 4202496 4098 0 0 0 179830 173 0 0 25 0 1 0 133468164 18235392 4015 4089446400 134512640 136421960 4292493440 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/12763/statm: 4452 4015 237 467 0 3983 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 17808

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

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

Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1798.31
CPU system time (s): 1.73773
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 17808

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

runsolver used 2.5966 second user time and 5.59715 second system time

The end