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-3709498-1338189453/watcher-3709498-1338189453 -o /tmp/evaluation-result-3709498-1338189453/solver-3709498-1338189453 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709498-1338189453.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.01 2.00 2.00 3/177 20247
/proc/meminfo: memFree=29380308/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[startup+0.00698307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20247
/proc/meminfo: memFree=29380308/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.100246 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20247
/proc/meminfo: memFree=29380308/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.300203 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20247
/proc/meminfo: memFree=29380308/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+0.700264 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20247
/proc/meminfo: memFree=29380308/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152
[startup+1.50031 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20249
/proc/meminfo: memFree=29367744/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=15052 CPUtime=1.49 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 3981 0 0 0 149 0 0 0 20 0 1 0 285069381 15413248 3424 33554432000 4194304 6212839 140735865901808 140735865899816 4685736 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 3763 3424 234 493 0 3268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24204
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20249
/proc/meminfo: memFree=29367092/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=16152 CPUtime=3.09 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 4258 0 0 0 309 0 0 0 20 0 1 0 285069381 16539648 3701 33554432000 4194304 6212839 140735865901808 140735865899816 4674320 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 4038 3701 234 493 0 3543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25304
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20249
/proc/meminfo: memFree=29365768/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=16556 CPUtime=6.29 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 4381 0 0 0 629 0 0 0 20 0 1 0 285069381 16953344 3824 33554432000 4194304 6212839 140735865901808 140735865899832 4298313 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 4139 3824 234 493 0 3644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25708
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20249
/proc/meminfo: memFree=29362952/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=19064 CPUtime=12.68 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 5002 0 0 0 1268 0 0 0 20 0 1 0 285069381 19521536 4445 33554432000 4194304 6212839 140735865901808 140735865899960 4685972 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 4766 4445 234 493 0 4271 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28216
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20249
/proc/meminfo: memFree=29358844/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=22912 CPUtime=25.49 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 5977 0 0 0 2548 1 0 0 20 0 1 0 285069381 23461888 5420 33554432000 4194304 6212839 140735865901808 140735865899816 4743776 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 5728 5420 234 493 0 5233 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32064
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20250
/proc/meminfo: memFree=29356460/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=25576 CPUtime=51.08 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 6609 0 0 0 5107 1 0 0 20 0 1 0 285069381 26189824 6052 33554432000 4194304 6212839 140735865901808 140735865899960 4739374 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 6394 6052 234 493 0 5899 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34728
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20250
/proc/meminfo: memFree=29349064/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=32584 CPUtime=102.27 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 8390 0 0 0 10226 1 0 0 20 0 1 0 285069381 33366016 7833 33554432000 4194304 6212839 140735865901808 140735865899960 4686038 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 8146 7833 234 493 0 7651 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41736
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20253
/proc/meminfo: memFree=29344560/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=37676 CPUtime=162.27 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 9654 0 0 0 16225 2 0 0 20 0 1 0 285069381 38580224 9064 33554432000 4194304 6212839 140735865901808 140735865899960 4333864 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 9419 9064 234 493 0 8924 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 46828
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20253
/proc/meminfo: memFree=29312712/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=47900 CPUtime=222.25 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 12183 0 0 0 22223 2 0 0 20 0 1 0 285069381 49049600 11593 33554432000 4194304 6212839 140735865901808 140735865899816 4705179 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 11975 11593 234 493 0 11480 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 57052
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20253
/proc/meminfo: memFree=29309772/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=54244 CPUtime=282.24 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 13783 0 0 0 28222 2 0 0 20 0 1 0 285069381 55545856 13193 33554432000 4194304 6212839 140735865901808 140735865899816 4686028 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 13561 13193 234 493 0 13066 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 63396
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20253
/proc/meminfo: memFree=29289108/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=65516 CPUtime=342.21 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 16652 0 0 0 34218 3 0 0 20 0 1 0 285069381 67088384 16065 33554432000 4194304 6212839 140735865901808 140735865899960 4674320 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 16379 16065 234 493 0 15884 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 74668
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20254
/proc/meminfo: memFree=29175772/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=99256 CPUtime=1062.1 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 25529 0 0 0 106204 6 0 0 20 0 1 0 285069381 101638144 24505 33554432000 4194304 6212839 140735865901808 140735865899816 4686062 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 24814 24505 234 493 0 24319 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 108408
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20259
/proc/meminfo: memFree=28991272/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=104328 CPUtime=1122.09 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 26745 0 0 0 112203 6 0 0 20 0 1 0 285069381 106831872 25721 33554432000 4194304 6212839 140735865901808 140735865899816 4661272 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 26082 25721 234 493 0 25587 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 113480
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 20267
/proc/meminfo: memFree=29823504/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=104328 CPUtime=1182.08 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 26745 0 0 0 118202 6 0 0 20 0 1 0 285069381 106831872 25721 33554432000 4194304 6212839 140735865901808 140735865899816 4685827 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 26082 25721 234 493 0 25587 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 113480
[startup+1242.3 s]
/proc/loadavg: 1.37 1.82 1.94 2/172 20284
/proc/meminfo: memFree=29835960/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=104328 CPUtime=1242.07 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 26750 0 0 0 124201 6 0 0 20 0 1 0 285069381 106831872 25738 33554432000 4194304 6212839 140735865901808 140735865899816 4681551 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 26082 25738 234 493 0 25587 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 113480
[startup+1302.3 s]
/proc/loadavg: 1.13 1.66 1.87 2/172 20285
/proc/meminfo: memFree=29834224/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=105912 CPUtime=1302.06 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 27144 0 0 0 130200 6 0 0 20 0 1 0 285069381 108453888 26132 33554432000 4194304 6212839 140735865901808 140735865899816 4739450 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 26478 26132 234 493 0 25983 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 115064
[startup+1362.3 s]
/proc/loadavg: 1.05 1.54 1.82 2/173 20288
/proc/meminfo: memFree=29821628/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=119268 CPUtime=1362.05 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 30430 0 0 0 136198 7 0 0 20 0 1 0 285069381 122130432 29448 33554432000 4194304 6212839 140735865901808 140735865900104 4745296 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 29817 29448 234 493 0 29322 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 128420
[startup+1422.31 s]
/proc/loadavg: 1.02 1.44 1.76 2/172 20288
/proc/meminfo: memFree=29821732/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=119268 CPUtime=1422.04 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 30434 0 0 0 142197 7 0 0 20 0 1 0 285069381 122130432 29463 33554432000 4194304 6212839 140735865901808 140735865900104 4298110 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 29817 29463 234 493 0 29322 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 128420
[startup+1482.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/172 20288
/proc/meminfo: memFree=29821608/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=119268 CPUtime=1482.03 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 30434 0 0 0 148196 7 0 0 20 0 1 0 285069381 122130432 29463 33554432000 4194304 6212839 140735865901808 140735865900104 4743836 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 29817 29463 234 493 0 29322 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 128420
[startup+1542.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 20288
/proc/meminfo: memFree=29810944/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=129888 CPUtime=1542.01 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 33113 0 0 0 154194 7 0 0 20 0 1 0 285069381 133005312 32142 33554432000 4194304 6212839 140735865901808 140735865899816 4635082 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 32472 32142 234 493 0 31977 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 139040
[startup+1602.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/172 20289
/proc/meminfo: memFree=29810936/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=129888 CPUtime=1602.01 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 33116 0 0 0 160194 7 0 0 20 0 1 0 285069381 133005312 32171 33554432000 4194304 6212839 140735865901808 140735865899816 4681533 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 32472 32171 234 493 0 31977 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 139040
[startup+1662.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/172 20289
/proc/meminfo: memFree=29810816/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=129888 CPUtime=1662 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 33116 0 0 0 166193 7 0 0 20 0 1 0 285069381 133005312 32171 33554432000 4194304 6212839 140735865901808 140735865899816 4744784 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 32472 32171 234 493 0 31977 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 139040
[startup+1722.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/172 20289
/proc/meminfo: memFree=29810816/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=129888 CPUtime=1721.99 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 33116 0 0 0 172192 7 0 0 20 0 1 0 285069381 133005312 32171 33554432000 4194304 6212839 140735865901808 140735865899816 4683115 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 32472 32171 234 493 0 31977 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 139040
[startup+1782.3 s]
/proc/loadavg: 1.00 1.12 1.50 2/172 20289
/proc/meminfo: memFree=29810816/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=129888 CPUtime=1781.98 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 33116 0 0 0 178191 7 0 0 20 0 1 0 285069381 133005312 32171 33554432000 4194304 6212839 140735865901808 140735865899816 4373182 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 32472 32171 234 493 0 31977 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 139040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.00 1.11 1.50 2/172 20289
/proc/meminfo: memFree=29808832/32873648 swapFree=7368/7368
[pid=20247] ppid=20245 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/20247/stat : 20247 (clasp-opt.sh) S 20245 20247 15493 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285069381 9371648 275 33554432000 4194304 5064252 140736362746272 140736362745184 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20247/statm: 2288 275 232 213 0 73 0
[pid=20248] ppid=20247 vsize=131892 CPUtime=1800.08 cores=1,3,5,7
/proc/20248/stat : 20248 (clasp-R5325) R 20247 20247 15493 0 -1 4202496 33584 0 0 0 180001 7 0 0 20 0 1 0 285069381 135057408 32639 33554432000 4194304 6212839 140735865901808 140735865899816 4683489 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/20248/statm: 32973 32639 234 493 0 32478 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 141044
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1800.02
CPU system time (s): 0.080987
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 141044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.080987
maximum resident set size= 130600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33960
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= 59
involuntary context switches= 1851
runsolver used 3.2645 second user time and 8.30574 second system time
The end