Trace number 201079

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
BPrologCSPSolver70a 2006-12-13? (TO) 1800.13 1811.91

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-1.xml
MD5SUM2cf7ece5c4ec944165ff6d4cc1345473
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10.1565
SatisfiableNO
(Un)Satisfiability was provedNO
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)

c 
c 
c 
c conversion script
c 
c 

converting(/tmp/evaluation/201079-1168145145/unknown)

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/node1/watcher-201079-1168145145 -o ROOT/results/node1/solver-201079-1168145145 -C 1800 -M 900 /tmp/evaluation/201079-1168145145/Complete/Ordinary/solver /tmp/evaluation/201079-1168145145/unknown 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.01 2.03 1.95 3/86 12791
/proc/meminfo: memFree=1626888/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=18540 CPUtime=0
/proc/12790/stat : 12790 (runsolver) R 12788 12790 9211 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 162912431 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12790/statm: 4635 279 244 17 0 2626 0

[startup+0.10221 s]
/proc/loadavg: 2.01 2.03 1.95 3/86 12791
/proc/meminfo: memFree=1626888/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=61640 CPUtime=0.08
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 2010 0 0 0 8 0 0 0 20 0 1 0 162912431 63119360 1726 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134569799 0 0 4096 2 0 0 0 17 1 0 0
/proc/12790/statm: 15410 1726 157 90 0 14948 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 61640

[startup+0.510217 s]
/proc/loadavg: 2.01 2.03 1.95 3/86 12791
/proc/meminfo: memFree=1626888/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=61640 CPUtime=0.5
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 8607 0 0 0 47 3 0 0 24 0 1 0 162912431 63119360 8323 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134693542 0 0 4096 2 0 0 0 17 1 0 0
/proc/12790/statm: 15410 8323 157 90 0 14948 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 61640

[startup+1.33131 s]
/proc/loadavg: 2.01 2.02 1.95 3/86 12791
/proc/meminfo: memFree=1589192/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=61640 CPUtime=1.31
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 9856 0 0 0 127 4 0 0 25 0 1 0 162912431 63119360 9572 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134736398 0 0 4096 2 0 0 0 17 1 0 0
/proc/12790/statm: 15410 9572 157 90 0 14948 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 61640

[startup+2.9755 s]
/proc/loadavg: 2.01 2.02 1.95 3/86 12791
/proc/meminfo: memFree=1588872/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=69608 CPUtime=2.94
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 12947 0 0 0 289 5 0 0 25 0 1 0 162912431 71278592 11319 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664625 0 0 4096 2 0 0 0 17 1 0 0
/proc/12790/statm: 17402 11319 176 90 0 16940 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 69608

[startup+6.25489 s]
/proc/loadavg: 2.01 2.02 1.95 3/86 12791
/proc/meminfo: memFree=1567688/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=105076 CPUtime=6.2
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 32437 0 0 0 606 14 0 0 25 0 1 0 162912431 107597824 16194 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663080 0 0 4096 2 0 0 0 17 1 0 0
/proc/12790/statm: 26269 16194 176 90 0 25807 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 105076

[startup+12.7166 s]
/proc/loadavg: 2.01 2.02 1.95 3/86 12791
/proc/meminfo: memFree=1520904/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=127276 CPUtime=12.6
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 48072 0 0 0 1239 21 0 0 25 0 1 0 162912431 130330624 26613 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662563 0 0 4096 2 0 0 0 17 1 0 0
/proc/12790/statm: 31819 26613 176 90 0 31357 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 127276

