Trace number 2058272

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.07 1816.52

General information on the benchmark

Namecsp/frb40-19/
normalized-frb40-19-4_ext.xml
MD5SUM0d8eeeb2fc14f282c2fb0843d98b127b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.73482
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints410
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension410
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.08/0.11	c Seed is 1490578598
0.08/0.11	c Constructing HOME/instance-2058272-1247694242.xml  with 7747 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-2058272-1247694242/watcher-2058272-1247694242 -o /tmp/evaluation-result-2058272-1247694242/solver-2058272-1247694242 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1490578598 HOME/instance-2058272-1247694242.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 12193
/proc/meminfo: memFree=838200/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=5356 CPUtime=0
/proc/12193/stat : 12193 (pcssolve) R 12191 12193 12069 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 56490892 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12193/statm: 1339 241 200 169 0 50 0
[pid=12194] ppid=12193 vsize=3676 CPUtime=0
/proc/12194/stat : 12194 (fgrep) R 12193 12193 12069 0 -1 4194304 143 0 0 0 0 0 0 0 22 0 1 0 56490892 3764224 110 996147200 4194304 4274172 548682068976 18446744073709551615 255236735058 0 0 4096 0 0 0 0 17 1 0 0
/proc/12194/statm: 919 110 85 19 0 43 0
[pid=12195] ppid=12193 vsize=5356 CPUtime=0
/proc/12195/stat : 12195 (pcssolve) R 12193 12193 12069 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 56490892 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12195/statm: 1339 241 200 169 0 50 0

