Trace number 2057953

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 0.3.2? 672.227 676.51

DiagnosticValue
ASSIGNMENTS1000000

General information on the benchmark

Namecsp/BH-4-7/
normalized-BlackHole-4-7-h-2_ext.xml
MD5SUM6e7a77deeab63b51f1405d677ab9bb4c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.045992
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1261
Maximum constraint arity2
Maximum domain size28
Number of constraints which are defined in extension1261
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.17/0.20	c Seed is 2092478627
0.17/0.20	c Constructing HOME/instance-2057953-1247694235.xml  with 11916 constraints
0.17/0.20	c Solving 1000001 backtracks 25 restarts
672.21/676.50	s UNKNOWN
672.21/676.50	c Too many backtracks
672.21/676.50	d ASSIGNMENTS 1000001

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2057953-1247694235/watcher-2057953-1247694235 -o /tmp/evaluation-result-2057953-1247694235/solver-2057953-1247694235 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2092478627 HOME/instance-2057953-1247694235.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: 0.28 0.06 0.02 4/72 14765
/proc/meminfo: memFree=1148776/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=5356 CPUtime=0
/proc/14765/stat : 14765 (pcssolve) R 14763 14765 14703 0 -1 4194304 270 0 0 0 0 0 0 0 20 0 1 0 56486264 5484544 238 996147200 4194304 4889804 548682068800 18446744073709551615 4440176 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14765/statm: 1339 238 198 169 0 50 0

[startup+0.143491 s]
/proc/loadavg: 0.28 0.06 0.02 4/72 14765
/proc/meminfo: memFree=1148776/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=6332 CPUtime=0.12
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 1375 823 0 0 12 0 0 0 18 0 1 0 56486264 6483968 886 996147200 134512640 135095119 4294956304 18446744073709551615 7331557 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 1583 886 390 142 0 537 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 6332

[startup+0.201491 s]
/proc/loadavg: 0.28 0.06 0.02 4/72 14765
/proc/meminfo: memFree=1148776/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=6332 CPUtime=0.17
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 1376 823 0 0 17 0 0 0 18 0 1 0 56486264 6483968 887 996147200 134512640 135095119 4294956304 18446744073709551615 134916454 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 1583 887 390 142 0 537 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6332

[startup+0.301501 s]
/proc/loadavg: 0.28 0.06 0.02 4/72 14765
/proc/meminfo: memFree=1148776/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=6332 CPUtime=0.27
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 1387 823 0 0 27 0 0 0 19 0 1 0 56486264 6483968 898 996147200 134512640 135095119 4294956304 18446744073709551615 134911124 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 1583 898 390 142 0 537 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6332

[startup+0.701541 s]
/proc/loadavg: 0.28 0.06 0.02 4/72 14765
/proc/meminfo: memFree=1148776/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=6624 CPUtime=0.67
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 1485 823 0 0 67 0 0 0 22 0 1 0 56486264 6782976 996 996147200 134512640 135095119 4294956304 18446744073709551615 134916420 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 1656 996 390 142 0 610 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6624

[startup+1.50162 s]
/proc/loadavg: 0.28 0.06 0.02 3/73 14771
/proc/meminfo: memFree=1144280/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=8300 CPUtime=1.47
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 1986 823 0 0 146 1 0 0 25 0 1 0 56486264 8499200 1270 996147200 134512640 135095119 4294956304 18446744073709551615 134910178 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 2075 1270 390 142 0 1029 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8300

[startup+3.10178 s]
/proc/loadavg: 0.28 0.06 0.02 3/73 14771
/proc/meminfo: memFree=1141912/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=9976 CPUtime=3.06
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 2574 823 0 0 305 1 0 0 25 0 1 0 56486264 10215424 1729 996147200 134512640 135095119 4294956304 18446744073709551615 134909778 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 2494 1729 390 142 0 1448 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9976

[startup+6.3011 s]
/proc/loadavg: 0.42 0.10 0.03 3/73 14771
/proc/meminfo: memFree=1135064/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=14104 CPUtime=6.26
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 3894 823 0 0 624 2 0 0 25 0 1 0 56486264 14442496 2502 996147200 134512640 135095119 4294956304 18446744073709551615 134911212 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 3526 2502 390 142 0 2480 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14104

[startup+12.7017 s]
/proc/loadavg: 0.55 0.13 0.04 3/73 14771
/proc/meminfo: memFree=1124704/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=18084 CPUtime=12.63
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 5384 823 0 0 1260 3 0 0 25 0 1 0 56486264 18518016 3479 996147200 134512640 135095119 4294956304 18446744073709551615 134582516 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 4521 3479 390 142 0 3475 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 18084

[startup+25.502 s]
/proc/loadavg: 0.87 0.22 0.07 3/73 14771
/proc/meminfo: memFree=1102752/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=29820 CPUtime=25.37
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 9350 823 0 0 2532 5 0 0 25 0 1 0 56486264 30535680 5907 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 7455 5907 390 142 0 6409 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 29820

