Trace number 201059

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Mistral 2006-12-04? (TO) 1800.03 1809.23

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-6.xml
MD5SUM7d741b27b4b5681d00dbaf2b3dd555a0
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.2259
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data (download as text)

0.20	c 
0.20	c Parsing xml file
0.20	c 	domains...............    0
0.20	c 	variables............. 0.16
0.20	c 	predicates............    0
0.20	c 	constraints........... 2.41
2.60	c Allocating memory
2.60	c 
2.60	c time limit = -1
2.60	c heuristic = dom/wdeg
2.60	c restart policy = No restart
2.60	c 
2.60	c Solving
2.60	c

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node76/watcher-201059-1168144976 -o ROOT/results/node76/solver-201059-1168144976 -C 1800 -M 900 /tmp/evaluation/201059-1168144976/mistral/bin/solver /tmp/evaluation/201059-1168144976/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: 1.93 1.43 1.31 5/86 20749
/proc/meminfo: memFree=1199744/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=18544 CPUtime=0
/proc/20748/stat : 20748 (runsolver) R 20746 20748 20382 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 162894714 18989056 278 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 206843737111 0 0 4096 24578 0 0 0 17 0 0 0
/proc/20748/statm: 4636 278 243 17 0 2626 0

[startup+0.103063 s]
/proc/loadavg: 1.93 1.43 1.31 5/86 20749
/proc/meminfo: memFree=1199744/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=65604 CPUtime=0.09
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 5844 0 0 0 5 4 0 0 18 0 1 0 162894714 67178496 5813 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 5253163 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 16401 5813 692 92 0 14744 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65604

[startup+0.511123 s]
/proc/loadavg: 1.93 1.43 1.31 5/86 20749
/proc/meminfo: memFree=1199744/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=131004 CPUtime=0.5
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 11751 0 0 0 42 8 0 0 22 0 1 0 162894714 134148096 11720 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 4159374891 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 32751 11720 708 92 0 31094 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 131004

[startup+1.33229 s]
/proc/loadavg: 1.93 1.43 1.31 3/86 20749
/proc/meminfo: memFree=1150912/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=135288 CPUtime=1.31
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 12837 0 0 0 123 8 0 0 25 0 1 0 162894714 138534912 12806 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134604315 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 33822 12806 708 92 0 32165 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 135288

[startup+2.9696 s]
/proc/loadavg: 1.93 1.43 1.31 3/86 20749
/proc/meminfo: memFree=1144896/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151072 CPUtime=2.94
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16732 0 0 0 283 11 0 0 25 0 1 0 162894714 154697728 16668 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711072 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37768 16668 716 92 0 36111 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 151072

[startup+6.25525 s]
/proc/loadavg: 2.02 1.45 1.32 3/86 20749
/proc/meminfo: memFree=1133328/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151072 CPUtime=6.22
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16732 0 0 0 610 12 0 0 25 0 1 0 162894714 154697728 16668 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37768 16668 716 92 0 36111 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 151072

[startup+12.7195 s]
/proc/loadavg: 2.02 1.46 1.32 3/86 20749
/proc/meminfo: memFree=1127152/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151076 CPUtime=12.66
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16733 0 0 0 1254 12 0 0 25 0 1 0 162894714 154701824 16669 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37769 16669 716 92 0 36112 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 151076

[startup+25.542 s]
/proc/loadavg: 2.01 1.49 1.33 3/86 20749
/proc/meminfo: memFree=1121968/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151076 CPUtime=25.43
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16733 0 0 0 2531 12 0 0 25 0 1 0 162894714 154701824 16669 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37769 16669 716 92 0 36112 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 151076

[startup+51.192 s]
/proc/loadavg: 2.01 1.53 1.35 3/86 20749
/proc/meminfo: memFree=1109808/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151076 CPUtime=50.98
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16733 0 0 0 5086 12 0 0 25 0 1 0 162894714 154701824 16669 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710479 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37769 16669 716 92 0 36112 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 151076

