Trace number 2083628

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? (TO) 1800.12 1810.06

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-6.xml
MD5SUM5437bff566491bef6c75b023202900b4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark138.089
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints3003
Maximum constraint arity2
Maximum domain size700
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3003
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 1529522788
0.00/0.02	c Constructing HOME/instance-2083628-1247723422.xml  with 18672 constraints
0.28/0.34	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-2083628-1247723422/watcher-2083628-1247723422 -o /tmp/evaluation-result-2083628-1247723422/solver-2083628-1247723422 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1529522788 HOME/instance-2083628-1247723422.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.85 1.97 1.99 4/72 18568
/proc/meminfo: memFree=1550952/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=5356 CPUtime=0
/proc/18568/stat : 18568 (pcssolve) R 18566 18568 18531 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59409738 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18568/statm: 1339 241 200 169 0 50 0
[pid=18569] ppid=18568 vsize=100 CPUtime=0
/proc/18569/stat : 18569 (fgrep) R 18568 18568 18531 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 59409738 102400 3 996147200 0 0 548682069726 18446744073709551615 233632754983 0 0 4096 0 0 0 0 17 1 0 0
/proc/18569/statm: 25 3 0 0 0 2 0
[pid=18570] ppid=18568 vsize=5356 CPUtime=0
/proc/18570/stat : 18570 (pcssolve) R 18568 18568 18531 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59409738 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18570/statm: 1339 241 200 169 0 50 0

[startup+0.0767081 s]
/proc/loadavg: 1.85 1.97 1.99 4/72 18568
/proc/meminfo: memFree=1550952/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=6024 CPUtime=0.05
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 1150 662 0 0 5 0 0 0 23 0 1 0 59409738 6168576 781 996147200 134512640 135215973 4294956304 18446744073709551615 134524596 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 1506 781 386 171 0 431 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6024

[startup+0.101711 s]
/proc/loadavg: 1.85 1.97 1.99 4/72 18568
/proc/meminfo: memFree=1550952/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=6940 CPUtime=0.07
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 1350 662 0 0 7 0 0 0 23 0 1 0 59409738 7106560 940 996147200 134512640 135215973 4294956304 18446744073709551615 4159732868 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 1735 940 386 171 0 660 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6940

[startup+0.301748 s]
/proc/loadavg: 1.85 1.97 1.99 4/72 18568
/proc/meminfo: memFree=1550952/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=11772 CPUtime=0.28
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 2877 662 0 0 27 1 0 0 25 0 1 0 59409738 12054528 1956 996147200 134512640 135215973 4294956304 18446744073709551615 134761818 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 2943 1956 386 171 0 1868 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11772

[startup+0.701803 s]
/proc/loadavg: 1.85 1.97 1.99 4/72 18568
/proc/meminfo: memFree=1550952/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=14556 CPUtime=0.67
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 4029 662 0 0 66 1 0 0 25 0 1 0 59409738 14905344 2648 996147200 134512640 135215973 4294956304 18446744073709551615 4158960644 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 3639 2648 410 171 0 2564 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14556

[startup+1.50193 s]
/proc/loadavg: 1.85 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1540768/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=14736 CPUtime=1.46
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 4050 662 0 0 145 1 0 0 25 0 1 0 59409738 15089664 2669 996147200 134512640 135215973 4294956304 18446744073709551615 4158960048 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 3684 2669 410 171 0 2609 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 14736

[startup+3.10119 s]
/proc/loadavg: 1.86 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1539744/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=14844 CPUtime=3.05
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 4103 662 0 0 304 1 0 0 25 0 1 0 59409738 15200256 2722 996147200 134512640 135215973 4294956304 18446744073709551615 134600884 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 3711 2722 410 171 0 2636 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 14844

[startup+6.30171 s]
/proc/loadavg: 1.86 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1539424/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=15580 CPUtime=6.23
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 4330 662 0 0 621 2 0 0 25 0 1 0 59409738 15953920 2896 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 3895 2896 410 171 0 2820 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 15580

