Trace number 1092755

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
galac M? (TO) 1800.08 1808.81

General information on the benchmark

Namecsp/langford4/
normalized-langford-4-20.xml
MD5SUMd7708ecaa4b0e9b8ee6812bd6eefd125
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints3220
Maximum constraint arity2
Maximum domain size80
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3220
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.03	c --- Preproc Stats ---
1.86/1.92	c start processing
1.86/1.92	c start relation processing
1.86/1.93	c start cnf exporting
12.19/12.30	c parsing time : 1.805
12.19/12.30	c preprocessing time : 12.183
12.19/12.30	
12.19/12.30	c Nary constraints - conflicts : 0 supports : 0
12.19/12.30	c Binary constraints - conflicts : 3160 supports :60
12.19/12.30	c max arity constraint : 2
12.19/12.30	c Max Tuples generated 6400
12.19/12.30	c relations : 21
12.19/12.30	c relations BDD: 0
12.19/12.30	c sampling 0/0
12.19/12.30	c vars : 6401 - clauses :  513900
12.19/12.30	
12.19/12.33	 
12.19/12.33	c --- SAT Solver Stats ---
12.19/12.33

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092755-1215277250/watcher-1092755-1215277250 -o /tmp/evaluation-result-1092755-1215277250/solver-1092755-1215277250 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1092755-1215277250.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 20588
/proc/meminfo: memFree=1703288/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=8652 CPUtime=0
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 346 0 0 0 0 0 0 0 16 0 1 0 2006698490 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/20588/statm: 2163 280 208 79 0 156 0
[pid=20589] ppid=20588 vsize=8688 CPUtime=0
/proc/20589/stat : 20589 (galacM.sh) S 20588 20588 19440 0 -1 4194368 36 0 0 0 0 0 0 0 17 0 1 0 2006698491 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 210824298578 0 0 4096 73728 18446744071563648864 0 0 17 1 0 0
/proc/20589/statm: 2172 286 209 79 0 165 0
[pid=20590] ppid=20589 vsize=0 CPUtime=0
/proc/20590/stat : 20590 (galacM.sh) R 20589 20588 19440 0 -1 4194368 25 0 0 0 0 0 0 0 19 0 1 0 2006698491 0 0 996147200 0 0 0 18446744073709551615 210824129831 0 0 3674112 73728 0 0 0 17 1 0 0
/proc/20590/statm: 7 2 0 0 0 1 0

[startup+0.0856199 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 20588
/proc/meminfo: memFree=1703288/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=0.01
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572

[startup+0.10162 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 20588
/proc/meminfo: memFree=1703288/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=0.01
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572

[startup+0.301646 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 20588
/proc/meminfo: memFree=1703288/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=0.01
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572

[startup+0.701698 s]
/proc/loadavg: 2.01 2.00 2.00 4/81 20588
/proc/meminfo: memFree=1703288/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=0.01
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47572

[startup+1.50279 s]
/proc/loadavg: 2.01 2.00 2.00 4/91 20610
/proc/meminfo: memFree=1662040/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=0.01
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20602] ppid=20588 vsize=812872 CPUtime=1.45
/proc/20602/stat : 20602 (java) S 20588 20588 19440 0 -1 0 13514 0 1 0 138 7 0 0 19 0 9 0 2006698493 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20602/statm: 203218 12713 2584 9 0 197199 0
[pid=20602/tid=20603] ppid=20588 vsize=812872 CPUtime=0.65
/proc/20602/task/20603/stat : 20603 (java) R 20588 20588 19440 0 -1 64 7455 0 1 0 61 4 0 0 25 0 9 0 2006698494 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20604] ppid=20588 vsize=812872 CPUtime=0.5
/proc/20602/task/20604/stat : 20604 (java) R 20588 20588 19440 0 -1 64 4492 0 0 0 49 1 0 0 16 0 9 0 2006698496 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20605] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20605/stat : 20605 (java) S 20588 20588 19440 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006698496 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20606] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20606/stat : 20606 (java) S 20588 20588 19440 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2006698496 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20607] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20607/stat : 20607 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006698498 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20608] ppid=20588 vsize=812872 CPUtime=0.26
/proc/20602/task/20608/stat : 20608 (java) S 20588 20588 19440 0 -1 64 867 0 0 0 26 0 0 0 16 0 9 0 2006698498 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20609] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20609/stat : 20609 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006698498 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20610] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20610/stat : 20610 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006698498 832380928 12713 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 860444

