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-3736116-1338729771/watcher-3736116-1338729771 -o /tmp/evaluation-result-3736116-1338729771/solver-3736116-1338729771 -C 1800 -W 1900 -M 15500 pbclasp instance-3736116-1338729771.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.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) R 23520 23522 27890 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 339105687 26492928 539 33554432000 4194304 4198148 140734746212032 140734450420296 235374350228 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6468 541 356 1 0 263 0
[startup+0.0124089 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=26396 CPUtime=0.01 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) R 23520 23522 27890 0 -1 4202496 759 0 0 0 1 0 0 0 20 0 1 0 339105687 27029504 689 33554432000 4194304 4198148 140734746212032 140734450420296 235374350228 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6599 690 356 1 0 394 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26396
[startup+0.100199 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27452
[startup+0.300177 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27452
[startup+0.700179 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 23522
/proc/meminfo: memFree=23396348/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27452
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23525
/proc/meminfo: memFree=23391820/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
[pid=23524] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23524/stat : 23524 (sh) S 23522 23522 27890 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 339105691 9367552 267 33554432000 4194304 5064252 140735585990608 140735585989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23524/statm: 2287 267 226 213 0 72 0
[pid=23525] ppid=23524 vsize=25856 CPUtime=1.45 cores=1,3,5,7
/proc/23525/stat : 23525 (pb2clasp1) R 23524 23522 27890 0 -1 4202496 663 0 0 0 145 0 0 0 20 0 1 0 339105691 26476544 573 33554432000 4194304 4198148 140734444121376 140734444111912 235387500887 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/23525/statm: 6464 573 378 1 0 259 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62456
[startup+3.10026 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23525
/proc/meminfo: memFree=23389712/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27452 CPUtime=0.03 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1051 0 0 0 3 0 0 0 20 0 1 0 339105687 28110848 964 33554432000 4194304 4198148 140734746212032 140734746210920 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6863 964 369 1 0 658 0
[pid=23524] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23524/stat : 23524 (sh) S 23522 23522 27890 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 339105691 9367552 267 33554432000 4194304 5064252 140735585990608 140735585989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23524/statm: 2287 267 226 213 0 72 0
[pid=23525] ppid=23524 vsize=25856 CPUtime=3.05 cores=1,3,5,7
/proc/23525/stat : 23525 (pb2clasp1) R 23524 23522 27890 0 -1 4202496 663 0 0 0 305 0 0 0 20 0 1 0 339105691 26476544 573 33554432000 4194304 4198148 140734444121376 140734444120360 235378107632 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/23525/statm: 6464 573 378 1 0 259 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62456
[startup+6.30026 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23525
/proc/meminfo: memFree=23386388/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27584 CPUtime=6.06 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1197 2165 0 0 4 0 600 2 20 0 1 0 339105687 28246016 1020 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6896 1020 387 1 0 691 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 27584
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23548
/proc/meminfo: memFree=23294924/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=10.53 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 1530 49470 0 0 4 0 1032 17 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23546] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/23546/stat : 23546 (sh) S 23522 23522 27890 0 -1 4202496 375 220 0 0 0 0 0 1 20 0 1 0 339106741 9367552 263 33554432000 4194304 5064252 140734287139392 140734287137648 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23546/statm: 2287 263 223 213 0 72 0
[pid=23548] ppid=23546 vsize=86008 CPUtime=2.14 cores=1,3,5,7
/proc/23548/stat : 23548 (clasp-1.0) R 23546 23522 27890 0 -1 4202496 21527 0 0 0 210 4 0 0 20 0 1 0 339106741 88072192 20627 33554432000 134512640 134847168 4289055936 4289054704 134617496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23548/statm: 21502 20627 272 82 0 20743 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 122872
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23604
/proc/meminfo: memFree=23310616/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=24.24 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 2430 214265 0 0 7 1 2346 70 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23602] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/23602/stat : 23602 (sh) S 23522 23522 27890 0 -1 4202496 377 221 0 0 0 0 0 1 20 0 1 0 339108108 9367552 264 33554432000 4194304 5064252 140736501663472 140736501661728 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23602/statm: 2287 264 223 213 0 72 0
[pid=23604] ppid=23602 vsize=88184 CPUtime=1.28 cores=1,3,5,7
/proc/23604/stat : 23604 (clasp-1.0) R 23602 23522 27890 0 -1 4202496 20453 0 0 0 124 4 0 0 20 0 1 0 339108108 90300416 20525 33554432000 134512640 134847168 4287027360 4287025964 1352156 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23604/statm: 22046 20525 264 82 0 21287 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 125048
[startup+51.1004 s]
/proc/loadavg: 2.13 2.04 2.01 3/180 23717
/proc/meminfo: memFree=23352464/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=50.38 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 4253 542702 0 0 13 2 4847 176 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23715] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23715/stat : 23715 (sh) S 23522 23522 27890 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339110716 9367552 264 33554432000 4194304 5064252 140736077469936 140736077468192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23715/statm: 2287 264 223 213 0 72 0
[pid=23716] ppid=23715 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/23716/stat : 23716 (cat) S 23715 23522 27890 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 339110716 4100096 122 33554432000 4194304 4236627 140733585755408 140733585754504 235374724576 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23716/statm: 1001 122 97 11 0 67 0
[pid=23717] ppid=23715 vsize=42064 CPUtime=0.79 cores=1,3,5,7
/proc/23717/stat : 23717 (clasp-1.0) R 23715 23522 27890 0 -1 4202496 9935 0 0 0 77 2 0 0 20 0 1 0 339110716 43073536 9832 33554432000 134512640 134847168 4286644896 4286640672 1628655 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23717/statm: 10516 9832 250 82 0 9757 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 82932
[startup+102.306 s]
/proc/loadavg: 2.05 2.03 2.00 3/180 23943
/proc/meminfo: memFree=23344504/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=102.04 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 7878 1203480 0 0 24 5 9797 378 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
[pid=23941] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23941/stat : 23941 (sh) S 23522 23522 27890 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 339115876 9367552 264 33554432000 4194304 5064252 140737284486128 140737284484384 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23941/statm: 2287 264 223 213 0 72 0
[pid=23942] ppid=23941 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/23942/stat : 23942 (cat) S 23941 23522 27890 0 -1 4202496 211 0 0 0 0 0 0 0 20 0 1 0 339115876 4100096 123 33554432000 4194304 4236627 140736525541232 140736525540328 235374724576 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23942/statm: 1001 123 97 11 0 67 0
[pid=23943] ppid=23941 vsize=24392 CPUtime=0.39 cores=1,3,5,7
/proc/23943/stat : 23943 (clasp-1.0) R 23941 23522 27890 0 -1 4202496 5631 0 0 0 39 0 0 0 20 0 1 0 339115876 24977408 5529 33554432000 134512640 134847168 4288209104 4288204656 1582375 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23943/statm: 6098 5529 251 82 0 5339 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 65260
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 24199
/proc/meminfo: memFree=23273640/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=161.9 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 12117 1985211 0 0 34 9 15534 613 20 0 1 0 339105687 28381184 1030 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1030 387 1 0 724 0
Current children cumulated CPU time (s) 161.9
Current children cumulated vsize (KiB) 27716
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 24287
/proc/meminfo: memFree=23271072/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=184.23 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 13430 2222569 0 0 37 10 17693 683 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24285] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24285/stat : 24285 (sh) S 23522 23522 27890 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 339124099 9367552 263 33554432000 4194304 5064252 140734403108144 140734403106400 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24285/statm: 2287 263 223 213 0 72 0
[pid=24287] ppid=24285 vsize=86008 CPUtime=38.16 cores=1,3,5,7
/proc/24287/stat : 24287 (clasp-1.0) R 24285 23522 27890 0 -1 4202496 21670 0 0 0 3812 4 0 0 20 0 1 0 339124099 88072192 20798 33554432000 134512640 134847168 4294096224 4294094992 134617488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24287/statm: 21502 20798 270 82 0 20743 0
Current children cumulated CPU time (s) 222.39
Current children cumulated vsize (KiB) 122872
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24319
/proc/meminfo: memFree=23262824/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=282.12 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 14162 2340515 0 0 39 10 27445 718 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
Current children cumulated CPU time (s) 282.12
################
# More data... #
################
[pid=24456] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/24456/stat : 24456 (sh) S 23522 23522 27890 0 -1 4202496 374 220 0 0 0 0 0 1 20 0 1 0 339237617 9367552 264 33554432000 4194304 5064252 140734611701696 140734611699952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24456/statm: 2287 264 223 213 0 72 0
[pid=24458] ppid=24456 vsize=86008 CPUtime=162.94 cores=1,3,5,7
/proc/24458/stat : 24458 (clasp-1.0) R 24456 23522 27890 0 -1 4202496 21542 0 0 0 16292 2 0 0 20 0 1 0 339237617 88072192 20669 33554432000 134512640 134847168 4287199296 4287197984 134735816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24458/statm: 21502 20669 270 82 0 20743 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 122872
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24458
/proc/meminfo: memFree=23235724/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1319.05 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16190 2696881 0 0 45 12 131018 830 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24456] ppid=23522 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/24456/stat : 24456 (sh) S 23522 23522 27890 0 -1 4202496 374 220 0 0 0 0 0 1 20 0 1 0 339237617 9367552 264 33554432000 4194304 5064252 140734611701696 140734611699952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24456/statm: 2287 264 223 213 0 72 0
[pid=24458] ppid=24456 vsize=86008 CPUtime=222.93 cores=1,3,5,7
/proc/24458/stat : 24458 (clasp-1.0) R 24456 23522 27890 0 -1 4202496 21542 0 0 0 22291 2 0 0 20 0 1 0 339237617 88072192 20669 33554432000 134512640 134847168 4287199296 4287197988 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24458/statm: 21502 20669 270 82 0 20743 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 122872
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 24538
/proc/meminfo: memFree=23303172/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=38.64 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21613 0 0 0 3860 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288856016 134617547 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 122872
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 24549
/proc/meminfo: memFree=23300792/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=98.63 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 9859 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855872 134784634 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 122872
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24549
/proc/meminfo: memFree=23297508/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=158.62 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 15858 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855940 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 122872
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24549
/proc/meminfo: memFree=23295148/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=218.61 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 21857 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855872 134784651 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 122872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24549
/proc/meminfo: memFree=23293536/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1563.34 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16295 2720371 0 0 45 12 155441 836 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24476] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24476/stat : 24476 (sh) S 23522 23522 27890 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 339262050 9367552 263 33554432000 4194304 5064252 140736857136832 140736857135088 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24476/statm: 2287 263 223 213 0 72 0
[pid=24478] ppid=24476 vsize=86008 CPUtime=236.72 cores=1,3,5,7
/proc/24478/stat : 24478 (clasp-1.0) R 24476 23522 27890 0 -1 4202496 21614 0 0 0 23668 4 0 0 20 0 1 0 339262050 88072192 20745 33554432000 134512640 134847168 4288857248 4288855872 134784694 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24478/statm: 21502 20745 270 82 0 20743 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 122872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23522
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24568
/proc/meminfo: memFree=23382756/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1800.11 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16474 2744768 0 0 45 12 179110 844 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24566] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24566/stat : 24566 (sh) S 23522 23522 27890 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 339285730 9367552 264 33554432000 4194304 5064252 140733620385488 140733620383744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24566/statm: 2287 264 223 213 0 72 0
[pid=24568] ppid=24566 vsize=70192 CPUtime=0.95 cores=1,3,5,7
/proc/24568/stat : 24568 (clasp-1.0) R 24566 23522 27890 0 -1 4202496 16231 0 0 0 93 2 0 0 20 0 1 0 339285730 71876608 16235 33554432000 134512640 134847168 4292681168 4292679136 8419823 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24568/statm: 17548 16235 259 82 0 16789 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 107056
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24568
/proc/meminfo: memFree=23308796/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1800.11 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16474 2744768 0 0 45 12 179110 844 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24566] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24566/stat : 24566 (sh) S 23522 23522 27890 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 339285730 9367552 264 33554432000 4194304 5064252 140733620385488 140733620383744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24566/statm: 2287 264 223 213 0 72 0
[pid=24568] ppid=24566 vsize=86008 CPUtime=1.75 cores=1,3,5,7
/proc/24568/stat : 24568 (clasp-1.0) R 24566 23522 27890 0 -1 4202496 21516 0 0 0 172 3 0 0 20 0 1 0 339285730 88072192 20615 33554432000 134512640 134847168 4292681168 4292679936 134617496 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24568/statm: 21502 20615 272 82 0 20743 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 122872
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24568
/proc/meminfo: memFree=23308796/32873844 swapFree=7112/7112
[pid=23522] ppid=23520 vsize=27716 CPUtime=1800.11 cores=1,3,5,7
/proc/23522/stat : 23522 (pbclasp) S 23520 23522 27890 0 -1 4202496 16474 2744768 0 0 45 12 179110 844 20 0 1 0 339105687 28381184 1033 33554432000 4194304 4198148 140734746212032 140734746210960 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23522/statm: 6929 1033 387 1 0 724 0
[pid=24566] ppid=23522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24566/stat : 24566 (sh) S 23522 23522 27890 0 -1 4202496 376 221 0 0 0 0 0 0 20 0 1 0 339285730 9367552 264 33554432000 4194304 5064252 140733620385488 140733620383744 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24566/statm: 2287 264 223 213 0 72 0
[pid=24568] ppid=24566 vsize=86008 CPUtime=1.95 cores=1,3,5,7
/proc/24568/stat : 24568 (clasp-1.0) R 24566 23522 27890 0 -1 4202496 21516 0 0 0 192 3 0 0 20 0 1 0 339285730 88072192 20615 33554432000 134512640 134847168 4292681168 4292679936 134617536 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24568/statm: 21502 20615 272 82 0 20743 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 122872
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23522 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=558641
# childrusage.ru_stime.tv_sec=8
# childrusage.ru_stime.tv_usec=578695
# CPU time returned by wait4() is 1800.14
# while last known CPU time is 1802.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.42
CPU time (s): 1802.06
CPU user time (s): 1793.47
CPU system time (s): 8.59
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 141064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.56
system time used= 8.57869
maximum resident set size= 100952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2762366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1531392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 190179
involuntary context switches= 4896
runsolver used 8.02878 second user time and 12.7021 second system time
The end