Trace number 1098606

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.03 1812.01

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-33_ext.xml
MD5SUM041584c7be8bce7d28dd921c24dbbffd
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark175.257
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints333
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension333
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.03	c --- Preproc Stats ---
1.06/1.15	c start processing
1.06/1.15	c start relation processing
1.06/1.17	c start cnf exporting
2.14/2.28	c parsing time : 1.028
2.14/2.28	c preprocessing time : 2.152
2.14/2.28	
2.14/2.28	c Nary constraints - conflicts : 0 supports : 0
2.14/2.28	c Binary constraints - conflicts : 319 supports :14
2.14/2.28	c max arity constraint : 2
2.14/2.28	c Max Tuples generated 0
2.14/2.28	c relations : 333
2.14/2.28	c relations BDD: 0
2.14/2.28	c sampling 0/0
2.14/2.28	c vars : 761 - clauses :  38933
2.14/2.28	
2.22/2.34	 
2.22/2.34	c --- SAT Solver Stats ---
2.22/2.34

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-1098606-1215284725/watcher-1098606-1215284725 -o /tmp/evaluation-result-1098606-1215284725/solver-1098606-1215284725 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1098606-1215284725.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.00 2.00 2.00 3/81 31420
/proc/meminfo: memFree=1710456/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=6392 CPUtime=0
/proc/31420/stat : 31420 (galacM.sh) R 31418 31420 31062 0 -1 4194304 230 0 0 0 0 0 0 0 20 0 1 0 1558147529 6545408 194 996147200 4194304 4520092 548682068832 18446744073709551615 252426909740 0 0 4096 8192 0 0 0 17 1 0 0
/proc/31420/statm: 1598 194 146 79 0 122 0

[startup+0.0855041 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31420
/proc/meminfo: memFree=1710456/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=0.01
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556

[startup+0.101504 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31420
/proc/meminfo: memFree=1710456/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=0.01
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556

[startup+0.301519 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31420
/proc/meminfo: memFree=1710456/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=0.01
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556

[startup+0.701562 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 31420
/proc/meminfo: memFree=1710456/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=0.01
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47556

[startup+1.50264 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 31442
/proc/meminfo: memFree=1657192/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=0.01
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31434] ppid=31420 vsize=812524 CPUtime=1.44
/proc/31434/stat : 31434 (java) S 31420 31420 31062 0 -1 0 19885 0 1 0 134 10 0 0 18 0 9 0 1558147533 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31434/statm: 203131 19303 1911 9 0 197165 0
[pid=31434/tid=31435] ppid=31420 vsize=812524 CPUtime=1.12
/proc/31434/task/31435/stat : 31435 (java) R 31420 31420 31062 0 -1 64 14531 0 1 0 105 7 0 0 25 0 9 0 1558147534 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 103205790 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31434/tid=31436] ppid=31420 vsize=812524 CPUtime=0.02
/proc/31434/task/31436/stat : 31436 (java) S 31420 31420 31062 0 -1 64 3790 0 0 0 1 1 0 0 17 0 9 0 1558147535 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31434/tid=31437] ppid=31420 vsize=812524 CPUtime=0
/proc/31434/task/31437/stat : 31437 (java) S 31420 31420 31062 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1558147535 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31434/tid=31438] ppid=31420 vsize=812524 CPUtime=0
/proc/31434/task/31438/stat : 31438 (java) S 31420 31420 31062 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 1558147535 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31434/tid=31439] ppid=31420 vsize=812524 CPUtime=0
/proc/31434/task/31439/stat : 31439 (java) S 31420 31420 31062 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1558147538 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31434/tid=31440] ppid=31420 vsize=812524 CPUtime=0.26
/proc/31434/task/31440/stat : 31440 (java) S 31420 31420 31062 0 -1 64 866 0 0 0 26 0 0 0 16 0 9 0 1558147538 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31434/tid=31441] ppid=31420 vsize=812524 CPUtime=0
/proc/31434/task/31441/stat : 31441 (java) S 31420 31420 31062 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1558147538 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31434/tid=31442] ppid=31420 vsize=812524 CPUtime=0
/proc/31434/task/31442/stat : 31442 (java) S 31420 31420 31062 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1558147538 832024576 19303 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 860080

