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-3491928-1307777782/watcher-3491928-1307777782 -o /tmp/evaluation-result-3491928-1307777782/solver-3491928-1307777782 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491928-1307777782.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.97 2/177 29554
/proc/meminfo: memFree=31724528/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=4456 CPUtime=0 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 839 0 0 0 0 0 0 0 19 0 1 0 889375250 4562944 728 33554432000 4194304 6245536 140736140932848 18446744073709551615 4533257 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 1114 728 179 501 0 610 0
[startup+0.086451 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29554
/proc/meminfo: memFree=31724528/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=9768 CPUtime=0.08 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 2403 0 0 0 8 0 0 0 19 0 1 0 889375250 10002432 2129 33554432000 4194304 6245536 140736140932848 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 2442 2130 226 501 0 1938 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9768
[startup+0.10044 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29554
/proc/meminfo: memFree=31724528/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=10428 CPUtime=0.09 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 2560 0 0 0 9 0 0 0 19 0 1 0 889375250 10678272 2286 33554432000 4194304 6245536 140736140932848 18446744073709551615 5370230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 2607 2286 227 501 0 2103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10428
[startup+0.300405 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29554
/proc/meminfo: memFree=31724528/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=12804 CPUtime=0.29 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 3155 0 0 0 29 0 0 0 20 0 1 0 889375250 13111296 2881 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 3201 2881 228 501 0 2697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12804
[startup+0.700324 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 29554
/proc/meminfo: memFree=31724528/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=15448 CPUtime=0.69 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 3819 0 0 0 69 0 0 0 21 0 1 0 889375250 15818752 3545 33554432000 4194304 6245536 140736140932848 18446744073709551615 4323180 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 3862 3545 229 501 0 3358 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15448
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.97 2/176 29556
/proc/meminfo: memFree=31763380/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=16932 CPUtime=1.49 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 4166 0 0 0 149 0 0 0 23 0 1 0 889375250 17338368 3892 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324746 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 4233 3892 229 501 0 3729 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16932
[startup+3.10087 s]
/proc/loadavg: 2.00 2.00 1.97 2/176 29556
/proc/meminfo: memFree=31760280/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=20288 CPUtime=3.09 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 5016 0 0 0 309 0 0 0 25 0 1 0 889375250 20774912 4742 33554432000 4194304 6245536 140736140932848 18446744073709551615 4315393 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 5072 4742 229 501 0 4568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20288
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29594
/proc/meminfo: memFree=31746664/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=23996 CPUtime=6.29 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 5945 0 0 0 629 0 0 0 25 0 1 0 889375250 24571904 5671 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324241 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 5999 5671 229 501 0 5495 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23996
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29594
/proc/meminfo: memFree=31736648/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=29356 CPUtime=12.7 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 7273 0 0 0 1269 1 0 0 25 0 1 0 889375250 30060544 6999 33554432000 4194304 6245536 140736140932848 18446744073709551615 4646490 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 7339 6999 229 501 0 6835 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 29356
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29595
/proc/meminfo: memFree=31726228/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=34844 CPUtime=25.5 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 8621 0 0 0 2549 1 0 0 25 0 1 0 889375250 35680256 8347 33554432000 4194304 6245536 140736140932848 18446744073709551615 4304940 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 8711 8347 229 501 0 8207 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 34844
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29595
/proc/meminfo: memFree=31715660/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=40124 CPUtime=51.09 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 9945 0 0 0 5108 1 0 0 25 0 1 0 889375250 41086976 9671 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324746 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 10031 9671 229 501 0 9527 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40124
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 29597
/proc/meminfo: memFree=31700136/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=50152 CPUtime=102.3 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 12441 0 0 0 10229 1 0 0 25 0 1 0 889375250 51355648 12167 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324291 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 12538 12167 229 501 0 12034 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50152
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 29598
/proc/meminfo: memFree=31689552/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=56604 CPUtime=162.29 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 14016 0 0 0 16228 1 0 0 25 0 1 0 889375250 57962496 13742 33554432000 4194304 6245536 140736140932848 18446744073709551615 4304926 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 14151 13742 229 501 0 13647 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 56604
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 29600
/proc/meminfo: memFree=31682688/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=62168 CPUtime=222.3 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 15448 0 0 0 22229 1 0 0 25 0 1 0 889375250 63660032 15174 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324199 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 15542 15174 229 501 0 15038 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 62168
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 29602
/proc/meminfo: memFree=31677324/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=63500 CPUtime=282.3 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 15759 0 0 0 28229 1 0 0 25 0 1 0 889375250 65024000 15485 33554432000 4194304 6245536 140736140932848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 15875 15485 229 501 0 15371 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 63500
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29603
/proc/meminfo: memFree=31669092/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=70972 CPUtime=342.31 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 17628 0 0 0 34229 2 0 0 25 0 1 0 889375250 72675328 17354 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324230 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 17743 17354 229 501 0 17239 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 70972
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29605
/proc/meminfo: memFree=31663360/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=71764 CPUtime=402.31 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 17831 0 0 0 40229 2 0 0 25 0 1 0 889375250 73486336 17557 33554432000 4194304 6245536 140736140932848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 17941 17557 229 501 0 17437 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 71764
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29606
/proc/meminfo: memFree=31661708/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=72820 CPUtime=462.31 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 18106 0 0 0 46229 2 0 0 25 0 1 0 889375250 74567680 17832 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 18205 17832 229 501 0 17701 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 72820
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29608
/proc/meminfo: memFree=31654988/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=79256 CPUtime=522.31 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 19842 0 0 0 52229 2 0 0 25 0 1 0 889375250 81158144 19420 33554432000 4194304 6245536 140736140932848 18446744073709551615 4304946 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 19814 19420 229 501 0 19310 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 79256
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29610
/proc/meminfo: memFree=31652972/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=79652 CPUtime=582.32 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 20075 0 0 0 58230 2 0 0 25 0 1 0 889375250 81563648 19523 33554432000 4194304 6245536 140736140932848 18446744073709551615 4635128 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 19913 19523 229 501 0 19409 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 79652
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29616
/proc/meminfo: memFree=31641200/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=88648 CPUtime=822.32 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 22326 0 0 0 82230 2 0 0 25 0 1 0 889375250 90775552 21774 33554432000 4194304 6245536 140736140932848 18446744073709551615 4304834 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 22162 21774 229 501 0 21658 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 88648
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29618
/proc/meminfo: memFree=31639688/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=89440 CPUtime=882.32 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 22517 0 0 0 88230 2 0 0 25 0 1 0 889375250 91586560 21965 33554432000 4194304 6245536 140736140932848 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 22360 21965 229 501 0 21856 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 89440
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29619
/proc/meminfo: memFree=31638536/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=89836 CPUtime=942.33 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 22623 0 0 0 94231 2 0 0 25 0 1 0 889375250 91992064 22071 33554432000 4194304 6245536 140736140932848 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 22459 22071 229 501 0 21955 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 89836
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29621
/proc/meminfo: memFree=31637644/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=90464 CPUtime=1002.33 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 22901 0 0 0 100231 2 0 0 25 0 1 0 889375250 92635136 22241 33554432000 4194304 6245536 140736140932848 18446744073709551615 4637536 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 22616 22241 229 501 0 22112 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 90464
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29622
/proc/meminfo: memFree=31637604/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=90728 CPUtime=1062.33 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 22944 0 0 0 106231 2 0 0 25 0 1 0 889375250 92905472 22284 33554432000 4194304 6245536 140736140932848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 22682 22284 229 501 0 22178 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 90728
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29624
/proc/meminfo: memFree=31630888/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=97248 CPUtime=1122.33 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 24578 0 0 0 112231 2 0 0 25 0 1 0 889375250 99581952 23918 33554432000 4194304 6245536 140736140932848 18446744073709551615 4324244 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 24312 23918 229 501 0 23808 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 97248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 29626
/proc/meminfo: memFree=31628632/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=99380 CPUtime=1182.33 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 25069 0 0 0 118231 2 0 0 25 0 1 0 889375250 101765120 24409 33554432000 4194304 6245536 140736140932848 18446744073709551615 4317334 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 24845 24409 229 501 0 24341 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 99380
[startup+1242.3 s]
/proc/loadavg: 2.14 2.03 1.99 3/178 29627
/proc/meminfo: memFree=31625616/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=100956 CPUtime=1242.34 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 25468 0 0 0 124231 3 0 0 25 0 1 0 889375250 103378944 24808 33554432000 4194304 6245536 140736140932848 18446744073709551615 4397867 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 25239 24808 229 501 0 24735 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 100956
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 1.99 3/178 29629
/proc/meminfo: memFree=31623984/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=102012 CPUtime=1302.35 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 25851 0 0 0 130232 3 0 0 25 0 1 0 889375250 104460288 25079 33554432000 4194304 6245536 140736140932848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 25503 25079 229 501 0 24999 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 102012
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/178 29630
/proc/meminfo: memFree=31623436/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=102408 CPUtime=1362.35 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 26053 0 0 0 136232 3 0 0 25 0 1 0 889375250 104865792 25171 33554432000 4194304 6245536 140736140932848 18446744073709551615 4317344 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 25602 25171 229 501 0 25098 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 102408
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 29632
/proc/meminfo: memFree=31622912/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=102936 CPUtime=1422.36 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 26188 0 0 0 142233 3 0 0 25 0 1 0 889375250 105406464 25306 33554432000 4194304 6245536 140736140932848 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 25734 25306 229 501 0 25230 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 102936
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 29643
/proc/meminfo: memFree=31621512/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=102936 CPUtime=1482.35 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 26189 0 0 0 148232 3 0 0 25 0 1 0 889375250 105406464 25307 33554432000 4194304 6245536 140736140932848 18446744073709551615 4317348 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 25734 25307 229 501 0 25230 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 102936
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29644
/proc/meminfo: memFree=31621992/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=103116 CPUtime=1542.36 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 26212 0 0 0 154233 3 0 0 25 0 1 0 889375250 105590784 25330 33554432000 4194304 6245536 140736140932848 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 25779 25330 229 501 0 25275 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 103116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29646
/proc/meminfo: memFree=31620712/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=103908 CPUtime=1602.36 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 26442 0 0 0 160233 3 0 0 25 0 1 0 889375250 106401792 25560 33554432000 4194304 6245536 140736140932848 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 25977 25560 229 501 0 25473 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 103908
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29647
/proc/meminfo: memFree=31619944/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=104280 CPUtime=1662.36 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 26647 0 0 0 166233 3 0 0 25 0 1 0 889375250 106782720 25640 33554432000 4194304 6245536 140736140932848 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/29554/statm: 26070 25640 229 501 0 25566 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 104280
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 29652
/proc/meminfo: memFree=31613756/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=110680 CPUtime=1722.36 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 28243 0 0 0 172233 3 0 0 25 0 1 0 889375250 113336320 27236 33554432000 4194304 6245536 140736140932848 18446744073709551615 4637548 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29554/statm: 27670 27236 229 501 0 27166 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 110680
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 29654
/proc/meminfo: memFree=31612120/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=111868 CPUtime=1782.36 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 28551 0 0 0 178233 3 0 0 25 0 1 0 889375250 114552832 27544 33554432000 4194304 6245536 140736140932848 18446744073709551615 4304775 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29554/statm: 27967 27544 229 501 0 27463 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 111868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 29654
/proc/meminfo: memFree=31610996/32950928 swapFree=67055428/67111528
[pid=29554] ppid=29552 vsize=112924 CPUtime=1800.07 cores=1,3,5,7
/proc/29554/stat : 29554 (clasp) R 29552 29554 26980 0 -1 4202496 28792 0 0 0 180004 3 0 0 25 0 1 0 889375250 115634176 27785 33554432000 4194304 6245536 140736140932848 18446744073709551615 4635116 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/29554/statm: 28231 27785 229 501 0 27727 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 112924
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.08
CPU user time (s): 1800.05
CPU system time (s): 0.036994
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 112924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28803
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= 4
involuntary context switches= 19805
runsolver used 2.39064 second user time and 6.07608 second system time
The end