[startup+3.10298 s]
/proc/loadavg: 2.09 2.02 2.01 3/91 20610
/proc/meminfo: memFree=1658520/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=0.01
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20602] ppid=20588 vsize=812872 CPUtime=3.04
/proc/20602/stat : 20602 (java) S 20588 20588 19440 0 -1 0 21046 0 1 0 292 12 0 0 19 0 9 0 2006698493 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20602/statm: 203218 20239 2590 9 0 197199 0
[pid=20602/tid=20603] ppid=20588 vsize=812872 CPUtime=2.04
/proc/20602/task/20603/stat : 20603 (java) R 20588 20588 19440 0 -1 64 14630 0 1 0 195 9 0 0 25 0 9 0 2006698494 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 104688756 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20604] ppid=20588 vsize=812872 CPUtime=0.63
/proc/20602/task/20604/stat : 20604 (java) S 20588 20588 19440 0 -1 64 4800 0 0 0 62 1 0 0 16 0 9 0 2006698496 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20605] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20605/stat : 20605 (java) S 20588 20588 19440 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006698496 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20606] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20606/stat : 20606 (java) S 20588 20588 19440 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2006698496 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20607] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20607/stat : 20607 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006698498 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20608] ppid=20588 vsize=812872 CPUtime=0.33
/proc/20602/task/20608/stat : 20608 (java) S 20588 20588 19440 0 -1 64 916 0 0 0 33 0 0 0 15 0 9 0 2006698498 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20609] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20609/stat : 20609 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006698498 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20610] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20610/stat : 20610 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006698498 832380928 20239 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 860444

[startup+6.30136 s]
/proc/loadavg: 2.09 2.02 2.01 3/91 20610
/proc/meminfo: memFree=1628248/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=0.01
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20602] ppid=20588 vsize=812872 CPUtime=6.22
/proc/20602/stat : 20602 (java) S 20588 20588 19440 0 -1 0 21057 0 1 0 608 14 0 0 19 0 9 0 2006698493 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20602/statm: 203218 20242 2590 9 0 197199 0
[pid=20602/tid=20603] ppid=20588 vsize=812872 CPUtime=5.2
/proc/20602/task/20603/stat : 20603 (java) R 20588 20588 19440 0 -1 64 14638 0 1 0 509 11 0 0 25 0 9 0 2006698494 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4126095734 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20604] ppid=20588 vsize=812872 CPUtime=0.65
/proc/20602/task/20604/stat : 20604 (java) S 20588 20588 19440 0 -1 64 4800 0 0 0 64 1 0 0 16 0 9 0 2006698496 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20605] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20605/stat : 20605 (java) S 20588 20588 19440 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2006698496 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20606] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20606/stat : 20606 (java) S 20588 20588 19440 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2006698496 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20607] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20607/stat : 20607 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2006698498 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20608] ppid=20588 vsize=812872 CPUtime=0.34
/proc/20602/task/20608/stat : 20608 (java) S 20588 20588 19440 0 -1 64 919 0 0 0 34 0 0 0 16 0 9 0 2006698498 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20609] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20609/stat : 20609 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2006698498 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20602/tid=20610] ppid=20588 vsize=812872 CPUtime=0
/proc/20602/task/20610/stat : 20610 (java) S 20588 20588 19440 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2006698498 832380928 20242 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 860444

[startup+12.7021 s]
/proc/loadavg: 2.07 2.02 2.00 3/91 20616
/proc/meminfo: memFree=1623504/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 47572

