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-3708680-1338157829/watcher-3708680-1338157829 -o /tmp/evaluation-result-3708680-1338157829/solver-3708680-1338157829 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708680-1338157829.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.21 2.06 2.01 3/178 29566
/proc/meminfo: memFree=31059224/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[startup+0.0484099 s]
/proc/loadavg: 2.21 2.06 2.01 3/178 29566
/proc/meminfo: memFree=31059224/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100362 s]
/proc/loadavg: 2.21 2.06 2.01 3/178 29566
/proc/meminfo: memFree=31059224/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300306 s]
/proc/loadavg: 2.21 2.06 2.01 3/178 29566
/proc/meminfo: memFree=31059224/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700321 s]
/proc/loadavg: 2.21 2.06 2.01 3/178 29566
/proc/meminfo: memFree=31059224/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50036 s]
/proc/loadavg: 2.20 2.06 2.01 3/180 29568
/proc/meminfo: memFree=30960960/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=108560 CPUtime=1.49 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 20574 0 0 0 145 4 0 0 20 0 1 0 281907357 111165440 25969 33554432000 4194304 6212839 140735792418272 140735792416456 5437001 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 27140 25970 211 493 0 26645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117712
[startup+3.10037 s]
/proc/loadavg: 2.20 2.06 2.01 3/180 29568
/proc/meminfo: memFree=30959044/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=111012 CPUtime=3.09 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 23798 0 0 0 304 5 0 0 20 0 1 0 281907357 113676288 26885 33554432000 4194304 6212839 140735792418272 140735792417240 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 27753 26885 230 493 0 27258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 120164
[startup+6.30036 s]
/proc/loadavg: 2.18 2.06 2.01 3/180 29568
/proc/meminfo: memFree=30947052/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=114532 CPUtime=6.29 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 24673 0 0 0 624 5 0 0 20 0 1 0 281907357 117280768 27760 33554432000 4194304 6212839 140735792418272 140735792416280 4744509 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 28633 27760 231 493 0 28138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123684
[startup+12.7004 s]
/proc/loadavg: 2.16 2.06 2.01 3/180 29568
/proc/meminfo: memFree=30942844/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=117636 CPUtime=12.69 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 25432 0 0 0 1264 5 0 0 20 0 1 0 281907357 120459264 28519 33554432000 4194304 6212839 140735792418272 140735792416296 4685794 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 29409 28519 232 493 0 28914 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126788
[startup+25.5004 s]
/proc/loadavg: 2.21 2.07 2.02 3/180 29568
/proc/meminfo: memFree=30936636/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=121800 CPUtime=25.48 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 26366 0 0 0 2543 5 0 0 20 0 1 0 281907357 124723200 29447 33554432000 4194304 6212839 140735792418272 140735792416424 4635944 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 30450 29447 232 493 0 29955 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 130952
[startup+51.1004 s]
/proc/loadavg: 2.14 2.06 2.01 3/179 29568
/proc/meminfo: memFree=30929980/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=125808 CPUtime=51.06 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 27346 0 0 0 5101 5 0 0 20 0 1 0 281907357 128827392 30559 33554432000 4194304 6212839 140735792418272 140735792416424 4635505 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 31452 30559 232 493 0 30957 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 134960
[startup+102.307 s]
/proc/loadavg: 2.12 2.07 2.02 3/179 29568
/proc/meminfo: memFree=30919644/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=130172 CPUtime=102.24 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 28417 0 0 0 10219 5 0 0 20 0 1 0 281907357 133296128 32140 33554432000 4194304 6212839 140735792418272 140735792416296 4635141 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 32543 32140 232 493 0 32048 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 139324
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/179 29569
/proc/meminfo: memFree=30911700/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=132912 CPUtime=162.22 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29033 0 0 0 16217 5 0 0 20 0 1 0 281907357 136101888 32756 33554432000 4194304 6212839 140735792418272 140735792416280 4744436 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 33228 32756 232 493 0 32733 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 142064
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/180 29570
/proc/meminfo: memFree=30906412/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=133480 CPUtime=222.21 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29178 0 0 0 22216 5 0 0 20 0 1 0 281907357 136683520 32995 33554432000 4194304 6212839 140735792418272 140735792416424 4744384 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 33370 32995 232 493 0 32875 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 142632
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30900024/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=135392 CPUtime=282.2 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29641 0 0 0 28214 6 0 0 20 0 1 0 281907357 138641408 33458 33554432000 4194304 6212839 140735792418272 140735792416424 4372067 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 33848 33458 232 493 0 33353 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 144544
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 29570
/proc/meminfo: memFree=30896860/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136432 CPUtime=342.19 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29857 0 0 0 34213 6 0 0 20 0 1 0 281907357 139706368 33732 33554432000 4194304 6212839 140735792418272 140735792416424 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34108 33732 232 493 0 33613 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 145584
Solver just ended. Dumping a history of the last processes samples
[startup+345.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30896612/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136432 CPUtime=345.39 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29866 0 0 0 34533 6 0 0 20 0 1 0 281907357 139706368 33741 33554432000 4194304 6212839 140735792418272 140735792416424 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34108 33741 232 493 0 33613 0
Current children cumulated CPU time (s) 345.39
Current children cumulated vsize (KiB) 145584
[startup+358.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30896240/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136632 CPUtime=358.19 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29898 0 0 0 35813 6 0 0 20 0 1 0 281907357 139911168 33773 33554432000 4194304 6212839 140735792418272 140735792416424 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34158 33773 232 493 0 33663 0
Current children cumulated CPU time (s) 358.19
Current children cumulated vsize (KiB) 145784
[startup+364.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30895868/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136632 CPUtime=364.59 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29898 0 0 0 36453 6 0 0 20 0 1 0 281907357 139911168 33773 33554432000 4194304 6212839 140735792418272 140735792416424 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34158 33773 232 493 0 33663 0
Current children cumulated CPU time (s) 364.59
Current children cumulated vsize (KiB) 145784
[startup+367.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30895620/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136632 CPUtime=367.79 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29898 0 0 0 36773 6 0 0 20 0 1 0 281907357 139911168 33773 33554432000 4194304 6212839 140735792418272 140735792416424 4745700 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34158 33773 232 493 0 33663 0
Current children cumulated CPU time (s) 367.79
Current children cumulated vsize (KiB) 145784
[startup+368.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30895496/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136632 CPUtime=368.59 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29898 0 0 0 36853 6 0 0 20 0 1 0 281907357 139911168 33773 33554432000 4194304 6212839 140735792418272 140735792416424 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34158 33773 232 493 0 33663 0
Current children cumulated CPU time (s) 368.59
Current children cumulated vsize (KiB) 145784
[startup+369.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30895496/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136632 CPUtime=368.99 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29898 0 0 0 36893 6 0 0 20 0 1 0 281907357 139911168 33773 33554432000 4194304 6212839 140735792418272 140735792416424 4685736 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34158 33773 232 493 0 33663 0
Current children cumulated CPU time (s) 368.99
Current children cumulated vsize (KiB) 145784
[startup+369.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30895496/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136632 CPUtime=369.4 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29898 0 0 0 36934 6 0 0 20 0 1 0 281907357 139911168 33773 33554432000 4194304 6212839 140735792418272 140735792416424 4662940 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34158 33773 232 493 0 33663 0
Current children cumulated CPU time (s) 369.4
Current children cumulated vsize (KiB) 145784
[startup+369.607 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 29570
/proc/meminfo: memFree=30895496/32873844 swapFree=7620/7620
[pid=29566] ppid=29564 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/29566/stat : 29566 (clasp-dec.sh) S 29564 29566 23064 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281907357 9371648 275 33554432000 4194304 5064252 140733767003840 140733767002752 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29566/statm: 2288 275 232 213 0 73 0
[pid=29567] ppid=29566 vsize=136632 CPUtime=369.5 cores=1,3,5,7
/proc/29567/stat : 29567 (clasp-R5325) R 29566 29566 23064 0 -1 4202496 29898 0 0 0 36944 6 0 0 20 0 1 0 281907357 139911168 33773 33554432000 4194304 6212839 140735792418272 140735792416424 4664670 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/29567/statm: 34158 33773 232 493 0 33663 0
Current children cumulated CPU time (s) 369.5
Current children cumulated vsize (KiB) 145784
Child status: 20
Real time (s): 369.681
CPU time (s): 369.578
CPU user time (s): 369.514
CPU system time (s): 0.06399
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 145784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 369.514
system time used= 0.06399
maximum resident set size= 135128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30272
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= 52
involuntary context switches= 380
runsolver used 0.728889 second user time and 1.78273 second system time
The end