0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.18/0.23 c Seed is 2132591534
0.18/0.23 c Constructing HOME/instance-2080602-1247717909.xml
0.18/0.23 c deduced all_different(V2,V4,V6,V0)
0.18/0.23 c deduced all_different(V3,V5,V7,V1)
0.18/0.23 c deduced all_different(V1,V3,V5,V8)
0.18/0.23 c with 273 constraints
0.18/0.23 c Solving
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080602-1247717909/watcher-2080602-1247717909 -o /tmp/evaluation-result-2080602-1247717909/solver-2080602-1247717909 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2132591534 HOME/instance-2080602-1247717909.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.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=18576 CPUtime=0
/proc/7483/stat : 7483 (runsolver) R 7481 7483 5643 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 58857261 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 253307186471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7483/statm: 4644 284 249 26 0 2626 0
[startup+0.0713371 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=4792 CPUtime=0.05
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 918 643 0 0 5 0 0 0 18 0 1 0 58857261 4907008 549 996147200 134512640 135215973 4294956304 18446744073709551615 134585491 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1198 549 420 171 0 123 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4792
[startup+0.10134 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=5048 CPUtime=0.08
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 965 643 0 0 8 0 0 0 18 0 1 0 58857261 5169152 596 996147200 134512640 135215973 4294956304 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1262 596 420 171 0 187 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5048
[startup+0.301361 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=6140 CPUtime=0.28
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 1241 643 0 0 28 0 0 0 19 0 1 0 58857261 6287360 872 996147200 134512640 135215973 4294956304 18446744073709551615 134604841 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1535 872 420 171 0 460 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6140
[startup+0.701394 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=7192 CPUtime=0.68
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 1515 643 0 0 68 0 0 0 23 0 1 0 58857261 7364608 1146 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1798 1146 420 171 0 723 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7192
[startup+1.50147 s]
/proc/loadavg: 2.27 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1371120/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=11672 CPUtime=1.47
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 2620 643 0 0 146 1 0 0 25 0 1 0 58857261 11952128 2251 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 2918 2251 420 171 0 1843 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11672
[startup+3.10161 s]
/proc/loadavg: 2.25 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1365040/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=20108 CPUtime=3.05
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 4733 643 0 0 304 1 0 0 25 0 1 0 58857261 20590592 4364 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 5027 4364 420 171 0 3952 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 20108
[startup+6.30191 s]
/proc/loadavg: 2.25 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1348208/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=33284 CPUtime=6.23
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 8034 643 0 0 620 3 0 0 25 0 1 0 58857261 34082816 7547 996147200 134512640 135215973 4294956304 18446744073709551615 134902472 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 8321 7547 420 171 0 7246 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 33284
[startup+12.7015 s]
/proc/loadavg: 2.21 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1345392/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=35784 CPUtime=12.58
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 8808 643 0 0 1255 3 0 0 25 0 1 0 58857261 36642816 8216 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 8946 8216 420 171 0 7871 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 35784
[startup+25.5016 s]
/proc/loadavg: 2.17 2.09 2.02 3/73 7488
/proc/meminfo: memFree=1280816/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=101072 CPUtime=25.28
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 25105 643 0 0 2518 10 0 0 25 0 1 0 58857261 103497728 24351 996147200 134512640 135215973 4294956304 18446744073709551615 134532941 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 25268 24351 420 171 0 24193 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 101072
[startup+51.102 s]
/proc/loadavg: 2.11 2.08 2.02 3/73 7488
/proc/meminfo: memFree=1156400/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=226428 CPUtime=50.67
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 56463 643 0 0 5045 22 0 0 25 0 1 0 58857261 231862272 55709 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 56607 55709 420 171 0 55532 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 226428
[startup+102.306 s]
/proc/loadavg: 2.04 2.07 2.01 3/73 7488
/proc/meminfo: memFree=987952/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=392988 CPUtime=101.47
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 99797 643 0 0 10108 39 0 0 25 0 1 0 58857261 402419712 96926 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 98247 96926 423 171 0 97172 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 392988
[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/73 7488
/proc/meminfo: memFree=978928/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=401672 CPUtime=160.98
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 102012 643 0 0 16057 41 0 0 25 0 1 0 58857261 411312128 99027 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 100418 99027 423 171 0 99343 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 401672
[startup+222.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 7488
/proc/meminfo: memFree=925360/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=454176 CPUtime=220.45
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 115308 643 0 0 21999 46 0 0 25 0 1 0 58857261 465076224 112323 996147200 134512640 135215973 4294956304 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 113544 112323 423 171 0 112469 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 454176
[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 7488
/proc/meminfo: memFree=875888/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=501460 CPUtime=279.97
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 127188 643 0 0 27946 51 0 0 25 0 1 0 58857261 513495040 124203 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 125365 124203 423 171 0 124290 0
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (KiB) 501460
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 7488
/proc/meminfo: memFree=873008/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=503336 CPUtime=339.47
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 127662 643 0 0 33895 52 0 0 25 0 1 0 58857261 515416064 124659 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 125834 124659 423 171 0 124759 0
Current children cumulated CPU time (s) 339.47
Current children cumulated vsize (KiB) 503336
[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 7488
/proc/meminfo: memFree=870960/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504156 CPUtime=398.99
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 127938 643 0 0 39846 53 0 0 25 0 1 0 58857261 516255744 124915 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 126039 124915 423 171 0 124964 0
Current children cumulated CPU time (s) 398.99
Current children cumulated vsize (KiB) 504156
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 7488
/proc/meminfo: memFree=869360/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504704 CPUtime=458.46
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128138 643 0 0 45793 53 0 0 25 0 1 0 58857261 516816896 125075 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 126176 125075 423 171 0 125101 0
Current children cumulated CPU time (s) 458.46
Current children cumulated vsize (KiB) 504704
[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 7488
/proc/meminfo: memFree=868080/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504704 CPUtime=517.9
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128182 643 0 0 51737 53 0 0 25 0 1 0 58857261 516816896 125119 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 126176 125119 423 171 0 125101 0
Current children cumulated CPU time (s) 517.9
Current children cumulated vsize (KiB) 504704
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=879272/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504832 CPUtime=577.59
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128224 643 0 0 57705 54 0 0 25 0 1 0 58857261 516947968 125161 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126208 125161 423 171 0 125133 0
Current children cumulated CPU time (s) 577.59
Current children cumulated vsize (KiB) 504832
[startup+642.302 s]
/proc/loadavg: 2.19 2.05 2.01 3/82 7530
/proc/meminfo: memFree=879016/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=505088 CPUtime=637.58
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128267 643 0 0 63704 54 0 0 25 0 1 0 58857261 517210112 125204 996147200 134512640 135215973 4294956304 18446744073709551615 134581701 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126272 125204 423 171 0 125197 0
Current children cumulated CPU time (s) 637.58
Current children cumulated vsize (KiB) 505088
[startup+702.301 s]
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 2.01 2.02 2.00 4/82 7530
/proc/meminfo: memFree=878248/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=505604 CPUtime=817.51
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128410 643 0 0 81696 55 0 0 25 0 1 0 58857261 517738496 125347 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126401 125347 423 171 0 125326 0
Current children cumulated CPU time (s) 817.51
Current children cumulated vsize (KiB) 505604
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7530
/proc/meminfo: memFree=877928/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=505860 CPUtime=877.49
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128487 643 0 0 87694 55 0 0 25 0 1 0 58857261 518000640 125424 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126465 125424 423 171 0 125390 0
Current children cumulated CPU time (s) 877.49
Current children cumulated vsize (KiB) 505860
[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7530
/proc/meminfo: memFree=877608/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506096 CPUtime=937.46
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128551 643 0 0 93691 55 0 0 25 0 1 0 58857261 518242304 125488 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126524 125488 423 171 0 125449 0
Current children cumulated CPU time (s) 937.46
Current children cumulated vsize (KiB) 506096
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=877416/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506224 CPUtime=997.44
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128603 643 0 0 99689 55 0 0 25 0 1 0 58857261 518373376 125540 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126556 125540 423 171 0 125481 0
Current children cumulated CPU time (s) 997.44
Current children cumulated vsize (KiB) 506224
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=877288/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506356 CPUtime=1057.41
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128639 643 0 0 105686 55 0 0 25 0 1 0 58857261 518508544 125576 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126589 125576 423 171 0 125514 0
Current children cumulated CPU time (s) 1057.41
Current children cumulated vsize (KiB) 506356
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=877096/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506484 CPUtime=1117.38
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128689 643 0 0 111683 55 0 0 25 0 1 0 58857261 518639616 125626 996147200 134512640 135215973 4294956304 18446744073709551615 134591071 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126621 125626 423 171 0 125546 0
Current children cumulated CPU time (s) 1117.38
Current children cumulated vsize (KiB) 506484
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876968/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506612 CPUtime=1177.37
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128722 643 0 0 117681 56 0 0 25 0 1 0 58857261 518770688 125659 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126653 125659 423 171 0 125578 0
Current children cumulated CPU time (s) 1177.37
Current children cumulated vsize (KiB) 506612
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876584/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506872 CPUtime=1237.34
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128768 643 0 0 123678 56 0 0 25 0 1 0 58857261 519036928 125705 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126718 125705 423 171 0 125643 0
Current children cumulated CPU time (s) 1237.34
Current children cumulated vsize (KiB) 506872
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876328/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507136 CPUtime=1297.32
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128837 643 0 0 129676 56 0 0 25 0 1 0 58857261 519307264 125774 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126784 125774 423 171 0 125709 0
Current children cumulated CPU time (s) 1297.32
Current children cumulated vsize (KiB) 507136
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876136/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507260 CPUtime=1357.29
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128887 643 0 0 135673 56 0 0 25 0 1 0 58857261 519434240 125824 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126815 125824 423 171 0 125740 0
Current children cumulated CPU time (s) 1357.29
Current children cumulated vsize (KiB) 507260
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875944/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507392 CPUtime=1417.28
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128935 643 0 0 141672 56 0 0 25 0 1 0 58857261 519569408 125872 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126848 125872 423 171 0 125773 0
Current children cumulated CPU time (s) 1417.28
Current children cumulated vsize (KiB) 507392
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875752/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507676 CPUtime=1477.24
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128991 643 0 0 147668 56 0 0 25 0 1 0 58857261 519860224 125928 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126919 125928 423 171 0 125844 0
Current children cumulated CPU time (s) 1477.24
Current children cumulated vsize (KiB) 507676
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875560/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507676 CPUtime=1537.23
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 129035 643 0 0 153666 57 0 0 25 0 1 0 58857261 519860224 125972 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126919 125972 423 171 0 125844 0
Current children cumulated CPU time (s) 1537.23
Current children cumulated vsize (KiB) 507676
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875368/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507936 CPUtime=1597.2
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 129091 643 0 0 159663 57 0 0 25 0 1 0 58857261 520126464 126028 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126984 126028 423 171 0 125909 0
Current children cumulated CPU time (s) 1597.2
Current children cumulated vsize (KiB) 507936
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=874344/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=508856 CPUtime=1657.18
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 129349 643 0 0 165660 58 0 0 25 0 1 0 58857261 521068544 126286 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 127214 126286 423 171 0 126139 0
Current children cumulated CPU time (s) 1657.18
Current children cumulated vsize (KiB) 508856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=872424/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=516924 CPUtime=1717.16
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 131446 643 0 0 171657 59 0 0 25 0 1 0 58857261 529330176 127358 996147200 134512640 135215973 4294956304 18446744073709551615 4158961004 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 129231 127358 423 171 0 128156 0
Current children cumulated CPU time (s) 1717.16
Current children cumulated vsize (KiB) 516924
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=868904/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=517564 CPUtime=1777.14
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 131687 643 0 0 177654 60 0 0 25 0 1 0 58857261 529985536 127599 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 129391 127599 423 171 0 128316 0
Current children cumulated CPU time (s) 1777.14
Current children cumulated vsize (KiB) 517564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=868712/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=517820 CPUtime=1800.03
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 131745 643 0 0 179943 60 0 0 25 0 1 0 58857261 530247680 127657 996147200 134512640 135215973 4294956304 18446744073709551615 134590036 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 129455 127657 423 171 0 128380 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 517820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.28
CPU time (s): 1800.12
CPU user time (s): 1799.44
CPU system time (s): 0.683896
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 520496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.683896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132388
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= 18
involuntary context switches= 16178
runsolver used 1.80073 second user time and 5.03024 second system time
The end
Begin job on node25 at 2009-07-16 06:18:29
IDJOB=2080602
IDBENCH=57114
IDSOLVER=733
FILE ID=node25/2080602-1247717909
PBS_JOBID= 9521476
Free space on /tmp= 66312 MiB
SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/knights/normalized-knights-100-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080602-1247717909/watcher-2080602-1247717909 -o /tmp/evaluation-result-2080602-1247717909/solver-2080602-1247717909 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2132591534 HOME/instance-2080602-1247717909.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e3d61a77ece532324ef1261b9e5f0982
RANDOM SEED=2132591534
node25.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.231
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.231
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: 1376280 kB
Buffers: 83404 kB
Cached: 480860 kB
SwapCached: 0 kB
Active: 122372 kB
Inactive: 481464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1376280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1952 kB
Writeback: 0 kB
Mapped: 51032 kB
Slab: 61176 kB
Committed_AS: 468140 kB
PageTables: 1900 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= 66312 MiB
End job on node25 at 2009-07-16 06:48:36