[startup+3.10281 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 31442
/proc/meminfo: memFree=1633704/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 47556

[startup+6.30112 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1701608/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=9580 CPUtime=3.91
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 2167 0 0 0 390 1 0 0 25 0 1 0 1558147763 9809920 2148 996147200 134512640 135136200 4294955968 18446744073709551615 134525805 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 2395 2148 57 152 0 2240 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 57136

[startup+12.7018 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1696616/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=14248 CPUtime=10.25
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 3322 0 0 0 1023 2 0 0 25 0 1 0 1558147763 14589952 3303 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 3562 3303 57 152 0 3407 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 61804

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1691240/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=19228 CPUtime=22.93
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 4562 0 0 0 2289 4 0 0 25 0 1 0 1558147763 19689472 4543 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 4807 4543 57 152 0 4652 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 66784

[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1686120/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=24376 CPUtime=48.29
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 5826 0 0 0 4824 5 0 0 25 0 1 0 1558147763 24961024 5807 996147200 134512640 135136200 4294955968 18446744073709551615 134529500 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 6094 5807 57 152 0 5939 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 71932

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1682152/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=28340 CPUtime=99.02
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 6775 0 0 0 9895 7 0 0 25 0 1 0 1558147763 29020160 6756 996147200 134512640 135136200 4294955968 18446744073709551615 134529488 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 7085 6756 57 152 0 6930 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 75896

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1678440/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=31856 CPUtime=158.45
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 7671 0 0 0 15837 8 0 0 25 0 1 0 1558147763 32620544 7652 996147200 134512640 135136200 4294955968 18446744073709551615 134529535 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 7964 7652 57 152 0 7809 0
Current children cumulated CPU time (s) 160.69
Current children cumulated vsize (KiB) 79412

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1669352/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=41252 CPUtime=217.88
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 9971 0 0 0 21777 11 0 0 25 0 1 0 1558147763 42242048 9952 996147200 134512640 135136200 4294955968 18446744073709551615 134529488 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 10313 9952 57 152 0 10158 0
Current children cumulated CPU time (s) 220.12
Current children cumulated vsize (KiB) 88808

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1668968/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=41564 CPUtime=277.32
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 10039 0 0 0 27721 11 0 0 25 0 1 0 1558147763 42561536 10020 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 10391 10020 57 152 0 10236 0
Current children cumulated CPU time (s) 279.56
Current children cumulated vsize (KiB) 89120

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31443
/proc/meminfo: memFree=1668072/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=42608 CPUtime=336.76
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 10268 0 0 0 33665 11 0 0 25 0 1 0 1558147763 43630592 10249 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 10652 10249 57 152 0 10497 0
Current children cumulated CPU time (s) 339
Current children cumulated vsize (KiB) 90164

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

/proc/31443/statm: 14241 13626 57 152 0 14086 0
Current children cumulated CPU time (s) 1111.69
Current children cumulated vsize (KiB) 104520

[startup+1182.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/83 31443
/proc/meminfo: memFree=1653928/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=57108 CPUtime=1168.89
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 13674 0 0 0 116873 16 0 0 25 0 1 0 1558147763 58478592 13655 996147200 134512640 135136200 4294955968 18446744073709551615 134525718 0 0 4096 3 0 0 0 17 1 0 0
/proc/31443/statm: 14277 13655 57 152 0 14122 0
Current children cumulated CPU time (s) 1171.13
Current children cumulated vsize (KiB) 104664

[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/86 31607
/proc/meminfo: memFree=1590216/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=57420 CPUtime=1228.62
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 13727 0 0 0 122844 18 0 0 25 0 1 0 1558147763 58798080 13708 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 14355 13708 57 152 0 14200 0
Current children cumulated CPU time (s) 1230.86
Current children cumulated vsize (KiB) 104976

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/86 31607
/proc/meminfo: memFree=1588552/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=58764 CPUtime=1288.57
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 14080 0 0 0 128838 19 0 0 25 0 1 0 1558147763 60174336 14061 996147200 134512640 135136200 4294955968 18446744073709551615 134529504 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 14691 14061 57 152 0 14536 0
Current children cumulated CPU time (s) 1290.81
Current children cumulated vsize (KiB) 106320

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/86 31607
/proc/meminfo: memFree=1552712/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=59120 CPUtime=1348.47
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 14162 0 0 0 134828 19 0 0 25 0 1 0 1558147763 60538880 14143 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 14780 14143 57 152 0 14625 0
Current children cumulated CPU time (s) 1350.71
Current children cumulated vsize (KiB) 106676

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 31607
/proc/meminfo: memFree=1552200/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=59568 CPUtime=1408.42
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 14259 0 0 0 140823 19 0 0 25 0 1 0 1558147763 60997632 14240 996147200 134512640 135136200 4294955968 18446744073709551615 134529500 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 14892 14240 57 152 0 14737 0
Current children cumulated CPU time (s) 1410.66
Current children cumulated vsize (KiB) 107124

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/86 31607
/proc/meminfo: memFree=1552200/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=59568 CPUtime=1468.37
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 14259 0 0 0 146818 19 0 0 25 0 1 0 1558147763 60997632 14240 996147200 134512640 135136200 4294955968 18446744073709551615 134529504 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 14892 14240 57 152 0 14737 0
Current children cumulated CPU time (s) 1470.61
Current children cumulated vsize (KiB) 107124

[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/86 31649
/proc/meminfo: memFree=1585744/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=61628 CPUtime=1528.32
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 14765 0 0 0 152812 20 0 0 25 0 1 0 1558147763 63107072 14746 996147200 134512640 135136200 4294955968 18446744073709551615 134529396 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 15407 14746 57 152 0 15252 0
Current children cumulated CPU time (s) 1530.56
Current children cumulated vsize (KiB) 109184

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/86 31649
/proc/meminfo: memFree=1581072/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=66156 CPUtime=1588.27
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 15901 0 0 0 158805 22 0 0 25 0 1 0 1558147763 67743744 15882 996147200 134512640 135136200 4294955968 18446744073709551615 134529566 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 16539 15882 57 152 0 16384 0
Current children cumulated CPU time (s) 1590.51
Current children cumulated vsize (KiB) 113712

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/86 31649
/proc/meminfo: memFree=1545488/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=66788 CPUtime=1648.2
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 16025 0 0 0 164798 22 0 0 25 0 1 0 1558147763 68390912 16006 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 16697 16006 57 152 0 16542 0
Current children cumulated CPU time (s) 1650.44
Current children cumulated vsize (KiB) 114344

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 31649
/proc/meminfo: memFree=1544848/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=67360 CPUtime=1708.15
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 16149 0 0 0 170793 22 0 0 25 0 1 0 1558147763 68976640 16130 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 16840 16130 57 152 0 16685 0
Current children cumulated CPU time (s) 1710.39
Current children cumulated vsize (KiB) 114916

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 31649
/proc/meminfo: memFree=1543952/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=68128 CPUtime=1768.11
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 16344 0 0 0 176788 23 0 0 25 0 1 0 1558147763 69763072 16325 996147200 134512640 135136200 4294955968 18446744073709551615 134529504 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 17032 16325 57 152 0 16877 0
Current children cumulated CPU time (s) 1770.35
Current children cumulated vsize (KiB) 115684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 31649
/proc/meminfo: memFree=1543760/2055920 swapFree=4122916/4192956
[pid=31420] ppid=31418 vsize=47556 CPUtime=2.24
/proc/31420/stat : 31420 (galacM.sh) S 31418 31420 31062 0 -1 4194304 799 23053 0 1 0 0 210 14 17 0 1 0 1558147529 48697344 364 996147200 4194304 4520092 548682068832 18446744073709551615 252429134682 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/31420/statm: 11889 364 245 79 0 219 0
[pid=31443] ppid=31420 vsize=68356 CPUtime=1797.79
/proc/31443/stat : 31443 (minisat) R 31420 31420 31062 0 -1 4194304 16369 0 0 0 179756 23 0 0 25 0 1 0 1558147763 69996544 16350 996147200 134512640 135136200 4294955968 18446744073709551615 134529382 0 0 4096 3 0 0 0 17 0 0 0
/proc/31443/statm: 17089 16350 57 152 0 16934 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 115912

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 31420 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=103680
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=158975
# CPU time returned by wait4() is 2.26266
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1812.01
CPU time (s): 1800.03
CPU user time (s): 1799.66
CPU system time (s): 0.37
CPU usage (%): 99.3387
Max. virtual memory (cumulated for all children) (KiB): 860080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.10368
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23852
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= 761
involuntary context switches= 743

runsolver used 2.04369 second user time and 6.20206 second system time

The end

Launcher Data (download as text)

Begin job on node12 at 2008-07-05 21:05:25
IDJOB=1098606
IDBENCH=59641
IDSOLVER=350
FILE ID=node12/1098606-1215284725
PBS_JOBID= 7882334
Free space on /tmp= 66360 MiB

SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-33_ext.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1098606-1215284725/watcher-1098606-1215284725 -o /tmp/evaluation-result-1098606-1215284725/solver-1098606-1215284725 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/galacM.sh HOME/instance-1098606-1215284725.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 041584c7be8bce7d28dd921c24dbbffd
RANDOM SEED=1554159053

node12.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.236
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.236
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:       1711064 kB
Buffers:         51036 kB
Cached:         127884 kB
SwapCached:      64112 kB
Active:         202924 kB
Inactive:        84604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1711064 kB
SwapTotal:     4192956 kB
SwapFree:      4122916 kB
Dirty:            3288 kB
Writeback:           0 kB
Mapped:         124796 kB
Slab:            42396 kB
Committed_AS:  3134876 kB
PageTables:       2052 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= 66356 MiB
End job on node12 at 2008-07-05 21:35:39