Trace number 2091272

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? (TO) 1800.04 1808.42

General information on the benchmark

Namecsp/rand-2-50-23/
normalized-rand-2-50-23-587-230-44_ext.xml
MD5SUM846bff61e6146f29b11157f7cf35351d
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints477
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension477
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.21	c Seed is 962293453
0.17/0.21	c Constructing HOME/instance-2091272-1247732201.xml  with 10942 constraints
0.17/0.21	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2091272-1247732201/watcher-2091272-1247732201 -o /tmp/evaluation-result-2091272-1247732201/solver-2091272-1247732201 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 962293453 HOME/instance-2091272-1247732201.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: 1.99 2.01 2.00 4/72 17201
/proc/meminfo: memFree=1545368/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=680 CPUtime=0
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 400 822 0 0 0 0 0 0 25 0 1 0 60284228 696320 26 996147200 134512640 135095119 4294956304 18446744073709551615 3531556 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 170 26 20 142 0 3 0

[startup+0.200041 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 17201
/proc/meminfo: memFree=1545368/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=8112 CPUtime=0.17
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 1804 822 0 0 17 0 0 0 18 0 1 0 60284228 8306688 1315 996147200 134512640 135095119 4294956304 18446744073709551615 134839429 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2028 1315 377 142 0 982 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 8112

[startup+0.301048 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 17201
/proc/meminfo: memFree=1545368/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=8112 CPUtime=0.27
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 1806 822 0 0 27 0 0 0 19 0 1 0 60284228 8306688 1317 996147200 134512640 135095119 4294956304 18446744073709551615 134840294 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2028 1317 378 142 0 982 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8112

[startup+0.401057 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 17201
/proc/meminfo: memFree=1545368/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=8112 CPUtime=0.37
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 1806 822 0 0 37 0 0 0 20 0 1 0 60284228 8306688 1317 996147200 134512640 135095119 4294956304 18446744073709551615 134641295 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2028 1317 378 142 0 982 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 8112

[startup+0.701086 s]
/proc/loadavg: 1.99 2.01 2.00 4/72 17201
/proc/meminfo: memFree=1545368/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=8112 CPUtime=0.67
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 1808 822 0 0 67 0 0 0 23 0 1 0 60284228 8306688 1319 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2028 1319 378 142 0 982 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8112

[startup+1.50116 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 17207
/proc/meminfo: memFree=1541520/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=8112 CPUtime=1.46
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 1814 822 0 0 146 0 0 0 25 0 1 0 60284228 8306688 1325 996147200 134512640 135095119 4294956304 18446744073709551615 134837943 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2028 1325 378 142 0 982 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8112

[startup+3.10131 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 17207
/proc/meminfo: memFree=1541328/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=8112 CPUtime=3.05
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 1824 822 0 0 305 0 0 0 25 0 1 0 60284228 8306688 1335 996147200 134512640 135095119 4294956304 18446744073709551615 3964708 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2028 1335 378 142 0 982 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8112

[startup+6.30161 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 17207
/proc/meminfo: memFree=1540944/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=8112 CPUtime=6.24
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 1845 822 0 0 624 0 0 0 25 0 1 0 60284228 8306688 1356 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2028 1356 378 142 0 982 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8112

[startup+12.7012 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 17207
/proc/meminfo: memFree=1539856/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=9652 CPUtime=12.61
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 2154 822 0 0 1260 1 0 0 25 0 1 0 60284228 9883648 1536 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2413 1536 378 142 0 1367 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 9652

[startup+25.5054 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 17207
/proc/meminfo: memFree=1538128/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=11204 CPUtime=25.35
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 2734 822 0 0 2534 1 0 0 25 0 1 0 60284228 11472896 1859 996147200 134512640 135095119 4294956304 18446744073709551615 134636912 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 2801 1859 378 142 0 1755 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 11204

[startup+51.1028 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 17207
/proc/meminfo: memFree=1528464/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=14204 CPUtime=50.83
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 3727 822 0 0 5081 2 0 0 25 0 1 0 60284228 14544896 2595 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 3551 2595 378 142 0 2505 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 14204

[startup+102.303 s]
/proc/loadavg: 2.14 2.05 2.01 3/73 17207
/proc/meminfo: memFree=1523728/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=18364 CPUtime=101.78
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 5194 822 0 0 10174 4 0 0 25 0 1 0 60284228 18804736 3549 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 4591 3549 378 142 0 3545 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 18364

[startup+162.302 s]
/proc/loadavg: 2.14 2.06 2.01 3/73 17207
/proc/meminfo: memFree=1516304/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=28860 CPUtime=161.49
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 8232 822 0 0 16143 6 0 0 25 0 1 0 60284228 29552640 5049 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 7215 5049 378 142 0 6169 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 28860

[startup+222.302 s]
/proc/loadavg: 2.05 2.05 2.01 3/73 17207
/proc/meminfo: memFree=1514000/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=28992 CPUtime=221.22
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 8590 822 0 0 22115 7 0 0 25 0 1 0 60284228 29687808 5407 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 7248 5407 378 142 0 6202 0
Current children cumulated CPU time (s) 221.22
Current children cumulated vsize (KiB) 28992

[startup+282.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 17207
/proc/meminfo: memFree=1509776/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=30572 CPUtime=280.92
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 9318 822 0 0 28084 8 0 0 25 0 1 0 60284228 31305728 6135 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 7643 6135 378 142 0 6597 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 30572

[startup+342.305 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 17207
/proc/meminfo: memFree=1504848/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=32288 CPUtime=340.63
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 10020 822 0 0 34054 9 0 0 25 0 1 0 60284228 33062912 6837 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 8072 6837 378 142 0 7026 0
Current children cumulated CPU time (s) 340.63
Current children cumulated vsize (KiB) 32288

[startup+402.302 s]
/proc/loadavg: 2.05 2.05 2.00 3/73 17207
/proc/meminfo: memFree=1500048/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=33872 CPUtime=400.35
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 10682 822 0 0 40024 11 0 0 25 0 1 0 60284228 34684928 7499 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 8468 7499 378 142 0 7422 0
Current children cumulated CPU time (s) 400.35
Current children cumulated vsize (KiB) 33872

[startup+462.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/73 17207
/proc/meminfo: memFree=1495440/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=43516 CPUtime=460.06
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 13357 822 0 0 45993 13 0 0 25 0 1 0 60284228 44560384 8125 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 10879 8125 378 142 0 9833 0
Current children cumulated CPU time (s) 460.06
Current children cumulated vsize (KiB) 43516

[startup+522.302 s]
/proc/loadavg: 2.23 2.10 2.02 3/73 17207
/proc/meminfo: memFree=1491024/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=44968 CPUtime=519.77
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 13980 822 0 0 51963 14 0 0 25 0 1 0 60284228 46047232 8748 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 11242 8748 378 142 0 10196 0
Current children cumulated CPU time (s) 519.77
Current children cumulated vsize (KiB) 44968

[startup+582.302 s]
/proc/loadavg: 2.08 2.08 2.01 3/73 17207
/proc/meminfo: memFree=1481808/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=55268 CPUtime=579.48
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 16789 822 0 0 57932 16 0 0 25 0 1 0 60284228 56594432 10532 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 13817 10532 378 142 0 12771 0
Current children cumulated CPU time (s) 579.48
Current children cumulated vsize (KiB) 55268

[startup+642.301 s]
/proc/loadavg: 2.03 2.06 2.00 3/73 17207
/proc/meminfo: memFree=1478864/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=55268 CPUtime=639.19
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 17035 822 0 0 63903 16 0 0 25 0 1 0 60284228 56594432 10778 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 13817 10778 378 142 0 12771 0
Current children cumulated CPU time (s) 639.19
Current children cumulated vsize (KiB) 55268

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 17207
/proc/meminfo: memFree=1469264/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=56192 CPUtime=818.33
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 17970 822 0 0 81816 17 0 0 25 0 1 0 60284228 57540608 11713 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 14048 11713 378 142 0 13002 0
Current children cumulated CPU time (s) 818.33
Current children cumulated vsize (KiB) 56192

[startup+882.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 17207
/proc/meminfo: memFree=1465488/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=57248 CPUtime=878.05
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 18449 822 0 0 87787 18 0 0 25 0 1 0 60284228 58621952 12192 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 14312 12192 378 142 0 13266 0
Current children cumulated CPU time (s) 878.05
Current children cumulated vsize (KiB) 57248

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 17207
/proc/meminfo: memFree=1461648/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=58436 CPUtime=937.75
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 18958 822 0 0 93757 18 0 0 25 0 1 0 60284228 59838464 12701 996147200 134512640 135095119 4294956304 18446744073709551615 134576611 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 14609 12701 378 142 0 13563 0
Current children cumulated CPU time (s) 937.75
Current children cumulated vsize (KiB) 58436

[startup+1002.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17207
/proc/meminfo: memFree=1457744/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=59624 CPUtime=997.47
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 19460 822 0 0 99728 19 0 0 25 0 1 0 60284228 61054976 13203 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 14906 13203 378 142 0 13860 0
Current children cumulated CPU time (s) 997.47
Current children cumulated vsize (KiB) 59624

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17207
/proc/meminfo: memFree=1454160/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=60680 CPUtime=1057.18
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 19927 822 0 0 105698 20 0 0 25 0 1 0 60284228 62136320 13670 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 15170 13670 378 142 0 14124 0
Current children cumulated CPU time (s) 1057.18
Current children cumulated vsize (KiB) 60680

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17207
/proc/meminfo: memFree=1450512/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=61736 CPUtime=1116.9
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 20411 822 0 0 111669 21 0 0 25 0 1 0 60284228 63217664 14154 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 15434 14154 378 142 0 14388 0
Current children cumulated CPU time (s) 1116.9
Current children cumulated vsize (KiB) 61736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17207
/proc/meminfo: memFree=1433808/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=62928 CPUtime=1176.61
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 20889 822 0 0 117640 21 0 0 25 0 1 0 60284228 64438272 14632 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 15732 14632 378 142 0 14686 0
Current children cumulated CPU time (s) 1176.61
Current children cumulated vsize (KiB) 62928

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17207
/proc/meminfo: memFree=1430992/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=80368 CPUtime=1236.31
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 25458 822 0 0 123608 23 0 0 25 0 1 0 60284228 82296832 15104 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 20092 15104 378 142 0 19046 0
Current children cumulated CPU time (s) 1236.31
Current children cumulated vsize (KiB) 80368

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17207
/proc/meminfo: memFree=1428496/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=81424 CPUtime=1296.03
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 25916 822 0 0 129578 25 0 0 25 0 1 0 60284228 83378176 15562 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/17201/statm: 20356 15562 378 142 0 19310 0
Current children cumulated CPU time (s) 1296.03
Current children cumulated vsize (KiB) 81424

[startup+1362.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 17304
/proc/meminfo: memFree=1498952/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=82484 CPUtime=1355.77
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 26400 822 0 0 135550 27 0 0 25 0 1 0 60284228 84463616 16046 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 20621 16046 378 142 0 19575 0
Current children cumulated CPU time (s) 1355.77
Current children cumulated vsize (KiB) 82484

[startup+1422.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 17304
/proc/meminfo: memFree=1480456/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=83672 CPUtime=1415.54
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 26883 822 0 0 141526 28 0 0 25 0 1 0 60284228 85680128 16529 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 20918 16529 378 142 0 19872 0
Current children cumulated CPU time (s) 1415.54
Current children cumulated vsize (KiB) 83672

[startup+1482.3 s]
/proc/loadavg: 2.07 2.00 2.00 4/83 17345
/proc/meminfo: memFree=1486520/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=84728 CPUtime=1475.29
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 27343 822 0 0 147500 29 0 0 25 0 1 0 60284228 86761472 16989 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 21182 16989 378 142 0 20136 0
Current children cumulated CPU time (s) 1475.29
Current children cumulated vsize (KiB) 84728

[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 17544
/proc/meminfo: memFree=1483832/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=85788 CPUtime=1534.99
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 27807 822 0 0 153466 33 0 0 25 0 1 0 60284228 87846912 17453 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 21447 17453 378 142 0 20401 0
Current children cumulated CPU time (s) 1534.99
Current children cumulated vsize (KiB) 85788

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 17628
/proc/meminfo: memFree=1481208/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=86844 CPUtime=1594.74
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 28268 822 0 0 159439 35 0 0 25 0 1 0 60284228 88928256 17914 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 21711 17914 378 142 0 20665 0
Current children cumulated CPU time (s) 1594.74
Current children cumulated vsize (KiB) 86844

[startup+1662.31 s]
/proc/loadavg: 2.17 2.04 2.01 3/83 17670
/proc/meminfo: memFree=1479160/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=87768 CPUtime=1654.51
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 28717 822 0 0 165414 37 0 0 25 0 1 0 60284228 89874432 18363 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 21942 18363 378 142 0 20896 0
Current children cumulated CPU time (s) 1654.51
Current children cumulated vsize (KiB) 87768

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/73 17702
/proc/meminfo: memFree=1482376/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=109556 CPUtime=1714.25
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 34335 822 0 0 171385 40 0 0 25 0 1 0 60284228 112185344 21932 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 27389 21932 378 142 0 26343 0
Current children cumulated CPU time (s) 1714.25
Current children cumulated vsize (KiB) 109556

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.01 4/83 17743
/proc/meminfo: memFree=1464184/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=109556 CPUtime=1774.01
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 34520 822 0 0 177359 42 0 0 25 0 1 0 60284228 112185344 22117 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 27389 22117 378 142 0 26343 0
Current children cumulated CPU time (s) 1774.01
Current children cumulated vsize (KiB) 109556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.4 s]
/proc/loadavg: 2.05 2.03 2.00 4/82 17743
/proc/meminfo: memFree=1463800/2055920 swapFree=4192812/4192956
[pid=17201] ppid=17199 vsize=109556 CPUtime=1800
/proc/17201/stat : 17201 (pcs.small) R 17199 17201 15544 0 -1 4194304 34597 822 0 0 179958 42 0 0 25 0 1 0 60284228 112185344 22194 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/17201/statm: 27389 22194 378 142 0 26343 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 109556

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.42
CPU time (s): 1800.04
CPU user time (s): 1799.59
CPU system time (s): 0.447931
CPU usage (%): 99.5366
Max. virtual memory (cumulated for all children) (KiB): 116432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.447931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35419
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= 21
involuntary context switches= 21785

runsolver used 1.62775 second user time and 4.96324 second system time

The end

Launcher Data 

Begin job on node48 at 2009-07-16 10:16:41
IDJOB=2091272
IDBENCH=60026
IDSOLVER=733
FILE ID=node48/2091272-1247732201
PBS_JOBID= 9521509
Free space on /tmp= 66372 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-44_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091272-1247732201/watcher-2091272-1247732201 -o /tmp/evaluation-result-2091272-1247732201/solver-2091272-1247732201 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 962293453 HOME/instance-2091272-1247732201.xml

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

MD5SUM BENCH= 846bff61e6146f29b11157f7cf35351d
RANDOM SEED=962293453

node48.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.237
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.237
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:       1545848 kB
Buffers:         83420 kB
Cached:         301732 kB
SwapCached:          0 kB
Active:         128644 kB
Inactive:       305208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1545848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2128 kB
Writeback:           0 kB
Mapped:          60184 kB
Slab:            61560 kB
Committed_AS:   606996 kB
PageTables:       1784 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= 66368 MiB
End job on node48 at 2009-07-16 10:46:51