runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3468221-1307081035/watcher-3468221-1307081035 -o /tmp/evaluation-result-3468221-1307081035/solver-3468221-1307081035 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468221-1307081035.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2
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.01 2.02 2.01 2/437 1353
/proc/meminfo: memFree=24671332/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=12572 CPUtime=0 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 537 0 0 0 0 0 0 0 25 0 1 0 800519164 12873728 478 33554432000 4194304 4933572 140734165545552 18446744073709551615 4331664 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3143 478 370 181 0 152 0
[startup+0.0266119 s]
/proc/loadavg: 2.01 2.02 2.01 2/437 1353
/proc/meminfo: memFree=24671332/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=12836 CPUtime=0.02 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 617 0 0 0 2 0 0 0 25 0 1 0 800519164 13144064 558 33554432000 4194304 4933572 140734165545552 18446744073709551615 4332797 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3209 558 379 181 0 218 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12836
[startup+0.100609 s]
/proc/loadavg: 2.01 2.02 2.01 2/437 1353
/proc/meminfo: memFree=24671332/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=13104 CPUtime=0.09 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 676 0 0 0 9 0 0 0 25 0 1 0 800519164 13418496 617 33554432000 4194304 4933572 140734165545552 18446744073709551615 4649910 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3276 617 379 181 0 285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13104
[startup+0.300557 s]
/proc/loadavg: 2.01 2.02 2.01 2/437 1353
/proc/meminfo: memFree=24671332/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=13500 CPUtime=0.29 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 790 0 0 0 29 0 0 0 25 0 1 0 800519164 13824000 731 33554432000 4194304 4933572 140734165545552 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3375 731 379 181 0 384 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13500
[startup+0.70048 s]
/proc/loadavg: 2.01 2.02 2.01 2/437 1353
/proc/meminfo: memFree=24671332/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=13896 CPUtime=0.69 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 879 0 0 0 69 0 0 0 25 0 1 0 800519164 14229504 820 33554432000 4194304 4933572 140734165545552 18446744073709551615 270338044613 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3474 820 379 181 0 483 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13896
[startup+1.50034 s]
/proc/loadavg: 2.01 2.02 2.01 3/438 1354
/proc/meminfo: memFree=24668480/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=14292 CPUtime=1.49 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 997 0 0 0 149 0 0 0 25 0 1 0 800519164 14635008 938 33554432000 4194304 4933572 140734165545552 18446744073709551615 4632799 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3573 938 379 181 0 582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14292
[startup+3.10103 s]
/proc/loadavg: 2.01 2.02 2.01 3/438 1354
/proc/meminfo: memFree=24667032/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=14824 CPUtime=3.09 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1125 0 0 0 309 0 0 0 25 0 1 0 800519164 15179776 1066 33554432000 4194304 4933572 140734165545552 18446744073709551615 4718514 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3706 1066 379 181 0 715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14824
[startup+6.30039 s]
/proc/loadavg: 2.00 2.02 2.01 3/438 1354
/proc/meminfo: memFree=24666164/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=15232 CPUtime=6.29 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1204 0 0 0 629 0 0 0 25 0 1 0 800519164 15597568 1145 33554432000 4194304 4933572 140734165545552 18446744073709551615 4718288 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3808 1145 379 181 0 817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15232
[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.01 3/438 1355
/proc/meminfo: memFree=24665328/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=15900 CPUtime=12.69 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1378 0 0 0 1269 0 0 0 25 0 1 0 800519164 16281600 1319 33554432000 4194304 4933572 140734165545552 18446744073709551615 4368960 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 3975 1319 379 181 0 984 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15900
[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.01 3/438 1355
/proc/meminfo: memFree=24664344/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=16592 CPUtime=25.49 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1543 0 0 0 2549 0 0 0 25 0 1 0 800519164 16990208 1484 33554432000 4194304 4933572 140734165545552 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 4148 1484 379 181 0 1157 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16592
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1356
/proc/meminfo: memFree=24664072/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=17136 CPUtime=51.09 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1669 0 0 0 5109 0 0 0 25 0 1 0 800519164 17547264 1610 33554432000 4194304 4933572 140734165545552 18446744073709551615 4711285 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 4284 1610 379 181 0 1293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17136
[startup+102.315 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1357
/proc/meminfo: memFree=24663560/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=17556 CPUtime=102.31 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1763 0 0 0 10231 0 0 0 25 0 1 0 800519164 17977344 1704 33554432000 4194304 4933572 140734165545552 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 4389 1704 379 181 0 1398 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17556
[startup+162.3 s]
/proc/loadavg: 1.92 1.99 1.99 3/438 1414
/proc/meminfo: memFree=24795176/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=17848 CPUtime=162.3 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1817 0 0 0 16230 0 0 0 25 0 1 0 800519164 18276352 1758 33554432000 4194304 4933572 140734165545552 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1353/statm: 4462 1758 379 181 0 1471 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17848
[startup+222.301 s]
/proc/loadavg: 1.97 1.99 1.99 3/438 1415
/proc/meminfo: memFree=24788076/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=17960 CPUtime=222.21 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1859 0 0 0 22221 0 0 0 25 0 1 0 800519164 18391040 1800 33554432000 4194304 4933572 140734165545552 18446744073709551615 4331723 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 4490 1800 379 181 0 1499 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 17960
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/438 1417
/proc/meminfo: memFree=24786304/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=17960 CPUtime=282.21 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 1860 0 0 0 28221 0 0 0 25 0 1 0 800519164 18391040 1801 33554432000 4194304 4933572 140734165545552 18446744073709551615 4635463 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 4490 1801 379 181 0 1499 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 17960
[startup+342.301 s]
/proc/loadavg: 2.07 2.01 2.00 3/438 1418
/proc/meminfo: memFree=24783152/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=18696 CPUtime=342.21 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2041 0 0 0 34221 0 0 0 25 0 1 0 800519164 19144704 1982 33554432000 4194304 4933572 140734165545552 18446744073709551615 4718435 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 4674 1982 379 181 0 1683 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 18696
[startup+402.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/438 1420
/proc/meminfo: memFree=24783008/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=18888 CPUtime=402.22 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2110 0 0 0 40222 0 0 0 25 0 1 0 800519164 19341312 2050 33554432000 4194304 4933572 140734165545552 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 4722 2050 379 181 0 1731 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 18888
[startup+462.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/438 1422
/proc/meminfo: memFree=24781732/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=19048 CPUtime=462.22 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2141 0 0 0 46222 0 0 0 25 0 1 0 800519164 19505152 2081 33554432000 4194304 4933572 140734165545552 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 4762 2081 379 181 0 1771 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 19048
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 1423
/proc/meminfo: memFree=24780848/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=19644 CPUtime=522.22 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2259 0 0 0 52222 0 0 0 25 0 1 0 800519164 20115456 2199 33554432000 4194304 4933572 140734165545552 18446744073709551615 4713206 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 4911 2199 379 181 0 1920 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 19644
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 1425
/proc/meminfo: memFree=24780056/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20048 CPUtime=582.23 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2365 0 0 0 58223 0 0 0 25 0 1 0 800519164 20529152 2305 33554432000 4194304 4933572 140734165545552 18446744073709551615 4632847 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5012 2305 379 181 0 2021 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 20048
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/438 1433
/proc/meminfo: memFree=24776700/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20192 CPUtime=882.24 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2422 0 0 0 88224 0 0 0 25 0 1 0 800519164 20676608 2361 33554432000 4194304 4933572 140734165545552 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5048 2361 379 181 0 2057 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 20192
[startup+942.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/438 1434
/proc/meminfo: memFree=24776912/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20216 CPUtime=942.24 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2426 0 0 0 94224 0 0 0 25 0 1 0 800519164 20701184 2365 33554432000 4194304 4933572 140734165545552 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5054 2365 379 181 0 2063 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 20216
[startup+1002.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/438 1436
/proc/meminfo: memFree=24776400/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20216 CPUtime=1002.24 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2438 0 0 0 100224 0 0 0 25 0 1 0 800519164 20701184 2367 33554432000 4194304 4933572 140734165545552 18446744073709551615 4710923 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5054 2367 379 181 0 2063 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 20216
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 1438
/proc/meminfo: memFree=24775880/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20256 CPUtime=1062.25 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2450 0 0 0 106225 0 0 0 25 0 1 0 800519164 20742144 2377 33554432000 4194304 4933572 140734165545552 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5064 2377 379 181 0 2073 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 20256
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1439
/proc/meminfo: memFree=24776096/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20256 CPUtime=1122.25 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2450 0 0 0 112225 0 0 0 25 0 1 0 800519164 20742144 2377 33554432000 4194304 4933572 140734165545552 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5064 2377 379 181 0 2073 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 20256
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1441
/proc/meminfo: memFree=24775820/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20256 CPUtime=1182.25 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2453 0 0 0 118225 0 0 0 25 0 1 0 800519164 20742144 2377 33554432000 4194304 4933572 140734165545552 18446744073709551615 4712909 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5064 2377 379 181 0 2073 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 20256
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1442
/proc/meminfo: memFree=24775416/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20412 CPUtime=1242.26 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2464 0 0 0 124226 0 0 0 25 0 1 0 800519164 20901888 2382 33554432000 4194304 4933572 140734165545552 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5103 2382 379 181 0 2112 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 20412
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/438 1447
/proc/meminfo: memFree=24773720/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20412 CPUtime=1302.26 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2473 0 0 0 130226 0 0 0 25 0 1 0 800519164 20901888 2391 33554432000 4194304 4933572 140734165545552 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5103 2391 379 181 0 2112 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 20412
[startup+1362.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/438 1449
/proc/meminfo: memFree=24773920/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20412 CPUtime=1362.26 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2488 0 0 0 136226 0 0 0 25 0 1 0 800519164 20901888 2406 33554432000 4194304 4933572 140734165545552 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5103 2406 379 181 0 2112 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 20412
[startup+1422.32 s]
/proc/loadavg: 2.06 2.03 2.00 3/438 1450
/proc/meminfo: memFree=24773516/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20412 CPUtime=1422.28 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2496 0 0 0 142228 0 0 0 25 0 1 0 800519164 20901888 2414 33554432000 4194304 4933572 140734165545552 18446744073709551615 4631919 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5103 2414 379 181 0 2112 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 20412
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 1452
/proc/meminfo: memFree=24773860/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20544 CPUtime=1482.26 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2506 0 0 0 148226 0 0 0 25 0 1 0 800519164 21037056 2424 33554432000 4194304 4933572 140734165545552 18446744073709551615 4360900 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5136 2424 379 181 0 2145 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 20544
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1453
/proc/meminfo: memFree=24773580/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20732 CPUtime=1542.27 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2563 0 0 0 154227 0 0 0 25 0 1 0 800519164 21229568 2481 33554432000 4194304 4933572 140734165545552 18446744073709551615 4363392 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5183 2481 379 181 0 2192 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 20732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1455
/proc/meminfo: memFree=24773424/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=20728 CPUtime=1602.27 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2565 0 0 0 160227 0 0 0 25 0 1 0 800519164 21225472 2483 33554432000 4194304 4933572 140734165545552 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5182 2483 379 181 0 2191 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 20728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1457
/proc/meminfo: memFree=24772396/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=21476 CPUtime=1662.27 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2742 0 0 0 166227 0 0 0 25 0 1 0 800519164 21991424 2660 33554432000 4194304 4933572 140734165545552 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5369 2660 379 181 0 2378 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 21476
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1458
/proc/meminfo: memFree=24771856/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=21624 CPUtime=1722.28 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2778 0 0 0 172228 0 0 0 25 0 1 0 800519164 22142976 2696 33554432000 4194304 4933572 140734165545552 18446744073709551615 4337284 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5406 2696 379 181 0 2415 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 21624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1460
/proc/meminfo: memFree=24772328/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=21624 CPUtime=1782.28 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2796 0 0 0 178228 0 0 0 25 0 1 0 800519164 22142976 2714 33554432000 4194304 4933572 140734165545552 18446744073709551615 4637168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5406 2714 379 181 0 2415 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 21624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1460
/proc/meminfo: memFree=24771828/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=21776 CPUtime=1800.08 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2804 0 0 0 180008 0 0 0 25 0 1 0 800519164 22298624 2722 33554432000 4194304 4933572 140734165545552 18446744073709551615 4713041 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5444 2722 379 181 0 2453 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 21776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1460
/proc/meminfo: memFree=24771828/32951124 swapFree=50923800/67111528
[pid=1353] ppid=1351 vsize=21776 CPUtime=1800.08 cores=0,2,4,6
/proc/1353/stat : 1353 (clasp) R 1351 1353 29572 0 -1 4202496 2804 0 0 0 180008 0 0 0 25 0 1 0 800519164 22298624 2722 33554432000 4194304 4933572 140734165545552 18446744073709551615 4713041 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1353/statm: 5444 2722 379 181 0 2453 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 21776
Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.11
CPU user time (s): 1800.1
CPU system time (s): 0.008998
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 21776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.1
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2813
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= 7
involuntary context switches= 3060
runsolver used 8.09677 second user time and 16.4365 second system time
The end