runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3491856-1307772873/watcher-3491856-1307772873 -o /tmp/evaluation-result-3491856-1307772873/solver-3491856-1307772873 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491856-1307772873.opb --solu --heu=VSIDS
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 2/174 5380
/proc/meminfo: memFree=30945040/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=3052 CPUtime=0 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 497 0 0 0 0 0 0 0 25 0 1 0 967517771 3125248 430 33554432000 4194304 6245536 140733571132096 18446744073709551615 4613424 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 763 430 215 501 0 259 0
[startup+0.0935951 s]
/proc/loadavg: 2.00 2.00 1.92 2/174 5380
/proc/meminfo: memFree=30945040/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=3184 CPUtime=0.09 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 544 0 0 0 9 0 0 0 25 0 1 0 967517771 3260416 477 33554432000 4194304 6245536 140733571132096 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 796 478 229 501 0 292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3184
[startup+0.100597 s]
/proc/loadavg: 2.00 2.00 1.92 2/174 5380
/proc/meminfo: memFree=30945040/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=3184 CPUtime=0.1 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 548 0 0 0 10 0 0 0 25 0 1 0 967517771 3260416 481 33554432000 4194304 6245536 140733571132096 18446744073709551615 4637702 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 796 481 229 501 0 292 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3184
[startup+0.30056 s]
/proc/loadavg: 2.00 2.00 1.92 2/174 5380
/proc/meminfo: memFree=30945040/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=3448 CPUtime=0.3 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 601 0 0 0 30 0 0 0 25 0 1 0 967517771 3530752 534 33554432000 4194304 6245536 140733571132096 18446744073709551615 4633927 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 862 534 229 501 0 358 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3448
[startup+0.700485 s]
/proc/loadavg: 2.00 2.00 1.92 2/174 5380
/proc/meminfo: memFree=30945040/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=3716 CPUtime=0.7 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 667 0 0 0 70 0 0 0 25 0 1 0 967517771 3805184 600 33554432000 4194304 6245536 140733571132096 18446744073709551615 4637756 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 929 600 229 501 0 425 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3716
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5381
/proc/meminfo: memFree=30943320/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=4120 CPUtime=1.5 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 760 0 0 0 150 0 0 0 25 0 1 0 967517771 4218880 693 33554432000 4194304 6245536 140733571132096 18446744073709551615 4408684 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1030 693 229 501 0 526 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 4120
[startup+3.10104 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5381
/proc/meminfo: memFree=30942000/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=4388 CPUtime=3.1 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 851 0 0 0 310 0 0 0 25 0 1 0 967517771 4493312 784 33554432000 4194304 6245536 140733571132096 18446744073709551615 4409797 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1097 784 229 501 0 593 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 4388
[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5381
/proc/meminfo: memFree=30940820/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=4816 CPUtime=6.3 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 941 0 0 0 630 0 0 0 25 0 1 0 967517771 4931584 874 33554432000 4194304 6245536 140733571132096 18446744073709551615 4304840 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1204 874 229 501 0 700 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 4816
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5382
/proc/meminfo: memFree=30938748/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=5508 CPUtime=12.7 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1109 0 0 0 1270 0 0 0 25 0 1 0 967517771 5640192 1042 33554432000 4194304 6245536 140733571132096 18446744073709551615 5419504 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1377 1042 229 501 0 873 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 5508
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5382
/proc/meminfo: memFree=30936888/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=6200 CPUtime=25.5 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1258 0 0 0 2550 0 0 0 25 0 1 0 967517771 6348800 1191 33554432000 4194304 6245536 140733571132096 18446744073709551615 4397905 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1550 1191 229 501 0 1046 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 6200
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5383
/proc/meminfo: memFree=30934584/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=6792 CPUtime=51.1 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1413 0 0 0 5110 0 0 0 25 0 1 0 967517771 6955008 1346 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629045 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1698 1346 229 501 0 1194 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 6792
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5384
/proc/meminfo: memFree=30931340/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=7528 CPUtime=102.3 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1598 0 0 0 10230 0 0 0 25 0 1 0 967517771 7708672 1531 33554432000 4194304 6245536 140733571132096 18446744073709551615 4637435 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1882 1531 229 501 0 1378 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 7528
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5386
/proc/meminfo: memFree=30929708/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=7668 CPUtime=162.3 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1636 0 0 0 16230 0 0 0 25 0 1 0 967517771 7852032 1569 33554432000 4194304 6245536 140733571132096 18446744073709551615 4408775 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1917 1569 229 501 0 1413 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 7668
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5387
/proc/meminfo: memFree=30928816/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=7804 CPUtime=222.3 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1675 0 0 0 22230 0 0 0 25 0 1 0 967517771 7991296 1608 33554432000 4194304 6245536 140733571132096 18446744073709551615 4608208 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1951 1608 229 501 0 1447 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 7804
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 5389
/proc/meminfo: memFree=30927548/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=7956 CPUtime=282.3 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1698 0 0 0 28230 0 0 0 25 0 1 0 967517771 8146944 1631 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629020 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 1989 1631 229 501 0 1485 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 7956
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/175 5390
/proc/meminfo: memFree=30927396/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8104 CPUtime=342.31 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1713 0 0 0 34231 0 0 0 25 0 1 0 967517771 8298496 1646 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2026 1646 229 501 0 1522 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 8104
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/175 5392
/proc/meminfo: memFree=30926504/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8104 CPUtime=402.31 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1736 0 0 0 40231 0 0 0 25 0 1 0 967517771 8298496 1669 33554432000 4194304 6245536 140733571132096 18446744073709551615 4304733 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2026 1669 229 501 0 1522 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 8104
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5394
/proc/meminfo: memFree=30926236/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8256 CPUtime=462.31 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1762 0 0 0 46231 0 0 0 25 0 1 0 967517771 8454144 1695 33554432000 4194304 6245536 140733571132096 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2064 1695 229 501 0 1560 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 8256
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5395
/proc/meminfo: memFree=30925472/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8404 CPUtime=522.31 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1777 0 0 0 52231 0 0 0 25 0 1 0 967517771 8605696 1710 33554432000 4194304 6245536 140733571132096 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2101 1710 229 501 0 1597 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 8404
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5397
/proc/meminfo: memFree=30925320/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8404 CPUtime=582.31 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1784 0 0 0 58231 0 0 0 25 0 1 0 967517771 8605696 1717 33554432000 4194304 6245536 140733571132096 18446744073709551615 4410424 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2101 1717 229 501 0 1597 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 8404
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5403
/proc/meminfo: memFree=30924468/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8704 CPUtime=822.32 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1845 0 0 0 82232 0 0 0 25 0 1 0 967517771 8912896 1778 33554432000 4194304 6245536 140733571132096 18446744073709551615 4640101 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2176 1778 229 501 0 1672 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 8704
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5405
/proc/meminfo: memFree=30924196/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8704 CPUtime=882.32 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1860 0 0 0 88232 0 0 0 25 0 1 0 967517771 8912896 1793 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2176 1793 229 501 0 1672 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 8704
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5406
/proc/meminfo: memFree=30924056/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8704 CPUtime=942.33 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1860 0 0 0 94233 0 0 0 25 0 1 0 967517771 8912896 1793 33554432000 4194304 6245536 140733571132096 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2176 1793 229 501 0 1672 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 8704
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5408
/proc/meminfo: memFree=30923912/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=8852 CPUtime=1002.33 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1876 0 0 0 100233 0 0 0 25 0 1 0 967517771 9064448 1809 33554432000 4194304 6245536 140733571132096 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2213 1809 229 501 0 1709 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 8852
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5410
/proc/meminfo: memFree=30923640/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9004 CPUtime=1062.33 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1906 0 0 0 106233 0 0 0 25 0 1 0 967517771 9220096 1839 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2251 1839 229 501 0 1747 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 9004
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5411
/proc/meminfo: memFree=30923488/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9152 CPUtime=1122.33 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1944 0 0 0 112233 0 0 0 25 0 1 0 967517771 9371648 1877 33554432000 4194304 6245536 140733571132096 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2288 1877 229 501 0 1784 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 9152
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5413
/proc/meminfo: memFree=30923340/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9152 CPUtime=1182.33 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1953 0 0 0 118233 0 0 0 25 0 1 0 967517771 9371648 1886 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629056 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2288 1886 229 501 0 1784 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 9152
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5414
/proc/meminfo: memFree=30922692/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9304 CPUtime=1242.34 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1960 0 0 0 124234 0 0 0 25 0 1 0 967517771 9527296 1893 33554432000 4194304 6245536 140733571132096 18446744073709551615 4316553 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2326 1893 229 501 0 1822 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 9304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5416
/proc/meminfo: memFree=30922656/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9304 CPUtime=1302.34 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1967 0 0 0 130234 0 0 0 25 0 1 0 967517771 9527296 1900 33554432000 4194304 6245536 140733571132096 18446744073709551615 4409648 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2326 1900 229 501 0 1822 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 9304
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5418
/proc/meminfo: memFree=30922616/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9304 CPUtime=1362.34 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1970 0 0 0 136234 0 0 0 25 0 1 0 967517771 9527296 1903 33554432000 4194304 6245536 140733571132096 18446744073709551615 4635744 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2326 1903 229 501 0 1822 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 9304
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.93 3/175 5419
/proc/meminfo: memFree=30922208/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9304 CPUtime=1422.35 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1985 0 0 0 142235 0 0 0 25 0 1 0 967517771 9527296 1918 33554432000 4194304 6245536 140733571132096 18446744073709551615 4316670 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2326 1918 229 501 0 1822 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 9304
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/175 5424
/proc/meminfo: memFree=30920416/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9452 CPUtime=1482.34 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1992 0 0 0 148234 0 0 0 25 0 1 0 967517771 9678848 1925 33554432000 4194304 6245536 140733571132096 18446744073709551615 4344241 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2363 1925 229 501 0 1859 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 9452
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 5425
/proc/meminfo: memFree=30921028/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9452 CPUtime=1542.35 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1992 0 0 0 154235 0 0 0 25 0 1 0 967517771 9678848 1925 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629082 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2363 1925 229 501 0 1859 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 9452
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/175 5427
/proc/meminfo: memFree=30920996/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9452 CPUtime=1602.35 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1994 0 0 0 160235 0 0 0 25 0 1 0 967517771 9678848 1927 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629226 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2363 1927 231 501 0 1859 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 9452
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/175 5429
/proc/meminfo: memFree=30920836/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9452 CPUtime=1662.35 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 1994 0 0 0 166235 0 0 0 25 0 1 0 967517771 9678848 1927 33554432000 4194304 6245536 140733571132096 18446744073709551615 4637451 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2363 1927 231 501 0 1859 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 9452
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5430
/proc/meminfo: memFree=30920804/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9452 CPUtime=1722.35 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 2010 0 0 0 172235 0 0 0 25 0 1 0 967517771 9678848 1943 33554432000 4194304 6245536 140733571132096 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2363 1943 231 501 0 1859 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 9452
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 5432
/proc/meminfo: memFree=30920524/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9452 CPUtime=1782.36 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 2018 0 0 0 178236 0 0 0 25 0 1 0 967517771 9678848 1951 33554432000 4194304 6245536 140733571132096 18446744073709551615 4628983 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2363 1951 231 501 0 1859 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 9452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.92 1.98 1.93 2/173 5433
/proc/meminfo: memFree=30938380/32951124 swapFree=67062556/67111528
[pid=5380] ppid=5378 vsize=9452 CPUtime=1800.06 cores=1,3,5,7
/proc/5380/stat : 5380 (clasp) R 5378 5380 30926 0 -1 4202496 2018 0 0 0 180006 0 0 0 25 0 1 0 967517771 9678848 1951 33554432000 4194304 6245536 140733571132096 18446744073709551615 4608182 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/5380/statm: 2363 1951 231 501 0 1859 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.07
CPU system time (s): 0.001999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 9452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2028
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= 3
involuntary context switches= 2970
runsolver used 2.6346 second user time and 5.55616 second system time
The end