Trace number 2083870

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.16 1801.39

General information on the benchmark

Namecsp/fapp/fapp23/
normalized-fapp23-1800-10.xml
MD5SUM5e00df4470fb1641364528d5964a8e44
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 benchmark38.2512
Satisfiable
(Un)Satisfiability was proved
Number of variables1800
Number of constraints63962
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension63962
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.06	c Seed is 1611755364
0.00/0.06	c Constructing HOME/instance-2083870-1247723878.xml  with 406215 constraints
7.32/7.41	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-2083870-1247723878/watcher-2083870-1247723878 -o /tmp/evaluation-result-2083870-1247723878/solver-2083870-1247723878 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1611755364 HOME/instance-2083870-1247723878.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.46 2.30 2.14 4/72 12934
/proc/meminfo: memFree=1338856/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=5356 CPUtime=0
/proc/12934/stat : 12934 (pcssolve) R 12932 12934 12777 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59450704 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 227607636639 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12934/statm: 1339 241 200 169 0 50 0
[pid=12935] ppid=12934 vsize=100 CPUtime=0
/proc/12935/stat : 12935 (fgrep) R 12934 12934 12777 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 59450704 102400 3 996147200 0 0 548682069725 18446744073709551615 227607637287 0 0 4096 0 0 0 0 17 1 0 0
/proc/12935/statm: 25 3 0 0 0 2 0
[pid=12936] ppid=12934 vsize=5356 CPUtime=0
/proc/12936/stat : 12936 (pcssolve) R 12934 12934 12777 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59450704 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 227607636639 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12936/statm: 1339 241 200 169 0 50 0

[startup+0.083953 s]
/proc/loadavg: 2.46 2.30 2.14 4/72 12934
/proc/meminfo: memFree=1338856/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=5696 CPUtime=0.06
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 1093 664 0 0 4 0 1 1 18 0 1 0 59450704 5832704 724 996147200 134512640 135215973 4294956304 18446744073709551615 134728028 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 1424 724 386 171 0 349 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5696

[startup+0.102956 s]
/proc/loadavg: 2.46 2.30 2.14 4/72 12934
/proc/meminfo: memFree=1338856/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=6576 CPUtime=0.08
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 1307 664 0 0 6 0 1 1 18 0 1 0 59450704 6733824 861 996147200 134512640 135215973 4294956304 18446744073709551615 10300599 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 1644 861 386 171 0 569 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6576

[startup+0.302977 s]
/proc/loadavg: 2.46 2.30 2.14 4/72 12934
/proc/meminfo: memFree=1338856/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=11076 CPUtime=0.27
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 2784 664 0 0 25 0 1 1 19 0 1 0 59450704 11341824 1903 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 2769 1903 386 171 0 1694 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11076

[startup+0.702026 s]
/proc/loadavg: 2.46 2.30 2.14 4/72 12934
/proc/meminfo: memFree=1338856/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=22596 CPUtime=0.67
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 6287 664 0 0 63 2 1 1 23 0 1 0 59450704 23138304 3849 996147200 134512640 135215973 4294956304 18446744073709551615 134761786 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 5649 3849 386 171 0 4574 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22596

[startup+1.50112 s]
/proc/loadavg: 2.46 2.30 2.14 3/73 12939
/proc/meminfo: memFree=1318752/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=41120 CPUtime=1.46
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 12561 664 0 0 140 4 1 1 25 0 1 0 59450704 42106880 7591 996147200 134512640 135215973 4294956304 18446744073709551615 134762865 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 10280 7591 386 171 0 9205 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41120

[startup+3.10131 s]
/proc/loadavg: 2.46 2.30 2.14 3/73 12939
/proc/meminfo: memFree=1297248/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=78060 CPUtime=3.05
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 24839 664 0 0 292 11 1 1 25 0 1 0 59450704 79933440 14920 996147200 134512640 135215973 4294956304 18446744073709551615 134697836 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 19515 14920 386 171 0 18440 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 78060

[startup+6.30168 s]
/proc/loadavg: 2.42 2.29 2.14 3/73 12939
/proc/meminfo: memFree=1229216/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=151524 CPUtime=6.22
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 49298 664 0 0 597 23 1 1 25 0 1 0 59450704 155160576 29261 996147200 134512640 135215973 4294956304 18446744073709551615 4159337245 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 37881 29261 386 171 0 36806 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 151524

[startup+12.7014 s]
/proc/loadavg: 2.39 2.29 2.14 3/73 12939
/proc/meminfo: memFree=1154272/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=188676 CPUtime=12.56
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 69292 664 0 0 1223 31 1 1 25 0 1 0 59450704 193204224 43021 996147200 134512640 135215973 4294956304 18446744073709551615 4158512689 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 47169 43021 410 171 0 46094 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 188676

