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-3709167-1338161973/watcher-3709167-1338161973 -o /tmp/evaluation-result-3709167-1338161973/solver-3709167-1338161973 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709167-1338161973.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: 1.92 1.98 1.99 3/179 25809
/proc/meminfo: memFree=29375032/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[startup+0.019928 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 25809
/proc/meminfo: memFree=29375032/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/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: 1.92 1.98 1.99 3/179 25809
/proc/meminfo: memFree=29375032/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/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: 1.92 1.98 1.99 3/179 25809
/proc/meminfo: memFree=29375032/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 25809
/proc/meminfo: memFree=29375032/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 25811
/proc/meminfo: memFree=29340900/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=37440 CPUtime=1.48 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 9108 0 0 0 147 1 0 0 20 0 1 0 282322121 38338560 8806 33554432000 4194304 6212839 140735322968736 140735322966760 4744436 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25810/statm: 9360 8806 227 493 0 8865 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 46592
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 25811
/proc/meminfo: memFree=29338296/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=41140 CPUtime=3.09 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 9875 0 0 0 307 2 0 0 20 0 1 0 282322121 42127360 9573 33554432000 4194304 6212839 140735322968736 140735322966760 4737658 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25810/statm: 10285 9573 228 493 0 9790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50292
[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 25811
/proc/meminfo: memFree=29335328/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=43728 CPUtime=6.29 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 10428 0 0 0 627 2 0 0 20 0 1 0 282322121 44777472 10126 33554432000 4194304 6212839 140735322968736 140735322966760 4739388 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25810/statm: 10932 10126 228 493 0 10437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52880
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 25812
/proc/meminfo: memFree=29332384/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=45204 CPUtime=12.69 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 10794 0 0 0 1267 2 0 0 20 0 1 0 282322121 46288896 10492 33554432000 4194304 6212839 140735322968736 140735322966760 4737667 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25810/statm: 11301 10492 229 493 0 10806 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54356
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 25812
/proc/meminfo: memFree=29331036/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=46020 CPUtime=25.48 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 11029 0 0 0 2546 2 0 0 20 0 1 0 282322121 47124480 10727 33554432000 4194304 6212839 140735322968736 140735322966760 4744397 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/25810/statm: 11505 10727 229 493 0 11010 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55172
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/182 25815
/proc/meminfo: memFree=29327680/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=47060 CPUtime=51.08 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 11245 0 0 0 5106 2 0 0 20 0 1 0 282322121 48189440 10943 33554432000 4194304 6212839 140735322968736 140735322966760 4744758 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 11765 10943 229 493 0 11270 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56212
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 25815
/proc/meminfo: memFree=29318760/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=49148 CPUtime=102.28 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 11738 0 0 0 10226 2 0 0 20 0 1 0 282322121 50327552 11436 33554432000 4194304 6212839 140735322968736 140735322966760 4739325 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 12287 11436 229 493 0 11792 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 58300
[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/181 25894
/proc/meminfo: memFree=29755820/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=50716 CPUtime=162.25 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 12083 0 0 0 16223 2 0 0 20 0 1 0 282322121 51933184 12312 33554432000 4194304 6212839 140735322968736 140735322966760 4737378 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 12679 12312 229 493 0 12184 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 59868
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 25894
/proc/meminfo: memFree=29748976/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=52936 CPUtime=222.24 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 12486 0 0 0 22222 2 0 0 20 0 1 0 282322121 54206464 12822 33554432000 4194304 6212839 140735322968736 140735322966760 4670461 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 13234 12822 229 493 0 12739 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 62088
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25894
/proc/meminfo: memFree=29746364/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=54092 CPUtime=282.23 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 12709 0 0 0 28221 2 0 0 20 0 1 0 282322121 55390208 13045 33554432000 4194304 6212839 140735322968736 140735322966760 4739408 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 13523 13045 229 493 0 13028 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 63244
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25895
/proc/meminfo: memFree=29744688/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=55260 CPUtime=342.22 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 12929 0 0 0 34220 2 0 0 20 0 1 0 282322121 56586240 13265 33554432000 4194304 6212839 140735322968736 140735322966760 4744436 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 13815 13265 229 493 0 13320 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 64412
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 25895
/proc/meminfo: memFree=29743260/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=61336 CPUtime=1122.1 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14077 0 0 0 112207 3 0 0 20 0 1 0 282322121 62808064 14925 33554432000 4194304 6212839 140735322968736 140735322966760 4686038 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15334 14925 229 493 0 14839 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 70488
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 25900
/proc/meminfo: memFree=29736556/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=61336 CPUtime=1182.09 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14077 0 0 0 118206 3 0 0 20 0 1 0 282322121 62808064 14925 33554432000 4194304 6212839 140735322968736 140735322966760 4739499 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15334 14925 229 493 0 14839 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 70488
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 25904
/proc/meminfo: memFree=29736416/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=61336 CPUtime=1242.08 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14077 0 0 0 124205 3 0 0 20 0 1 0 282322121 62808064 14925 33554432000 4194304 6212839 140735322968736 140735322966760 4744436 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15334 14925 229 493 0 14839 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 70488
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 25927
/proc/meminfo: memFree=29736424/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=61336 CPUtime=1302.08 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14097 0 0 0 130205 3 0 0 20 0 1 0 282322121 62808064 14945 33554432000 4194304 6212839 140735322968736 140735322966760 4686038 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15334 14945 229 493 0 14839 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 70488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25927
/proc/meminfo: memFree=29736060/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=61676 CPUtime=1362.06 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14148 0 0 0 136203 3 0 0 20 0 1 0 282322121 63156224 14996 33554432000 4194304 6212839 140735322968736 140735322966888 4661900 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15419 14996 229 493 0 14924 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 70828
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25927
/proc/meminfo: memFree=29735812/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=61924 CPUtime=1422.06 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14190 0 0 0 142203 3 0 0 20 0 1 0 282322121 63410176 15038 33554432000 4194304 6212839 140735322968736 140735322966760 4737627 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15481 15038 229 493 0 14986 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 71076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25927
/proc/meminfo: memFree=29735440/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=62128 CPUtime=1482.04 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14230 0 0 0 148201 3 0 0 20 0 1 0 282322121 63619072 15078 33554432000 4194304 6212839 140735322968736 140735322966760 4744744 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15532 15078 229 493 0 15037 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 71280
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25928
/proc/meminfo: memFree=29735068/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=62128 CPUtime=1542.03 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14230 0 0 0 154200 3 0 0 20 0 1 0 282322121 63619072 15078 33554432000 4194304 6212839 140735322968736 140735322966760 4737363 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15532 15078 229 493 0 15037 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 71280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25928
/proc/meminfo: memFree=29734820/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=62128 CPUtime=1602.03 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14230 0 0 0 160200 3 0 0 20 0 1 0 282322121 63619072 15078 33554432000 4194304 6212839 140735322968736 140735322966760 4670454 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15532 15078 229 493 0 15037 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 71280
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 25928
/proc/meminfo: memFree=29733764/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=62468 CPUtime=1662.02 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14300 0 0 0 166199 3 0 0 20 0 1 0 282322121 63967232 15148 33554432000 4194304 6212839 140735322968736 140735322966760 4744415 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15617 15148 229 493 0 15122 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 71620
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25928
/proc/meminfo: memFree=29732956/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=62468 CPUtime=1722.01 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14323 0 0 0 172198 3 0 0 20 0 1 0 282322121 63967232 15292 33554432000 4194304 6212839 140735322968736 140735322966760 4686038 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15617 15292 229 493 0 15122 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 71620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25928
/proc/meminfo: memFree=29732832/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=62676 CPUtime=1782 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14357 0 0 0 178197 3 0 0 20 0 1 0 282322121 64180224 15326 33554432000 4194304 6212839 140735322968736 140735322966888 4744436 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15669 15326 229 493 0 15174 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 71828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25928
/proc/meminfo: memFree=29732336/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=63016 CPUtime=1800 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14442 0 0 0 179997 3 0 0 20 0 1 0 282322121 64528384 15411 33554432000 4194304 6212839 140735322968736 140735322966888 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15754 15411 229 493 0 15259 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 72168
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.00 2.00 2.00 3/181 25928
/proc/meminfo: memFree=29732336/32873844 swapFree=7372/7372
[pid=25809] ppid=25807 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/25809/stat : 25809 (clasp-opt.sh) S 25807 25809 24451 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282322120 9371648 275 33554432000 4194304 5064252 140737409353328 140737409352240 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25809/statm: 2288 275 232 213 0 73 0
[pid=25810] ppid=25809 vsize=63016 CPUtime=1800 cores=0,2,4,6
/proc/25810/stat : 25810 (clasp-R5325) R 25809 25809 24451 0 -1 4202496 14442 0 0 0 179997 3 0 0 20 0 1 0 282322121 64528384 15411 33554432000 4194304 6212839 140735322968736 140735322966888 4634964 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/25810/statm: 15754 15411 229 493 0 15259 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 72168
Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.040993
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 72168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.040993
maximum resident set size= 61688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14818
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= 26
involuntary context switches= 1977
runsolver used 2.99754 second user time and 9.2066 second system time
The end