[startup+0.0889449 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 12193
/proc/meminfo: memFree=838200/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=5432 CPUtime=0.06
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 1078 822 0 0 6 0 0 0 18 0 1 0 56490892 5562368 687 996147200 134512640 135095119 4294956304 18446744073709551615 134739383 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 1358 687 364 142 0 312 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5432

[startup+0.101942 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 12193
/proc/meminfo: memFree=838200/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=5696 CPUtime=0.08
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 1131 822 0 0 8 0 0 0 18 0 1 0 56490892 5832704 740 996147200 134512640 135095119 4294956304 18446744073709551615 134546959 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 1424 740 364 142 0 378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696

[startup+0.301965 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 12193
/proc/meminfo: memFree=838200/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=6640 CPUtime=0.27
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 1412 822 1 0 27 0 0 0 19 0 1 0 56490892 6799360 989 996147200 134512640 135095119 4294956304 18446744073709551615 134641721 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 1660 989 379 142 0 614 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6640

[startup+0.702009 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 12193
/proc/meminfo: memFree=838200/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=6380 CPUtime=0.67
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 1414 822 1 0 67 0 0 0 23 0 1 0 56490892 6533120 926 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 1595 926 379 142 0 549 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6380

[startup+1.5011 s]
/proc/loadavg: 0.23 0.05 0.02 3/73 12199
/proc/meminfo: memFree=835504/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=6640 CPUtime=1.46
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 1459 822 1 0 146 0 0 0 25 0 1 0 56490892 6799360 971 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 1660 971 379 142 0 614 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6640

[startup+3.10127 s]
/proc/loadavg: 0.23 0.05 0.02 3/73 12199
/proc/meminfo: memFree=835184/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=7160 CPUtime=3.05
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 1640 822 1 0 305 0 0 0 25 0 1 0 56490892 7331840 1087 996147200 134512640 135095119 4294956304 18446744073709551615 134641632 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 1790 1087 379 142 0 744 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7160

[startup+6.30261 s]
/proc/loadavg: 0.23 0.05 0.02 3/73 12199
/proc/meminfo: memFree=833904/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=9616 CPUtime=6.22
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 2235 822 1 0 621 1 0 0 25 0 1 0 56490892 9846784 1553 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 2404 1553 379 142 0 1358 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9616

[startup+12.7013 s]
/proc/loadavg: 0.50 0.11 0.04 3/73 12199
/proc/meminfo: memFree=831728/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=10900 CPUtime=12.56
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 2740 822 1 0 1255 1 0 0 25 0 1 0 56490892 11161600 1801 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 2725 1801 379 142 0 1679 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 10900

[startup+25.5017 s]
/proc/loadavg: 0.73 0.18 0.06 3/73 12199
/proc/meminfo: memFree=827632/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=16464 CPUtime=25.25
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 4399 822 1 0 2523 2 0 0 25 0 1 0 56490892 16859136 2690 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 4116 2690 379 142 0 3070 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 16464

[startup+51.1014 s]
/proc/loadavg: 1.30 0.37 0.12 3/73 12199
/proc/meminfo: memFree=821744/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=17776 CPUtime=50.62
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 5135 822 1 0 5058 4 0 0 25 0 1 0 56490892 18202624 3426 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 4444 3426 379 142 0 3398 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 17776

[startup+102.307 s]
/proc/loadavg: 1.70 0.61 0.22 3/73 12199
/proc/meminfo: memFree=812336/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=29192 CPUtime=101.37
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 8599 822 1 0 10130 7 0 0 25 0 1 0 56490892 29892608 5352 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 7298 5352 379 142 0 6252 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 29192

[startup+162.301 s]
/proc/loadavg: 1.89 0.86 0.33 3/73 12199
/proc/meminfo: memFree=806320/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=30112 CPUtime=160.82
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 9364 822 1 0 16073 9 0 0 25 0 1 0 56490892 30834688 6117 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 7528 6117 379 142 0 6482 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 30112

[startup+222.302 s]
/proc/loadavg: 1.96 1.07 0.43 3/73 12199
/proc/meminfo: memFree=797552/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=32468 CPUtime=220.28
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 10423 822 1 0 22017 11 0 0 25 0 1 0 56490892 33247232 7176 996147200 134512640 135095119 4294956304 18446744073709551615 134643125 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 8117 7176 379 142 0 7071 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 32468

[startup+282.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/73 12199
/proc/meminfo: memFree=792688/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=42772 CPUtime=279.72
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 13432 822 1 0 27958 14 0 0 25 0 1 0 56490892 43798528 8136 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 10693 8136 379 142 0 9647 0
Current children cumulated CPU time (s) 279.72
Current children cumulated vsize (KiB) 42772

[startup+342.302 s]
/proc/loadavg: 1.99 1.37 0.61 3/73 12199
/proc/meminfo: memFree=787184/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=44748 CPUtime=339.17
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 14318 822 1 0 33902 15 0 0 25 0 1 0 56490892 45821952 9022 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 11187 9022 379 142 0 10141 0
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (KiB) 44748

[startup+402.302 s]
/proc/loadavg: 1.99 1.48 0.70 3/73 12199
/proc/meminfo: memFree=776816/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=55700 CPUtime=398.62
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 17428 822 1 0 39844 18 0 0 25 0 1 0 56490892 57036800 11107 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 13925 11107 379 142 0 12879 0
Current children cumulated CPU time (s) 398.62
Current children cumulated vsize (KiB) 55700

[startup+462.301 s]
/proc/loadavg: 1.99 1.57 0.78 3/73 12201
/proc/meminfo: memFree=773296/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=55700 CPUtime=458.07
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 17774 822 1 0 45788 19 0 0 25 0 1 0 56490892 57036800 11453 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 13925 11453 379 142 0 12879 0
Current children cumulated CPU time (s) 458.07
Current children cumulated vsize (KiB) 55700

[startup+522.302 s]
/proc/loadavg: 1.99 1.65 0.85 3/73 12201
/proc/meminfo: memFree=769968/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=55700 CPUtime=517.52
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 18108 822 1 0 51732 20 0 0 25 0 1 0 56490892 57036800 11787 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 13925 11787 379 142 0 12879 0
Current children cumulated CPU time (s) 517.52
Current children cumulated vsize (KiB) 55700

[startup+582.301 s]
/proc/loadavg: 1.99 1.71 0.92 3/73 12201
/proc/meminfo: memFree=766192/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=56484 CPUtime=576.98
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 18609 822 1 0 57677 21 0 0 25 0 1 0 56490892 57839616 12288 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 14121 12288 379 142 0 13075 0
Current children cumulated CPU time (s) 576.98
Current children cumulated vsize (KiB) 56484

[startup+642.302 s]
/proc/loadavg: 1.99 1.76 0.98 3/73 12201
/proc/meminfo: memFree=761648/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=57916 CPUtime=636.45

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

[startup+882.301 s]
/proc/loadavg: 1.99 1.88 1.20 3/73 12201
/proc/meminfo: memFree=741488/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=80040 CPUtime=874.25
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 25910 822 1 0 87396 29 0 0 25 0 1 0 56490892 81960960 15492 996147200 134512640 135095119 4294956304 18446744073709551615 134637438 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 20010 15492 379 142 0 18964 0
Current children cumulated CPU time (s) 874.25
Current children cumulated vsize (KiB) 80040

[startup+942.302 s]
/proc/loadavg: 1.99 1.90 1.25 3/73 12201
/proc/meminfo: memFree=738416/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=81224 CPUtime=933.71
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 26494 822 1 0 93341 30 0 0 25 0 1 0 56490892 83173376 16076 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 20306 16076 379 142 0 19260 0
Current children cumulated CPU time (s) 933.71
Current children cumulated vsize (KiB) 81224

[startup+1002.3 s]
/proc/loadavg: 1.99 1.92 1.30 3/73 12201
/proc/meminfo: memFree=735280/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=82528 CPUtime=993.16
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 27065 822 1 0 99285 31 0 0 25 0 1 0 56490892 84508672 16647 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 20632 16647 379 142 0 19586 0
Current children cumulated CPU time (s) 993.16
Current children cumulated vsize (KiB) 82528

[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.34 3/73 12207
/proc/meminfo: memFree=731240/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=83840 CPUtime=1052.6
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 27641 822 1 0 105228 32 0 0 25 0 1 0 56490892 85852160 17223 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 20960 17223 379 142 0 19914 0
Current children cumulated CPU time (s) 1052.6
Current children cumulated vsize (KiB) 83840

[startup+1122.3 s]
/proc/loadavg: 1.99 1.94 1.38 3/73 12207
/proc/meminfo: memFree=727528/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=85020 CPUtime=1112.05
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 28201 822 1 0 111172 33 0 0 25 0 1 0 56490892 87060480 17783 996147200 134512640 135095119 4294956304 18446744073709551615 134642888 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 21255 17783 379 142 0 20209 0
Current children cumulated CPU time (s) 1112.05
Current children cumulated vsize (KiB) 85020

[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.41 3/73 12207
/proc/meminfo: memFree=723560/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=86340 CPUtime=1171.5
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 28757 822 1 0 117116 34 0 0 25 0 1 0 56490892 88412160 18339 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 21585 18339 379 142 0 20539 0
Current children cumulated CPU time (s) 1171.5
Current children cumulated vsize (KiB) 86340

[startup+1242.3 s]
/proc/loadavg: 1.99 1.95 1.45 3/73 12207
/proc/meminfo: memFree=719720/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=87520 CPUtime=1230.95
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 29302 822 1 0 123060 35 0 0 25 0 1 0 56490892 89620480 18884 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 21880 18884 379 142 0 20834 0
Current children cumulated CPU time (s) 1230.95
Current children cumulated vsize (KiB) 87520

[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.48 3/73 12207
/proc/meminfo: memFree=702440/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1290.4
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 35246 822 1 0 129002 38 0 0 25 0 1 0 56490892 112877568 22779 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 22779 379 142 0 26512 0
Current children cumulated CPU time (s) 1290.4
Current children cumulated vsize (KiB) 110232

[startup+1362.3 s]
/proc/loadavg: 1.99 1.96 1.51 3/73 12207
/proc/meminfo: memFree=699888/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1349.83
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 35479 822 1 0 134945 38 0 0 25 0 1 0 56490892 112877568 23012 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 23012 379 142 0 26512 0
Current children cumulated CPU time (s) 1349.83
Current children cumulated vsize (KiB) 110232

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.54 3/73 12207
/proc/meminfo: memFree=697456/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1409.29
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 35707 822 1 0 140890 39 0 0 25 0 1 0 56490892 112877568 23240 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 23240 379 142 0 26512 0
Current children cumulated CPU time (s) 1409.29
Current children cumulated vsize (KiB) 110232

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.56 3/73 12207
/proc/meminfo: memFree=695024/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1468.73
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 35934 822 1 0 146833 40 0 0 25 0 1 0 56490892 112877568 23467 996147200 134512640 135095119 4294956304 18446744073709551615 134607027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 23467 379 142 0 26512 0
Current children cumulated CPU time (s) 1468.73
Current children cumulated vsize (KiB) 110232

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.58 3/73 12207
/proc/meminfo: memFree=692848/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1528.18
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 36159 822 1 0 152778 40 0 0 25 0 1 0 56490892 112877568 23692 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 23692 379 142 0 26512 0
Current children cumulated CPU time (s) 1528.18
Current children cumulated vsize (KiB) 110232

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.61 3/73 12207
/proc/meminfo: memFree=690416/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1587.63
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 36387 822 1 0 158722 41 0 0 25 0 1 0 56490892 112877568 23920 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 23920 379 142 0 26512 0
Current children cumulated CPU time (s) 1587.63
Current children cumulated vsize (KiB) 110232

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.63 3/73 12207
/proc/meminfo: memFree=688176/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1647.08
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 36605 822 1 0 164667 41 0 0 25 0 1 0 56490892 112877568 24138 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 24138 379 142 0 26512 0
Current children cumulated CPU time (s) 1647.08
Current children cumulated vsize (KiB) 110232

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.65 3/73 12207
/proc/meminfo: memFree=685616/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1706.52
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 36817 822 1 0 170611 41 0 0 25 0 1 0 56490892 112877568 24350 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 24350 379 142 0 26512 0
Current children cumulated CPU time (s) 1706.52
Current children cumulated vsize (KiB) 110232

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.67 3/73 12207
/proc/meminfo: memFree=683056/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1765.97
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 37025 822 1 0 176555 42 0 0 25 0 1 0 56490892 112877568 24558 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12193/statm: 27558 24558 379 142 0 26512 0
Current children cumulated CPU time (s) 1765.97
Current children cumulated vsize (KiB) 110232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.5 s]
/proc/loadavg: 1.94 1.96 1.67 3/73 12240
/proc/meminfo: memFree=733680/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1800.03
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 37155 822 1 0 179960 43 0 0 25 0 1 0 56490892 112877568 24688 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12193/statm: 27558 24688 379 142 0 26512 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 110232

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

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

[startup+1816.5 s]
/proc/loadavg: 1.94 1.96 1.67 3/73 12240
/proc/meminfo: memFree=733680/2055920 swapFree=4192812/4192956
[pid=12193] ppid=12191 vsize=110232 CPUtime=1800.03
/proc/12193/stat : 12193 (pcs.small) R 12191 12193 12069 0 -1 4194304 37155 822 1 0 179960 43 0 0 25 0 1 0 56490892 112877568 24688 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12193/statm: 27558 24688 379 142 0 26512 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 110232

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1816.52
CPU time (s): 1800.07
CPU user time (s): 1799.61
CPU system time (s): 0.45893
CPU usage (%): 99.0942
Max. virtual memory (cumulated for all children) (KiB): 118428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.45893
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37977
page faults= 1
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= 39622

runsolver used 2.88856 second user time and 5.2422 second system time

The end

Launcher Data 

Begin job on node19 at 2009-07-15 23:44:03
IDJOB=2058272
IDBENCH=53465
IDSOLVER=733
FILE ID=node19/2058272-1247694242
PBS_JOBID= 9521271
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/frb40-19/normalized-frb40-19-4_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058272-1247694242/watcher-2058272-1247694242 -o /tmp/evaluation-result-2058272-1247694242/solver-2058272-1247694242 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1490578598 HOME/instance-2058272-1247694242.xml

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

MD5SUM BENCH= 0d8eeeb2fc14f282c2fb0843d98b127b
RANDOM SEED=1490578598

node19.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.211
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.211
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:        838680 kB
Buffers:         55492 kB
Cached:        1068480 kB
SwapCached:          0 kB
Active:          87520 kB
Inactive:      1057128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        838680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4512 kB
Writeback:           0 kB
Mapped:          32088 kB
Slab:            57880 kB
Committed_AS:   569196 kB
PageTables:       1816 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= 66388 MiB
End job on node19 at 2009-07-16 00:14:21