Trace number 2064653

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.05 1814.62

General information on the benchmark

Namecsp/rand-3-28-28/
normalized-rand-3-28-28-93-632-24_ext.xml
MD5SUM46ed804fdcb0b73d2182e6878d1ca1ef
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.00/0.05	c small-domain mode
0.00/0.05	c Seed is 327583768
0.00/0.05	c Constructing HOME/instance-2064653-1247696188.xml  with 93 constraints
1.96/2.00	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-2064653-1247696188/watcher-2064653-1247696188 -o /tmp/evaluation-result-2064653-1247696188/solver-2064653-1247696188 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 327583768 HOME/instance-2064653-1247696188.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.99 1.97 1.71 4/72 13896
/proc/meminfo: memFree=1520984/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=18576 CPUtime=0
/proc/13896/stat : 13896 (runsolver) R 13894 13896 13058 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56686598 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13896/statm: 4644 284 249 26 0 2626 0

[startup+0.106878 s]
/proc/loadavg: 1.99 1.97 1.71 4/72 13896
/proc/meminfo: memFree=1520984/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=5244 CPUtime=0.08
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 939 974 0 0 5 0 2 1 18 0 1 0 56686598 5369856 548 996147200 134512640 135095119 4294956304 18446744073709551615 134803271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 1311 548 375 142 0 265 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5244

[startup+0.201886 s]
/proc/loadavg: 1.99 1.97 1.71 4/72 13896
/proc/meminfo: memFree=1520984/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=6340 CPUtime=0.17
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 1072 974 0 0 14 0 2 1 18 0 1 0 56686598 6492160 681 996147200 134512640 135095119 4294956304 18446744073709551615 134928549 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 1585 681 375 142 0 539 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 6340

[startup+0.3019 s]
/proc/loadavg: 1.99 1.97 1.71 4/72 13896
/proc/meminfo: memFree=1520984/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=7596 CPUtime=0.27
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 1198 974 0 0 24 0 2 1 19 0 1 0 56686598 7778304 807 996147200 134512640 135095119 4294956304 18446744073709551615 134694624 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 1899 807 375 142 0 853 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7596

[startup+0.701947 s]
/proc/loadavg: 1.99 1.97 1.71 4/72 13896
/proc/meminfo: memFree=1520984/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=12968 CPUtime=0.66
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 1756 974 0 0 63 0 2 1 23 0 1 0 56686598 13279232 1365 996147200 134512640 135095119 4294956304 18446744073709551615 134943932 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 3242 1365 375 142 0 2196 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 12968

[startup+1.50104 s]
/proc/loadavg: 1.99 1.97 1.71 3/73 13902
/proc/meminfo: memFree=1514448/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=23764 CPUtime=1.46
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 2879 974 0 0 142 1 2 1 25 0 1 0 56686598 24334336 2488 996147200 134512640 135095119 4294956304 18446744073709551615 134730755 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 5941 2488 375 142 0 4895 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 23764

[startup+3.10123 s]
/proc/loadavg: 1.99 1.97 1.71 3/73 13902
/proc/meminfo: memFree=1509200/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=30204 CPUtime=3.05
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 3590 974 0 0 300 2 2 1 25 0 1 0 56686598 30928896 3198 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 7551 3198 389 142 0 6505 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 30204

[startup+6.30261 s]
/proc/loadavg: 1.99 1.97 1.71 3/73 13902
/proc/meminfo: memFree=1509008/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=30204 CPUtime=6.21
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 3606 974 0 0 616 2 2 1 25 0 1 0 56686598 30928896 3214 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 7551 3214 389 142 0 6505 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 30204

[startup+12.7014 s]
/proc/loadavg: 1.99 1.97 1.71 3/73 13902
/proc/meminfo: memFree=1508432/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=30204 CPUtime=12.55
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 3657 974 0 0 1250 2 2 1 25 0 1 0 56686598 30928896 3265 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 7551 3265 389 142 0 6505 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 30204

[startup+25.5019 s]
/proc/loadavg: 1.99 1.97 1.72 3/73 13902
/proc/meminfo: memFree=1505872/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=30464 CPUtime=25.25
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 3765 974 0 0 2519 3 2 1 25 0 1 0 56686598 31195136 3373 996147200 134512640 135095119 4294956304 18446744073709551615 134927088 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 7616 3373 389 142 0 6570 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 30464

