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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682787-1277479925/watcher-2682787-1277479925 -o /tmp/evaluation-result-2682787-1277479925/solver-2682787-1277479925 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682787-1277479925.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.00 0.98 0.91 3/106 29487
/proc/meminfo: memFree=1819932/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=2280 CPUtime=0
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 89285287 2334720 200 1992294400 134512640 136421960 4292966864 18446744073709551615 135378173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 570 200 145 467 0 101 0

[startup+0.028658 s]
/proc/loadavg: 1.00 0.98 0.91 3/106 29487
/proc/meminfo: memFree=1819932/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=2280 CPUtime=0.02
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 293 0 0 0 2 0 0 0 20 0 1 0 89285287 2334720 213 1992294400 134512640 136421960 4292966864 18446744073709551615 135158949 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29487/statm: 570 213 145 467 0 101 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2280

[startup+0.100662 s]
/proc/loadavg: 1.00 0.98 0.91 3/106 29487
/proc/meminfo: memFree=1819932/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=7152 CPUtime=0.09
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 1496 0 0 0 9 0 0 0 20 0 1 0 89285287 7323648 1416 1992294400 134512640 136421960 4292966864 18446744073709551615 135818289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 1788 1416 188 467 0 1319 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7152

[startup+0.300686 s]
/proc/loadavg: 1.00 0.98 0.91 3/106 29487
/proc/meminfo: memFree=1819932/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=23288 CPUtime=0.29
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 5618 0 0 0 26 3 0 0 20 0 1 0 89285287 23846912 5323 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 5822 5323 236 467 0 5353 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23288

[startup+0.700727 s]
/proc/loadavg: 1.00 0.98 0.91 3/106 29487
/proc/meminfo: memFree=1819932/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=23552 CPUtime=0.69
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 5701 0 0 0 56 13 0 0 20 0 1 0 89285287 24117248 5405 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 5888 5405 237 467 0 5419 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23552