[startup+51.1026 s]
/proc/loadavg: 1.31 0.38 0.13 3/70 14774
/proc/meminfo: memFree=891832/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=52024 CPUtime=50.95
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 16707 823 0 0 5085 10 0 0 25 0 1 0 56486264 53272576 10190 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 13006 10190 390 142 0 11960 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 52024

[startup+102.303 s]
/proc/loadavg: 1.70 0.62 0.22 3/70 14774
/proc/meminfo: memFree=276280/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=101236 CPUtime=102.14
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 31889 823 0 0 10195 19 0 0 25 0 1 0 56486264 103665664 19226 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14765/statm: 25309 19226 390 142 0 24263 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 101236

[startup+162.303 s]
/proc/loadavg: 1.93 0.89 0.34 3/73 14803
/proc/meminfo: memFree=1115032/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=106520 CPUtime=161.94
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 35872 823 0 0 16170 24 0 0 25 0 1 0 56486264 109076480 23209 996147200 134512640 135095119 4294956304 18446744073709551615 134606201 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 26630 23209 390 142 0 25584 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 106520

[startup+222.307 s]
/proc/loadavg: 1.97 1.09 0.44 3/73 14835
/proc/meminfo: memFree=1097624/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=119948 CPUtime=221.49
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 41483 823 0 0 22116 33 0 0 25 0 1 0 56486264 122826752 28820 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 29987 28820 390 142 0 28941 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 119948

[startup+282.302 s]
/proc/loadavg: 1.99 1.25 0.53 3/73 14835
/proc/meminfo: memFree=1031064/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=201628 CPUtime=281.03
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 63886 823 0 0 28058 45 0 0 25 0 1 0 56486264 206467072 38933 996147200 134512640 135095119 4294956304 18446744073709551615 134615475 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 50407 38933 390 142 0 49361 0
Current children cumulated CPU time (s) 281.03
Current children cumulated vsize (KiB) 201628

[startup+342.302 s]
/proc/loadavg: 1.99 1.38 0.62 3/73 14835
/proc/meminfo: memFree=989720/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=201628 CPUtime=340.56
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 66122 823 0 0 34009 47 0 0 25 0 1 0 56486264 206467072 41169 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 50407 41169 390 142 0 49361 0
Current children cumulated CPU time (s) 340.56
Current children cumulated vsize (KiB) 201628

[startup+402.302 s]
/proc/loadavg: 1.99 1.49 0.70 3/73 14835
/proc/meminfo: memFree=962584/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=206656 CPUtime=400.11
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 69337 823 0 0 39960 51 0 0 25 0 1 0 56486264 211615744 44384 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 51664 44384 390 142 0 50618 0
Current children cumulated CPU time (s) 400.11
Current children cumulated vsize (KiB) 206656

[startup+462.302 s]
/proc/loadavg: 1.99 1.58 0.78 3/73 14835
/proc/meminfo: memFree=923992/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=216184 CPUtime=459.65
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 73476 823 0 0 45909 56 0 0 25 0 1 0 56486264 221372416 48523 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 54046 48523 390 142 0 53000 0
Current children cumulated CPU time (s) 459.65
Current children cumulated vsize (KiB) 216184

[startup+522.302 s]
/proc/loadavg: 1.99 1.66 0.86 3/73 14837
/proc/meminfo: memFree=887256/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=225868 CPUtime=519.19
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 77607 823 0 0 51858 61 0 0 25 0 1 0 56486264 231288832 52654 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 56467 52654 390 142 0 55421 0
Current children cumulated CPU time (s) 519.19
Current children cumulated vsize (KiB) 225868

[startup+582.302 s]
/proc/loadavg: 1.99 1.72 0.93 3/73 14837
/proc/meminfo: memFree=849688/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=236036 CPUtime=578.73
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 81816 823 0 0 57807 66 0 0 25 0 1 0 56486264 241700864 56863 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 59009 56863 390 142 0 57963 0
Current children cumulated CPU time (s) 578.73
Current children cumulated vsize (KiB) 236036

[startup+642.302 s]
/proc/loadavg: 1.99 1.77 0.99 3/73 14837
/proc/meminfo: memFree=816600/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=309816 CPUtime=638.27
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 101661 823 0 0 63748 79 0 0 25 0 1 0 56486264 317251584 60323 996147200 134512640 135095119 4294956304 18446744073709551615 134617214 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 77454 60323 390 142 0 76408 0
Current children cumulated CPU time (s) 638.27
Current children cumulated vsize (KiB) 309816

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

[startup+652.802 s]
/proc/loadavg: 1.99 1.77 1.00 3/73 14837
/proc/meminfo: memFree=752408/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=311104 CPUtime=648.69
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 102235 823 0 0 64790 79 0 0 25 0 1 0 56486264 318570496 60897 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 77776 60897 390 142 0 76730 0
Current children cumulated CPU time (s) 648.69
Current children cumulated vsize (KiB) 311104