[startup+51.1019 s]
/proc/loadavg: 1.99 1.97 1.72 3/73 13902
/proc/meminfo: memFree=1504400/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=31492 CPUtime=50.61
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 4169 974 0 0 5055 3 2 1 25 0 1 0 56686598 32247808 3583 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 7873 3583 389 142 0 6827 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 31492

[startup+102.302 s]
/proc/loadavg: 1.99 1.97 1.74 3/73 13902
/proc/meminfo: memFree=1500624/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=32772 CPUtime=101.37
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 4886 974 0 0 10130 4 2 1 25 0 1 0 56686598 33558528 3978 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 8193 3978 389 142 0 7147 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 32772

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 13902
/proc/meminfo: memFree=1496144/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=33284 CPUtime=160.83
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 5612 974 0 0 16075 5 2 1 25 0 1 0 56686598 34082816 4575 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 8321 4575 389 142 0 7275 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 33284

[startup+222.306 s]
/proc/loadavg: 1.99 1.97 1.76 3/73 13902
/proc/meminfo: memFree=1488272/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=35332 CPUtime=220.31
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 6484 974 0 0 22022 6 2 1 25 0 1 0 56686598 36179968 4934 996147200 134512640 135095119 4294956304 18446744073709551615 134918171 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 8833 4934 389 142 0 7787 0
Current children cumulated CPU time (s) 220.31
Current children cumulated vsize (KiB) 35332

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/73 13902
/proc/meminfo: memFree=1483216/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=36616 CPUtime=279.77
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 7650 974 0 0 27967 7 2 1 25 0 1 0 56686598 37494784 5843 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 9154 5843 389 142 0 8108 0
Current children cumulated CPU time (s) 279.77
Current children cumulated vsize (KiB) 36616

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.78 3/73 13902
/proc/meminfo: memFree=1480144/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=36616 CPUtime=339.26
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 7874 974 0 0 33914 9 2 1 25 0 1 0 56686598 37494784 6067 996147200 134512640 135095119 4294956304 18446744073709551615 134927001 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 9154 6067 389 142 0 8108 0
Current children cumulated CPU time (s) 339.26
Current children cumulated vsize (KiB) 36616

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/73 13902
/proc/meminfo: memFree=1475600/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=40712 CPUtime=398.72
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 9218 974 0 0 39859 10 2 1 25 0 1 0 56686598 41689088 6386 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 10178 6386 389 142 0 9132 0
Current children cumulated CPU time (s) 398.72
Current children cumulated vsize (KiB) 40712

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.81 3/73 13902
/proc/meminfo: memFree=1470224/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=40712 CPUtime=458.2
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 9711 974 0 0 45807 10 2 1 25 0 1 0 56686598 41689088 6879 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 10178 6879 389 142 0 9132 0
Current children cumulated CPU time (s) 458.2
Current children cumulated vsize (KiB) 40712

