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-3709105-1338158580/watcher-3709105-1338158580 -o /tmp/evaluation-result-3709105-1338158580/solver-3709105-1338158580 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709105-1338158580.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.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[startup+0.0437141 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100229 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300187 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700191 s]
/proc/loadavg: 2.03 2.05 1.98 3/177 18047
/proc/meminfo: memFree=28782752/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50024 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28746708/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=41032 CPUtime=1.49 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 10231 0 0 0 148 1 0 0 20 0 1 0 281984000 42016768 9923 33554432000 4194304 6212839 140736371621344 140736371619352 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 10258 9923 234 493 0 9763 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 50184
[startup+3.10027 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28712460/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=51008 CPUtime=3.09 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 12739 0 0 0 308 1 0 0 20 0 1 0 281984000 52232192 12431 33554432000 4194304 6212839 140736371621344 140736371619352 4333845 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 12752 12431 234 493 0 12257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60160
[startup+6.30026 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28682000/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=64672 CPUtime=6.28 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 16145 0 0 0 626 2 0 0 20 0 1 0 281984000 66224128 15837 33554432000 4194304 6212839 140736371621344 140736371619352 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 16168 15837 234 493 0 15673 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73824
[startup+12.7002 s]
/proc/loadavg: 2.02 2.05 1.98 3/179 18089
/proc/meminfo: memFree=28650344/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=77848 CPUtime=12.68 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 19426 0 0 0 1265 3 0 0 20 0 1 0 281984000 79716352 19118 33554432000 4194304 6212839 140736371621344 140736371619352 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 19462 19118 234 493 0 18967 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87000
[startup+25.5002 s]
/proc/loadavg: 2.09 2.06 1.98 3/179 18089
/proc/meminfo: memFree=28606192/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=95260 CPUtime=25.47 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 23783 0 0 0 2543 4 0 0 20 0 1 0 281984000 97546240 23459 33554432000 4194304 6212839 140736371621344 140736371619352 4705130 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 23815 23459 234 493 0 23320 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 104412
[startup+51.1003 s]
/proc/loadavg: 2.06 2.05 1.98 3/179 18090
/proc/meminfo: memFree=28553096/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=122260 CPUtime=51.05 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 30528 0 0 0 5100 5 0 0 20 0 1 0 281984000 125194240 30206 33554432000 4194304 6212839 140736371621344 140736371619352 4705100 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 30565 30206 234 493 0 30070 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 131412
[startup+102.306 s]
/proc/loadavg: 2.08 2.06 1.99 3/179 18090
/proc/meminfo: memFree=28503340/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=147256 CPUtime=102.22 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 36805 0 0 0 10215 7 0 0 20 0 1 0 281984000 150790144 36506 33554432000 4194304 6212839 140736371621344 140736371619352 4333806 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 36814 36506 234 493 0 36319 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 156408
[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/178 18090
/proc/meminfo: memFree=28458628/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=168556 CPUtime=162.21 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 42112 0 0 0 16213 8 0 0 20 0 1 0 281984000 172601344 41813 33554432000 4194304 6212839 140736371621344 140736371619352 4334696 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 42139 41813 234 493 0 41644 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 177708
[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/179 18091
/proc/meminfo: memFree=28415580/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=190516 CPUtime=222.2 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 47633 0 0 0 22211 9 0 0 20 0 1 0 281984000 195088384 47101 33554432000 4194304 6212839 140736371621344 140736371619352 4411578 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 47629 47101 234 493 0 47134 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 199668
[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/179 18091
/proc/meminfo: memFree=28368956/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=212236 CPUtime=282.18 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 53153 0 0 0 28208 10 0 0 20 0 1 0 281984000 217329664 52352 33554432000 4194304 6212839 140736371621344 140736371619352 4674276 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 53059 52352 234 493 0 52564 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 221388
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 18091
/proc/meminfo: memFree=28356064/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=216488 CPUtime=342.15 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 54247 0 0 0 34205 10 0 0 20 0 1 0 281984000 221683712 53751 33554432000 4194304 6212839 140736371621344 140736371619352 4685484 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 54122 53751 234 493 0 53627 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 225640
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 18092
/proc/meminfo: memFree=28344336/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=318936 CPUtime=1121.99 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 81518 0 0 0 112184 15 0 0 20 0 1 0 281984000 326590464 79284 33554432000 4194304 6212839 140736371621344 140736371619352 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 79734 79284 234 493 0 79239 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 328088
[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 18123
/proc/meminfo: memFree=28143080/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=319128 CPUtime=1181.99 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 82106 0 0 0 118183 16 0 0 20 0 1 0 281984000 326787072 79327 33554432000 4194304 6212839 140736371621344 140736371619352 4685365 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 79782 79327 234 493 0 79287 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 328280
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18123
/proc/meminfo: memFree=28130768/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=324144 CPUtime=1241.98 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 83371 0 0 0 124182 16 0 0 20 0 1 0 281984000 331923456 80592 33554432000 4194304 6212839 140736371621344 140736371619352 4411578 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 81036 80592 234 493 0 80541 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 333296
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 18124
/proc/meminfo: memFree=28122692/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=325220 CPUtime=1301.98 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 84451 0 0 0 130182 16 0 0 20 0 1 0 281984000 333025280 80861 33554432000 4194304 6212839 140736371621344 140736371619352 4298129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 81305 80861 234 493 0 80810 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 334372
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 18124
/proc/meminfo: memFree=28116000/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=331468 CPUtime=1361.96 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 86287 0 0 0 136180 16 0 0 20 0 1 0 281984000 339423232 82356 33554432000 4194304 6212839 140736371621344 140736371619352 4685264 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 82867 82356 234 493 0 82372 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 340620
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 18124
/proc/meminfo: memFree=28104344/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=332016 CPUtime=1421.96 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 86797 0 0 0 142179 17 0 0 20 0 1 0 281984000 339984384 82477 33554432000 4194304 6212839 140736371621344 140736371619352 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 83004 82477 234 493 0 82509 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 341168
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18124
/proc/meminfo: memFree=28101468/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=334416 CPUtime=1481.94 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 87594 0 0 0 148177 17 0 0 20 0 1 0 281984000 342441984 83160 33554432000 4194304 6212839 140736371621344 140736371619352 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 83604 83160 234 493 0 83109 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 343568
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18124
/proc/meminfo: memFree=28066996/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=354388 CPUtime=1541.93 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 93073 0 0 0 154175 18 0 0 20 0 1 0 281984000 362893312 88148 33554432000 4194304 6212839 140736371621344 140736371619352 4308147 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 88597 88148 234 493 0 88102 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 363540
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18125
/proc/meminfo: memFree=28066996/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=353080 CPUtime=1601.92 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 93312 0 0 0 160174 18 0 0 20 0 1 0 281984000 361553920 87877 33554432000 4194304 6212839 140736371621344 140736371619352 4705165 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 88270 87877 234 493 0 87775 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 362232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18128
/proc/meminfo: memFree=28061832/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=355976 CPUtime=1661.91 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 93996 0 0 0 166173 18 0 0 20 0 1 0 281984000 364519424 88561 33554432000 4194304 6212839 140736371621344 140736371619352 4298171 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 88994 88561 234 493 0 88499 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 365128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28053184/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=357792 CPUtime=1721.9 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 94658 0 0 0 172172 18 0 0 20 0 1 0 281984000 366379008 89001 33554432000 4194304 6212839 140736371621344 140736371619352 4312282 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89448 89001 234 493 0 88953 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 366944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28050580/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=359508 CPUtime=1781.89 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 95089 0 0 0 178171 18 0 0 20 0 1 0 281984000 368136192 89432 33554432000 4194304 6212839 140736371621344 140736371619352 4685283 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89877 89432 234 493 0 89382 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 368660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28048472/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=359192 CPUtime=1800.09 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 95231 0 0 0 179991 18 0 0 20 0 1 0 281984000 367812608 89381 33554432000 4194304 6212839 140736371621344 140736371619640 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89798 89381 234 493 0 89303 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 368344
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18128
/proc/meminfo: memFree=28048472/32873648 swapFree=7372/7372
[pid=18047] ppid=18045 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18047/stat : 18047 (clasp-opt.sh) S 18045 18047 17700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281983999 9371648 275 33554432000 4194304 5064252 140735814268848 140735814267760 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18047/statm: 2288 275 232 213 0 73 0
[pid=18048] ppid=18047 vsize=359192 CPUtime=1800.09 cores=1,3,5,7
/proc/18048/stat : 18048 (clasp-R5325) R 18047 18047 17700 0 -1 4202496 95231 0 0 0 179991 18 0 0 20 0 1 0 281984000 367812608 89381 33554432000 4194304 6212839 140736371621344 140736371619640 4333776 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18048/statm: 89798 89381 234 493 0 89303 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 368344
Child status: 10
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.92
CPU system time (s): 0.19097
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 369188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.19097
maximum resident set size= 358296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95603
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= 158
involuntary context switches= 1848
runsolver used 2.73758 second user time and 7.2419 second system time
The end