Trace number 2071131

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.08 1811.67

General information on the benchmark

Namecsp/golombRulerArity4/
normalized-ruler-70-13-a4.xml
MD5SUM96dbd6d1ed3c59f1530469160a845dc5
Bench CategoryN-ARY-INT (n-ary constraints in intension)
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 variables13
Number of constraints2795
Maximum constraint arity4
Maximum domain size71
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2795
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.08/0.12	c Seed is 1114354119
0.08/0.12	c Constructing HOME/instance-2071131-1247709592.xml 
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V15)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V17)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V18)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V19)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V20)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V21)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V22)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V23)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V24)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V25)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V26)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V27)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V28)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V29)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V30)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V31)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V32)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V33)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V34)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V35)
0.08/0.12	c deduced all_different(V15,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V36)
0.08/0.12	c deduced all_different(V16,V38,V48,V57,V65,V72,V78,V83,V87,V90,V92,V37)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V39)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V40)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V41)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V42)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V43)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V44)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V45)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V46)
0.08/0.12	c deduced all_different(V15,V16,V48,V57,V65,V72,V78,V83,V87,V90,V92,V47)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V49)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V50)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V51)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V52)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V53)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V54)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V55)
0.08/0.12	c deduced all_different(V15,V16,V38,V57,V65,V72,V78,V83,V87,V90,V92,V56)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V65,V72,V78,V83,V87,V90,V92,V58)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V65,V72,V78,V83,V87,V90,V92,V59)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V65,V72,V78,V83,V87,V90,V92,V60)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V65,V72,V78,V83,V87,V90,V92,V61)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V65,V72,V78,V83,V87,V90,V92,V62)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V65,V72,V78,V83,V87,V90,V92,V63)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V65,V72,V78,V83,V87,V90,V92,V64)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V72,V78,V83,V87,V90,V92,V66)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V72,V78,V83,V87,V90,V92,V67)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V72,V78,V83,V87,V90,V92,V68)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V72,V78,V83,V87,V90,V92,V69)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V72,V78,V83,V87,V90,V92,V70)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V72,V78,V83,V87,V90,V92,V71)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V78,V83,V87,V90,V92,V73)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V78,V83,V87,V90,V92,V74)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V78,V83,V87,V90,V92,V75)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V78,V83,V87,V90,V92,V76)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V78,V83,V87,V90,V92,V77)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V83,V87,V90,V92,V79)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V83,V87,V90,V92,V80)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V83,V87,V90,V92,V81)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V83,V87,V90,V92,V82)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V78,V87,V90,V92,V84)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V78,V87,V90,V92,V85)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V78,V87,V90,V92,V86)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V78,V83,V90,V92,V88)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V78,V83,V90,V92,V89)
0.08/0.12	c deduced all_different(V15,V16,V38,V48,V57,V65,V72,V78,V83,V87,V92,V91)
0.08/0.12	c  with 2940 constraints
0.08/0.12	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-2071131-1247709592/watcher-2071131-1247709592 -o /tmp/evaluation-result-2071131-1247709592/solver-2071131-1247709592 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1114354119 HOME/instance-2071131-1247709592.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.93 1.98 2.02 4/82 11999
/proc/meminfo: memFree=1356864/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=5356 CPUtime=0
/proc/11999/stat : 11999 (pcssolve) S 11997 11999 9968 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 58023832 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11999/statm: 1339 242 201 169 0 50 0
[pid=12000] ppid=11999 vsize=5356 CPUtime=0
/proc/12000/stat : 12000 (pcssolve) R 11999 11999 9968 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 58023832 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 251601153319 0 0 4096 0 0 0 0 17 1 0 0
/proc/12000/statm: 1339 243 202 169 0 50 0
[pid=12001] ppid=11999 vsize=3676 CPUtime=0
/proc/12001/stat : 12001 (grep) S 11999 11999 9968 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 58023832 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 251601322066 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/12001/statm: 919 121 99 19 0 43 0

