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-3709062-1338146431/watcher-3709062-1338146431 -o /tmp/evaluation-result-3709062-1338146431/solver-3709062-1338146431 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709062-1338146431.opb
running on 4 cores: 0,2,4,6
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.02 2.01 1.93 3/178 23825
/proc/meminfo: memFree=31490704/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[startup+0.100764 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23825
/proc/meminfo: memFree=31490704/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.200276 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23825
/proc/meminfo: memFree=31490704/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300261 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23825
/proc/meminfo: memFree=31490704/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700245 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 23825
/proc/meminfo: memFree=31490704/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50028 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 23867
/proc/meminfo: memFree=31496840/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=6272 CPUtime=1.49 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 1292 0 0 0 149 0 0 0 20 0 1 0 280769847 6422528 1241 33554432000 4194304 6212839 140734742276400 140734742274408 4743928 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 1568 1241 232 493 0 1073 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15424
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 1.93 3/180 23867
/proc/meminfo: memFree=31493632/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=7184 CPUtime=3.09 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 1527 0 0 0 309 0 0 0 20 0 1 0 280769847 7356416 1476 33554432000 4194304 6212839 140734742276400 140734742274408 4681518 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 1796 1476 232 493 0 1301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16336
[startup+6.30028 s]
/proc/loadavg: 2.01 2.01 1.93 3/180 23867
/proc/meminfo: memFree=31490096/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=8740 CPUtime=6.29 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 1917 0 0 0 629 0 0 0 20 0 1 0 280769847 8949760 1866 33554432000 4194304 6212839 140734742276400 140734742274808 4686044 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 2185 1866 232 493 0 1690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17892
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.93 3/180 23867
/proc/meminfo: memFree=31483916/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=10732 CPUtime=12.69 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 2407 0 0 0 1269 0 0 0 20 0 1 0 280769847 10989568 2353 33554432000 4194304 6212839 140734742276400 140734742274408 4743867 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 2683 2353 232 493 0 2188 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19884
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.93 3/180 23867
/proc/meminfo: memFree=31479504/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=12692 CPUtime=25.48 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 2917 0 0 0 2548 0 0 0 20 0 1 0 280769847 12996608 2866 33554432000 4194304 6212839 140734742276400 140734742274696 4676492 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 3173 2866 232 493 0 2678 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21844
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23867
/proc/meminfo: memFree=31473420/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=15956 CPUtime=51.08 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 3724 0 0 0 5108 0 0 0 20 0 1 0 280769847 16338944 3663 33554432000 4194304 6212839 140734742276400 140734742274552 4676401 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 3989 3663 232 493 0 3494 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25108
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23867
/proc/meminfo: memFree=31465384/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=20104 CPUtime=102.27 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 4848 0 0 0 10227 0 0 0 20 0 1 0 280769847 20586496 4708 33554432000 4194304 6212839 140734742276400 140734742274408 4298160 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 5026 4708 232 493 0 4531 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29256
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23868
/proc/meminfo: memFree=31458860/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=22892 CPUtime=162.25 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 5535 0 0 0 16225 0 0 0 20 0 1 0 280769847 23441408 5420 33554432000 4194304 6212839 140734742276400 140734742274696 4298171 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 5723 5420 232 493 0 5228 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32044
[startup+222.307 s]
/proc/loadavg: 2.06 2.01 1.93 3/179 23868
/proc/meminfo: memFree=31453876/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=25356 CPUtime=222.25 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 6120 0 0 0 22224 1 0 0 20 0 1 0 280769847 25964544 5996 33554432000 4194304 6212839 140734742276400 140734742274408 4333789 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 6339 5996 232 493 0 5844 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34508
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 23868
/proc/meminfo: memFree=31450948/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=26892 CPUtime=282.24 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 6475 0 0 0 28223 1 0 0 20 0 1 0 280769847 27537408 6365 33554432000 4194304 6212839 140734742276400 140734742274696 4743871 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 6723 6365 232 493 0 6228 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 36044
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23868
/proc/meminfo: memFree=31446324/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=29252 CPUtime=342.23 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 7050 0 0 0 34222 1 0 0 20 0 1 0 280769847 29954048 6972 33554432000 4194304 6212839 140734742276400 140734742274552 4674907 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 7313 6972 232 493 0 6818 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 38404
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23868
/proc/meminfo: memFree=31442996/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=39248 CPUtime=1062.11 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 9499 0 0 0 106209 2 0 0 20 0 1 0 280769847 40189952 9446 33554432000 4194304 6212839 140734742276400 140734742274552 4744827 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 9812 9446 232 493 0 9317 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 48400
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23875
/proc/meminfo: memFree=31424780/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=39832 CPUtime=1122.1 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 9650 0 0 0 112208 2 0 0 20 0 1 0 280769847 40787968 9638 33554432000 4194304 6212839 140734742276400 140734742274552 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 9958 9638 232 493 0 9463 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 48984
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 23878
/proc/meminfo: memFree=31423380/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=40648 CPUtime=1182.09 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 9798 0 0 0 118207 2 0 0 20 0 1 0 280769847 41623552 9786 33554432000 4194304 6212839 140734742276400 140734742274552 4683117 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10162 9786 232 493 0 9667 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 49800
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 23878
/proc/meminfo: memFree=31423300/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=40648 CPUtime=1242.08 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 9815 0 0 0 124206 2 0 0 20 0 1 0 280769847 41623552 9803 33554432000 4194304 6212839 140734742276400 140734742274552 4685484 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10162 9803 232 493 0 9667 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 49800
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 23878
/proc/meminfo: memFree=31422928/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=40788 CPUtime=1302.08 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 9853 0 0 0 130206 2 0 0 20 0 1 0 280769847 41766912 9841 33554432000 4194304 6212839 140734742276400 140734742274552 4743836 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10197 9841 232 493 0 9702 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 49940
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/179 23879
/proc/meminfo: memFree=31422680/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=41128 CPUtime=1362.07 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 9901 0 0 0 136205 2 0 0 20 0 1 0 280769847 42115072 9889 33554432000 4194304 6212839 140734742276400 140734742274552 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10282 9889 232 493 0 9787 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 50280
[startup+1422.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/179 23879
/proc/meminfo: memFree=31421752/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=41556 CPUtime=1422.06 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10002 0 0 0 142204 2 0 0 20 0 1 0 280769847 42553344 9990 33554432000 4194304 6212839 140734742276400 140734742274552 4743696 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10389 9990 232 493 0 9894 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 50708
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/179 23879
/proc/meminfo: memFree=31421040/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=41808 CPUtime=1482.05 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10082 0 0 0 148203 2 0 0 20 0 1 0 280769847 42811392 10153 33554432000 4194304 6212839 140734742276400 140734742274696 4307907 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10452 10153 232 493 0 9957 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 50960
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 1.96 3/179 23879
/proc/meminfo: memFree=31420420/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=42316 CPUtime=1542.04 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10191 0 0 0 154202 2 0 0 20 0 1 0 280769847 43331584 10262 33554432000 4194304 6212839 140734742276400 140734742274696 4298171 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10579 10262 232 493 0 10084 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 51468
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/179 23879
/proc/meminfo: memFree=31419924/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=42316 CPUtime=1602.03 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10193 0 0 0 160201 2 0 0 20 0 1 0 280769847 43331584 10264 33554432000 4194304 6212839 140734742276400 140734742274696 4743727 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10579 10264 232 493 0 10084 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 51468
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23879
/proc/meminfo: memFree=31419680/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=42488 CPUtime=1662.02 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10207 0 0 0 166200 2 0 0 20 0 1 0 280769847 43507712 10278 33554432000 4194304 6212839 140734742276400 140734742274552 5484397 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10622 10278 232 493 0 10127 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 51640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 23880
/proc/meminfo: memFree=31419432/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=42936 CPUtime=1722.01 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10296 0 0 0 172199 2 0 0 20 0 1 0 280769847 43966464 10367 33554432000 4194304 6212839 140734742276400 140734742274552 4421933 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10734 10367 232 493 0 10239 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 52088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 23883
/proc/meminfo: memFree=31417480/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=43096 CPUtime=1782 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10380 0 0 0 178198 2 0 0 20 0 1 0 280769847 44130304 10437 33554432000 4194304 6212839 140734742276400 140734742274696 4743898 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10774 10437 232 493 0 10279 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 52248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 23883
/proc/meminfo: memFree=31417752/32873648 swapFree=6852/6852
[pid=23825] ppid=23823 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23825/stat : 23825 (clasp-opt.sh) S 23823 23825 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280769847 9371648 274 33554432000 4194304 5064252 140735713747856 140735713746768 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23825/statm: 2288 274 232 213 0 73 0
[pid=23826] ppid=23825 vsize=43096 CPUtime=1800 cores=0,2,4,6
/proc/23826/stat : 23826 (clasp-R5325) R 23825 23825 9266 0 -1 4202496 10380 0 0 0 179998 2 0 0 20 0 1 0 280769847 44130304 10437 33554432000 4194304 6212839 140734742276400 140734742274696 4683129 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23826/statm: 10774 10437 232 493 0 10279 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 52248
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.31
CPU time (s): 1800.01
CPU user time (s): 1799.99
CPU system time (s): 0.023996
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 52320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.023996
maximum resident set size= 41804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10751
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= 24
involuntary context switches= 1975
runsolver used 3.18052 second user time and 7.8698 second system time
The end