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-3467882-1307654984/watcher-3467882-1307654984 -o /tmp/evaluation-result-3467882-1307654984/solver-3467882-1307654984 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3467882-1307654984.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: 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: 1.94 1.98 1.95 3/177 27621
/proc/meminfo: memFree=32073608/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=13056 CPUtime=0 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 697 0 0 0 0 0 0 0 25 0 1 0 955729090 13369344 612 33554432000 4194304 4933572 140735299737664 18446744073709551615 231899034288 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 3264 612 359 181 0 273 0
[startup+0.0364329 s]
/proc/loadavg: 1.94 1.98 1.95 3/177 27621
/proc/meminfo: memFree=32073608/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=13056 CPUtime=0.03 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 713 0 0 0 3 0 0 0 25 0 1 0 955729090 13369344 628 33554432000 4194304 4933572 140735299737664 18446744073709551615 4637192 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 3264 628 373 181 0 273 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13056
[startup+0.100418 s]
/proc/loadavg: 1.94 1.98 1.95 3/177 27621
/proc/meminfo: memFree=32073608/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=13452 CPUtime=0.09 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 793 0 0 0 9 0 0 0 25 0 1 0 955729090 13774848 708 33554432000 4194304 4933572 140735299737664 18446744073709551615 4717198 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 3363 708 375 181 0 372 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13452
[startup+0.300393 s]
/proc/loadavg: 1.94 1.98 1.95 3/177 27621
/proc/meminfo: memFree=32073608/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=13584 CPUtime=0.29 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 844 0 0 0 29 0 0 0 25 0 1 0 955729090 13910016 759 33554432000 4194304 4933572 140735299737664 18446744073709551615 4340852 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 3396 759 375 181 0 405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13584
[startup+0.700305 s]
/proc/loadavg: 1.94 1.98 1.95 3/177 27621
/proc/meminfo: memFree=32073608/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=14376 CPUtime=0.69 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 1043 0 0 0 69 0 0 0 25 0 1 0 955729090 14721024 958 33554432000 4194304 4933572 140735299737664 18446744073709551615 4631805 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 3594 958 375 181 0 603 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14376
[startup+1.50015 s]
/proc/loadavg: 1.94 1.98 1.95 3/178 27622
/proc/meminfo: memFree=32071144/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=15168 CPUtime=1.49 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 1212 0 0 0 149 0 0 0 25 0 1 0 955729090 15532032 1127 33554432000 4194304 4933572 140735299737664 18446744073709551615 4363251 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 3792 1127 376 181 0 801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15168
[startup+3.10086 s]
/proc/loadavg: 1.94 1.98 1.95 3/178 27622
/proc/meminfo: memFree=32069892/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=15856 CPUtime=3.09 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 1384 0 0 0 309 0 0 0 25 0 1 0 955729090 16236544 1299 33554432000 4194304 4933572 140735299737664 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 3964 1299 376 181 0 973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15856
[startup+6.30025 s]
/proc/loadavg: 1.94 1.98 1.95 3/178 27623
/proc/meminfo: memFree=32068700/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=16996 CPUtime=6.29 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 1672 0 0 0 629 0 0 0 25 0 1 0 955729090 17403904 1587 33554432000 4194304 4933572 140735299737664 18446744073709551615 4648288 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 4249 1587 376 181 0 1258 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16996
[startup+12.701 s]
/proc/loadavg: 1.95 1.98 1.95 3/178 27623
/proc/meminfo: memFree=32067476/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=17808 CPUtime=12.69 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 1878 0 0 0 1269 0 0 0 25 0 1 0 955729090 18235392 1793 33554432000 4194304 4933572 140735299737664 18446744073709551615 4649320 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/27621/statm: 4452 1793 376 181 0 1461 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17808
[startup+25.5006 s]
/proc/loadavg: 1.96 1.98 1.95 3/178 27623
/proc/meminfo: memFree=32066684/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=18920 CPUtime=25.49 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2157 0 0 0 2549 0 0 0 25 0 1 0 955729090 19374080 2072 33554432000 4194304 4933572 140735299737664 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 4730 2072 376 181 0 1739 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18920
[startup+51.1008 s]
/proc/loadavg: 1.97 1.98 1.95 3/178 27624
/proc/meminfo: memFree=32065516/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=19964 CPUtime=51.09 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2396 0 0 0 5109 0 0 0 25 0 1 0 955729090 20443136 2311 33554432000 4194304 4933572 140735299737664 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 4991 2311 376 181 0 2000 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19964
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 27625
/proc/meminfo: memFree=32059280/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=20564 CPUtime=102.29 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2549 0 0 0 10229 0 0 0 25 0 1 0 955729090 21057536 2464 33554432000 4194304 4933572 140735299737664 18446744073709551615 231895188094 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5141 2464 376 181 0 2150 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 20564
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 27627
/proc/meminfo: memFree=32056856/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=21436 CPUtime=162.29 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2729 0 0 0 16229 0 0 0 25 0 1 0 955729090 21950464 2644 33554432000 4194304 4933572 140735299737664 18446744073709551615 4648629 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5359 2644 376 181 0 2368 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21436
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.95 3/178 27628
/proc/meminfo: memFree=32055680/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=21436 CPUtime=222.29 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2754 0 0 0 22229 0 0 0 25 0 1 0 955729090 21950464 2669 33554432000 4194304 4933572 140735299737664 18446744073709551615 4331723 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5359 2669 376 181 0 2368 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 21436
[startup+282.3 s]
/proc/loadavg: 2.04 2.00 1.95 3/178 27630
/proc/meminfo: memFree=32052024/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=22036 CPUtime=282.29 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2873 0 0 0 28229 0 0 0 25 0 1 0 955729090 22564864 2788 33554432000 4194304 4933572 140735299737664 18446744073709551615 4648810 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5509 2788 376 181 0 2518 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 22036
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 27632
/proc/meminfo: memFree=32051364/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=22336 CPUtime=342.3 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2928 0 0 0 34230 0 0 0 25 0 1 0 955729090 22872064 2843 33554432000 4194304 4933572 140735299737664 18446744073709551615 4637128 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5584 2843 376 181 0 2593 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22336
[startup+402.301 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 27633
/proc/meminfo: memFree=32050452/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=22488 CPUtime=402.3 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2964 0 0 0 40230 0 0 0 25 0 1 0 955729090 23027712 2879 33554432000 4194304 4933572 140735299737664 18446744073709551615 4649355 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5622 2879 376 181 0 2631 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22488
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 27635
/proc/meminfo: memFree=32049152/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=22488 CPUtime=462.3 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 2974 0 0 0 46230 0 0 0 25 0 1 0 955729090 23027712 2889 33554432000 4194304 4933572 140735299737664 18446744073709551615 4664041 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5622 2889 376 181 0 2631 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 22488
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 27636
/proc/meminfo: memFree=32046248/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=22636 CPUtime=522.3 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3011 0 0 0 52230 0 0 0 25 0 1 0 955729090 23179264 2926 33554432000 4194304 4933572 140735299737664 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5659 2926 376 181 0 2668 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22636
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27641
/proc/meminfo: memFree=32043184/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=22936 CPUtime=582.3 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3061 0 0 0 58230 0 0 0 25 0 1 0 955729090 23486464 2976 33554432000 4194304 4933572 140735299737664 18446744073709551615 4340829 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5734 2976 376 181 0 2743 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22936
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27647
/proc/meminfo: memFree=32040692/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23388 CPUtime=822.31 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3168 0 0 0 82231 0 0 0 25 0 1 0 955729090 23949312 3083 33554432000 4194304 4933572 140735299737664 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5847 3083 376 181 0 2856 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 23388
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27649
/proc/meminfo: memFree=32039764/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23536 CPUtime=882.31 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3204 0 0 0 88231 0 0 0 25 0 1 0 955729090 24100864 3119 33554432000 4194304 4933572 140735299737664 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5884 3119 376 181 0 2893 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 23536
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27651
/proc/meminfo: memFree=32038836/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23688 CPUtime=942.32 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3253 0 0 0 94232 0 0 0 25 0 1 0 955729090 24256512 3168 33554432000 4194304 4933572 140735299737664 18446744073709551615 4663941 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5922 3168 376 181 0 2931 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 23688
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27652
/proc/meminfo: memFree=32038756/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1002.32 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3263 0 0 0 100232 0 0 0 25 0 1 0 955729090 24408064 3178 33554432000 4194304 4933572 140735299737664 18446744073709551615 4363216 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3178 376 181 0 2968 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 23836
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27654
/proc/meminfo: memFree=32038704/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1062.32 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3273 0 0 0 106232 0 0 0 25 0 1 0 955729090 24408064 3188 33554432000 4194304 4933572 140735299737664 18446744073709551615 4368936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3188 376 181 0 2968 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 23836
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27655
/proc/meminfo: memFree=32038024/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1122.32 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3274 0 0 0 112232 0 0 0 25 0 1 0 955729090 24408064 3189 33554432000 4194304 4933572 140735299737664 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3189 376 181 0 2968 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 23836
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 27657
/proc/meminfo: memFree=32037480/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1182.33 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3275 0 0 0 118233 0 0 0 25 0 1 0 955729090 24408064 3190 33554432000 4194304 4933572 140735299737664 18446744073709551615 4637468 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3190 376 181 0 2968 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 23836
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 27659
/proc/meminfo: memFree=32036316/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1242.33 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3283 0 0 0 124233 0 0 0 25 0 1 0 955729090 24408064 3198 33554432000 4194304 4933572 140735299737664 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3198 376 181 0 2968 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 23836
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 27660
/proc/meminfo: memFree=32036136/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1302.34 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3290 0 0 0 130234 0 0 0 25 0 1 0 955729090 24408064 3205 33554432000 4194304 4933572 140735299737664 18446744073709551615 4635412 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3205 376 181 0 2968 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 23836
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/178 27662
/proc/meminfo: memFree=32035836/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1362.33 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3290 0 0 0 136233 0 0 0 25 0 1 0 955729090 24408064 3205 33554432000 4194304 4933572 140735299737664 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3205 376 181 0 2968 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 23836
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 27663
/proc/meminfo: memFree=32035532/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1422.34 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3290 0 0 0 142234 0 0 0 25 0 1 0 955729090 24408064 3205 33554432000 4194304 4933572 140735299737664 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3205 376 181 0 2968 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 23836
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/178 27665
/proc/meminfo: memFree=32035468/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23836 CPUtime=1482.34 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3290 0 0 0 148234 0 0 0 25 0 1 0 955729090 24408064 3205 33554432000 4194304 4933572 140735299737664 18446744073709551615 4664515 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5959 3205 376 181 0 2968 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 23836
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/178 27667
/proc/meminfo: memFree=32034440/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23988 CPUtime=1542.34 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3298 0 0 0 154234 0 0 0 25 0 1 0 955729090 24563712 3213 33554432000 4194304 4933572 140735299737664 18446744073709551615 4649399 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5997 3213 376 181 0 3006 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 23988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 27668
/proc/meminfo: memFree=32033884/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=23988 CPUtime=1602.34 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3313 0 0 0 160234 0 0 0 25 0 1 0 955729090 24563712 3228 33554432000 4194304 4933572 140735299737664 18446744073709551615 4331723 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 5997 3228 376 181 0 3006 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 23988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 27670
/proc/meminfo: memFree=32031724/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=24136 CPUtime=1662.34 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3340 0 0 0 166234 0 0 0 25 0 1 0 955729090 24715264 3255 33554432000 4194304 4933572 140735299737664 18446744073709551615 4648725 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 6034 3255 376 181 0 3043 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 24136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 27671
/proc/meminfo: memFree=32027836/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=24288 CPUtime=1722.35 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3371 0 0 0 172235 0 0 0 25 0 1 0 955729090 24870912 3286 33554432000 4194304 4933572 140735299737664 18446744073709551615 4329844 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 6072 3286 376 181 0 3081 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 24288
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 27673
/proc/meminfo: memFree=32026532/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=24288 CPUtime=1782.35 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3386 0 0 0 178235 0 0 0 25 0 1 0 955729090 24870912 3301 33554432000 4194304 4933572 140735299737664 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 6072 3301 376 181 0 3081 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 24288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.78 1.95 1.96 2/172 27698
/proc/meminfo: memFree=32093820/32950928 swapFree=67054844/67111528
[pid=27621] ppid=27619 vsize=24288 CPUtime=1800.05 cores=1,3,5,7
/proc/27621/stat : 27621 (clasp) R 27619 27621 25448 0 -1 4202496 3386 0 0 0 180005 0 0 0 25 0 1 0 955729090 24870912 3301 33554432000 4194304 4933572 140735299737664 18446744073709551615 4664036 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/27621/statm: 6072 3301 376 181 0 3081 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 24288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.06
CPU system time (s): 0.010998
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 24288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.06
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3398
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= 2669
runsolver used 2.45063 second user time and 5.73913 second system time
The end