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-3708965-1338155649/watcher-3708965-1338155649 -o /tmp/evaluation-result-3708965-1338155649/solver-3708965-1338155649 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708965-1338155649.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: 2.00 2.00 1.94 4/173 31159
/proc/meminfo: memFree=31264640/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[startup+0.081897 s]
/proc/loadavg: 2.00 2.00 1.94 4/173 31159
/proc/meminfo: memFree=31264640/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 1.94 4/173 31159
/proc/meminfo: memFree=31264640/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30023 s]
/proc/loadavg: 2.00 2.00 1.94 4/173 31159
/proc/meminfo: memFree=31264640/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 1.94 4/173 31159
/proc/meminfo: memFree=31264640/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31260220/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=4696 CPUtime=1.49 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 903 0 0 0 149 0 0 0 20 0 1 0 281690526 4808704 848 33554432000 4194304 6212839 140735167449184 140735167447480 4676415 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 1174 848 236 493 0 679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13848
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31257988/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=5484 CPUtime=3.09 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 1104 0 0 0 309 0 0 0 20 0 1 0 281690526 5615616 1049 33554432000 4194304 6212839 140735167449184 140735167447192 4683384 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 1371 1049 236 493 0 876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14636
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31255632/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=6672 CPUtime=6.29 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 1391 0 0 0 629 0 0 0 20 0 1 0 281690526 6832128 1336 33554432000 4194304 6212839 140735167449184 140735167447336 4424413 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 1668 1336 236 493 0 1173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15824
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31250528/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=8280 CPUtime=12.68 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 1832 0 0 0 1268 0 0 0 20 0 1 0 281690526 8478720 1772 33554432000 4194304 6212839 140735167449184 140735167447480 4333818 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 2070 1772 236 493 0 1575 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17432
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31244820/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=10876 CPUtime=25.48 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 2484 0 0 0 2548 0 0 0 20 0 1 0 281690526 11137024 2424 33554432000 4194304 6212839 140735167449184 140735167447192 4685776 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 2719 2424 236 493 0 2224 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20028
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31237504/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=14388 CPUtime=51.07 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 3361 0 0 0 5107 0 0 0 20 0 1 0 281690526 14733312 3254 33554432000 4194304 6212839 140735167449184 140735167447336 4685339 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 3597 3254 236 493 0 3102 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23540
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31226888/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=19424 CPUtime=102.26 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 4632 0 0 0 10226 0 0 0 20 0 1 0 281690526 19890176 4527 33554432000 4194304 6212839 140735167449184 140735167447192 4423520 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 4856 4527 236 493 0 4361 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28576
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31181
/proc/meminfo: memFree=31219192/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=23016 CPUtime=162.23 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 5536 0 0 0 16223 0 0 0 20 0 1 0 281690526 23568384 5394 33554432000 4194304 6212839 140735167449184 140735167447336 4421856 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 5754 5394 236 493 0 5259 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 32168
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31182
/proc/meminfo: memFree=31212984/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=25708 CPUtime=222.22 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 6185 0 0 0 22221 1 0 0 20 0 1 0 281690526 26324992 6084 33554432000 4194304 6212839 140735167449184 140735167447192 4372067 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 6427 6084 236 493 0 5932 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34860
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31182
/proc/meminfo: memFree=31207336/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=28500 CPUtime=282.21 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 6887 0 0 0 28220 1 0 0 20 0 1 0 281690526 29184000 6787 33554432000 4194304 6212839 140735167449184 140735167447336 4685321 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 7125 6787 236 493 0 6630 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 37652
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 31182
/proc/meminfo: memFree=31202992/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=31268 CPUtime=342.19 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 7608 0 0 0 34218 1 0 0 20 0 1 0 281690526 32018432 7494 33554432000 4194304 6212839 140735167449184 140735167447192 4422294 0 0 4096 18946 0 0 0 17 1 0 0 0 0 0
/proc/31160/statm: 7817 7494 236 493 0 7322 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 40420
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 31185
/proc/meminfo: memFree=31198016/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=45008 CPUtime=1062.05 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 10819 0 0 0 106203 2 0 0 20 0 1 0 281690526 46088192 10917 33554432000 4194304 6212839 140735167449184 140735167447336 4411564 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 11252 10917 236 493 0 10757 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 54160
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 31213
/proc/meminfo: memFree=31175132/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=45816 CPUtime=1122.04 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 10980 0 0 0 112202 2 0 0 20 0 1 0 281690526 46915584 11078 33554432000 4194304 6212839 140735167449184 140735167447336 4685291 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 11454 11078 236 493 0 10959 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 54968
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31214
/proc/meminfo: memFree=31174132/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=46432 CPUtime=1182.03 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 11146 0 0 0 118201 2 0 0 20 0 1 0 281690526 47546368 11242 33554432000 4194304 6212839 140735167449184 140735167447480 4685336 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 11608 11242 236 493 0 11113 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 55584
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31214
/proc/meminfo: memFree=31172952/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=46788 CPUtime=1242.02 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 11216 0 0 0 124200 2 0 0 20 0 1 0 281690526 47910912 11377 33554432000 4194304 6212839 140735167449184 140735167447336 4421869 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 11697 11377 236 493 0 11202 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 55940
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31214
/proc/meminfo: memFree=31172828/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=47156 CPUtime=1302.02 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 11265 0 0 0 130200 2 0 0 20 0 1 0 281690526 48287744 11426 33554432000 4194304 6212839 140735167449184 140735167447336 4421867 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 11789 11426 236 493 0 11294 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 56308
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31214
/proc/meminfo: memFree=31171836/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=47624 CPUtime=1362 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 11390 0 0 0 136198 2 0 0 20 0 1 0 281690526 48766976 11551 33554432000 4194304 6212839 140735167449184 140735167447336 4333840 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 11906 11551 236 493 0 11411 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 56776
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 31214
/proc/meminfo: memFree=31170780/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=48440 CPUtime=1422 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 11568 0 0 0 142198 2 0 0 20 0 1 0 281690526 49602560 11787 33554432000 4194304 6212839 140735167449184 140735167447480 4421856 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 12110 11787 236 493 0 11615 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 57592
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 1.96 3/179 31215
/proc/meminfo: memFree=31170160/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=48844 CPUtime=1481.99 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 11743 0 0 0 148196 3 0 0 20 0 1 0 281690526 50016256 11874 33554432000 4194304 6212839 140735167449184 140735167447480 4303934 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 12211 11874 236 493 0 11716 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 57996
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/179 31215
/proc/meminfo: memFree=31169664/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=49564 CPUtime=1541.98 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 11915 0 0 0 154195 3 0 0 20 0 1 0 281690526 50753536 12046 33554432000 4194304 6212839 140735167449184 140735167447336 4424413 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 12391 12046 236 493 0 11896 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 58716
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/180 31218
/proc/meminfo: memFree=31167360/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=50928 CPUtime=1601.97 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 12260 0 0 0 160194 3 0 0 20 0 1 0 281690526 52150272 12391 33554432000 4194304 6212839 140735167449184 140735167447336 4683115 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 12732 12391 236 493 0 12237 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 60080
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 31218
/proc/meminfo: memFree=31167368/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=50928 CPUtime=1661.96 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 12260 0 0 0 166193 3 0 0 20 0 1 0 281690526 52150272 12391 33554432000 4194304 6212839 140735167449184 140735167447336 4674384 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 12732 12391 236 493 0 12237 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 60080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31218
/proc/meminfo: memFree=31166436/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=51492 CPUtime=1721.95 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 12391 0 0 0 172192 3 0 0 20 0 1 0 281690526 52727808 12532 33554432000 4194304 6212839 140735167449184 140735167447336 4685294 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 12873 12532 236 493 0 12378 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 60644
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31219
/proc/meminfo: memFree=31165816/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=51972 CPUtime=1781.94 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 12488 0 0 0 178191 3 0 0 20 0 1 0 281690526 53219328 12629 33554432000 4194304 6212839 140735167449184 140735167447336 4685294 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 12993 12629 236 493 0 12498 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 61124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 31219
/proc/meminfo: memFree=31165320/32873844 swapFree=7624/7624
[pid=31157] ppid=31154 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/31157/stat : 31157 (clasp-opt.sh) S 31154 31157 27402 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281690526 9371648 275 33554432000 4194304 5064252 140734705565264 140734705564176 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31157/statm: 2288 275 232 213 0 73 0
[pid=31160] ppid=31157 vsize=52168 CPUtime=1800.05 cores=1,3,5,7
/proc/31160/stat : 31160 (clasp-R5325) R 31157 31157 27402 0 -1 4202496 12540 0 0 0 180002 3 0 0 20 0 1 0 281690526 53420032 12681 33554432000 4194304 6212839 140735167449184 140735167447336 4685814 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/31160/statm: 13042 12681 236 493 0 12547 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 61320
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.06
CPU user time (s): 1800.02
CPU system time (s): 0.035994
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 61320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.035994
maximum resident set size= 50752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12911
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= 28
involuntary context switches= 5074
runsolver used 2.82057 second user time and 7.00793 second system time
The end