[startup+102.487 s]
/proc/loadavg: 2.00 1.60 1.38 3/86 20749
/proc/meminfo: memFree=1086640/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151076 CPUtime=102.07
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16733 0 0 0 10195 12 0 0 25 0 1 0 162894714 154701824 16669 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37769 16669 716 92 0 36112 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 151076

[startup+162.51 s]
/proc/loadavg: 2.00 1.67 1.41 3/86 20749
/proc/meminfo: memFree=1066992/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151080 CPUtime=161.85
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16734 0 0 0 16173 12 0 0 25 0 1 0 162894714 154705920 16670 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709321 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37770 16670 716 92 0 36113 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 151080

[startup+222.532 s]
/proc/loadavg: 2.00 1.73 1.45 3/86 20749
/proc/meminfo: memFree=1048176/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151080 CPUtime=221.63
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16734 0 0 0 22151 12 0 0 25 0 1 0 162894714 154705920 16670 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637733 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37770 16670 716 92 0 36113 0
Current children cumulated CPU time (s) 221.63
Current children cumulated vsize (KiB) 151080

[startup+282.539 s]
/proc/loadavg: 2.00 1.77 1.48 3/86 20749
/proc/meminfo: memFree=1027120/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=281.4
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 28128 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 281.4
Current children cumulated vsize (KiB) 151084

[startup+342.556 s]
/proc/loadavg: 2.05 1.83 1.51 3/86 20749
/proc/meminfo: memFree=1008304/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=341.18
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 34106 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711741 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 341.18
Current children cumulated vsize (KiB) 151084

[startup+402.572 s]
/proc/loadavg: 2.02 1.86 1.54 3/86 20749
/proc/meminfo: memFree=992944/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=400.97
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 40085 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711092 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 400.97
Current children cumulated vsize (KiB) 151084

[startup+462.586 s]
/proc/loadavg: 2.09 1.91 1.58 3/86 20749
/proc/meminfo: memFree=980080/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=460.75
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 46063 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 460.75
Current children cumulated vsize (KiB) 151084

[startup+522.613 s]
/proc/loadavg: 2.03 1.92 1.60 3/86 20749
/proc/meminfo: memFree=969328/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=520.54
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 52042 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709312 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 520.54
Current children cumulated vsize (KiB) 151084

[startup+582.624 s]
/proc/loadavg: 2.08 1.95 1.63 3/86 20749
/proc/meminfo: memFree=954096/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=580.31
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 58019 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722042 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 580.31
Current children cumulated vsize (KiB) 151084

[startup+642.644 s]
/proc/loadavg: 2.07 1.97 1.65 3/86 20749
/proc/meminfo: memFree=942832/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=640.09
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 63997 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727338 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 640.09
Current children cumulated vsize (KiB) 151084

[startup+702.665 s]
/proc/loadavg: 2.13 2.00 1.68 4/86 20749
/proc/meminfo: memFree=931312/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151084 CPUtime=699.88
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16735 0 0 0 69976 12 0 0 25 0 1 0 162894714 154710016 16671 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710292 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37771 16671 716 92 0 36114 0
Current children cumulated CPU time (s) 699.88
Current children cumulated vsize (KiB) 151084

[startup+762.684 s]
/proc/loadavg: 2.09 2.01 1.71 3/86 20749
/proc/meminfo: memFree=919792/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151108 CPUtime=759.66
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16741 0 0 0 75954 12 0 0 25 0 1 0 162894714 154734592 16677 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722033 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37777 16677 716 92 0 36120 0
Current children cumulated CPU time (s) 759.66
Current children cumulated vsize (KiB) 151108

[startup+822.699 s]
/proc/loadavg: 2.06 2.02 1.73 3/86 20749
/proc/meminfo: memFree=910960/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151108 CPUtime=819.44
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16741 0 0 0 81932 12 0 0 25 0 1 0 162894714 154734592 16677 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134638373 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37777 16677 716 92 0 36120 0
Current children cumulated CPU time (s) 819.44
Current children cumulated vsize (KiB) 151108

