runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3709079-1338152230/watcher-3709079-1338152230 -o /tmp/evaluation-result-3709079-1338152230/solver-3709079-1338152230 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709079-1338152230.opb
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.93 1.98 1.99 3/179 17956
/proc/meminfo: memFree=30895076/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[startup+0.00764298 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17956
/proc/meminfo: memFree=30895076/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100242 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17956
/proc/meminfo: memFree=30895076/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300218 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17956
/proc/meminfo: memFree=30895076/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700229 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 17956
/proc/meminfo: memFree=30895076/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50024 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 17958
/proc/meminfo: memFree=30883420/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=15168 CPUtime=1.48 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 3556 0 0 0 148 0 0 0 20 0 1 0 281348316 15532032 3477 33554432000 4194304 6212839 140735112287744 140735112285912 4335600 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 3792 3477 234 493 0 3297 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24320
[startup+3.10024 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 17958
/proc/meminfo: memFree=30881048/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=18580 CPUtime=3.08 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 4407 0 0 0 308 0 0 0 20 0 1 0 281348316 19025920 4328 33554432000 4194304 6212839 140735112287744 140735112285816 4335250 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 4645 4328 234 493 0 4150 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27732
[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 17958
/proc/meminfo: memFree=30873112/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=23704 CPUtime=6.29 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 5764 0 0 0 628 1 0 0 20 0 1 0 281348316 24272896 5602 33554432000 4194304 6212839 140735112287744 140735112285816 4411611 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 5926 5602 234 493 0 5431 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32856
[startup+12.7002 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 17958
/proc/meminfo: memFree=30851048/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=27300 CPUtime=12.69 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 6712 0 0 0 1268 1 0 0 20 0 1 0 281348316 27955200 6520 33554432000 4194304 6212839 140735112287744 140735112286040 4335631 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 6825 6520 234 493 0 6330 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36452
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 17958
/proc/meminfo: memFree=30823288/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=35696 CPUtime=25.48 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 8828 0 0 0 2547 1 0 0 20 0 1 0 281348316 36552704 8581 33554432000 4194304 6212839 140735112287744 140735112286040 4421869 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 8924 8581 234 493 0 8429 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44848
[startup+51.1002 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 17998
/proc/meminfo: memFree=31389840/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=40532 CPUtime=51.08 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 10402 0 0 0 5106 2 0 0 20 0 1 0 281348316 41504768 9819 33554432000 4194304 6212839 140735112287744 140735112286040 4674862 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 10133 9819 234 493 0 9638 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49684
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 17998
/proc/meminfo: memFree=31357928/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=54356 CPUtime=102.27 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 14512 0 0 0 10225 2 0 0 20 0 1 0 281348316 55660544 13065 33554432000 4194304 6212839 140735112287744 140735112286040 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 13589 13065 234 493 0 13094 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63508
[startup+162.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/181 17999
/proc/meminfo: memFree=31341724/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=60868 CPUtime=162.26 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 16909 0 0 0 16223 3 0 0 20 0 1 0 281348316 62328832 14921 33554432000 4194304 6212839 140735112287744 140735112286040 4705112 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 15217 14921 234 493 0 14722 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 70020
[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/182 18002
/proc/meminfo: memFree=31332468/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=66300 CPUtime=222.24 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 18463 0 0 0 22221 3 0 0 20 0 1 0 281348316 67891200 16278 33554432000 4194304 6212839 140735112287744 140735112285752 4683126 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 16575 16278 234 493 0 16080 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 75452
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 18025
/proc/meminfo: memFree=31309268/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=80828 CPUtime=282.24 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 21630 0 0 0 28220 4 0 0 20 0 1 0 281348316 82767872 19282 33554432000 4194304 6212839 140735112287744 140735112285752 4681495 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 20207 19282 234 493 0 19712 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 89980
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18025
/proc/meminfo: memFree=31296296/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=82820 CPUtime=342.22 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 22951 0 0 0 34218 4 0 0 20 0 1 0 281348316 84807680 20389 33554432000 4194304 6212839 140735112287744 140735112286040 4421884 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 20705 20389 234 493 0 20210 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 91972
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18025
/proc/meminfo: memFree=31290952/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=113764 CPUtime=1062.11 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 39518 0 0 0 106203 8 0 0 20 0 1 0 281348316 116494336 28140 33554432000 4194304 6212839 140735112287744 140735112285752 4674384 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 28441 28140 234 493 0 27946 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 122916
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18032
/proc/meminfo: memFree=31218028/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=114612 CPUtime=1122.1 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 39961 0 0 0 112202 8 0 0 20 0 1 0 281348316 117362688 28357 33554432000 4194304 6212839 140735112287744 140735112286056 4421925 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 28653 28357 234 493 0 28158 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 123764
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18032
/proc/meminfo: memFree=31215732/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=116672 CPUtime=1182.09 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 40827 0 0 0 118201 8 0 0 20 0 1 0 281348316 119472128 28872 33554432000 4194304 6212839 140735112287744 140735112285944 4705130 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 29168 28872 234 493 0 28673 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 125824
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18032
/proc/meminfo: memFree=31213252/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=118180 CPUtime=1242.08 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 42124 0 0 0 124200 8 0 0 20 0 1 0 281348316 121016320 29249 33554432000 4194304 6212839 140735112287744 140735112286040 4334721 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 29545 29249 234 493 0 29050 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 127332
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18032
/proc/meminfo: memFree=31199360/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=133136 CPUtime=1302.07 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 45354 0 0 0 130198 9 0 0 20 0 1 0 281348316 136331264 31990 33554432000 4194304 6212839 140735112287744 140735112286040 4422299 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 33284 31990 234 493 0 32789 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 142288
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 18033
/proc/meminfo: memFree=31193080/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=133752 CPUtime=1362.06 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 45997 0 0 0 136196 10 0 0 20 0 1 0 281348316 136962048 33102 33554432000 4194304 6212839 140735112287744 140735112286040 4325971 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 33438 33102 234 493 0 32943 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 142904
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 18036
/proc/meminfo: memFree=31190468/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=135220 CPUtime=1422.06 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 47061 0 0 0 142196 10 0 0 20 0 1 0 281348316 138465280 33458 33554432000 4194304 6212839 140735112287744 140735112285912 4421948 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 33805 33458 234 493 0 33310 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 144372
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18036
/proc/meminfo: memFree=31184520/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=140576 CPUtime=1482.04 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 49156 0 0 0 148193 11 0 0 20 0 1 0 281348316 143949824 34819 33554432000 4194304 6212839 140735112287744 140735112286040 4674874 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 35144 34819 234 493 0 34649 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 149728
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18036
/proc/meminfo: memFree=31177632/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=142308 CPUtime=1542.03 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 50426 0 0 0 154192 11 0 0 20 0 1 0 281348316 145723392 35278 33554432000 4194304 6212839 140735112287744 140735112285912 4334733 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 35577 35278 234 493 0 35082 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 151460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18036
/proc/meminfo: memFree=31176392/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=143424 CPUtime=1602.03 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 51511 0 0 0 160191 12 0 0 20 0 1 0 281348316 146866176 35552 33554432000 4194304 6212839 140735112287744 140735112286040 4334949 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 35856 35552 234 493 0 35361 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 152576
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18037
/proc/meminfo: memFree=31173472/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=143200 CPUtime=1662.02 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 52246 0 0 0 166190 12 0 0 20 0 1 0 281348316 146636800 35504 33554432000 4194304 6212839 140735112287744 140735112286040 4683122 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 35800 35504 234 493 0 35305 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 152352
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 18037
/proc/meminfo: memFree=31172724/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=144228 CPUtime=1722.01 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 52877 0 0 0 172189 12 0 0 20 0 1 0 281348316 147689472 35753 33554432000 4194304 6212839 140735112287744 140735112286040 4676600 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 36057 35753 234 493 0 35562 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 153380
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18037
/proc/meminfo: memFree=31168880/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=147376 CPUtime=1782 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 54339 0 0 0 178188 12 0 0 20 0 1 0 281348316 150913024 36548 33554432000 4194304 6212839 140735112287744 140735112286040 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 36844 36548 234 493 0 36349 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 156528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18037
/proc/meminfo: memFree=31167700/32873844 swapFree=7112/7112
[pid=17956] ppid=17954 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/17956/stat : 17956 (clasp-opt.sh) S 17954 17956 4091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281348315 9371648 274 33554432000 4194304 5064252 140735159772016 140735159770928 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17956/statm: 2288 274 232 213 0 73 0
[pid=17957] ppid=17956 vsize=147448 CPUtime=1800.1 cores=1,3,5,7
/proc/17957/stat : 17957 (clasp-R5325) R 17956 17956 4091 0 -1 4202496 54865 0 0 0 179998 12 0 0 20 0 1 0 281348316 150986752 36536 33554432000 4194304 6212839 140735112287744 140735112286040 4676440 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/17957/statm: 36862 36536 234 493 0 36367 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 156600
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.99
CPU system time (s): 0.12798
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 156864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.12798
maximum resident set size= 146464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55236
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= 57
involuntary context switches= 1847
runsolver used 5.9361 second user time and 15.7296 second system time
The end