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-3731569-1338697700/watcher-3731569-1338697700 -o /tmp/evaluation-result-3731569-1338697700/solver-3731569-1338697700 -C 1800 -W 1900 -M 15500 pbclasp instance-3731569-1338697700.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: 1.88 2.05 2.63 2/176 25915
/proc/meminfo: memFree=27626024/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) D 25913 25915 20030 0 -1 4202496 434 0 0 0 0 0 0 0 20 0 1 0 335896125 26071040 365 33554432000 4194304 4198148 140736852047008 140736852034168 251035444464 0 0 4224 0 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/25915/statm: 6365 365 278 1 0 160 0
[startup+0.0345721 s]
/proc/loadavg: 1.88 2.05 2.63 2/176 25915
/proc/meminfo: memFree=27626024/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=26616 CPUtime=0.01 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) R 25913 25915 20030 0 -1 4202496 793 0 1 0 1 0 0 0 20 0 1 0 335896125 27254784 725 33554432000 4194304 4198148 140736852047008 140736852042792 251044822288 0 0 4224 16384 0 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 6654 725 362 1 0 449 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 26616
[startup+0.10019 s]
/proc/loadavg: 1.88 2.05 2.63 2/176 25915
/proc/meminfo: memFree=27626024/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=26616 CPUtime=0.07 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) R 25913 25915 20030 0 -1 4202496 813 0 1 0 7 0 0 0 20 0 1 0 335896125 27254784 745 33554432000 4194304 4198148 140736852047008 140736852042792 251031731946 0 0 4224 16384 0 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 6654 745 362 1 0 449 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26616
[startup+0.300176 s]
/proc/loadavg: 1.88 2.05 2.63 2/176 25915
/proc/meminfo: memFree=27626024/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=27012 CPUtime=0.27 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) R 25913 25915 20030 0 -1 4202496 904 0 1 0 27 0 0 0 20 0 1 0 335896125 27660288 836 33554432000 4194304 4198148 140736852047008 140736852042792 251044822288 0 0 4224 16384 0 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 6753 837 362 1 0 548 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 27012
[startup+0.700179 s]
/proc/loadavg: 1.88 2.05 2.63 2/176 25915
/proc/meminfo: memFree=27626024/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=28344 CPUtime=0.61 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1265 0 1 0 61 0 0 0 20 0 1 0 335896125 29024256 1180 33554432000 4194304 4198148 140736852047008 140736852045896 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7086 1180 369 1 0 881 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 28344
[startup+1.50025 s]
/proc/loadavg: 1.89 2.05 2.63 3/181 25920
/proc/meminfo: memFree=27618016/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=28344 CPUtime=0.61 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1265 0 1 0 61 0 0 0 20 0 1 0 335896125 29024256 1180 33554432000 4194304 4198148 140736852047008 140736852045896 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7086 1180 369 1 0 881 0
[pid=25919] ppid=25915 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25919/stat : 25919 (sh) S 25915 25915 20030 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 335896188 9367552 267 33554432000 4194304 5064252 140735303148592 140735303147472 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=25724 CPUtime=0.85 cores=0,2,4,6
/proc/25920/stat : 25920 (pb2clasp1) R 25919 25915 20030 0 -1 4202496 621 0 0 0 85 0 0 0 20 0 1 0 335896189 26341376 530 33554432000 4194304 4198148 140734721429168 140734721419704 251035444368 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/25920/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 63216
[startup+3.10025 s]
/proc/loadavg: 1.89 2.05 2.63 3/181 25920
/proc/meminfo: memFree=27615272/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=28344 CPUtime=0.61 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1265 0 1 0 61 0 0 0 20 0 1 0 335896125 29024256 1180 33554432000 4194304 4198148 140736852047008 140736852045896 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7086 1180 369 1 0 881 0
[pid=25919] ppid=25915 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25919/stat : 25919 (sh) S 25915 25915 20030 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 335896188 9367552 267 33554432000 4194304 5064252 140735303148592 140735303147472 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=25724 CPUtime=2.45 cores=0,2,4,6
/proc/25920/stat : 25920 (pb2clasp1) R 25919 25915 20030 0 -1 4202496 621 0 0 0 244 1 0 0 20 0 1 0 335896189 26341376 530 33554432000 4194304 4198148 140734721429168 140734721419704 251044851650 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/25920/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 63216
[startup+6.30025 s]
/proc/loadavg: 1.89 2.05 2.63 3/181 25920
/proc/meminfo: memFree=27610196/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=28344 CPUtime=0.61 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1265 0 1 0 61 0 0 0 20 0 1 0 335896125 29024256 1180 33554432000 4194304 4198148 140736852047008 140736852045896 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7086 1180 369 1 0 881 0
[pid=25919] ppid=25915 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25919/stat : 25919 (sh) S 25915 25915 20030 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 335896188 9367552 267 33554432000 4194304 5064252 140735303148592 140735303147472 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=25724 CPUtime=5.65 cores=0,2,4,6
/proc/25920/stat : 25920 (pb2clasp1) R 25919 25915 20030 0 -1 4202496 621 0 0 0 563 2 0 0 20 0 1 0 335896189 26341376 530 33554432000 4194304 4198148 140734721429168 140734721428152 251031725882 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/25920/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 63216
[startup+12.7003 s]
/proc/loadavg: 1.91 2.05 2.62 3/181 25920
/proc/meminfo: memFree=27599148/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=28344 CPUtime=0.61 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1265 0 1 0 61 0 0 0 20 0 1 0 335896125 29024256 1180 33554432000 4194304 4198148 140736852047008 140736852045896 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7086 1180 369 1 0 881 0
[pid=25919] ppid=25915 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25919/stat : 25919 (sh) S 25915 25915 20030 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 335896188 9367552 267 33554432000 4194304 5064252 140735303148592 140735303147472 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25919/statm: 2287 267 226 213 0 72 0
[pid=25920] ppid=25919 vsize=25724 CPUtime=12.05 cores=0,2,4,6
/proc/25920/stat : 25920 (pb2clasp1) R 25919 25915 20030 0 -1 4202496 621 0 0 0 1201 4 0 0 20 0 1 0 335896189 26341376 530 33554432000 4194304 4198148 140734721429168 140734721419704 251044920113 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/25920/statm: 6431 530 378 1 0 226 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 63216
[startup+25.5004 s]
/proc/loadavg: 1.84 2.03 2.61 3/181 25934
/proc/meminfo: memFree=27057492/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=20.94 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1766 2132 1 0 62 0 2022 10 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25932] ppid=25915 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/25932/stat : 25932 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 2 20 0 1 0 335898224 9367552 264 33554432000 4194304 5064252 140734049449936 140734049448192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25932/statm: 2287 264 223 213 0 72 0
[pid=25934] ppid=25932 vsize=247872 CPUtime=4.5 cores=0,2,4,6
/proc/25934/stat : 25934 (clasp-1.0) R 25932 25915 20030 0 -1 4202496 51249 0 0 0 440 10 0 0 20 0 1 0 335898224 253820928 60922 33554432000 134512640 134847168 4294633184 4294631952 134617488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25934/statm: 61968 60922 266 82 0 61209 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 286156
[startup+51.1004 s]
/proc/loadavg: 1.90 2.03 2.59 3/181 25934
/proc/meminfo: memFree=26377640/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=20.94 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1766 2132 1 0 62 0 2022 10 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25932] ppid=25915 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/25932/stat : 25932 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 2 20 0 1 0 335898224 9367552 264 33554432000 4194304 5064252 140734049449936 140734049448192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25932/statm: 2287 264 223 213 0 72 0
[pid=25934] ppid=25932 vsize=606444 CPUtime=30.09 cores=0,2,4,6
/proc/25934/stat : 25934 (clasp-1.0) R 25932 25915 20030 0 -1 4202496 140677 0 0 0 2985 24 0 0 20 0 1 0 335898224 620998656 150350 33554432000 134512640 134847168 4294633184 4294631424 3925287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25934/statm: 151611 150350 266 82 0 150852 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 644728
[startup+102.307 s]
/proc/loadavg: 1.96 2.02 2.56 3/182 25937
/proc/meminfo: memFree=25160088/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=20.94 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1766 2132 1 0 62 0 2022 10 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25932] ppid=25915 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/25932/stat : 25932 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 2 20 0 1 0 335898224 9367552 264 33554432000 4194304 5064252 140734049449936 140734049448192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25932/statm: 2287 264 223 213 0 72 0
[pid=25934] ppid=25932 vsize=1236584 CPUtime=81.29 cores=0,2,4,6
/proc/25934/stat : 25934 (clasp-1.0) R 25932 25915 20030 0 -1 4202496 298330 0 0 0 8076 53 0 0 20 0 1 0 335898224 1266262016 307131 33554432000 134512640 134847168 4294633184 4294631824 134782662 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25934/statm: 309146 307131 266 82 0 308387 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1274868
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.52 3/181 25938
/proc/meminfo: memFree=23974592/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=20.94 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1766 2132 1 0 62 0 2022 10 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25932] ppid=25915 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/25932/stat : 25932 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 2 20 0 1 0 335898224 9367552 264 33554432000 4194304 5064252 140734049449936 140734049448192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25932/statm: 2287 264 223 213 0 72 0
[pid=25934] ppid=25932 vsize=1852524 CPUtime=141.28 cores=0,2,4,6
/proc/25934/stat : 25934 (clasp-1.0) R 25932 25915 20030 0 -1 4202496 459074 0 0 0 14046 82 0 0 20 0 1 0 335898224 1896984576 460370 33554432000 134512640 134847168 4294633184 4294631440 3925287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25934/statm: 463131 460370 266 82 0 462372 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1890808
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.49 3/181 25938
/proc/meminfo: memFree=22949884/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=20.94 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 1766 2132 1 0 62 0 2022 10 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25932] ppid=25915 vsize=9148 CPUtime=0.02 cores=0,2,4,6
/proc/25932/stat : 25932 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 2 20 0 1 0 335898224 9367552 264 33554432000 4194304 5064252 140734049449936 140734049448192 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25932/statm: 2287 264 223 213 0 72 0
[pid=25934] ppid=25932 vsize=2360064 CPUtime=201.26 cores=0,2,4,6
/proc/25934/stat : 25934 (clasp-1.0) R 25932 25915 20030 0 -1 4202496 585363 0 0 0 20020 106 0 0 20 0 1 0 335898224 2416705536 586659 33554432000 134512640 134847168 4294633184 4294631636 134790214 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25934/statm: 590016 586659 266 82 0 589257 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 2398348
[startup+282.3 s]
################
# More data... #
################
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2063 3358275 1 0 64 0 149146 737 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25987] ppid=25915 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/25987/stat : 25987 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 336046120 9367552 264 33554432000 4194304 5064252 140733241637040 140733241635296 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25987/statm: 2287 264 223 213 0 72 0
[pid=25989] ppid=25987 vsize=2017752 CPUtime=162.3 cores=0,2,4,6
/proc/25989/stat : 25989 (clasp-1.0) R 25987 25915 20030 0 -1 4202496 501191 0 0 0 16139 91 0 0 20 0 1 0 336046120 2066178048 501465 33554432000 134512640 134847168 4287607152 4287605792 134782437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25989/statm: 504438 501465 268 82 0 503679 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 2056036
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/181 25998
/proc/meminfo: memFree=24304164/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.47 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2063 3358275 1 0 64 0 149146 737 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25987] ppid=25915 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/25987/stat : 25987 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 336046120 9367552 264 33554432000 4194304 5064252 140733241637040 140733241635296 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25987/statm: 2287 264 223 213 0 72 0
[pid=25989] ppid=25987 vsize=2496564 CPUtime=222.29 cores=0,2,4,6
/proc/25989/stat : 25989 (clasp-1.0) R 25987 25915 20030 0 -1 4202496 643451 0 0 0 22107 122 0 0 20 0 1 0 336046120 2556481536 620471 33554432000 134512640 134847168 4287607152 4287605792 134782437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25989/statm: 624141 620471 268 82 0 623382 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 2534848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 25998
/proc/meminfo: memFree=23155516/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.47 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2063 3358275 1 0 64 0 149146 737 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25987] ppid=25915 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/25987/stat : 25987 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 336046120 9367552 264 33554432000 4194304 5064252 140733241637040 140733241635296 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25987/statm: 2287 264 223 213 0 72 0
[pid=25989] ppid=25987 vsize=2994180 CPUtime=282.26 cores=0,2,4,6
/proc/25989/stat : 25989 (clasp-1.0) R 25987 25915 20030 0 -1 4202496 767091 0 0 0 28081 145 0 0 20 0 1 0 336046120 3066040320 744116 33554432000 134512640 134847168 4287607152 4287605408 2032935 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25989/statm: 748545 744116 268 82 0 747786 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 3032464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.07 4/181 26002
/proc/meminfo: memFree=23725208/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.47 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2063 3358275 1 0 64 0 149146 737 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25987] ppid=25915 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/25987/stat : 25987 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 336046120 9367552 264 33554432000 4194304 5064252 140733241637040 140733241635296 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25987/statm: 2287 264 223 213 0 72 0
[pid=25989] ppid=25987 vsize=0 CPUtime=300.56 cores=0,2,4,6
/proc/25989/stat : 25989 (clasp-1.0) R 25987 25915 20030 0 -1 4203524 796635 0 0 0 29904 152 0 0 20 0 1 0 336046120 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 38284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1499.55 s) is less than in the last sample (1800.04 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (300.49 s) to the 'lost time'.
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.07 4/181 26002
/proc/meminfo: memFree=23725208/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.47 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2063 3358275 1 0 64 0 149146 737 20 0 1 0 335896125 29835264 1395 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25915/statm: 7284 1395 387 1 0 1079 0
[pid=25987] ppid=25915 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/25987/stat : 25987 (sh) S 25915 25915 20030 0 -1 4202496 372 221 0 0 0 0 0 1 20 0 1 0 336046120 9367552 264 33554432000 4194304 5064252 140733241637040 140733241635296 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25987/statm: 2287 264 223 213 0 72 0
[pid=25989] ppid=25987 vsize=0 CPUtime=300.56 cores=0,2,4,6
/proc/25989/stat : 25989 (clasp-1.0) R 25987 25915 20030 0 -1 4203524 796635 0 0 0 29904 152 0 0 20 0 1 0 336046120 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25989/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 38284
[startup+1800.72 s]
/proc/loadavg: 2.00 2.00 2.07 4/181 26002
/proc/meminfo: memFree=23725208/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.55 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2225 3361040 1 0 64 0 149147 744 20 0 1 0 335896125 29835264 1397 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 2 0 0
/proc/25915/statm: 7284 1397 387 1 0 1079 0
Current children cumulated CPU time (s) 1499.55
Current children cumulated vsize (KiB) 29136
#
############
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25915
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.07 4/181 26002
/proc/meminfo: memFree=23725208/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.55 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2225 3361040 1 0 64 0 149147 744 20 0 1 0 335896125 29835264 1397 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 2 0 0
/proc/25915/statm: 7284 1397 387 1 0 1079 0
Current children cumulated CPU time (s) 1499.55
Current children cumulated vsize (KiB) 29136
[startup+1802.2 s]
/proc/loadavg: 2.08 2.02 2.07 3/185 26020
/proc/meminfo: memFree=27444396/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.55 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2225 3361040 1 0 64 0 149147 744 20 0 1 0 335896125 29835264 1397 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 2 0 0
/proc/25915/statm: 7284 1397 387 1 0 1079 0
[pid=26018] ppid=25915 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (sh) S 25915 25915 20030 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 336076192 9367552 264 33554432000 4194304 5064252 140734087894800 140734087893056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26018/statm: 2287 264 223 213 0 72 0
[pid=26019] ppid=26018 vsize=4004 CPUtime=0.03 cores=0,2,4,6
/proc/26019/stat : 26019 (cat) S 26018 25915 20030 0 -1 4202496 212 0 0 0 0 3 0 0 20 0 1 0 336076192 4100096 123 33554432000 4194304 4236627 140737232798624 140737232797720 251032061408 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26019/statm: 1001 123 97 11 0 67 0
[pid=26020] ppid=26018 vsize=77508 CPUtime=1.52 cores=0,2,4,6
/proc/26020/stat : 26020 (clasp-1.0) R 26018 25915 20030 0 -1 4202496 18867 0 0 0 148 4 0 0 20 0 1 0 336076192 79368192 18764 33554432000 134512640 134847168 4291259040 4291254592 3925287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 19377 18764 249 82 0 18618 0
Current children cumulated CPU time (s) 1501.1
Current children cumulated vsize (KiB) 119796
[startup+1802.6 s]
/proc/loadavg: 2.08 2.02 2.07 3/185 26020
/proc/meminfo: memFree=27444396/32873844 swapFree=7372/7372
[pid=25915] ppid=25913 vsize=29136 CPUtime=1499.55 cores=0,2,4,6
/proc/25915/stat : 25915 (pbclasp) S 25913 25915 20030 0 -1 4202496 2225 3361040 1 0 64 0 149147 744 20 0 1 0 335896125 29835264 1397 33554432000 4194304 4198148 140736852047008 140736852045936 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 6 0 0 2 0 0
/proc/25915/statm: 7284 1397 387 1 0 1079 0
[pid=26018] ppid=25915 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26018/stat : 26018 (sh) S 25915 25915 20030 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 336076192 9367552 264 33554432000 4194304 5064252 140734087894800 140734087893056 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26018/statm: 2287 264 223 213 0 72 0
[pid=26019] ppid=26018 vsize=4004 CPUtime=0.03 cores=0,2,4,6
/proc/26019/stat : 26019 (cat) S 26018 25915 20030 0 -1 4202496 212 0 0 0 0 3 0 0 20 0 1 0 336076192 4100096 123 33554432000 4194304 4236627 140737232798624 140737232797720 251032061408 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/26019/statm: 1001 123 97 11 0 67 0
[pid=26020] ppid=26018 vsize=96560 CPUtime=1.92 cores=0,2,4,6
/proc/26020/stat : 26020 (clasp-1.0) R 26018 25915 20030 0 -1 4202496 23264 0 0 0 187 5 0 0 20 0 1 0 336076192 98877440 23161 33554432000 134512640 134847168 4291259040 4291254592 3925287 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 24140 23162 249 82 0 23381 0
Current children cumulated CPU time (s) 1501.5
Current children cumulated vsize (KiB) 138848
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25915 and gives
# childrusage.ru_utime.tv_sec=1492
# childrusage.ru_utime.tv_usec=120163
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=489861
# CPU time returned by wait4() is 1499.61
# while last known CPU time is 1501.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 300.49
# lost CPU user time (s): 299.03
# lost CPU system time (s): 1.46
Real time (s): 1802.63
CPU time (s): 1801.99
CPU user time (s): 1793.01
CPU system time (s): 8.98
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 4224248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1492.12
system time used= 7.48986
maximum resident set size= 4159288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3364662
page faults= 1
swaps= 0
block input operations= 16
block output operations= 204896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20741
involuntary context switches= 1810
runsolver used 3.43248 second user time and 9.35558 second system time
The end