0.01 c
0.01 c Parsing xml file
0.01 c domains............... 0.04
0.05 c variables............. 0.14
0.18 c predicates............ 0
0.18 c constraints........... 3.2
3.42 c Allocating memory
3.42 c
3.42 c time limit = -1
3.42 c heuristic = dom/wdeg
3.42 c restart policy = No restart
3.42 c
3.42 c Solving
3.42 c
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node25/watcher-200777-1168143404 -o ROOT/results/node25/solver-200777-1168143404 -C 1800 -M 900 /tmp/evaluation/200777-1168143404/mistral/bin/solver /tmp/evaluation/200777-1168143404/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
[startup+0.103701 s]
/proc/loadavg: /proc/meminfo: memFree=0/50 swapFree=1030781060/0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
/proc/loadavg: 0.41 1.46 1.81 3/97 25530
/proc/meminfo: memFree=1231752/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=51308 CPUtime=0.1
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 5556 0 0 0 8 2 0 0 20 0 1 0 162733022 52539392 5524 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4200059 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 12827 5528 694 92 0 11171 0
[startup+0.512772 s]
/proc/loadavg: 0.41 1.46 1.81 3/97 25530
/proc/meminfo: memFree=1231752/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=116900 CPUtime=0.5
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 12859 0 0 0 45 5 0 0 24 0 1 0 162733022 119705600 12827 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134575854 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 29225 12828 709 92 0 27569 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 116900
[startup+1.33992 s]
/proc/loadavg: 0.62 1.49 1.82 5/97 25530
/proc/meminfo: memFree=1080584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=121076 CPUtime=1.32
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 13885 0 0 0 126 6 0 0 25 0 1 0 162733022 123981824 13853 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4200059 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 30269 13853 709 92 0 28613 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 121076
[startup+2.97619 s]
/proc/loadavg: 0.62 1.49 1.82 5/97 25530
/proc/meminfo: memFree=978120/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=129280 CPUtime=2.94
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 15938 0 0 0 286 8 0 0 25 0 1 0 162733022 132382720 15873 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4200059 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 32320 15873 709 92 0 30664 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 129280
[startup+6.19273 s]
/proc/loadavg: 1.05 1.56 1.84 3/97 25530
/proc/meminfo: memFree=944840/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143876 CPUtime=6.14
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19610 0 0 0 605 9 0 0 25 0 1 0 162733022 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710471 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 143876
[startup+12.6588 s]
/proc/loadavg: 1.13 1.57 1.84 3/97 25530
/proc/meminfo: memFree=921352/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143876 CPUtime=12.57
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19610 0 0 0 1248 9 0 0 25 0 1 0 162733022 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 143876
[startup+25.472 s]
/proc/loadavg: 1.26 1.58 1.84 3/97 25530
/proc/meminfo: memFree=885256/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143876 CPUtime=25.34
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19610 0 0 0 2525 9 0 0 25 0 1 0 162733022 147329024 19506 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 35969 19506 717 92 0 34313 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 143876
[startup+51.1724 s]
/proc/loadavg: 1.60 1.64 1.85 3/97 25530
/proc/meminfo: memFree=817544/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143880 CPUtime=51.04
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19611 0 0 0 5094 10 0 0 25 0 1 0 162733022 147333120 19507 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711712 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 35970 19507 717 92 0 34314 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 143880
[startup+102.374 s]
/proc/loadavg: 1.96 1.72 1.87 3/97 25530
/proc/meminfo: memFree=696840/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143884 CPUtime=101.87
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19612 0 0 0 10177 10 0 0 25 0 1 0 162733022 147337216 19508 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35971 19508 717 92 0 34315 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 143884
[startup+162.425 s]
/proc/loadavg: 1.98 1.77 1.87 3/97 25530
/proc/meminfo: memFree=554120/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143892 CPUtime=161.48
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19614 0 0 0 16138 10 0 0 25 0 1 0 162733022 147345408 19510 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134712049 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35973 19510 717 92 0 34317 0
Current children cumulated CPU time (s) 161.48
Current children cumulated vsize (KiB) 143892
[startup+222.493 s]
/proc/loadavg: 2.21 1.86 1.90 5/97 25640
/proc/meminfo: memFree=943168/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143900 CPUtime=220.63
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19616 0 0 0 22047 16 0 0 25 0 1 0 162733022 147353600 19512 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710278 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35975 19512 717 92 0 34319 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 143900
[startup+282.578 s]
/proc/loadavg: 2.17 1.91 1.91 3/97 25640
/proc/meminfo: memFree=790144/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143900 CPUtime=280.39
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19616 0 0 0 28023 16 0 0 25 0 1 0 162733022 147353600 19512 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812964 0 0 4096 0 0 0 0 17 1 0 0
/proc/25529/statm: 35975 19512 717 92 0 34319 0
Current children cumulated CPU time (s) 280.39
Current children cumulated vsize (KiB) 143900
[startup+342.637 s]
/proc/loadavg: 2.16 1.95 1.92 3/97 25640
/proc/meminfo: memFree=652288/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=339.94
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 33977 17 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 339.94
Current children cumulated vsize (KiB) 143908
[startup+402.678 s]
/proc/loadavg: 2.06 1.96 1.92 3/97 25640
/proc/meminfo: memFree=525568/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=399.82
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 39965 17 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711261 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 399.82
Current children cumulated vsize (KiB) 143908
[startup+462.762 s]
/proc/loadavg: 2.07 1.98 1.93 3/93 25699
/proc/meminfo: memFree=1074016/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=459.6
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 45939 21 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710272 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 459.6
Current children cumulated vsize (KiB) 143908
[startup+522.854 s]
/proc/loadavg: 2.02 1.98 1.93 3/93 25699
/proc/meminfo: memFree=1058528/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=519.4
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 51918 22 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812962 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 519.4
Current children cumulated vsize (KiB) 143908
[startup+582.951 s]
/proc/loadavg: 2.01 1.98 1.93 3/93 25699
/proc/meminfo: memFree=1031328/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=579.23
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 57901 22 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710272 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 579.23
Current children cumulated vsize (KiB) 143908
[startup+643.044 s]
/proc/loadavg: 2.06 2.00 1.93 3/93 25699
/proc/meminfo: memFree=996576/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=639.04
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 63882 22 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812895 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 639.04
Current children cumulated vsize (KiB) 143908
[startup+703.142 s]
/proc/loadavg: 2.02 2.00 1.93 3/93 25699
/proc/meminfo: memFree=943072/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=698.85
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 69863 22 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710432 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 698.85
Current children cumulated vsize (KiB) 143908
[startup+763.245 s]
/proc/loadavg: 2.01 2.00 1.93 3/93 25699
/proc/meminfo: memFree=919648/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=758.68
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 75846 22 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 758.68
Current children cumulated vsize (KiB) 143908
[startup+823.339 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 25699
/proc/meminfo: memFree=919648/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=818.5
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 81827 23 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134812964 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 818.5
Current children cumulated vsize (KiB) 143908
[startup+883.439 s]
/proc/loadavg: 2.10 2.03 1.94 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143908 CPUtime=878.31
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19618 0 0 0 87808 23 0 0 25 0 1 0 162733022 147361792 19514 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711073 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35977 19514 717 92 0 34321 0
Current children cumulated CPU time (s) 878.31
Current children cumulated vsize (KiB) 143908
[startup+943.536 s]
/proc/loadavg: 2.10 2.04 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=938.14
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 93791 23 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710313 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 938.14
Current children cumulated vsize (KiB) 143912
[startup+1003.54 s]
/proc/loadavg: 2.04 2.03 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=997.87
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 99764 23 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709326 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 997.87
Current children cumulated vsize (KiB) 143912
[startup+1063.64 s]
/proc/loadavg: 2.01 2.02 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1057.68
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 105745 23 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637156 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1057.68
Current children cumulated vsize (KiB) 143912
[startup+1123.74 s]
/proc/loadavg: 2.00 2.02 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1117.52
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 111728 24 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1117.52
Current children cumulated vsize (KiB) 143912
[startup+1183.83 s]
/proc/loadavg: 2.05 2.03 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1177.34
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 117710 24 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1177.34
Current children cumulated vsize (KiB) 143912
[startup+1243.83 s]
/proc/loadavg: 2.02 2.02 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1237.04
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 123680 24 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1237.04
Current children cumulated vsize (KiB) 143912
[startup+1303.93 s]
/proc/loadavg: 2.00 2.01 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1296.85
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 129661 24 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637293 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1296.85
Current children cumulated vsize (KiB) 143912
[startup+1364.03 s]
/proc/loadavg: 2.00 2.01 1.95 3/93 25699
/proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1356.68
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 135644 24 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711111 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1356.68
Current children cumulated vsize (KiB) 143912
[startup+1424.12 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1416.48
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 141624 24 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709326 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1416.48
Current children cumulated vsize (KiB) 143912
[startup+1484.22 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1476.3
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 147605 25 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1476.3
Current children cumulated vsize (KiB) 143912
[startup+1544.32 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 25699
/proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1536.13
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 153588 25 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710272 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1536.13
Current children cumulated vsize (KiB) 143912
[startup+1604.41 s]
/proc/loadavg: 2.04 2.01 1.96 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1595.92
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 159567 25 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710479 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1595.92
Current children cumulated vsize (KiB) 143912
[startup+1664.51 s]
/proc/loadavg: 2.01 2.01 1.96 3/93 25699
/proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1655.75
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 165550 25 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134712049 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1655.75
Current children cumulated vsize (KiB) 143912
[startup+1724.51 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 25699
/proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1715.49
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 171523 26 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1715.49
Current children cumulated vsize (KiB) 143912
[startup+1784.61 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 25699
/proc/meminfo: memFree=919584/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1775.29
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 177503 26 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134708944 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1775.29
Current children cumulated vsize (KiB) 143912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.43 s]
/proc/loadavg: 2.00 2.00 1.96 3/93 25699
/proc/meminfo: memFree=919520/2055920 swapFree=4192812/4192956
[pid=25529] ppid=25527 vsize=143912 CPUtime=1800.01
/proc/25529/stat : 25529 (solver) R 25527 25529 25061 0 -1 4194304 19619 0 0 0 179975 26 0 0 25 0 1 0 162733022 147365888 19515 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711741 0 0 4096 0 0 0 0 17 0 0 0
/proc/25529/statm: 35978 19515 717 92 0 34322 0
Current children cumulated CPU time (s) 1800.01
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): 1809.45
CPU time (s): 1800.03
CPU user time (s): 1799.75
CPU system time (s): 0.275958
CPU usage (%): 99.4797
Max. virtual memory (cumulated for all children) (KiB): 143912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.275958
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= 65104
runsolver used 1.75073 s user time and 4.74828 s system time
The end
Begin job on node25 on Sun Jan 7 04:16:46 UTC 2007
IDJOB= 200777
IDBENCH= 3726
FILE ID= node25/200777-1168143404
PBS_JOBID= 3478124
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-8.xml
COMMAND LINE= /tmp/evaluation/200777-1168143404/mistral/bin/solver /tmp/evaluation/200777-1168143404/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-200777-1168143404 -o ROOT/results/node25/solver-200777-1168143404 -C 1800 -M 900 /tmp/evaluation/200777-1168143404/mistral/bin/solver /tmp/evaluation/200777-1168143404/unknown.xml -v 1
META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH= d6ce1f8e3582b18bc2617fcf582120b7
RANDOM SEED= 633002134
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.279
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.279
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: 1253800 kB
Buffers: 57324 kB
Cached: 604180 kB
SwapCached: 0 kB
Active: 239924 kB
Inactive: 483712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1253800 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 16864 kB
Writeback: 0 kB
Mapped: 90816 kB
Slab: 63132 kB
Committed_AS: 3980136 kB
PageTables: 2376 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= 66543 MiB
End job on node25 on Sun Jan 7 04:46:56 UTC 2007