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-3740815-1338769954/watcher-3740815-1338769954 -o /tmp/evaluation-result-3740815-1338769954/solver-3740815-1338769954 -C 1800 -W 1900 -M 15500 pbclasp instance-3740815-1338769954.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.02 2.06 2.06 3/179 3159
/proc/meminfo: memFree=26068936/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=25740 CPUtime=0 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) R 3157 3159 14893 0 -1 4202496 568 0 0 0 0 0 0 0 20 0 1 0 343123965 26357760 499 33554432000 4194304 4198148 140734372160480 140734372157928 218226110152 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6435 499 355 1 0 230 0
[startup+0.05498 s]
/proc/loadavg: 2.02 2.06 2.06 3/179 3159
/proc/meminfo: memFree=26068936/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.04 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) R 3157 3159 14893 0 -1 4202496 644 0 0 0 4 0 0 0 20 0 1 0 343123965 26628096 575 33554432000 4194304 4198148 140734372160480 140734372151016 218217112816 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 575 357 1 0 296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26004
[startup+0.100302 s]
/proc/loadavg: 2.02 2.06 2.06 3/179 3159
/proc/meminfo: memFree=26068936/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.09 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) R 3157 3159 14893 0 -1 4202496 644 0 0 0 9 0 0 0 20 0 1 0 343123965 26628096 575 33554432000 4194304 4198148 140734372160480 140734372151016 218217112816 0 0 4224 16384 0 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 575 357 1 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26004
[startup+0.300189 s]
/proc/loadavg: 2.02 2.06 2.06 3/179 3159
/proc/meminfo: memFree=26068936/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26004
[startup+0.700238 s]
/proc/loadavg: 2.02 2.06 2.06 3/179 3159
/proc/meminfo: memFree=26068936/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26004
[startup+1.50038 s]
/proc/loadavg: 2.02 2.06 2.06 4/183 3164
/proc/meminfo: memFree=25997396/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3162] ppid=3161 vsize=25592 CPUtime=1.37 cores=0,2,4,6
/proc/3162/stat : 3162 (pb2clasp1) R 3161 3159 14893 0 -1 4202496 611 0 0 0 137 0 0 0 20 0 1 0 343123977 26206208 511 33554432000 4194304 4198148 140736156604816 140736156603800 218217123447 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/3162/statm: 6398 511 378 1 0 193 0
[pid=3163] ppid=3161 vsize=10220 CPUtime=0.15 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) S 3161 3159 14893 0 -1 4202496 2092 0 0 0 15 0 0 0 20 0 1 0 343123977 10465280 2000 33554432000 134512640 134847168 4293703408 4293699432 11088944 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 2555 2000 249 82 0 1796 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 96424
[startup+3.10038 s]
/proc/loadavg: 2.10 2.08 2.07 3/183 3164
/proc/meminfo: memFree=25974828/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3162] ppid=3161 vsize=25592 CPUtime=2.97 cores=0,2,4,6
/proc/3162/stat : 3162 (pb2clasp1) R 3161 3159 14893 0 -1 4202496 612 0 0 0 297 0 0 0 20 0 1 0 343123977 26206208 512 33554432000 4194304 4198148 140736156604816 140736156595352 218226320467 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/3162/statm: 6398 512 378 1 0 193 0
[pid=3163] ppid=3161 vsize=18284 CPUtime=0.34 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) S 3161 3159 14893 0 -1 4202496 4070 0 0 0 33 1 0 0 20 0 1 0 343123977 18722816 3978 33554432000 134512640 134847168 4293703408 4293699432 11088944 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 4571 3978 249 82 0 3812 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 104488
[startup+6.30038 s]
/proc/loadavg: 2.10 2.08 2.07 3/183 3164
/proc/meminfo: memFree=25958072/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3162] ppid=3161 vsize=25724 CPUtime=6.18 cores=0,2,4,6
/proc/3162/stat : 3162 (pb2clasp1) R 3161 3159 14893 0 -1 4202496 618 0 0 0 617 1 0 0 20 0 1 0 343123977 26341376 518 33554432000 4194304 4198148 140736156604816 140736156595352 218217112720 0 0 4224 0 0 0 0 17 4 0 0 0 0 0
/proc/3162/statm: 6431 518 378 1 0 226 0
[pid=3163] ppid=3161 vsize=34408 CPUtime=0.7 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 8060 0 0 0 68 2 0 0 20 0 1 0 343123977 35233792 7968 33554432000 134512640 134847168 4293703408 4293699400 11088944 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 8602 7968 249 82 0 7843 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 120744
[startup+12.7004 s]
/proc/loadavg: 2.09 2.07 2.07 3/182 3172
/proc/meminfo: memFree=25881428/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=107588 CPUtime=4.31 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 27522 0 0 0 424 7 0 0 20 0 1 0 343123977 110170112 26003 33554432000 134512640 134847168 4293703408 4293702176 134737644 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 26897 26003 270 82 0 26138 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 13.77
Current children cumulated vsize (KiB) 168200
[startup+25.5004 s]
/proc/loadavg: 2.07 2.07 2.06 3/182 3180
/proc/meminfo: memFree=25881816/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=107588 CPUtime=17.11 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 27529 0 0 0 1704 7 0 0 20 0 1 0 343123977 110170112 26005 33554432000 134512640 134847168 4293703408 4293702176 134737498 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 26897 26005 270 82 0 26138 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 26.57
Current children cumulated vsize (KiB) 168200
[startup+51.1004 s]
/proc/loadavg: 2.05 2.06 2.06 3/182 3180
/proc/meminfo: memFree=25840804/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=113860 CPUtime=42.69 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 29247 0 0 0 4261 8 0 0 20 0 1 0 343123977 116592640 27509 33554432000 134512640 134847168 4293703408 4293702048 134782452 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 28465 27509 270 82 0 27706 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 52.15
Current children cumulated vsize (KiB) 174472
[startup+102.307 s]
/proc/loadavg: 2.02 2.05 2.06 3/181 3180
/proc/meminfo: memFree=25705656/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=152696 CPUtime=93.88 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 38452 0 0 0 9378 10 0 0 20 0 1 0 343123977 156360704 37073 33554432000 134512640 134847168 4293703408 4293702112 134616637 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 38174 37073 270 82 0 37415 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 103.34
Current children cumulated vsize (KiB) 213308
[startup+162.3 s]
################
# More data... #
################
/proc/3163/statm: 101118 99391 270 82 0 100359 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1243.04
Current children cumulated vsize (KiB) 465084
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 3192
/proc/meminfo: memFree=25064320/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=407676 CPUtime=1293.57 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 102655 0 0 0 129325 32 0 0 20 0 1 0 343123977 417460224 100128 33554432000 134512640 134847168 4293703408 4293702048 134782435 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 101919 100128 270 82 0 101160 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1303.03
Current children cumulated vsize (KiB) 468288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3192
/proc/meminfo: memFree=25049528/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419468 CPUtime=1353.56 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105380 0 0 0 135323 33 0 0 20 0 1 0 343123977 429535232 102853 33554432000 134512640 134847168 4293703408 4293702092 134715884 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104867 102853 270 82 0 104108 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1363.02
Current children cumulated vsize (KiB) 480080
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3193
/proc/meminfo: memFree=24998936/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419780 CPUtime=1413.56 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105571 0 0 0 141322 34 0 0 20 0 1 0 343123977 429854720 102937 33554432000 134512640 134847168 4293703408 4293702164 134737608 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104945 102937 270 82 0 104186 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1423.02
Current children cumulated vsize (KiB) 480392
Solver just ended. Dumping a history of the last processes samples
[startup+1423.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3193
/proc/meminfo: memFree=24996828/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419780 CPUtime=1415.16 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105572 0 0 0 141482 34 0 0 20 0 1 0 343123977 429854720 102938 33554432000 134512640 134847168 4293703408 4293702032 134784651 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104945 102938 270 82 0 104186 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1424.62
Current children cumulated vsize (KiB) 480392
[startup+1427.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3193
/proc/meminfo: memFree=24992116/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419780 CPUtime=1418.36 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105573 0 0 0 141802 34 0 0 20 0 1 0 343123977 429854720 102939 33554432000 134512640 134847168 4293703408 4293702048 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104945 102939 270 82 0 104186 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1427.82
Current children cumulated vsize (KiB) 480392
[startup+1427.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3193
/proc/meminfo: memFree=24990504/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419780 CPUtime=1419.16 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105573 0 0 0 141882 34 0 0 20 0 1 0 343123977 429854720 102939 33554432000 134512640 134847168 4293703408 4293702092 134715805 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104945 102939 270 82 0 104186 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1428.62
Current children cumulated vsize (KiB) 480392
[startup+1428.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3193
/proc/meminfo: memFree=24990504/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419780 CPUtime=1419.96 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105573 0 0 0 141962 34 0 0 20 0 1 0 343123977 429854720 102939 33554432000 134512640 134847168 4293703408 4293702048 134782432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104945 102939 270 82 0 104186 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1429.42
Current children cumulated vsize (KiB) 480392
[startup+1429.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3193
/proc/meminfo: memFree=24988396/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419780 CPUtime=1420.36 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105573 0 0 0 142002 34 0 0 20 0 1 0 343123977 429854720 102939 33554432000 134512640 134847168 4293703408 4293702048 134782662 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104945 102939 270 82 0 104186 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1429.82
Current children cumulated vsize (KiB) 480392
[startup+1429.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3193
/proc/meminfo: memFree=24988396/32873844 swapFree=7628/7628
[pid=3159] ppid=3157 vsize=26004 CPUtime=0.1 cores=0,2,4,6
/proc/3159/stat : 3159 (pbclasp) S 3157 3159 14893 0 -1 4202496 670 0 0 0 10 0 0 0 20 0 1 0 343123965 26628096 582 33554432000 4194304 4198148 140734372160480 140734372159368 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3159/statm: 6501 582 364 1 0 296 0
[pid=3161] ppid=3159 vsize=9148 CPUtime=9.36 cores=0,2,4,6
/proc/3161/stat : 3161 (sh) S 3159 3159 14893 0 -1 4202496 372 629 0 0 0 0 935 1 20 0 1 0 343123977 9367552 264 33554432000 4194304 5064252 140733722925584 140733722923840 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/3161/statm: 2287 264 223 213 0 72 0
[pid=3163] ppid=3161 vsize=419780 CPUtime=1420.46 cores=0,2,4,6
/proc/3163/stat : 3163 (clasp-1.0) R 3161 3159 14893 0 -1 4202496 105573 0 0 0 142012 34 0 0 20 0 1 0 343123977 429854720 102939 33554432000 134512640 134847168 4293703408 4293701984 134715031 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3163/statm: 104945 102939 270 82 0 104186 0
[pid=3164] ppid=3161 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/3164/stat : 3164 (pboutclasp.pl) S 3161 3159 14893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 343123977 26071040 437 33554432000 4194304 4198148 140734130898048 140734130888584 218217112816 0 0 4224 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3164/statm: 6365 437 342 1 0 160 0
Current children cumulated CPU time (s) 1429.92
Current children cumulated vsize (KiB) 480392
Child status: 0
Real time (s): 1429.27
CPU time (s): 1430.02
CPU user time (s): 1429.65
CPU system time (s): 0.366944
CPU usage (%): 100.052
Max. virtual memory (cumulated for all children) (KiB): 480392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1429.65
system time used= 0.366944
maximum resident set size= 411756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107948
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= 2342
involuntary context switches= 1478
runsolver used 2.88256 second user time and 6.35003 second system time
The end