Trace number 2091789

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.09 1806.52

General information on the benchmark

Namecsp/rand-2-50-23-fcd/
normalized-rand-2-50-23-587-230-fcd-32_ext.xml
MD5SUM7404fd8d22ee40edd9f5759dc859e04d
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 benchmark1411.95
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints466
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension466
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.00/0.02	c Seed is 1581421660
0.00/0.02	c Constructing HOME/instance-2091789-1247733376.xml  with 10693 constraints
0.08/0.16	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-2091789-1247733376/watcher-2091789-1247733376 -o /tmp/evaluation-result-2091789-1247733376/solver-2091789-1247733376 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1581421660 HOME/instance-2091789-1247733376.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.92 1.98 1.99 4/81 14346
/proc/meminfo: memFree=1566304/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=880 CPUtime=0
/proc/14346/stat : 14346 (pcssolve) R 14344 14346 13565 0 -1 4194304 40 0 0 0 0 0 0 0 20 0 1 0 60401581 901120 25 996147200 4194304 4889804 548682068800 18446744073709551615 269927642505 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 220 25 18 169 0 8 0

[startup+0.10179 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14346
/proc/meminfo: memFree=1566304/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=5828 CPUtime=0.08
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 1175 822 0 0 7 1 0 0 24 0 1 0 60401581 5967872 784 996147200 134512640 135095119 4294956304 18446744073709551615 9211519 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 1457 784 364 142 0 411 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5828

[startup+0.202807 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14346
/proc/meminfo: memFree=1566304/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=8108 CPUtime=0.18
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 1795 822 0 0 17 1 0 0 25 0 1 0 60401581 8302592 1306 996147200 134512640 135095119 4294956304 18446744073709551615 134616896 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2027 1306 378 142 0 981 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8108

[startup+0.302816 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14346
/proc/meminfo: memFree=1566304/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=8108 CPUtime=0.28
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 1796 822 0 0 27 1 0 0 25 0 1 0 60401581 8302592 1307 996147200 134512640 135095119 4294956304 18446744073709551615 134592613 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2027 1307 378 142 0 981 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8108

[startup+0.702861 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 14346
/proc/meminfo: memFree=1566304/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=8108 CPUtime=0.68
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 1799 822 0 0 67 1 0 0 25 0 1 0 60401581 8302592 1310 996147200 134512640 135095119 4294956304 18446744073709551615 134637231 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2027 1310 378 142 0 981 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8108

[startup+1.50295 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14352
/proc/meminfo: memFree=1562328/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=8108 CPUtime=1.48
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 1805 822 0 0 147 1 0 0 25 0 1 0 60401581 8302592 1316 996147200 134512640 135095119 4294956304 18446744073709551615 134617221 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2027 1316 378 142 0 981 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8108

[startup+3.10114 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 14352
/proc/meminfo: memFree=1562136/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=8108 CPUtime=3.07
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 1818 822 0 0 306 1 0 0 25 0 1 0 60401581 8302592 1329 996147200 134512640 135095119 4294956304 18446744073709551615 134615477 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2027 1329 378 142 0 981 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 8108

[startup+6.30152 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14352
/proc/meminfo: memFree=1561944/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=8108 CPUtime=6.25
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 1841 822 0 0 624 1 0 0 25 0 1 0 60401581 8302592 1352 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2027 1352 378 142 0 981 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8108

[startup+12.7013 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 14352
/proc/meminfo: memFree=1561048/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=9780 CPUtime=12.63
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 2188 822 0 0 1262 1 0 0 25 0 1 0 60401581 10014720 1570 996147200 134512640 135095119 4294956304 18446744073709551615 134570710 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2445 1570 378 142 0 1399 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 9780

[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 14352
/proc/meminfo: memFree=1559896/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=11328 CPUtime=25.38
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 2768 822 0 0 2536 2 0 0 25 0 1 0 60401581 11599872 1893 996147200 134512640 135095119 4294956304 18446744073709551615 134589509 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 2832 1893 378 142 0 1786 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 11328

[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 14352
/proc/meminfo: memFree=1556952/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=14332 CPUtime=50.87
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 3829 822 0 0 5084 3 0 0 25 0 1 0 60401581 14675968 2664 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 3583 2664 378 142 0 2537 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 14332

[startup+102.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 14352
/proc/meminfo: memFree=1552344/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=18876 CPUtime=101.87
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 5449 822 0 0 10182 5 0 0 25 0 1 0 60401581 19329024 3771 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 4719 3771 378 142 0 3673 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 18876

[startup+162.302 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 14386
/proc/meminfo: memFree=1554080/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=28980 CPUtime=161.64
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 8400 822 0 0 16157 7 0 0 25 0 1 0 60401581 29675520 5184 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 7245 5184 378 142 0 6199 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 28980

[startup+222.307 s]
/proc/loadavg: 2.14 2.03 2.01 3/73 14502
/proc/meminfo: memFree=1538848/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=29904 CPUtime=221.36
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 9009 822 0 0 22127 9 0 0 25 0 1 0 60401581 30621696 5793 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 7476 5793 378 142 0 6430 0
Current children cumulated CPU time (s) 221.36
Current children cumulated vsize (KiB) 29904

[startup+282.303 s]
/proc/loadavg: 2.19 2.06 2.01 3/82 14585
/proc/meminfo: memFree=1542608/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=31752 CPUtime=280.83
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 9810 822 0 0 28072 11 0 0 25 0 1 0 60401581 32514048 6594 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 7938 6594 378 142 0 6892 0
Current children cumulated CPU time (s) 280.83
Current children cumulated vsize (KiB) 31752

[startup+342.303 s]
/proc/loadavg: 2.10 2.06 2.01 3/73 14701
/proc/meminfo: memFree=1545568/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=33468 CPUtime=340.25
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 10562 822 0 0 34013 12 0 0 25 0 1 0 60401581 34271232 7346 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 8367 7346 378 142 0 7321 0
Current children cumulated CPU time (s) 340.25
Current children cumulated vsize (KiB) 33468

[startup+402.301 s]
/proc/loadavg: 2.17 2.08 2.02 3/73 14701
/proc/meminfo: memFree=1533472/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=43376 CPUtime=399.79
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 13342 822 0 0 39964 15 0 0 25 0 1 0 60401581 44417024 8077 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 10844 8077 378 142 0 9798 0
Current children cumulated CPU time (s) 399.79
Current children cumulated vsize (KiB) 43376

[startup+462.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/73 14701
/proc/meminfo: memFree=1521696/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=45092 CPUtime=459.32
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 14067 822 0 0 45916 16 0 0 25 0 1 0 60401581 46174208 8802 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 11273 8802 378 142 0 10227 0
Current children cumulated CPU time (s) 459.32
Current children cumulated vsize (KiB) 45092

[startup+522.302 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 14701
/proc/meminfo: memFree=1505824/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=55260 CPUtime=518.87
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 16865 822 0 0 51870 17 0 0 25 0 1 0 60401581 56586240 10575 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 13815 10575 378 142 0 12769 0
Current children cumulated CPU time (s) 518.87
Current children cumulated vsize (KiB) 55260

[startup+582.302 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 14701
/proc/meminfo: memFree=1495520/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=55260 CPUtime=578.39
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 17136 822 0 0 57822 17 0 0 25 0 1 0 60401581 56586240 10846 996147200 134512640 135095119 4294956304 18446744073709551615 134638145 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 13815 10846 378 142 0 12769 0
Current children cumulated CPU time (s) 578.39
Current children cumulated vsize (KiB) 55260

[startup+642.302 s]
/proc/loadavg: 2.07 2.06 2.01 3/73 14701
/proc/meminfo: memFree=1485984/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=55260 CPUtime=637.95
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 17403 822 0 0 63777 18 0 0 25 0 1 0 60401581 56586240 11113 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 13815 11113 378 142 0 12769 0
Current children cumulated CPU time (s) 637.95
Current children cumulated vsize (KiB) 55260

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.06 2.06 2.01 3/82 14742
/proc/meminfo: memFree=1513880/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=58420 CPUtime=816.81
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 18940 822 0 0 81661 20 0 0 25 0 1 0 60401581 59822080 12650 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 14605 12650 378 142 0 13559 0
Current children cumulated CPU time (s) 816.81
Current children cumulated vsize (KiB) 58420

[startup+882.306 s]
/proc/loadavg: 2.02 2.05 2.00 3/82 14742
/proc/meminfo: memFree=1511448/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=59744 CPUtime=876.57
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 19502 822 0 0 87637 20 0 0 25 0 1 0 60401581 61177856 13212 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14346/statm: 14936 13212 378 142 0 13890 0
Current children cumulated CPU time (s) 876.57
Current children cumulated vsize (KiB) 59744

[startup+942.302 s]
/proc/loadavg: 1.55 1.91 1.96 2/68 14927
/proc/meminfo: memFree=1531520/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=61064 CPUtime=936.36
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 20068 822 0 0 93614 22 0 0 25 0 1 0 60401581 62529536 13778 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 15266 13778 378 142 0 14220 0
Current children cumulated CPU time (s) 936.36
Current children cumulated vsize (KiB) 61064

[startup+1002.3 s]
/proc/loadavg: 1.26 1.76 1.90 2/68 15092
/proc/meminfo: memFree=1529152/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=62252 CPUtime=996.24
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 20597 822 0 0 99601 23 0 0 25 0 1 0 60401581 63746048 14307 996147200 134512640 135095119 4294956304 18446744073709551615 134617221 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 15563 14307 378 142 0 14517 0
Current children cumulated CPU time (s) 996.24
Current children cumulated vsize (KiB) 62252

[startup+1062.3 s]
/proc/loadavg: 1.17 1.64 1.85 2/68 15191
/proc/meminfo: memFree=1526720/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=79952 CPUtime=1056.15
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 25255 822 0 0 105589 26 0 0 25 0 1 0 60401581 81870848 14868 996147200 134512640 135095119 4294956304 18446744073709551615 134589654 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 19988 14868 378 142 0 18942 0
Current children cumulated CPU time (s) 1056.15
Current children cumulated vsize (KiB) 79952

[startup+1122.3 s]
/proc/loadavg: 1.06 1.52 1.79 2/68 15323
/proc/meminfo: memFree=1523968/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=81144 CPUtime=1116.06
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 25771 822 0 0 111579 27 0 0 25 0 1 0 60401581 83091456 15384 996147200 134512640 135095119 4294956304 18446744073709551615 134617227 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 20286 15384 378 142 0 19240 0
Current children cumulated CPU time (s) 1116.06
Current children cumulated vsize (KiB) 81144

[startup+1182.3 s]
/proc/loadavg: 1.02 1.42 1.74 2/65 15360
/proc/meminfo: memFree=1523296/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=82332 CPUtime=1176.02
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 26282 822 0 0 117575 27 0 0 25 0 1 0 60401581 84307968 15895 996147200 134512640 135095119 4294956304 18446744073709551615 134636926 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 20583 15895 378 142 0 19537 0
Current children cumulated CPU time (s) 1176.02
Current children cumulated vsize (KiB) 82332

[startup+1242.3 s]
/proc/loadavg: 1.01 1.34 1.69 2/65 15360
/proc/meminfo: memFree=1521248/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=83524 CPUtime=1236.01
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 26792 822 0 0 123573 28 0 0 25 0 1 0 60401581 85528576 16405 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 20881 16405 378 142 0 19835 0
Current children cumulated CPU time (s) 1236.01
Current children cumulated vsize (KiB) 83524

[startup+1302.3 s]
/proc/loadavg: 1.00 1.28 1.64 2/65 15360
/proc/meminfo: memFree=1519264/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=84712 CPUtime=1295.99
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 27291 822 0 0 129570 29 0 0 25 0 1 0 60401581 86745088 16904 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 21178 16904 378 142 0 20132 0
Current children cumulated CPU time (s) 1295.99
Current children cumulated vsize (KiB) 84712

[startup+1362.3 s]
/proc/loadavg: 1.00 1.22 1.60 2/65 15360
/proc/meminfo: memFree=1517152/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=85904 CPUtime=1355.97
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 27800 822 0 0 135568 29 0 0 25 0 1 0 60401581 87965696 17413 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 21476 17413 378 142 0 20430 0
Current children cumulated CPU time (s) 1355.97
Current children cumulated vsize (KiB) 85904

[startup+1422.3 s]
/proc/loadavg: 1.00 1.18 1.56 2/65 15360
/proc/meminfo: memFree=1515232/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=86960 CPUtime=1415.95
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 28276 822 0 0 141566 29 0 0 25 0 1 0 60401581 89047040 17889 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 21740 17889 378 142 0 20694 0
Current children cumulated CPU time (s) 1415.95
Current children cumulated vsize (KiB) 86960

[startup+1482.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/65 15360
/proc/meminfo: memFree=1513440/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=87896 CPUtime=1475.94
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 28732 822 0 0 147564 30 0 0 25 0 1 0 60401581 90005504 18345 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 21974 18345 378 142 0 20928 0
Current children cumulated CPU time (s) 1475.94
Current children cumulated vsize (KiB) 87896

[startup+1542.31 s]
/proc/loadavg: 1.00 1.12 1.49 2/65 15366
/proc/meminfo: memFree=1499040/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=109552 CPUtime=1535.93
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 34334 822 0 0 153560 33 0 0 25 0 1 0 60401581 112181248 21898 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 27388 21898 378 142 0 26342 0
Current children cumulated CPU time (s) 1535.93
Current children cumulated vsize (KiB) 109552

[startup+1602.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/65 15366
/proc/meminfo: memFree=1498272/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=109552 CPUtime=1595.91
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 34527 822 0 0 159558 33 0 0 25 0 1 0 60401581 112181248 22091 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 27388 22091 378 142 0 26342 0
Current children cumulated CPU time (s) 1595.91
Current children cumulated vsize (KiB) 109552

[startup+1662.3 s]
/proc/loadavg: 1.00 1.07 1.42 2/65 15366
/proc/meminfo: memFree=1497504/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=109552 CPUtime=1655.89
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 34716 822 0 0 165556 33 0 0 25 0 1 0 60401581 112181248 22280 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 27388 22280 378 142 0 26342 0
Current children cumulated CPU time (s) 1655.89
Current children cumulated vsize (KiB) 109552

[startup+1722.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/65 15366
/proc/meminfo: memFree=1496736/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=109552 CPUtime=1715.87
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 34902 822 0 0 171554 33 0 0 25 0 1 0 60401581 112181248 22466 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 27388 22466 378 142 0 26342 0
Current children cumulated CPU time (s) 1715.87
Current children cumulated vsize (KiB) 109552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/65 15366
/proc/meminfo: memFree=1496096/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=109552 CPUtime=1775.86
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 35087 822 0 0 177552 34 0 0 25 0 1 0 60401581 112181248 22651 996147200 134512640 135095119 4294956304 18446744073709551615 134636881 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 27388 22651 378 142 0 26342 0
Current children cumulated CPU time (s) 1775.86
Current children cumulated vsize (KiB) 109552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.5 s]
/proc/loadavg: 1.00 1.04 1.35 2/65 15366
/proc/meminfo: memFree=1495776/2055920 swapFree=4192812/4192956
[pid=14346] ppid=14344 vsize=109552 CPUtime=1800.06
/proc/14346/stat : 14346 (pcs.small) R 14344 14346 13565 0 -1 4194304 35158 822 0 0 179972 34 0 0 25 0 1 0 60401581 112181248 22722 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/14346/statm: 27388 22722 378 142 0 26342 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 109552

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): 1806.52
CPU time (s): 1800.09
CPU user time (s): 1799.73
CPU system time (s): 0.361944
CPU usage (%): 99.6439
Max. virtual memory (cumulated for all children) (KiB): 112468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35980
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= 18
involuntary context switches= 18235

runsolver used 1.9437 second user time and 4.28035 second system time

The end

Launcher Data 

Begin job on node53 at 2009-07-16 10:36:16
IDJOB=2091789
IDBENCH=60121
IDSOLVER=733
FILE ID=node53/2091789-1247733376
PBS_JOBID= 9521484
Free space on /tmp= 66048 MiB

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

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

MD5SUM BENCH= 7404fd8d22ee40edd9f5759dc859e04d
RANDOM SEED=1581421660

node53.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1566784 kB
Buffers:         72180 kB
Cached:         311748 kB
SwapCached:          0 kB
Active:         109944 kB
Inactive:       310412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1566784 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2224 kB
Writeback:           0 kB
Mapped:          54780 kB
Slab:            54004 kB
Committed_AS:   561920 kB
PageTables:       1848 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66048 MiB
End job on node53 at 2009-07-16 11:06:24