runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3285486-1303763530/watcher-3285486-1303763530 -o /tmp/evaluation-result-3285486-1303763530/solver-3285486-1303763530 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3285486-1303763530.cnf rnovelty
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.00 3.96 4/194 24190
/proc/meminfo: memFree=14657904/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=0 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 330 0 0 0 0 0 0 0 22 0 1 0 487953634 8912896 252 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24190/statm: 2176 252 211 178 0 69 0
[startup+0.0346649 s]
/proc/loadavg: 4.00 4.00 3.96 4/194 24190
/proc/meminfo: memFree=14657904/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=0 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 330 0 0 0 0 0 0 0 22 0 1 0 487953634 8912896 252 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24190/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.10065 s]
/proc/loadavg: 4.00 4.00 3.96 4/194 24190
/proc/meminfo: memFree=14657904/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=0 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 330 0 0 0 0 0 0 0 22 0 1 0 487953634 8912896 252 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24190/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300617 s]
/proc/loadavg: 4.00 4.00 3.96 4/194 24190
/proc/meminfo: memFree=14657904/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=0 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 330 0 0 0 0 0 0 0 22 0 1 0 487953634 8912896 252 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24190/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700544 s]
/proc/loadavg: 4.00 4.00 3.96 4/194 24190
/proc/meminfo: memFree=14657904/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=0 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 330 0 0 0 0 0 0 0 22 0 1 0 487953634 8912896 252 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24190/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50039 s]
/proc/loadavg: 4.00 4.00 3.96 5/196 24192
/proc/meminfo: memFree=14457320/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=0 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 330 0 0 0 0 0 0 0 22 0 1 0 487953634 8912896 252 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24190/statm: 2176 252 211 178 0 69 0
[pid=24191] ppid=24190 vsize=342812 CPUtime=1.49 cores=1,3
/proc/24191/stat : 24191 (SatELite_releas) R 24190 24190 23613 0 -1 4202496 74518 0 0 0 131 18 0 0 25 0 1 0 487953634 351039488 74473 33554432000 134512640 135144242 4291950816 18446744073709551615 134551288 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24191/statm: 85703 74473 71 155 0 85546 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 351516
[startup+3.1011 s]
/proc/loadavg: 4.00 4.00 3.96 5/196 24192
/proc/meminfo: memFree=14323028/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=0 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 330 0 0 0 0 0 0 0 22 0 1 0 487953634 8912896 252 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24190/statm: 2176 252 211 178 0 69 0
[pid=24191] ppid=24190 vsize=401452 CPUtime=3.09 cores=1,3
/proc/24191/stat : 24191 (SatELite_releas) R 24190 24190 23613 0 -1 4202496 115236 0 0 0 285 24 0 0 25 0 1 0 487953634 411086848 86575 33554432000 134512640 135144242 4291950816 18446744073709551615 134542532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24191/statm: 100363 86575 77 155 0 100206 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 410156
[startup+6.30053 s]
/proc/loadavg: 4.00 4.00 3.96 5/197 24194
/proc/meminfo: memFree=14519732/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=109204 CPUtime=1.77 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 22727 0 0 0 173 4 0 0 25 0 1 0 487954085 111824896 22637 33554432000 4194304 4241092 140734380618896 18446744073709551615 253640520389 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 27301 22637 117 12 0 25765 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 126612
[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 3.96 5/197 24194
/proc/meminfo: memFree=14375084/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=243804 CPUtime=8.17 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 55814 0 0 0 808 9 0 0 25 0 1 0 487954085 249655296 55668 33554432000 4194304 4241092 140734380618896 18446744073709551615 4216804 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 60951 55668 164 12 0 59415 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 261212
[startup+25.501 s]
/proc/loadavg: 4.00 4.00 3.96 5/197 24194
/proc/meminfo: memFree=14364052/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=243804 CPUtime=20.97 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 56222 0 0 0 2088 9 0 0 25 0 1 0 487954085 249655296 56044 33554432000 4194304 4241092 140734380618896 18446744073709551615 4216815 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 60951 56044 135 12 0 59415 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 261212
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.96 5/197 24195
/proc/meminfo: memFree=14354308/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=243804 CPUtime=46.57 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 56453 0 0 0 4648 9 0 0 25 0 1 0 487954085 249655296 56267 33554432000 4194304 4241092 140734380618896 18446744073709551615 4216815 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 60951 56267 147 12 0 59415 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 261212
[startup+102.307 s]
/proc/loadavg: 4.00 4.00 3.96 5/197 24196
/proc/meminfo: memFree=14289380/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=270488 CPUtime=97.78 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 63473 0 0 0 9767 11 0 0 25 0 1 0 487954085 276979712 63199 33554432000 4194304 4241092 140734380618896 18446744073709551615 4223477 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 67622 63199 138 12 0 66086 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 287896
[startup+162.301 s]
/proc/loadavg: 4.00 4.00 3.96 5/197 24198
/proc/meminfo: memFree=14229888/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=293756 CPUtime=157.78 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 69334 0 0 0 15765 13 0 0 25 0 1 0 487954085 300806144 69057 33554432000 4194304 4241092 140734380618896 18446744073709551615 4223389 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 73439 69057 138 12 0 71903 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 311164
[startup+222.3 s]
/proc/loadavg: 4.04 4.01 3.97 5/197 24230
/proc/meminfo: memFree=13911804/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=315288 CPUtime=217.78 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 74768 0 0 0 21761 17 0 0 25 0 1 0 487954085 322854912 74454 33554432000 4194304 4241092 140734380618896 18446744073709551615 4221904 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 78822 74454 138 12 0 77286 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 332696
[startup+282.3 s]
/proc/loadavg: 4.09 4.02 3.97 5/197 24231
/proc/meminfo: memFree=13857084/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=13650924/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=412688 CPUtime=757.79 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 99133 0 0 0 75755 24 0 0 25 0 1 0 487954085 422592512 98817 33554432000 4194304 4241092 140734380618896 18446744073709551615 4227927 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 103172 98817 138 12 0 101636 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 430096
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.99 5/197 24246
/proc/meminfo: memFree=13637272/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=412720 CPUtime=817.79 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 99142 0 0 0 81755 24 0 0 25 0 1 0 487954085 422625280 98825 33554432000 4194304 4241092 140734380618896 18446744073709551615 4222357 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 103180 98825 138 12 0 101644 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 430128
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/197 24247
/proc/meminfo: memFree=13615156/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=412752 CPUtime=877.79 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 99151 0 0 0 87755 24 0 0 25 0 1 0 487954085 422658048 98833 33554432000 4194304 4241092 140734380618896 18446744073709551615 4222051 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 103188 98833 138 12 0 101652 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 430160
[startup+942.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/197 24249
/proc/meminfo: memFree=13603344/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=417760 CPUtime=937.8 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 100386 0 0 0 93755 25 0 0 25 0 1 0 487954085 427786240 100066 33554432000 4194304 4241092 140734380618896 18446744073709551615 4223314 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 104440 100066 138 12 0 102904 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 435168
[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/197 24250
/proc/meminfo: memFree=13570840/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=429236 CPUtime=997.8 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 103264 0 0 0 99754 26 0 0 25 0 1 0 487954085 439537664 102942 33554432000 4194304 4241092 140734380618896 18446744073709551615 4224478 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 107309 102942 138 12 0 105773 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 446644
[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/197 24252
/proc/meminfo: memFree=13570692/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=429268 CPUtime=1057.8 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 103271 0 0 0 105754 26 0 0 25 0 1 0 487954085 439570432 102949 33554432000 4194304 4241092 140734380618896 18446744073709551615 4221877 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 107317 102949 138 12 0 105781 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 446676
[startup+1122.3 s]
/proc/loadavg: 4.07 4.02 3.99 5/197 24254
/proc/meminfo: memFree=13550816/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=447664 CPUtime=1117.81 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 107881 0 0 0 111753 28 0 0 25 0 1 0 487954085 458407936 107556 33554432000 4194304 4241092 140734380618896 18446744073709551615 4223090 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 111916 107556 138 12 0 110380 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 465072
[startup+1182.3 s]
/proc/loadavg: 4.02 4.01 3.99 5/197 24255
/proc/meminfo: memFree=13493516/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=457244 CPUtime=1177.8 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 110282 0 0 0 117752 28 0 0 25 0 1 0 487954085 468217856 109953 33554432000 4194304 4241092 140734380618896 18446744073709551615 4228429 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 114311 109953 138 12 0 112775 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 474652
[startup+1242.3 s]
/proc/loadavg: 3.08 3.77 3.91 3/181 24295
/proc/meminfo: memFree=14281300/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=460020 CPUtime=1237.81 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 110989 0 0 0 123752 29 0 0 25 0 1 0 487954085 471060480 110660 33554432000 4194304 4241092 140734380618896 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 115005 110660 138 12 0 113469 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 477428
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.39 3.44 3.79 3/181 24296
/proc/meminfo: memFree=14258588/32951124 swapFree=67111528/67111528
[pid=24190] ppid=24188 vsize=8704 CPUtime=4.5 cores=1,3
/proc/24190/stat : 24190 (esg_static.sh) S 24188 24190 23613 0 -1 4202496 347 153237 0 0 0 0 413 37 18 0 1 0 487953634 8912896 255 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640859392 0 0 4100 65536 18446744071562362840 0 0 17 1 0 0 0
/proc/24190/statm: 2176 255 211 178 0 69 0
[pid=24193] ppid=24190 vsize=8704 CPUtime=0 cores=1,3
/proc/24193/stat : 24193 (esg_static.sh) S 24190 24190 23613 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 487954085 8912896 134 33554432000 4194304 4922060 140733732094112 18446744073709551615 253640678533 0 65536 4096 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24193/statm: 2176 134 90 178 0 69 0
[pid=24194] ppid=24193 vsize=474056 CPUtime=1295.51 cores=1,3
/proc/24194/stat : 24194 (sathys) R 24193 24190 23613 0 -1 4202496 114512 0 0 0 129521 30 0 0 25 0 1 0 487954085 485433344 114174 33554432000 4194304 4241092 140734380618896 18446744073709551615 4222100 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/24194/statm: 118514 114174 138 12 0 116978 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 491464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24190 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=134371
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=382941
# CPU time returned by wait4() is 4.51731
# while last known CPU time is 1300.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1300.02
CPU time (s): 1300.01
CPU user time (s): 1299.34
CPU system time (s): 0.67
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 491496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.13437
system time used= 0.382941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153750
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 23
runsolver used 2.05469 second user time and 5.05423 second system time
The end
Begin job on node106 at 2011-04-25 22:32:12
IDJOB=3285486
IDBENCH=82387
IDSOLVER=1610
FILE ID=node106/3285486-1303763530
RUNJOBID= node106-1303762128-23943
PBS_JOBID= 13157143
Free space on /tmp= 71392 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285486-1303763530/watcher-3285486-1303763530 -o /tmp/evaluation-result-3285486-1303763530/solver-3285486-1303763530 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3285486-1303763530.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc
RANDOM SEED=1513599444
node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.20
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 14658184 kB
Buffers: 1988632 kB
Cached: 14741916 kB
SwapCached: 0 kB
Active: 10947816 kB
Inactive: 6776324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14658184 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 174408 kB
Writeback: 0 kB
AnonPages: 993048 kB
Mapped: 15280 kB
Slab: 502808 kB
PageTables: 7408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1206856 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71448 MiB
End job on node106 at 2011-04-25 22:53:54