Trace number 2089336

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.2UNSAT 1692.82 1695.33

DiagnosticValue
ASSIGNMENTS279907

General information on the benchmark

Namecsp/tightness0.5/
normalized-rand-2-40-25-180-500-98_ext.xml
MD5SUM63243f6b4ae10883772189e920e106e8
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 benchmark4.30734
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
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.18/0.22	c Seed is 1355287431
0.18/0.22	c Constructing HOME/instance-2089336-1247730020.xml  with 4500 constraints
0.18/0.22	c Solving 279907 backtracks 22 restarts
1692.77/1695.32	s UNSATISFIABLE
1692.77/1695.32	d ASSIGNMENTS 279907

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-2089336-1247730020/watcher-2089336-1247730020 -o /tmp/evaluation-result-2089336-1247730020/solver-2089336-1247730020 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1355287431 HOME/instance-2089336-1247730020.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.02 2.06 4/81 14189
/proc/meminfo: memFree=1536728/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=5356 CPUtime=0
/proc/14189/stat : 14189 (pcssolve) R 14187 14189 13638 0 -1 4194304 326 317 0 0 0 0 0 0 16 0 1 0 60066003 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 269930261151 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14189/statm: 1339 242 201 169 0 50 0
[pid=14192] ppid=14189 vsize=0 CPUtime=0
/proc/14192/stat : 14192 (fgrep) Z 14189 14189 13638 0 -1 4194316 157 0 0 0 0 0 0 0 16 0 1 0 60066004 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14192/statm: 0 0 0 0 0 0 0
[pid=14193] ppid=14189 vsize=5356 CPUtime=0
/proc/14193/stat : 14193 (pcssolve) R 14189 14189 13638 0 -1 4194368 19 0 0 0 0 0 0 0 16 0 1 0 60066004 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 269930429029 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14193/statm: 1339 243 202 169 0 50 0

[startup+0.0546399 s]
/proc/loadavg: 2.00 2.02 2.06 4/81 14189
/proc/meminfo: memFree=1536728/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=5044 CPUtime=0.04
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 969 822 0 0 4 0 0 0 18 0 1 0 60066003 5165056 578 996147200 134512640 135095119 4294956304 18446744073709551615 4158847324 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 1261 578 364 142 0 215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5044

[startup+0.102643 s]
/proc/loadavg: 2.00 2.02 2.06 4/81 14189
/proc/meminfo: memFree=1536728/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=5840 CPUtime=0.08
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 1188 822 0 0 8 0 0 0 18 0 1 0 60066003 5980160 797 996147200 134512640 135095119 4294956304 18446744073709551615 134987553 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 1460 797 364 142 0 414 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5840

[startup+0.301667 s]
/proc/loadavg: 2.00 2.02 2.06 4/81 14189
/proc/meminfo: memFree=1536728/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=7056 CPUtime=0.28
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 1501 822 0 0 28 0 0 0 19 0 1 0 60066003 7225344 1077 996147200 134512640 135095119 4294956304 18446744073709551615 134638335 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 1764 1077 378 142 0 718 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7056

[startup+0.701714 s]
/proc/loadavg: 2.00 2.02 2.06 4/81 14189
/proc/meminfo: memFree=1536728/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=7056 CPUtime=0.68
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 1511 822 0 0 68 0 0 0 24 0 1 0 60066003 7225344 1087 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 1764 1087 378 142 0 718 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7056

[startup+1.50281 s]
/proc/loadavg: 2.00 2.02 2.06 3/82 14195
/proc/meminfo: memFree=1533584/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=7056 CPUtime=1.48
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 1528 822 0 0 148 0 0 0 25 0 1 0 60066003 7225344 1104 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 1764 1104 378 142 0 718 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7056

[startup+3.102 s]
/proc/loadavg: 2.00 2.02 2.06 3/82 14195
/proc/meminfo: memFree=1533648/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=7824 CPUtime=3.08
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 1697 822 0 0 308 0 0 0 25 0 1 0 60066003 8011776 1208 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 1956 1208 378 142 0 910 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7824

