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-3741387-1338777445/watcher-3741387-1338777445 -o /tmp/evaluation-result-3741387-1338777445/solver-3741387-1338777445 -C 1800 -W 1900 -M 15500 pbclasp instance-3741387-1338777445.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: 3.89 3.61 2.65 4/176 560
/proc/meminfo: memFree=28880872/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) D 557 559 20179 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 343868929 26071040 362 33554432000 4194304 4198148 140736446145600 140736446143048 239237676725 0 0 4224 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6365 362 277 1 0 160 0
[startup+0.0691081 s]
/proc/loadavg: 3.89 3.61 2.65 4/176 560
/proc/meminfo: memFree=28880872/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 343868929 26492928 557 33554432000 4194304 4198148 140736446145600 140736446144488 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6468 557 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.100224 s]
/proc/loadavg: 3.89 3.61 2.65 4/176 560
/proc/meminfo: memFree=28880872/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 343868929 26492928 557 33554432000 4194304 4198148 140736446145600 140736446144488 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6468 557 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.30021 s]
/proc/loadavg: 3.89 3.61 2.65 4/176 560
/proc/meminfo: memFree=28880872/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 343868929 26492928 557 33554432000 4194304 4198148 140736446145600 140736446144488 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6468 557 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.700209 s]
/proc/loadavg: 3.89 3.61 2.65 4/176 560
/proc/meminfo: memFree=28880872/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 343868929 26492928 557 33554432000 4194304 4198148 140736446145600 140736446144488 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6468 557 368 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+1.50026 s]
/proc/loadavg: 3.89 3.61 2.65 3/180 1386
/proc/meminfo: memFree=28878244/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 644 0 0 0 0 0 0 0 20 0 1 0 343868929 26492928 557 33554432000 4194304 4198148 140736446145600 140736446144488 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6468 557 368 1 0 263 0
[pid=569] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/569/stat : 569 (sh) S 559 559 20179 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 343868930 9367552 267 33554432000 4194304 5064252 140736301896912 140736301895792 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/569/statm: 2287 267 226 213 0 72 0
[pid=570] ppid=569 vsize=25848 CPUtime=1.48 cores=1,3,5,7
/proc/570/stat : 570 (pb2clasp1) R 569 559 20179 0 -1 4202496 647 0 0 0 148 0 0 0 20 0 1 0 343868930 26468352 556 33554432000 4194304 4198148 140734217992192 140734217982728 239241061520 0 0 4224 0 0 0 0 17 5 0 0 0 0 0
/proc/570/statm: 6462 556 378 1 0 257 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 60868
[startup+3.10026 s]
/proc/loadavg: 3.89 3.61 2.65 4/180 2354
/proc/meminfo: memFree=28876092/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=3.01 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 725 2145 0 0 0 0 300 1 20 0 1 0 343868929 26492928 578 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6468 578 387 1 0 263 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 25872
[startup+6.30026 s]
/proc/loadavg: 3.65 3.57 2.64 3/179 4952
/proc/meminfo: memFree=28848384/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=3.01 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 725 2145 0 0 0 0 300 1 20 0 1 0 343868929 26492928 578 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/559/statm: 6468 578 387 1 0 263 0
[pid=2951] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2951/stat : 2951 (sh) S 559 559 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343869233 9367552 264 33554432000 4194304 5064252 140737295040128 140737295038384 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2951/statm: 2287 264 223 213 0 72 0
[pid=2955] ppid=2951 vsize=27168 CPUtime=3.25 cores=1,3,5,7
/proc/2955/stat : 2955 (clasp-1.0) R 2951 559 20179 0 -1 4202496 6444 0 0 0 325 0 0 0 20 0 1 0 343869233 27820032 6188 33554432000 134512640 134847168 4288031600 4288030368 134737644 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2955/statm: 6792 6188 270 82 0 6033 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 62188
[startup+12.7002 s]
/proc/loadavg: 3.52 3.54 2.64 5/182 10234
/proc/meminfo: memFree=28845984/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=12.06 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 846 10557 0 0 0 0 1201 5 20 0 1 0 343868929 26492928 581 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/559/statm: 6468 581 387 1 0 263 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 25872
[startup+25.5003 s]
/proc/loadavg: 3.03 3.43 2.62 3/180 20555
/proc/meminfo: memFree=28846860/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=21.69 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 971 19260 0 0 0 0 2161 8 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=17899] ppid=559 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/17899/stat : 17899 (sh) S 559 559 20179 0 -1 4202496 373 220 0 0 0 0 0 1 20 0 1 0 343871102 9367552 264 33554432000 4194304 5064252 140736251709088 140736251707344 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17899/statm: 2287 264 223 213 0 72 0
[pid=17903] ppid=17899 vsize=27168 CPUtime=3.76 cores=1,3,5,7
/proc/17903/stat : 17903 (clasp-1.0) R 17899 559 20179 0 -1 4202496 6447 0 0 0 375 1 0 0 20 0 1 0 343871102 27820032 6189 33554432000 134512640 134847168 4286691248 4286689824 134714254 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17903/statm: 6792 6189 272 82 0 6033 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62188
[startup+51.1004 s]
/proc/loadavg: 2.40 3.25 2.58 3/180 8087
/proc/meminfo: memFree=28844136/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=49.59 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 1096 31282 0 0 0 0 4946 13 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=7383] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7383/stat : 7383 (sh) S 559 559 20179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 343873892 9367552 263 33554432000 4194304 5064252 140733738041840 140733738040096 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7383/statm: 2287 263 223 213 0 72 0
[pid=7385] ppid=7383 vsize=27168 CPUtime=1.46 cores=1,3,5,7
/proc/7385/stat : 7385 (clasp-1.0) R 7383 559 20179 0 -1 4202496 6444 0 0 0 145 1 0 0 20 0 1 0 343873892 27820032 6187 33554432000 134512640 134847168 4293884080 4293882656 134715031 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7385/statm: 6792 6187 270 82 0 6033 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 62188
[startup+102.307 s]
/proc/loadavg: 1.80 2.95 2.51 3/182 16339
/proc/meminfo: memFree=28838544/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=97.03 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 1340 53525 0 0 0 0 9675 28 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=12380] ppid=559 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/12380/stat : 12380 (sh) S 559 559 20179 0 -1 4202496 372 220 0 0 0 0 0 1 20 0 1 0 343878638 9367552 264 33554432000 4194304 5064252 140736050059344 140736050057600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12380/statm: 2287 264 223 213 0 72 0
[pid=12383] ppid=12380 vsize=27168 CPUtime=5.2 cores=1,3,5,7
/proc/12383/stat : 12383 (clasp-1.0) R 12380 559 20179 0 -1 4202496 6452 0 0 0 519 1 0 0 20 0 1 0 343878638 27820032 6194 33554432000 134512640 134847168 4294147376 4294145952 134714844 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12383/statm: 6792 6194 270 82 0 6033 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 62188
[startup+162.394 s]
/proc/loadavg: 1.41 2.64 2.43 4/181 27847
/proc/meminfo: memFree=28809728/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=146.33 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 1586 75636 0 0 0 0 14586 47 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=18381] ppid=559 vsize=9148 CPUtime=0.19 cores=1,3,5,7
/proc/18381/stat : 18381 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 19 20 0 1 0 343883570 9367552 263 33554432000 4194304 5064252 140736472363264 140736472361520 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18381/statm: 2287 263 223 213 0 72 0
[pid=18383] ppid=18381 vsize=29432 CPUtime=15.93 cores=1,3,5,7
/proc/18383/stat : 18383 (clasp-1.0) R 18381 559 20179 0 -1 4202496 7040 0 0 0 1587 6 0 0 20 0 1 0 343883570 30138368 6781 33554432000 134512640 134847168 4288503536 4288502112 134714190 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18383/statm: 7358 6781 270 82 0 6599 0
Current children cumulated CPU time (s) 162.45
Current children cumulated vsize (KiB) 64452
[startup+222.3 s]
/proc/loadavg: 2.44 2.74 2.47 3/182 29040
/proc/meminfo: memFree=28819852/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=212.85 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 1833 100262 0 0 1 1 21180 103 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=22131] ppid=559 vsize=9148 CPUtime=0.19 cores=1,3,5,7
/proc/22131/stat : 22131 (sh) S 559 559 20179 0 -1 4202496 371 220 0 0 0 0 0 19 20 0 1 0 343890205 9367552 264 33554432000 4194304 5064252 140737466465552 140737466463808 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22131/statm: 2287 264 223 213 0 72 0
[pid=22133] ppid=22131 vsize=27168 CPUtime=9.47 cores=1,3,5,7
/proc/22133/stat : 22133 (clasp-1.0) R 22131 559 20179 0 -1 4202496 6458 0 0 0 945 2 0 0 20 0 1 0 343890205 27820032 6194 33554432000 134512640 134847168 4288693392 4288691968 134714844 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/22133/statm: 6792 6194 270 82 0 6033 0
Current children cumulated CPU time (s) 222.51
Current children cumulated vsize (KiB) 62188
[startup+282.3 s]
/proc/loadavg: 3.80 3.03 2.58 2/182 9036
/proc/meminfo: memFree=28735956/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=212.85 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 1833 100262 0 0 1 1 21180 103 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=22131] ppid=559 vsize=9148 CPUtime=0.19 cores=1,3,5,7
/proc/22131/stat : 22131 (sh) S 559 559 20179 0 -1 4202496 371 220 0 0 0 0 0 19 20 0 1 0 343890205 9367552 264 33554432000 4194304 5064252 140737466465552 140737466463808 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22131/statm: 2287 264 223 213 0 72 0
[pid=22133] ppid=22131 vsize=93232 CPUtime=69.06 cores=1,3,5,7
/proc/22133/stat : 22133 (clasp-1.0) R 22131 559 20179 0 -1 4202496 22959 0 0 0 6900 6 0 0 20 0 1 0 343890205 95469568 22722 33554432000 134512640 134847168 4288693392 4288692080 134783563 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/22133/statm: 23308 22722 270 82 0 22549 0
Current children cumulated CPU time (s) 282.1
################
# More data... #
################
/proc/23152/stat : 23152 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344015878 9367552 263 33554432000 4194304 5064252 140734871359904 140734871358160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 2287 263 223 213 0 72 0
[pid=23154] ppid=23152 vsize=27168 CPUtime=12.8 cores=1,3,5,7
/proc/23154/stat : 23154 (clasp-1.0) R 23152 559 20179 0 -1 4202496 6457 0 0 0 1279 1 0 0 20 0 1 0 344015878 27820032 6195 33554432000 134512640 134847168 4289836944 4289835700 134737608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23154/statm: 6792 6195 270 82 0 6033 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 62188
[startup+1542.3 s]
/proc/loadavg: 1.79 1.44 1.78 3/181 23243
/proc/meminfo: memFree=28712688/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1468.83 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2190 204894 0 0 1 1 146720 161 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23152] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23152/stat : 23152 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344015878 9367552 263 33554432000 4194304 5064252 140734871359904 140734871358160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 2287 263 223 213 0 72 0
[pid=23154] ppid=23152 vsize=63516 CPUtime=72.77 cores=1,3,5,7
/proc/23154/stat : 23154 (clasp-1.0) R 23152 559 20179 0 -1 4202496 15565 0 0 0 7274 3 0 0 20 0 1 0 344015878 65040384 15335 33554432000 134512640 134847168 4289836944 4289835632 134783594 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23154/statm: 15879 15335 270 82 0 15120 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 98536
[startup+1602.3 s]
/proc/loadavg: 1.92 1.54 1.79 3/181 23244
/proc/meminfo: memFree=28644032/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1468.83 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2190 204894 0 0 1 1 146720 161 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23152] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23152/stat : 23152 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344015878 9367552 263 33554432000 4194304 5064252 140734871359904 140734871358160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 2287 263 223 213 0 72 0
[pid=23154] ppid=23152 vsize=88308 CPUtime=132.76 cores=1,3,5,7
/proc/23154/stat : 23154 (clasp-1.0) R 23152 559 20179 0 -1 4202496 21765 0 0 0 13271 5 0 0 20 0 1 0 344015878 90427392 21536 33554432000 134512640 134847168 4289836944 4289835684 134737629 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23154/statm: 22077 21536 270 82 0 21318 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 123328
[startup+1662.3 s]
/proc/loadavg: 2.02 1.64 1.81 3/181 23244
/proc/meminfo: memFree=28597716/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1468.83 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2190 204894 0 0 1 1 146720 161 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23152] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23152/stat : 23152 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344015878 9367552 263 33554432000 4194304 5064252 140734871359904 140734871358160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 2287 263 223 213 0 72 0
[pid=23154] ppid=23152 vsize=120236 CPUtime=192.75 cores=1,3,5,7
/proc/23154/stat : 23154 (clasp-1.0) R 23152 559 20179 0 -1 4202496 29698 0 0 0 19268 7 0 0 20 0 1 0 344015878 123121664 29469 33554432000 134512640 134847168 4289836944 4289835628 134715803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23154/statm: 30059 29469 270 82 0 29300 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 155256
[startup+1722.3 s]
/proc/loadavg: 2.01 1.70 1.82 3/181 23244
/proc/meminfo: memFree=28584868/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1468.83 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2190 204894 0 0 1 1 146720 161 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23152] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23152/stat : 23152 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344015878 9367552 263 33554432000 4194304 5064252 140734871359904 140734871358160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 2287 263 223 213 0 72 0
[pid=23154] ppid=23152 vsize=128172 CPUtime=252.73 cores=1,3,5,7
/proc/23154/stat : 23154 (clasp-1.0) R 23152 559 20179 0 -1 4202496 31682 0 0 0 25265 8 0 0 20 0 1 0 344015878 131248128 31451 33554432000 134512640 134847168 4289836944 4289835684 134737633 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23154/statm: 32043 31451 270 82 0 31284 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 163192
[startup+1782.31 s]
/proc/loadavg: 2.00 1.75 1.82 3/181 23244
/proc/meminfo: memFree=28573920/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1468.83 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2190 204894 0 0 1 1 146720 161 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23152] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23152/stat : 23152 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344015878 9367552 263 33554432000 4194304 5064252 140734871359904 140734871358160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 2287 263 223 213 0 72 0
[pid=23154] ppid=23152 vsize=130216 CPUtime=312.71 cores=1,3,5,7
/proc/23154/stat : 23154 (clasp-1.0) R 23152 559 20179 0 -1 4202496 32211 0 0 0 31263 8 0 0 20 0 1 0 344015878 133341184 32010 33554432000 134512640 134847168 4289836944 4289835328 134735807 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23154/statm: 32554 32010 270 82 0 31795 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 165236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 1.77 1.83 3/181 23244
/proc/meminfo: memFree=28574040/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1468.83 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2190 204894 0 0 1 1 146720 161 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23152] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23152/stat : 23152 (sh) S 559 559 20179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 344015878 9367552 263 33554432000 4194304 5064252 140734871359904 140734871358160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23152/statm: 2287 263 223 213 0 72 0
[pid=23154] ppid=23152 vsize=130216 CPUtime=331.21 cores=1,3,5,7
/proc/23154/stat : 23154 (clasp-1.0) R 23152 559 20179 0 -1 4202496 32211 0 0 0 33113 8 0 0 20 0 1 0 344015878 133341184 32010 33554432000 134512640 134847168 4289836944 4289835632 134783599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23154/statm: 32554 32010 270 82 0 31795 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 165236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -559
Solver just ended. Dumping a history of the last processes samples
[startup+1801.2 s]
/proc/loadavg: 2.00 1.77 1.83 3/184 23263
/proc/meminfo: memFree=28780724/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1800.07 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2363 239875 0 0 1 1 179834 171 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23254] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23254/stat : 23254 (sh) S 559 559 20179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 344049012 9367552 264 33554432000 4194304 5064252 140736293566128 140736293564384 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23254/statm: 2287 264 223 213 0 72 0
[pid=23256] ppid=23254 vsize=23820 CPUtime=0.36 cores=1,3,5,7
/proc/23256/stat : 23256 (clasp-1.0) R 23254 559 20179 0 -1 4202496 5604 0 0 0 35 1 0 0 20 0 1 0 344049013 24391680 5346 33554432000 134512640 134847168 4293280688 4293278528 12965159 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23256/statm: 5955 5347 262 82 0 5196 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 58840
[startup+1802 s]
/proc/loadavg: 2.00 1.77 1.83 3/182 23263
/proc/meminfo: memFree=28750492/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1800.07 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2363 239875 0 0 1 1 179834 171 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23254] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23254/stat : 23254 (sh) S 559 559 20179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 344049012 9367552 264 33554432000 4194304 5064252 140736293566128 140736293564384 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23254/statm: 2287 264 223 213 0 72 0
[pid=23256] ppid=23254 vsize=27168 CPUtime=1.16 cores=1,3,5,7
/proc/23256/stat : 23256 (clasp-1.0) R 23254 559 20179 0 -1 4202496 6445 0 0 0 115 1 0 0 20 0 1 0 344049013 27820032 6187 33554432000 134512640 134847168 4293280688 4293279420 134740921 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23256/statm: 6792 6187 270 82 0 6033 0
Current children cumulated CPU time (s) 1801.23
Current children cumulated vsize (KiB) 62188
[startup+1802.4 s]
/proc/loadavg: 2.00 1.77 1.83 3/182 23263
/proc/meminfo: memFree=28750492/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1800.07 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2363 239875 0 0 1 1 179834 171 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23254] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23254/stat : 23254 (sh) S 559 559 20179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 344049012 9367552 264 33554432000 4194304 5064252 140736293566128 140736293564384 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23254/statm: 2287 264 223 213 0 72 0
[pid=23256] ppid=23254 vsize=27168 CPUtime=1.56 cores=1,3,5,7
/proc/23256/stat : 23256 (clasp-1.0) R 23254 559 20179 0 -1 4202496 6445 0 0 0 155 1 0 0 20 0 1 0 344049013 27820032 6187 33554432000 134512640 134847168 4293280688 4293279428 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23256/statm: 6792 6187 270 82 0 6033 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 62188
[startup+1802.8 s]
/proc/loadavg: 2.00 1.77 1.83 3/182 23263
/proc/meminfo: memFree=28750492/32873844 swapFree=7644/7644
[pid=559] ppid=557 vsize=25872 CPUtime=1800.07 cores=1,3,5,7
/proc/559/stat : 559 (pbclasp) S 557 559 20179 0 -1 4202496 2363 239875 0 0 1 1 179834 171 20 0 1 0 343868929 26492928 582 33554432000 4194304 4198148 140736446145600 140736446144528 239241064478 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/559/statm: 6468 582 387 1 0 263 0
[pid=23254] ppid=559 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23254/stat : 23254 (sh) S 559 559 20179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 344049012 9367552 264 33554432000 4194304 5064252 140736293566128 140736293564384 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23254/statm: 2287 264 223 213 0 72 0
[pid=23256] ppid=23254 vsize=27168 CPUtime=1.96 cores=1,3,5,7
/proc/23256/stat : 23256 (clasp-1.0) R 23254 559 20179 0 -1 4202496 6445 0 0 0 195 1 0 0 20 0 1 0 344049013 27820032 6187 33554432000 134512640 134847168 4293280688 4293279456 134737644 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23256/statm: 6792 6187 270 82 0 6033 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 62188
Child status: 0
Real time (s): 1802.82
CPU time (s): 1802.09
CPU user time (s): 1800.32
CPU system time (s): 1.76073
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 178836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.32
system time used= 1.76073
maximum resident set size= 141400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 92168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11155
involuntary context switches= 3414
runsolver used 2.82957 second user time and 8.02878 second system time
The end