[startup+0.0516449 s]
/proc/loadavg: 1.93 1.98 2.02 4/82 11999
/proc/meminfo: memFree=1356864/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=4796 CPUtime=0.03
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 861 656 0 0 3 0 0 0 18 0 1 0 58023832 4911104 492 996147200 134512640 135215973 4294956304 18446744073709551615 134899227 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 1199 492 383 171 0 124 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4796

[startup+0.101649 s]
/proc/loadavg: 1.93 1.98 2.02 4/82 11999
/proc/meminfo: memFree=1356864/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=5060 CPUtime=0.08
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 922 656 0 0 8 0 0 0 18 0 1 0 58023832 5181440 553 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 1265 553 383 171 0 190 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5060

[startup+0.301673 s]
/proc/loadavg: 1.93 1.98 2.02 4/82 11999
/proc/meminfo: memFree=1356864/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=5492 CPUtime=0.28
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 1062 656 0 0 28 0 0 0 19 0 1 0 58023832 5623808 693 996147200 134512640 135215973 4294956304 18446744073709551615 12095110 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 1373 693 410 171 0 298 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5492

[startup+0.701716 s]
/proc/loadavg: 1.93 1.98 2.02 4/82 11999
/proc/meminfo: memFree=1356864/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=5492 CPUtime=0.68
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 1077 656 0 0 68 0 0 0 23 0 1 0 58023832 5623808 708 996147200 134512640 135215973 4294956304 18446744073709551615 134587045 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 1373 708 410 171 0 298 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5492

[startup+1.50181 s]
/proc/loadavg: 1.93 1.98 2.02 3/83 12004
/proc/meminfo: memFree=1354872/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=6360 CPUtime=1.47
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 1295 656 0 0 147 0 0 0 25 0 1 0 58023832 6512640 873 996147200 134512640 135215973 4294956304 18446744073709551615 135094915 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 1590 873 410 171 0 515 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6360

[startup+3.10198 s]
/proc/loadavg: 1.93 1.98 2.02 3/83 12004
/proc/meminfo: memFree=1354680/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=6624 CPUtime=3.06
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 1389 656 0 0 306 0 0 0 25 0 1 0 58023832 6782976 967 996147200 134512640 135215973 4294956304 18446744073709551615 134592489 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 1656 967 410 171 0 581 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6624

[startup+6.30134 s]
/proc/loadavg: 1.93 1.98 2.02 3/83 12004
/proc/meminfo: memFree=1353152/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=8584 CPUtime=6.25
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 1926 656 0 0 624 1 0 0 25 0 1 0 58023832 8790016 1373 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 2146 1373 410 171 0 1071 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 8584

[startup+12.7011 s]
/proc/loadavg: 1.94 1.98 2.02 3/83 12004
/proc/meminfo: memFree=1350544/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=10676 CPUtime=12.62
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 2535 656 0 0 1261 1 0 0 25 0 1 0 58023832 10932224 1982 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 2669 1982 410 171 0 1594 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 10676

[startup+25.5015 s]
/proc/loadavg: 2.03 2.00 2.02 3/83 12004
/proc/meminfo: memFree=1345048/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=17100 CPUtime=25.36
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 4302 656 0 0 2534 2 0 0 25 0 1 0 58023832 17510400 3298 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 4275 3298 410 171 0 3200 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 17100

[startup+51.1014 s]
/proc/loadavg: 2.02 2.00 2.02 3/83 12004
/proc/meminfo: memFree=1335384/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=25884 CPUtime=50.83
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 6773 656 0 0 5079 4 0 0 25 0 1 0 58023832 26505216 5769 996147200 134512640 135215973 4294956304 18446744073709551615 4159346061 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 6471 5769 410 171 0 5396 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 25884

