0.20 c
0.20 c Parsing xml file
0.20 c domains............... 0.05
0.20 c variables............. 0.13
0.20 c predicates............ 0
0.20 c constraints........... 3.22
3.43 c Allocating memory
3.43 c
3.43 c time limit = -1
3.43 c heuristic = dom/wdeg
3.43 c restart policy = No restart
3.43 c
3.43 c Solving
3.43 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-200903-1168144206 -o ROOT/results/node34/solver-200903-1168144206 -C 1800 -M 900 /tmp/evaluation/200903-1168144206/mistral/bin/solver /tmp/evaluation/200903-1168144206/unknown.xml -v 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.01 1.77 1.64 3/74 30538
/proc/meminfo: memFree=1636240/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=540 CPUtime=0
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 162814442 552960 26 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 7721259 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 135 26 21 92 0 18 0
[startup+0.102862 s]
/proc/loadavg: 2.01 1.77 1.64 3/74 30538
/proc/meminfo: memFree=1636240/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=44140 CPUtime=0.09
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 4796 0 0 0 7 2 0 0 18 0 1 0 162814442 45199360 4764 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 8156795 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 11035 4764 694 92 0 9379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44140
[startup+0.510887 s]
/proc/loadavg: 2.01 1.77 1.64 3/74 30538
/proc/meminfo: memFree=1636240/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=116900 CPUtime=0.49
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 12849 0 0 0 44 5 0 0 22 0 1 0 162814442 119705600 12817 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159297741 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 29225 12817 709 92 0 27569 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 116900
[startup+1.33096 s]
/proc/loadavg: 2.01 1.77 1.64 3/74 30538
/proc/meminfo: memFree=1584528/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=120944 CPUtime=1.31
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 13856 0 0 0 125 6 0 0 25 0 1 0 162814442 123846656 13824 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134597185 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 30236 13824 709 92 0 28580 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 120944
[startup+2.96809 s]
/proc/loadavg: 2.01 1.77 1.64 3/74 30538
/proc/meminfo: memFree=1578960/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=129148 CPUtime=2.93
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 15910 0 0 0 287 6 0 0 25 0 1 0 162814442 132247552 15845 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 8162944 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 32287 15845 709 92 0 30631 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 129148
[startup+6.24735 s]
/proc/loadavg: 2.01 1.77 1.64 3/74 30538
/proc/meminfo: memFree=1560848/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143876 CPUtime=6.18
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19610 0 0 0 610 8 0 0 25 0 1 0 162814442 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 143876
[startup+12.7089 s]
/proc/loadavg: 2.00 1.78 1.64 3/74 30538
/proc/meminfo: memFree=1561040/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143876 CPUtime=12.6
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19610 0 0 0 1252 8 0 0 25 0 1 0 162814442 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709333 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 143876
[startup+25.526 s]
/proc/loadavg: 2.00 1.79 1.65 3/74 30538
/proc/meminfo: memFree=1561104/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143876 CPUtime=25.32
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19610 0 0 0 2523 9 0 0 25 0 1 0 162814442 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 143876
[startup+51.172 s]
/proc/loadavg: 2.00 1.80 1.65 3/74 30538
/proc/meminfo: memFree=1561232/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143880 CPUtime=50.77
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19611 0 0 0 5068 9 0 0 25 0 1 0 162814442 147333120 19507 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35970 19507 717 92 0 34314 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 143880
[startup+102.432 s]
/proc/loadavg: 2.00 1.83 1.67 3/74 30538
/proc/meminfo: memFree=1561232/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143884 CPUtime=101.66
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19612 0 0 0 10157 9 0 0 25 0 1 0 162814442 147337216 19508 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35971 19508 717 92 0 34315 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 143884
[startup+162.506 s]
/proc/loadavg: 2.00 1.86 1.69 3/74 30538
/proc/meminfo: memFree=1561296/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143884 CPUtime=161.28
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19612 0 0 0 16119 9 0 0 25 0 1 0 162814442 147337216 19508 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35971 19508 717 92 0 34315 0
Current children cumulated CPU time (s) 161.28
Current children cumulated vsize (KiB) 143884
[startup+222.578 s]
/proc/loadavg: 2.00 1.88 1.70 3/74 30538
/proc/meminfo: memFree=1561232/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143888 CPUtime=220.91
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19613 0 0 0 22082 9 0 0 25 0 1 0 162814442 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 220.91
Current children cumulated vsize (KiB) 143888
[startup+282.658 s]
/proc/loadavg: 2.00 1.90 1.72 3/74 30538
/proc/meminfo: memFree=1561232/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143888 CPUtime=280.55
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19613 0 0 0 28046 9 0 0 25 0 1 0 162814442 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722042 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 280.55
Current children cumulated vsize (KiB) 143888
[startup+342.744 s]
/proc/loadavg: 2.00 1.92 1.74 3/74 30538
/proc/meminfo: memFree=1561232/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143888 CPUtime=340.19
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19613 0 0 0 34010 9 0 0 25 0 1 0 162814442 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 340.19
Current children cumulated vsize (KiB) 143888
[startup+402.823 s]
/proc/loadavg: 2.00 1.93 1.75 3/74 30538
/proc/meminfo: memFree=1561232/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143888 CPUtime=399.84
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19613 0 0 0 39974 10 0 0 25 0 1 0 162814442 147341312 19509 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35972 19509 717 92 0 34316 0
Current children cumulated CPU time (s) 399.84
Current children cumulated vsize (KiB) 143888
[startup+462.899 s]
/proc/loadavg: 2.00 1.94 1.76 3/74 30538
/proc/meminfo: memFree=1561168/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=459.47
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 45937 10 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711721 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 459.47
Current children cumulated vsize (KiB) 143892
[startup+522.978 s]
/proc/loadavg: 2.00 1.95 1.77 3/74 30538
/proc/meminfo: memFree=1561104/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=519.11
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 51901 10 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637730 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 519.11
Current children cumulated vsize (KiB) 143892
[startup+583.062 s]
/proc/loadavg: 2.00 1.95 1.78 3/75 30539
/proc/meminfo: memFree=1561096/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=578.75
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 57865 10 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 578.75
Current children cumulated vsize (KiB) 143892
[startup+643.143 s]
/proc/loadavg: 2.00 1.96 1.79 3/75 30539
/proc/meminfo: memFree=1561096/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=638.38
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 63828 10 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 638.38
Current children cumulated vsize (KiB) 143892
[startup+703.239 s]
/proc/loadavg: 2.00 1.96 1.81 3/75 30539
/proc/meminfo: memFree=1561096/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=698.03
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 69792 11 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710474 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 698.03
Current children cumulated vsize (KiB) 143892
[startup+763.31 s]
/proc/loadavg: 2.00 1.97 1.82 3/75 30539
/proc/meminfo: memFree=1561096/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=757.66
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 75755 11 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637107 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 757.66
Current children cumulated vsize (KiB) 143892
[startup+823.387 s]
/proc/loadavg: 2.04 1.99 1.83 3/75 30539
/proc/meminfo: memFree=1561032/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=817.28
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 81717 11 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 817.28
Current children cumulated vsize (KiB) 143892
[startup+883.397 s]
/proc/loadavg: 2.01 1.99 1.84 3/75 30539
/proc/meminfo: memFree=1560968/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=876.82
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 87671 11 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711233 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 876.82
Current children cumulated vsize (KiB) 143892
[startup+943.41 s]
/proc/loadavg: 2.00 1.99 1.84 3/75 30539
/proc/meminfo: memFree=1561032/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=936.38
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 93627 11 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 936.38
Current children cumulated vsize (KiB) 143892
[startup+1003.49 s]
/proc/loadavg: 2.00 1.99 1.85 3/76 30540
/proc/meminfo: memFree=1561024/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=996.02
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 99591 11 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711271 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 996.02
Current children cumulated vsize (KiB) 143892
[startup+1063.52 s]
/proc/loadavg: 2.00 1.99 1.85 3/76 30540
/proc/meminfo: memFree=1560960/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143892 CPUtime=1055.58
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19614 0 0 0 105546 12 0 0 25 0 1 0 162814442 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812962 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 1055.58
Current children cumulated vsize (KiB) 143892
[startup+1123.58 s]
/proc/loadavg: 2.00 1.99 1.86 3/76 30540
/proc/meminfo: memFree=1560960/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143900 CPUtime=1115.15
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19616 0 0 0 111503 12 0 0 25 0 1 0 162814442 147353600 19512 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710455 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35975 19512 717 92 0 34319 0
Current children cumulated CPU time (s) 1115.15
Current children cumulated vsize (KiB) 143900
[startup+1183.67 s]
/proc/loadavg: 2.00 1.99 1.86 3/76 30540
/proc/meminfo: memFree=1560960/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143900 CPUtime=1174.77
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19616 0 0 0 117465 12 0 0 25 0 1 0 162814442 147353600 19512 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134638352 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35975 19512 717 92 0 34319 0
Current children cumulated CPU time (s) 1174.77
Current children cumulated vsize (KiB) 143900
[startup+1243.69 s]
/proc/loadavg: 2.00 1.99 1.87 3/76 30540
/proc/meminfo: memFree=1560896/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1234.32
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 123419 13 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708945 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1234.32
Current children cumulated vsize (KiB) 143908
[startup+1303.7 s]
/proc/loadavg: 2.00 1.99 1.88 3/76 30540
/proc/meminfo: memFree=1561088/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1293.84
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 129371 13 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812924 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1293.84
Current children cumulated vsize (KiB) 143908
[startup+1363.79 s]
/proc/loadavg: 2.00 1.99 1.88 3/76 30540
/proc/meminfo: memFree=1561024/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1353.48
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 135335 13 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1353.48
Current children cumulated vsize (KiB) 143908
[startup+1423.8 s]
/proc/loadavg: 2.00 1.99 1.89 3/76 30540
/proc/meminfo: memFree=1561024/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1413.01
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 141288 13 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1413.01
Current children cumulated vsize (KiB) 143908
[startup+1483.87 s]
/proc/loadavg: 2.10 2.02 1.90 3/81 30614
/proc/meminfo: memFree=1478104/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1472.91
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 147272 19 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1472.91
Current children cumulated vsize (KiB) 143908
[startup+1543.92 s]
/proc/loadavg: 2.07 2.03 1.91 3/81 30614
/proc/meminfo: memFree=1348888/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1532.91
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 153272 19 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134638373 0 0 4096 0 0 0 0 17 0 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1532.91
Current children cumulated vsize (KiB) 143908
[startup+1604.01 s]
/proc/loadavg: 2.09 2.04 1.92 3/81 30614
/proc/meminfo: memFree=1251800/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1592.93
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 159274 19 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1592.93
Current children cumulated vsize (KiB) 143908
[startup+1664.01 s]
/proc/loadavg: 2.18 2.07 1.93 3/81 30614
/proc/meminfo: memFree=1208152/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1652.88
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 165268 20 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710471 0 0 4096 0 0 0 0 17 0 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1652.88
Current children cumulated vsize (KiB) 143908
[startup+1724.03 s]
/proc/loadavg: 2.10 2.07 1.94 3/81 30614
/proc/meminfo: memFree=1169560/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1712.86
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 171266 20 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711274 0 0 4096 0 0 0 0 17 0 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1712.86
Current children cumulated vsize (KiB) 143908
[startup+1784.07 s]
/proc/loadavg: 2.11 2.07 1.94 3/81 30614
/proc/meminfo: memFree=1164376/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143908 CPUtime=1772.82
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19618 0 0 0 177262 20 0 0 25 0 1 0 162814442 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/30537/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 1772.82
Current children cumulated vsize (KiB) 143908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.34 s]
/proc/loadavg: 2.07 2.06 1.94 3/81 30614
/proc/meminfo: memFree=1164312/2055920 swapFree=4192812/4192956
[pid=30537] ppid=30535 vsize=143912 CPUtime=1800.08
/proc/30537/stat : 30537 (solver) R 30535 30537 30056 0 -1 4194304 19619 0 0 0 179988 20 0 0 25 0 1 0 162814442 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/30537/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 143912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.36
CPU time (s): 1800.1
CPU user time (s): 1799.89
CPU system time (s): 0.212967
CPU usage (%): 99.3783
Max. virtual memory (cumulated for all children) (KiB): 143912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19619
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= 11
involuntary context switches= 29922
runsolver used 1.65375 s user time and 5.15022 s system time
The end
Begin job on node34 on Sun Jan 7 04:30:07 UTC 2007
IDJOB= 200903
IDBENCH= 3733
FILE ID= node34/200903-1168144206
PBS_JOBID= 3478128
Free space on /tmp= 66527 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-4.xml
COMMAND LINE= /tmp/evaluation/200903-1168144206/mistral/bin/solver /tmp/evaluation/200903-1168144206/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-200903-1168144206 -o ROOT/results/node34/solver-200903-1168144206 -C 1800 -M 900 /tmp/evaluation/200903-1168144206/mistral/bin/solver /tmp/evaluation/200903-1168144206/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= 39d481ee1e8825b3aa8dc8a62c67556c
RANDOM SEED= 343370192
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.227
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.227
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: 1636720 kB
Buffers: 17628 kB
Cached: 177532 kB
SwapCached: 0 kB
Active: 272488 kB
Inactive: 80152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8804 kB
Writeback: 0 kB
Mapped: 168976 kB
Slab: 51652 kB
Committed_AS: 2831684 kB
PageTables: 2080 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= 66532 MiB
End job on node34 on Sun Jan 7 05:00:18 UTC 2007