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-3468060-1307092639/watcher-3468060-1307092639 -o /tmp/evaluation-result-3468060-1307092639/solver-3468060-1307092639 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468060-1307092639.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.84 1.98 1.99 3/472 24719
/proc/meminfo: memFree=20420280/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=13732 CPUtime=0.01 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 895 0 0 0 1 0 0 0 25 0 1 0 820863603 14061568 790 33554432000 4194304 4933572 140735618158000 18446744073709551615 4429729 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3433 790 374 181 0 442 0
[startup+0.058876 s]
/proc/loadavg: 1.84 1.98 1.99 3/472 24719
/proc/meminfo: memFree=20420280/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=13732 CPUtime=0.05 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 903 0 0 0 5 0 0 0 25 0 1 0 820863603 14061568 798 33554432000 4194304 4933572 140735618158000 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3433 798 380 181 0 442 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13732
[startup+0.100869 s]
/proc/loadavg: 1.84 1.98 1.99 3/472 24719
/proc/meminfo: memFree=20420280/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=13732 CPUtime=0.09 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 904 0 0 0 9 0 0 0 25 0 1 0 820863603 14061568 799 33554432000 4194304 4933572 140735618158000 18446744073709551615 4368967 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3433 799 381 181 0 442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13732
[startup+0.300834 s]
/proc/loadavg: 1.84 1.98 1.99 3/472 24719
/proc/meminfo: memFree=20420280/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=13732 CPUtime=0.29 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 904 0 0 0 29 0 0 0 25 0 1 0 820863603 14061568 799 33554432000 4194304 4933572 140735618158000 18446744073709551615 4409842 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3433 799 381 181 0 442 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13732
[startup+0.700763 s]
/proc/loadavg: 1.84 1.98 1.99 3/472 24719
/proc/meminfo: memFree=20420280/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=13864 CPUtime=0.69 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 932 0 0 0 69 0 0 0 25 0 1 0 820863603 14196736 827 33554432000 4194304 4933572 140735618158000 18446744073709551615 4319305 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3466 827 381 181 0 475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13864
[startup+1.50062 s]
/proc/loadavg: 1.84 1.98 1.99 3/474 24748
/proc/meminfo: memFree=20413808/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=14128 CPUtime=1.49 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 994 0 0 0 149 0 0 0 25 0 1 0 820863603 14467072 889 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649255 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3532 889 381 181 0 541 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14128
[startup+3.10034 s]
/proc/loadavg: 1.84 1.98 1.99 3/474 24748
/proc/meminfo: memFree=20410808/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=14524 CPUtime=3.09 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 1082 0 0 0 309 0 0 0 25 0 1 0 820863603 14872576 977 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3631 977 381 181 0 640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14524
[startup+6.30078 s]
/proc/loadavg: 1.85 1.98 1.99 3/474 24748
/proc/meminfo: memFree=20410672/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=14788 CPUtime=6.3 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 1165 0 0 0 630 0 0 0 25 0 1 0 820863603 15142912 1060 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3697 1060 381 181 0 706 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14788
[startup+12.7007 s]
/proc/loadavg: 1.86 1.98 1.99 3/474 24749
/proc/meminfo: memFree=20403868/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=15624 CPUtime=12.7 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 1350 0 0 0 1270 0 0 0 25 0 1 0 820863603 15998976 1245 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649079 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 3906 1245 381 181 0 915 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 15624
[startup+25.5004 s]
/proc/loadavg: 1.89 1.98 1.99 3/474 24749
/proc/meminfo: memFree=20404048/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=16432 CPUtime=25.5 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 1545 0 0 0 2550 0 0 0 25 0 1 0 820863603 16826368 1440 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 4108 1440 381 181 0 1117 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 16432
[startup+51.1009 s]
/proc/loadavg: 2.00 1.99 1.99 3/474 24750
/proc/meminfo: memFree=20401024/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=17688 CPUtime=51.09 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 1865 0 0 0 5109 0 0 0 25 0 1 0 820863603 18112512 1760 33554432000 4194304 4933572 140735618158000 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 4422 1760 381 181 0 1431 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17688
[startup+102.317 s]
/proc/loadavg: 2.00 1.99 1.99 3/474 24751
/proc/meminfo: memFree=20395924/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=19356 CPUtime=102.31 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 2276 0 0 0 10231 0 0 0 25 0 1 0 820863603 19820544 2171 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 4839 2171 381 181 0 1848 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19356
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/474 24753
/proc/meminfo: memFree=20391292/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=20968 CPUtime=162.29 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 2661 0 0 0 16229 0 0 0 25 0 1 0 820863603 21471232 2556 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649216 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 5242 2556 381 181 0 2251 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20968
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/474 24754
/proc/meminfo: memFree=20390244/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=21984 CPUtime=222.3 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 2896 0 0 0 22229 1 0 0 25 0 1 0 820863603 22511616 2791 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 5496 2791 381 181 0 2505 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21984
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/474 24756
/proc/meminfo: memFree=20389568/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=22584 CPUtime=282.3 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 3029 0 0 0 28229 1 0 0 25 0 1 0 820863603 23126016 2924 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649417 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 5646 2924 381 181 0 2655 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 22584
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/474 24757
/proc/meminfo: memFree=20385040/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=23832 CPUtime=342.3 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 3326 0 0 0 34229 1 0 0 25 0 1 0 820863603 24403968 3221 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648403 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 5958 3221 381 181 0 2967 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23832
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/474 24759
/proc/meminfo: memFree=20384244/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=24388 CPUtime=402.3 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 3459 0 0 0 40229 1 0 0 25 0 1 0 820863603 24973312 3354 33554432000 4194304 4933572 140735618158000 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 6097 3354 381 181 0 3106 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24388
[startup+462.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/474 24761
/proc/meminfo: memFree=20382928/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=25484 CPUtime=462.3 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 3724 0 0 0 46229 1 0 0 25 0 1 0 820863603 26095616 3619 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 6371 3619 381 181 0 3380 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25484
[startup+522.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/474 24762
/proc/meminfo: memFree=20382240/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=26088 CPUtime=522.3 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 3876 0 0 0 52229 1 0 0 25 0 1 0 820863603 26714112 3771 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649040 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 6522 3771 381 181 0 3531 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 26088
[startup+582.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/474 24764
/proc/meminfo: memFree=20381700/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=26656 CPUtime=582.31 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4014 0 0 0 58230 1 0 0 25 0 1 0 820863603 27295744 3909 33554432000 4194304 4933572 140735618158000 18446744073709551615 4635190 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 6664 3909 381 181 0 3673 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 26656
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 24770
/proc/meminfo: memFree=20379988/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=28380 CPUtime=822.31 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4431 0 0 0 82230 1 0 0 25 0 1 0 820863603 29061120 4326 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7095 4326 381 181 0 4104 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 28380
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 24772
/proc/meminfo: memFree=20379808/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=28676 CPUtime=882.31 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4503 0 0 0 88230 1 0 0 25 0 1 0 820863603 29364224 4398 33554432000 4194304 4933572 140735618158000 18446744073709551615 4637123 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7169 4398 381 181 0 4178 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 28676
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 24773
/proc/meminfo: memFree=20379504/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=28980 CPUtime=942.31 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4539 0 0 0 94230 1 0 0 25 0 1 0 820863603 29675520 4434 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7245 4434 381 181 0 4254 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 28980
[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/474 24775
/proc/meminfo: memFree=20379468/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=29124 CPUtime=1002.32 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4577 0 0 0 100231 1 0 0 25 0 1 0 820863603 29822976 4472 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648741 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7281 4472 381 181 0 4290 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 29124
[startup+1062.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/474 24777
/proc/meminfo: memFree=20378904/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=29684 CPUtime=1062.32 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4715 0 0 0 106231 1 0 0 25 0 1 0 820863603 30396416 4610 33554432000 4194304 4933572 140735618158000 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7421 4610 381 181 0 4430 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 29684
[startup+1122.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/474 24778
/proc/meminfo: memFree=20378600/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=29980 CPUtime=1122.32 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4799 0 0 0 112231 1 0 0 25 0 1 0 820863603 30699520 4694 33554432000 4194304 4933572 140735618158000 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7495 4694 381 181 0 4504 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 29980
[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/474 24780
/proc/meminfo: memFree=20378412/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=30444 CPUtime=1182.32 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4893 0 0 0 118231 1 0 0 25 0 1 0 820863603 31174656 4788 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649818 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7611 4788 381 181 0 4620 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 30444
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/474 24781
/proc/meminfo: memFree=20377996/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=30604 CPUtime=1242.32 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 4939 0 0 0 124231 1 0 0 25 0 1 0 820863603 31338496 4834 33554432000 4194304 4933572 140735618158000 18446744073709551615 4637443 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7651 4834 381 181 0 4660 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 30604
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 24783
/proc/meminfo: memFree=20377692/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=30888 CPUtime=1302.33 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5019 0 0 0 130232 1 0 0 25 0 1 0 820863603 31629312 4914 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648961 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7722 4914 381 181 0 4731 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 30888
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 24785
/proc/meminfo: memFree=20377268/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=31460 CPUtime=1362.32 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5148 0 0 0 136231 1 0 0 25 0 1 0 820863603 32215040 5043 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649805 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7865 5043 381 181 0 4874 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 31460
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 24786
/proc/meminfo: memFree=20378456/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=31896 CPUtime=1422.34 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5255 0 0 0 142233 1 0 0 25 0 1 0 820863603 32661504 5150 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 7974 5150 381 181 0 4983 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 31896
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 24788
/proc/meminfo: memFree=20377296/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=32316 CPUtime=1482.32 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5337 0 0 0 148231 1 0 0 25 0 1 0 820863603 33091584 5232 33554432000 4194304 4933572 140735618158000 18446744073709551615 4411099 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 8079 5232 381 181 0 5088 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 32316
[startup+1542.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/474 24789
/proc/meminfo: memFree=20377492/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=32908 CPUtime=1542.33 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5479 0 0 0 154232 1 0 0 25 0 1 0 820863603 33697792 5374 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649734 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 8227 5374 381 181 0 5236 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 32908
[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/474 24791
/proc/meminfo: memFree=20376952/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=33352 CPUtime=1602.33 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5582 0 0 0 160232 1 0 0 25 0 1 0 820863603 34152448 5477 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648668 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 8338 5477 381 181 0 5347 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 33352
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/474 24793
/proc/meminfo: memFree=20376884/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=33512 CPUtime=1662.33 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5626 0 0 0 166232 1 0 0 25 0 1 0 820863603 34316288 5521 33554432000 4194304 4933572 140735618158000 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 8378 5521 381 181 0 5387 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 33512
[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/474 24794
/proc/meminfo: memFree=20376472/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=33656 CPUtime=1722.33 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5642 0 0 0 172232 1 0 0 25 0 1 0 820863603 34463744 5537 33554432000 4194304 4933572 140735618158000 18446744073709551615 4319463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 8414 5537 381 181 0 5423 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 33656
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/474 24796
/proc/meminfo: memFree=20374064/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=34024 CPUtime=1782.33 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5731 0 0 0 178232 1 0 0 25 0 1 0 820863603 34840576 5626 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 8506 5626 381 181 0 5515 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 34024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.04 2.00 3/474 24796
/proc/meminfo: memFree=20373904/32950928 swapFree=61858088/67111528
[pid=24719] ppid=24717 vsize=34024 CPUtime=1800.04 cores=1,3,5,7
/proc/24719/stat : 24719 (clasp) R 24717 24719 24628 0 -1 4202496 5751 0 0 0 180003 1 0 0 25 0 1 0 820863603 34840576 5646 33554432000 4194304 4933572 140735618158000 18446744073709551615 4649555 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24719/statm: 8506 5646 381 181 0 5515 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 34024
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.02
CPU time (s): 1800.06
CPU user time (s): 1800.04
CPU system time (s): 0.017997
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 34024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5763
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= 8
involuntary context switches= 21370
runsolver used 7.80181 second user time and 18.4262 second system time
The end