[startup+25.5017 s]
/proc/loadavg: 2.06 2.02 2.00 3/83 20617
/proc/meminfo: memFree=1666400/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=29660 CPUtime=13.09
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 7280 0 0 0 1305 4 0 0 25 0 1 0 2006699723 30371840 7261 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 7415 7261 57 152 0 7260 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 77232

[startup+51.1017 s]
/proc/loadavg: 2.04 2.02 2.00 3/83 20617
/proc/meminfo: memFree=1651168/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=44920 CPUtime=38.57
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 11093 0 0 0 3848 9 0 0 25 0 1 0 2006699723 45998080 11074 996147200 134512640 135136200 4294955968 18446744073709551615 134719610 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 11230 11074 57 152 0 11075 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 92492

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 20617
/proc/meminfo: memFree=1633056/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=62760 CPUtime=89.52
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 15553 0 0 0 8939 13 0 0 25 0 1 0 2006699723 64266240 15534 996147200 134512640 135136200 4294955968 18446744073709551615 134529504 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 15690 15534 57 152 0 15535 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 110332

[startup+162.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 20617
/proc/meminfo: memFree=1618144/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=77652 CPUtime=149.23
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 19259 0 0 0 14905 18 0 0 25 0 1 0 2006699723 79515648 19240 996147200 134512640 135136200 4294955968 18446744073709551615 134529322 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 19413 19240 57 152 0 19258 0

################
# More data... #
################

/proc/20617/statm: 52740 52145 57 152 0 52585 0
Current children cumulated CPU time (s) 1116.82
Current children cumulated vsize (KiB) 258532

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1480944/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=215164 CPUtime=1164.31
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 53207 0 0 0 116376 55 0 0 25 0 1 0 2006699723 220327936 53188 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 53791 53188 57 152 0 53636 0
Current children cumulated CPU time (s) 1176.52
Current children cumulated vsize (KiB) 262736

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1476400/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=219800 CPUtime=1224.03
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 54351 0 0 0 122346 57 0 0 25 0 1 0 2006699723 225075200 54332 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 54950 54332 57 152 0 54795 0
Current children cumulated CPU time (s) 1236.24
Current children cumulated vsize (KiB) 267372

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1472176/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=223952 CPUtime=1283.74
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 55387 0 0 0 128316 58 0 0 25 0 1 0 2006699723 229326848 55368 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 55988 55368 57 152 0 55833 0
Current children cumulated CPU time (s) 1295.95
Current children cumulated vsize (KiB) 271524

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1468528/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=227556 CPUtime=1343.45
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 56290 0 0 0 134286 59 0 0 25 0 1 0 2006699723 233017344 56271 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 56889 56271 57 152 0 56734 0
Current children cumulated CPU time (s) 1355.66
Current children cumulated vsize (KiB) 275128

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1465200/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=230816 CPUtime=1403.16
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 57110 0 0 0 140256 60 0 0 25 0 1 0 2006699723 236355584 57091 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 57704 57091 57 152 0 57549 0
Current children cumulated CPU time (s) 1415.37
Current children cumulated vsize (KiB) 278388

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1461232/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=234892 CPUtime=1462.86
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 58100 0 0 0 146226 60 0 0 25 0 1 0 2006699723 240529408 58081 996147200 134512640 135136200 4294955968 18446744073709551615 134529518 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 58723 58081 57 152 0 58568 0
Current children cumulated CPU time (s) 1475.07
Current children cumulated vsize (KiB) 282464

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1457520/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=238932 CPUtime=1522.57
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 59066 0 0 0 152196 61 0 0 25 0 1 0 2006699723 244666368 59047 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 59733 59047 57 152 0 59578 0
Current children cumulated CPU time (s) 1534.78
Current children cumulated vsize (KiB) 286504

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1451824/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=244960 CPUtime=1582.29
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 60481 0 0 0 158166 63 0 0 25 0 1 0 2006699723 250839040 60462 996147200 134512640 135136200 4294955968 18446744073709551615 134529535 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 61240 60462 57 152 0 61085 0
Current children cumulated CPU time (s) 1594.5
Current children cumulated vsize (KiB) 292532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 20617
/proc/meminfo: memFree=1447088/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=249976 CPUtime=1642
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 61597 0 0 0 164136 64 0 0 25 0 1 0 2006699723 255975424 61578 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20617/statm: 62494 61578 57 152 0 62339 0
Current children cumulated CPU time (s) 1654.21
Current children cumulated vsize (KiB) 297548

[startup+1722.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/75 20691
/proc/meminfo: memFree=1454648/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=253876 CPUtime=1701.72
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 62577 0 0 0 170103 69 0 0 25 0 1 0 2006699723 259969024 62558 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/20617/statm: 63469 62558 57 152 0 63314 0
Current children cumulated CPU time (s) 1713.93
Current children cumulated vsize (KiB) 301448

[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/75 20691
/proc/meminfo: memFree=1450104/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=258256 CPUtime=1761.47
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 63637 0 0 0 176078 69 0 0 25 0 1 0 2006699723 264454144 63618 996147200 134512640 135136200 4294955968 18446744073709551615 134529504 0 0 4096 3 0 0 0 17 0 0 0
/proc/20617/statm: 64564 63618 57 152 0 64409 0
Current children cumulated CPU time (s) 1773.68
Current children cumulated vsize (KiB) 305828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 20691
/proc/meminfo: memFree=1448568/2055920 swapFree=4180424/4192956
[pid=20588] ppid=20586 vsize=47572 CPUtime=12.21
/proc/20588/stat : 20588 (galacM.sh) S 20586 20588 19440 0 -1 4194304 799 22974 0 1 0 0 1202 19 17 0 1 0 2006698490 48713728 364 996147200 4194304 4520092 548682068832 18446744073709551615 210823736154 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/20588/statm: 11893 364 245 79 0 219 0
[pid=20617] ppid=20588 vsize=259992 CPUtime=1787.87
/proc/20617/stat : 20617 (minisat) R 20588 20588 19440 0 -1 4194304 64075 0 0 0 178717 70 0 0 25 0 1 0 2006699723 266231808 64056 996147200 134512640 135136200 4294955968 18446744073709551615 134529504 0 0 4096 3 0 0 0 17 0 0 0
/proc/20617/statm: 64998 64056 57 152 0 64843 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 307564

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20588 and gives
#  childrusage.ru_utime.tv_sec=12
#  childrusage.ru_utime.tv_usec=31170
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=208968
# CPU time returned by wait4() is 12.2401
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1808.81
CPU time (s): 1800.08
CPU user time (s): 1799.19
CPU system time (s): 0.89
CPU usage (%): 99.5171
Max. virtual memory (cumulated for all children) (KiB): 860444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.0312
system time used= 0.208968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23773
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2133
involuntary context switches= 2235

runsolver used 1.65075 second user time and 4.95225 second system time

The end

Launcher Data (download as text)

Begin job on node33 at 2008-07-05 19:00:50
IDJOB=1092755
IDBENCH=58654
IDSOLVER=350
FILE ID=node33/1092755-1215277250
PBS_JOBID= 7882165
Free space on /tmp= 66472 MiB

SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/langford4/normalized-langford-4-20.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1092755-1215277250/watcher-1092755-1215277250 -o /tmp/evaluation-result-1092755-1215277250/solver-1092755-1215277250 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/galacM.sh HOME/instance-1092755-1215277250.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d7708ecaa4b0e9b8ee6812bd6eefd125
RANDOM SEED=1838010980

node33.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:       1703832 kB
Buffers:         42816 kB
Cached:         201188 kB
SwapCached:       6236 kB
Active:         206420 kB
Inactive:        91256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1703832 kB
SwapTotal:     4192956 kB
SwapFree:      4180424 kB
Dirty:            3424 kB
Writeback:           0 kB
Mapped:          70088 kB
Slab:            39664 kB
Committed_AS:  3709452 kB
PageTables:       1964 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= 66436 MiB
End job on node33 at 2008-07-05 19:31:01