[startup+882.72 s]
/proc/loadavg: 2.02 2.02 1.74 3/86 20749
/proc/meminfo: memFree=899056/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151108 CPUtime=879.23
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16741 0 0 0 87911 12 0 0 25 0 1 0 162894714 154734592 16677 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37777 16677 716 92 0 36120 0
Current children cumulated CPU time (s) 879.23
Current children cumulated vsize (KiB) 151108

[startup+942.734 s]
/proc/loadavg: 2.01 2.01 1.75 3/86 20749
/proc/meminfo: memFree=890096/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151112 CPUtime=939
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16742 0 0 0 93888 12 0 0 25 0 1 0 162894714 154738688 16678 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134712107 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37778 16678 716 92 0 36121 0
Current children cumulated CPU time (s) 939
Current children cumulated vsize (KiB) 151112

[startup+1002.75 s]
/proc/loadavg: 2.06 2.02 1.77 3/86 20749
/proc/meminfo: memFree=880368/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151112 CPUtime=998.78
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16742 0 0 0 99866 12 0 0 25 0 1 0 162894714 154738688 16678 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37778 16678 716 92 0 36121 0
Current children cumulated CPU time (s) 998.78
Current children cumulated vsize (KiB) 151112

[startup+1062.76 s]
/proc/loadavg: 2.02 2.02 1.78 3/86 20749
/proc/meminfo: memFree=871536/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1058.56
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 105844 12 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727366 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1058.56
Current children cumulated vsize (KiB) 151124

[startup+1122.79 s]
/proc/loadavg: 2.01 2.01 1.79 3/92 20885
/proc/meminfo: memFree=859504/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1118.24
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 111811 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727341 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1118.24
Current children cumulated vsize (KiB) 151124

[startup+1182.83 s]
/proc/loadavg: 2.00 2.01 1.80 4/86 20947
/proc/meminfo: memFree=854248/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1177.94
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 117781 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134727362 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1177.94
Current children cumulated vsize (KiB) 151124

[startup+1242.84 s]
/proc/loadavg: 2.00 2.00 1.82 3/86 20947
/proc/meminfo: memFree=845104/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1237.71
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 123758 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710273 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1237.71
Current children cumulated vsize (KiB) 151124

[startup+1302.86 s]
/proc/loadavg: 2.00 2.00 1.82 3/86 20947
/proc/meminfo: memFree=837616/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1297.5
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 129737 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711280 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1297.5
Current children cumulated vsize (KiB) 151124

[startup+1362.89 s]
/proc/loadavg: 2.04 2.01 1.83 3/86 20947
/proc/meminfo: memFree=832560/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1357.29
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 135716 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709326 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1357.29
Current children cumulated vsize (KiB) 151124

[startup+1422.91 s]
/proc/loadavg: 2.10 2.04 1.85 3/86 20947
/proc/meminfo: memFree=821744/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1417.08
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 141695 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722032 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1417.08
Current children cumulated vsize (KiB) 151124

[startup+1482.93 s]
/proc/loadavg: 2.08 2.04 1.86 3/86 20947
/proc/meminfo: memFree=815088/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1476.86
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 147673 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134722038 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1476.86
Current children cumulated vsize (KiB) 151124

[startup+1542.95 s]
/proc/loadavg: 2.03 2.03 1.87 3/86 20947
/proc/meminfo: memFree=806256/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1536.63
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 153650 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710452 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1536.63
Current children cumulated vsize (KiB) 151124

[startup+1602.96 s]
/proc/loadavg: 2.06 2.04 1.88 3/86 20947
/proc/meminfo: memFree=797808/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151124 CPUtime=1596.41
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16745 0 0 0 159628 13 0 0 25 0 1 0 162894714 154750976 16681 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711114 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37781 16681 716 92 0 36124 0
Current children cumulated CPU time (s) 1596.41
Current children cumulated vsize (KiB) 151124

