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-3709106-1338159927/watcher-3709106-1338159927 -o /tmp/evaluation-result-3709106-1338159927/solver-3709106-1338159927 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709106-1338159927.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 1.99 3/179 18811
/proc/meminfo: memFree=31235468/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (runsolver) D 18809 18811 18057 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 282117496 12095488 50 33554432000 4194304 5436572 140736634268512 140736634264808 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/18811/statm: 2953 50 31 304 0 2645 0
[startup+0.0842659 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18811
/proc/meminfo: memFree=31235468/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100237 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18811
/proc/meminfo: memFree=31235468/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300215 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18811
/proc/meminfo: memFree=31235468/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700192 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 18811
/proc/meminfo: memFree=31235468/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18813
/proc/meminfo: memFree=31207088/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=45348 CPUtime=1.48 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 11361 0 0 0 147 1 0 0 20 0 1 0 282117497 46436352 11017 33554432000 4194304 6212839 140735302037968 140735302035976 5437001 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/18813/statm: 11337 11017 234 493 0 10842 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 54500
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18813
/proc/meminfo: memFree=31186368/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=55644 CPUtime=3.08 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 13924 0 0 0 306 2 0 0 20 0 1 0 282117497 56979456 13580 33554432000 4194304 6212839 140735302037968 140735302036376 4334710 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 13911 13580 234 493 0 13416 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 64796
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18813
/proc/meminfo: memFree=31172232/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=70644 CPUtime=6.28 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 17670 0 0 0 625 3 0 0 20 0 1 0 282117497 72339456 17326 33554432000 4194304 6212839 140735302037968 140735302035976 4333864 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 17661 17326 234 493 0 17166 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 79796
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18813
/proc/meminfo: memFree=31149936/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=87420 CPUtime=12.68 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 21793 0 0 0 1264 4 0 0 20 0 1 0 282117497 89518080 21449 33554432000 4194304 6212839 140735302037968 140735302035976 4334672 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 21855 21449 234 493 0 21360 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96572
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18813
/proc/meminfo: memFree=31131148/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=106308 CPUtime=25.47 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 26521 0 0 0 2542 5 0 0 20 0 1 0 282117497 108859392 26172 33554432000 4194304 6212839 140735302037968 140735302035976 4676481 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 26577 26172 234 493 0 26082 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 115460
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18813
/proc/meminfo: memFree=31102844/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=138420 CPUtime=51.05 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 34501 0 0 0 5099 6 0 0 20 0 1 0 282117497 141742080 34136 33554432000 4194304 6212839 140735302037968 140735302036376 4705168 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 34605 34136 234 493 0 34110 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 147572
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18814
/proc/meminfo: memFree=31059596/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=176856 CPUtime=102.2 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 44370 0 0 0 10213 7 0 0 20 0 1 0 282117497 181100544 43799 33554432000 4194304 6212839 140735302037968 140735302035976 4411564 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 44214 43799 234 493 0 43719 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 186008
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18814
/proc/meminfo: memFree=31036244/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=199224 CPUtime=162.17 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 49985 0 0 0 16209 8 0 0 20 0 1 0 282117497 204005376 49485 33554432000 4194304 6212839 140735302037968 140735302035976 4333831 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 49806 49485 234 493 0 49311 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 208376
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/181 18814
/proc/meminfo: memFree=30992596/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=235676 CPUtime=222.16 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 60069 0 0 0 22207 9 0 0 20 0 1 0 282117497 241332224 58224 33554432000 4194304 6212839 140735302037968 140735302035976 4674276 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 58919 58224 234 493 0 58424 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 244828
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/182 18817
/proc/meminfo: memFree=30977628/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=249272 CPUtime=282.15 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 63473 0 0 0 28205 10 0 0 20 0 1 0 282117497 255254528 61628 33554432000 4194304 6212839 140735302037968 140735302035976 4705112 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 62318 61628 234 493 0 61823 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 258424
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 18817
/proc/meminfo: memFree=30954332/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=270448 CPUtime=342.14 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 68904 0 0 0 34203 11 0 0 20 0 1 0 282117497 276938752 66859 33554432000 4194304 6212839 140735302037968 140735302036120 4685314 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 67612 66859 234 493 0 67117 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 279600
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 18818
/proc/meminfo: memFree=30947984/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/18813/statm: 99219 98454 234 493 0 98724 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 406028
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 18863
/proc/meminfo: memFree=30604040/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=397912 CPUtime=1241.93 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 106380 0 0 0 124173 20 0 0 20 0 1 0 282117497 407461888 98729 33554432000 4194304 6212839 140735302037968 140735302035976 4683084 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 99478 98729 234 493 0 98983 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 407064
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18863
/proc/meminfo: memFree=30569708/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=400564 CPUtime=1301.9 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 107885 0 0 0 130170 20 0 0 20 0 1 0 282117497 410177536 99700 33554432000 4194304 6212839 140735302037968 140735302035976 4685476 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 100141 99700 234 493 0 99646 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 409716
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18864
/proc/meminfo: memFree=30570080/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=398740 CPUtime=1361.9 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 108251 0 0 0 136169 21 0 0 20 0 1 0 282117497 408309760 99264 33554432000 4194304 6212839 140735302037968 140735302035976 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 99685 99264 234 493 0 99190 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 407892
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18864
/proc/meminfo: memFree=30557432/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=407228 CPUtime=1421.89 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 110386 0 0 0 142168 21 0 0 20 0 1 0 282117497 417001472 101139 33554432000 4194304 6212839 140735302037968 140735302035976 4298183 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 101807 101139 234 493 0 101312 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 416380
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 18867
/proc/meminfo: memFree=30551588/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=410456 CPUtime=1481.87 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 111460 0 0 0 148166 21 0 0 20 0 1 0 282117497 420306944 101960 33554432000 4194304 6212839 140735302037968 140735302036264 4333482 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 102614 101960 234 493 0 102119 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 419608
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18867
/proc/meminfo: memFree=30547048/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=412712 CPUtime=1541.87 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 112465 0 0 0 154166 21 0 0 20 0 1 0 282117497 422617088 102519 33554432000 4194304 6212839 140735302037968 140735302035976 4308132 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 103178 102519 234 493 0 102683 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 421864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18867
/proc/meminfo: memFree=30529956/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=412032 CPUtime=1601.85 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 113354 0 0 0 160164 21 0 0 20 0 1 0 282117497 421920768 102331 33554432000 4194304 6212839 140735302037968 140735302035976 4334710 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 103008 102331 234 493 0 102513 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 421184
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18868
/proc/meminfo: memFree=30517928/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=415024 CPUtime=1661.85 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 115169 0 0 0 166163 22 0 0 20 0 1 0 282117497 424984576 103081 33554432000 4194304 6212839 140735302037968 140735302035976 4357006 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 103756 103081 234 493 0 103261 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 424176
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 18868
/proc/meminfo: memFree=30512100/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=420552 CPUtime=1721.84 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 116771 0 0 0 172162 22 0 0 20 0 1 0 282117497 430645248 104427 33554432000 4194304 6212839 140735302037968 140735302035976 4411584 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 105138 104427 234 493 0 104643 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 429704
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 18868
/proc/meminfo: memFree=30482960/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=444364 CPUtime=1781.83 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 124846 0 0 0 178159 24 0 0 20 0 1 0 282117497 455028736 110146 33554432000 4194304 6212839 140735302037968 140735302035976 4685305 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 111091 110146 234 493 0 110596 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 453516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18868
/proc/meminfo: memFree=30465476/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=443896 CPUtime=1800.03 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 125082 0 0 0 179979 24 0 0 20 0 1 0 282117497 454549504 110019 33554432000 4194304 6212839 140735302037968 140735302035976 4334724 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 110974 110019 234 493 0 110479 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 453048
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.01 2.01 2.00 3/181 18868
/proc/meminfo: memFree=30465476/32873844 swapFree=7616/7616
[pid=18811] ppid=18809 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18811/stat : 18811 (clasp-opt.sh) S 18809 18811 18057 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 282117496 9371648 275 33554432000 4194304 5064252 140735582424880 140735582423792 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18811/statm: 2288 275 232 213 0 73 0
[pid=18813] ppid=18811 vsize=443896 CPUtime=1800.03 cores=0,2,4,6
/proc/18813/stat : 18813 (clasp-R5325) R 18811 18811 18057 0 -1 4202496 125082 0 0 0 179979 24 0 0 20 0 1 0 282117497 454549504 110019 33554432000 4194304 6212839 140735302037968 140735302035976 4334724 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/18813/statm: 110974 110019 234 493 0 110479 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 453048
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18811 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.03
#
# 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.03
CPU user time (s): 1799.79
CPU system time (s): 0.24
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 453516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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= 2
runsolver used 3.40448 second user time and 9.31058 second system time
The end