[startup+25.5321 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 12792
/proc/meminfo: memFree=1516736/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=25.31
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76812 0 0 0 2498 33 0 0 25 0 2 0 162912431 212942848 27630 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554411 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27630 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27630 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 207952

[startup+51.1801 s]
/proc/loadavg: 2.00 2.02 1.95 3/87 12792
/proc/meminfo: memFree=1516800/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=50.77
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76816 0 0 0 5043 34 0 0 25 0 2 0 162912431 212942848 27634 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134669033 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27634 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27634 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 207952

[startup+102.474 s]
/proc/loadavg: 2.05 2.03 1.95 3/87 12792
/proc/meminfo: memFree=1516800/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=101.67
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76817 0 0 0 10133 34 0 0 25 0 2 0 162912431 212942848 27635 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27635 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27635 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 207952

[startup+162.495 s]
/proc/loadavg: 2.02 2.02 1.95 3/87 12792
/proc/meminfo: memFree=1516800/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=161.22
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76817 0 0 0 16087 35 0 0 25 0 2 0 162912431 212942848 27635 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134751574 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27635 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27635 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.22
Current children cumulated vsize (KiB) 207952

[startup+222.523 s]
/proc/loadavg: 2.00 2.02 1.95 3/87 12792
/proc/meminfo: memFree=1516736/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=220.74
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76817 0 0 0 22039 35 0 0 25 0 2 0 162912431 212942848 27635 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134669036 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27635 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27635 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.74
Current children cumulated vsize (KiB) 207952

[startup+282.536 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 12792
/proc/meminfo: memFree=1516736/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=280.27
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76821 0 0 0 27991 36 0 0 25 0 2 0 162912431 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663985 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27639 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.27
Current children cumulated vsize (KiB) 207952

[startup+342.556 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 12792
/proc/meminfo: memFree=1516672/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=339.8
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76821 0 0 0 33943 37 0 0 25 0 2 0 162912431 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663858 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27639 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.8
Current children cumulated vsize (KiB) 207952

[startup+402.578 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 12792
/proc/meminfo: memFree=1516672/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=399.32
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76821 0 0 0 39895 37 0 0 25 0 2 0 162912431 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663830 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27639 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.32
Current children cumulated vsize (KiB) 207952

[startup+462.602 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 12792
/proc/meminfo: memFree=1516672/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=458.84
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76821 0 0 0 45846 38 0 0 25 0 2 0 162912431 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663864 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27639 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.84
Current children cumulated vsize (KiB) 207952

[startup+522.619 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 12792
/proc/meminfo: memFree=1516608/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=518.39
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76821 0 0 0 51801 38 0 0 25 0 2 0 162912431 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27639 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.39
Current children cumulated vsize (KiB) 207952

[startup+582.626 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 12792
/proc/meminfo: memFree=1516608/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=577.94
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76821 0 0 0 57755 39 0 0 25 0 2 0 162912431 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134663810 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27639 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.94
Current children cumulated vsize (KiB) 207952

[startup+642.643 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 12792
/proc/meminfo: memFree=1516608/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=207952 CPUtime=637.5
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76821 0 0 0 63710 40 0 0 25 0 2 0 162912431 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580464 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/12790/statm: 51988 27639 180 90 0 51526 0
[pid=12790/tid=12792] ppid=12788 vsize=207952 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 2 0 162914109 212942848 27639 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.5

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

[pid=12790/tid=12987] ppid=12788 vsize=218196 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163004137 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1174.34
Current children cumulated vsize (KiB) 218196

[startup+1243.14 s]
/proc/loadavg: 2.08 2.10 2.01 5/96 13157
/proc/meminfo: memFree=1104680/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=218196 CPUtime=1234.09
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76904 0 0 0 123348 61 0 0 25 0 3 0 162912431 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662628 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 54549 27722 180 90 0 54087 0
[pid=12790/tid=12792] ppid=12788 vsize=218196 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 162914109 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=218196 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163004137 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1234.09
Current children cumulated vsize (KiB) 218196

[startup+1303.25 s]
/proc/loadavg: 2.08 2.09 2.01 3/96 13157
/proc/meminfo: memFree=1068456/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=218196 CPUtime=1293.88
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76904 0 0 0 129327 61 0 0 25 0 3 0 162912431 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552500 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 54549 27722 180 90 0 54087 0
[pid=12790/tid=12792] ppid=12788 vsize=218196 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 162914109 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=218196 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163004137 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1293.88
Current children cumulated vsize (KiB) 218196

[startup+1363.34 s]
/proc/loadavg: 2.03 2.08 2.00 3/96 13157
/proc/meminfo: memFree=1034216/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=218196 CPUtime=1353.65
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76904 0 0 0 135303 62 0 0 25 0 3 0 162912431 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552067 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 54549 27722 180 90 0 54087 0
[pid=12790/tid=12792] ppid=12788 vsize=218196 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 162914109 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=218196 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 163004137 223432704 27722 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1353.65
Current children cumulated vsize (KiB) 218196

[startup+1423.36 s]
/proc/loadavg: 2.07 2.07 2.00 3/97 13158
/proc/meminfo: memFree=1002272/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1413.32
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76905 0 0 0 141270 62 0 0 25 0 4 0 162912431 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662536 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 27723 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 163049146 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1413.32
Current children cumulated vsize (KiB) 228440

[startup+1483.38 s]
/proc/loadavg: 2.06 2.07 2.00 3/97 13158
/proc/meminfo: memFree=956768/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1473.02
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76905 0 0 0 147240 62 0 0 25 0 4 0 162912431 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134662572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 27723 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 163049146 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.02
Current children cumulated vsize (KiB) 228440

[startup+1543.4 s]
/proc/loadavg: 2.08 2.07 2.00 3/97 13158
/proc/meminfo: memFree=921568/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1532.72
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 76905 0 0 0 153209 63 0 0 25 0 4 0 162912431 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664587 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 27723 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 163049146 233922560 27723 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1532.72
Current children cumulated vsize (KiB) 228440

[startup+1603.42 s]
/proc/loadavg: 2.03 2.06 2.00 4/97 13158
/proc/meminfo: memFree=880992/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1592.4
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 78395 0 0 0 159176 64 0 0 25 0 4 0 162912431 233922560 29213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134669036 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 29213 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 29213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 29213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163049146 233922560 29213 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.4
Current children cumulated vsize (KiB) 228440

[startup+1663.45 s]
/proc/loadavg: 2.01 2.04 2.00 5/97 13158
/proc/meminfo: memFree=863136/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1652.11
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 78414 0 0 0 165147 64 0 0 25 0 4 0 162912431 233922560 29232 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134618382 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 29232 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 29232 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 29232 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163049146 233922560 29232 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.11
Current children cumulated vsize (KiB) 228440

[startup+1723.53 s]
/proc/loadavg: 2.12 2.06 2.01 3/97 13254
/proc/meminfo: memFree=1210656/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1711.93
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 78415 0 0 0 171125 68 0 0 25 0 4 0 162912431 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134669237 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 29233 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163049146 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.93
Current children cumulated vsize (KiB) 228440

[startup+1783.54 s]
/proc/loadavg: 2.07 2.06 2.01 3/89 13291
/proc/meminfo: memFree=1101608/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1771.76
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 78415 0 0 0 177105 71 0 0 25 0 4 0 162912431 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580043 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 29233 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163049146 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.76
Current children cumulated vsize (KiB) 228440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.87 s]
/proc/loadavg: 2.04 2.06 2.00 3/89 13291
/proc/meminfo: memFree=788136/2055920 swapFree=4165612/4192956
[pid=12790] ppid=12788 vsize=228440 CPUtime=1800.1
/proc/12790/stat : 12790 (bprolog) R 12788 12790 9211 0 -1 4194304 78415 0 0 0 179938 72 0 0 25 0 4 0 162912431 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554708 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/12790/statm: 57110 29233 180 90 0 56648 0
[pid=12790/tid=12792] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12792/stat : 12792 (bprolog) S 12788 12790 9211 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 162914109 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=12790/tid=12987] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/12987/stat : 12987 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163004137 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=12790/tid=13158] ppid=12788 vsize=228440 CPUtime=0
/proc/12790/task/13158/stat : 13158 (bprolog) S 12788 12790 9211 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 163049146 233922560 29233 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228440

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.91
CPU time (s): 1800.13
CPU user time (s): 1799.39
CPU system time (s): 0.739887
CPU usage (%): 99.35
Max. virtual memory (cumulated for all children) (KiB): 278268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.739887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78415
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= 32590

runsolver used 1.84672 s user time and 5.67414 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sun Jan  7 04:45:46 UTC 2007


IDJOB= 201079
IDBENCH= 3743
FILE ID= node1/201079-1168145145

PBS_JOBID= 3477822

Free space on /tmp= 66297 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
COMMAND LINE= /tmp/evaluation/201079-1168145145/Complete/Ordinary/solver /tmp/evaluation/201079-1168145145/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-201079-1168145145 -o ROOT/results/node1/conversion-201079-1168145145 -C 600 -M 900 /tmp/evaluation/201079-1168145145/Complete/Ordinary/conversion /tmp/evaluation/201079-1168145145/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-201079-1168145145 -o ROOT/results/node1/solver-201079-1168145145 -C 1800 -M 900  /tmp/evaluation/201079-1168145145/Complete/Ordinary/solver /tmp/evaluation/201079-1168145145/unknown 1800

META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH=  2cf7ece5c4ec944165ff6d4cc1345473

RANDOM SEED= 611195589

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.234
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.234
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:       1627368 kB
Buffers:         49496 kB
Cached:         196444 kB
SwapCached:       4096 kB
Active:         242292 kB
Inactive:       119156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1627368 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            8840 kB
Writeback:           0 kB
Mapped:         128372 kB
Slab:            51540 kB
Committed_AS:  4692968 kB
PageTables:       2564 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= 66299 MiB



End job on node1 on Sun Jan  7 05:16:19 UTC 2007