[startup+25.5019 s]
/proc/loadavg: 2.30 2.27 2.14 3/73 12939
/proc/meminfo: memFree=1150816/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=191172 CPUtime=25.27
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 70441 664 0 0 2493 32 1 1 25 0 1 0 59450704 195760128 43544 996147200 134512640 135215973 4294956304 18446744073709551615 134597469 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 47793 43544 410 171 0 46718 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 191172

[startup+51.1019 s]
/proc/loadavg: 2.20 2.25 2.13 3/73 12939
/proc/meminfo: memFree=1125664/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=220428 CPUtime=50.65
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 78794 664 0 0 5027 36 1 1 25 0 1 0 59450704 225718272 49399 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/12934/statm: 55107 49399 410 171 0 54032 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 220428

[startup+102.307 s]
/proc/loadavg: 2.16 2.23 2.13 3/73 12970
/proc/meminfo: memFree=1294880/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=226764 CPUtime=101.79
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 81428 664 0 0 10139 38 1 1 25 0 1 0 59450704 232206336 52033 996147200 134512640 135215973 4294956304 18446744073709551615 134585733 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 56691 52033 411 171 0 55616 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 226764

[startup+162.301 s]
/proc/loadavg: 2.12 2.20 2.12 3/73 12970
/proc/meminfo: memFree=1235424/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=307224 CPUtime=161.75
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 116208 664 0 0 16122 51 1 1 25 0 1 0 59450704 314597376 66043 996147200 134512640 135215973 4294956304 18446744073709551615 4158961313 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 76806 66043 413 171 0 75731 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 307224

[startup+222.301 s]
/proc/loadavg: 2.11 2.18 2.12 3/73 12976
/proc/meminfo: memFree=1230616/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=307352 CPUtime=221.72
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 180872 664 0 0 22097 73 1 1 25 0 1 0 59450704 314728448 66677 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 76838 66677 413 171 0 75763 0
Current children cumulated CPU time (s) 221.72
Current children cumulated vsize (KiB) 307352

[startup+282.301 s]
/proc/loadavg: 2.09 2.16 2.11 3/73 12976
/proc/meminfo: memFree=1227544/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=307352 CPUtime=281.7
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 271758 664 0 0 28061 107 1 1 25 0 1 0 59450704 314728448 66910 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 76838 66910 413 171 0 75763 0
Current children cumulated CPU time (s) 281.7
Current children cumulated vsize (KiB) 307352

[startup+342.301 s]
/proc/loadavg: 2.09 2.14 2.10 3/73 12976
/proc/meminfo: memFree=1222296/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=307604 CPUtime=341.68
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 415046 664 0 0 34007 159 1 1 25 0 1 0 59450704 314986496 67647 996147200 134512640 135215973 4294956304 18446744073709551615 134600828 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 76901 67647 413 171 0 75826 0
Current children cumulated CPU time (s) 341.68
Current children cumulated vsize (KiB) 307604

[startup+402.301 s]
/proc/loadavg: 2.08 2.13 2.10 3/73 12976
/proc/meminfo: memFree=1218200/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=307604 CPUtime=401.65
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 494630 664 0 0 39974 189 1 1 25 0 1 0 59450704 314986496 68036 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 76901 68036 413 171 0 75826 0
Current children cumulated CPU time (s) 401.65
Current children cumulated vsize (KiB) 307604

[startup+462.302 s]
/proc/loadavg: 2.07 2.12 2.09 3/83 13016
/proc/meminfo: memFree=1190024/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=308792 CPUtime=461.63
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 634776 664 0 0 45922 239 1 1 25 0 1 0 59450704 316203008 68327 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 77198 68327 413 171 0 76123 0
Current children cumulated CPU time (s) 461.63
Current children cumulated vsize (KiB) 308792

[startup+522.302 s]
/proc/loadavg: 2.02 2.09 2.09 3/83 13016
/proc/meminfo: memFree=973648/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=313044 CPUtime=521.61
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 664860 664 0 0 51908 251 1 1 25 0 1 0 59450704 320557056 69766 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 78261 69773 413 171 0 77186 0
Current children cumulated CPU time (s) 521.61
Current children cumulated vsize (KiB) 313044

