0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 491616145
0.00/0.02 c Constructing HOME/instance-2080459-1247717707.xml
0.07/0.10 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V0)
0.07/0.10 c with 5041 constraints
0.07/0.10 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080459-1247717707/watcher-2080459-1247717707 -o /tmp/evaluation-result-2080459-1247717707/solver-2080459-1247717707 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 491616145 HOME/instance-2080459-1247717707.xml
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.03 2.02 4/82 12119
/proc/meminfo: memFree=1274512/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=18576 CPUtime=0
/proc/12119/stat : 12119 (runsolver) R 12117 12119 9855 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58833530 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12119/statm: 4644 284 249 26 0 2626 0
[startup+0.0437981 s]
/proc/loadavg: 2.12 2.03 2.02 4/82 12119
/proc/meminfo: memFree=1274512/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=4924 CPUtime=0.02
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 893 657 0 0 2 0 0 0 22 0 1 0 58833530 5042176 524 996147200 134512640 135215973 4294956304 18446744073709551615 10272256 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 1231 524 385 171 0 156 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4924
[startup+0.101808 s]
/proc/loadavg: 2.12 2.03 2.02 4/82 12119
/proc/meminfo: memFree=1274512/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=5956 CPUtime=0.07
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 1164 657 0 0 7 0 0 0 22 0 1 0 58833530 6098944 762 996147200 134512640 135215973 4294956304 18446744073709551615 10268767 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 1489 762 396 171 0 414 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5956
[startup+0.301834 s]
/proc/loadavg: 2.12 2.03 2.02 4/82 12119
/proc/meminfo: memFree=1274512/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=9888 CPUtime=0.27
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 2481 657 0 0 27 0 0 0 23 0 1 0 58833530 10125312 1685 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 2472 1685 421 171 0 1397 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9888
[startup+0.70188 s]
/proc/loadavg: 2.12 2.03 2.02 4/82 12119
/proc/meminfo: memFree=1274512/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=15116 CPUtime=0.67
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 4048 657 0 0 66 1 0 0 25 0 1 0 58833530 15478784 2835 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 3779 2835 421 171 0 2704 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 15116
[startup+1.50197 s]
/proc/loadavg: 2.12 2.03 2.02 3/83 12124
/proc/meminfo: memFree=1261832/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=28344 CPUtime=1.47
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 7706 657 0 0 144 3 0 0 25 0 1 0 58833530 29024256 5660 996147200 134512640 135215973 4294956304 18446744073709551615 4159336992 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 7086 5660 423 171 0 6011 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28344
[startup+3.10116 s]
/proc/loadavg: 2.12 2.03 2.02 3/83 12124
/proc/meminfo: memFree=1253256/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=28468 CPUtime=3.07
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 7709 657 0 0 304 3 0 0 25 0 1 0 58833530 29151232 5663 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 7117 5663 423 171 0 6042 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 28468
[startup+6.30154 s]
/proc/loadavg: 2.11 2.03 2.02 3/83 12124
/proc/meminfo: memFree=1253128/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=28468 CPUtime=6.26
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 7717 657 0 0 623 3 0 0 25 0 1 0 58833530 29151232 5671 996147200 134512640 135215973 4294956304 18446744073709551615 4158960354 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 7117 5671 423 171 0 6042 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 28468
[startup+12.7013 s]
/proc/loadavg: 2.10 2.03 2.02 3/83 12124
/proc/meminfo: memFree=1252232/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=31592 CPUtime=12.62
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 8528 657 0 0 1259 3 0 0 25 0 1 0 58833530 32350208 6417 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 7898 6417 423 171 0 6823 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 31592
[startup+25.5018 s]
/proc/loadavg: 2.08 2.03 2.02 4/83 12124
/proc/meminfo: memFree=1245128/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=36588 CPUtime=25.37
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 9927 657 0 0 2533 4 0 0 25 0 1 0 58833530 37466112 7706 996147200 134512640 135215973 4294956304 18446744073709551615 134680644 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 9147 7706 423 171 0 8072 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 36588
[startup+51.1018 s]
/proc/loadavg: 2.05 2.02 2.02 3/83 12124
/proc/meminfo: memFree=1244872/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=37100 CPUtime=50.87
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 10091 657 0 0 5083 4 0 0 25 0 1 0 58833530 37990400 7741 996147200 134512640 135215973 4294956304 18446744073709551615 134600605 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 9275 7741 423 171 0 8200 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 37100
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.01 3/83 12124
/proc/meminfo: memFree=1228936/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=52728 CPUtime=101.85
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 14111 657 0 0 10179 6 0 0 25 0 1 0 58833530 53993472 11741 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 13182 11741 423 171 0 12107 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 52728
[startup+162.302 s]
/proc/loadavg: 2.01 2.01 2.01 3/83 12124
/proc/meminfo: memFree=1225672/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=56580 CPUtime=161.61
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 15171 657 0 0 16154 7 0 0 25 0 1 0 58833530 57937920 12544 996147200 134512640 135215973 4294956304 18446744073709551615 134533082 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 14145 12544 423 171 0 13070 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 56580
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12124
/proc/meminfo: memFree=1223752/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=58180 CPUtime=221.37
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 15650 657 0 0 22130 7 0 0 25 0 1 0 58833530 59576320 13023 996147200 134512640 135215973 4294956304 18446744073709551615 134593059 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 14545 13023 423 171 0 13470 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 58180
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12124
/proc/meminfo: memFree=1214280/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=69144 CPUtime=281.13
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 18570 657 0 0 28103 10 0 0 25 0 1 0 58833530 70803456 15365 996147200 134512640 135215973 4294956304 18446744073709551615 134648462 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 17286 15365 423 171 0 16211 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 69144
[startup+342.301 s]
/proc/loadavg: 1.94 1.98 1.99 3/83 12167
/proc/meminfo: memFree=1372928/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=83632 CPUtime=340.88
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 22254 657 0 0 34076 12 0 0 25 0 1 0 58833530 85639168 19049 996147200 134512640 135215973 4294956304 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 20908 19049 423 171 0 19833 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 83632
[startup+402.301 s]
/proc/loadavg: 1.97 1.98 1.99 3/83 12167
/proc/meminfo: memFree=1365824/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=84012 CPUtime=400.63
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 22370 657 0 0 40050 13 0 0 25 0 1 0 58833530 86028288 19165 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 21003 19165 423 171 0 19928 0
Current children cumulated CPU time (s) 400.63
Current children cumulated vsize (KiB) 84012
[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12167
/proc/meminfo: memFree=1365376/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=84400 CPUtime=460.35
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 22471 657 0 0 46022 13 0 0 25 0 1 0 58833530 86425600 19266 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 21100 19266 423 171 0 20025 0
Current children cumulated CPU time (s) 460.35
Current children cumulated vsize (KiB) 84400
[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12167
/proc/meminfo: memFree=1364928/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=84760 CPUtime=520.09
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 22587 657 0 0 51996 13 0 0 25 0 1 0 58833530 86794240 19382 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 21190 19382 423 171 0 20115 0
Current children cumulated CPU time (s) 520.09
Current children cumulated vsize (KiB) 84760
[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12167
/proc/meminfo: memFree=1364224/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=85388 CPUtime=579.84
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 22816 657 0 0 57970 14 0 0 25 0 1 0 58833530 87437312 19546 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 21347 19546 423 171 0 20272 0
Current children cumulated CPU time (s) 579.84
Current children cumulated vsize (KiB) 85388
[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12167
/proc/meminfo: memFree=1363776/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=85628 CPUtime=639.57
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 22905 657 0 0 63943 14 0 0 25 0 1 0 58833530 87683072 19635 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 21407 19635 423 171 0 20332 0
Current children cumulated CPU time (s) 639.57
Current children cumulated vsize (KiB) 85628
[startup+702.302 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 2.02 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1348864/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=100756 CPUtime=878.49
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 26764 657 0 0 87831 18 0 0 25 0 1 0 58833530 103174144 23365 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 25189 23365 423 171 0 24114 0
Current children cumulated CPU time (s) 878.49
Current children cumulated vsize (KiB) 100756
[startup+942.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1348672/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=100880 CPUtime=938.22
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 26811 657 0 0 93804 18 0 0 25 0 1 0 58833530 103301120 23412 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 25220 23412 423 171 0 24145 0
Current children cumulated CPU time (s) 938.22
Current children cumulated vsize (KiB) 100880
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1348416/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=101000 CPUtime=997.94
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 26846 657 0 0 99776 18 0 0 25 0 1 0 58833530 103424000 23447 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 25250 23447 423 171 0 24175 0
Current children cumulated CPU time (s) 997.94
Current children cumulated vsize (KiB) 101000
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1348352/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=101120 CPUtime=1057.65
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 26866 657 0 0 105747 18 0 0 25 0 1 0 58833530 103546880 23467 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 25280 23467 423 171 0 24205 0
Current children cumulated CPU time (s) 1057.65
Current children cumulated vsize (KiB) 101120
[startup+1122.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 12167
/proc/meminfo: memFree=1348288/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=101120 CPUtime=1117.37
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 26877 657 0 0 111719 18 0 0 25 0 1 0 58833530 103546880 23478 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 25280 23478 423 171 0 24205 0
Current children cumulated CPU time (s) 1117.37
Current children cumulated vsize (KiB) 101120
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 12167
/proc/meminfo: memFree=1345664/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=103836 CPUtime=1177.1
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 27545 657 0 0 117691 19 0 0 25 0 1 0 58833530 106328064 24146 996147200 134512640 135215973 4294956304 18446744073709551615 134908032 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 25959 24146 423 171 0 24884 0
Current children cumulated CPU time (s) 1177.1
Current children cumulated vsize (KiB) 103836
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1341696/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=107732 CPUtime=1236.83
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 28521 657 0 0 123663 20 0 0 25 0 1 0 58833530 110317568 25122 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 26933 25122 423 171 0 25858 0
Current children cumulated CPU time (s) 1236.83
Current children cumulated vsize (KiB) 107732
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1329344/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=119572 CPUtime=1296.56
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 31569 657 0 0 129633 23 0 0 25 0 1 0 58833530 122441728 28170 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 29893 28170 423 171 0 28818 0
Current children cumulated CPU time (s) 1296.56
Current children cumulated vsize (KiB) 119572
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1323840/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=125248 CPUtime=1356.29
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 32983 657 0 0 135606 23 0 0 25 0 1 0 58833530 128253952 29584 996147200 134512640 135215973 4294956304 18446744073709551615 134532692 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 31312 29584 423 171 0 30237 0
Current children cumulated CPU time (s) 1356.29
Current children cumulated vsize (KiB) 125248
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1323584/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=125372 CPUtime=1416.03
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 33039 657 0 0 141579 24 0 0 25 0 1 0 58833530 128380928 29640 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 31343 29640 423 171 0 30268 0
Current children cumulated CPU time (s) 1416.03
Current children cumulated vsize (KiB) 125372
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1315392/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=133660 CPUtime=1475.75
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 35086 657 0 0 147550 25 0 0 25 0 1 0 58833530 136867840 31687 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 33415 31687 423 171 0 32340 0
Current children cumulated CPU time (s) 1475.75
Current children cumulated vsize (KiB) 133660
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1314240/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=134688 CPUtime=1535.46
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 35349 657 0 0 153521 25 0 0 25 0 1 0 58833530 137920512 31950 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 33672 31950 423 171 0 32597 0
Current children cumulated CPU time (s) 1535.46
Current children cumulated vsize (KiB) 134688
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1312256/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=136660 CPUtime=1595.19
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 35854 657 0 0 159493 26 0 0 25 0 1 0 58833530 139939840 32455 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 34165 32455 423 171 0 33090 0
Current children cumulated CPU time (s) 1595.19
Current children cumulated vsize (KiB) 136660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1278464/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=170264 CPUtime=1654.92
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 44276 657 0 0 165461 31 0 0 25 0 1 0 58833530 174350336 40877 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 42566 40877 423 171 0 41491 0
Current children cumulated CPU time (s) 1654.92
Current children cumulated vsize (KiB) 170264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1155648/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=293488 CPUtime=1714.65
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 75175 657 0 0 171417 48 0 0 25 0 1 0 58833530 300531712 71519 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 73372 71519 423 171 0 72297 0
Current children cumulated CPU time (s) 1714.65
Current children cumulated vsize (KiB) 293488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1155328/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=293608 CPUtime=1774.38
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 75220 657 0 0 177390 48 0 0 25 0 1 0 58833530 300654592 71564 996147200 134512640 135215973 4294956304 18446744073709551615 4158961054 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 73402 71564 423 171 0 72327 0
Current children cumulated CPU time (s) 1774.38
Current children cumulated vsize (KiB) 293608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1155328/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=293728 CPUtime=1800.06
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 75226 657 0 0 179958 48 0 0 25 0 1 0 58833530 300777472 71570 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 73432 71570 423 171 0 72357 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 293728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12167
/proc/meminfo: memFree=1155328/2055920 swapFree=4192812/4192956
[pid=12119] ppid=12117 vsize=293728 CPUtime=1800.06
/proc/12119/stat : 12119 (pcs.big) R 12117 12119 9855 0 -1 4194304 75226 657 0 0 179958 48 0 0 25 0 1 0 58833530 300777472 71570 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12119/statm: 73432 71570 423 171 0 72357 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 293728
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.15
CPU time (s): 1800.13
CPU user time (s): 1799.59
CPU system time (s): 0.535918
CPU usage (%): 99.5561
Max. virtual memory (cumulated for all children) (KiB): 293728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.535918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75883
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= 19
involuntary context switches= 31715
runsolver used 2.05069 second user time and 5.20921 second system time
The end
Begin job on node66 at 2009-07-16 06:15:07
IDJOB=2080459
IDBENCH=57092
IDSOLVER=733
FILE ID=node66/2080459-1247717707
PBS_JOBID= 9521324
Free space on /tmp= 66260 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/queensKnights/normalized-queensKnights-50-5-add.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080459-1247717707/watcher-2080459-1247717707 -o /tmp/evaluation-result-2080459-1247717707/solver-2080459-1247717707 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 491616145 HOME/instance-2080459-1247717707.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2557765bf29994b12cfaa173ab96dd25
RANDOM SEED=491616145
node66.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1274992 kB
Buffers: 73312 kB
Cached: 379704 kB
SwapCached: 0 kB
Active: 320200 kB
Inactive: 380876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1274992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 268500 kB
Slab: 64696 kB
Committed_AS: 867092 kB
PageTables: 2244 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66256 MiB
End job on node66 at 2009-07-16 06:45:17