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-3709109-1338159944/watcher-3709109-1338159944 -o /tmp/evaluation-result-3709109-1338159944/solver-3709109-1338159944 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709109-1338159944.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 1.99 1.91 2/174 23381
/proc/meminfo: memFree=30488468/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[startup+0.0844121 s]
/proc/loadavg: 2.00 1.99 1.91 2/174 23381
/proc/meminfo: memFree=30488468/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100329 s]
/proc/loadavg: 2.00 1.99 1.91 2/174 23381
/proc/meminfo: memFree=30488468/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30024 s]
/proc/loadavg: 2.00 1.99 1.91 2/174 23381
/proc/meminfo: memFree=30488468/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700259 s]
/proc/loadavg: 2.00 1.99 1.91 2/174 23381
/proc/meminfo: memFree=30488468/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.5003 s]
/proc/loadavg: 1.92 1.97 1.90 2/176 23383
/proc/meminfo: memFree=30459060/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=47348 CPUtime=1.49 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 11863 0 0 0 147 2 0 0 20 0 1 0 282118851 48484352 11518 33554432000 4194304 6212839 140735708998240 140735708996248 5437001 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 11837 11518 234 493 0 11342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56500
[startup+3.10032 s]
/proc/loadavg: 1.92 1.97 1.90 3/179 23422
/proc/meminfo: memFree=30437628/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=55716 CPUtime=3.08 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 13950 0 0 0 306 2 0 0 20 0 1 0 282118851 57053184 13605 33554432000 4194304 6212839 140735708998240 140735708996248 4683120 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 13929 13605 234 493 0 13434 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 64868
[startup+6.30036 s]
/proc/loadavg: 1.92 1.97 1.90 3/179 23422
/proc/meminfo: memFree=30356872/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=70004 CPUtime=6.28 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 17538 0 0 0 625 3 0 0 20 0 1 0 282118851 71684096 17193 33554432000 4194304 6212839 140735708998240 140735708996248 4685476 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 17501 17193 234 493 0 17006 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79156
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.90 3/179 23422
/proc/meminfo: memFree=30305612/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=88676 CPUtime=12.68 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 22163 0 0 0 1264 4 0 0 20 0 1 0 282118851 90804224 21812 33554432000 4194304 6212839 140735708998240 140735708996248 4683079 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 22169 21812 234 493 0 21674 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 97828
[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 1.91 3/179 23422
/proc/meminfo: memFree=30250432/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=110488 CPUtime=25.47 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 27621 0 0 0 2542 5 0 0 20 0 1 0 282118851 113139712 27262 33554432000 4194304 6212839 140735708998240 140735708996248 5437001 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 27622 27262 234 493 0 27127 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 119640
[startup+51.1003 s]
/proc/loadavg: 1.96 1.97 1.91 3/179 23422
/proc/meminfo: memFree=30190120/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=138956 CPUtime=51.04 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 34735 0 0 0 5097 7 0 0 20 0 1 0 282118851 142290944 34364 33554432000 4194304 6212839 140735708998240 140735708996248 4683129 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 34739 34364 234 493 0 34244 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 148108
[startup+102.307 s]
/proc/loadavg: 1.98 1.97 1.91 3/178 23422
/proc/meminfo: memFree=30108704/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=176188 CPUtime=102.21 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 44243 0 0 0 10212 9 0 0 20 0 1 0 282118851 180416512 43737 33554432000 4194304 6212839 140735708998240 140735708996248 4685801 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 44047 43737 234 493 0 43552 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 185340
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 23423
/proc/meminfo: memFree=30034324/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=205644 CPUtime=162.19 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 51541 0 0 0 16208 11 0 0 20 0 1 0 282118851 210579456 51031 33554432000 4194304 6212839 140735708998240 140735708996392 4683115 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 51411 51031 234 493 0 50916 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 214796
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 23423
/proc/meminfo: memFree=29978552/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=239396 CPUtime=222.18 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 61421 0 0 0 22205 13 0 0 20 0 1 0 282118851 245141504 59409 33554432000 4194304 6212839 140735708998240 140735708996248 4308160 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 59849 59409 234 493 0 59354 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 248548
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/180 23426
/proc/meminfo: memFree=29940256/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=246612 CPUtime=282.17 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 63405 0 0 0 28204 13 0 0 20 0 1 0 282118851 252530688 61200 33554432000 4194304 6212839 140735708998240 140735708996248 4333845 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 61653 61200 234 493 0 61158 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 255764
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 23426
/proc/meminfo: memFree=29909504/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=267044 CPUtime=342.16 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 68936 0 0 0 34202 14 0 0 20 0 1 0 282118851 273453056 66275 33554432000 4194304 6212839 140735708998240 140735708996248 4298166 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 66761 66275 234 493 0 66266 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 276196
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 23426
/proc/meminfo: memFree=29879048/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23382/statm: 97740 97083 234 493 0 97245 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 400112
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 23432
/proc/meminfo: memFree=29596800/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=393708 CPUtime=1241.94 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 107301 0 0 0 124172 22 0 0 20 0 1 0 282118851 403156992 97753 33554432000 4194304 6212839 140735708998240 140735708996248 4334710 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 98427 97753 234 493 0 97932 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 402860
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 23432
/proc/meminfo: memFree=29588616/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=395312 CPUtime=1301.94 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 108154 0 0 0 130172 22 0 0 20 0 1 0 282118851 404799488 98154 33554432000 4194304 6212839 140735708998240 140735708996248 4356934 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 98828 98154 234 493 0 98333 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 404464
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/179 23433
/proc/meminfo: memFree=29581300/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=395444 CPUtime=1361.92 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 108191 0 0 0 136170 22 0 0 20 0 1 0 282118851 404934656 98191 33554432000 4194304 6212839 140735708998240 140735708996248 4685294 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 98861 98191 234 493 0 98366 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 404596
[startup+1422.31 s]
/proc/loadavg: 2.04 2.00 1.92 3/179 23433
/proc/meminfo: memFree=29570940/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=400988 CPUtime=1421.92 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 109566 0 0 0 142169 23 0 0 20 0 1 0 282118851 410611712 99597 33554432000 4194304 6212839 140735708998240 140735708996248 4674914 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 100247 99597 234 493 0 99752 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 410140
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/180 23436
/proc/meminfo: memFree=29569028/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=401492 CPUtime=1481.88 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 109971 0 0 0 148165 23 0 0 20 0 1 0 282118851 411127808 100065 33554432000 4194304 6212839 140735708998240 140735708996248 4308157 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 100373 100065 234 493 0 99878 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 410644
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23436
/proc/meminfo: memFree=29532456/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=409136 CPUtime=1541.88 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 112234 0 0 0 154164 24 0 0 20 0 1 0 282118851 418955264 101850 33554432000 4194304 6212839 140735708998240 140735708996248 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 102284 101850 234 493 0 101789 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 418288
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23436
/proc/meminfo: memFree=29531216/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=408408 CPUtime=1601.87 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 112696 0 0 0 160163 24 0 0 20 0 1 0 282118851 418209792 101677 33554432000 4194304 6212839 140735708998240 140735708996248 4333360 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 102102 101677 234 493 0 101607 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 417560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23437
/proc/meminfo: memFree=29508152/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=422508 CPUtime=1661.86 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 116377 0 0 0 166161 25 0 0 20 0 1 0 282118851 432648192 104882 33554432000 4194304 6212839 140735708998240 140735708996248 4308132 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 105627 104882 234 493 0 105132 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 431660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23437
/proc/meminfo: memFree=29493892/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=440956 CPUtime=1721.85 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 119629 0 0 0 172160 25 0 0 20 0 1 0 282118851 451538944 108134 33554432000 4194304 6212839 140735708998240 140735708996392 4298163 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 110239 108134 234 493 0 109744 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 450108
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 23438
/proc/meminfo: memFree=29480116/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=449512 CPUtime=1781.84 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 127132 0 0 0 178158 26 0 0 20 0 1 0 282118851 460300288 110305 33554432000 4194304 6212839 140735708998240 140735708996536 4335219 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 112378 110305 234 493 0 111883 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 458664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 23438
/proc/meminfo: memFree=29476568/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=452872 CPUtime=1800.05 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 127947 0 0 0 179978 27 0 0 20 0 1 0 282118851 463740928 111120 33554432000 4194304 6212839 140735708998240 140735708996248 4674407 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 113218 111120 234 493 0 112723 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 462024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 23438
/proc/meminfo: memFree=29476568/32873844 swapFree=7388/7388
[pid=23381] ppid=23379 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/23381/stat : 23381 (clasp-opt.sh) S 23379 23381 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282118851 9371648 274 33554432000 4194304 5064252 140734784637856 140734784636768 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23381/statm: 2288 274 232 213 0 73 0
[pid=23382] ppid=23381 vsize=452872 CPUtime=1800.05 cores=0,2,4,6
/proc/23382/stat : 23382 (clasp-R5325) R 23381 23381 23256 0 -1 4202496 127947 0 0 0 179978 27 0 0 20 0 1 0 282118851 463740928 111120 33554432000 4194304 6212839 140735708998240 140735708996248 4674407 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/23382/statm: 113218 111120 234 493 0 112723 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 462024
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23381 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.78
CPU system time (s): 0.27
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 462252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 4
involuntary context switches= 1
runsolver used 3.74043 second user time and 9.25459 second system time
The end