[startup+582.302 s]
/proc/loadavg: 2.01 2.07 2.08 3/83 13016
/proc/meminfo: memFree=753488/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=316576 CPUtime=581.58
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 822975 664 0 0 57850 306 1 1 25 0 1 0 59450704 324173824 71176 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 79144 71176 413 171 0 78069 0
Current children cumulated CPU time (s) 581.58
Current children cumulated vsize (KiB) 316576

[startup+642.303 s]
/proc/loadavg: 2.15 2.10 2.09 4/83 13016
/proc/meminfo: memFree=509840/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=316688 CPUtime=641.55

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

[startup+882.303 s]
/proc/loadavg: 2.09 2.13 2.09 3/73 13403
/proc/meminfo: memFree=1081312/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=337916 CPUtime=881.43
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 1464331 664 0 0 87603 538 1 1 25 0 1 0 59450704 346025984 77287 996147200 134512640 135215973 4294956304 18446744073709551615 135094919 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 84479 77287 413 171 0 83404 0
Current children cumulated CPU time (s) 881.43
Current children cumulated vsize (KiB) 337916

[startup+942.303 s]
/proc/loadavg: 2.07 2.12 2.09 4/82 13442
/proc/meminfo: memFree=1204632/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=346616 CPUtime=941.42
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 1628595 664 0 0 93541 599 1 1 25 0 1 0 59450704 354934784 79454 996147200 134512640 135215973 4294956304 18446744073709551615 134591812 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 86654 79454 413 171 0 85579 0
Current children cumulated CPU time (s) 941.42
Current children cumulated vsize (KiB) 346616