[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.02 3/83 12010
/proc/meminfo: memFree=1315728/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=45928 CPUtime=101.77
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 12211 656 0 0 10170 7 0 0 25 0 1 0 58023832 47030272 10565 996147200 134512640 135215973 4294956304 18446744073709551615 134649104 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 11482 10565 410 171 0 10407 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 45928

[startup+162.302 s]
/proc/loadavg: 2.24 2.07 2.03 3/83 12486
/proc/meminfo: memFree=1298512/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=64492 CPUtime=158.6
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 17428 656 0 0 15848 12 0 0 25 0 1 0 58023832 66039808 14757 996147200 134512640 135215973 4294956304 18446744073709551615 134615605 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 16123 14757 410 171 0 15048 0
Current children cumulated CPU time (s) 158.6
Current children cumulated vsize (KiB) 64492

[startup+222.301 s]
/proc/loadavg: 2.08 2.05 2.03 3/83 12486
/proc/meminfo: memFree=1283216/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=78568 CPUtime=218.3
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 21506 656 0 0 21816 14 0 0 25 0 1 0 58023832 80453632 18578 996147200 134512640 135215973 4294956304 18446744073709551615 134592677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 19642 18578 410 171 0 18567 0
Current children cumulated CPU time (s) 218.3
Current children cumulated vsize (KiB) 78568

[startup+282.301 s]
/proc/loadavg: 2.03 2.04 2.02 3/83 12486
/proc/meminfo: memFree=1267024/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=101356 CPUtime=278.01
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 27637 656 0 0 27783 18 0 0 25 0 1 0 58023832 103788544 22660 996147200 134512640 135215973 4294956304 18446744073709551615 134648325 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 25339 22660 410 171 0 24264 0
Current children cumulated CPU time (s) 278.01
Current children cumulated vsize (KiB) 101356

[startup+342.302 s]
/proc/loadavg: 2.06 2.05 2.02 3/83 12486
/proc/meminfo: memFree=1251408/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=115336 CPUtime=337.71
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 31587 656 0 0 33749 22 0 0 25 0 1 0 58023832 118104064 26505 996147200 134512640 135215973 4294956304 18446744073709551615 134590480 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 28834 26505 410 171 0 27759 0
Current children cumulated CPU time (s) 337.71
Current children cumulated vsize (KiB) 115336

[startup+402.302 s]
/proc/loadavg: 2.02 2.04 2.01 3/83 12486
/proc/meminfo: memFree=1237904/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=127200 CPUtime=397.41
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 34994 656 0 0 39716 25 0 0 25 0 1 0 58023832 130252800 29912 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 31800 29912 410 171 0 30725 0
Current children cumulated CPU time (s) 397.41
Current children cumulated vsize (KiB) 127200

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.01 3/83 12486
/proc/meminfo: memFree=1226072/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=137608 CPUtime=457.12
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 37950 656 0 0 45686 26 0 0 25 0 1 0 58023832 140910592 32868 996147200 134512640 135215973 4294956304 18446744073709551615 4158844876 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 34402 32868 410 171 0 33327 0
Current children cumulated CPU time (s) 457.12
Current children cumulated vsize (KiB) 137608

[startup+522.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 12486
/proc/meminfo: memFree=1212824/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=151528 CPUtime=516.82
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 41790 656 0 0 51653 29 0 0 25 0 1 0 58023832 155164672 36195 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 37882 36195 410 171 0 36807 0
Current children cumulated CPU time (s) 516.82
Current children cumulated vsize (KiB) 151528

[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 12486
/proc/meminfo: memFree=1201688/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=161156 CPUtime=576.53
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 44566 656 0 0 57623 30 0 0 25 0 1 0 58023832 165023744 38971 996147200 134512640 135215973 4294956304 18446744073709551615 134902543 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 40289 38971 410 171 0 39214 0
Current children cumulated CPU time (s) 576.53
Current children cumulated vsize (KiB) 161156

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 12486
/proc/meminfo: memFree=1191320/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=186384 CPUtime=636.23

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

[startup+822.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 12486
/proc/meminfo: memFree=1153688/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=220516 CPUtime=815.35
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 60653 656 0 0 81493 42 0 0 25 0 1 0 58023832 225808384 50961 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 55129 50961 410 171 0 54054 0
Current children cumulated CPU time (s) 815.35
Current children cumulated vsize (KiB) 220516

[startup+882.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1142488/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=230260 CPUtime=875.05
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 63387 656 0 0 87461 44 0 0 25 0 1 0 58023832 235786240 53695 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 57565 53695 410 171 0 56490 0
Current children cumulated CPU time (s) 875.05
Current children cumulated vsize (KiB) 230260

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1131864/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=239884 CPUtime=934.76
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 66042 656 0 0 93429 47 0 0 25 0 1 0 58023832 245641216 56350 996147200 134512640 135215973 4294956304 18446744073709551615 134588312 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 59971 56350 410 171 0 58896 0
Current children cumulated CPU time (s) 934.76
Current children cumulated vsize (KiB) 239884

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1121176/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=249488 CPUtime=994.46
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 68695 656 0 0 99396 50 0 0 25 0 1 0 58023832 255475712 59003 996147200 134512640 135215973 4294956304 18446744073709551615 134591450 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 62372 59003 410 171 0 61297 0
Current children cumulated CPU time (s) 994.46
Current children cumulated vsize (KiB) 249488

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1111704/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=257932 CPUtime=1054.15
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 71108 656 0 0 105363 52 0 0 25 0 1 0 58023832 264122368 61416 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 64483 61416 410 171 0 63408 0
Current children cumulated CPU time (s) 1054.15
Current children cumulated vsize (KiB) 257932

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1100888/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=267552 CPUtime=1113.87
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 73776 656 0 0 111332 55 0 0 25 0 1 0 58023832 273973248 64084 996147200 134512640 135215973 4294956304 18446744073709551615 135094982 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 66888 64084 410 171 0 65813 0
Current children cumulated CPU time (s) 1113.87
Current children cumulated vsize (KiB) 267552

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1091096/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=276112 CPUtime=1173.57
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 76232 656 0 0 117300 57 0 0 25 0 1 0 58023832 282738688 66540 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 69028 66540 410 171 0 67953 0
Current children cumulated CPU time (s) 1173.57
Current children cumulated vsize (KiB) 276112

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1081560/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=284280 CPUtime=1233.28
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 78567 656 0 0 123268 60 0 0 25 0 1 0 58023832 291102720 68875 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 71070 68875 410 171 0 69995 0
Current children cumulated CPU time (s) 1233.28
Current children cumulated vsize (KiB) 284280

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1072088/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=292576 CPUtime=1292.98
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 80879 656 0 0 129236 62 0 0 25 0 1 0 58023832 299597824 71187 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 73144 71187 410 171 0 72069 0
Current children cumulated CPU time (s) 1292.98
Current children cumulated vsize (KiB) 292576

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 12486
/proc/meminfo: memFree=1063320/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=300356 CPUtime=1352.69
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 83101 656 0 0 135205 64 0 0 25 0 1 0 58023832 307564544 73409 996147200 134512640 135215973 4294956304 18446744073709551615 4158961068 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 75089 73409 410 171 0 74014 0
Current children cumulated CPU time (s) 1352.69
Current children cumulated vsize (KiB) 300356

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 12486
/proc/meminfo: memFree=1053528/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=308920 CPUtime=1412.39
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 85513 656 0 0 141173 66 0 0 25 0 1 0 58023832 316334080 75821 996147200 134512640 135215973 4294956304 18446744073709551615 134585951 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 77230 75821 410 171 0 76155 0
Current children cumulated CPU time (s) 1412.39
Current children cumulated vsize (KiB) 308920

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12486
/proc/meminfo: memFree=1044312/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=317352 CPUtime=1472.1
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 87836 656 0 0 147142 68 0 0 25 0 1 0 58023832 324968448 78144 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 79338 78144 410 171 0 78263 0
Current children cumulated CPU time (s) 1472.1
Current children cumulated vsize (KiB) 317352

[startup+1542.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/74 12553
/proc/meminfo: memFree=1045416/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=325252 CPUtime=1531.78
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 90038 656 0 0 153107 71 0 0 25 0 1 0 58023832 333058048 80346 996147200 134512640 135215973 4294956304 18446744073709551615 134648251 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 81313 80346 410 171 0 80238 0
Current children cumulated CPU time (s) 1531.78
Current children cumulated vsize (KiB) 325252

[startup+1602.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/74 12553
/proc/meminfo: memFree=1031976/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=342020 CPUtime=1591.53
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 94432 656 0 0 159080 73 0 0 25 0 1 0 58023832 350228480 83715 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 85505 83715 410 171 0 84430 0
Current children cumulated CPU time (s) 1591.53
Current children cumulated vsize (KiB) 342020

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 12553
/proc/meminfo: memFree=1023784/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=382160 CPUtime=1651.3
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 104633 656 0 0 165050 80 0 0 25 0 1 0 58023832 391331840 85723 996147200 134512640 135215973 4294956304 18446744073709551615 134592646 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 95540 85723 410 171 0 94465 0
Current children cumulated CPU time (s) 1651.3
Current children cumulated vsize (KiB) 382160

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 12553
/proc/meminfo: memFree=1015976/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=389552 CPUtime=1711.06
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 106635 656 0 0 171025 81 0 0 25 0 1 0 58023832 398901248 87725 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 97388 87725 410 171 0 96313 0
Current children cumulated CPU time (s) 1711.06
Current children cumulated vsize (KiB) 389552

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 12553
/proc/meminfo: memFree=1008168/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=396548 CPUtime=1770.82
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 108528 656 0 0 176999 83 0 0 25 0 1 0 58023832 406065152 89618 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 99137 89618 410 171 0 98062 0
Current children cumulated CPU time (s) 1770.82
Current children cumulated vsize (KiB) 396548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 12553
/proc/meminfo: memFree=1004328/2055920 swapFree=4192812/4192956
[pid=11999] ppid=11997 vsize=399968 CPUtime=1800.01
/proc/11999/stat : 11999 (pcs.big) R 11997 11999 9968 0 -1 4194304 109482 656 0 0 179917 84 0 0 25 0 1 0 58023832 409567232 90572 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11999/statm: 99992 90572 410 171 0 98917 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 399968

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): 1811.67
CPU time (s): 1800.08
CPU user time (s): 1799.17
CPU system time (s): 0.904862
CPU usage (%): 99.3604
Max. virtual memory (cumulated for all children) (KiB): 409540

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

runsolver used 1.69874 second user time and 4.91425 second system time

The end

Launcher Data 

Begin job on node91 at 2009-07-16 03:59:52
IDJOB=2071131
IDBENCH=55438
IDSOLVER=733
FILE ID=node91/2071131-1247709592
PBS_JOBID= 9521137
Free space on /tmp= 66200 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-70-13-a4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2071131-1247709592/watcher-2071131-1247709592 -o /tmp/evaluation-result-2071131-1247709592/solver-2071131-1247709592 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1114354119 HOME/instance-2071131-1247709592.xml

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

MD5SUM BENCH= 96dbd6d1ed3c59f1530469160a845dc5
RANDOM SEED=1114354119

node91.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1357344 kB
Buffers:         80028 kB
Cached:         518372 kB
SwapCached:          0 kB
Active:         240456 kB
Inactive:       389556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1357344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2492 kB
Writeback:           0 kB
Mapped:          51964 kB
Slab:            53716 kB
Committed_AS:   621692 kB
PageTables:       1820 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66196 MiB
End job on node91 at 2009-07-16 04:30:06