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-3741852-1338782541/watcher-3741852-1338782541 -o /tmp/evaluation-result-3741852-1338782541/solver-3741852-1338782541 -C 1800 -W 1900 -M 15500 pbclasp instance-3741852-1338782541.opb HOME/temp
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.21 2.13 3/179 24503
/proc/meminfo: memFree=28592372/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25592 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) R 24501 24503 20179 0 -1 4202496 551 0 0 0 0 0 0 0 20 0 1 0 344378500 26206208 481 33554432000 4194304 4198148 140734020594496 140734020591944 239250022480 0 0 4224 16384 0 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6398 481 355 1 0 193 0
[startup+0.072493 s]
/proc/loadavg: 2.25 2.21 2.13 3/179 24503
/proc/meminfo: memFree=28592372/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.100179 s]
/proc/loadavg: 2.25 2.21 2.13 3/179 24503
/proc/meminfo: memFree=28592372/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.300113 s]
/proc/loadavg: 2.25 2.21 2.13 3/179 24503
/proc/meminfo: memFree=28592372/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+0.700239 s]
/proc/loadavg: 2.25 2.21 2.13 3/179 24503
/proc/meminfo: memFree=28592372/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25740
[startup+1.50035 s]
/proc/loadavg: 2.25 2.21 2.13 3/182 24508
/proc/meminfo: memFree=28567840/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=8216 CPUtime=1.17 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 1654 0 0 0 117 0 0 0 20 0 1 0 344378501 8413184 1537 33554432000 134512640 134847168 4293323936 4293322832 134737132 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 2054 1537 272 82 0 1295 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 68564
[startup+3.10036 s]
/proc/loadavg: 2.25 2.21 2.13 3/182 24508
/proc/meminfo: memFree=28482024/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=10176 CPUtime=2.77 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 2131 0 0 0 277 0 0 0 20 0 1 0 344378501 10420224 2014 33554432000 134512640 134847168 4293323936 4293322512 134714688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 2544 2014 272 82 0 1785 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 70524
[startup+6.30036 s]
/proc/loadavg: 2.23 2.21 2.13 3/182 24508
/proc/meminfo: memFree=28478428/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=13556 CPUtime=5.97 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 2974 0 0 0 597 0 0 0 20 0 1 0 344378501 13881344 2857 33554432000 134512640 134847168 4293323936 4293322320 2340135 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 3389 2857 272 82 0 2630 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 73904
[startup+12.7004 s]
/proc/loadavg: 2.21 2.21 2.12 3/182 24508
/proc/meminfo: memFree=28472476/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=18772 CPUtime=12.37 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 4296 0 0 0 1237 0 0 0 20 0 1 0 344378501 19222528 4179 33554432000 134512640 134847168 4293323936 4293322576 134782416 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 4693 4179 272 82 0 3934 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 79120
[startup+25.5004 s]
/proc/loadavg: 2.16 2.20 2.12 3/182 24508
/proc/meminfo: memFree=28399672/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=26720 CPUtime=25.17 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 6284 0 0 0 2516 1 0 0 20 0 1 0 344378501 27361280 6167 33554432000 134512640 134847168 4293323936 4293322620 134616172 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 6680 6167 272 82 0 5921 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 87068
[startup+51.1005 s]
/proc/loadavg: 2.11 2.18 2.12 3/182 24508
/proc/meminfo: memFree=28278368/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=38168 CPUtime=50.77 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 9128 0 0 0 5075 2 0 0 20 0 1 0 344378501 39084032 9011 33554432000 134512640 134847168 4293323936 4293322704 134737508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 9542 9011 272 82 0 8783 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 98516
[startup+102.3 s]
/proc/loadavg: 2.04 2.15 2.11 3/182 24508
/proc/meminfo: memFree=28167788/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=47760 CPUtime=101.97 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 11501 0 0 0 10195 2 0 0 20 0 1 0 344378501 48906240 11384 33554432000 134512640 134847168 4293323936 4293322704 134737548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 11940 11384 272 82 0 11181 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 108108
[startup+162.3 s]
/proc/loadavg: 2.01 2.12 2.10 3/182 24509
/proc/meminfo: memFree=27992480/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=65152 CPUtime=161.95 cores=0,2,4,6
################
# More data... #
################
/proc/24507/statm: 16288 15667 272 82 0 15529 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 125500
[startup+222.307 s]
/proc/loadavg: 2.00 2.10 2.09 3/182 24509
/proc/meminfo: memFree=27939064/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=65152 CPUtime=221.94 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 15799 0 0 0 22191 3 0 0 20 0 1 0 344378501 66715648 15682 33554432000 134512640 134847168 4293323936 4293322576 134782439 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16288 15682 272 82 0 15529 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 125500
[startup+282.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/182 24509
/proc/meminfo: memFree=27916540/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=65816 CPUtime=281.93 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 15940 0 0 0 28190 3 0 0 20 0 1 0 344378501 67395584 15823 33554432000 134512640 134847168 4293323936 4293322576 134782472 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16454 15823 272 82 0 15695 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 126164
Solver just ended. Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 2.00 2.07 2.08 3/182 24509
/proc/meminfo: memFree=27915888/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=66080 CPUtime=294.03 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 16014 0 0 0 29399 4 0 0 20 0 1 0 344378501 67665920 15897 33554432000 134512640 134847168 4293323936 4293322576 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16520 15897 272 82 0 15761 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 294.36
Current children cumulated vsize (KiB) 126428
[startup+307.2 s]
/proc/loadavg: 2.00 2.07 2.08 3/182 24509
/proc/meminfo: memFree=27915004/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=66892 CPUtime=306.83 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 16205 0 0 0 30679 4 0 0 20 0 1 0 344378501 68497408 16088 33554432000 134512640 134847168 4293323936 4293322704 134737260 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16723 16088 272 82 0 15964 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 307.16
Current children cumulated vsize (KiB) 127240
[startup+310.4 s]
/proc/loadavg: 2.00 2.07 2.08 3/182 24509
/proc/meminfo: memFree=27915004/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=66976 CPUtime=310.03 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 16219 0 0 0 30999 4 0 0 20 0 1 0 344378501 68583424 16102 33554432000 134512640 134847168 4293323936 4293322212 134792688 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16744 16102 272 82 0 15985 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 310.36
Current children cumulated vsize (KiB) 127324
[startup+312 s]
/proc/loadavg: 2.00 2.07 2.08 3/182 24509
/proc/meminfo: memFree=27915004/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=66976 CPUtime=311.63 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 16219 0 0 0 31159 4 0 0 20 0 1 0 344378501 68583424 16102 33554432000 134512640 134847168 4293323936 4293322576 134782437 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16744 16102 272 82 0 15985 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 311.96
Current children cumulated vsize (KiB) 127324
[startup+313.607 s]
/proc/loadavg: 2.00 2.07 2.08 3/182 24509
/proc/meminfo: memFree=27914864/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=66976 CPUtime=313.24 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 16219 0 0 0 31320 4 0 0 20 0 1 0 344378501 68583424 16102 33554432000 134512640 134847168 4293323936 4293322576 134782463 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16744 16102 272 82 0 15985 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 313.57
Current children cumulated vsize (KiB) 127324
[startup+314.4 s]
/proc/loadavg: 2.00 2.07 2.08 3/182 24509
/proc/meminfo: memFree=27914864/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=66976 CPUtime=314.03 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 16219 0 0 0 31399 4 0 0 20 0 1 0 344378501 68583424 16102 33554432000 134512640 134847168 4293323936 4293322576 134782432 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16744 16102 272 82 0 15985 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 314.36
Current children cumulated vsize (KiB) 127324
[startup+314.8 s]
/proc/loadavg: 2.00 2.07 2.08 3/182 24509
/proc/meminfo: memFree=27914864/32873844 swapFree=7644/7644
[pid=24503] ppid=24501 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/24503/stat : 24503 (pbclasp) S 24501 24503 20179 0 -1 4202496 623 0 0 0 0 0 0 0 20 0 1 0 344378500 26357760 535 33554432000 4194304 4198148 140734020594496 140734020593384 239241061616 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24503/statm: 6435 535 363 1 0 230 0
[pid=24505] ppid=24503 vsize=9148 CPUtime=0.33 cores=0,2,4,6
/proc/24505/stat : 24505 (sh) S 24503 24503 20179 0 -1 4202496 372 620 0 0 0 0 33 0 20 0 1 0 344378501 9367552 264 33554432000 4194304 5064252 140736627794080 140736627792336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24505/statm: 2287 264 223 213 0 72 0
[pid=24507] ppid=24505 vsize=66976 CPUtime=314.43 cores=0,2,4,6
/proc/24507/stat : 24507 (clasp-1.0) R 24505 24503 20179 0 -1 4202496 16219 0 0 0 31439 4 0 0 20 0 1 0 344378501 68583424 16102 33554432000 134512640 134847168 4293323936 4293322576 134782441 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24507/statm: 16744 16102 272 82 0 15985 0
[pid=24508] ppid=24505 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/24508/stat : 24508 (pboutclasp.pl) S 24505 24503 20179 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 344378501 26071040 438 33554432000 4194304 4198148 140735554433184 140735554423720 239241061616 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24508/statm: 6365 438 342 1 0 160 0
Current children cumulated CPU time (s) 314.76
Current children cumulated vsize (KiB) 127324
Child status: 0
Real time (s): 314.878
CPU time (s): 314.87
CPU user time (s): 314.816
CPU system time (s): 0.053991
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 127324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.816
system time used= 0.053991
maximum resident set size= 64408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121
involuntary context switches= 334
runsolver used 1.2858 second user time and 3.2605 second system time
The end