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-3285348-1303763287/watcher-3285348-1303763287 -o /tmp/evaluation-result-3285348-1303763287/solver-3285348-1303763287 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3285348-1303763287.cnf rnovelty
running on 2 cores: 0,2
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.01 2.93 2.10 5/194 5007
/proc/meminfo: memFree=12737980/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=0 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 330 0 0 0 0 0 0 0 23 0 1 0 566559438 8912896 252 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5007/statm: 2176 252 211 178 0 69 0
[startup+0.105187 s]
/proc/loadavg: 4.01 2.93 2.10 5/194 5007
/proc/meminfo: memFree=12737980/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=0 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 330 0 0 0 0 0 0 0 23 0 1 0 566559438 8912896 252 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5007/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.201117 s]
/proc/loadavg: 4.01 2.93 2.10 5/194 5007
/proc/meminfo: memFree=12737980/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=0 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 330 0 0 0 0 0 0 0 23 0 1 0 566559438 8912896 252 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5007/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.301158 s]
/proc/loadavg: 4.01 2.93 2.10 5/194 5007
/proc/meminfo: memFree=12737980/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=0 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 330 0 0 0 0 0 0 0 23 0 1 0 566559438 8912896 252 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5007/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.701083 s]
/proc/loadavg: 4.01 2.93 2.10 5/194 5007
/proc/meminfo: memFree=12737980/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=0 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 330 0 0 0 0 0 0 0 23 0 1 0 566559438 8912896 252 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5007/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50092 s]
/proc/loadavg: 4.01 2.93 2.10 6/196 5009
/proc/meminfo: memFree=12636788/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=0 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 330 0 0 0 0 0 0 0 23 0 1 0 566559438 8912896 252 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5007/statm: 2176 252 211 178 0 69 0
[pid=5008] ppid=5007 vsize=113036 CPUtime=1.49 cores=0,2
/proc/5008/stat : 5008 (SatELite_releas) R 5007 5007 4899 0 -1 4202496 28190 0 0 0 143 6 0 0 25 0 1 0 566559438 115748864 25226 33554432000 134512640 135144242 4288969664 18446744073709551615 134585340 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/5008/statm: 28259 25226 77 155 0 28102 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121740
[startup+3.10057 s]
/proc/loadavg: 4.01 2.93 2.10 5/196 5009
/proc/meminfo: memFree=12635424/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 8704
[startup+6.30104 s]
/proc/loadavg: 4.01 2.94 2.11 6/197 5011
/proc/meminfo: memFree=12651416/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=77008 CPUtime=3.67 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 17159 0 0 0 364 3 0 0 25 0 1 0 566559699 78856192 17071 33554432000 4194304 4241092 140736858329184 18446744073709551615 4216811 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 19252 17071 131 12 0 17716 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 94416
[startup+12.7009 s]
/proc/loadavg: 4.01 2.96 2.12 5/197 5011
/proc/meminfo: memFree=12646224/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=83216 CPUtime=10.08 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 18754 0 0 0 1004 4 0 0 25 0 1 0 566559699 85213184 18663 33554432000 4194304 4241092 140736858329184 18446744073709551615 4223726 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 20804 18663 136 12 0 19268 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 100624
[startup+25.5005 s]
/proc/loadavg: 4.01 3.01 2.15 5/197 5012
/proc/meminfo: memFree=12631952/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=91580 CPUtime=22.88 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 20854 0 0 0 2284 4 0 0 25 0 1 0 566559699 93777920 20763 33554432000 4194304 4241092 140736858329184 18446744073709551615 4221894 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 22895 20763 136 12 0 21359 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 108988
[startup+51.1007 s]
/proc/loadavg: 4.00 3.09 2.19 5/197 5012
/proc/meminfo: memFree=12602560/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=100068 CPUtime=48.47 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 22967 0 0 0 4843 4 0 0 25 0 1 0 566559699 102469632 22876 33554432000 4194304 4241092 140736858329184 18446744073709551615 4223294 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 25017 22876 136 12 0 23481 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 117476
[startup+102.301 s]
/proc/loadavg: 4.00 3.24 2.30 6/197 5014
/proc/meminfo: memFree=12570592/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=118164 CPUtime=99.68 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 27499 0 0 0 9963 5 0 0 25 0 1 0 566559699 120999936 27407 33554432000 4194304 4241092 140736858329184 18446744073709551615 4221936 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 29541 27407 136 12 0 28005 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 135572
[startup+162.301 s]
/proc/loadavg: 4.00 3.37 2.39 6/197 5015
/proc/meminfo: memFree=12533260/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=131816 CPUtime=159.67 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 30910 0 0 0 15961 6 0 0 25 0 1 0 566559699 134979584 30818 33554432000 4194304 4241092 140736858329184 18446744073709551615 4221906 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 32954 30818 136 12 0 31418 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 149224
[startup+222.307 s]
/proc/loadavg: 4.00 3.48 2.49 6/197 5017
/proc/meminfo: memFree=12488916/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=142892 CPUtime=219.67 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 33701 0 0 0 21961 6 0 0 25 0 1 0 566559699 146321408 33609 33554432000 4194304 4241092 140736858329184 18446744073709551615 4224308 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 35723 33609 136 12 0 34187 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 160300
[startup+282.301 s]
/proc/loadavg: 4.00 3.57 2.58 6/197 5018
/proc/meminfo: memFree=12448488/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=154388 CPUtime=279.67 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=12136764/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=217712 CPUtime=819.66 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 52419 0 0 0 81953 13 0 0 25 0 1 0 566559699 222937088 52312 33554432000 4194304 4241092 140736858329184 18446744073709551615 4222310 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 54428 52312 136 12 0 52892 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 235120
[startup+882.307 s]
/proc/loadavg: 4.00 3.95 3.25 5/197 5037
/proc/meminfo: memFree=12135596/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=217884 CPUtime=879.66 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 52458 0 0 0 87953 13 0 0 25 0 1 0 566559699 223113216 52350 33554432000 4194304 4241092 140736858329184 18446744073709551615 4223670 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 54471 52350 136 12 0 52935 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 235292
[startup+942.3 s]
/proc/loadavg: 3.94 3.94 3.28 5/198 5134
/proc/meminfo: memFree=13423580/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=218584 CPUtime=939.65 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 52652 0 0 0 93952 13 0 0 25 0 1 0 566559699 223830016 52543 33554432000 4194304 4241092 140736858329184 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 54646 52543 136 12 0 53110 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 235992
[startup+1002.3 s]
/proc/loadavg: 4.01 3.96 3.33 5/198 5136
/proc/meminfo: memFree=13324688/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=249864 CPUtime=999.65 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 60466 0 0 0 99951 14 0 0 25 0 1 0 566559699 255860736 60357 33554432000 4194304 4241092 140736858329184 18446744073709551615 4228857 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 62466 60357 136 12 0 60930 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 267272
[startup+1062.3 s]
/proc/loadavg: 4.00 3.97 3.37 5/198 5137
/proc/meminfo: memFree=13294188/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=249896 CPUtime=1059.65 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 60477 0 0 0 105950 15 0 0 25 0 1 0 566559699 255893504 60364 33554432000 4194304 4241092 140736858329184 18446744073709551615 4221936 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 62474 60364 136 12 0 60938 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 267304
[startup+1122.3 s]
/proc/loadavg: 4.00 3.97 3.41 5/198 5139
/proc/meminfo: memFree=13266588/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=249896 CPUtime=1119.65 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 60485 0 0 0 111950 15 0 0 25 0 1 0 566559699 255893504 60369 33554432000 4194304 4241092 140736858329184 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 62474 60369 136 12 0 60938 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 267304
[startup+1182.3 s]
/proc/loadavg: 4.05 3.99 3.45 5/198 5140
/proc/meminfo: memFree=13224156/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=253852 CPUtime=1179.64 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 61505 0 0 0 117949 15 0 0 25 0 1 0 566559699 259944448 61380 33554432000 4194304 4241092 140736858329184 18446744073709551615 4221904 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 63463 61380 136 12 0 61927 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 271260
[startup+1242.3 s]
/proc/loadavg: 4.02 3.99 3.48 5/198 5142
/proc/meminfo: memFree=13201700/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=257932 CPUtime=1239.64 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 62523 0 0 0 123949 15 0 0 25 0 1 0 566559699 264122368 62391 33554432000 4194304 4241092 140736858329184 18446744073709551615 4222051 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 64483 62391 136 12 0 62947 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 275340
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.51 5/198 5144
/proc/meminfo: memFree=13196208/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=263300 CPUtime=1297.34 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 63857 0 0 0 129719 15 0 0 25 0 1 0 566559699 269619200 63725 33554432000 4194304 4241092 140736858329184 18446744073709551615 4222051 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 65825 63725 136 12 0 64289 0
Current children cumulated CPU time (s) 1299.94
Current children cumulated vsize (KiB) 280708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.51 5/198 5144
/proc/meminfo: memFree=13196208/32950928 swapFree=67111528/67111528
[pid=5007] ppid=5005 vsize=8704 CPUtime=2.6 cores=0,2
/proc/5007/stat : 5007 (esg_static.sh) S 5005 5007 4899 0 -1 4202496 347 31016 0 0 0 0 250 10 18 0 1 0 566559438 8912896 255 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367546624 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/5007/statm: 2176 255 211 178 0 69 0
[pid=5010] ppid=5007 vsize=8704 CPUtime=0 cores=0,2
/proc/5010/stat : 5010 (esg_static.sh) S 5007 5007 4899 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 566559699 8912896 134 33554432000 4194304 4922060 140736973971312 18446744073709551615 251367365765 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/5010/statm: 2176 134 90 178 0 69 0
[pid=5011] ppid=5010 vsize=263300 CPUtime=1297.34 cores=0,2
/proc/5011/stat : 5011 (sathys) R 5010 5007 4899 0 -1 4202496 63857 0 0 0 129719 15 0 0 25 0 1 0 566559699 269619200 63725 33554432000 4194304 4241092 140736858329184 18446744073709551615 4222051 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/5011/statm: 65825 63725 136 12 0 64289 0
Current children cumulated CPU time (s) 1299.94
Current children cumulated vsize (KiB) 280708
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5007 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=508618
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=102984
# CPU time returned by wait4() is 2.6116
# while last known CPU time is 1299.94
#
# 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): 1299.94
CPU user time (s): 1299.69
CPU system time (s): 0.25
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 280740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.50862
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31710
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= 40
involuntary context switches= 22
runsolver used 2.27365 second user time and 4.82926 second system time
The end
Begin job on node113 at 2011-04-25 22:28:08
IDJOB=3285348
IDBENCH=82379
IDSOLVER=1610
FILE ID=node113/3285348-1303763287
RUNJOBID= node113-1303762908-4917
PBS_JOBID= 13157152
Free space on /tmp= 70792 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285348-1303763287/watcher-3285348-1303763287 -o /tmp/evaluation-result-3285348-1303763287/solver-3285348-1303763287 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3285348-1303763287.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 6ed645315c9ffb8177453b955fbe1737
RANDOM SEED=724590444
node113.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.846
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.69
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.846
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 : 5332.76
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.846
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.74
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.846
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.75
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.846
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.846
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.846
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.83
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.846
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 12738136 kB
Buffers: 1850616 kB
Cached: 16755356 kB
SwapCached: 0 kB
Active: 11627684 kB
Inactive: 7992076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 12738136 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 98940 kB
Writeback: 0 kB
AnonPages: 1013680 kB
Mapped: 15280 kB
Slab: 527156 kB
PageTables: 7200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1243268 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= 70908 MiB
End job on node113 at 2011-04-25 22:49:48