[startup+1.50082 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29490
/proc/meminfo: memFree=1798348/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=24080 CPUtime=1.49
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 5821 0 0 0 121 28 0 0 22 0 1 0 89285287 24657920 5525 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 6020 5525 237 467 0 5551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24080

[startup+3.101 s]
/proc/loadavg: 1.00 0.98 0.91 3/108 29491
/proc/meminfo: memFree=1790652/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=24476 CPUtime=3.09
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 5925 0 0 0 233 76 0 0 25 0 1 0 89285287 25063424 5629 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 6119 5629 237 467 0 5650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24476

[startup+6.30134 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29491
/proc/meminfo: memFree=1796984/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=24872 CPUtime=6.29
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 6026 0 0 0 485 144 0 0 25 0 1 0 89285287 25468928 5730 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 6218 5730 237 467 0 5749 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24872

[startup+12.701 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29491
/proc/meminfo: memFree=1795248/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=26456 CPUtime=12.69
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 6416 0 0 0 1004 265 0 0 25 0 1 0 89285287 27090944 6120 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 6614 6120 237 467 0 6145 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26456

[startup+25.5014 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29491
/proc/meminfo: memFree=1793760/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=28040 CPUtime=25.48
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 6810 0 0 0 2002 546 0 0 25 0 1 0 89285287 28712960 6514 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 7010 6514 237 467 0 6541 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28040

[startup+51.1012 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29493
/proc/meminfo: memFree=1793264/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=28568 CPUtime=51.07
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 6955 0 0 0 3948 1159 0 0 25 0 1 0 89285287 29253632 6659 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 7142 6659 237 467 0 6673 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28568

[startup+102.309 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29495
/proc/meminfo: memFree=1789296/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=32668 CPUtime=102.28
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 7961 0 0 0 8023 2205 0 0 25 0 1 0 89285287 33452032 7665 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 8167 7665 237 467 0 7698 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 32668

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29495
/proc/meminfo: memFree=1789296/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=32668 CPUtime=162.25
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 7961 0 0 0 12688 3537 0 0 25 0 1 0 89285287 33452032 7665 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 8167 7665 237 467 0 7698 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32668

[startup+222.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29497
/proc/meminfo: memFree=1789296/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=32668 CPUtime=222.23
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 7961 0 0 0 16862 5361 0 0 25 0 1 0 89285287 33452032 7665 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 8167 7665 237 467 0 7698 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32668

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29499
/proc/meminfo: memFree=1789296/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=32668 CPUtime=282.22
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 7962 0 0 0 21099 7123 0 0 25 0 1 0 89285287 33452032 7665 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 8167 7665 237 467 0 7698 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 32668

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29501
/proc/meminfo: memFree=1785328/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36760 CPUtime=342.2
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 8985 0 0 0 25784 8436 0 0 25 0 1 0 89285287 37642240 8687 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9190 8687 237 467 0 8721 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 36760

[startup+402.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29503
/proc/meminfo: memFree=1784956/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=402.19
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 30559 9660 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 36892

[startup+462.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29503
/proc/meminfo: memFree=1784956/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=462.17
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 35231 10986 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 36892

[startup+522.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29505
/proc/meminfo: memFree=1784832/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=522.16
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 39631 12585 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 36892

[startup+582.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29507
/proc/meminfo: memFree=1784832/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=582.13
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 44066 14147 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 36892

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29509
/proc/meminfo: memFree=1784708/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=642.12
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 48719 15493 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 36892

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29515
/proc/meminfo: memFree=1784460/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=882.06
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 67021 21185 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 36892

[startup+942.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29517
/proc/meminfo: memFree=1784336/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=942.04
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 71595 22609 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 36892

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29519
/proc/meminfo: memFree=1784212/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=1002.03
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 76178 24025 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 36892

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29519
/proc/meminfo: memFree=1784212/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=1062.01
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 81037 25164 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 36892

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29521
/proc/meminfo: memFree=1784212/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=36892 CPUtime=1122
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9042 0 0 0 86144 26056 0 0 25 0 1 0 89285287 37777408 8744 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9223 8744 237 467 0 8754 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 36892

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29523
/proc/meminfo: memFree=1783592/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=37540 CPUtime=1181.97
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9278 0 0 0 91007 27190 0 0 25 0 1 0 89285287 38440960 8914 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9385 8914 237 467 0 8916 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 37540

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29525
/proc/meminfo: memFree=1783468/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=37540 CPUtime=1241.96
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9278 0 0 0 95595 28601 0 0 25 0 1 0 89285287 38440960 8914 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9385 8914 237 467 0 8916 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 37540

[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29527
/proc/meminfo: memFree=1781856/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=39388 CPUtime=1301.95
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9731 0 0 0 100424 29771 0 0 25 0 1 0 89285287 40333312 9367 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9847 9367 237 467 0 9378 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 39388

[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29527
/proc/meminfo: memFree=1781856/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=39388 CPUtime=1361.93
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9731 0 0 0 105029 31164 0 0 25 0 1 0 89285287 40333312 9367 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9847 9367 237 467 0 9378 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 39388

[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29529
/proc/meminfo: memFree=1781856/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=39388 CPUtime=1421.93
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9731 0 0 0 109710 32483 0 0 25 0 1 0 89285287 40333312 9367 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9847 9367 237 467 0 9378 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 39388

[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29531
/proc/meminfo: memFree=1781732/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=39388 CPUtime=1481.89
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9731 0 0 0 114300 33889 0 0 25 0 1 0 89285287 40333312 9367 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9847 9367 237 467 0 9378 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 39388

[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29533
/proc/meminfo: memFree=1781732/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=39388 CPUtime=1541.89
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 9731 0 0 0 118861 35328 0 0 25 0 1 0 89285287 40333312 9367 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 9847 9367 237 467 0 9378 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 39388

[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29535
/proc/meminfo: memFree=1780740/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=41104 CPUtime=1601.87
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 10139 0 0 0 123536 36651 0 0 25 0 1 0 89285287 42090496 9775 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 10276 9775 237 467 0 9807 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 41104

[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/107 29535
/proc/meminfo: memFree=1780120/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=40612 CPUtime=1661.85
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 10139 0 0 0 128436 37749 0 0 25 0 1 0 89285287 41586688 9682 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 10153 9682 237 467 0 9684 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 40612

[startup+1722.3 s]
/proc/loadavg: 1.06 1.00 0.91 2/107 29537
/proc/meminfo: memFree=1779996/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=40612 CPUtime=1721.84
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 10139 0 0 0 133087 39097 0 0 25 0 1 0 89285287 41586688 9682 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 10153 9682 237 467 0 9684 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 40612

[startup+1782.3 s]
/proc/loadavg: 1.02 1.00 0.91 2/107 29548
/proc/meminfo: memFree=1779500/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=40612 CPUtime=1781.81
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 10139 0 0 0 137366 40815 0 0 25 0 1 0 89285287 41586688 9682 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 10153 9682 237 467 0 9684 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 40612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.00 0.91 2/107 29548
/proc/meminfo: memFree=1779500/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=40612 CPUtime=1800.02
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 10139 0 0 0 138774 41228 0 0 25 0 1 0 89285287 41586688 9682 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 10153 9682 237 467 0 9684 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 40612

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.01 1.00 0.91 2/107 29548
/proc/meminfo: memFree=1779500/2059040 swapFree=4140312/4192956
[pid=29487] ppid=29485 vsize=40612 CPUtime=1800.02
/proc/29487/stat : 29487 (pbct) R 29485 29487 29145 0 -1 4202496 10139 0 0 0 138774 41228 0 0 25 0 1 0 89285287 41586688 9682 1992294400 134512640 136421960 4292966864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/29487/statm: 10153 9682 237 467 0 9684 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 40612

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1387.74
CPU system time (s): 412.285
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 41104

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

runsolver used 3.17352 second user time and 8.30574 second system time

The end