Trace number 2078699

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.04 1812.62

General information on the benchmark

Namecsp/rand-3-28-28-fcd/
normalized-rand-3-28-28-93-632-fcd-4_ext.xml
MD5SUMe23d593393ee702080d39ef2e2518c19
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.01/0.05	c small-domain mode
0.01/0.06	c Seed is 1162709878
0.01/0.06	c Constructing HOME/instance-2078699-1247716512.xml  with 93 constraints
1.96/2.07	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-2078699-1247716512/watcher-2078699-1247716512 -o /tmp/evaluation-result-2078699-1247716512/solver-2078699-1247716512 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1162709878 HOME/instance-2078699-1247716512.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.03 2.06 2.01 4/81 16210
/proc/meminfo: memFree=965208/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=18576 CPUtime=0
/proc/16210/stat : 16210 (runsolver) R 16208 16210 14893 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58718221 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 269757246759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16210/statm: 4644 284 249 26 0 2626 0

[startup+0.0371481 s]
/proc/loadavg: 2.03 2.06 2.01 4/81 16210
/proc/meminfo: memFree=965208/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=5356 CPUtime=0.01
/proc/16210/stat : 16210 (pcssolve) S 16208 16210 14893 0 -1 4194304 367 750 0 0 0 0 0 1 22 0 1 0 58718221 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16210/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.102152 s]
/proc/loadavg: 2.03 2.06 2.01 4/81 16210
/proc/meminfo: memFree=965208/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=4944 CPUtime=0.08
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 923 974 0 0 4 0 3 1 21 0 1 0 58718221 5062656 532 996147200 134512640 135095119 4294956304 18446744073709551615 134921151 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 1236 532 375 142 0 190 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4944

[startup+0.301178 s]
/proc/loadavg: 2.03 2.06 2.01 4/81 16210
/proc/meminfo: memFree=965208/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=7444 CPUtime=0.27
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 1196 974 0 0 23 0 3 1 23 0 1 0 58718221 7622656 805 996147200 134512640 135095119 4294956304 18446744073709551615 134934173 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 1861 805 375 142 0 815 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7444

[startup+0.70123 s]
/proc/loadavg: 2.03 2.06 2.01 4/81 16210
/proc/meminfo: memFree=965208/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=12568 CPUtime=0.67
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 1719 974 0 0 63 0 3 1 25 0 1 0 58718221 12869632 1328 996147200 134512640 135095119 4294956304 18446744073709551615 12320418 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 3142 1328 375 142 0 2096 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 12568

