runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3501377-1308041974/watcher-3501377-1308041974 -o /tmp/evaluation-result-3501377-1308041974/solver-3501377-1308041974 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501377-1308041974.gcnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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.28 4.00 1.77 4/189 32729
/proc/meminfo: memFree=31131808/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=13724 CPUtime=0 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 612 0 0 0 0 0 0 0 25 0 1 0 915797051 14053376 524 33554432000 4194304 4365125 140734784270736 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 3431 525 254 42 0 579 0
[startup+0.0783061 s]
/proc/loadavg: 5.28 4.00 1.77 4/189 32729
/proc/meminfo: memFree=31131808/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=17300 CPUtime=0.07 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3052 0 0 0 7 0 0 0 25 0 1 0 915797051 17715200 1629 33554432000 4194304 4365125 140734784270736 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 4325 1629 263 42 0 1473 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17300
[startup+0.100297 s]
/proc/loadavg: 5.28 4.00 1.77 4/189 32729
/proc/meminfo: memFree=31131808/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=19604 CPUtime=0.09 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3579 0 0 0 9 0 0 0 25 0 1 0 915797051 20074496 2088 33554432000 4194304 4365125 140734784270736 18446744073709551615 4249807 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 4901 2088 263 42 0 2049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19604
[startup+0.30026 s]
/proc/loadavg: 5.28 4.00 1.77 4/189 32729
/proc/meminfo: memFree=31131808/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=28988 CPUtime=0.29 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 11584 0 0 0 28 1 0 0 25 0 1 0 915797051 29683712 3765 33554432000 4194304 4365125 140734784270736 18446744073709551615 4244731 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 7247 3765 263 42 0 4395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28988
[startup+0.700186 s]
/proc/loadavg: 5.28 4.00 1.77 4/189 32729
/proc/meminfo: memFree=31131808/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=43864 CPUtime=0.69 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 24539 0 0 0 67 2 0 0 25 0 1 0 915797051 44916736 6194 33554432000 4194304 4365125 140734784270736 18446744073709551615 4248416 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 10966 6194 263 42 0 8114 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43864
[startup+1.50103 s]
/proc/loadavg: 5.28 4.00 1.77 5/190 32730
/proc/meminfo: memFree=31106032/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=57560 CPUtime=1.49 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 39670 0 0 0 145 4 0 0 25 0 1 0 915797051 58941440 10559 33554432000 4194304 4365125 140734784270736 18446744073709551615 4250163 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 14390 10559 263 42 0 11538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57560
[startup+3.10073 s]
/proc/loadavg: 5.28 4.00 1.77 5/190 32730
/proc/meminfo: memFree=31090156/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=77972 CPUtime=3.09 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 60185 0 0 0 303 6 0 0 25 0 1 0 915797051 79843328 15972 33554432000 4194304 4365125 140734784270736 18446744073709551615 4257799 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 19493 15972 263 42 0 16641 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77972
[startup+6.30012 s]
/proc/loadavg: 5.17 4.00 1.78 5/190 32730
/proc/meminfo: memFree=31066576/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=152088 CPUtime=6.29 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 113497 0 0 0 617 12 0 0 25 0 1 0 915797051 155738112 24135 33554432000 4194304 4365125 140734784270736 18446744073709551615 4244663 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 38022 24138 263 42 0 35170 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152088
[startup+12.7009 s]
/proc/loadavg: 5.08 4.00 1.79 5/190 32731
/proc/meminfo: memFree=31027104/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=153332 CPUtime=12.69 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 117596 0 0 0 1257 12 0 0 25 0 1 0 915797051 157011968 26391 33554432000 4194304 4365125 140734784270736 18446744073709551615 4244654 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 38333 26391 263 42 0 35481 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 153332
[startup+25.5005 s]
/proc/loadavg: 4.84 4.00 1.83 5/190 32731
/proc/meminfo: memFree=30898760/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=226980 CPUtime=25.49 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 178729 0 0 0 2530 19 0 0 25 0 1 0 915797051 232427520 41034 33554432000 4194304 4365125 140734784270736 18446744073709551615 4244636 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 56745 41034 287 42 0 53893 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 226980
[startup+51.1006 s]
/proc/loadavg: 4.55 4.00 1.88 5/190 301
/proc/meminfo: memFree=30792020/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=330344 CPUtime=51.1 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 270666 0 0 0 5081 29 0 0 25 0 1 0 915797051 338272256 62432 33554432000 4194304 4365125 140734784270736 18446744073709551615 4250084 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 82586 62432 325 42 0 79734 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 330344
[startup+102.307 s]
/proc/loadavg: 4.24 4.00 1.99 5/190 357
/proc/meminfo: memFree=30515964/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=502036 CPUtime=102.3 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 389653 0 0 0 10189 41 0 0 25 0 1 0 915797051 514084864 86784 33554432000 4194304 4365125 140734784270736 18446744073709551615 4247584 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 125509 86784 293 42 0 122657 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 502036
[startup+162.3 s]
/proc/loadavg: 4.09 4.00 2.11 5/190 359
/proc/meminfo: memFree=30429316/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=502028 CPUtime=162.3 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 444768 0 0 0 16182 48 0 0 25 0 1 0 915797051 514076672 93619 33554432000 4194304 4365125 140734784270736 18446744073709551615 4258095 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 125507 93619 279 42 0 122655 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 502028
[startup+222.301 s]
/proc/loadavg: 4.06 4.01 2.23 5/190 360
/proc/meminfo: memFree=30001176/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1002372 CPUtime=222.3 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1080024 0 0 0 22108 122 0 0 25 0 1 0 915797051 1026428928 194808 33554432000 4194304 4365125 140734784270736 18446744073709551615 4244619 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 250593 194808 279 42 0 247741 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1002372
[startup+282.301 s]
/proc/loadavg: 4.02 4.00 2.34 5/190 402
/proc/meminfo: memFree=30178652/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1106524 CPUtime=282.3 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1502860 0 0 0 28061 169 0 0 25 0 1 0 915797051 1133080576 199771 33554432000 4194304 4365125 140734784270736 18446744073709551615 4248456 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 276631 199771 279 42 0 273779 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1106524
[startup+342.301 s]
/proc/loadavg: 4.06 4.01 2.45 5/190 403
/proc/meminfo: memFree=30105352/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1106524 CPUtime=342.3 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1529890 0 0 0 34059 171 0 0 25 0 1 0 915797051 1133080576 213395 33554432000 4194304 4365125 140734784270736 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 276631 213395 279 42 0 273779 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1106524
[startup+402.301 s]
/proc/loadavg: 4.02 4.01 2.54 5/190 405
/proc/meminfo: memFree=30059020/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1106524 CPUtime=402.3 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1529896 0 0 0 40059 171 0 0 25 0 1 0 915797051 1133080576 213401 33554432000 4194304 4365125 140734784270736 18446744073709551615 4250176 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 276631 213401 279 42 0 273779 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1106524
[startup+462.3 s]
/proc/loadavg: 4.05 4.02 2.64 5/190 444
/proc/meminfo: memFree=29906568/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1106524 CPUtime=462.31 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1530005 0 0 0 46060 171 0 0 25 0 1 0 915797051 1133080576 213510 33554432000 4194304 4365125 140734784270736 18446744073709551615 4247605 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 276631 213510 279 42 0 273779 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1106524
[startup+522.301 s]
/proc/loadavg: 4.02 4.01 2.72 5/190 445
/proc/meminfo: memFree=29923124/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1106524 CPUtime=522.3 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1533349 0 0 0 52059 171 0 0 25 0 1 0 915797051 1133080576 216854 33554432000 4194304 4365125 140734784270736 18446744073709551615 4250097 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 276631 216854 402 42 0 273779 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1106524
[startup+582.3 s]
/proc/loadavg: 4.00 4.01 2.80 5/190 494
/proc/meminfo: memFree=29645148/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1386360 CPUtime=582.31 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1634155 0 0 0 58046 185 0 0 25 0 1 0 915797051 1419632640 251026 33554432000 4194304 4365125 140734784270736 18446744073709551615 4248438 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 346590 251026 366 42 0 343738 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1386360
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 2.87 5/190 495
/proc/meminfo: memFree=29804192/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1120136 CPUtime=642.31 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1934557 0 0 0 64010 221 0 0 25 0 1 0 915797051 1147019264 217648 33554432000 4194304 4365125 140734784270736 18446744073709551615 4244654 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 280034 217648 366 42 0 277182 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1120136
[startup+702.3 s]
/proc/loadavg: 3.83 3.96 2.93 4/184 521
/proc/meminfo: memFree=30100336/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1120136 CPUtime=702.31 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1934557 0 0 0 70010 221 0 0 25 0 1 0 915797051 1147019264 217648 33554432000 4194304 4365125 140734784270736 18446744073709551615 4248416 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 280034 217648 366 42 0 277182 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1120136
[startup+762.307 s]
/proc/loadavg: 3.30 3.79 2.93 4/184 523
/proc/meminfo: memFree=30063948/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1120136 CPUtime=762.32 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 1934557 0 0 0 76011 221 0 0 25 0 1 0 915797051 1147019264 217648 33554432000 4194304 4365125 140734784270736 18446744073709551615 4250342 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 280034 217648 366 42 0 277182 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 1120136
[startup+822.301 s]
/proc/loadavg: 3.11 3.64 2.93 4/184 524
/proc/meminfo: memFree=30121304/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1159048 CPUtime=822.32 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 2190247 0 0 0 81980 252 0 0 25 0 1 0 915797051 1186865152 222531 33554432000 4194304 4365125 140734784270736 18446744073709551615 4267743 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 289762 222531 366 42 0 286910 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1159048
[startup+882.3 s]
/proc/loadavg: 3.04 3.52 2.93 4/184 526
/proc/meminfo: memFree=30043880/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1109896 CPUtime=882.32 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 2612025 0 0 0 87927 305 0 0 25 0 1 0 915797051 1136533504 216363 33554432000 4194304 4365125 140734784270736 18446744073709551615 4258040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 277474 216363 366 42 0 274622 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1109896
[startup+942.301 s]
/proc/loadavg: 3.01 3.42 2.93 4/184 527
/proc/meminfo: memFree=30149356/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1247104 CPUtime=942.32 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 2898266 0 0 0 93893 339 0 0 25 0 1 0 915797051 1277034496 233550 33554432000 4194304 4365125 140734784270736 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 311776 233550 366 42 0 308924 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1247104
[startup+1002.3 s]
/proc/loadavg: 3.04 3.36 2.93 4/184 529
/proc/meminfo: memFree=30106156/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1116040 CPUtime=1002.33 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3171503 0 0 0 99860 373 0 0 25 0 1 0 915797051 1142824960 217102 33554432000 4194304 4365125 140734784270736 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 279010 217102 366 42 0 276158 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1116040
Solver just ended. Dumping a history of the last processes samples
[startup+1023.9 s]
/proc/loadavg: 2.80 3.28 2.91 3/178 554
/proc/meminfo: memFree=30318708/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1132424 CPUtime=1023.93 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3218110 0 0 0 102013 380 0 0 25 0 1 0 915797051 1159602176 219158 33554432000 4194304 4365125 140734784270736 18446744073709551615 4257962 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 283106 219158 366 42 0 280254 0
Current children cumulated CPU time (s) 1023.93
Current children cumulated vsize (KiB) 1132424
[startup+1030.3 s]
/proc/loadavg: 2.74 3.26 2.91 3/178 554
/proc/meminfo: memFree=30324788/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1103752 CPUtime=1030.33 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3315962 0 0 0 102641 392 0 0 25 0 1 0 915797051 1130242048 215560 33554432000 4194304 4365125 140734784270736 18446744073709551615 4306828 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 275938 215560 366 42 0 273086 0
Current children cumulated CPU time (s) 1030.33
Current children cumulated vsize (KiB) 1103752
[startup+1036.7 s]
/proc/loadavg: 2.68 3.24 2.90 3/178 554
/proc/meminfo: memFree=30342888/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1128328 CPUtime=1036.73 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3438216 0 0 0 103267 406 0 0 25 0 1 0 915797051 1155407872 218644 33554432000 4194304 4365125 140734784270736 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 282082 218644 366 42 0 279230 0
Current children cumulated CPU time (s) 1036.73
Current children cumulated vsize (KiB) 1128328
[startup+1039.9 s]
/proc/loadavg: 2.62 3.22 2.90 3/178 554
/proc/meminfo: memFree=30351672/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1103752 CPUtime=1039.93 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3454908 0 0 0 103585 408 0 0 25 0 1 0 915797051 1130242048 215560 33554432000 4194304 4365125 140734784270736 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 275938 215560 366 42 0 273086 0
Current children cumulated CPU time (s) 1039.93
Current children cumulated vsize (KiB) 1103752
[startup+1041.5 s]
/proc/loadavg: 2.62 3.22 2.90 3/178 554
/proc/meminfo: memFree=30344852/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1113992 CPUtime=1041.53 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3456193 0 0 0 103745 408 0 0 25 0 1 0 915797051 1140727808 216845 33554432000 4194304 4365125 140734784270736 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 278498 216845 366 42 0 275646 0
Current children cumulated CPU time (s) 1041.53
Current children cumulated vsize (KiB) 1113992
[startup+1041.9 s]
/proc/loadavg: 2.62 3.22 2.90 3/178 554
/proc/meminfo: memFree=30343860/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1113992 CPUtime=1041.93 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3456193 0 0 0 103785 408 0 0 25 0 1 0 915797051 1140727808 216845 33554432000 4194304 4365125 140734784270736 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 278498 216845 366 42 0 275646 0
Current children cumulated CPU time (s) 1041.93
Current children cumulated vsize (KiB) 1113992
[startup+1042.1 s]
/proc/loadavg: 2.62 3.22 2.90 3/178 554
/proc/meminfo: memFree=30343860/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1113992 CPUtime=1042.13 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3456193 0 0 0 103805 408 0 0 25 0 1 0 915797051 1140727808 216845 33554432000 4194304 4365125 140734784270736 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 278498 216845 366 42 0 275646 0
Current children cumulated CPU time (s) 1042.13
Current children cumulated vsize (KiB) 1113992
[startup+1042.2 s]
/proc/loadavg: 2.62 3.22 2.90 3/178 554
/proc/meminfo: memFree=30343860/32950928 swapFree=67055948/67111528
[pid=32729] ppid=32727 vsize=1113992 CPUtime=1042.23 cores=5,7
/proc/32729/stat : 32729 (MoUsSaka) R 32727 32729 32471 0 -1 4202496 3456193 0 0 0 103815 408 0 0 25 0 1 0 915797051 1140727808 216845 33554432000 4194304 4365125 140734784270736 18446744073709551615 4267825 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/32729/statm: 278498 216845 366 42 0 275646 0
Current children cumulated CPU time (s) 1042.23
Current children cumulated vsize (KiB) 1113992
Child status: 20
Real time (s): 1042.27
CPU time (s): 1042.3
CPU user time (s): 1038.18
CPU system time (s): 4.12037
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1788044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1038.18
system time used= 4.12037
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3456198
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= 1437
runsolver used 1.66175 second user time and 3.9684 second system time
The end
Begin job on node127 at 2011-06-14 10:59:34
IDJOB=3501377
IDBENCH=90008
IDSOLVER=2000
FILE ID=node127/3501377-1308041974
RUNJOBID= node127-1308041932-32492
PBS_JOBID= 13564700
Free space on /tmp= 74000 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/4pipe.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501377-1308041974/watcher-3501377-1308041974 -o /tmp/evaluation-result-3501377-1308041974/solver-3501377-1308041974 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501377-1308041974.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 7c0ff5b6fc063a44b2fb545ecba84871
RANDOM SEED=43848595
node127.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.823
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.64
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.823
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.83
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.823
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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: 32950928 kB
MemFree: 31132228 kB
Buffers: 192544 kB
Cached: 908656 kB
SwapCached: 9120 kB
Active: 791468 kB
Inactive: 802164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31132228 kB
SwapTotal: 67111528 kB
SwapFree: 67055948 kB
Dirty: 33504 kB
Writeback: 0 kB
AnonPages: 490648 kB
Mapped: 13752 kB
Slab: 158200 kB
PageTables: 6028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 874816 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= 74028 MiB
End job on node127 at 2011-06-14 11:16:56