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-3469414-1307097107/watcher-3469414-1307097107 -o /tmp/evaluation-result-3469414-1307097107/solver-3469414-1307097107 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469414-1307097107.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.09 2.02 1.97 2/415 814
/proc/meminfo: memFree=26005668/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=14596 CPUtime=0 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 732 0 0 0 0 0 0 0 18 0 1 0 277320091 14946304 674 33554432000 4194304 4933572 140734338522528 18446744073709551615 4670668 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 3649 681 308 181 0 658 0
[startup+0.0548031 s]
/proc/loadavg: 2.09 2.02 1.97 2/415 814
/proc/meminfo: memFree=26005668/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=17260 CPUtime=0.05 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 2233 0 0 0 5 0 0 0 18 0 1 0 277320091 17674240 1668 33554432000 4194304 4933572 140734338522528 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 4315 1670 366 181 0 1324 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17260
[startup+0.10079 s]
/proc/loadavg: 2.09 2.02 1.97 2/415 814
/proc/meminfo: memFree=26005668/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=22276 CPUtime=0.09 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 3482 0 0 0 9 0 0 0 18 0 1 0 277320091 22810624 2917 33554432000 4194304 4933572 140734338522528 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 5569 2918 366 181 0 2578 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22276
[startup+0.300757 s]
/proc/loadavg: 2.09 2.02 1.97 2/415 814
/proc/meminfo: memFree=26005668/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=31256 CPUtime=0.29 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 5735 0 0 0 29 0 0 0 18 0 1 0 277320091 32006144 5170 33554432000 4194304 4933572 140734338522528 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 7814 5170 373 181 0 4823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31256
[startup+0.700691 s]
/proc/loadavg: 2.09 2.02 1.97 2/415 814
/proc/meminfo: memFree=26005668/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=41376 CPUtime=0.69 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 8239 0 0 0 68 1 0 0 18 0 1 0 277320091 42369024 7674 33554432000 4194304 4933572 140734338522528 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 10344 7674 374 181 0 7353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41376
[startup+1.50055 s]
/proc/loadavg: 2.09 2.02 1.97 3/416 815
/proc/meminfo: memFree=25972808/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=46804 CPUtime=1.49 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 9626 0 0 0 148 1 0 0 20 0 1 0 277320091 47927296 9061 33554432000 4194304 4933572 140734338522528 18446744073709551615 4631801 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 11701 9061 374 181 0 8710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46804
[startup+3.10027 s]
/proc/loadavg: 2.09 2.02 1.97 3/416 815
/proc/meminfo: memFree=25964776/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=56224 CPUtime=3.09 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 11927 0 0 0 308 1 0 0 25 0 1 0 277320091 57573376 11362 33554432000 4194304 4933572 140734338522528 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 14056 11362 374 181 0 11065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56224
[startup+6.3007 s]
/proc/loadavg: 2.08 2.02 1.97 3/416 815
/proc/meminfo: memFree=25953736/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=62000 CPUtime=6.29 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 13257 0 0 0 627 2 0 0 25 0 1 0 277320091 63488000 12692 33554432000 4194304 4933572 140734338522528 18446744073709551615 4337689 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 15500 12692 374 181 0 12509 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62000
[startup+12.7006 s]
/proc/loadavg: 2.08 2.02 1.97 3/416 815
/proc/meminfo: memFree=25943844/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=70604 CPUtime=12.69 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 15499 0 0 0 1267 2 0 0 25 0 1 0 277320091 72298496 14934 33554432000 4194304 4933572 140734338522528 18446744073709551615 4632751 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 17651 14934 374 181 0 14660 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70604
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 1.97 4/416 815
/proc/meminfo: memFree=25930948/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=83068 CPUtime=25.49 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 18646 0 0 0 2546 3 0 0 25 0 1 0 277320091 85061632 18081 33554432000 4194304 4933572 140734338522528 18446744073709551615 4328768 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 20767 18081 374 181 0 17776 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83068
[startup+51.1008 s]
/proc/loadavg: 2.04 2.02 1.97 3/416 816
/proc/meminfo: memFree=25915920/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=98124 CPUtime=51.09 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 22411 0 0 0 5105 4 0 0 25 0 1 0 277320091 100478976 21846 33554432000 4194304 4933572 140734338522528 18446744073709551615 4663904 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 24531 21846 374 181 0 21540 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 98124
[startup+102.316 s]
/proc/loadavg: 2.01 2.01 1.97 3/416 817
/proc/meminfo: memFree=25888876/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=120156 CPUtime=102.3 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 27908 0 0 0 10226 4 0 0 25 0 1 0 277320091 123039744 27343 33554432000 4194304 4933572 140734338522528 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 30039 27343 374 181 0 27048 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 120156
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 819
/proc/meminfo: memFree=25872496/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=135480 CPUtime=162.3 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 31728 0 0 0 16225 5 0 0 25 0 1 0 277320091 138731520 31163 33554432000 4194304 4933572 140734338522528 18446744073709551615 4649329 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 33870 31163 374 181 0 30879 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 135480
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/416 820
/proc/meminfo: memFree=25866536/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=138780 CPUtime=222.3 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 32581 0 0 0 22225 5 0 0 25 0 1 0 277320091 142110720 32016 33554432000 4194304 4933572 140734338522528 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 34695 32016 374 181 0 31704 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 138780
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/416 822
/proc/meminfo: memFree=25853868/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=150484 CPUtime=282.29 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 35490 0 0 0 28224 5 0 0 25 0 1 0 277320091 154095616 34925 33554432000 4194304 4933572 140734338522528 18446744073709551615 4341607 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 37621 34925 374 181 0 34630 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 150484
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/416 824
/proc/meminfo: memFree=25839480/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=164720 CPUtime=342.3 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 39033 0 0 0 34224 6 0 0 25 0 1 0 277320091 168673280 38468 33554432000 4194304 4933572 140734338522528 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 41180 38468 374 181 0 38189 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 164720
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/416 825
/proc/meminfo: memFree=25831652/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=169472 CPUtime=402.3 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 40243 0 0 0 40224 6 0 0 25 0 1 0 277320091 173539328 39678 33554432000 4194304 4933572 140734338522528 18446744073709551615 4622122 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 42368 39678 374 181 0 39377 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 169472
[startup+462.301 s]
/proc/loadavg: 2.07 2.02 1.97 3/416 827
/proc/meminfo: memFree=25829776/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=170792 CPUtime=462.3 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 40560 0 0 0 46224 6 0 0 25 0 1 0 277320091 174891008 39995 33554432000 4194304 4933572 140734338522528 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 42698 39995 374 181 0 39707 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 170792
[startup+522.301 s]
/proc/loadavg: 2.06 2.03 1.98 3/416 828
/proc/meminfo: memFree=25816984/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=182876 CPUtime=522.31 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 43541 0 0 0 52224 7 0 0 25 0 1 0 277320091 187265024 42976 33554432000 4194304 4933572 140734338522528 18446744073709551615 4328752 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 45719 42976 374 181 0 42728 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 182876
[startup+582.301 s]
/proc/loadavg: 2.05 2.03 1.98 3/416 830
/proc/meminfo: memFree=25811516/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=187672 CPUtime=582.31 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 45128 0 0 0 58224 7 0 0 25 0 1 0 277320091 192176128 44193 33554432000 4194304 4933572 140734338522528 18446744073709551615 4414950 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 46918 44193 375 181 0 43927 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 187672
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/416 845
/proc/meminfo: memFree=25790248/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=207260 CPUtime=822.31 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 50008 0 0 0 82223 8 0 0 25 0 1 0 277320091 212234240 49073 33554432000 4194304 4933572 140734338522528 18446744073709551615 4341559 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 51815 49073 375 181 0 48824 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 207260
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 847
/proc/meminfo: memFree=25786764/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=210560 CPUtime=882.31 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 50852 0 0 0 88223 8 0 0 25 0 1 0 277320091 215613440 49917 33554432000 4194304 4933572 140734338522528 18446744073709551615 4328740 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 52640 49917 375 181 0 49649 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 210560
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 855
/proc/meminfo: memFree=25786752/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=211220 CPUtime=942.31 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 51009 0 0 0 94223 8 0 0 25 0 1 0 277320091 216289280 50074 33554432000 4194304 4933572 140734338522528 18446744073709551615 4427984 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 52805 50074 375 181 0 49814 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 211220
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 856
/proc/meminfo: memFree=25785492/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=212936 CPUtime=1002.31 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 51443 0 0 0 100223 8 0 0 25 0 1 0 277320091 218046464 50508 33554432000 4194304 4933572 140734338522528 18446744073709551615 4664045 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 53234 50508 375 181 0 50243 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 212936
[startup+1062.3 s]
/proc/loadavg: 2.16 2.06 2.00 3/416 858
/proc/meminfo: memFree=25784612/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=213148 CPUtime=1062.32 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 51822 0 0 0 106223 9 0 0 25 0 1 0 277320091 218263552 50557 33554432000 4194304 4933572 140734338522528 18446744073709551615 4340456 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 53287 50557 375 181 0 50296 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 213148
[startup+1122.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/416 859
/proc/meminfo: memFree=25783236/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=213544 CPUtime=1122.32 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 51927 0 0 0 112223 9 0 0 25 0 1 0 277320091 218669056 50662 33554432000 4194304 4933572 140734338522528 18446744073709551615 4635470 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 53386 50662 375 181 0 50395 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 213544
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/416 861
/proc/meminfo: memFree=25781368/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=214996 CPUtime=1182.32 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 52277 0 0 0 118223 9 0 0 25 0 1 0 277320091 220155904 51012 33554432000 4194304 4933572 140734338522528 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 53749 51012 375 181 0 50758 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 214996
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/416 863
/proc/meminfo: memFree=25762760/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=235476 CPUtime=1242.32 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 56936 0 0 0 124222 10 0 0 25 0 1 0 277320091 241127424 55671 33554432000 4194304 4933572 140734338522528 18446744073709551615 4632770 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 58869 55671 375 181 0 55878 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 235476
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 864
/proc/meminfo: memFree=25759524/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=237640 CPUtime=1302.32 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 57857 0 0 0 130222 10 0 0 25 0 1 0 277320091 243343360 56225 33554432000 4194304 4933572 140734338522528 18446744073709551615 4631807 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 59410 56225 375 181 0 56419 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 237640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 866
/proc/meminfo: memFree=25756656/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=241072 CPUtime=1362.32 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 58714 0 0 0 136222 10 0 0 25 0 1 0 277320091 246857728 57082 33554432000 4194304 4933572 140734338522528 18446744073709551615 4649388 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 60268 57082 375 181 0 57277 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 241072
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 867
/proc/meminfo: memFree=25753916/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=243184 CPUtime=1422.34 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 59243 0 0 0 142223 11 0 0 25 0 1 0 277320091 249020416 57611 33554432000 4194304 4933572 140734338522528 18446744073709551615 4341601 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 60796 57611 375 181 0 57805 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 243184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 869
/proc/meminfo: memFree=25752416/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=244372 CPUtime=1482.33 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 59542 0 0 0 148222 11 0 0 25 0 1 0 277320091 250236928 57910 33554432000 4194304 4933572 140734338522528 18446744073709551615 4341800 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 61093 57910 375 181 0 58102 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 244372
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 871
/proc/meminfo: memFree=25753896/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=244504 CPUtime=1542.33 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 59577 0 0 0 154222 11 0 0 25 0 1 0 277320091 250372096 57945 33554432000 4194304 4933572 140734338522528 18446744073709551615 4330736 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 61126 57945 375 181 0 58135 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 244504
[startup+1602.3 s]
/proc/loadavg: 2.23 2.06 2.02 3/416 872
/proc/meminfo: memFree=25752884/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=245176 CPUtime=1602.33 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 60079 0 0 0 160222 11 0 0 25 0 1 0 277320091 251060224 58089 33554432000 4194304 4933572 140734338522528 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 61294 58089 375 181 0 58303 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 245176
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/416 903
/proc/meminfo: memFree=25789644/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=245176 CPUtime=1662.33 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 60098 0 0 0 166222 11 0 0 25 0 1 0 277320091 251060224 58108 33554432000 4194304 4933572 140734338522528 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 61294 58108 375 181 0 58303 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 245176
[startup+1722.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/416 904
/proc/meminfo: memFree=25779040/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=245308 CPUtime=1722.34 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 60119 0 0 0 172223 11 0 0 25 0 1 0 277320091 251195392 58129 33554432000 4194304 4933572 140734338522528 18446744073709551615 4342492 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 61327 58129 375 181 0 58336 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 245308
[startup+1782.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/416 916
/proc/meminfo: memFree=25774328/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=245780 CPUtime=1782.33 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 60542 0 0 0 178222 11 0 0 25 0 1 0 277320091 251678720 58260 33554432000 4194304 4933572 140734338522528 18446744073709551615 4632843 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 61445 58260 375 181 0 58454 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 245780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.06 2.02 3/416 917
/proc/meminfo: memFree=25772704/32950928 swapFree=52006644/67111528
[pid=814] ppid=812 vsize=245780 CPUtime=1800.04 cores=1,3,5,7
/proc/814/stat : 814 (clasp) R 812 814 32638 0 -1 4202496 60547 0 0 0 179993 11 0 0 25 0 1 0 277320091 251678720 58265 33554432000 4194304 4933572 140734338522528 18446744073709551615 218880262750 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/814/statm: 61445 58265 375 181 0 58454 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 245780
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.03
CPU time (s): 1800.07
CPU user time (s): 1799.94
CPU system time (s): 0.124981
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 245780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60557
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= 6
involuntary context switches= 2657
runsolver used 7.06492 second user time and 16.9894 second system time
The end