Trace number 217399

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
CSPtoSAT+minisat 0.3? (TO) 1800.02 1816.85

General information on the benchmark

NamelatinSquare/
latinSquare-dg-9_all.xml
MD5SUM176c4ec719fefcc5dffa03a65582c93a
Bench CategoryGLOBAL (global constraints)
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 variables81
Number of constraints36
Maximum constraint arity9
Maximum domain size9
Number of constraints which are defined in extension0
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)allDifferent(36)

Solver Data (download as text)

0.21	c This is CSPtoSAT+minisat version 0.3
0.21	c (c) 2006 roussel@cril.univ-artois.fr
0.21	
0.21	c This solver internally uses a modified version of MiniSat2 version 061112
0.21	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.21	
0.21	c parsing...
0.21	c ...done
0.21	c #SATvar=7211 #SATclauses=18711 #CSPpredicates=0

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/node14/watcher-217399-1168065179 -o ROOT/results/node14/solver-217399-1168065179 -C 1800 -M 900 /tmp/evaluation/217399-1168065179/CSPtoSAT+minisat /tmp/evaluation/217399-1168065179/unknown.xml 

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.07 2.02 1.93 5/86 22466
/proc/meminfo: memFree=1226224/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=496 CPUtime=0
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 154912873 507904 36 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 6927140 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 124 36 29 52 0 19 0

[startup+0.10375 s]
/proc/loadavg: 2.07 2.02 1.93 5/86 22466
/proc/meminfo: memFree=1226224/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=8128 CPUtime=0.09
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 1151 0 0 0 9 0 0 0 18 0 1 0 154912873 8323072 1110 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671298 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 2032 1110 714 52 0 400 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8128

[startup+0.511782 s]
/proc/loadavg: 2.07 2.02 1.93 5/86 22466
/proc/meminfo: memFree=1226224/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=8788 CPUtime=0.49
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 1327 0 0 0 49 0 0 0 21 0 1 0 154912873 8998912 1286 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134673393 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 2197 1286 714 52 0 565 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 8788

[startup+1.33287 s]
/proc/loadavg: 2.06 2.01 1.93 3/86 22466
/proc/meminfo: memFree=1222064/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=9992 CPUtime=1.3
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 1611 0 0 0 130 0 0 0 25 0 1 0 154912873 10231808 1570 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134673122 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 2498 1570 714 52 0 866 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9992

[startup+2.97002 s]
/proc/loadavg: 2.06 2.01 1.93 3/86 22466
/proc/meminfo: memFree=1220272/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=11752 CPUtime=2.93
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 2061 0 0 0 292 1 0 0 25 0 1 0 154912873 12034048 2020 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 2938 2020 714 52 0 1306 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 11752

[startup+6.26333 s]
/proc/loadavg: 2.06 2.01 1.93 3/86 22466
/proc/meminfo: memFree=1215920/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=14552 CPUtime=6.2
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 2774 0 0 0 618 2 0 0 25 0 1 0 154912873 14901248 2733 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671266 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 3638 2733 714 52 0 2006 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 14552

[startup+12.724 s]
/proc/loadavg: 2.05 2.01 1.93 3/86 22466
/proc/meminfo: memFree=1212720/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=16004 CPUtime=12.59
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 3132 0 0 0 1257 2 0 0 25 0 1 0 154912873 16388096 3091 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671294 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 4001 3091 714 52 0 2369 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 16004

[startup+25.5552 s]
/proc/loadavg: 2.12 2.03 1.94 3/86 22466
/proc/meminfo: memFree=1210480/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=16268 CPUtime=25.31
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 3192 0 0 0 2529 2 0 0 25 0 1 0 154912873 16658432 3151 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671391 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 4067 3151 714 52 0 2435 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 16268

[startup+51.2136 s]
/proc/loadavg: 2.08 2.03 1.94 3/86 22466
/proc/meminfo: memFree=1200496/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=20000 CPUtime=50.73
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 4096 0 0 0 5070 3 0 0 25 0 1 0 154912873 20480000 4055 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671380 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 5000 4055 714 52 0 3368 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 20000

[startup+102.429 s]
/proc/loadavg: 2.03 2.02 1.94 3/86 22466
/proc/meminfo: memFree=1186352/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=22124 CPUtime=101.48
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 4644 0 0 0 10144 4 0 0 25 0 1 0 154912873 22654976 4603 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 5531 4603 714 52 0 3899 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 22124