[startup+12.7027 s]
/proc/loadavg: 1.88 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1537952/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=16128 CPUtime=12.58
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 4487 662 0 0 1256 2 0 0 25 0 1 0 59409738 16515072 2948 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 4032 2948 410 171 0 2957 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 16128

[startup+25.5018 s]
/proc/loadavg: 1.90 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1534816/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=17884 CPUtime=25.28
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 5088 662 0 0 2526 2 0 0 25 0 1 0 59409738 18313216 3340 996147200 134512640 135215973 4294956304 18446744073709551615 134597644 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 4471 3340 410 171 0 3396 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 17884

[startup+51.102 s]
/proc/loadavg: 1.93 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1527520/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=21712 CPUtime=50.68
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 6323 662 0 0 5065 3 0 0 25 0 1 0 59409738 22233088 4158 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 5428 4158 413 171 0 4353 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 21712

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1502112/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=32560 CPUtime=101.49
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 9037 662 0 0 10145 4 0 0 25 0 1 0 59409738 33341440 6872 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 8140 6872 413 171 0 7065 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 32560

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1481312/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=49692 CPUtime=161.03
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 13328 662 0 0 16098 5 0 0 25 0 1 0 59409738 50884608 11163 996147200 134512640 135215973 4294956304 18446744073709551615 134591780 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 12423 11163 413 171 0 11348 0
Current children cumulated CPU time (s) 161.03
Current children cumulated vsize (KiB) 49692

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1461280/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=63920 CPUtime=220.58
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 16891 662 0 0 22051 7 0 0 25 0 1 0 59409738 65454080 14726 996147200 134512640 135215973 4294956304 18446744073709551615 134589840 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 15980 14726 413 171 0 14905 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 63920

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1427040/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=76584 CPUtime=280.12
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 20067 662 0 0 28004 8 0 0 25 0 1 0 59409738 78422016 17902 996147200 134512640 135215973 4294956304 18446744073709551615 134585878 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 19146 17902 413 171 0 18071 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 76584

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1408800/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=82460 CPUtime=339.66
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 21526 662 0 0 33958 8 0 0 25 0 1 0 59409738 84439040 19361 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 20615 19361 413 171 0 19540 0
Current children cumulated CPU time (s) 339.66
Current children cumulated vsize (KiB) 82460

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1378528/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=99988 CPUtime=399.21
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 25913 662 0 0 39911 10 0 0 25 0 1 0 59409738 102387712 23748 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 24997 23748 413 171 0 23922 0
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (KiB) 99988

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1360544/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=104116 CPUtime=458.75
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 26954 662 0 0 45865 10 0 0 25 0 1 0 59409738 106614784 24789 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 26029 24789 413 171 0 24954 0
Current children cumulated CPU time (s) 458.75
Current children cumulated vsize (KiB) 104116

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1330080/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=122308 CPUtime=518.3
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 31507 662 0 0 51818 12 0 0 25 0 1 0 59409738 125243392 29342 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 30577 29342 413 171 0 29502 0
Current children cumulated CPU time (s) 518.3
Current children cumulated vsize (KiB) 122308

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18573
/proc/meminfo: memFree=1306848/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=131980 CPUtime=577.84
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 33945 662 0 0 57772 12 0 0 25 0 1 0 59409738 135147520 31780 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 32995 31780 413 171 0 31920 0
Current children cumulated CPU time (s) 577.84
Current children cumulated vsize (KiB) 131980

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1286864/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=138576 CPUtime=637.38

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1216856/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=182152 CPUtime=816
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 46528 662 0 0 81584 16 0 0 25 0 1 0 59409738 186523648 44363 996147200 134512640 135215973 4294956304 18446744073709551615 135095049 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 45538 44363 413 171 0 44463 0
Current children cumulated CPU time (s) 816
Current children cumulated vsize (KiB) 182152

