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-3742034-1338784132/watcher-3742034-1338784132 -o /tmp/evaluation-result-3742034-1338784132/solver-3742034-1338784132 -C 1800 -W 1900 -M 15500 pbclasp instance-3742034-1338784132.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: 0.92 1.01 1.32 2/176 15367
/proc/meminfo: memFree=27385176/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25328 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) D 15365 15367 15309 0 -1 4202496 233 0 0 0 0 0 0 0 20 0 1 0 344537637 25935872 164 33554432000 4194304 4198148 140735546014320 140735546013768 213444713248 0 0 4224 0 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/15367/statm: 6332 164 125 1 0 127 0
[startup+0.013773 s]
/proc/loadavg: 0.92 1.01 1.32 2/176 15367
/proc/meminfo: memFree=27385176/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25328 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) D 15365 15367 15309 0 -1 4202496 236 0 0 0 0 0 0 0 20 0 1 0 344537637 25935872 167 33554432000 4194304 4198148 140735546014320 140735546013768 213419956287 0 0 4224 0 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/15367/statm: 6332 167 128 1 0 127 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25328
[startup+0.100233 s]
/proc/loadavg: 0.92 1.01 1.32 2/176 15367
/proc/meminfo: memFree=27385176/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) R 15365 15367 15309 0 -1 4202496 597 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 534 33554432000 4194304 4198148 140735546014320 140735546010104 213419265940 0 0 4224 16384 0 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 534 355 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.300131 s]
/proc/loadavg: 0.92 1.01 1.32 2/176 15367
/proc/meminfo: memFree=27385176/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+0.700252 s]
/proc/loadavg: 0.92 1.01 1.32 2/176 15367
/proc/meminfo: memFree=27385176/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25872
[startup+1.50029 s]
/proc/loadavg: 0.92 1.01 1.32 3/183 15376
/proc/meminfo: memFree=27370952/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=9324 CPUtime=1.02 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 1935 0 0 0 102 0 0 0 20 0 1 0 344537648 9547776 1792 33554432000 134512640 134847168 4288054352 4288053120 134737942 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 2331 1792 272 82 0 1572 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 69804
[startup+3.10029 s]
/proc/loadavg: 0.92 1.01 1.32 3/183 15376
/proc/meminfo: memFree=27369976/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=10212 CPUtime=2.62 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 2139 0 0 0 262 0 0 0 20 0 1 0 344537648 10457088 1996 33554432000 134512640 134847168 4288054352 4288052928 134714500 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 2553 1996 272 82 0 1794 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 70692
[startup+6.30034 s]
/proc/loadavg: 1.01 1.03 1.32 3/183 15376
/proc/meminfo: memFree=27363776/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=13816 CPUtime=5.82 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 3013 0 0 0 582 0 0 0 20 0 1 0 344537648 14147584 2870 33554432000 134512640 134847168 4288054352 4288052992 134782642 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 3454 2870 272 82 0 2695 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 74296
[startup+12.7003 s]
/proc/loadavg: 1.09 1.04 1.33 3/183 15376
/proc/meminfo: memFree=27352440/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=16632 CPUtime=12.21 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 3749 0 0 0 1221 0 0 0 20 0 1 0 344537648 17031168 3602 33554432000 134512640 134847168 4288054352 4288053120 134737644 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 4158 3602 272 82 0 3399 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 77112
[startup+25.5004 s]
/proc/loadavg: 1.29 1.09 1.34 3/183 15376
/proc/meminfo: memFree=27337984/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=22840 CPUtime=25.02 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 5313 0 0 0 2501 1 0 0 20 0 1 0 344537648 23388160 5166 33554432000 134512640 134847168 4288054352 4288053120 134737383 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 5710 5166 272 82 0 4951 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 83320
[startup+51.1004 s]
/proc/loadavg: 1.53 1.16 1.35 3/183 15376
/proc/meminfo: memFree=27313296/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=38248 CPUtime=50.6 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 9183 0 0 0 5059 1 0 0 20 0 1 0 344537648 39165952 9035 33554432000 134512640 134847168 4288054352 4288053092 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 9562 9035 272 82 0 8803 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 98728
[startup+102.307 s]
/proc/loadavg: 1.79 1.29 1.38 3/184 15379
/proc/meminfo: memFree=27270784/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=68468 CPUtime=101.8 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 16693 0 0 0 10177 3 0 0 20 0 1 0 344537648 70111232 16539 33554432000 134512640 134847168 4288054352 4288052992 134782439 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 17117 16539 272 82 0 16358 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 128948
[startup+162.3 s]
/proc/loadavg: 1.92 1.42 1.42 3/184 15380
/proc/meminfo: memFree=27255184/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=77132 CPUtime=161.77 cores=1,3,5,7
################
# More data... #
################
/proc/15375/statm: 32311 31759 272 82 0 31552 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 189724
Solver just ended. Dumping a history of the last processes samples
[startup+537.5 s]
/proc/loadavg: 2.00 1.83 1.60 3/183 15381
/proc/meminfo: memFree=27172104/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=134188 CPUtime=536.9 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 32932 0 0 0 53682 8 0 0 20 0 1 0 344537648 137408512 32966 33554432000 134512640 134847168 4288054352 4288052992 134782432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 33547 32966 272 82 0 32788 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 537.31
Current children cumulated vsize (KiB) 194668
[startup+550.3 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27168012/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=137984 CPUtime=549.7 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33818 0 0 0 54962 8 0 0 20 0 1 0 344537648 141295616 33852 33554432000 134512640 134847168 4288054352 4288052992 134782656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34496 33852 272 82 0 33737 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 550.11
Current children cumulated vsize (KiB) 198464
[startup+556.7 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27168012/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=138140 CPUtime=556.1 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33837 0 0 0 55602 8 0 0 20 0 1 0 344537648 141455360 33871 33554432000 134512640 134847168 4288054352 4288052992 134782458 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34535 33871 272 82 0 33776 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 556.51
Current children cumulated vsize (KiB) 198620
[startup+563.1 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27167764/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=138140 CPUtime=562.5 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33841 0 0 0 56242 8 0 0 20 0 1 0 344537648 141455360 33875 33554432000 134512640 134847168 4288054352 4288052992 134782592 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34535 33875 272 82 0 33776 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 562.91
Current children cumulated vsize (KiB) 198620
[startup+566.3 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27167764/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=138140 CPUtime=565.69 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33841 0 0 0 56561 8 0 0 20 0 1 0 344537648 141455360 33875 33554432000 134512640 134847168 4288054352 4288052980 134616080 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34535 33875 272 82 0 33776 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 566.1
Current children cumulated vsize (KiB) 198620
[startup+567.1 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27167516/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=138140 CPUtime=566.49 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33841 0 0 0 56641 8 0 0 20 0 1 0 344537648 141455360 33875 33554432000 134512640 134847168 4288054352 4288052992 134782452 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34535 33875 272 82 0 33776 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 566.9
Current children cumulated vsize (KiB) 198620
[startup+567.5 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27167392/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=138140 CPUtime=566.9 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33841 0 0 0 56682 8 0 0 20 0 1 0 344537648 141455360 33875 33554432000 134512640 134847168 4288054352 4288053092 134737633 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34535 33875 272 82 0 33776 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 567.31
Current children cumulated vsize (KiB) 198620
[startup+567.9 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27167392/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=138140 CPUtime=567.29 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33841 0 0 0 56721 8 0 0 20 0 1 0 344537648 141455360 33875 33554432000 134512640 134847168 4288054352 4288052992 134782325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34535 33875 272 82 0 33776 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 567.7
Current children cumulated vsize (KiB) 198620
[startup+568 s]
/proc/loadavg: 2.00 1.84 1.61 3/183 15381
/proc/meminfo: memFree=27167392/32873844 swapFree=6608/6608
[pid=15367] ppid=15365 vsize=25872 CPUtime=0 cores=1,3,5,7
/proc/15367/stat : 15367 (pbclasp) S 15365 15367 15309 0 -1 4202496 625 0 6 0 0 0 0 0 20 0 1 0 344537637 26492928 543 33554432000 4194304 4198148 140735546014320 140735546013208 213423023344 0 0 4224 16384 18446744071580380219 0 0 17 5 0 0 6 0 0
/proc/15367/statm: 6468 543 363 1 0 263 0
[pid=15371] ppid=15367 vsize=9148 CPUtime=0.41 cores=1,3,5,7
/proc/15371/stat : 15371 (sh) S 15367 15367 15309 0 -1 4202496 372 623 0 0 0 0 41 0 20 0 1 0 344537648 9367552 264 33554432000 4194304 5064252 140735996936176 140735996934432 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15371/statm: 2287 264 223 213 0 72 0
[pid=15375] ppid=15371 vsize=138140 CPUtime=567.39 cores=1,3,5,7
/proc/15375/stat : 15375 (clasp-1.0) R 15371 15367 15309 0 -1 4202496 33841 0 0 0 56731 8 0 0 20 0 1 0 344537648 141455360 33875 33554432000 134512640 134847168 4288054352 4288053092 134737637 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15375/statm: 34535 33875 272 82 0 33776 0
[pid=15376] ppid=15371 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/15376/stat : 15376 (pboutclasp.pl) S 15371 15367 15309 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 344537648 26071040 437 33554432000 4194304 4198148 140736474523824 140736474514360 213423023344 0 0 4224 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15376/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 567.8
Current children cumulated vsize (KiB) 198620
Child status: 0
Real time (s): 568.089
CPU time (s): 567.933
CPU user time (s): 567.836
CPU system time (s): 0.096985
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 198620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 567.836
system time used= 0.096985
maximum resident set size= 135580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36171
page faults= 6
swaps= 0
block input operations= 776
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249
involuntary context switches= 616
runsolver used 1.03084 second user time and 2.6326 second system time
The end