[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 13902
/proc/meminfo: memFree=1464848/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=40712 CPUtime=517.69
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 10179 974 0 0 51755 11 2 1 25 0 1 0 56686598 41689088 7347 996147200 134512640 135095119 4294956304 18446744073709551615 134918175 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 10178 7347 389 142 0 9132 0
Current children cumulated CPU time (s) 517.69
Current children cumulated vsize (KiB) 40712

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 13902
/proc/meminfo: memFree=1450512/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=43016 CPUtime=577.15
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 11873 974 0 0 57700 12 2 1 25 0 1 0 56686598 44048384 8463 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 10754 8463 389 142 0 9708 0
Current children cumulated CPU time (s) 577.15
Current children cumulated vsize (KiB) 43016

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 13902
/proc/meminfo: memFree=1448144/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=43016 CPUtime=636.62
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 12105 974 0 0 63646 13 2 1 25 0 1 0 56686598 44048384 8695 996147200 134512640 135095119 4294956304 18446744073709551615 134910044 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 10754 8695 389 142 0 9708 0
Current children cumulated CPU time (s) 636.62
Current children cumulated vsize (KiB) 43016

[startup+702.302 s]

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

[startup+882.307 s]
/proc/loadavg: 1.99 1.97 1.85 3/73 13902
/proc/meminfo: memFree=1433616/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=51208 CPUtime=874.52
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 15643 974 0 0 87432 17 2 1 25 0 1 0 56686598 52436992 10184 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 12802 10184 389 142 0 11756 0
Current children cumulated CPU time (s) 874.52
Current children cumulated vsize (KiB) 51208

[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 13902
/proc/meminfo: memFree=1429072/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=51860 CPUtime=934
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 16042 974 0 0 93379 18 2 1 25 0 1 0 56686598 53104640 10583 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 12965 10583 389 142 0 11919 0
Current children cumulated CPU time (s) 934
Current children cumulated vsize (KiB) 51860

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 13902
/proc/meminfo: memFree=1423824/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=53036 CPUtime=993.47
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 16578 974 0 0 99325 19 2 1 25 0 1 0 56686598 54308864 11119 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 13259 11119 389 142 0 12213 0
Current children cumulated CPU time (s) 993.47
Current children cumulated vsize (KiB) 53036

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/73 13902
/proc/meminfo: memFree=1418448/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=54344 CPUtime=1052.95
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 17126 974 0 0 105273 19 2 1 25 0 1 0 56686598 55648256 11667 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 13586 11667 389 142 0 12540 0
Current children cumulated CPU time (s) 1052.95
Current children cumulated vsize (KiB) 54344

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/73 13902
/proc/meminfo: memFree=1413328/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=55524 CPUtime=1112.44
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 17673 974 0 0 111221 20 2 1 25 0 1 0 56686598 56856576 12214 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 13881 12214 389 142 0 12835 0
Current children cumulated CPU time (s) 1112.44
Current children cumulated vsize (KiB) 55524

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/73 13902
/proc/meminfo: memFree=1401040/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=67920 CPUtime=1171.91
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 21001 974 0 0 117166 22 2 1 25 0 1 0 56686598 69550080 14388 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16980 14388 389 142 0 15934 0
Current children cumulated CPU time (s) 1171.91
Current children cumulated vsize (KiB) 67920

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/73 13902
/proc/meminfo: memFree=1396816/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=67920 CPUtime=1231.39
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 21242 974 0 0 123114 22 2 1 25 0 1 0 56686598 69550080 14629 996147200 134512640 135095119 4294956304 18446744073709551615 134918171 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16980 14629 389 142 0 15934 0
Current children cumulated CPU time (s) 1231.39
Current children cumulated vsize (KiB) 67920

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/73 13902
/proc/meminfo: memFree=1377936/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=67920 CPUtime=1290.87
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 21482 974 0 0 129062 22 2 1 25 0 1 0 56686598 69550080 14869 996147200 134512640 135095119 4294956304 18446744073709551615 134910107 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16980 14869 389 142 0 15934 0
Current children cumulated CPU time (s) 1290.87
Current children cumulated vsize (KiB) 67920

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/73 13902
/proc/meminfo: memFree=1375504/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=67920 CPUtime=1350.33
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 21722 974 0 0 135007 23 2 1 25 0 1 0 56686598 69550080 15109 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16980 15109 389 142 0 15934 0
Current children cumulated CPU time (s) 1350.33
Current children cumulated vsize (KiB) 67920

[startup+1422.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 13902
/proc/meminfo: memFree=1373136/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=67920 CPUtime=1409.81
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 21936 974 0 0 140954 24 2 1 25 0 1 0 56686598 69550080 15323 996147200 134512640 135095119 4294956304 18446744073709551615 134927001 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16980 15323 389 142 0 15934 0
Current children cumulated CPU time (s) 1409.81
Current children cumulated vsize (KiB) 67920

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 13902
/proc/meminfo: memFree=1370832/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=67920 CPUtime=1469.27
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 22150 974 0 0 146900 24 2 1 25 0 1 0 56686598 69550080 15537 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 16980 15537 389 142 0 15934 0
Current children cumulated CPU time (s) 1469.27
Current children cumulated vsize (KiB) 67920

[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 13902
/proc/meminfo: memFree=1367760/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=84960 CPUtime=1528.75
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 26614 974 0 0 152845 27 2 1 25 0 1 0 56686598 86999040 15904 996147200 134512640 135095119 4294956304 18446744073709551615 134927054 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 21240 15904 389 142 0 20194 0
Current children cumulated CPU time (s) 1528.75
Current children cumulated vsize (KiB) 84960

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 13902
/proc/meminfo: memFree=1364432/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=86004 CPUtime=1588.22
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 27093 974 0 0 158791 28 2 1 25 0 1 0 56686598 88068096 16383 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 1 0 0
/proc/13896/statm: 21501 16383 389 142 0 20455 0
Current children cumulated CPU time (s) 1588.22
Current children cumulated vsize (KiB) 86004

[startup+1662.3 s]
/proc/loadavg: 1.92 1.95 1.90 3/82 13944
/proc/meminfo: memFree=1447168/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=87172 CPUtime=1647.77
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 27610 974 0 0 164744 30 2 1 25 0 1 0 56686598 89264128 16900 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/13896/statm: 21793 16900 389 142 0 20747 0
Current children cumulated CPU time (s) 1647.77
Current children cumulated vsize (KiB) 87172

[startup+1722.3 s]
/proc/loadavg: 1.97 1.96 1.91 3/82 13944
/proc/meminfo: memFree=1445120/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=88344 CPUtime=1707.75
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 28153 974 0 0 170741 31 2 1 25 0 1 0 56686598 90464256 17443 996147200 134512640 135095119 4294956304 18446744073709551615 134554989 0 0 4096 0 0 0 0 17 0 0 0
/proc/13896/statm: 22086 17443 389 142 0 21040 0
Current children cumulated CPU time (s) 1707.75
Current children cumulated vsize (KiB) 88344

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 13944
/proc/meminfo: memFree=1442752/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=89656 CPUtime=1767.72
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 28695 974 0 0 176738 31 2 1 25 0 1 0 56686598 91807744 17985 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/13896/statm: 22414 17985 389 142 0 21368 0
Current children cumulated CPU time (s) 1767.72
Current children cumulated vsize (KiB) 89656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.6 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 13944
/proc/meminfo: memFree=1441472/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=90308 CPUtime=1800.01
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 28992 974 0 0 179967 31 2 1 25 0 1 0 56686598 92475392 18282 996147200 134512640 135095119 4294956304 18446744073709551615 134916454 0 0 4096 0 0 0 0 17 0 0 0
/proc/13896/statm: 22577 18282 389 142 0 21531 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 90308

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

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

[startup+1814.6 s]
/proc/loadavg: 1.99 1.97 1.91 3/82 13944
/proc/meminfo: memFree=1441472/2055920 swapFree=4192812/4192956
[pid=13896] ppid=13894 vsize=90308 CPUtime=1800.01
/proc/13896/stat : 13896 (pcs.small) R 13894 13896 13058 0 -1 4194304 28992 974 0 0 179967 31 2 1 25 0 1 0 56686598 92475392 18282 996147200 134512640 135095119 4294956304 18446744073709551615 134916454 0 0 4096 0 0 0 0 17 0 0 0
/proc/13896/statm: 22577 18282 389 142 0 21531 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 90308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.62
CPU time (s): 1800.05
CPU user time (s): 1799.71
CPU system time (s): 0.345947
CPU usage (%): 99.1972
Max. virtual memory (cumulated for all children) (KiB): 100692

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

runsolver used 2.36964 second user time and 5.48517 second system time

The end

Launcher Data 

Begin job on node1 at 2009-07-16 00:16:28
IDJOB=2064653
IDBENCH=54173
IDSOLVER=734
FILE ID=node1/2064653-1247696188
PBS_JOBID= 9521307
Free space on /tmp= 66380 MiB

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

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

MD5SUM BENCH= 46ed804fdcb0b73d2182e6878d1ca1ef
RANDOM SEED=327583768

node1.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.216
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.216
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:       1521464 kB
Buffers:         72304 kB
Cached:         366568 kB
SwapCached:          0 kB
Active:         175132 kB
Inactive:       293104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1521464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7548 kB
Writeback:           0 kB
Mapped:          40840 kB
Slab:            51648 kB
Committed_AS:   655248 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= 66380 MiB
End job on node1 at 2009-07-16 00:46:45