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-3491983-1307781570/watcher-3491983-1307781570 -o /tmp/evaluation-result-3491983-1307781570/solver-3491983-1307781570 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491983-1307781570.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: 1.11 1.64 1.86 1/174 8573
/proc/meminfo: memFree=31373032/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=3100 CPUtime=0 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 526 0 0 0 0 0 0 0 24 0 1 0 968387706 3174400 457 33554432000 4194304 6245536 140733481074816 18446744073709551615 4637489 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 775 457 221 501 0 271 0
[startup+0.104181 s]
/proc/loadavg: 1.11 1.64 1.86 1/174 8573
/proc/meminfo: memFree=31373032/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=3496 CPUtime=0.1 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 604 0 0 0 10 0 0 0 25 0 1 0 968387706 3579904 535 33554432000 4194304 6245536 140733481074816 18446744073709551615 4694560 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 874 535 228 501 0 370 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3496
[startup+0.201168 s]
/proc/loadavg: 1.11 1.64 1.86 1/174 8573
/proc/meminfo: memFree=31373032/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=3628 CPUtime=0.19 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 647 0 0 0 19 0 0 0 25 0 1 0 968387706 3715072 578 33554432000 4194304 6245536 140733481074816 18446744073709551615 4635758 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 907 578 229 501 0 403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3628
[startup+0.301153 s]
/proc/loadavg: 1.11 1.64 1.86 1/174 8573
/proc/meminfo: memFree=31373032/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=3760 CPUtime=0.29 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 697 0 0 0 29 0 0 0 25 0 1 0 968387706 3850240 628 33554432000 4194304 6245536 140733481074816 18446744073709551615 4315322 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 940 628 229 501 0 436 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3760
[startup+0.701067 s]
/proc/loadavg: 1.11 1.64 1.86 1/174 8573
/proc/meminfo: memFree=31373032/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=4024 CPUtime=0.69 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 764 0 0 0 69 0 0 0 25 0 1 0 968387706 4120576 695 33554432000 4194304 6245536 140733481074816 18446744073709551615 4323486 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 1006 695 229 501 0 502 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4024
[startup+1.50092 s]
/proc/loadavg: 1.18 1.64 1.86 3/178 8584
/proc/meminfo: memFree=31357268/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=4420 CPUtime=1.49 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 845 0 0 0 149 0 0 0 25 0 1 0 968387706 4526080 776 33554432000 4194304 6245536 140733481074816 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 1105 776 229 501 0 601 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4420
[startup+3.10063 s]
/proc/loadavg: 1.18 1.64 1.86 3/178 8584
/proc/meminfo: memFree=31353188/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=5072 CPUtime=3.09 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 1000 0 0 0 309 0 0 0 25 0 1 0 968387706 5193728 931 33554432000 4194304 6245536 140733481074816 18446744073709551615 4628043 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 1268 931 229 501 0 764 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5072
[startup+6.30102 s]
/proc/loadavg: 1.24 1.65 1.86 3/178 8584
/proc/meminfo: memFree=31348284/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=5772 CPUtime=6.3 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 1208 0 0 0 630 0 0 0 25 0 1 0 968387706 5910528 1135 33554432000 4194304 6245536 140733481074816 18446744073709551615 4635119 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 1443 1135 229 501 0 939 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 5772
[startup+12.7008 s]
/proc/loadavg: 1.30 1.66 1.86 3/178 8584
/proc/meminfo: memFree=31346792/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=7040 CPUtime=12.69 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 1508 0 0 0 1269 0 0 0 25 0 1 0 968387706 7208960 1435 33554432000 4194304 6245536 140733481074816 18446744073709551615 4701971 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 1760 1435 229 501 0 1256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7040
[startup+25.5004 s]
/proc/loadavg: 1.48 1.68 1.87 3/178 8584
/proc/meminfo: memFree=31345436/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=7656 CPUtime=25.49 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 1657 0 0 0 2549 0 0 0 25 0 1 0 968387706 7839744 1584 33554432000 4194304 6245536 140733481074816 18446744073709551615 4304696 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 1914 1584 229 501 0 1410 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7656
[startup+51.1006 s]
/proc/loadavg: 1.69 1.71 1.87 3/178 8585
/proc/meminfo: memFree=31314612/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=8976 CPUtime=51.1 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 2009 0 0 0 5110 0 0 0 25 0 1 0 968387706 9191424 1931 33554432000 4194304 6245536 140733481074816 18446744073709551615 4323469 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 2244 1931 229 501 0 1740 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 8976
[startup+102.301 s]
/proc/loadavg: 1.86 1.75 1.88 3/178 8586
/proc/meminfo: memFree=31313084/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=9756 CPUtime=102.3 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 2207 0 0 0 10230 0 0 0 25 0 1 0 968387706 9990144 2098 33554432000 4194304 6245536 140733481074816 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 2439 2098 229 501 0 1935 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 9756
[startup+162.301 s]
/proc/loadavg: 1.95 1.80 1.88 3/178 8588
/proc/meminfo: memFree=31310916/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=11884 CPUtime=162.3 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 2735 0 0 0 16230 0 0 0 25 0 1 0 968387706 12169216 2620 33554432000 4194304 6245536 140733481074816 18446744073709551615 4304768 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 2971 2620 229 501 0 2467 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 11884
[startup+222.307 s]
/proc/loadavg: 1.98 1.83 1.89 3/178 8589
/proc/meminfo: memFree=31302568/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=12312 CPUtime=222.31 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 2998 0 0 0 22231 0 0 0 25 0 1 0 968387706 12607488 2750 33554432000 4194304 6245536 140733481074816 18446744073709551615 4397840 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3078 2750 229 501 0 2574 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 12312
[startup+282.3 s]
/proc/loadavg: 1.99 1.86 1.89 3/178 8591
/proc/meminfo: memFree=31301772/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=13028 CPUtime=282.3 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3135 0 0 0 28230 0 0 0 25 0 1 0 968387706 13340672 2887 33554432000 4194304 6245536 140733481074816 18446744073709551615 4700439 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3257 2887 229 501 0 2753 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 13028
[startup+342.301 s]
/proc/loadavg: 1.99 1.88 1.90 3/178 8593
/proc/meminfo: memFree=31237860/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=13328 CPUtime=342.3 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3213 0 0 0 34230 0 0 0 25 0 1 0 968387706 13647872 2965 33554432000 4194304 6245536 140733481074816 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3332 2965 229 501 0 2828 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 13328
[startup+402.301 s]
/proc/loadavg: 1.99 1.90 1.91 3/178 8594
/proc/meminfo: memFree=31237588/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=13476 CPUtime=402.31 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3256 0 0 0 40231 0 0 0 25 0 1 0 968387706 13799424 3008 33554432000 4194304 6245536 140733481074816 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3369 3008 229 501 0 2865 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 13476
[startup+462.301 s]
/proc/loadavg: 1.99 1.92 1.91 3/178 8596
/proc/meminfo: memFree=31237288/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=13800 CPUtime=462.31 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3334 0 0 0 46231 0 0 0 25 0 1 0 968387706 14131200 3086 33554432000 4194304 6245536 140733481074816 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3450 3086 229 501 0 2946 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 13800
[startup+522.3 s]
/proc/loadavg: 1.99 1.93 1.91 3/178 8597
/proc/meminfo: memFree=31237124/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=14240 CPUtime=522.31 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3406 0 0 0 52231 0 0 0 25 0 1 0 968387706 14581760 3158 33554432000 4194304 6245536 140733481074816 18446744073709551615 4316676 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3560 3158 229 501 0 3056 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 14240
[startup+582.301 s]
/proc/loadavg: 1.99 1.94 1.91 3/178 8599
/proc/meminfo: memFree=31236944/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=14240 CPUtime=582.31 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3416 0 0 0 58231 0 0 0 25 0 1 0 968387706 14581760 3168 33554432000 4194304 6245536 140733481074816 18446744073709551615 4409648 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3560 3168 229 501 0 3056 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 14240
[startup+642.301 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.05 1.98 1.91 3/178 8607
/proc/meminfo: memFree=31235740/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=14964 CPUtime=882.33 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3582 0 0 0 88233 0 0 0 25 0 1 0 968387706 15323136 3334 33554432000 4194304 6245536 140733481074816 18446744073709551615 4637467 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3741 3334 229 501 0 3237 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 14964
[startup+942.301 s]
/proc/loadavg: 2.02 1.98 1.91 3/178 8609
/proc/meminfo: memFree=31235688/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=14964 CPUtime=942.32 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3589 0 0 0 94232 0 0 0 25 0 1 0 968387706 15323136 3341 33554432000 4194304 6245536 140733481074816 18446744073709551615 4344782 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3741 3341 229 501 0 3237 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 14964
[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 8610
/proc/meminfo: memFree=31235772/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=14964 CPUtime=1002.32 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3599 0 0 0 100232 0 0 0 25 0 1 0 968387706 15323136 3351 33554432000 4194304 6245536 140733481074816 18446744073709551615 4635087 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3741 3351 229 501 0 3237 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 14964
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/178 8612
/proc/meminfo: memFree=31235852/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15112 CPUtime=1062.33 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3614 0 0 0 106233 0 0 0 25 0 1 0 968387706 15474688 3366 33554432000 4194304 6245536 140733481074816 18446744073709551615 4629001 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3778 3366 229 501 0 3274 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 15112
[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/178 8613
/proc/meminfo: memFree=31235940/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15264 CPUtime=1122.33 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3641 0 0 0 112233 0 0 0 25 0 1 0 968387706 15630336 3393 33554432000 4194304 6245536 140733481074816 18446744073709551615 4629018 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3816 3393 229 501 0 3312 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 15264
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 8615
/proc/meminfo: memFree=31235764/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15264 CPUtime=1182.33 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3642 0 0 0 118233 0 0 0 25 0 1 0 968387706 15630336 3394 33554432000 4194304 6245536 140733481074816 18446744073709551615 5419248 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3816 3394 229 501 0 3312 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 15264
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8617
/proc/meminfo: memFree=31235476/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15264 CPUtime=1242.33 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3652 0 0 0 124233 0 0 0 25 0 1 0 968387706 15630336 3404 33554432000 4194304 6245536 140733481074816 18446744073709551615 4702448 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3816 3404 229 501 0 3312 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 15264
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8627
/proc/meminfo: memFree=31234896/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15300 CPUtime=1302.34 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3696 0 0 0 130234 0 0 0 25 0 1 0 968387706 15667200 3448 33554432000 4194304 6245536 140733481074816 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3825 3448 229 501 0 3321 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 15300
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8629
/proc/meminfo: memFree=31235392/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15336 CPUtime=1362.34 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3712 0 0 0 136234 0 0 0 25 0 1 0 968387706 15704064 3458 33554432000 4194304 6245536 140733481074816 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3834 3458 229 501 0 3330 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 15336
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8630
/proc/meminfo: memFree=31235236/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15336 CPUtime=1422.34 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3712 0 0 0 142234 0 0 0 25 0 1 0 968387706 15704064 3458 33554432000 4194304 6245536 140733481074816 18446744073709551615 4633927 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3834 3458 229 501 0 3330 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 15336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8632
/proc/meminfo: memFree=31234800/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15336 CPUtime=1482.34 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3712 0 0 0 148234 0 0 0 25 0 1 0 968387706 15704064 3458 33554432000 4194304 6245536 140733481074816 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3834 3458 229 501 0 3330 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 15336
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8634
/proc/meminfo: memFree=31234520/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15336 CPUtime=1542.35 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3712 0 0 0 154235 0 0 0 25 0 1 0 968387706 15704064 3458 33554432000 4194304 6245536 140733481074816 18446744073709551615 4700416 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3834 3458 229 501 0 3330 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 15336
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8635
/proc/meminfo: memFree=31234592/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15336 CPUtime=1602.35 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3712 0 0 0 160235 0 0 0 25 0 1 0 968387706 15704064 3458 33554432000 4194304 6245536 140733481074816 18446744073709551615 4304858 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3834 3458 229 501 0 3330 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 15336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8637
/proc/meminfo: memFree=31232328/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15336 CPUtime=1662.35 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3712 0 0 0 166235 0 0 0 25 0 1 0 968387706 15704064 3458 33554432000 4194304 6245536 140733481074816 18446744073709551615 4635990 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3834 3458 229 501 0 3330 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 15336
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8638
/proc/meminfo: memFree=31232276/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15336 CPUtime=1722.35 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3712 0 0 0 172235 0 0 0 25 0 1 0 968387706 15704064 3458 33554432000 4194304 6245536 140733481074816 18446744073709551615 4634497 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3834 3458 229 501 0 3330 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 15336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8640
/proc/meminfo: memFree=31228640/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15488 CPUtime=1782.35 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3750 0 0 0 178235 0 0 0 25 0 1 0 968387706 15859712 3496 33554432000 4194304 6245536 140733481074816 18446744073709551615 4639920 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3872 3496 229 501 0 3368 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 15488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8641
/proc/meminfo: memFree=31228376/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15488 CPUtime=1800.06 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3750 0 0 0 180006 0 0 0 25 0 1 0 968387706 15859712 3496 33554432000 4194304 6245536 140733481074816 18446744073709551615 4397853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3872 3496 229 501 0 3368 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 15488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 8641
/proc/meminfo: memFree=31228376/32950928 swapFree=67054844/67111528
[pid=8573] ppid=8571 vsize=15488 CPUtime=1800.06 cores=0,2,4,6
/proc/8573/stat : 8573 (clasp) R 8571 8573 32526 0 -1 4202496 3750 0 0 0 180006 0 0 0 25 0 1 0 968387706 15859712 3496 33554432000 4194304 6245536 140733481074816 18446744073709551615 4397853 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/8573/statm: 3872 3496 229 501 0 3368 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 15488
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.06
CPU system time (s): 0.006998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 15488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761
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= 20651
runsolver used 2.76958 second user time and 5.42218 second system time
The end