[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1195992/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=195196 CPUtime=875.55
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 49793 662 0 0 87538 17 0 0 25 0 1 0 59409738 199880704 47628 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 48799 47628 413 171 0 47724 0
Current children cumulated CPU time (s) 875.55
Current children cumulated vsize (KiB) 195196

[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1175768/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=207468 CPUtime=935.1
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 52985 662 0 0 93492 18 0 0 25 0 1 0 59409738 212447232 50820 996147200 134512640 135215973 4294956304 18446744073709551615 135094448 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 51867 50820 413 171 0 50792 0
Current children cumulated CPU time (s) 935.1
Current children cumulated vsize (KiB) 207468

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1158368/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=216976 CPUtime=994.64
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 55413 662 0 0 99446 18 0 0 25 0 1 0 59409738 222183424 53215 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 54244 53215 413 171 0 53169 0
Current children cumulated CPU time (s) 994.64
Current children cumulated vsize (KiB) 216976

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1139616/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=228836 CPUtime=1054.19
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 58397 662 0 0 105400 19 0 0 25 0 1 0 59409738 234328064 56199 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 57209 56199 413 171 0 56134 0
Current children cumulated CPU time (s) 1054.19
Current children cumulated vsize (KiB) 228836

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1123296/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=238320 CPUtime=1113.73
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 60788 662 0 0 111353 20 0 0 25 0 1 0 59409738 244039680 58590 996147200 134512640 135215973 4294956304 18446744073709551615 134591780 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 59580 58590 413 171 0 58505 0
Current children cumulated CPU time (s) 1113.73
Current children cumulated vsize (KiB) 238320

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1107488/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=247924 CPUtime=1173.27
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 63205 662 0 0 117306 21 0 0 25 0 1 0 59409738 253874176 60942 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 61981 60942 413 171 0 60906 0
Current children cumulated CPU time (s) 1173.27
Current children cumulated vsize (KiB) 247924

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 18579
/proc/meminfo: memFree=1091552/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=257252 CPUtime=1232.81
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 65545 662 0 0 123259 22 0 0 25 0 1 0 59409738 263426048 63282 996147200 134512640 135215973 4294956304 18446744073709551615 134524388 0 0 4096 0 0 0 0 17 1 0 0
/proc/18568/statm: 64313 63282 413 171 0 63238 0
Current children cumulated CPU time (s) 1232.81
Current children cumulated vsize (KiB) 257252

[startup+1302.3 s]
/proc/loadavg: 1.95 1.96 1.98 3/73 18612
/proc/meminfo: memFree=1331040/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=266996 CPUtime=1292.57
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 68007 662 0 0 129234 23 0 0 25 0 1 0 59409738 273403904 65744 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 66749 65744 413 171 0 65674 0
Current children cumulated CPU time (s) 1292.57
Current children cumulated vsize (KiB) 266996

[startup+1362.3 s]
/proc/loadavg: 1.90 1.95 1.98 4/82 18651
/proc/meminfo: memFree=1409752/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=276784 CPUtime=1352.55
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 70459 662 0 0 135230 25 0 0 25 0 1 0 59409738 283426816 68196 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 69196 68196 413 171 0 68121 0
Current children cumulated CPU time (s) 1352.55
Current children cumulated vsize (KiB) 276784

[startup+1422.31 s]
/proc/loadavg: 1.96 1.95 1.98 3/82 18653
/proc/meminfo: memFree=1387472/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=286592 CPUtime=1412.52
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 72933 662 0 0 141226 26 0 0 25 0 1 0 59409738 293470208 70670 996147200 134512640 135215973 4294956304 18446744073709551615 135096364 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 71648 70670 413 171 0 70573 0
Current children cumulated CPU time (s) 1412.52
Current children cumulated vsize (KiB) 286592

[startup+1482.3 s]
/proc/loadavg: 1.98 1.96 1.98 3/82 18653
/proc/meminfo: memFree=1377680/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=296252 CPUtime=1472.49
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 75359 662 0 0 147222 27 0 0 25 0 1 0 59409738 303362048 73096 996147200 134512640 135215973 4294956304 18446744073709551615 134971035 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 74063 73096 413 171 0 72988 0
Current children cumulated CPU time (s) 1472.49
Current children cumulated vsize (KiB) 296252

[startup+1542.3 s]
/proc/loadavg: 1.99 1.96 1.98 3/82 18653
/proc/meminfo: memFree=1368016/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=306304 CPUtime=1532.46
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 77890 662 0 0 153217 29 0 0 25 0 1 0 59409738 313655296 75498 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 76576 75498 413 171 0 75501 0
Current children cumulated CPU time (s) 1532.46
Current children cumulated vsize (KiB) 306304

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 18653
/proc/meminfo: memFree=1358352/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=315968 CPUtime=1592.44
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 80322 662 0 0 159214 30 0 0 25 0 1 0 59409738 323551232 77930 996147200 134512640 135215973 4294956304 18446744073709551615 4158960075 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 78992 77930 413 171 0 77917 0
Current children cumulated CPU time (s) 1592.44
Current children cumulated vsize (KiB) 315968

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 18653
/proc/meminfo: memFree=1347920/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=327408 CPUtime=1652.41
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 83199 662 0 0 165209 32 0 0 25 0 1 0 59409738 335265792 80517 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 81852 80517 413 171 0 80777 0
Current children cumulated CPU time (s) 1652.41
Current children cumulated vsize (KiB) 327408

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 18653
/proc/meminfo: memFree=1338768/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=336620 CPUtime=1712.38
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 85515 662 0 0 171205 33 0 0 25 0 1 0 59409738 344698880 82833 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 84155 82833 413 171 0 83080 0
Current children cumulated CPU time (s) 1712.38
Current children cumulated vsize (KiB) 336620

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 18653
/proc/meminfo: memFree=1329168/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=345932 CPUtime=1772.35
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 87836 662 0 0 177201 34 0 0 25 0 1 0 59409738 354234368 85154 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 86483 85154 413 171 0 85408 0
Current children cumulated CPU time (s) 1772.35
Current children cumulated vsize (KiB) 345932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810 s]
/proc/loadavg: 1.99 1.97 1.98 3/82 18653
/proc/meminfo: memFree=1327056/2055920 swapFree=4192812/4192956
[pid=18568] ppid=18566 vsize=347976 CPUtime=1800.05
/proc/18568/stat : 18568 (pcs.big) R 18566 18568 18531 0 -1 4194304 88347 662 0 0 179971 34 0 0 25 0 1 0 59409738 356327424 85665 996147200 134512640 135215973 4294956304 18446744073709551615 134583622 0 0 4096 0 0 0 0 17 0 0 0
/proc/18568/statm: 86994 85665 413 171 0 85919 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 347976

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): 1810.06
CPU time (s): 1800.12
CPU user time (s): 1799.71
CPU system time (s): 0.409937
CPU usage (%): 99.4509
Max. virtual memory (cumulated for all children) (KiB): 347976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89009
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= 23
involuntary context switches= 29610

runsolver used 1.68374 second user time and 4.92425 second system time

The end

Launcher Data 

Begin job on node3 at 2009-07-16 07:50:22
IDJOB=2083628
IDBENCH=57881
IDSOLVER=734
FILE ID=node3/2083628-1247723422
PBS_JOBID= 9521495
Free space on /tmp= 66400 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083628-1247723422/watcher-2083628-1247723422 -o /tmp/evaluation-result-2083628-1247723422/solver-2083628-1247723422 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1529522788 HOME/instance-2083628-1247723422.xml

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

MD5SUM BENCH= 5437bff566491bef6c75b023202900b4
RANDOM SEED=1529522788

node3.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.259
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.259
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:       1551752 kB
Buffers:         71592 kB
Cached:         214960 kB
SwapCached:          0 kB
Active:         222472 kB
Inactive:       211252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1551752 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2256 kB
Writeback:           0 kB
Mapped:         158736 kB
Slab:            55384 kB
Committed_AS:   759552 kB
PageTables:       2068 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= 66400 MiB
End job on node3 at 2009-07-16 08:20:34