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-3708763-1338161766/watcher-3708763-1338161766 -o /tmp/evaluation-result-3708763-1338161766/solver-3708763-1338161766 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708763-1338161766.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.00 2.00 2.00 4/178 23763
/proc/meminfo: memFree=31058816/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[startup+0.0255089 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23763
/proc/meminfo: memFree=31058816/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100285 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23763
/proc/meminfo: memFree=31058816/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 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.00 2.00 2.00 4/178 23763
/proc/meminfo: memFree=31058816/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 23763
/proc/meminfo: memFree=31058816/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23765
/proc/meminfo: memFree=31038608/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=22392 CPUtime=1.49 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 6308 0 0 0 148 1 0 0 20 0 1 0 282301196 22929408 5136 33554432000 4194304 6212839 140736768687920 140736768686888 4635082 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 5598 5136 232 493 0 5103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31544
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23765
/proc/meminfo: memFree=31037536/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=22392 CPUtime=3.09 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 6313 0 0 0 308 1 0 0 20 0 1 0 282301196 22929408 5176 33554432000 4194304 6212839 140736768687920 140736768686888 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 5598 5176 232 493 0 5103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31544
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23765
/proc/meminfo: memFree=31037536/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=22392 CPUtime=6.29 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 6313 0 0 0 628 1 0 0 20 0 1 0 282301196 22929408 5176 33554432000 4194304 6212839 140736768687920 140736768686888 4635502 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 5598 5176 232 493 0 5103 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31544
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23765
/proc/meminfo: memFree=31037640/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=22392 CPUtime=12.69 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 6314 0 0 0 1268 1 0 0 20 0 1 0 282301196 22929408 5177 33554432000 4194304 6212839 140736768687920 140736768686888 4685433 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 5598 5177 232 493 0 5103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31544
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23765
/proc/meminfo: memFree=31036748/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=23672 CPUtime=25.48 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 6673 0 0 0 2547 1 0 0 20 0 1 0 282301196 24240128 5538 33554432000 4194304 6212839 140736768687920 140736768685928 4372067 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 5918 5538 232 493 0 5423 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32824
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23766
/proc/meminfo: memFree=31032840/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=26840 CPUtime=51.08 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 7450 0 0 0 5107 1 0 0 20 0 1 0 282301196 27484160 6365 33554432000 4194304 6212839 140736768687920 140736768685928 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 6710 6365 232 493 0 6215 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35992
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23766
/proc/meminfo: memFree=31026516/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=32360 CPUtime=102.27 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 8883 0 0 0 10226 1 0 0 20 0 1 0 282301196 33136640 7773 33554432000 4194304 6212839 140736768687920 140736768686072 4634948 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 8090 7773 232 493 0 7595 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41512
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23766
/proc/meminfo: memFree=31023104/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=34776 CPUtime=162.26 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 9437 0 0 0 16224 2 0 0 20 0 1 0 282301196 35610624 8381 33554432000 4194304 6212839 140736768687920 140736768686072 4372067 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 8694 8381 232 493 0 8199 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 43928
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23766
/proc/meminfo: memFree=31018572/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=38376 CPUtime=222.25 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 10351 0 0 0 22223 2 0 0 20 0 1 0 282301196 39297024 9260 33554432000 4194304 6212839 140736768687920 140736768686072 4635078 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 9594 9260 232 493 0 9099 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 47528
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 23769
/proc/meminfo: memFree=31017200/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=39556 CPUtime=282.24 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 10632 0 0 0 28222 2 0 0 20 0 1 0 282301196 40505344 9541 33554432000 4194304 6212839 140736768687920 140736768686072 4744756 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 9889 9541 232 493 0 9394 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 48708
[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 23769
/proc/meminfo: memFree=31013856/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=42836 CPUtime=342.23 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 11485 0 0 0 34220 3 0 0 20 0 1 0 282301196 43864064 10370 33554432000 4194304 6212839 140736768687920 140736768686072 4705085 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 10709 10370 232 493 0 10214 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 51988
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 23770
/proc/meminfo: memFree=31013484/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=64548 CPUtime=1122.1 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 16972 0 0 0 112206 4 0 0 20 0 1 0 282301196 66097152 15741 33554432000 4194304 6212839 140736768687920 140736768685928 4685264 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 16137 15741 232 493 0 15642 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 73700
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 23775
/proc/meminfo: memFree=30990772/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=64992 CPUtime=1182.1 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 17104 0 0 0 118206 4 0 0 20 0 1 0 282301196 66551808 15908 33554432000 4194304 6212839 140736768687920 140736768686072 4744744 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 16248 15908 232 493 0 15753 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 74144
[startup+1242.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 23775
/proc/meminfo: memFree=30990024/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=65540 CPUtime=1242.09 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 17225 0 0 0 124205 4 0 0 20 0 1 0 282301196 67112960 16029 33554432000 4194304 6212839 140736768687920 140736768686072 4685736 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 16385 16029 232 493 0 15890 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 74692
[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 23776
/proc/meminfo: memFree=30989032/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=66296 CPUtime=1302.08 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 17455 0 0 0 130204 4 0 0 20 0 1 0 282301196 67887104 16195 33554432000 4194304 6212839 140736768687920 140736768685944 4298110 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 16574 16195 232 493 0 16079 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 75448
[startup+1362.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 23776
/proc/meminfo: memFree=30987232/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=67752 CPUtime=1362.07 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 17850 0 0 0 136203 4 0 0 20 0 1 0 282301196 69378048 16638 33554432000 4194304 6212839 140736768687920 140736768685928 4674908 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 16938 16638 232 493 0 16443 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 76904
[startup+1422.31 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 23776
/proc/meminfo: memFree=30987232/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=67908 CPUtime=1422.06 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 17876 0 0 0 142202 4 0 0 20 0 1 0 282301196 69537792 16664 33554432000 4194304 6212839 140736768687920 140736768686072 4705135 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 16977 16664 232 493 0 16482 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 77060
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/180 23779
/proc/meminfo: memFree=30985984/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=68868 CPUtime=1482.05 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 18158 0 0 0 148201 4 0 0 20 0 1 0 282301196 70520832 16881 33554432000 4194304 6212839 140736768687920 140736768685944 4685328 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 17217 16881 232 493 0 16722 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 78020
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/180 23802
/proc/meminfo: memFree=30982632/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=71936 CPUtime=1542.04 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 18951 0 0 0 154199 5 0 0 20 0 1 0 282301196 73662464 17679 33554432000 4194304 6212839 140736768687920 140736768686072 4685333 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 17984 17679 232 493 0 17489 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 81088
[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/179 23803
/proc/meminfo: memFree=30981772/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=72596 CPUtime=1602.03 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 19106 0 0 0 160198 5 0 0 20 0 1 0 282301196 74338304 17839 33554432000 4194304 6212839 140736768687920 140736768686072 4634960 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 18149 17839 232 493 0 17654 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 81748
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 23803
/proc/meminfo: memFree=30981212/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=73024 CPUtime=1662.03 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 19190 0 0 0 166198 5 0 0 20 0 1 0 282301196 74776576 17923 33554432000 4194304 6212839 140736768687920 140736768686072 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 18256 17923 232 493 0 17761 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 82176
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 23803
/proc/meminfo: memFree=30978484/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=76060 CPUtime=1722.01 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 19976 0 0 0 172196 5 0 0 20 0 1 0 282301196 77885440 18644 33554432000 4194304 6212839 140736768687920 140736768686072 4685365 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 19015 18644 232 493 0 18520 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 85212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23843
/proc/meminfo: memFree=30794308/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=76544 CPUtime=1782 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 20108 0 0 0 178195 5 0 0 20 0 1 0 282301196 78381056 18787 33554432000 4194304 6212839 140736768687920 140736768686072 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 19136 18787 232 493 0 18641 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 85696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 23843
/proc/meminfo: memFree=30793888/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=78128 CPUtime=1800.01 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 20489 0 0 0 179996 5 0 0 20 0 1 0 282301196 80003072 19168 33554432000 4194304 6212839 140736768687920 140736768685928 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 19532 19168 232 493 0 19037 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 87280
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 23843
/proc/meminfo: memFree=30793888/32873844 swapFree=7900/7900
[pid=23763] ppid=23761 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23763/stat : 23763 (clasp-dec.sh) S 23761 23763 21914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282301196 9371648 275 33554432000 4194304 5064252 140734169511824 140734169510736 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23763/statm: 2288 275 232 213 0 73 0
[pid=23764] ppid=23763 vsize=78128 CPUtime=1800.01 cores=0,2,4,6
/proc/23764/stat : 23764 (clasp-R5325) R 23763 23763 21914 0 -1 4202496 20489 0 0 0 179996 5 0 0 20 0 1 0 282301196 80003072 19168 33554432000 4194304 6212839 140736768687920 140736768685928 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23764/statm: 19532 19168 232 493 0 19037 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 87280
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.96
CPU system time (s): 0.05999
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 87280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.05999
maximum resident set size= 76712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20864
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= 37
involuntary context switches= 1969
runsolver used 2.85656 second user time and 6.97094 second system time
The end