[startup+1662.97 s]
/proc/loadavg: 2.06 2.04 1.89 5/89 21000
/proc/meminfo: memFree=1154184/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151128 CPUtime=1655.76
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16746 0 0 0 165563 13 0 0 25 0 1 0 162894714 154755072 16682 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134637442 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37782 16682 716 92 0 36125 0
Current children cumulated CPU time (s) 1655.76
Current children cumulated vsize (KiB) 151128

[startup+1723.04 s]
/proc/loadavg: 2.33 2.15 1.93 3/89 21000
/proc/meminfo: memFree=622920/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151136 CPUtime=1715.17
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16748 0 0 0 171503 14 0 0 25 0 1 0 162894714 154763264 16684 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134710433 0 0 4096 0 0 0 0 17 0 0 0
/proc/20748/statm: 37784 16684 716 92 0 36127 0
Current children cumulated CPU time (s) 1715.17
Current children cumulated vsize (KiB) 151136

[startup+1783.13 s]
/proc/loadavg: 2.31 2.19 1.96 3/89 21054
/proc/meminfo: memFree=878224/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151148 CPUtime=1774
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16751 0 0 0 177386 14 0 0 25 0 1 0 162894714 154775552 16687 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134711713 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37787 16687 716 92 0 36130 0
Current children cumulated CPU time (s) 1774
Current children cumulated vsize (KiB) 151148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.21 s]
/proc/loadavg: 2.32 2.20 1.97 3/89 21054
/proc/meminfo: memFree=621456/2055888 swapFree=4095388/4096564
[pid=20748] ppid=20746 vsize=151148 CPUtime=1800
/proc/20748/stat : 20748 (solver) R 20746 20748 20382 0 -1 4194304 16751 0 0 0 179986 14 0 0 25 0 1 0 162894714 154775552 16687 18446744073709551615 134512640 134893201 4294956688 18446744073709551615 134709313 0 0 4096 0 0 0 0 17 1 0 0
/proc/20748/statm: 37787 16687 716 92 0 36130 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 151148

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.23
CPU time (s): 1800.03
CPU user time (s): 1799.87
CPU system time (s): 0.155976
CPU usage (%): 99.4914
Max. virtual memory (cumulated for all children) (KiB): 151148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16751
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= 13
involuntary context switches= 54708

runsolver used 1.84872 s user time and 4.73228 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sun Jan  7 04:42:56 UTC 2007


IDJOB= 201059
IDBENCH= 3741
FILE ID= node76/201059-1168144976

PBS_JOBID= 3478373

Free space on /tmp= 66633 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
COMMAND LINE= /tmp/evaluation/201059-1168144976/mistral/bin/solver /tmp/evaluation/201059-1168144976/unknown.xml -v 1
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-201059-1168144976 -o ROOT/results/node76/solver-201059-1168144976 -C 1800 -M 900  /tmp/evaluation/201059-1168144976/mistral/bin/solver /tmp/evaluation/201059-1168144976/unknown.xml -v 1

META MD5SUM SOLVER= cb80ed4ac975bdc0101f830a5b1b8f77
MD5SUM BENCH=  7d741b27b4b5681d00dbaf2b3dd555a0

RANDOM SEED= 948026105

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1200160 kB
Buffers:         52492 kB
Cached:         495676 kB
SwapCached:        456 kB
Active:         536580 kB
Inactive:       263888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1200160 kB
SwapTotal:     4096564 kB
SwapFree:      4095388 kB
Dirty:            7568 kB
Writeback:           0 kB
Mapped:         268056 kB
Slab:            40444 kB
Committed_AS:  6796896 kB
PageTables:       2332 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66635 MiB



End job on node76 on Sun Jan  7 05:13:05 UTC 2007