[startup+6.30137 s]
/proc/loadavg: 2.00 2.02 2.06 3/82 14195
/proc/meminfo: memFree=1532240/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=10924 CPUtime=6.28
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 2472 822 0 0 628 0 0 0 25 0 1 0 60066003 11186176 1726 996147200 134512640 135095119 4294956304 18446744073709551615 134636912 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 2731 1726 378 142 0 1685 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10924

[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.06 3/82 14195
/proc/meminfo: memFree=1529808/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=11188 CPUtime=12.67
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 2783 822 0 0 1267 0 0 0 25 0 1 0 60066003 11456512 2037 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 2797 2037 378 142 0 1751 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11188

[startup+25.5016 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 14195
/proc/meminfo: memFree=1525776/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=16760 CPUtime=25.47
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 4549 822 0 0 2545 2 0 0 25 0 1 0 60066003 17162240 3033 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 4190 3033 378 142 0 3144 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 16760

[startup+51.1016 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 14195
/proc/meminfo: memFree=1522448/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=22420 CPUtime=51.06
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 6410 822 0 0 5103 3 0 0 25 0 1 0 60066003 22958080 3869 996147200 134512640 135095119 4294956304 18446744073709551615 134638356 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 5605 3869 378 142 0 4559 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22420

[startup+102.307 s]
/proc/loadavg: 2.11 2.04 2.06 3/82 14195
/proc/meminfo: memFree=1514320/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=29872 CPUtime=102.25
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 8918 822 0 0 10219 6 0 0 25 0 1 0 60066003 30588928 5864 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 7468 5864 378 142 0 6422 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29872

[startup+162.302 s]
/proc/loadavg: 2.04 2.03 2.05 3/82 14195
/proc/meminfo: memFree=1511248/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=30532 CPUtime=162.21
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 9675 822 0 0 16214 7 0 0 25 0 1 0 60066003 31264768 6621 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 7633 6621 378 142 0 6587 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 30532

[startup+222.302 s]
/proc/loadavg: 2.01 2.02 2.05 3/82 14195
/proc/meminfo: memFree=1506960/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=41088 CPUtime=222.19
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 12778 822 0 0 22209 10 0 0 25 0 1 0 60066003 42074112 7675 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 10272 7675 378 142 0 9226 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 41088

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.04 3/82 14195
/proc/meminfo: memFree=1503056/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=43184 CPUtime=282.17
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 13761 822 0 0 28206 11 0 0 25 0 1 0 60066003 44220416 8658 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 10796 8658 378 142 0 9750 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 43184

[startup+342.302 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 14195
/proc/meminfo: memFree=1499280/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=45152 CPUtime=342.14
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 14675 822 0 0 34202 12 0 0 25 0 1 0 60066003 46235648 9572 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 11288 9572 378 142 0 10242 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 45152

[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.03 3/82 14195
/proc/meminfo: memFree=1490192/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=56632 CPUtime=402.11
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 17926 822 0 0 40198 13 0 0 25 0 1 0 60066003 57991168 11798 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 14158 11798 378 142 0 13112 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 56632

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 14195
/proc/meminfo: memFree=1488400/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=56632 CPUtime=462.1
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 18273 822 0 0 46196 14 0 0 25 0 1 0 60066003 57991168 12145 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 14158 12145 378 142 0 13112 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 56632

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 14195
/proc/meminfo: memFree=1486800/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=56632 CPUtime=522.06
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 18608 822 0 0 52192 14 0 0 25 0 1 0 60066003 57991168 12480 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 14158 12480 378 142 0 13112 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 56632

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 14195
/proc/meminfo: memFree=1485392/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=73016 CPUtime=582.05
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 23024 822 0 0 58188 17 0 0 25 0 1 0 60066003 74768384 12799 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 18254 12799 378 142 0 17208 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 73016

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14195
/proc/meminfo: memFree=1482704/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=74204 CPUtime=642.02

################
# More data... #
################

/proc/meminfo: memFree=1465040/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=82764 CPUtime=1061.85
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 27679 822 0 0 106161 24 0 0 25 0 1 0 60066003 84750336 17454 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 20691 17454 378 142 0 19645 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 82764

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 14197
/proc/meminfo: memFree=1462480/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=84084 CPUtime=1121.83
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 28261 822 0 0 112158 25 0 0 25 0 1 0 60066003 86102016 18036 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 21021 18036 378 142 0 19975 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 84084

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 14197
/proc/meminfo: memFree=1459984/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=85140 CPUtime=1181.81
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 28806 822 0 0 118155 26 0 0 25 0 1 0 60066003 87183360 18581 996147200 134512640 135095119 4294956304 18446744073709551615 134643043 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 21285 18581 378 142 0 20239 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 85140

[startup+1242.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/73 14236
/proc/meminfo: memFree=1501656/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=86324 CPUtime=1241.62
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 29322 822 0 0 124134 28 0 0 25 0 1 0 60066003 88395776 19097 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 21581 19097 378 142 0 20535 0
Current children cumulated CPU time (s) 1241.62
Current children cumulated vsize (KiB) 86324

[startup+1302.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/73 14236
/proc/meminfo: memFree=1493472/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=87376 CPUtime=1301.38
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 29840 822 0 0 130110 28 0 0 25 0 1 0 60066003 89473024 19615 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 21844 19615 378 142 0 20798 0
Current children cumulated CPU time (s) 1301.38
Current children cumulated vsize (KiB) 87376

[startup+1362.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 14236
/proc/meminfo: memFree=1485280/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=88568 CPUtime=1361.14
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 30361 822 0 0 136085 29 0 0 25 0 1 0 60066003 90693632 20136 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 22142 20136 378 142 0 21096 0
Current children cumulated CPU time (s) 1361.14
Current children cumulated vsize (KiB) 88568

[startup+1422.31 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 14236
/proc/meminfo: memFree=1477280/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=89484 CPUtime=1420.89
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 30826 822 0 0 142060 29 0 0 25 0 1 0 60066003 91631616 20601 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 22371 20601 378 142 0 21325 0
Current children cumulated CPU time (s) 1420.89
Current children cumulated vsize (KiB) 89484

[startup+1482.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 14236
/proc/meminfo: memFree=1456288/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1480.64
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 36670 822 0 0 148033 31 0 0 25 0 1 0 60066003 114614272 24396 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 27982 24396 378 142 0 26936 0
Current children cumulated CPU time (s) 1480.64
Current children cumulated vsize (KiB) 111928

[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/73 14236
/proc/meminfo: memFree=1450280/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1540.41
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 36875 822 0 0 154009 32 0 0 25 0 1 0 60066003 114614272 24601 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14189/statm: 27982 24601 378 142 0 26936 0
Current children cumulated CPU time (s) 1540.41
Current children cumulated vsize (KiB) 111928

[startup+1602.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1469328/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1600.13
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37089 822 0 0 159981 32 0 0 25 0 1 0 60066003 114614272 24815 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 24815 378 142 0 26936 0
Current children cumulated CPU time (s) 1600.13
Current children cumulated vsize (KiB) 111928

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1468432/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1659.89
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37292 822 0 0 165957 32 0 0 25 0 1 0 60066003 114614272 25018 996147200 134512640 135095119 4294956304 18446744073709551615 134643032 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 25018 378 142 0 26936 0
Current children cumulated CPU time (s) 1659.89
Current children cumulated vsize (KiB) 111928

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

[startup+1663.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1468368/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1661.49
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37297 822 0 0 166117 32 0 0 25 0 1 0 60066003 114614272 25023 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 25023 378 142 0 26936 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 111928

[startup+1676.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1468240/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1674.24
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37339 822 0 0 167391 33 0 0 25 0 1 0 60066003 114614272 25065 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 25065 378 142 0 26936 0
Current children cumulated CPU time (s) 1674.24
Current children cumulated vsize (KiB) 111928

[startup+1683.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1468112/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1680.62
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37360 822 0 0 168029 33 0 0 25 0 1 0 60066003 114614272 25086 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 25086 378 142 0 26936 0
Current children cumulated CPU time (s) 1680.62
Current children cumulated vsize (KiB) 111928

[startup+1689.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1468048/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1687
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37380 822 0 0 168667 33 0 0 25 0 1 0 60066003 114614272 25106 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 25106 378 142 0 26936 0
Current children cumulated CPU time (s) 1687
Current children cumulated vsize (KiB) 111928

[startup+1692.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1468048/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1690.18
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37389 822 0 0 168985 33 0 0 25 0 1 0 60066003 114614272 25115 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 25115 378 142 0 26936 0
Current children cumulated CPU time (s) 1690.18
Current children cumulated vsize (KiB) 111928

[startup+1694.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1467984/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=111928 CPUtime=1691.77
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37394 822 0 0 169144 33 0 0 25 0 1 0 60066003 114614272 25120 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 27982 25120 378 142 0 26936 0
Current children cumulated CPU time (s) 1691.77
Current children cumulated vsize (KiB) 111928

[startup+1695.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1467984/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=95540 CPUtime=1692.57
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37396 822 0 0 169224 33 0 0 25 0 1 0 60066003 97832960 22900 996147200 134512640 135095119 4294956304 18446744073709551615 9175109 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 23885 22900 378 142 0 22839 0
Current children cumulated CPU time (s) 1692.57
Current children cumulated vsize (KiB) 95540

[startup+1695.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 14277
/proc/meminfo: memFree=1467984/2055920 swapFree=4192812/4192956
[pid=14189] ppid=14187 vsize=81544 CPUtime=1692.77
/proc/14189/stat : 14189 (pcs.small) R 14187 14189 13638 0 -1 4194304 37396 822 0 0 169244 33 0 0 25 0 1 0 60066003 83501056 19401 996147200 134512640 135095119 4294956304 18446744073709551615 9175155 0 0 4096 0 0 0 0 17 1 0 0
/proc/14189/statm: 20386 19401 378 142 0 19340 0
Current children cumulated CPU time (s) 1692.77
Current children cumulated vsize (KiB) 81544

Child status: 0
Real time (s): 1695.33
CPU time (s): 1692.82
CPU user time (s): 1692.46
CPU system time (s): 0.353946
CPU usage (%): 99.8517
Max. virtual memory (cumulated for all children) (KiB): 118804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1692.46
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38221
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= 19
involuntary context switches= 34493

runsolver used 1.34979 second user time and 4.84726 second system time

The end

Launcher Data 

Begin job on node53 at 2009-07-16 09:40:20
IDJOB=2089336
IDBENCH=59458
IDSOLVER=733
FILE ID=node53/2089336-1247730020
PBS_JOBID= 9521513
Free space on /tmp= 66044 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-98_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089336-1247730020/watcher-2089336-1247730020 -o /tmp/evaluation-result-2089336-1247730020/solver-2089336-1247730020 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1355287431 HOME/instance-2089336-1247730020.xml

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

MD5SUM BENCH= 63243f6b4ae10883772189e920e106e8
RANDOM SEED=1355287431

node53.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.232
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.232
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:       1537144 kB
Buffers:         70932 kB
Cached:         316328 kB
SwapCached:          0 kB
Active:         140544 kB
Inactive:       309556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1537144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2020 kB
Writeback:           0 kB
Mapped:          81112 kB
Slab:            53884 kB
Committed_AS:   599008 kB
PageTables:       1900 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= 66048 MiB
End job on node53 at 2009-07-16 10:08:35