[startup+162.468 s]
/proc/loadavg: 2.01 2.02 1.94 3/86 22466
/proc/meminfo: memFree=1170736/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=24236 CPUtime=160.97
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 5164 0 0 0 16092 5 0 0 25 0 1 0 154912873 24817664 5123 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671185 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 6059 5123 714 52 0 4427 0
Current children cumulated CPU time (s) 160.97
Current children cumulated vsize (KiB) 24236

[startup+222.512 s]
/proc/loadavg: 2.00 2.01 1.94 3/86 22466
/proc/meminfo: memFree=1155696/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=25556 CPUtime=220.46
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 5491 0 0 0 22040 6 0 0 25 0 1 0 154912873 26169344 5450 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134673397 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 6389 5450 714 52 0 4757 0
Current children cumulated CPU time (s) 220.46
Current children cumulated vsize (KiB) 25556

[startup+282.551 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 22466
/proc/meminfo: memFree=1141040/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=26752 CPUtime=279.96
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 5794 0 0 0 27989 7 0 0 25 0 1 0 154912873 27394048 5753 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134672917 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 6688 5753 714 52 0 5056 0
Current children cumulated CPU time (s) 279.96
Current children cumulated vsize (KiB) 26752

[startup+342.593 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 22466
/proc/meminfo: memFree=1126576/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=27840 CPUtime=339.44
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 6081 0 0 0 33937 7 0 0 25 0 1 0 154912873 28508160 6040 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 6960 6040 714 52 0 5328 0
Current children cumulated CPU time (s) 339.44
Current children cumulated vsize (KiB) 27840

[startup+402.632 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 22466
/proc/meminfo: memFree=1113136/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=27972 CPUtime=398.94
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 6111 0 0 0 39886 8 0 0 25 0 1 0 154912873 28643328 6070 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671287 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 6993 6070 714 52 0 5361 0
Current children cumulated CPU time (s) 398.94
Current children cumulated vsize (KiB) 27972

[startup+462.673 s]
/proc/loadavg: 2.06 2.01 1.94 3/86 22466
/proc/meminfo: memFree=1098736/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=29028 CPUtime=458.44
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 6375 0 0 0 45835 9 0 0 25 0 1 0 154912873 29724672 6334 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134673099 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 7257 6334 714 52 0 5625 0
Current children cumulated CPU time (s) 458.44
Current children cumulated vsize (KiB) 29028

[startup+522.715 s]
/proc/loadavg: 2.02 2.01 1.94 3/86 22466
/proc/meminfo: memFree=1085040/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=29292 CPUtime=517.93
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 6442 0 0 0 51784 9 0 0 25 0 1 0 154912873 29995008 6401 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 7323 6401 714 52 0 5691 0
Current children cumulated CPU time (s) 517.93
Current children cumulated vsize (KiB) 29292

[startup+582.767 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 22466
/proc/meminfo: memFree=1069680/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=31624 CPUtime=577.43
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 6989 0 0 0 57733 10 0 0 25 0 1 0 154912873 32382976 6948 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671347 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 7906 6948 714 52 0 6274 0
Current children cumulated CPU time (s) 577.43
Current children cumulated vsize (KiB) 31624

[startup+642.808 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 22466
/proc/meminfo: memFree=1049776/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=32080 CPUtime=636.92
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 7114 0 0 0 63681 11 0 0 25 0 1 0 154912873 32849920 7073 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671651 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 8020 7073 714 52 0 6388 0
Current children cumulated CPU time (s) 636.92
Current children cumulated vsize (KiB) 32080

[startup+702.85 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 22466
/proc/meminfo: memFree=1038384/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=32412 CPUtime=696.42
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 7160 0 0 0 69631 11 0 0 25 0 1 0 154912873 33189888 7119 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671380 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 8103 7119 714 52 0 6471 0
Current children cumulated CPU time (s) 696.42
Current children cumulated vsize (KiB) 32412

[startup+762.892 s]
/proc/loadavg: 2.00 2.00 1.94 3/86 22466
/proc/meminfo: memFree=1025584/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=32552 CPUtime=755.91
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 7203 0 0 0 75580 11 0 0 25 0 1 0 154912873 33333248 7162 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671391 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 8138 7162 714 52 0 6506 0
Current children cumulated CPU time (s) 755.91
Current children cumulated vsize (KiB) 32552

[startup+822.937 s]
/proc/loadavg: 2.06 2.01 1.95 3/86 22466
/proc/meminfo: memFree=1014640/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=32968 CPUtime=815.41
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 7320 0 0 0 81529 12 0 0 25 0 1 0 154912873 33759232 7279 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134672950 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 8242 7279 714 52 0 6610 0
Current children cumulated CPU time (s) 815.41
Current children cumulated vsize (KiB) 32968

[startup+882.983 s]
/proc/loadavg: 2.02 2.01 1.95 3/86 22466
/proc/meminfo: memFree=999856/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=34816 CPUtime=874.9
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 7756 0 0 0 87477 13 0 0 25 0 1 0 154912873 35651584 7715 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 8704 7715 714 52 0 7072 0
Current children cumulated CPU time (s) 874.9
Current children cumulated vsize (KiB) 34816

[startup+943.024 s]
/proc/loadavg: 2.00 2.00 1.95 3/86 22466
/proc/meminfo: memFree=986864/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=36400 CPUtime=934.39
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8156 0 0 0 93426 13 0 0 25 0 1 0 154912873 37273600 8115 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9100 8115 714 52 0 7468 0
Current children cumulated CPU time (s) 934.39
Current children cumulated vsize (KiB) 36400

[startup+1003.07 s]
/proc/loadavg: 2.00 2.00 1.95 3/86 22504
/proc/meminfo: memFree=1496552/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=37232 CPUtime=993.9
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8355 0 0 0 99376 14 0 0 25 0 1 0 154912873 38125568 8314 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671249 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9308 8314 714 52 0 7676 0
Current children cumulated CPU time (s) 993.9
Current children cumulated vsize (KiB) 37232

[startup+1063.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/86 22504
/proc/meminfo: memFree=1493736/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=38168 CPUtime=1053.39
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8593 0 0 0 105324 15 0 0 25 0 1 0 154912873 39084032 8552 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671266 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9542 8552 714 52 0 7910 0
Current children cumulated CPU time (s) 1053.39
Current children cumulated vsize (KiB) 38168

[startup+1123.13 s]
/proc/loadavg: 2.00 2.00 1.95 3/86 22504
/proc/meminfo: memFree=1492648/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39092 CPUtime=1112.87
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8842 0 0 0 111272 15 0 0 25 0 1 0 154912873 40030208 8801 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671422 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9773 8801 714 52 0 8141 0
Current children cumulated CPU time (s) 1112.87
Current children cumulated vsize (KiB) 39092

[startup+1183.17 s]
/proc/loadavg: 2.10 2.03 1.96 3/86 22504
/proc/meminfo: memFree=1492520/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39092 CPUtime=1172.35
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8843 0 0 0 117220 15 0 0 25 0 1 0 154912873 40030208 8802 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671365 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9773 8802 714 52 0 8141 0
Current children cumulated CPU time (s) 1172.35
Current children cumulated vsize (KiB) 39092

[startup+1243.21 s]
/proc/loadavg: 2.04 2.02 1.96 3/86 22504
/proc/meminfo: memFree=1492520/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39092 CPUtime=1231.84
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8843 0 0 0 123168 16 0 0 25 0 1 0 154912873 40030208 8802 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671240 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9773 8802 714 52 0 8141 0
Current children cumulated CPU time (s) 1231.84
Current children cumulated vsize (KiB) 39092

[startup+1303.24 s]
/proc/loadavg: 2.07 2.03 1.96 3/86 22504
/proc/meminfo: memFree=1492456/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39092 CPUtime=1291.32
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8844 0 0 0 129116 16 0 0 25 0 1 0 154912873 40030208 8803 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671391 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9773 8803 714 52 0 8141 0
Current children cumulated CPU time (s) 1291.32
Current children cumulated vsize (KiB) 39092

[startup+1363.28 s]
/proc/loadavg: 2.02 2.02 1.96 3/86 22504
/proc/meminfo: memFree=1492392/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39092 CPUtime=1350.82
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8845 0 0 0 135065 17 0 0 25 0 1 0 154912873 40030208 8804 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9773 8804 714 52 0 8141 0
Current children cumulated CPU time (s) 1350.82
Current children cumulated vsize (KiB) 39092

[startup+1423.31 s]
/proc/loadavg: 2.06 2.03 1.97 3/86 22504
/proc/meminfo: memFree=1492136/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39264 CPUtime=1410.3
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8915 0 0 0 141013 17 0 0 25 0 1 0 154912873 40206336 8853 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9816 8853 714 52 0 8184 0
Current children cumulated CPU time (s) 1410.3
Current children cumulated vsize (KiB) 39264

[startup+1483.35 s]
/proc/loadavg: 2.02 2.02 1.97 3/86 22504
/proc/meminfo: memFree=1492136/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39264 CPUtime=1469.79
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8915 0 0 0 146961 18 0 0 25 0 1 0 154912873 40206336 8853 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671436 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9816 8853 714 52 0 8184 0
Current children cumulated CPU time (s) 1469.79
Current children cumulated vsize (KiB) 39264

[startup+1543.39 s]
/proc/loadavg: 2.00 2.02 1.97 3/86 22504
/proc/meminfo: memFree=1492072/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39264 CPUtime=1529.28
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8915 0 0 0 152910 18 0 0 25 0 1 0 154912873 40206336 8853 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671298 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9816 8853 714 52 0 8184 0
Current children cumulated CPU time (s) 1529.28
Current children cumulated vsize (KiB) 39264

[startup+1603.42 s]
/proc/loadavg: 2.06 2.03 1.97 3/86 22504
/proc/meminfo: memFree=1492072/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39264 CPUtime=1588.76
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8915 0 0 0 158858 18 0 0 25 0 1 0 154912873 40206336 8853 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134673400 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9816 8853 714 52 0 8184 0
Current children cumulated CPU time (s) 1588.76
Current children cumulated vsize (KiB) 39264

[startup+1663.46 s]
/proc/loadavg: 2.02 2.02 1.97 3/86 22504
/proc/meminfo: memFree=1492008/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39264 CPUtime=1648.26
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8915 0 0 0 164807 19 0 0 25 0 1 0 154912873 40206336 8853 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9816 8853 714 52 0 8184 0
Current children cumulated CPU time (s) 1648.26
Current children cumulated vsize (KiB) 39264

[startup+1723.51 s]
/proc/loadavg: 2.00 2.02 1.97 3/92 22642
/proc/meminfo: memFree=1490656/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39264 CPUtime=1707.62
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8915 0 0 0 170743 19 0 0 25 0 1 0 154912873 40206336 8853 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134674323 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9816 8853 714 52 0 8184 0
Current children cumulated CPU time (s) 1707.62
Current children cumulated vsize (KiB) 39264

[startup+1783.57 s]
/proc/loadavg: 2.07 2.03 1.98 3/86 22702
/proc/meminfo: memFree=1491608/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=39264 CPUtime=1767.05
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 8915 0 0 0 176686 19 0 0 25 0 1 0 154912873 40206336 8853 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 9816 8853 714 52 0 8184 0
Current children cumulated CPU time (s) 1767.05
Current children cumulated vsize (KiB) 39264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.83 s]
/proc/loadavg: 2.04 2.02 1.98 3/86 22702
/proc/meminfo: memFree=1490856/2055920 swapFree=4182236/4192956
[pid=22465] ppid=22463 vsize=40188 CPUtime=1800
/proc/22465/stat : 22465 (CSPtoSAT+minisa) R 22463 22465 22334 0 -1 4194304 9144 0 0 0 179981 19 0 0 25 0 1 0 154912873 41152512 9082 18446744073709551615 134512640 134728504 4294956624 18446744073709551615 134671231 0 0 4096 0 0 0 0 17 1 0 0
/proc/22465/statm: 10047 9082 714 52 0 8415 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 40188

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1816.85
CPU time (s): 1800.02
CPU user time (s): 1799.82
CPU system time (s): 0.205968
CPU usage (%): 99.0739
Max. virtual memory (cumulated for all children) (KiB): 40188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.205968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 36087

runsolver used 1.9787 s user time and 6.07708 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan  6 06:32:59 UTC 2007


IDJOB= 217399
IDBENCH= 5134
FILE ID= node14/217399-1168065179

PBS_JOBID= 3475410

Free space on /tmp= 66328 MiB

BENCH NAME= HOME/pub/bench/CPAI06/latinSquare/latinSquare-dg-9_all.xml
COMMAND LINE= /tmp/evaluation/217399-1168065179/CSPtoSAT+minisat /tmp/evaluation/217399-1168065179/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-217399-1168065179 -o ROOT/results/node14/solver-217399-1168065179 -C 1800 -M 900  /tmp/evaluation/217399-1168065179/CSPtoSAT+minisat /tmp/evaluation/217399-1168065179/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  176c4ec719fefcc5dffa03a65582c93a

RANDOM SEED= 122553959

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.227
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.227
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:       1226640 kB
Buffers:         56920 kB
Cached:         315832 kB
SwapCached:       3696 kB
Active:         396928 kB
Inactive:       332548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1226640 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            1612 kB
Writeback:           0 kB
Mapped:         369564 kB
Slab:            84188 kB
Committed_AS:  4921196 kB
PageTables:       2728 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= 66329 MiB



End job on node14 on Sat Jan  6 07:03:16 UTC 2007