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-3709070-1338152725/watcher-3709070-1338152725 -o /tmp/evaluation-result-3709070-1338152725/solver-3709070-1338152725 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709070-1338152725.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.63 1.86 2/179 18102
/proc/meminfo: memFree=31393452/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[startup+0.0759181 s]
/proc/loadavg: 1.03 1.63 1.86 2/179 18102
/proc/meminfo: memFree=31393452/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.1002 s]
/proc/loadavg: 1.03 1.63 1.86 2/179 18102
/proc/meminfo: memFree=31393452/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.30016 s]
/proc/loadavg: 1.03 1.63 1.86 2/179 18102
/proc/meminfo: memFree=31393452/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700168 s]
/proc/loadavg: 1.03 1.63 1.86 2/179 18102
/proc/meminfo: memFree=31393452/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50019 s]
/proc/loadavg: 1.11 1.63 1.86 3/181 18104
/proc/meminfo: memFree=31372052/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=14628 CPUtime=1.48 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 3429 0 0 0 148 0 0 0 20 0 1 0 281397266 14979072 3354 33554432000 4194304 6212839 140736216475872 140736216474040 4335600 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/18103/statm: 3657 3354 234 493 0 3162 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 23780
[startup+3.1002 s]
/proc/loadavg: 1.11 1.63 1.86 3/181 18104
/proc/meminfo: memFree=31363984/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=18764 CPUtime=3.08 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 4453 0 0 0 308 0 0 0 20 0 1 0 281397266 19214336 4377 33554432000 4194304 6212839 140736216475872 140736216473880 4422294 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/18103/statm: 4691 4377 234 493 0 4196 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27916
[startup+6.30023 s]
/proc/loadavg: 1.18 1.64 1.86 3/181 18104
/proc/meminfo: memFree=31350344/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=24264 CPUtime=6.28 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 5817 0 0 0 628 0 0 0 20 0 1 0 281397266 24846336 5740 33554432000 4194304 6212839 140736216475872 140736216474024 4333789 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/18103/statm: 6066 5740 234 493 0 5571 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33416
[startup+12.7002 s]
/proc/loadavg: 1.25 1.64 1.86 3/181 18104
/proc/meminfo: memFree=31342148/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=27440 CPUtime=12.69 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 6659 0 0 0 1268 1 0 0 20 0 1 0 281397266 28098560 6541 33554432000 4194304 6212839 140736216475872 140736216474040 4674443 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/18103/statm: 6860 6541 234 493 0 6365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36592
[startup+25.5002 s]
/proc/loadavg: 1.41 1.66 1.86 3/181 18104
/proc/meminfo: memFree=31325888/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=35100 CPUtime=25.47 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 8613 0 0 0 2546 1 0 0 20 0 1 0 281397266 35942400 8461 33554432000 4194304 6212839 140736216475872 140736216474168 4308147 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/18103/statm: 8775 8461 234 493 0 8280 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44252
[startup+51.1002 s]
/proc/loadavg: 1.61 1.69 1.86 3/181 18104
/proc/meminfo: memFree=31310728/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=46160 CPUtime=51.06 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 11437 0 0 0 5104 2 0 0 20 0 1 0 281397266 47267840 11180 33554432000 4194304 6212839 140736216475872 140736216474168 4308132 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0
/proc/18103/statm: 11540 11180 234 493 0 11045 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 55312
[startup+102.307 s]
/proc/loadavg: 1.83 1.73 1.87 3/181 18104
/proc/meminfo: memFree=31286820/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=54872 CPUtime=102.25 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 14635 0 0 0 10223 2 0 0 20 0 1 0 281397266 56188928 13386 33554432000 4194304 6212839 140736216475872 140736216474168 4681551 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 13718 13386 234 493 0 13223 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 64024
[startup+162.3 s]
/proc/loadavg: 1.93 1.78 1.88 3/181 18104
/proc/meminfo: memFree=31274156/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=61048 CPUtime=162.24 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 17428 0 0 0 16221 3 0 0 20 0 1 0 281397266 62513152 14965 33554432000 4194304 6212839 140736216475872 140736216473944 4308157 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 15262 14965 234 493 0 14767 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 70200
[startup+222.3 s]
/proc/loadavg: 2.02 1.83 1.89 3/181 18104
/proc/meminfo: memFree=31256412/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=75964 CPUtime=222.22 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 20908 0 0 0 22219 3 0 0 20 0 1 0 281397266 77787136 18117 33554432000 4194304 6212839 140736216475872 140736216474040 4308132 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 18991 18117 234 493 0 18496 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 85116
[startup+282.3 s]
/proc/loadavg: 2.00 1.86 1.89 3/182 18108
/proc/meminfo: memFree=31241352/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=79140 CPUtime=282.21 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 22021 0 0 0 28217 4 0 0 20 0 1 0 281397266 81039360 19464 33554432000 4194304 6212839 140736216475872 140736216474168 4683115 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 19785 19464 234 493 0 19290 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 88292
[startup+342.3 s]
/proc/loadavg: 2.00 1.88 1.90 3/181 18108
/proc/meminfo: memFree=31227740/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=84260 CPUtime=342.21 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 23829 0 0 0 34216 5 0 0 20 0 1 0 281397266 86282240 20768 33554432000 4194304 6212839 140736216475872 140736216474168 4681536 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 21065 20768 234 493 0 20570 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 93412
[startup+402.3 s]
/proc/loadavg: 2.04 1.92 1.91 3/181 18108
/proc/meminfo: memFree=31222896/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=115252 CPUtime=1062.08 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 39212 0 0 0 106199 9 0 0 20 0 1 0 281397266 118018048 28510 33554432000 4194304 6212839 140736216475872 140736216474168 4421869 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 28813 28510 234 493 0 28318 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 124404
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 18113
/proc/meminfo: memFree=31164368/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=116768 CPUtime=1122.07 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 39997 0 0 0 112198 9 0 0 20 0 1 0 281397266 119570432 28871 33554432000 4194304 6212839 140736216475872 140736216474040 4334693 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 29192 28871 234 493 0 28697 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 125920
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 18114
/proc/meminfo: memFree=31163128/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=117160 CPUtime=1182.05 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 40620 0 0 0 118196 9 0 0 20 0 1 0 281397266 119971840 28987 33554432000 4194304 6212839 140736216475872 140736216474168 4674525 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 29290 28987 234 493 0 28795 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 126312
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 18114
/proc/meminfo: memFree=31158352/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=119136 CPUtime=1242.05 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 41866 0 0 0 124195 10 0 0 20 0 1 0 281397266 121995264 29488 33554432000 4194304 6212839 140736216475872 140736216474168 4333088 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 29784 29488 234 493 0 29289 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 128288
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/181 18114
/proc/meminfo: memFree=31155620/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=120104 CPUtime=1302.05 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 43396 0 0 0 130195 10 0 0 20 0 1 0 281397266 122986496 29730 33554432000 4194304 6212839 140736216475872 140736216474168 4661322 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 30026 29730 234 493 0 29531 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 129256
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 18114
/proc/meminfo: memFree=31153388/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=121104 CPUtime=1362.03 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 44674 0 0 0 136193 10 0 0 20 0 1 0 281397266 124010496 29980 33554432000 4194304 6212839 140736216475872 140736216474168 4333840 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 30276 29980 234 493 0 29781 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 130256
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 18114
/proc/meminfo: memFree=31128756/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=135352 CPUtime=1422.02 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 48045 0 0 0 142191 11 0 0 20 0 1 0 281397266 138600448 33542 33554432000 4194304 6212839 140736216475872 140736216474168 4674407 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 33838 33542 234 493 0 33343 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 144504
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 18118
/proc/meminfo: memFree=31114544/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=140688 CPUtime=1482 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 50583 0 0 0 148189 11 0 0 20 0 1 0 281397266 144064512 34867 33554432000 4194304 6212839 140736216475872 140736216474040 4334672 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 35172 34867 234 493 0 34677 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 149840
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 18118
/proc/meminfo: memFree=31113112/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=142252 CPUtime=1542 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 52397 0 0 0 154188 12 0 0 20 0 1 0 281397266 145666048 35246 33554432000 4194304 6212839 140736216475872 140736216474040 4334710 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 35563 35246 234 493 0 35068 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 151404
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 18118
/proc/meminfo: memFree=31109632/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=143800 CPUtime=1601.98 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 53699 0 0 0 160186 12 0 0 20 0 1 0 281397266 147251200 35635 33554432000 4194304 6212839 140736216475872 140736216474040 4333840 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 35950 35635 234 493 0 35455 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 152952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 18118
/proc/meminfo: memFree=31108640/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=144052 CPUtime=1661.98 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 55422 0 0 0 166185 13 0 0 20 0 1 0 281397266 147509248 35715 33554432000 4194304 6212839 140736216475872 140736216474168 4705146 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 36013 35715 234 493 0 35518 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 153204
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 18118
/proc/meminfo: memFree=31107024/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=144736 CPUtime=1721.97 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 55987 0 0 0 172184 13 0 0 20 0 1 0 281397266 148209664 35867 33554432000 4194304 6212839 140736216475872 140736216474168 4683120 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 36184 35867 234 493 0 35689 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 153888
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 18119
/proc/meminfo: memFree=31104544/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=145576 CPUtime=1781.97 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 57231 0 0 0 178183 14 0 0 20 0 1 0 281397266 149069824 36088 33554432000 4194304 6212839 140736216475872 140736216474168 4674896 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 36394 36088 234 493 0 35899 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 154728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 1.93 2/176 18121
/proc/meminfo: memFree=31247888/32873844 swapFree=7616/7616
[pid=18102] ppid=18100 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/18102/stat : 18102 (clasp-opt.sh) S 18100 18102 18057 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281397265 9371648 275 33554432000 4194304 5064252 140735622078592 140735622077504 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18102/statm: 2288 275 232 213 0 73 0
[pid=18103] ppid=18102 vsize=147088 CPUtime=1800.07 cores=0,2,4,6
/proc/18103/stat : 18103 (clasp-R5325) R 18102 18102 18057 0 -1 4202496 58044 0 0 0 179993 14 0 0 20 0 1 0 281397266 150618112 36468 33554432000 4194304 6212839 140736216475872 140736216474040 4335022 0 0 4096 18946 0 0 0 17 4 0 0 0 0 0
/proc/18103/statm: 36772 36468 234 493 0 36277 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 156240
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.93
CPU system time (s): 0.141978
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 156296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.141978
maximum resident set size= 145940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58415
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= 60
involuntary context switches= 1907
runsolver used 3.14952 second user time and 8.5387 second system time
The end