[startup+1002.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/82 13444
/proc/meminfo: memFree=1192088/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=351360 CPUtime=1001.38
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 1733294 664 0 0 99499 637 1 1 25 0 1 0 59450704 359792640 80694 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 87840 80694 413 171 0 86765 0
Current children cumulated CPU time (s) 1001.38
Current children cumulated vsize (KiB) 351360

[startup+1062.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/82 13444
/proc/meminfo: memFree=1184152/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=358488 CPUtime=1061.36
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 1878468 664 0 0 105448 686 1 1 25 0 1 0 59450704 367091712 82643 996147200 134512640 135215973 4294956304 18446744073709551615 134597355 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 89622 82643 413 171 0 88547 0
Current children cumulated CPU time (s) 1061.36
Current children cumulated vsize (KiB) 358488

[startup+1122.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/82 13444
/proc/meminfo: memFree=1182296/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=359676 CPUtime=1121.33
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 1997875 664 0 0 111400 731 1 1 25 0 1 0 59450704 368308224 83089 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 89919 83089 413 171 0 88844 0
Current children cumulated CPU time (s) 1121.33
Current children cumulated vsize (KiB) 359676

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/82 13444
/proc/meminfo: memFree=1175896/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=364292 CPUtime=1181.3
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 2150114 664 0 0 117345 783 1 1 25 0 1 0 59450704 373035008 84689 996147200 134512640 135215973 4294956304 18446744073709551615 135094992 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 91073 84689 413 171 0 89998 0
Current children cumulated CPU time (s) 1181.3
Current children cumulated vsize (KiB) 364292

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/82 13444
/proc/meminfo: memFree=1169816/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=370224 CPUtime=1241.28
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 2337619 664 0 0 123277 849 1 1 25 0 1 0 59450704 379109376 86170 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 92556 86170 413 171 0 91481 0
Current children cumulated CPU time (s) 1241.28
Current children cumulated vsize (KiB) 370224

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 13444
/proc/meminfo: memFree=1164632/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=374844 CPUtime=1301.26
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 2493600 664 0 0 129222 902 1 1 25 0 1 0 59450704 383840256 87468 996147200 134512640 135215973 4294956304 18446744073709551615 134597660 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 93711 87468 413 171 0 92636 0
Current children cumulated CPU time (s) 1301.26
Current children cumulated vsize (KiB) 374844

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 13444
/proc/meminfo: memFree=1159448/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=378268 CPUtime=1361.24
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 2607108 664 0 0 135179 943 1 1 25 0 1 0 59450704 387346432 88755 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 94567 88755 413 171 0 93492 0
Current children cumulated CPU time (s) 1361.24
Current children cumulated vsize (KiB) 378268

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 13444
/proc/meminfo: memFree=1153560/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=382884 CPUtime=1421.21
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 2754497 664 0 0 141126 993 1 1 25 0 1 0 59450704 392073216 90223 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 95721 90223 413 171 0 94646 0
Current children cumulated CPU time (s) 1421.21
Current children cumulated vsize (KiB) 382884

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 13444
/proc/meminfo: memFree=1142936/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=390800 CPUtime=1481.19
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 2900405 664 0 0 147071 1046 1 1 25 0 1 0 59450704 400179200 92906 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 97700 92906 413 171 0 96625 0
Current children cumulated CPU time (s) 1481.19
Current children cumulated vsize (KiB) 390800

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 13444
/proc/meminfo: memFree=1134488/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=396872 CPUtime=1541.15
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 3039007 664 0 0 153019 1094 1 1 25 0 1 0 59450704 406396928 95023 996147200 134512640 135215973 4294956304 18446744073709551615 134908110 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 99218 95023 413 171 0 98143 0
Current children cumulated CPU time (s) 1541.15
Current children cumulated vsize (KiB) 396872

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 13444
/proc/meminfo: memFree=1046424/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=535648 CPUtime=1601.14
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 3222477 664 0 0 158951 1161 1 1 25 0 1 0 59450704 548503552 116900 996147200 134512640 135215973 4294956304 18446744073709551615 134583634 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 133912 116900 413 171 0 132837 0
Current children cumulated CPU time (s) 1601.14
Current children cumulated vsize (KiB) 535648

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 13444
/proc/meminfo: memFree=1042840/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=535776 CPUtime=1661.11
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 3404314 664 0 0 164887 1222 1 1 25 0 1 0 59450704 548634624 117768 996147200 134512640 135215973 4294956304 18446744073709551615 134585736 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 133944 117768 413 171 0 132869 0
Current children cumulated CPU time (s) 1661.11
Current children cumulated vsize (KiB) 535776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 13444
/proc/meminfo: memFree=1038808/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=535904 CPUtime=1721.08
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 3576888 664 0 0 170819 1287 1 1 25 0 1 0 59450704 548765696 118809 996147200 134512640 135215973 4294956304 18446744073709551615 134589811 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 133976 118809 413 171 0 132901 0
Current children cumulated CPU time (s) 1721.08
Current children cumulated vsize (KiB) 535904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 13444
/proc/meminfo: memFree=1034392/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=537516 CPUtime=1781.06
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 3800394 664 0 0 176742 1362 1 1 25 0 1 0 59450704 550416384 119895 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 134379 119895 413 171 0 133304 0
Current children cumulated CPU time (s) 1781.06
Current children cumulated vsize (KiB) 537516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 13444
/proc/meminfo: memFree=1033496/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=536300 CPUtime=1800.06
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 3862263 664 0 0 178623 1381 1 1 25 0 1 0 59450704 549171200 120093 996147200 134512640 135215973 4294956304 18446744073709551615 134597431 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 134075 120093 413 171 0 133000 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 536300

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

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

[startup+1801.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 13444
/proc/meminfo: memFree=1033496/2055920 swapFree=4192812/4192956
[pid=12934] ppid=12932 vsize=536300 CPUtime=1800.06
/proc/12934/stat : 12934 (pcs.big) R 12932 12934 12777 0 -1 4194304 3862263 664 0 0 178623 1381 1 1 25 0 1 0 59450704 549171200 120093 996147200 134512640 135215973 4294956304 18446744073709551615 134597431 0 0 4096 0 0 0 0 17 0 0 0
/proc/12934/statm: 134075 120093 413 171 0 133000 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 536300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.39
CPU time (s): 1800.16
CPU user time (s): 1786.26
CPU system time (s): 13.9029
CPU usage (%): 99.9318
Max. virtual memory (cumulated for all children) (KiB): 588644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.26
system time used= 13.9029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3862927
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= 27
involuntary context switches= 8848

runsolver used 1.87971 second user time and 5.02923 second system time

The end

Launcher Data 

Begin job on node66 at 2009-07-16 07:57:59
IDJOB=2083870
IDBENCH=57962
IDSOLVER=734
FILE ID=node66/2083870-1247723878
PBS_JOBID= 9521492
Free space on /tmp= 66240 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp23/normalized-fapp23-1800-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083870-1247723878/watcher-2083870-1247723878 -o /tmp/evaluation-result-2083870-1247723878/solver-2083870-1247723878 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1611755364 HOME/instance-2083870-1247723878.xml

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

MD5SUM BENCH= 5e00df4470fb1641364528d5964a8e44
RANDOM SEED=1611755364

node66.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.214
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.214
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:       1339400 kB
Buffers:         71868 kB
Cached:         362652 kB
SwapCached:          0 kB
Active:         248820 kB
Inactive:       388560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1339400 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11104 kB
Writeback:           0 kB
Mapped:         214504 kB
Slab:            64096 kB
Committed_AS:   677160 kB
PageTables:       2228 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= 66248 MiB
End job on node66 at 2009-07-16 08:28:02