Trace number 2057854

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? 937.354 941.087

DiagnosticValue
ASSIGNMENTS1000000

General information on the benchmark

Namecsp/BH-4-7/
normalized-BlackHole-4-7-h-6_ext.xml
MD5SUMf8515fe51afe0fd2f188b8c24fadcade
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.053991
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.00/0.01	c Seed is 2108945993
0.00/0.01	c Constructing HOME/instance-2057854-1247694233.xml  with 11916 constraints
0.00/0.05	c Solving 1000001 backtracks 25 restarts
937.25/941.08	s UNKNOWN
937.25/941.08	c Too many backtracks
937.25/941.08	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-2057854-1247694233/watcher-2057854-1247694233 -o /tmp/evaluation-result-2057854-1247694233/solver-2057854-1247694233 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2108945993 HOME/instance-2057854-1247694233.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.00 0.00 0.00 4/73 12192
/proc/meminfo: memFree=1181472/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=5356 CPUtime=0
/proc/12192/stat : 12192 (pcssolve) R 12190 12192 12056 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 56488333 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/12192/statm: 1339 241 200 169 0 50 0
[pid=12193] ppid=12192 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (pcssolve) R 12192 12192 12056 0 -1 4194368 21 0 0 0 0 0 0 0 19 0 1 0 56488333 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 251279407717 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12193/statm: 1339 243 202 169 0 50 0
[pid=12194] ppid=12192 vsize=5356 CPUtime=0
/proc/12194/stat : 12194 (pcssolve) R 12192 12192 12056 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 56488333 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/12194/statm: 1339 241 200 169 0 50 0

[startup+0.0742359 s]
/proc/loadavg: 0.00 0.00 0.00 4/73 12192
/proc/meminfo: memFree=1181472/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=6332 CPUtime=0.05
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 1373 823 0 0 5 0 0 0 23 0 1 0 56488333 6483968 884 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 1583 884 390 142 0 537 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6332

[startup+0.101237 s]
/proc/loadavg: 0.00 0.00 0.00 4/73 12192
/proc/meminfo: memFree=1181472/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=6252 CPUtime=0.08
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 1373 823 0 0 8 0 0 0 23 0 1 0 56488333 6402048 884 996147200 134512640 135095119 4294956304 18446744073709551615 134571101 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 1563 884 390 142 0 517 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6252

[startup+0.301263 s]
/proc/loadavg: 0.00 0.00 0.00 4/73 12192
/proc/meminfo: memFree=1181472/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=6380 CPUtime=0.28
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 1399 823 0 0 28 0 0 0 25 0 1 0 56488333 6533120 910 996147200 134512640 135095119 4294956304 18446744073709551615 134589601 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 1595 910 390 142 0 549 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6380

[startup+0.701311 s]
/proc/loadavg: 0.00 0.00 0.00 4/73 12192
/proc/meminfo: memFree=1181472/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=6776 CPUtime=0.68
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 1522 823 0 0 68 0 0 0 25 0 1 0 56488333 6938624 1033 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 1694 1033 390 142 0 648 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6776

[startup+1.50141 s]
/proc/loadavg: 0.16 0.03 0.01 3/74 12198
/proc/meminfo: memFree=1176984/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=8456 CPUtime=1.48
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 2007 823 0 0 147 1 0 0 25 0 1 0 56488333 8658944 1291 996147200 134512640 135095119 4294956304 18446744073709551615 134642771 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 2114 1291 390 142 0 1068 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8456

[startup+3.10261 s]
/proc/loadavg: 0.16 0.03 0.01 3/74 12198
/proc/meminfo: memFree=1174424/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=10124 CPUtime=3.07
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 2612 823 0 0 306 1 0 0 25 0 1 0 56488333 10366976 1767 996147200 134512640 135095119 4294956304 18446744073709551615 134617071 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 2531 1767 390 142 0 1485 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10124

[startup+6.30201 s]
/proc/loadavg: 0.16 0.03 0.01 3/74 12198
/proc/meminfo: memFree=1167512/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=14116 CPUtime=6.26
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 3957 823 0 0 624 2 0 0 25 0 1 0 56488333 14454784 2565 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 3529 2565 390 142 0 2483 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14116

