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-3491920-1307777351/watcher-3491920-1307777351 -o /tmp/evaluation-result-3491920-1307777351/solver-3491920-1307777351 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491920-1307777351.opb --solu --heu=VSIDS
running on 4 cores: 0,2,4,6
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.93 2/174 10006
/proc/meminfo: memFree=31725468/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=2804 CPUtime=0 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 447 0 0 0 0 0 0 0 25 0 1 0 889334800 2871296 378 33554432000 4194304 6245536 140736693810912 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 701 379 221 501 0 197 0
[startup+0.022131 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 10006
/proc/meminfo: memFree=31725468/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=3068 CPUtime=0.01 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 507 0 0 0 1 0 0 0 25 0 1 0 889334800 3141632 438 33554432000 4194304 6245536 140736693810912 18446744073709551615 4344602 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 767 438 228 501 0 263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3068
[startup+0.100164 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 10006
/proc/meminfo: memFree=31725468/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=3332 CPUtime=0.09 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 580 0 0 0 9 0 0 0 25 0 1 0 889334800 3411968 511 33554432000 4194304 6245536 140736693810912 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 833 511 228 501 0 329 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3332
[startup+0.300208 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 10006
/proc/meminfo: memFree=31725468/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=3728 CPUtime=0.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 670 0 0 0 29 0 0 0 25 0 1 0 889334800 3817472 601 33554432000 4194304 6245536 140736693810912 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 932 602 229 501 0 428 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3728
[startup+0.701138 s]
/proc/loadavg: 2.00 2.00 1.93 2/174 10006
/proc/meminfo: memFree=31725468/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=4124 CPUtime=0.69 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 781 0 0 0 69 0 0 0 25 0 1 0 889334800 4222976 712 33554432000 4194304 6245536 140736693810912 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 1031 712 229 501 0 527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4124
[startup+1.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10026
/proc/meminfo: memFree=31722152/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=4468 CPUtime=1.49 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 861 0 0 0 149 0 0 0 25 0 1 0 889334800 4575232 792 33554432000 4194304 6245536 140736693810912 18446744073709551615 4635733 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 1117 792 229 501 0 613 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4468
[startup+3.10059 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10026
/proc/meminfo: memFree=31719920/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=5128 CPUtime=3.09 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 1017 0 0 0 309 0 0 0 25 0 1 0 889334800 5251072 948 33554432000 4194304 6245536 140736693810912 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 1282 948 229 501 0 778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5128
[startup+6.3011 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10026
/proc/meminfo: memFree=31717508/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=5752 CPUtime=6.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 1194 0 0 0 629 0 0 0 25 0 1 0 889334800 5890048 1125 33554432000 4194304 6245536 140736693810912 18446744073709551615 4323525 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 1438 1125 229 501 0 934 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5752
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10026
/proc/meminfo: memFree=31715172/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=6604 CPUtime=12.69 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 1388 0 0 0 1269 0 0 0 25 0 1 0 889334800 6762496 1319 33554432000 4194304 6245536 140736693810912 18446744073709551615 4323486 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 1651 1319 229 501 0 1147 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6604
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10027
/proc/meminfo: memFree=31712700/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=7388 CPUtime=25.49 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 1572 0 0 0 2549 0 0 0 25 0 1 0 889334800 7565312 1503 33554432000 4194304 6245536 140736693810912 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 1847 1503 229 501 0 1343 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7388
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10027
/proc/meminfo: memFree=31709460/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=8500 CPUtime=51.09 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 1859 0 0 0 5109 0 0 0 25 0 1 0 889334800 8704000 1790 33554432000 4194304 6245536 140736693810912 18446744073709551615 4633856 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2125 1790 229 501 0 1621 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8500
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10029
/proc/meminfo: memFree=31705724/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=9364 CPUtime=102.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2085 0 0 0 10229 0 0 0 25 0 1 0 889334800 9588736 2016 33554432000 4194304 6245536 140736693810912 18446744073709551615 5418316 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2341 2016 229 501 0 1837 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 9364
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10030
/proc/meminfo: memFree=31703192/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=10444 CPUtime=162.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2322 0 0 0 16229 0 0 0 25 0 1 0 889334800 10694656 2245 33554432000 4194304 6245536 140736693810912 18446744073709551615 4410424 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2611 2245 229 501 0 2107 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 10444
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10032
/proc/meminfo: memFree=31701280/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=10912 CPUtime=222.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2421 0 0 0 22229 0 0 0 25 0 1 0 889334800 11173888 2344 33554432000 4194304 6245536 140736693810912 18446744073709551615 5419507 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2728 2344 229 501 0 2224 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 10912
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10034
/proc/meminfo: memFree=31699380/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=11232 CPUtime=282.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2494 0 0 0 28229 0 0 0 25 0 1 0 889334800 11501568 2417 33554432000 4194304 6245536 140736693810912 18446744073709551615 4304779 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2808 2417 229 501 0 2304 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 11232
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10035
/proc/meminfo: memFree=31698956/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=11384 CPUtime=342.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2525 0 0 0 34229 0 0 0 25 0 1 0 889334800 11657216 2448 33554432000 4194304 6245536 140736693810912 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2846 2448 229 501 0 2342 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 11384
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10037
/proc/meminfo: memFree=31698300/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=11504 CPUtime=402.29 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2585 0 0 0 40229 0 0 0 25 0 1 0 889334800 11780096 2508 33554432000 4194304 6245536 140736693810912 18446744073709551615 4304800 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2876 2508 229 501 0 2372 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 11504
[startup+462.301 s]
/proc/loadavg: 2.06 2.01 1.94 3/178 10038
/proc/meminfo: memFree=31697768/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=11808 CPUtime=462.3 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2631 0 0 0 46229 1 0 0 25 0 1 0 889334800 12091392 2554 33554432000 4194304 6245536 140736693810912 18446744073709551615 4637467 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2952 2554 229 501 0 2448 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 11808
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 10040
/proc/meminfo: memFree=31697480/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=11960 CPUtime=522.3 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2663 0 0 0 52229 1 0 0 25 0 1 0 889334800 12247040 2586 33554432000 4194304 6245536 140736693810912 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 2990 2586 229 501 0 2486 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 11960
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10042
/proc/meminfo: memFree=31696940/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12072 CPUtime=582.3 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2697 0 0 0 58229 1 0 0 25 0 1 0 889334800 12361728 2620 33554432000 4194304 6245536 140736693810912 18446744073709551615 4635751 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3018 2620 229 501 0 2514 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 12072
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10048
/proc/meminfo: memFree=31695544/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12672 CPUtime=822.31 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2819 0 0 0 82230 1 0 0 25 0 1 0 889334800 12976128 2742 33554432000 4194304 6245536 140736693810912 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3168 2742 229 501 0 2664 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 12672
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10050
/proc/meminfo: memFree=31695620/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12820 CPUtime=882.31 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2842 0 0 0 88230 1 0 0 25 0 1 0 889334800 13127680 2765 33554432000 4194304 6245536 140736693810912 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3205 2765 229 501 0 2701 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 12820
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10051
/proc/meminfo: memFree=31695712/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12820 CPUtime=942.31 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2857 0 0 0 94230 1 0 0 25 0 1 0 889334800 13127680 2780 33554432000 4194304 6245536 140736693810912 18446744073709551615 4397853 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3205 2780 229 501 0 2701 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 12820
[startup+1002.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/178 10053
/proc/meminfo: memFree=31695428/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1002.31 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2872 0 0 0 100230 1 0 0 25 0 1 0 889334800 13283328 2795 33554432000 4194304 6245536 140736693810912 18446744073709551615 4646490 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2795 229 501 0 2739 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 12972
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 10054
/proc/meminfo: memFree=31695496/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1062.31 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2873 0 0 0 106229 2 0 0 25 0 1 0 889334800 13283328 2796 33554432000 4194304 6245536 140736693810912 18446744073709551615 4628998 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2796 229 501 0 2739 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 12972
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 10056
/proc/meminfo: memFree=31695340/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1122.32 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2874 0 0 0 112230 2 0 0 25 0 1 0 889334800 13283328 2797 33554432000 4194304 6245536 140736693810912 18446744073709551615 4304866 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2797 229 501 0 2739 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 12972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10058
/proc/meminfo: memFree=31695048/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1182.32 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2874 0 0 0 118230 2 0 0 25 0 1 0 889334800 13283328 2797 33554432000 4194304 6245536 140736693810912 18446744073709551615 4304790 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2797 229 501 0 2739 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 12972
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10059
/proc/meminfo: memFree=31694752/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1242.32 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2875 0 0 0 124230 2 0 0 25 0 1 0 889334800 13283328 2798 33554432000 4194304 6245536 140736693810912 18446744073709551615 4608168 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2798 229 501 0 2739 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 12972
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10061
/proc/meminfo: memFree=31694572/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1302.33 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2876 0 0 0 130231 2 0 0 25 0 1 0 889334800 13283328 2799 33554432000 4194304 6245536 140736693810912 18446744073709551615 4635125 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2799 229 501 0 2739 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 12972
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10062
/proc/meminfo: memFree=31694532/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1362.32 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2884 0 0 0 136230 2 0 0 25 0 1 0 889334800 13283328 2807 33554432000 4194304 6245536 140736693810912 18446744073709551615 4316703 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2807 229 501 0 2739 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 12972
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10064
/proc/meminfo: memFree=31694612/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1422.33 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2885 0 0 0 142231 2 0 0 25 0 1 0 889334800 13283328 2808 33554432000 4194304 6245536 140736693810912 18446744073709551615 4633873 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2808 229 501 0 2739 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 12972
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 10066
/proc/meminfo: memFree=31694080/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1482.32 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2885 0 0 0 148230 2 0 0 25 0 1 0 889334800 13283328 2808 33554432000 4194304 6245536 140736693810912 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2808 229 501 0 2739 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 12972
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 10067
/proc/meminfo: memFree=31694280/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1542.33 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2894 0 0 0 154231 2 0 0 25 0 1 0 889334800 13283328 2817 33554432000 4194304 6245536 140736693810912 18446744073709551615 4304900 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2817 229 501 0 2739 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 12972
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/178 10069
/proc/meminfo: memFree=31693992/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1602.33 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2894 0 0 0 160231 2 0 0 25 0 1 0 889334800 13283328 2817 33554432000 4194304 6245536 140736693810912 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2817 229 501 0 2739 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 12972
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 10070
/proc/meminfo: memFree=31693940/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1662.33 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2894 0 0 0 166230 3 0 0 25 0 1 0 889334800 13283328 2817 33554432000 4194304 6245536 140736693810912 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2817 229 501 0 2739 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 12972
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 10072
/proc/meminfo: memFree=31694024/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1722.33 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2894 0 0 0 172230 3 0 0 25 0 1 0 889334800 13283328 2817 33554432000 4194304 6245536 140736693810912 18446744073709551615 4397846 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2817 229 501 0 2739 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 12972
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10074
/proc/meminfo: memFree=31693856/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1782.34 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2895 0 0 0 178231 3 0 0 25 0 1 0 889334800 13283328 2818 33554432000 4194304 6245536 140736693810912 18446744073709551615 4344624 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2818 229 501 0 2739 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 12972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10074
/proc/meminfo: memFree=31694208/32950928 swapFree=67079488/67111528
[pid=10006] ppid=10003 vsize=12972 CPUtime=1800.04 cores=0,2,4,6
/proc/10006/stat : 10006 (clasp) R 10003 10006 7911 0 -1 4202496 2895 0 0 0 180001 3 0 0 25 0 1 0 889334800 13283328 2818 33554432000 4194304 6245536 140736693810912 18446744073709551615 4635108 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/10006/statm: 3243 2818 229 501 0 2739 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 12972
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.05
CPU user time (s): 1800.02
CPU system time (s): 0.032994
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 12972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2907
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= 5
involuntary context switches= 23429
runsolver used 2.6276 second user time and 5.56415 second system time
The end