Trace number 269767

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
CSP4J - MAC 2007-01-16SAT 320.663 321.199

DiagnosticValue
CHECKS503649733
NODES8574

General information on the benchmark

Namequeens/
queens-150.xml
MD5SUMb0d89abe262117e726883b3c610dd5a5
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.06284
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables150
Number of constraints11175
Maximum constraint arity2
Maximum domain size150
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11175
Global constraints used (with number of constraints)

Solver Data (download as text)

321.10	v 130 28 30 129 27 35 55 128 58 64 93 90 88 95 127 124 94 33 86 125 101 113 96 68 44 69 45 38 53 114 42 48 140 37 5 107 132 139 142 8 145 4 2 11 137 146 7 9 3 135 144 148 143 133 138 12 61 81 131 67 149 70 75 77 16 24 92 18 134 79 66 78 74 72 89 17 20 80 19 26 13 1 65 29 22 136 23 73 150 63 84 97 85 82 76 71 83 62 25 21 14 50 60 98 49 10 87 15 47 52 40 109 103 105 111 41 106 117 36 54 121 46 56 141 112 57 147 6 43 99 39 59 32 100 31 108 116 122 91 118 104 119 126 115 110 120 123 51 102 34 
321.10	s SATISFIABLE
321.10	c 185.08 s
321.10	d NODES 8574
321.10	d CHECKS 503649733

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-269767-1169132160 -o ROOT/results/node9/solver-269767-1169132160 -C 1800 -M 900 /tmp/evaluation/269767-1169132160/cspfj.sh -competition /tmp/evaluation/269767-1169132160/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: 0.00 0.00 0.00 4/81 7604
/proc/meminfo: memFree=1533408/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 261611142 5480448 228 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/7603/statm: 1338 228 191 169 0 49 0
[pid=7605] ppid=7603 vsize=24 CPUtime=0
/proc/7605/stat : 7605 (dirname) D 7603 7603 7491 0 -1 4194304 25 0 0 0 0 0 0 0 18 0 1 0 261611142 24576 1 18446744073709551615 0 0 548682070179 18446744073709551615 215418989863 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/7605/statm: 6 1 0 0 0 1 0

[startup+0.103734 s]
/proc/loadavg: 0.00 0.00 0.00 4/81 7604
/proc/meminfo: memFree=1533408/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.51578 s]
/proc/loadavg: 0.00 0.00 0.00 4/81 7604
/proc/meminfo: memFree=1533408/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+1.34487 s]
/proc/loadavg: 0.00 0.00 0.00 2/89 7613
/proc/meminfo: memFree=1517280/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866240 CPUtime=1.3
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 6952 0 1 0 123 7 0 0 16 0 8 0 261611143 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073330699 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216560 6654 1829 14 0 203821 0
[pid=7606/tid=7607] ppid=7603 vsize=866240 CPUtime=0.2
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 2609 0 0 0 19 1 0 0 16 0 8 0 261611147 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 261611147 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866240 CPUtime=0.25
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 644 0 0 0 24 1 0 0 16 0 8 0 261611151 887029760 6654 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887029760 6655 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866240 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887029760 6655 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 871592

[startup+2.98306 s]
/proc/loadavg: 0.00 0.00 0.00 4/92 7639
/proc/meminfo: memFree=1497984/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866364 CPUtime=2.94
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 13458 0 1 0 279 15 0 0 16 0 8 0 261611143 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4155092028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216591 13130 1829 14 0 203852 0
[pid=7606/tid=7607] ppid=7603 vsize=866364 CPUtime=0.52
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 8374 0 0 0 48 4 0 0 16 0 8 0 261611147 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 261611147 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866364 CPUtime=0.28
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 663 0 0 0 27 1 0 0 15 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866364 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887156736 13130 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 871716

