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-3708805-1338164615/watcher-3708805-1338164615 -o /tmp/evaluation-result-3708805-1338164615/solver-3708805-1338164615 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708805-1338164615.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14365
/proc/meminfo: memFree=28938644/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[startup+0.032652 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14365
/proc/meminfo: memFree=28938644/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14365
/proc/meminfo: memFree=28938644/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14365
/proc/meminfo: memFree=28938644/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/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.00 2.00 2.00 3/177 14365
/proc/meminfo: memFree=28938644/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14367
/proc/meminfo: memFree=28910760/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=29668 CPUtime=1.49 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 8344 0 0 0 147 2 0 0 20 0 1 0 282587019 30380032 7002 33554432000 4194304 6212839 140735508765376 140735508764344 4635113 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 7417 7002 232 493 0 6922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38820
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14367
/proc/meminfo: memFree=28910620/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=29668 CPUtime=3.09 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 8344 0 0 0 307 2 0 0 20 0 1 0 282587019 30380032 7002 33554432000 4194304 6212839 140735508765376 140735508764344 4635099 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 7417 7002 232 493 0 6922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38820
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14367
/proc/meminfo: memFree=28910496/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=30072 CPUtime=6.29 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 8449 0 0 0 627 2 0 0 20 0 1 0 282587019 30793728 7107 33554432000 4194304 6212839 140735508765376 140735508763384 4685303 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 7518 7107 232 493 0 7023 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39224
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14367
/proc/meminfo: memFree=28906924/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=33508 CPUtime=12.69 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 9286 0 0 0 1267 2 0 0 20 0 1 0 282587019 34312192 7944 33554432000 4194304 6212839 140735508765376 140735508763400 4686056 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 8377 7944 232 493 0 7882 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42660
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14367
/proc/meminfo: memFree=28903148/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=37404 CPUtime=25.48 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 10227 0 0 0 2546 2 0 0 20 0 1 0 282587019 38301696 8881 33554432000 4194304 6212839 140735508765376 140735508763400 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 9351 8881 232 493 0 8856 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46556
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14407
/proc/meminfo: memFree=28955472/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=41308 CPUtime=51.07 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 11142 0 0 0 5104 3 0 0 20 0 1 0 282587019 42299392 9814 33554432000 4194304 6212839 140735508765376 140735508763528 4674574 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 10327 9814 232 493 0 9832 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50460
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14408
/proc/meminfo: memFree=28936220/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=48768 CPUtime=102.26 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 12975 0 0 0 10223 3 0 0 20 0 1 0 282587019 49938432 11736 33554432000 4194304 6212839 140735508765376 140735508763400 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 12192 11736 232 493 0 11697 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 57920
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14408
/proc/meminfo: memFree=28925728/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=53124 CPUtime=162.24 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 13923 0 0 0 16221 3 0 0 20 0 1 0 282587019 54398976 12766 33554432000 4194304 6212839 140735508765376 140735508763400 4298163 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 13281 12766 232 493 0 12786 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 62276
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 14408
/proc/meminfo: memFree=28918032/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=55536 CPUtime=222.24 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 14551 0 0 0 22220 4 0 0 20 0 1 0 282587019 56868864 13416 33554432000 4194304 6212839 140735508765376 140735508763400 4737416 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 13884 13416 232 493 0 13389 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 64688
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14408
/proc/meminfo: memFree=28908288/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=61448 CPUtime=282.23 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 15958 0 0 0 28218 5 0 0 20 0 1 0 282587019 62922752 14876 33554432000 4194304 6212839 140735508765376 140735508763400 4661886 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 15362 14876 232 493 0 14867 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 70600
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 14408
/proc/meminfo: memFree=28902948/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=63804 CPUtime=342.21 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 16612 0 0 0 34216 5 0 0 20 0 1 0 282587019 65335296 15544 33554432000 4194304 6212839 140735508765376 140735508763528 4635099 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 15951 15544 232 493 0 15456 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 72956
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 14412
/proc/meminfo: memFree=28898596/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=88592 CPUtime=1062.1 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 22524 0 0 0 106203 7 0 0 20 0 1 0 282587019 90718208 21732 33554432000 4194304 6212839 140735508765376 140735508763528 4737378 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 22148 21732 232 493 0 21653 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 97744
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14456
/proc/meminfo: memFree=28861000/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=90124 CPUtime=1122.09 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 22929 0 0 0 112202 7 0 0 20 0 1 0 282587019 92286976 22048 33554432000 4194304 6212839 140735508765376 140735508763400 4357096 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 22531 22048 232 493 0 22036 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 99276
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14456
/proc/meminfo: memFree=28858516/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=91628 CPUtime=1182.08 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 23279 0 0 0 118201 7 0 0 20 0 1 0 282587019 93827072 22456 33554432000 4194304 6212839 140735508765376 140735508763400 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 22907 22456 232 493 0 22412 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 100780
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14456
/proc/meminfo: memFree=28849272/32873844 swapFree=7388/7388
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=97444 CPUtime=1242.07 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 24794 0 0 0 124200 7 0 0 20 0 1 0 282587019 99782656 23935 33554432000 4194304 6212839 140735508765376 140735508763528 4685449 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 24361 23935 232 493 0 23866 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 106596
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14456
/proc/meminfo: memFree=28848464/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=97588 CPUtime=1302.06 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 24822 0 0 0 130199 7 0 0 20 0 1 0 282587019 99930112 23963 33554432000 4194304 6212839 140735508765376 140735508763528 4635099 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 24397 23963 232 493 0 23902 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 106740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14457
/proc/meminfo: memFree=28846108/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=97840 CPUtime=1362.05 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 24876 0 0 0 136198 7 0 0 20 0 1 0 282587019 100188160 24017 33554432000 4194304 6212839 140735508765376 140735508763528 4298317 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 24460 24017 232 493 0 23965 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 106992
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14457
/proc/meminfo: memFree=28843808/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=99300 CPUtime=1422.05 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 25256 0 0 0 142197 8 0 0 20 0 1 0 282587019 101683200 24308 33554432000 4194304 6212839 140735508765376 140735508763384 4685484 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 24825 24308 232 493 0 24330 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 108452
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14457
/proc/meminfo: memFree=28841016/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=99300 CPUtime=1482.04 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 25257 0 0 0 148196 8 0 0 20 0 1 0 282587019 101683200 24329 33554432000 4194304 6212839 140735508765376 140735508763384 4635088 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 24825 24329 232 493 0 24330 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 108452
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14457
/proc/meminfo: memFree=28840268/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=99300 CPUtime=1542.03 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 25257 0 0 0 154195 8 0 0 20 0 1 0 282587019 101683200 24329 33554432000 4194304 6212839 140735508765376 140735508763384 4685317 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 24825 24329 232 493 0 24330 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 108452
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14460
/proc/meminfo: memFree=28836912/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=101048 CPUtime=1602.02 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 25794 0 0 0 160194 8 0 0 20 0 1 0 282587019 103473152 24769 33554432000 4194304 6212839 140735508765376 140735508763528 4670461 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 25262 24769 232 493 0 24767 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 110200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14461
/proc/meminfo: memFree=28836236/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=101180 CPUtime=1662.01 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 25838 0 0 0 166193 8 0 0 20 0 1 0 282587019 103608320 24813 33554432000 4194304 6212839 140735508765376 140735508763400 4685458 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 25295 24813 232 493 0 24800 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 110332
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14461
/proc/meminfo: memFree=28833444/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=102044 CPUtime=1722 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 26015 0 0 0 172192 8 0 0 20 0 1 0 282587019 104493056 25067 33554432000 4194304 6212839 140735508765376 140735508763400 4744552 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 25511 25067 232 493 0 25016 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 111196
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14461
/proc/meminfo: memFree=28832140/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=102656 CPUtime=1781.98 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 26129 0 0 0 178190 8 0 0 20 0 1 0 282587019 105119744 25181 33554432000 4194304 6212839 140735508765376 140735508763528 4685476 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 25664 25181 232 493 0 25169 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 111808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14461
/proc/meminfo: memFree=28831768/32873844 swapFree=7384/7384
[pid=14365] ppid=14363 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/14365/stat : 14365 (clasp-dec.sh) S 14363 14365 12999 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 282587019 9371648 274 33554432000 4194304 5064252 140735105027376 140735105026288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14365/statm: 2288 274 232 213 0 73 0
[pid=14366] ppid=14365 vsize=102812 CPUtime=1800.09 cores=1,3,5,7
/proc/14366/stat : 14366 (clasp-R5325) R 14365 14365 12999 0 -1 4202496 26163 0 0 0 180001 8 0 0 20 0 1 0 282587019 105279488 25215 33554432000 4194304 6212839 140735508765376 140735508763528 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/14366/statm: 25703 25215 232 493 0 25208 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 111964
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1800.01
CPU system time (s): 0.089986
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 111964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.089986
maximum resident set size= 100900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26537
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= 51
involuntary context switches= 1867
runsolver used 3.3215 second user time and 7.69483 second system time
The end