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-3734583-1338718716/watcher-3734583-1338718716 -o /tmp/evaluation-result-3734583-1338718716/solver-3734583-1338718716 -C 1800 -W 1900 -M 15500 pbclasp instance-3734583-1338718716.opb HOME/temp
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.06 2.05 1.95 3/176 19105
/proc/meminfo: memFree=23414848/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) R 19103 19105 27890 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 338000212 26071040 439 33554432000 4194304 4198148 140736860925712 140736860923160 235386775276 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/19105/statm: 6365 439 343 1 0 160 0
[startup+0.0657459 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 19105
/proc/meminfo: memFree=23414848/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26288 CPUtime=0.04 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 753 0 0 0 4 0 0 0 20 0 1 0 338000212 26918912 666 33554432000 4194304 4198148 140736860925712 140736860924600 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19105/statm: 6572 666 368 1 0 367 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26288
[startup+0.100215 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 19105
/proc/meminfo: memFree=23414848/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26288 CPUtime=0.04 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 753 0 0 0 4 0 0 0 20 0 1 0 338000212 26918912 666 33554432000 4194304 4198148 140736860925712 140736860924600 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19105/statm: 6572 666 368 1 0 367 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26288
[startup+0.300237 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 19105
/proc/meminfo: memFree=23414848/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.17 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 943 2102 0 0 4 0 13 0 20 0 1 0 338000212 27189248 736 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19105/statm: 6638 736 387 1 0 433 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 26552
[startup+0.700113 s]
/proc/loadavg: 2.06 2.05 1.95 3/176 19105
/proc/meminfo: memFree=23414848/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.62 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1464 10545 0 0 5 0 54 3 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 26552
[startup+1.50025 s]
/proc/loadavg: 2.06 2.05 1.95 3/179 19147
/proc/meminfo: memFree=23410584/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=9692 CPUtime=0.69 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 1998 0 0 0 69 0 0 0 20 0 1 0 338000291 9924608 1896 33554432000 134512640 134847168 4289013024 4289011488 134713707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 2423 1896 270 82 0 1664 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45392
[startup+3.10025 s]
/proc/loadavg: 2.06 2.05 1.95 3/179 19147
/proc/meminfo: memFree=23405788/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=11900 CPUtime=2.29 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 2562 0 0 0 229 0 0 0 20 0 1 0 338000291 12185600 2473 33554432000 134512640 134847168 4289013024 4289011664 134715248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 2975 2473 270 82 0 2216 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47600
[startup+6.30025 s]
/proc/loadavg: 2.05 2.05 1.95 3/179 19147
/proc/meminfo: memFree=23403672/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=13572 CPUtime=5.5 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 3163 0 0 0 549 1 0 0 20 0 1 0 338000291 13897728 2880 33554432000 134512640 134847168 4289013024 4289011708 134715846 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 3393 2880 270 82 0 2634 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 49272
[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 1.95 3/179 19147
/proc/meminfo: memFree=23400712/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=15592 CPUtime=11.89 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 3663 0 0 0 1188 1 0 0 20 0 1 0 338000291 15966208 3380 33554432000 134512640 134847168 4289013024 4289011728 134616816 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 3898 3380 270 82 0 3139 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51292
[startup+25.5002 s]
/proc/loadavg: 2.11 2.06 1.95 3/179 19147
/proc/meminfo: memFree=23398496/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=17164 CPUtime=24.69 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 4314 0 0 0 2468 1 0 0 20 0 1 0 338000291 17575936 3790 33554432000 134512640 134847168 4289013024 4289011664 134715302 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 4291 3790 270 82 0 3532 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 52864
[startup+51.1002 s]
/proc/loadavg: 2.07 2.05 1.95 3/179 19147
/proc/meminfo: memFree=23395580/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=20436 CPUtime=50.28 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 5280 0 0 0 5027 1 0 0 20 0 1 0 338000291 20926464 4602 33554432000 134512640 134847168 4289013024 4289011648 134784592 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 5109 4602 270 82 0 4350 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56136
[startup+102.306 s]
/proc/loadavg: 2.09 2.06 1.96 3/180 19150
/proc/meminfo: memFree=23390732/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=24464 CPUtime=101.47 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 6975 0 0 0 10145 2 0 0 20 0 1 0 338000291 25051136 5610 33554432000 134512640 134847168 4289013024 4289011664 134715383 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 6116 5610 270 82 0 5357 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 60164
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 1.96 3/179 19151
/proc/meminfo: memFree=23388628/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=26496 CPUtime=161.46 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 7964 0 0 0 16144 2 0 0 20 0 1 0 338000291 27131904 6114 33554432000 134512640 134847168 4289013024 4289011648 134784617 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 6624 6114 270 82 0 5865 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 62196
[startup+222.3 s]
/proc/loadavg: 2.07 2.05 1.96 3/179 19151
/proc/meminfo: memFree=23386208/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=28948 CPUtime=221.45 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 8738 0 0 0 22143 2 0 0 20 0 1 0 338000291 29642752 6729 33554432000 134512640 134847168 4289013024 4289011792 134617498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19147/statm: 7237 6729 270 82 0 6478 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 64648
[startup+282.3 s]
################
# More data... #
################
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=42496 CPUtime=1421.25 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 21467 0 0 0 142119 6 0 0 20 0 1 0 338000291 43515904 10123 33554432000 134512640 134847168 4289013024 4289011708 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 10624 10123 270 82 0 9865 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 78196
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 19259
/proc/meminfo: memFree=23375236/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=42436 CPUtime=1481.23 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 21690 0 0 0 148117 6 0 0 20 0 1 0 338000291 43454464 10108 33554432000 134512640 134847168 4289013024 4289011744 134741339 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 10609 10108 270 82 0 9850 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 78136
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 19267
/proc/meminfo: memFree=23376352/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=42720 CPUtime=1541.22 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 22022 0 0 0 154116 6 0 0 20 0 1 0 338000291 43745280 10175 33554432000 134512640 134847168 4289013024 4289011708 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 10680 10175 270 82 0 9921 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 78420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 19276
/proc/meminfo: memFree=23376156/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=42372 CPUtime=1601.21 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 22271 0 0 0 160114 7 0 0 20 0 1 0 338000291 43388928 10092 33554432000 134512640 134847168 4289013024 4289011708 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 10593 10092 270 82 0 9834 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 78072
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 19277
/proc/meminfo: memFree=23375480/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=43004 CPUtime=1661.2 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 22478 0 0 0 166113 7 0 0 20 0 1 0 338000291 44036096 10245 33554432000 134512640 134847168 4289013024 4289011712 134616828 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 10751 10245 270 82 0 9992 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 78704
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19277
/proc/meminfo: memFree=23373308/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=44944 CPUtime=1721.2 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 23889 0 0 0 172112 8 0 0 20 0 1 0 338000291 46022656 10735 33554432000 134512640 134847168 4289013024 4289011704 134789717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 11236 10735 270 82 0 10477 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 80644
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19277
/proc/meminfo: memFree=23372500/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=45168 CPUtime=1781.19 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 24080 0 0 0 178111 8 0 0 20 0 1 0 338000291 46252032 10791 33554432000 134512640 134847168 4289013024 4289011708 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 11292 10791 270 82 0 10533 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 80868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19277
/proc/meminfo: memFree=23372500/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=0.77 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1596 13380 0 0 6 0 67 4 20 0 1 0 338000212 27189248 743 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19105/statm: 6638 743 387 1 0 433 0
[pid=19145] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19145/stat : 19145 (sh) S 19105 19105 27890 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 338000291 9367552 264 33554432000 4194304 5064252 140734447821936 140734447820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19145/statm: 2287 264 223 213 0 72 0
[pid=19147] ppid=19145 vsize=45936 CPUtime=1799.29 cores=0,2,4,6
/proc/19147/stat : 19147 (clasp-1.0) R 19145 19105 27890 0 -1 4202496 24241 0 0 0 179921 8 0 0 20 0 1 0 338000291 47038464 10952 33554432000 134512640 134847168 4289013024 4289011704 134784582 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19147/statm: 11484 10952 270 82 0 10725 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 81636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19105
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19296
/proc/meminfo: memFree=23413916/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=1800.08 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1781 40401 0 0 6 0 179989 13 20 0 1 0 338000212 27189248 744 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19105/statm: 6638 744 387 1 0 433 0
[pid=19286] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19286/stat : 19286 (sh) S 19105 19105 27890 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338180254 9367552 264 33554432000 4194304 5064252 140733571135776 140733571134032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19286/statm: 2287 264 223 213 0 72 0
[pid=19289] ppid=19286 vsize=9952 CPUtime=0.96 cores=0,2,4,6
/proc/19289/stat : 19289 (clasp-1.0) R 19286 19105 27890 0 -1 4202496 2049 0 0 0 96 0 0 0 20 0 1 0 338180255 10190848 1946 33554432000 134512640 134847168 4293671264 4293669892 134616088 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19289/statm: 2488 1946 270 82 0 1729 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 45652
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19296
/proc/meminfo: memFree=23408104/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=1800.08 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1781 40401 0 0 6 0 179989 13 20 0 1 0 338000212 27189248 744 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19105/statm: 6638 744 387 1 0 433 0
[pid=19286] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19286/stat : 19286 (sh) S 19105 19105 27890 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338180254 9367552 264 33554432000 4194304 5064252 140733571135776 140733571134032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19286/statm: 2287 264 223 213 0 72 0
[pid=19289] ppid=19286 vsize=11124 CPUtime=1.76 cores=0,2,4,6
/proc/19289/stat : 19289 (clasp-1.0) R 19286 19105 27890 0 -1 4202496 2350 0 0 0 176 0 0 0 20 0 1 0 338180255 11390976 2247 33554432000 134512640 134847168 4293671264 4293670032 134617555 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19289/statm: 2781 2247 270 82 0 2022 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 46824
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19296
/proc/meminfo: memFree=23408104/32873844 swapFree=7112/7112
[pid=19105] ppid=19103 vsize=26552 CPUtime=1800.08 cores=0,2,4,6
/proc/19105/stat : 19105 (pbclasp) S 19103 19105 27890 0 -1 4202496 1781 40401 0 0 6 0 179989 13 20 0 1 0 338000212 27189248 744 33554432000 4194304 4198148 140736860925712 140736860924640 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19105/statm: 6638 744 387 1 0 433 0
[pid=19286] ppid=19105 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19286/stat : 19286 (sh) S 19105 19105 27890 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 338180254 9367552 264 33554432000 4194304 5064252 140733571135776 140733571134032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19286/statm: 2287 264 223 213 0 72 0
[pid=19289] ppid=19286 vsize=11900 CPUtime=1.96 cores=0,2,4,6
/proc/19289/stat : 19289 (clasp-1.0) R 19286 19105 27890 0 -1 4202496 2560 0 0 0 196 0 0 0 20 0 1 0 338180255 12185600 2457 33554432000 134512640 134847168 4293671264 4293669840 134714390 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19289/statm: 2975 2457 270 82 0 2216 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 47600
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.1
CPU user time (s): 1801.94
CPU system time (s): 0.157975
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 81636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.94
system time used= 0.157975
maximum resident set size= 43808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 416
involuntary context switches= 2193
runsolver used 7.12192 second user time and 13.203 second system time
The end