[startup+6.28343 s]
/proc/loadavg: 0.24 0.05 0.02 5/102 7672
/proc/meminfo: memFree=1418344/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866588 CPUtime=6.23
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 24352 0 1 0 597 26 0 0 16 0 8 0 261611143 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216647 24003 1829 14 0 203908 0
[pid=7606/tid=7607] ppid=7603 vsize=866588 CPUtime=1.3
/proc/7606/task/7607/stat : 7607 (java) R 7603 7603 7491 0 -1 64 17912 0 0 0 122 8 0 0 22 0 8 0 261611147 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866588 CPUtime=0.34
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 687 0 0 0 33 1 0 0 16 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887386112 24003 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 871940

[startup+12.6891 s]
/proc/loadavg: 0.46 0.10 0.03 4/102 7672
/proc/meminfo: memFree=1327272/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=866588 CPUtime=12.64
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 38521 0 1 0 1220 44 0 0 16 0 8 0 261611143 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073517708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216647 38157 1829 14 0 203908 0
[pid=7606/tid=7607] ppid=7603 vsize=866588 CPUtime=2.11
/proc/7606/task/7607/stat : 7607 (java) R 7603 7603 7491 0 -1 64 30499 0 0 0 197 14 0 0 25 0 8 0 261611147 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=866588 CPUtime=0.34
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 687 0 0 0 33 1 0 0 16 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=866588 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 261611151 887386112 38157 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 871940

[startup+25.5546 s]
/proc/loadavg: 1.01 0.24 0.08 4/102 7672
/proc/meminfo: memFree=1247464/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=867612 CPUtime=25.5
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 58145 0 1 0 2481 69 0 0 25 0 8 0 261611143 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4073653080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216903 57769 1829 14 0 204164 0
[pid=7606/tid=7607] ppid=7603 vsize=867612 CPUtime=3.06
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 48569 0 0 0 284 22 0 0 16 0 8 0 261611147 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=867612 CPUtime=0.34
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 687 0 0 0 33 1 0 0 16 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7612] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=867612 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 888434688 57769 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 872964

[startup+51.1837 s]
/proc/loadavg: 1.12 0.33 0.11 2/89 7685
/proc/meminfo: memFree=1231520/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=867760 CPUtime=51.08
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 77314 0 2 0 5012 96 0 0 16 0 8 0 261611143 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074231113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 216940 76913 1835 14 0 204201 0
[pid=7606/tid=7607] ppid=7603 vsize=867760 CPUtime=4.18
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 65453 0 0 0 390 28 0 0 16 0 8 0 261611147 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7608] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=867760 CPUtime=0.91
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 1071 0 0 0 87 4 0 0 16 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=867760 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 888586240 76913 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 873112

[startup+102.426 s]
/proc/loadavg: 1.16 0.46 0.17 2/89 7757
/proc/meminfo: memFree=1199584/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=875028 CPUtime=102.18
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 85241 0 2 0 10087 131 0 0 16 0 8 0 261611143 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4074229028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7606/statm: 218757 84839 1835 14 0 206018 0
[pid=7606/tid=7607] ppid=7603 vsize=875028 CPUtime=4.26
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 67918 0 0 0 397 29 0 0 16 0 8 0 261611147 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7609] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 15 0 8 0 261611148 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7606/tid=7610] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=875028 CPUtime=6.37
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 6462 0 0 0 605 32 0 0 16 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=875028 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 896028672 84839 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 880380

[startup+162.52 s]
/proc/loadavg: 1.12 0.57 0.22 2/89 7897
/proc/meminfo: memFree=1186016/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=878696 CPUtime=162.19
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 88577 0 2 0 16073 146 0 0 25 0 8 0 261611143 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096437992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7606/statm: 219674 87788 1835 14 0 206935 0
[pid=7606/tid=7607] ppid=7603 vsize=878696 CPUtime=5.43
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 69012 0 0 0 514 29 0 0 16 0 8 0 261611147 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 261611148 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7610] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=878696 CPUtime=8.58
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 8640 0 0 0 815 43 0 0 16 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=878696 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 899784704 87788 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 884048

