Trace number 2083551

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2UNSAT 477.927 479.842

DiagnosticValue
ASSIGNMENTS3304

General information on the benchmark

Namecsp/fapp/fapp30/
normalized-fapp30-3000-0.xml
MD5SUMa0e05c3f701a8303e8373aea0961fb40
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 benchmark37.8182
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints63204
Maximum constraint arity2
Maximum domain size778
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63204
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.04	c Seed is 113017644
0.00/0.04	c Constructing HOME/instance-2083551-1247723292.xml  with 399468 constraints
6.65/6.77	c Solving 3304 backtracks 11 restarts
477.87/479.81	s UNSATISFIABLE
477.87/479.81	d ASSIGNMENTS 3304

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083551-1247723292/watcher-2083551-1247723292 -o /tmp/evaluation-result-2083551-1247723292/solver-2083551-1247723292 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 113017644 HOME/instance-2083551-1247723292.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 5/73 15501
/proc/meminfo: memFree=1364064/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=5356 CPUtime=0
/proc/15501/stat : 15501 (pcssolve) S 15499 15501 13305 0 -1 4194304 305 0 0 0 0 0 0 0 19 0 1 0 59394533 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15501/statm: 1339 242 201 169 0 50 0
[pid=15502] ppid=15501 vsize=3676 CPUtime=0
/proc/15502/stat : 15502 (fgrep) R 15501 15501 13305 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 59394533 3764224 115 996147200 4194304 4274172 548682068976 18446744073709551615 240154017874 0 0 4096 0 0 0 0 17 0 0 0
/proc/15502/statm: 919 115 87 19 0 43 0
[pid=15503] ppid=15501 vsize=5356 CPUtime=0
/proc/15503/stat : 15503 (pcssolve) R 15501 15501 13305 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 59394533 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 240153849127 0 0 4096 0 0 0 0 17 0 0 0
/proc/15503/statm: 1339 244 203 169 0 50 0

[startup+0.0299821 s]
/proc/loadavg: 2.00 2.00 2.00 5/73 15501
/proc/meminfo: memFree=1364064/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=5356 CPUtime=0
/proc/15501/stat : 15501 (pcssolve) R 15499 15501 13305 0 -1 4194304 339 317 0 0 0 0 0 0 22 0 1 0 59394533 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/15501/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102651 s]
/proc/loadavg: 2.00 2.00 2.00 5/73 15501
/proc/meminfo: memFree=1364064/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=6628 CPUtime=0.08
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1345 668 0 0 6 0 1 1 18 0 1 0 59394533 6787072 935 996147200 134512640 135215973 4294956304 18446744073709551615 134770266 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 1657 935 386 171 0 582 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6628

[startup+0.301689 s]
/proc/loadavg: 2.00 2.00 2.00 5/73 15501
/proc/meminfo: memFree=1364064/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=12604 CPUtime=0.28
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 3154 668 0 0 25 1 1 1 19 0 1 0 59394533 12906496 2091 996147200 134512640 135215973 4294956304 18446744073709551615 6495345 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 3151 2091 386 171 0 2076 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12604

[startup+0.701766 s]
/proc/loadavg: 2.00 2.00 2.00 5/73 15501
/proc/meminfo: memFree=1364064/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=22316 CPUtime=0.68
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 6423 668 0 0 64 2 1 1 23 0 1 0 59394533 22851584 4097 996147200 134512640 135215973 4294956304 18446744073709551615 6819456 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 5579 4097 386 171 0 4504 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22316