[startup+12.7018 s]
/proc/loadavg: 0.44 0.10 0.03 3/74 12198
/proc/meminfo: memFree=1153688/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=22632 CPUtime=12.63
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 6615 823 0 0 1260 3 0 0 25 0 1 0 56488333 23175168 4197 996147200 134512640 135095119 4294956304 18446744073709551615 134642903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 5658 4197 390 142 0 4612 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 22632

[startup+25.5014 s]
/proc/loadavg: 0.68 0.16 0.05 3/74 12198
/proc/meminfo: memFree=1128920/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=41100 CPUtime=25.39
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 12277 823 0 0 2532 7 0 0 25 0 1 0 56488333 42086400 7809 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 10275 7809 390 142 0 9229 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 41100

[startup+51.1016 s]
/proc/loadavg: 1.13 0.31 0.10 3/74 12198
/proc/meminfo: memFree=1107288/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=52120 CPUtime=50.88
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 16488 823 0 0 5079 9 0 0 25 0 1 0 56488333 53370880 9971 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 13030 9971 390 142 0 11984 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 52120

[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 3/74 12198
/proc/meminfo: memFree=1040280/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=99232 CPUtime=101.88
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 30975 823 0 0 10169 19 0 0 25 0 1 0 56488333 101613568 18312 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 24808 18312 390 142 0 23762 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 99232

[startup+162.301 s]
/proc/loadavg: 1.87 0.84 0.32 3/74 12198
/proc/meminfo: memFree=1018968/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=100904 CPUtime=161.65
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 33625 823 0 0 16142 23 0 0 25 0 1 0 56488333 103325696 20962 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 25226 20962 390 142 0 24180 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 100904

[startup+222.302 s]
/proc/loadavg: 1.95 1.05 0.42 3/74 12198
/proc/meminfo: memFree=977240/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=112628 CPUtime=221.41
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 38776 823 0 0 22113 28 0 0 25 0 1 0 56488333 115331072 26113 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 28157 26113 390 142 0 27111 0
Current children cumulated CPU time (s) 221.41
Current children cumulated vsize (KiB) 112628

[startup+282.301 s]
/proc/loadavg: 1.98 1.22 0.52 3/74 12198
/proc/meminfo: memFree=916696/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=206932 CPUtime=281.18
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 59198 823 0 0 28077 41 0 0 25 0 1 0 56488333 211898368 38342 996147200 134512640 135095119 4294956304 18446744073709551615 4476876 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 51733 38342 390 142 0 50687 0
Current children cumulated CPU time (s) 281.18
Current children cumulated vsize (KiB) 206932

[startup+342.302 s]
/proc/loadavg: 1.99 1.36 0.61 3/74 12198
/proc/meminfo: memFree=878936/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=195296 CPUtime=340.94
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 63352 823 0 0 34050 44 0 0 25 0 1 0 56488333 199983104 38399 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 48824 38399 390 142 0 47778 0
Current children cumulated CPU time (s) 340.94
Current children cumulated vsize (KiB) 195296

[startup+402.301 s]
/proc/loadavg: 1.99 1.47 0.69 3/74 12198
/proc/meminfo: memFree=860696/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=197476 CPUtime=400.71
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 65659 823 0 0 40024 47 0 0 25 0 1 0 56488333 202215424 40706 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 49369 40706 390 142 0 48323 0
Current children cumulated CPU time (s) 400.71
Current children cumulated vsize (KiB) 197476

[startup+462.302 s]
/proc/loadavg: 1.99 1.57 0.77 3/74 12198
/proc/meminfo: memFree=835480/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=204192 CPUtime=460.47
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 68759 823 0 0 45996 51 0 0 25 0 1 0 56488333 209092608 43806 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 51048 43806 390 142 0 50002 0
Current children cumulated CPU time (s) 460.47
Current children cumulated vsize (KiB) 204192

[startup+522.301 s]
/proc/loadavg: 1.99 1.64 0.84 3/74 12200
/proc/meminfo: memFree=811928/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=210644 CPUtime=520.24
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 71733 823 0 0 51969 55 0 0 25 0 1 0 56488333 215699456 46780 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 52661 46780 390 142 0 51615 0
Current children cumulated CPU time (s) 520.24
Current children cumulated vsize (KiB) 210644

[startup+582.302 s]
/proc/loadavg: 1.99 1.71 0.91 3/74 12200
/proc/meminfo: memFree=788120/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=217204 CPUtime=580
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 74674 823 0 0 57941 59 0 0 25 0 1 0 56488333 222416896 49721 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 54301 49721 390 142 0 53255 0
Current children cumulated CPU time (s) 580
Current children cumulated vsize (KiB) 217204

[startup+642.301 s]
/proc/loadavg: 1.99 1.76 0.98 3/74 12200
/proc/meminfo: memFree=764184/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=223644 CPUtime=639.77
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 77643 823 0 0 63915 62 0 0 25 0 1 0 56488333 229011456 52690 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 55911 52690 390 142 0 54865 0
Current children cumulated CPU time (s) 639.77
Current children cumulated vsize (KiB) 223644

[startup+702.302 s]
/proc/loadavg: 1.99 1.80 1.04 3/74 12200
/proc/meminfo: memFree=742488/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=229568 CPUtime=699.54
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 80385 823 0 0 69888 66 0 0 25 0 1 0 56488333 235077632 55432 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 57392 55432 390 142 0 56346 0
Current children cumulated CPU time (s) 699.54
Current children cumulated vsize (KiB) 229568

[startup+762.306 s]
/proc/loadavg: 1.99 1.83 1.10 3/74 12200
/proc/meminfo: memFree=722520/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=300364 CPUtime=759.3
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 99218 823 0 0 75853 77 0 0 25 0 1 0 56488333 307572736 57880 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 75091 57880 390 142 0 74045 0
Current children cumulated CPU time (s) 759.3
Current children cumulated vsize (KiB) 300364

[startup+822.302 s]
/proc/loadavg: 1.99 1.86 1.15 3/74 12200
/proc/meminfo: memFree=704152/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=305256 CPUtime=819.06
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 101530 823 0 0 81827 79 0 0 25 0 1 0 56488333 312582144 60192 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 76314 60192 390 142 0 75268 0
Current children cumulated CPU time (s) 819.06
Current children cumulated vsize (KiB) 305256

[startup+882.301 s]
/proc/loadavg: 2.12 1.91 1.21 3/74 12200
/proc/meminfo: memFree=685208/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=310272 CPUtime=878.82
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 103860 823 0 0 87799 83 0 0 25 0 1 0 56488333 317718528 62522 996147200 134512640 135095119 4294956304 18446744073709551615 134615598 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 77568 62522 390 142 0 76522 0
Current children cumulated CPU time (s) 878.82
Current children cumulated vsize (KiB) 310272

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

[startup+895.901 s]
/proc/loadavg: 2.10 1.91 1.22 3/74 12200
/proc/meminfo: memFree=680856/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=311560 CPUtime=892.37
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 104423 823 0 0 89153 84 0 0 25 0 1 0 56488333 319037440 63085 996147200 134512640 135095119 4294956304 18446744073709551615 134642575 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 77890 63085 390 142 0 76844 0
Current children cumulated CPU time (s) 892.37
Current children cumulated vsize (KiB) 311560

[startup+921.501 s]
/proc/loadavg: 2.06 1.92 1.24 3/74 12200
/proc/meminfo: memFree=672472/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=313872 CPUtime=917.87
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 105466 823 0 0 91702 85 0 0 25 0 1 0 56488333 321404928 64128 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 78468 64128 390 142 0 77422 0
Current children cumulated CPU time (s) 917.87
Current children cumulated vsize (KiB) 313872

[startup+934.302 s]
/proc/loadavg: 2.05 1.92 1.25 3/74 12200
/proc/meminfo: memFree=668632/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=314768 CPUtime=930.62
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 105932 823 0 0 92976 86 0 0 25 0 1 0 56488333 322322432 64594 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 78692 64594 390 142 0 77646 0
Current children cumulated CPU time (s) 930.62
Current children cumulated vsize (KiB) 314768

[startup+937.501 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12200
/proc/meminfo: memFree=757528/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=315024 CPUtime=933.81
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 106055 823 0 0 93295 86 0 0 25 0 1 0 56488333 322584576 64717 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 78756 64717 390 142 0 77710 0
Current children cumulated CPU time (s) 933.81
Current children cumulated vsize (KiB) 315024

[startup+939.101 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12232
/proc/meminfo: memFree=925144/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=315284 CPUtime=935.36
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 106121 823 0 0 93450 86 0 0 25 0 1 0 56488333 322850816 64783 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 78821 64783 390 142 0 77775 0
Current children cumulated CPU time (s) 935.36
Current children cumulated vsize (KiB) 315284

[startup+939.902 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12232
/proc/meminfo: memFree=922968/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=315284 CPUtime=936.16
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 106152 823 0 0 93530 86 0 0 25 0 1 0 56488333 322850816 64814 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 78821 64814 390 142 0 77775 0
Current children cumulated CPU time (s) 936.16
Current children cumulated vsize (KiB) 315284

[startup+940.702 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12232
/proc/meminfo: memFree=953688/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=151436 CPUtime=936.95
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 106166 823 0 0 93607 88 0 0 25 0 1 0 56488333 155070464 37219 996147200 134512640 135095119 4294956304 18446744073709551615 4472901 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 37859 37219 390 142 0 36813 0
Current children cumulated CPU time (s) 936.95
Current children cumulated vsize (KiB) 151436

[startup+940.902 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12232
/proc/meminfo: memFree=953688/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=151436 CPUtime=937.15
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 106166 823 0 0 93627 88 0 0 25 0 1 0 56488333 155070464 37219 996147200 134512640 135095119 4294956304 18446744073709551615 4472830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 37859 37219 390 142 0 36813 0
Current children cumulated CPU time (s) 937.15
Current children cumulated vsize (KiB) 151436

[startup+941.002 s]
/proc/loadavg: 2.12 1.94 1.26 3/74 12232
/proc/meminfo: memFree=953688/2055920 swapFree=4192812/4192956
[pid=12192] ppid=12190 vsize=151436 CPUtime=937.25
/proc/12192/stat : 12192 (pcs.small) R 12190 12192 12056 0 -1 4194304 106166 823 0 0 93637 88 0 0 25 0 1 0 56488333 155070464 37219 996147200 134512640 135095119 4294956304 18446744073709551615 4472830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12192/statm: 37859 37219 390 142 0 36813 0
Current children cumulated CPU time (s) 937.25
Current children cumulated vsize (KiB) 151436

Child status: 0
Real time (s): 941.087
CPU time (s): 937.354
CPU user time (s): 936.436
CPU system time (s): 0.91786
CPU usage (%): 99.6033
Max. virtual memory (cumulated for all children) (KiB): 361028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 936.436
system time used= 0.91786
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106992
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= 15
involuntary context switches= 10913

runsolver used 0.91786 second user time and 2.51162 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-15 23:43:53
IDJOB=2057854
IDBENCH=53418
IDSOLVER=733
FILE ID=node92/2057854-1247694233
PBS_JOBID= 9521135
Free space on /tmp= 66304 MiB

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

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

MD5SUM BENCH= f8515fe51afe0fd2f188b8c24fadcade
RANDOM SEED=2108945993

node92.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.216
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.216
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:       1181960 kB
Buffers:         72312 kB
Cached:         708804 kB
SwapCached:          0 kB
Active:         215556 kB
Inactive:       584572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1181960 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3604 kB
Writeback:           0 kB
Mapped:          30424 kB
Slab:            59252 kB
Committed_AS:   474952 kB
PageTables:       1828 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= 66304 MiB
End job on node92 at 2009-07-15 23:59:34