[startup+222.523 s]
/proc/loadavg: 1.52 0.77 0.31 3/102 7960
/proc/meminfo: memFree=1171896/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=878664 CPUtime=222.14
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 88598 0 2 0 22067 147 0 0 25 0 8 0 261611143 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096451867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7606/statm: 219666 87803 1835 14 0 206927 0
[pid=7606/tid=7607] ppid=7603 vsize=878664 CPUtime=5.43
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 69012 0 0 0 514 29 0 0 16 0 8 0 261611147 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 261611148 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7610] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=878664 CPUtime=8.61
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 8655 0 0 0 818 43 0 0 16 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=878664 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 899751936 87803 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 884016

[startup+282.544 s]
/proc/loadavg: 1.82 0.99 0.41 3/102 7960
/proc/meminfo: memFree=1172088/2055920 swapFree=4191880/4192956
[pid=7603] ppid=7601 vsize=5352 CPUtime=0
/proc/7603/stat : 7603 (cspfj.sh) S 7601 7603 7491 0 -1 4194304 315 127 0 1 0 0 0 0 18 0 1 0 261611142 5480448 240 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7603/statm: 1338 240 201 169 0 49 0
[pid=7606] ppid=7603 vsize=878472 CPUtime=282.12
/proc/7606/stat : 7606 (java) R 7603 7603 7491 0 -1 0 88605 0 2 0 28064 148 0 0 25 0 8 0 261611143 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4096458660 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7606/statm: 219618 87765 1835 14 0 206879 0
[pid=7606/tid=7607] ppid=7603 vsize=878472 CPUtime=5.43
/proc/7606/task/7607/stat : 7607 (java) S 7603 7603 7491 0 -1 64 69012 0 0 0 514 29 0 0 16 0 8 0 261611147 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7608] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7608/stat : 7608 (java) S 7603 7603 7491 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 261611147 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7609] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7609/stat : 7609 (java) S 7603 7603 7491 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 261611148 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7610] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7610/stat : 7610 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7611] ppid=7603 vsize=878472 CPUtime=8.62
/proc/7606/task/7611/stat : 7611 (java) S 7603 7603 7491 0 -1 64 8658 0 0 0 819 43 0 0 16 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7612] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7612/stat : 7612 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7606/tid=7613] ppid=7603 vsize=878472 CPUtime=0
/proc/7606/task/7613/stat : 7613 (java) S 7603 7603 7491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 261611151 899555328 87765 18446744073709551615 134512640 134570532 4294956512 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 883824

Child status: 0
Real time (s): 321.199
CPU time (s): 320.663
CPU user time (s): 319.084
CPU system time (s): 1.57976
CPU usage (%): 99.8332
Max. virtual memory (cumulated for all children) (KiB): 885496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.083
system time used= 1.57976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89075
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32429
involuntary context switches= 16154

runsolver used 0.395939 s user time and 1.00885 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Thu Jan 18 14:56:00 UTC 2007


IDJOB= 269767
IDBENCH= 3081
IDSOLVER= 91
FILE ID= node9/269767-1169132160

PBS_JOBID= 3582425

Free space on /tmp= 66563 MiB

SOLVER NAME= CSP4J - MAC 2007-01-16
BENCH NAME= HOME/pub/bench/CPAI06/queens/queens-150.xml
COMMAND LINE= /tmp/evaluation/269767-1169132160/cspfj.sh  -competition /tmp/evaluation/269767-1169132160/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-269767-1169132160 -o ROOT/results/node9/solver-269767-1169132160 -C 1800 -M 900  /tmp/evaluation/269767-1169132160/cspfj.sh  -competition /tmp/evaluation/269767-1169132160/unknown.xml

META MD5SUM SOLVER= 1cf1b9d4821c2ee5eee0dc0e02656faa
MD5SUM BENCH=  b0d89abe262117e726883b3c610dd5a5

RANDOM SEED= 757357929

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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1533888 kB
Buffers:         52176 kB
Cached:         341616 kB
SwapCached:        268 kB
Active:         172560 kB
Inactive:       268156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1533888 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1632 kB
Writeback:           0 kB
Mapped:          58652 kB
Slab:            66448 kB
Committed_AS:  7466648 kB
PageTables:       2136 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= 66563 MiB



End job on node9 on Thu Jan 18 15:01:21 UTC 2007