[startup+665.606 s]
/proc/loadavg: 1.99 1.78 1.02 3/73 14837
/proc/meminfo: memFree=749144/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=312776 CPUtime=661.4
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 102923 823 0 0 66060 80 0 0 25 0 1 0 56486264 320282624 61585 996147200 134512640 135095119 4294956304 18446744073709551615 134604544 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 78194 61585 390 142 0 77148 0
Current children cumulated CPU time (s) 661.4
Current children cumulated vsize (KiB) 312776

[startup+672.002 s]
/proc/loadavg: 1.99 1.79 1.02 3/73 14837
/proc/meminfo: memFree=747480/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=313676 CPUtime=667.75
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 103270 823 0 0 66695 80 0 0 25 0 1 0 56486264 321204224 61932 996147200 134512640 135095119 4294956304 18446744073709551615 134589651 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 78419 61932 390 142 0 77373 0
Current children cumulated CPU time (s) 667.75
Current children cumulated vsize (KiB) 313676

[startup+673.601 s]
/proc/loadavg: 1.99 1.79 1.02 3/73 14837
/proc/meminfo: memFree=746968/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=313804 CPUtime=669.33
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 103360 823 0 0 66853 80 0 0 25 0 1 0 56486264 321335296 62022 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 78451 62022 390 142 0 77405 0
Current children cumulated CPU time (s) 669.33
Current children cumulated vsize (KiB) 313804

[startup+675.202 s]
/proc/loadavg: 1.99 1.79 1.02 3/73 14837
/proc/meminfo: memFree=746648/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=314060 CPUtime=670.92
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 103447 823 0 0 67012 80 0 0 25 0 1 0 56486264 321597440 62109 996147200 134512640 135095119 4294956304 18446744073709551615 134916470 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 78515 62109 390 142 0 77469 0
Current children cumulated CPU time (s) 670.92
Current children cumulated vsize (KiB) 314060

[startup+676.001 s]
/proc/loadavg: 1.99 1.79 1.02 3/73 14837
/proc/meminfo: memFree=746392/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=150212 CPUtime=671.71
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 103462 823 0 0 67089 82 0 0 25 0 1 0 56486264 153817088 36906 996147200 134512640 135095119 4294956304 18446744073709551615 7319667 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 37553 36906 390 142 0 36507 0
Current children cumulated CPU time (s) 671.71
Current children cumulated vsize (KiB) 150212

[startup+676.401 s]
/proc/loadavg: 1.99 1.79 1.02 3/73 14837
/proc/meminfo: memFree=746392/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=150212 CPUtime=672.11
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 103462 823 0 0 67129 82 0 0 25 0 1 0 56486264 153817088 36906 996147200 134512640 135095119 4294956304 18446744073709551615 7319676 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 37553 36906 390 142 0 36507 0
Current children cumulated CPU time (s) 672.11
Current children cumulated vsize (KiB) 150212

[startup+676.502 s]
/proc/loadavg: 1.99 1.79 1.02 3/73 14837
/proc/meminfo: memFree=975064/2055920 swapFree=4192812/4192956
[pid=14765] ppid=14763 vsize=120416 CPUtime=672.21
/proc/14765/stat : 14765 (pcs.small) R 14763 14765 14703 0 -1 4194304 103464 823 0 0 67137 84 0 0 25 0 1 0 56486264 123305984 4893 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/14765/statm: 30104 4893 392 142 0 29058 0
Current children cumulated CPU time (s) 672.21
Current children cumulated vsize (KiB) 120416

Child status: 0
Real time (s): 676.51
CPU time (s): 672.227
CPU user time (s): 671.375
CPU system time (s): 0.85187
CPU usage (%): 99.3668
Max. virtual memory (cumulated for all children) (KiB): 371232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 671.375
system time used= 0.85187
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104288
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= 22
involuntary context switches= 13349

runsolver used 0.608907 second user time and 1.86172 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-15 23:43:55
IDJOB=2057953
IDBENCH=53427
IDSOLVER=733
FILE ID=node67/2057953-1247694235
PBS_JOBID= 9521181
Free space on /tmp= 66240 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/BH-4-7/normalized-BlackHole-4-7-h-2_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2057953-1247694235/watcher-2057953-1247694235 -o /tmp/evaluation-result-2057953-1247694235/solver-2057953-1247694235 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2092478627 HOME/instance-2057953-1247694235.xml

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

MD5SUM BENCH= 6e7a77deeab63b51f1405d677ab9bb4c
RANDOM SEED=2092478627

node67.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.239
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.239
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:       1149256 kB
Buffers:         74336 kB
Cached:         731260 kB
SwapCached:          0 kB
Active:         306516 kB
Inactive:       521848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1149256 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           98444 kB
Writeback:           0 kB
Mapped:          34128 kB
Slab:            63620 kB
Committed_AS:   510720 kB
PageTables:       1844 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= 66332 MiB
End job on node67 at 2009-07-15 23:55:12