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-3731437-1338695655/watcher-3731437-1338695655 -o /tmp/evaluation-result-3731437-1338695655/solver-3731437-1338695655 -C 1800 -W 1900 -M 15500 pbclasp instance-3731437-1338695655.opb HOME/temp
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.00 2.00 1.91 3/176 30169
/proc/meminfo: memFree=29034248/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) D 30167 30169 22814 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 335693892 26071040 362 33554432000 4194304 4198148 140734006734384 140734006731832 226329706165 0 0 4224 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/30169/statm: 6365 362 277 1 0 160 0
[startup+0.040535 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30169
/proc/meminfo: memFree=29034248/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 335693892 26341376 521 33554432000 4194304 4198148 140734006734384 140734006733272 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30169/statm: 6431 521 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100215 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30169
/proc/meminfo: memFree=29034248/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.06 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) R 30167 30169 22814 0 -1 4202496 890 5724 0 0 0 0 6 0 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226329520973 0 0 4224 16384 0 0 0 17 5 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25724
[startup+0.300186 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30169
/proc/meminfo: memFree=29034248/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25724
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30169
/proc/meminfo: memFree=29034248/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25724
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30195
/proc/meminfo: memFree=29031212/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=5012 CPUtime=1.38 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 847 0 0 0 138 0 0 0 20 0 1 0 335693903 5132288 744 33554432000 134512640 134847168 4291988976 4291987724 134737613 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 1253 744 270 82 0 494 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 39884
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30195
/proc/meminfo: memFree=29030220/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=5388 CPUtime=2.98 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 932 0 0 0 298 0 0 0 20 0 1 0 335693903 5517312 829 33554432000 134512640 134847168 4291988976 4291987280 134791669 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 1347 829 270 82 0 588 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40260
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30195
/proc/meminfo: memFree=29029352/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=5768 CPUtime=6.18 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 1042 0 0 0 618 0 0 0 20 0 1 0 335693903 5906432 939 33554432000 134512640 134847168 4291988976 4291987552 134714688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 1442 939 270 82 0 683 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40640
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30195
/proc/meminfo: memFree=29028400/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=6232 CPUtime=12.58 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 1138 0 0 0 1258 0 0 0 20 0 1 0 335693903 6381568 1035 33554432000 134512640 134847168 4291988976 4291987244 134793605 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 1558 1035 270 82 0 799 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 41104
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30195
/proc/meminfo: memFree=29027412/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=6720 CPUtime=25.38 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 1271 0 0 0 2538 0 0 0 20 0 1 0 335693903 6881280 1170 33554432000 134512640 134847168 4291988976 4291987744 134617504 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 1680 1170 270 82 0 921 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 41592
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30196
/proc/meminfo: memFree=29025932/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=7540 CPUtime=50.97 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 1469 0 0 0 5097 0 0 0 20 0 1 0 335693903 7720960 1368 33554432000 134512640 134847168 4291988976 4291987680 134616608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 1885 1368 270 82 0 1126 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 42412
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30196
/proc/meminfo: memFree=29024752/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=8008 CPUtime=102.17 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 1604 0 0 0 10217 0 0 0 20 0 1 0 335693903 8200192 1502 33554432000 134512640 134847168 4291988976 4291987552 134742230 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 2002 1502 270 82 0 1243 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 42880
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30196
/proc/meminfo: memFree=29023324/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=8676 CPUtime=162.16 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 1774 0 0 0 16216 0 0 0 20 0 1 0 335693903 8884224 1663 33554432000 134512640 134847168 4291988976 4291987544 134715109 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 2169 1663 270 82 0 1410 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 43548
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30196
/proc/meminfo: memFree=29022456/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=0.07 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 970 7056 0 0 0 0 6 1 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30193] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30193/stat : 30193 (sh) S 30169 30169 22814 0 -1 4202496 374 221 0 0 0 0 0 0 20 0 1 0 335693903 9367552 264 33554432000 4194304 5064252 140733305538432 140733305536688 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30193/statm: 2287 264 223 213 0 72 0
[pid=30195] ppid=30193 vsize=9252 CPUtime=222.15 cores=1,3,5,7
/proc/30195/stat : 30195 (clasp-1.0) R 30193 30169 22814 0 -1 4202496 1926 0 0 0 22215 0 0 0 20 0 1 0 335693903 9474048 1810 33554432000 134512640 134847168 4291988976 4291987600 134784690 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30195/statm: 2313 1810 270 82 0 1554 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 44124
[startup+282.3 s]
################
# More data... #
################
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=11556 CPUtime=757.15 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 2548 0 0 0 75715 0 0 0 20 0 1 0 335760394 11833344 2391 33554432000 134512640 134847168 4292104160 4292102896 134740959 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 2889 2391 272 82 0 2130 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 46428
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 30368
/proc/meminfo: memFree=29019504/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=664.87 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1070 11472 0 0 0 0 66485 2 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30240] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=11620 CPUtime=817.14 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 2565 0 0 0 81714 0 0 0 20 0 1 0 335760394 11898880 2406 33554432000 134512640 134847168 4292104160 4292102840 134789714 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 2905 2406 272 82 0 2146 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 46492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 30368
/proc/meminfo: memFree=29019192/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=664.87 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1070 11472 0 0 0 0 66485 2 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30240] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=11648 CPUtime=877.13 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 2589 0 0 0 87713 0 0 0 20 0 1 0 335760394 11927552 2414 33554432000 134512640 134847168 4292104160 4292102844 134789696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 2912 2414 272 82 0 2153 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 46520
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 30372
/proc/meminfo: memFree=29018316/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=664.87 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1070 11472 0 0 0 0 66485 2 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30240] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=11920 CPUtime=937.12 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 2801 0 0 0 93712 0 0 0 20 0 1 0 335760394 12206080 2452 33554432000 134512640 134847168 4292104160 4292102464 134791714 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 2980 2452 272 82 0 2221 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 46792
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 30372
/proc/meminfo: memFree=29018200/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=664.87 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1070 11472 0 0 0 0 66485 2 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30240] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=11780 CPUtime=997.11 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 2973 0 0 0 99711 0 0 0 20 0 1 0 335760394 12062720 2446 33554432000 134512640 134847168 4292104160 4292102736 134742277 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 2945 2446 272 82 0 2186 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 46652
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 30372
/proc/meminfo: memFree=29016896/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=664.87 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1070 11472 0 0 0 0 66485 2 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30240] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=12476 CPUtime=1057.1 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 3159 0 0 0 105710 0 0 0 20 0 1 0 335760394 12775424 2609 33554432000 134512640 134847168 4292104160 4292102436 134792577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 3119 2609 272 82 0 2360 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 47348
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 30372
/proc/meminfo: memFree=29016584/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=664.87 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1070 11472 0 0 0 0 66485 2 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30240] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=12488 CPUtime=1117.1 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 3182 0 0 0 111709 1 0 0 20 0 1 0 335760394 12787712 2625 33554432000 134512640 134847168 4292104160 4292102784 134784700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 3122 2625 272 82 0 2363 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 47360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 30372
/proc/meminfo: memFree=29016584/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=664.87 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1070 11472 0 0 0 0 66485 2 20 0 1 0 335693892 26341376 553 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 553 387 1 0 226 0
[pid=30240] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30240/stat : 30240 (sh) S 30169 30169 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140734485938144 140734485936400 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30240/statm: 2287 263 223 213 0 72 0
[pid=30242] ppid=30240 vsize=12636 CPUtime=1135.2 cores=1,3,5,7
/proc/30242/stat : 30242 (clasp-1.0) R 30240 30169 22814 0 -1 4202496 3206 0 0 0 113519 1 0 0 20 0 1 0 335760394 12939264 2649 33554432000 134512640 134847168 4292104160 4292102844 134789696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30242/statm: 3159 2649 272 82 0 2400 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 47508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30169
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 30391
/proc/meminfo: memFree=29031740/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=1800.09 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1246 17445 0 0 0 0 180005 4 20 0 1 0 335693892 26341376 555 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 555 387 1 0 226 0
[pid=30385] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30385/stat : 30385 (sh) S 30169 30169 22814 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140736095510080 140736095508336 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30385/statm: 2287 263 223 213 0 72 0
[pid=30388] ppid=30385 vsize=4884 CPUtime=0.96 cores=1,3,5,7
/proc/30388/stat : 30388 (clasp-1.0) R 30385 30169 22814 0 -1 4202496 810 0 0 0 96 0 0 0 20 0 1 0 335873935 5001216 708 33554432000 134512640 134847168 4287442848 4287441388 134713616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30388/statm: 1221 708 270 82 0 462 0
Current children cumulated CPU time (s) 1801.05
Current children cumulated vsize (KiB) 39756
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 30391
/proc/meminfo: memFree=29030516/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=1800.09 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1246 17445 0 0 0 0 180005 4 20 0 1 0 335693892 26341376 555 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 555 387 1 0 226 0
[pid=30385] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30385/stat : 30385 (sh) S 30169 30169 22814 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140736095510080 140736095508336 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30385/statm: 2287 263 223 213 0 72 0
[pid=30388] ppid=30385 vsize=5264 CPUtime=1.76 cores=1,3,5,7
/proc/30388/stat : 30388 (clasp-1.0) R 30385 30169 22814 0 -1 4202496 888 0 0 0 176 0 0 0 20 0 1 0 335873935 5390336 786 33554432000 134512640 134847168 4287442848 4287441472 134784670 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30388/statm: 1316 786 270 82 0 557 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 40136
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 30391
/proc/meminfo: memFree=29030516/32873844 swapFree=6088/6088
[pid=30169] ppid=30167 vsize=25724 CPUtime=1800.09 cores=1,3,5,7
/proc/30169/stat : 30169 (pbclasp) S 30167 30169 22814 0 -1 4202496 1246 17445 0 0 0 0 180005 4 20 0 1 0 335693892 26341376 555 33554432000 4194304 4198148 140734006734384 140734006733312 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30169/statm: 6431 555 387 1 0 226 0
[pid=30385] ppid=30169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30385/stat : 30385 (sh) S 30169 30169 22814 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 335873935 9367552 263 33554432000 4194304 5064252 140736095510080 140736095508336 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30385/statm: 2287 263 223 213 0 72 0
[pid=30388] ppid=30385 vsize=5264 CPUtime=1.96 cores=1,3,5,7
/proc/30388/stat : 30388 (clasp-1.0) R 30385 30169 22814 0 -1 4202496 896 0 0 0 196 0 0 0 20 0 1 0 335873935 5390336 794 33554432000 134512640 134847168 4287442848 4287441472 134784673 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30388/statm: 1316 794 270 82 0 557 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 40136
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.11
CPU user time (s): 1802.05
CPU system time (s): 0.06399
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 47552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802.05
system time used= 0.06399
maximum resident set size= 10596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20311
page faults= 0
swaps= 0
block input operations= 0
block output operations= 672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159
involuntary context switches= 1901
runsolver used 2.84757 second user time and 6.99594 second system time
The end