[startup+1.50233 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 16216
/proc/meminfo: memFree=959632/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=22808 CPUtime=1.46
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 2792 974 0 0 141 1 3 1 25 0 1 0 58718221 23355392 2401 996147200 134512640 135095119 4294956304 18446744073709551615 12310387 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 5702 2401 375 142 0 4656 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22808

[startup+3.10155 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 16216
/proc/meminfo: memFree=953680/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=30204 CPUtime=3.05
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 3590 974 0 0 299 2 3 1 25 0 1 0 58718221 30928896 3198 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 7551 3198 389 142 0 6505 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 30204

[startup+6.30198 s]
/proc/loadavg: 2.03 2.05 2.01 3/82 16216
/proc/meminfo: memFree=953680/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=30204 CPUtime=6.22
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 3604 974 0 0 616 2 3 1 25 0 1 0 58718221 30928896 3212 996147200 134512640 135095119 4294956304 18446744073709551615 134926999 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 7551 3212 389 142 0 6505 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 30204

[startup+12.7018 s]
/proc/loadavg: 2.02 2.05 2.01 3/82 16216
/proc/meminfo: memFree=953424/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=30204 CPUtime=12.56
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 3662 974 0 0 1250 2 3 1 25 0 1 0 58718221 30928896 3270 996147200 134512640 135095119 4294956304 18446744073709551615 134927253 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 7551 3270 389 142 0 6505 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 30204

[startup+25.5015 s]
/proc/loadavg: 2.02 2.05 2.01 3/82 16216
/proc/meminfo: memFree=953104/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=30464 CPUtime=25.24
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 3764 974 0 0 2518 2 3 1 25 0 1 0 58718221 31195136 3372 996147200 134512640 135095119 4294956304 18446744073709551615 134918196 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 7616 3372 389 142 0 6570 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 30464

[startup+51.1019 s]
/proc/loadavg: 2.01 2.05 2.00 3/82 16216
/proc/meminfo: memFree=952272/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=31492 CPUtime=50.6
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 4166 974 0 0 5053 3 3 1 25 0 1 0 58718221 32247808 3580 996147200 134512640 135095119 4294956304 18446744073709551615 134910152 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 7873 3580 389 142 0 6827 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31492

[startup+102.307 s]
/proc/loadavg: 2.08 2.06 2.01 3/82 16216
/proc/meminfo: memFree=950736/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=32772 CPUtime=101.32
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 4858 974 0 0 10125 3 3 1 25 0 1 0 58718221 33558528 3950 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 8193 3950 389 142 0 7147 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 32772

[startup+162.302 s]
/proc/loadavg: 2.13 2.08 2.02 3/82 16216
/proc/meminfo: memFree=948304/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=33284 CPUtime=160.75
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 5587 974 0 0 16067 4 3 1 25 0 1 0 58718221 34082816 4550 996147200 134512640 135095119 4294956304 18446744073709551615 134910038 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 8321 4550 389 142 0 7275 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 33284

[startup+222.302 s]
/proc/loadavg: 2.28 2.12 2.03 4/82 16216
/proc/meminfo: memFree=947344/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=35332 CPUtime=220.19
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 6365 974 0 0 22010 5 3 1 25 0 1 0 58718221 36179968 4815 996147200 134512640 135095119 4294956304 18446744073709551615 134918065 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 8833 4815 389 142 0 7787 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 35332

[startup+282.301 s]
/proc/loadavg: 2.30 2.16 2.05 4/82 16216
/proc/meminfo: memFree=945488/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=35332 CPUtime=279.62
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 6817 974 0 0 27953 5 3 1 25 0 1 0 58718221 36179968 5267 996147200 134512640 135095119 4294956304 18446744073709551615 134927013 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 8833 5267 389 142 0 7787 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 35332

[startup+342.301 s]
/proc/loadavg: 2.18 2.14 2.05 3/82 16216
/proc/meminfo: memFree=942352/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=36616 CPUtime=339.06
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 7840 974 0 0 33896 6 3 1 25 0 1 0 58718221 37494784 6033 996147200 134512640 135095119 4294956304 18446744073709551615 134918215 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 9154 6033 389 142 0 8108 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 36616

[startup+402.301 s]
/proc/loadavg: 2.14 2.14 2.05 3/82 16222
/proc/meminfo: memFree=941448/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=40712 CPUtime=398.49
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 9090 974 0 0 39837 8 3 1 25 0 1 0 58718221 41689088 6258 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 10178 6258 389 142 0 9132 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 40712

[startup+462.302 s]
/proc/loadavg: 2.13 2.14 2.06 3/82 16222
/proc/meminfo: memFree=940232/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=40712 CPUtime=457.91
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 9391 974 0 0 45779 8 3 1 25 0 1 0 58718221 41689088 6559 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 10178 6559 389 142 0 9132 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 40712

[startup+522.301 s]
/proc/loadavg: 2.18 2.15 2.06 3/82 16222
/proc/meminfo: memFree=938568/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=40712 CPUtime=517.35
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 9839 974 0 0 51723 8 3 1 25 0 1 0 58718221 41689088 7007 996147200 134512640 135095119 4294956304 18446744073709551615 134926956 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 10178 7007 389 142 0 9132 0
Current children cumulated CPU time (s) 517.35
Current children cumulated vsize (KiB) 40712

[startup+582.301 s]
/proc/loadavg: 2.23 2.17 2.08 4/82 16222
/proc/meminfo: memFree=936776/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=40712 CPUtime=576.79
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 10298 974 0 0 57666 9 3 1 25 0 1 0 58718221 41689088 7466 996147200 134512640 135095119 4294956304 18446744073709551615 134918156 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 10178 7466 389 142 0 9132 0
Current children cumulated CPU time (s) 576.79
Current children cumulated vsize (KiB) 40712

[startup+642.303 s]
/proc/loadavg: 2.28 2.20 2.09 4/82 16222
/proc/meminfo: memFree=931784/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=43016 CPUtime=636.23
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 12103 974 0 0 63609 10 3 1 25 0 1 0 58718221 44048384 8693 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 10754 8693 389 142 0 9708 0
Current children cumulated CPU time (s) 636.23
Current children cumulated vsize (KiB) 43016

[startup+702.303 s]

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

[startup+822.303 s]
/proc/loadavg: 2.24 2.21 2.10 3/82 16222
/proc/meminfo: memFree=928976/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=51208 CPUtime=814.53
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 14837 974 0 0 81437 12 3 1 25 0 1 0 58718221 52436992 9378 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 12802 9378 389 142 0 11756 0
Current children cumulated CPU time (s) 814.53
Current children cumulated vsize (KiB) 51208

[startup+882.303 s]
/proc/loadavg: 2.17 2.19 2.10 3/82 16222
/proc/meminfo: memFree=927120/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=51208 CPUtime=873.97
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 15287 974 0 0 87380 13 3 1 25 0 1 0 58718221 52436992 9828 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 12802 9828 389 142 0 11756 0
Current children cumulated CPU time (s) 873.97
Current children cumulated vsize (KiB) 51208

[startup+942.303 s]
/proc/loadavg: 2.30 2.23 2.12 3/82 16222
/proc/meminfo: memFree=925392/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=51208 CPUtime=933.41
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 15748 974 0 0 93323 14 3 1 25 0 1 0 58718221 52436992 10289 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 12802 10289 389 142 0 11756 0
Current children cumulated CPU time (s) 933.41
Current children cumulated vsize (KiB) 51208

[startup+1002.3 s]
/proc/loadavg: 2.25 2.22 2.12 3/82 16222
/proc/meminfo: memFree=923536/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=51868 CPUtime=992.85
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 16199 974 0 0 99266 15 3 1 25 0 1 0 58718221 53112832 10740 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 12967 10740 389 142 0 11921 0
Current children cumulated CPU time (s) 992.85
Current children cumulated vsize (KiB) 51868

[startup+1062.3 s]
/proc/loadavg: 2.25 2.22 2.12 3/82 16222
/proc/meminfo: memFree=921552/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=53044 CPUtime=1052.28
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 16701 974 0 0 105208 16 3 1 25 0 1 0 58718221 54317056 11242 996147200 134512640 135095119 4294956304 18446744073709551615 134918161 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 13261 11242 389 142 0 12215 0
Current children cumulated CPU time (s) 1052.28
Current children cumulated vsize (KiB) 53044

[startup+1122.3 s]
/proc/loadavg: 2.29 2.25 2.14 3/82 16222
/proc/meminfo: memFree=919440/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=54100 CPUtime=1111.71
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 17192 974 0 0 111151 16 3 1 25 0 1 0 58718221 55398400 11733 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 13525 11733 389 142 0 12479 0
Current children cumulated CPU time (s) 1111.71
Current children cumulated vsize (KiB) 54100

[startup+1182.3 s]
/proc/loadavg: 2.22 2.25 2.14 3/82 16222
/proc/meminfo: memFree=917392/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=55140 CPUtime=1171.15
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 17688 974 0 0 117094 17 3 1 25 0 1 0 58718221 56463360 12229 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 13785 12229 389 142 0 12739 0
Current children cumulated CPU time (s) 1171.15
Current children cumulated vsize (KiB) 55140

[startup+1242.3 s]
/proc/loadavg: 2.35 2.27 2.16 3/82 16222
/proc/meminfo: memFree=907664/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=68456 CPUtime=1230.58
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 21252 974 0 0 123036 18 3 1 25 0 1 0 58718221 70098944 14639 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 17114 14639 389 142 0 16068 0
Current children cumulated CPU time (s) 1230.58
Current children cumulated vsize (KiB) 68456

[startup+1302.3 s]
/proc/loadavg: 2.16 2.24 2.15 3/82 16222
/proc/meminfo: memFree=906640/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=68456 CPUtime=1290.03
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 21474 974 0 0 128980 19 3 1 25 0 1 0 58718221 70098944 14861 996147200 134512640 135095119 4294956304 18446744073709551615 134927077 0 0 4096 0 0 0 0 17 1 0 0
/proc/16210/statm: 17114 14861 389 142 0 16068 0
Current children cumulated CPU time (s) 1290.03
Current children cumulated vsize (KiB) 68456

[startup+1362.3 s]
/proc/loadavg: 2.13 2.22 2.15 3/73 16297
/proc/meminfo: memFree=1319904/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=68456 CPUtime=1349.89
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 21713 974 0 0 134964 21 3 1 25 0 1 0 58718221 70098944 15100 996147200 134512640 135095119 4294956304 18446744073709551615 134918117 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 17114 15100 389 142 0 16068 0
Current children cumulated CPU time (s) 1349.89
Current children cumulated vsize (KiB) 68456

[startup+1422.31 s]
/proc/loadavg: 2.05 2.18 2.14 3/73 16297
/proc/meminfo: memFree=1161120/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=68456 CPUtime=1409.87
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 21961 974 0 0 140962 21 3 1 25 0 1 0 58718221 70098944 15348 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 17114 15348 389 142 0 16068 0
Current children cumulated CPU time (s) 1409.87
Current children cumulated vsize (KiB) 68456

[startup+1482.3 s]
/proc/loadavg: 2.02 2.14 2.12 3/73 16297
/proc/meminfo: memFree=1028576/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=84840 CPUtime=1469.84
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 26306 974 0 0 146956 24 3 1 25 0 1 0 58718221 86876160 15596 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 21210 15596 389 142 0 20164 0
Current children cumulated CPU time (s) 1469.84
Current children cumulated vsize (KiB) 84840

[startup+1542.3 s]
/proc/loadavg: 2.00 2.11 2.11 3/73 16297
/proc/meminfo: memFree=1027296/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=84840 CPUtime=1529.81
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 26539 974 0 0 152953 24 3 1 25 0 1 0 58718221 86876160 15829 996147200 134512640 135095119 4294956304 18446744073709551615 12087038 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 21210 15829 389 142 0 20164 0
Current children cumulated CPU time (s) 1529.81
Current children cumulated vsize (KiB) 84840

[startup+1602.3 s]
/proc/loadavg: 2.00 2.09 2.10 3/73 16297
/proc/meminfo: memFree=1025888/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=84840 CPUtime=1589.79
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 26776 974 0 0 158950 25 3 1 25 0 1 0 58718221 86876160 16066 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 21210 16066 389 142 0 20164 0
Current children cumulated CPU time (s) 1589.79
Current children cumulated vsize (KiB) 84840

[startup+1662.3 s]
/proc/loadavg: 2.00 2.07 2.09 3/73 16297
/proc/meminfo: memFree=1024104/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=85756 CPUtime=1649.76
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 27236 974 0 0 164947 25 3 1 25 0 1 0 58718221 87814144 16526 996147200 134512640 135095119 4294956304 18446744073709551615 134918171 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 21439 16526 389 142 0 20393 0
Current children cumulated CPU time (s) 1649.76
Current children cumulated vsize (KiB) 85756

[startup+1722.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/73 16297
/proc/meminfo: memFree=1021224/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=87052 CPUtime=1709.74
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 27805 974 0 0 170944 26 3 1 25 0 1 0 58718221 89141248 17095 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 21763 17095 389 142 0 20717 0
Current children cumulated CPU time (s) 1709.74
Current children cumulated vsize (KiB) 87052

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/73 16297
/proc/meminfo: memFree=1018728/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=88356 CPUtime=1769.71
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 28380 974 0 0 176940 27 3 1 25 0 1 0 58718221 90476544 17670 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 22089 17670 389 142 0 21043 0
Current children cumulated CPU time (s) 1769.71
Current children cumulated vsize (KiB) 88356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.6 s]
/proc/loadavg: 2.00 2.04 2.08 3/73 16297
/proc/meminfo: memFree=1017448/2055920 swapFree=4192812/4192956
[pid=16210] ppid=16208 vsize=89004 CPUtime=1800.01
/proc/16210/stat : 16210 (pcs.small) R 16208 16210 14893 0 -1 4194304 28683 974 0 0 179969 28 3 1 25 0 1 0 58718221 91140096 17973 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 0 0 0
/proc/16210/statm: 22251 17973 389 142 0 21205 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 89004

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): 1812.62
CPU time (s): 1800.04
CPU user time (s): 1799.72
CPU system time (s): 0.311952
CPU usage (%): 99.3059
Max. virtual memory (cumulated for all children) (KiB): 89004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.311952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29657
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= 54927

runsolver used 2.47462 second user time and 5.64014 second system time

The end

Launcher Data 

Begin job on node13 at 2009-07-16 05:55:13
IDJOB=2078699
IDBENCH=56805
IDSOLVER=733
FILE ID=node13/2078699-1247716512
PBS_JOBID= 9521326
Free space on /tmp= 66300 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-4_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2078699-1247716512/watcher-2078699-1247716512 -o /tmp/evaluation-result-2078699-1247716512/solver-2078699-1247716512 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1162709878 HOME/instance-2078699-1247716512.xml

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

MD5SUM BENCH= e23d593393ee702080d39ef2e2518c19
RANDOM SEED=1162709878

node13.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.241
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.241
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:        965688 kB
Buffers:         82500 kB
Cached:         370448 kB
SwapCached:          0 kB
Active:         732416 kB
Inactive:       274748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        965688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7556 kB
Writeback:           0 kB
Mapped:         574704 kB
Slab:            66944 kB
Committed_AS:  1065408 kB
PageTables:       3024 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= 66304 MiB
End job on node13 at 2009-07-16 06:25:28