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-3292063-1303781626/watcher-3292063-1303781626 -o /tmp/evaluation-result-3292063-1303781626/solver-3292063-1303781626 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3292063-1303781626.cnf
running on 2 cores: 5,7
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: 5.25 4.28 4.01 5/190 662
/proc/meminfo: memFree=16792668/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8568 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) R 660 662 524 0 -1 4194304 166 0 0 0 0 0 0 0 23 0 1 0 489762949 8773632 108 33554432000 4194304 4922060 140737383858032 18446744073709551615 274665080868 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/662/statm: 2175 116 94 178 0 68 0
[startup+0.0448679 s]
/proc/loadavg: 5.25 4.28 4.01 5/190 662
/proc/meminfo: memFree=16792668/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.10083 s]
/proc/loadavg: 5.25 4.28 4.01 5/190 662
/proc/meminfo: memFree=16792668/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.300821 s]
/proc/loadavg: 5.25 4.28 4.01 5/190 662
/proc/meminfo: memFree=16792668/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+0.700755 s]
/proc/loadavg: 5.25 4.28 4.01 5/190 662
/proc/meminfo: memFree=16792668/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700
[startup+1.50062 s]
/proc/loadavg: 5.47 4.34 4.04 5/192 665
/proc/meminfo: memFree=16688252/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=139508 CPUtime=1.49 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 29365 0 0 0 141 8 0 0 25 0 1 0 489762950 142856192 29276 33554432000 4194304 4218580 140734800094464 18446744073709551615 274664808192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/664/statm: 34877 29276 112 6 0 33347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148208
[startup+3.10034 s]
/proc/loadavg: 5.47 4.34 4.04 7/192 665
/proc/meminfo: memFree=16659484/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=170900 CPUtime=3.09 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 37209 0 0 0 298 11 0 0 25 0 1 0 489762950 175001600 37120 33554432000 4194304 4218580 140734800094464 18446744073709551615 274664808192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/664/statm: 42725 37120 112 6 0 41195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 179600
[startup+6.30078 s]
/proc/loadavg: 5.47 4.34 4.04 5/192 665
/proc/meminfo: memFree=16604180/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=223080 CPUtime=6.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 50289 0 0 0 609 20 0 0 25 0 1 0 489762950 228433920 50170 33554432000 4194304 4218580 140734800094464 18446744073709551615 274664808192 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/664/statm: 55770 50170 112 6 0 54240 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 231780
[startup+12.7007 s]
/proc/loadavg: 5.86 4.46 4.08 5/192 665
/proc/meminfo: memFree=16542444/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=264484 CPUtime=12.68 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 62588 0 0 0 1242 26 0 0 25 0 1 0 489762950 270831616 62230 33554432000 4194304 4218580 140734800094464 18446744073709551615 4209727 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 66121 62230 145 6 0 64591 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 273184
[startup+25.5005 s]
/proc/loadavg: 5.96 4.53 4.10 6/192 666
/proc/meminfo: memFree=16541592/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=264484 CPUtime=25.49 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 62589 0 0 0 2520 29 0 0 25 0 1 0 489762950 270831616 62231 33554432000 4194304 4218580 140734800094464 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 66121 62231 145 6 0 64591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 273184
[startup+57.3029 s]
/proc/loadavg: 5.96 4.53 4.10 6/192 666
/proc/meminfo: memFree=16541592/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=264484 CPUtime=57.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 62591 0 0 0 5696 33 0 0 25 0 1 0 489762950 270831616 62231 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208164 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 66121 62231 143 6 0 64591 0
Current children cumulated CPU time (s) 57.29
Current children cumulated vsize (KiB) 273184
[startup+102.301 s]
/proc/loadavg: 7.95 5.53 4.49 7/192 668
/proc/meminfo: memFree=16507068/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=268528 CPUtime=102.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 63665 0 0 0 10184 45 0 0 25 0 1 0 489762950 274972672 63275 33554432000 4194304 4218580 140734800094464 18446744073709551615 4214059 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 67132 63275 131 6 0 65602 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 277228
[startup+162.301 s]
/proc/loadavg: 5.61 5.31 4.48 5/192 669
/proc/meminfo: memFree=16495108/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=281268 CPUtime=162.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 66866 0 0 0 16182 47 0 0 25 0 1 0 489762950 288018432 66469 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 70317 66469 131 6 0 68787 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 289968
[startup+222.3 s]
/proc/loadavg: 4.59 5.07 4.45 6/192 671
/proc/meminfo: memFree=16462808/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=281340 CPUtime=222.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 66890 0 0 0 22182 47 0 0 25 0 1 0 489762950 288092160 66488 33554432000 4194304 4218580 140734800094464 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 70335 66488 131 6 0 68805 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 290040
[startup+282.301 s]
/proc/loadavg: 4.21 4.87 4.42 5/192 672
/proc/meminfo: memFree=16440176/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=295316 CPUtime=282.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 70409 0 0 0 28180 49 0 0 25 0 1 0 489762950 302403584 70005 33554432000 4194304 4218580 140734800094464 18446744073709551615 4210496 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 73829 70005 131 6 0 72299 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 304016
[startup+342.301 s]
/proc/loadavg: 4.11 4.73 4.39 7/192 674
/proc/meminfo: memFree=16431036/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=295380 CPUtime=342.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 70431 0 0 0 34180 49 0 0 25 0 1 0 489762950 302469120 70015 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208202 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 73845 70015 131 6 0 72315 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 304080
[startup+402.301 s]
/proc/loadavg: 4.04 4.59 4.36 5/192 676
/proc/meminfo: memFree=16424800/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/664/statm: 75974 72135 131 6 0 74444 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 312596
[startup+702.301 s]
/proc/loadavg: 4.01 4.22 4.26 6/192 684
/proc/meminfo: memFree=16353112/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=303928 CPUtime=702.3 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 72739 0 0 0 70180 50 0 0 25 0 1 0 489762950 311222272 72142 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208475 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 75982 72142 131 6 0 74452 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 312628
[startup+762.301 s]
/proc/loadavg: 4.00 4.18 4.24 5/192 685
/proc/meminfo: memFree=16323224/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331208 CPUtime=762.29 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79617 0 0 0 76177 52 0 0 25 0 1 0 489762950 339156992 78990 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208693 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82802 78990 131 6 0 81272 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 339908
[startup+822.3 s]
/proc/loadavg: 4.00 4.14 4.22 6/192 687
/proc/meminfo: memFree=16320772/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331208 CPUtime=822.3 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79653 0 0 0 82178 52 0 0 25 0 1 0 489762950 339156992 78991 33554432000 4194304 4218580 140734800094464 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82802 78991 131 6 0 81272 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 339908
[startup+882.301 s]
/proc/loadavg: 4.00 4.11 4.20 5/192 688
/proc/meminfo: memFree=16320332/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331240 CPUtime=882.3 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79701 0 0 0 88178 52 0 0 25 0 1 0 489762950 339189760 78993 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208192 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82810 78993 131 6 0 81280 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 339940
[startup+942.301 s]
/proc/loadavg: 4.05 4.11 4.19 6/192 690
/proc/meminfo: memFree=16319684/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331272 CPUtime=942.3 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79743 0 0 0 94178 52 0 0 25 0 1 0 489762950 339222528 79004 33554432000 4194304 4218580 140734800094464 18446744073709551615 4210496 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82818 79004 131 6 0 81288 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 339972
[startup+1002.3 s]
/proc/loadavg: 4.02 4.08 4.18 6/192 692
/proc/meminfo: memFree=16309140/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331336 CPUtime=1002.3 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79787 0 0 0 100178 52 0 0 25 0 1 0 489762950 339288064 79016 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208186 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82834 79016 131 6 0 81304 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 340036
[startup+1062.3 s]
/proc/loadavg: 4.00 4.07 4.16 5/192 693
/proc/meminfo: memFree=16298460/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331304 CPUtime=1062.3 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79843 0 0 0 106178 52 0 0 25 0 1 0 489762950 339255296 79008 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208446 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82826 79008 131 6 0 81296 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 340004
[startup+1122.3 s]
/proc/loadavg: 4.00 4.05 4.15 6/192 695
/proc/meminfo: memFree=16297328/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331272 CPUtime=1122.3 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79909 0 0 0 112178 52 0 0 25 0 1 0 489762950 339222528 79007 33554432000 4194304 4218580 140734800094464 18446744073709551615 4210517 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82818 79007 131 6 0 81288 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 339972
[startup+1182.31 s]
/proc/loadavg: 4.06 4.06 4.15 5/192 696
/proc/meminfo: memFree=16296316/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331208 CPUtime=1182.32 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 79964 0 0 0 118179 53 0 0 25 0 1 0 489762950 339156992 78991 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208384 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82802 78991 131 6 0 81272 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 339908
[startup+1242.3 s]
/proc/loadavg: 4.07 4.06 4.14 6/192 698
/proc/meminfo: memFree=16215460/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331208 CPUtime=1242.31 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 80064 0 0 0 124178 53 0 0 25 0 1 0 489762950 339156992 78990 33554432000 4194304 4218580 140734800094464 18446744073709551615 4210507 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82802 78990 131 6 0 81272 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 339908
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300.01 s]
/proc/loadavg: 4.06 4.06 4.13 5/192 828
/proc/meminfo: memFree=16959336/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331208 CPUtime=1300.01 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 80121 0 0 0 129948 53 0 0 25 0 1 0 489762950 339156992 78989 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208261 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82802 78989 131 6 0 81272 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 339908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.01 s]
/proc/loadavg: 4.06 4.06 4.13 5/192 828
/proc/meminfo: memFree=16959336/32951132 swapFree=67111528/67111528
[pid=662] ppid=660 vsize=8700 CPUtime=0 cores=5,7
/proc/662/stat : 662 (esg_static.sh) S 660 662 524 0 -1 4202496 353 112 0 0 0 0 0 0 23 0 1 0 489762949 8908800 253 33554432000 4194304 4922060 140737383858032 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/662/statm: 2175 253 209 178 0 68 0
[pid=664] ppid=662 vsize=331208 CPUtime=1300.01 cores=5,7
/proc/664/stat : 664 (cdcl) R 662 662 524 0 -1 4202496 80121 0 0 0 129948 53 0 0 25 0 1 0 489762950 339156992 78989 33554432000 4194304 4218580 140734800094464 18446744073709551615 4208261 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/664/statm: 82802 78989 131 6 0 81272 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 339908
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 662 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# 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.48
CPU system time (s): 0.53
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 340068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465
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= 5
involuntary context switches= 3
runsolver used 1.9807 second user time and 4.95925 second system time
The end
Begin job on node131 at 2011-04-26 03:33:53
IDJOB=3292063
IDBENCH=85008
IDSOLVER=1609
FILE ID=node131/3292063-1303781626
RUNJOBID= node131-1303781575-545
PBS_JOBID= 13157225
Free space on /tmp= 71392 MiB
SOLVER NAME= rcl 2011-04-01
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292063-1303781626/watcher-3292063-1303781626 -o /tmp/evaluation-result-3292063-1303781626/solver-3292063-1303781626 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3292063-1303781626.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=473717972
node131.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 : 5332.75
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.83
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.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.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.77
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 16792824 kB
Buffers: 1010924 kB
Cached: 14227364 kB
SwapCached: 0 kB
Active: 5640336 kB
Inactive: 9984964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 16792824 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 532580 kB
Writeback: 0 kB
AnonPages: 386264 kB
Mapped: 15464 kB
Slab: 467584 kB
PageTables: 6092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 585176 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71604 MiB
End job on node131 at 2011-04-26 03:55:35