[startup+1.50192 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1342472/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=40744 CPUtime=1.48
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 12747 668 0 0 141 5 1 1 25 0 1 0 59394533 41721856 8067 996147200 134512640 135215973 4294956304 18446744073709551615 4159075499 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 10186 8067 386 171 0 9111 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40744

[startup+3.10122 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1320264/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=77196 CPUtime=3.07
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 25257 668 0 0 295 10 1 1 25 0 1 0 59394533 79048704 15856 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 19299 15856 386 171 0 18224 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 77196

[startup+6.30184 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1254152/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=149848 CPUtime=6.26
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 50082 668 0 0 602 22 1 1 25 0 1 0 59394533 153444352 31241 996147200 134512640 135215973 4294956304 18446744073709551615 4158911806 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 37462 31241 386 171 0 36387 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 149848

[startup+12.7021 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1193432/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=186896 CPUtime=12.63
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 67318 668 0 0 1231 30 1 1 25 0 1 0 59394533 191381504 42446 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 46724 42446 410 171 0 45649 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 186896

[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1192344/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=188144 CPUtime=25.38
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 67843 668 0 0 2506 30 1 1 25 0 1 0 59394533 192659456 42657 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 47036 42657 410 171 0 45961 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 188144

[startup+51.1014 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1182616/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=189808 CPUtime=50.88
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 68671 668 0 0 5056 30 1 1 25 0 1 0 59394533 194363392 43068 996147200 134512640 135215973 4294956304 18446744073709551615 4158960785 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 47452 43068 410 171 0 46377 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 189808

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1165016/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=204488 CPUtime=101.87
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 73143 668 0 0 10154 31 1 1 25 0 1 0 59394533 209395712 46707 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 51122 46707 410 171 0 50047 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 204488

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15506
/proc/meminfo: memFree=1143768/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=222760 CPUtime=161.64
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 78213 668 0 0 16128 34 1 1 25 0 1 0 59394533 228106240 50112 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 55690 50112 410 171 0 54615 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 222760

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1138328/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=222760 CPUtime=221.39
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 78302 668 0 0 22103 34 1 1 25 0 1 0 59394533 228106240 50201 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 55690 50201 411 171 0 54615 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 222760

[startup+282.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1132120/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=223816 CPUtime=281.15
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 78865 668 0 0 28079 34 1 1 25 0 1 0 59394533 229187584 50764 996147200 134512640 135215973 4294956304 18446744073709551615 134591414 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 55954 50764 411 171 0 54879 0
Current children cumulated CPU time (s) 281.15
Current children cumulated vsize (KiB) 223816

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1121432/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=230548 CPUtime=340.92
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 294184 668 0 0 33985 105 1 1 25 0 1 0 59394533 236081152 52607 996147200 134512640 135215973 4294956304 18446744073709551615 134583528 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 57637 52607 413 171 0 56562 0
Current children cumulated CPU time (s) 340.92
Current children cumulated vsize (KiB) 230548

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1102616/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=245384 CPUtime=400.68
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 678371 668 0 0 39838 228 1 1 25 0 1 0 59394533 251273216 56322 996147200 134512640 135215973 4294956304 18446744073709551615 134585752 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 61346 56322 413 171 0 60271 0
Current children cumulated CPU time (s) 400.68
Current children cumulated vsize (KiB) 245384

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1079000/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=263728 CPUtime=460.44
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1089338 668 0 0 45686 356 1 1 25 0 1 0 59394533 270057472 60888 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 65932 60888 413 171 0 64857 0
Current children cumulated CPU time (s) 460.44
Current children cumulated vsize (KiB) 263728

Solver just ended. Dumping a history of the last processes samples

[startup+473.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1078104/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=264520 CPUtime=471.59
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1143677 668 0 0 46784 373 1 1 25 0 1 0 59394533 270868480 61111 996147200 134512640 135215973 4294956304 18446744073709551615 134597353 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 66130 61111 413 171 0 65055 0
Current children cumulated CPU time (s) 471.59
Current children cumulated vsize (KiB) 264520

[startup+476.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1077720/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=264916 CPUtime=474.78
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1160360 668 0 0 47098 378 1 1 25 0 1 0 59394533 271273984 61194 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 66229 61194 413 171 0 65154 0
Current children cumulated CPU time (s) 474.78
Current children cumulated vsize (KiB) 264916

[startup+478.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1077656/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=265048 CPUtime=476.38
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1171347 668 0 0 47254 382 1 1 25 0 1 0 59394533 271409152 61225 996147200 134512640 135215973 4294956304 18446744073709551615 134584195 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 66262 61225 413 171 0 65187 0
Current children cumulated CPU time (s) 476.38
Current children cumulated vsize (KiB) 265048

[startup+479.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1077528/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=266508 CPUtime=477.18
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1183301 668 0 0 47330 386 1 1 25 0 1 0 59394533 272904192 61559 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 66627 61559 413 171 0 65552 0
Current children cumulated CPU time (s) 477.18
Current children cumulated vsize (KiB) 266508

[startup+479.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1077336/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=265180 CPUtime=477.58
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1186344 668 0 0 47369 387 1 1 25 0 1 0 59394533 271544320 61282 996147200 134512640 135215973 4294956304 18446744073709551615 6811209 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 66295 61282 413 171 0 65220 0
Current children cumulated CPU time (s) 477.58
Current children cumulated vsize (KiB) 265180

[startup+479.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1077336/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=248792 CPUtime=477.77
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1186344 668 0 0 47388 387 1 1 25 0 1 0 59394533 254763008 58135 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 62198 58135 413 171 0 61123 0
Current children cumulated CPU time (s) 477.77
Current children cumulated vsize (KiB) 248792

[startup+479.802 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15508
/proc/meminfo: memFree=1077336/2055920 swapFree=4192812/4192956
[pid=15501] ppid=15499 vsize=164880 CPUtime=477.87
/proc/15501/stat : 15501 (pcs.big) R 15499 15501 13305 0 -1 4194304 1186344 668 0 0 47397 388 1 1 25 0 1 0 59394533 168837120 38623 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15501/statm: 41220 38623 413 171 0 40145 0
Current children cumulated CPU time (s) 477.87
Current children cumulated vsize (KiB) 164880

Child status: 0
Real time (s): 479.842
CPU time (s): 477.927
CPU user time (s): 474.003
CPU system time (s): 3.9244
CPU usage (%): 99.6011
Max. virtual memory (cumulated for all children) (KiB): 266508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 474.003
system time used= 3.9244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1187014
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= 27
involuntary context switches= 5292

runsolver used 0.502923 second user time and 1.25081 second system time

The end

Launcher Data 

Begin job on node86 at 2009-07-16 07:48:12
IDJOB=2083551
IDBENCH=57854
IDSOLVER=734
FILE ID=node86/2083551-1247723292
PBS_JOBID= 9521378
Free space on /tmp= 66248 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-0.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083551-1247723292/watcher-2083551-1247723292 -o /tmp/evaluation-result-2083551-1247723292/solver-2083551-1247723292 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 113017644 HOME/instance-2083551-1247723292.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a0e05c3f701a8303e8373aea0961fb40
RANDOM SEED=113017644

node86.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
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.265
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1364608 kB
Buffers:         90548 kB
Cached:         367636 kB
SwapCached:          0 kB
Active:         240388 kB
Inactive:       375416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1364608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10604 kB
Writeback:           0 kB
Mapped:         168984 kB
Slab:            60604 kB
Committed_AS:   737912 kB
PageTables:       2124 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= 66244 MiB
End job on node86 at 2009-07-16 07:56:12