Trace number 2074982

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

General information on the benchmark

Namecsp/rand-8-20-5/
normalized-rand-8-20-5-18-800-19_ext.xml
MD5SUM0d3371b4f098cfc1ba29218d9b5a7fe9
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.049
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints18
Maximum constraint arity8
Maximum domain size5
Number of constraints which are defined in extension18
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.13/0.27	c small-domain mode
0.13/0.28	c Seed is 573528226
0.13/0.28	c Constructing HOME/instance-2074982-1247712570.xml  with 18 constraints
7.93/8.08	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-2074982-1247712570/watcher-2074982-1247712570 -o /tmp/evaluation-result-2074982-1247712570/solver-2074982-1247712570 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 573528226 HOME/instance-2074982-1247712570.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.20 2.16 2.06 4/82 16716
/proc/meminfo: memFree=1146184/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=18576 CPUtime=0
/proc/16716/stat : 16716 (runsolver) R 16714 16716 16340 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58323006 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 228774702375 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16716/statm: 4644 284 249 26 0 2626 0

[startup+0.071848 s]
/proc/loadavg: 2.20 2.16 2.06 4/82 16716
/proc/meminfo: memFree=1146184/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=5356 CPUtime=0
/proc/16716/stat : 16716 (pcssolve) S 16714 16716 16340 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 58323006 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16716/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101851 s]
/proc/loadavg: 2.20 2.16 2.06 4/82 16716
/proc/meminfo: memFree=1146184/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=5356 CPUtime=0.06
/proc/16716/stat : 16716 (pcssolve) S 16714 16716 16340 0 -1 4194304 339 1332 0 0 0 0 4 2 17 0 1 0 58323006 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16716/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356

[startup+0.301868 s]
/proc/loadavg: 2.20 2.16 2.06 4/82 16716
/proc/meminfo: memFree=1146184/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=5560 CPUtime=0.27
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 895 3866 0 0 1 0 18 8 17 0 1 0 58323006 5693440 504 996147200 134512640 135095119 4294956304 18446744073709551615 134801681 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 1390 504 361 142 0 344 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5560

[startup+0.701919 s]
/proc/loadavg: 2.20 2.16 2.06 4/82 16716
/proc/meminfo: memFree=1146184/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=11104 CPUtime=0.68
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 3005 3866 0 0 41 1 18 8 21 0 1 0 58323006 11370496 2110 996147200 134512640 135095119 4294956304 18446744073709551615 134914383 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 2776 2110 375 142 0 1730 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11104

[startup+1.50201 s]
/proc/loadavg: 2.20 2.16 2.06 3/83 16722
/proc/meminfo: memFree=1137728/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=20016 CPUtime=1.47
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 5393 3866 0 0 119 2 18 8 25 0 1 0 58323006 20496384 3379 996147200 134512640 135095119 4294956304 18446744073709551615 134944936 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 5004 3379 375 142 0 3958 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20016

[startup+3.10219 s]
/proc/loadavg: 2.20 2.16 2.06 3/83 16722
/proc/meminfo: memFree=1130496/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=35960 CPUtime=3.06
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 9219 3866 0 0 275 5 18 8 25 0 1 0 58323006 36823040 5579 996147200 134512640 135095119 4294956304 18446744073709551615 134650156 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 8990 5579 375 142 0 7944 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 35960

[startup+6.30156 s]
/proc/loadavg: 2.18 2.16 2.06 3/83 16722
/proc/meminfo: memFree=1109120/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=71212 CPUtime=6.24
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 18761 3866 0 0 588 10 18 8 25 0 1 0 58323006 72921088 11144 996147200 134512640 135095119 4294956304 18446744073709551615 134944958 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 17803 11144 375 142 0 16757 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 71212

[startup+12.7013 s]
/proc/loadavg: 2.17 2.16 2.06 3/83 16722
/proc/meminfo: memFree=1091904/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=58144 CPUtime=12.61
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 23591 3866 0 0 1223 12 18 8 25 0 1 0 58323006 59539456 13885 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 14536 13885 389 142 0 13490 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 58144

[startup+25.5018 s]
/proc/loadavg: 2.13 2.15 2.06 3/83 16722
/proc/meminfo: memFree=1092160/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=58144 CPUtime=25.34
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 23591 3866 0 0 2496 12 18 8 25 0 1 0 58323006 59539456 13885 996147200 134512640 135095119 4294956304 18446744073709551615 134926985 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 14536 13885 389 142 0 13490 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 58144

[startup+51.1017 s]
/proc/loadavg: 2.09 2.14 2.06 4/83 16722
/proc/meminfo: memFree=1092032/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=58144 CPUtime=50.8
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 23591 3866 0 0 5042 12 18 8 25 0 1 0 58323006 59539456 13885 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 14536 13885 389 142 0 13490 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 58144

[startup+102.307 s]
/proc/loadavg: 2.04 2.11 2.05 3/83 16722
/proc/meminfo: memFree=1092160/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=58144 CPUtime=101.75
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 23591 3866 0 0 10137 12 18 8 25 0 1 0 58323006 59539456 13885 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 14536 13885 389 142 0 13490 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 58144

[startup+162.302 s]
/proc/loadavg: 2.01 2.09 2.05 3/83 16724
/proc/meminfo: memFree=1091392/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=59172 CPUtime=161.46
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 23783 3866 0 0 16108 12 18 8 25 0 1 0 58323006 60592128 14077 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 14793 14077 389 142 0 13747 0
Current children cumulated CPU time (s) 161.46
Current children cumulated vsize (KiB) 59172

[startup+222.301 s]
/proc/loadavg: 2.00 2.07 2.04 3/83 16724
/proc/meminfo: memFree=1090240/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=61356 CPUtime=221.16
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 24304 3866 0 0 22078 12 18 8 25 0 1 0 58323006 62828544 14341 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 15339 14341 389 142 0 14293 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 61356

[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.04 3/83 16766
/proc/meminfo: memFree=1152648/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=61880 CPUtime=280.97
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 24584 3866 0 0 28058 13 18 8 25 0 1 0 58323006 63365120 14621 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 15470 14621 389 142 0 14424 0
Current children cumulated CPU time (s) 280.97
Current children cumulated vsize (KiB) 61880

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.03 3/83 16766
/proc/meminfo: memFree=1147336/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=65400 CPUtime=340.95
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 25613 3866 0 0 34055 14 18 8 25 0 1 0 58323006 66969600 15393 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 16350 15393 389 142 0 15304 0
Current children cumulated CPU time (s) 340.95
Current children cumulated vsize (KiB) 65400

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.02 3/83 16766
/proc/meminfo: memFree=1144072/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=67448 CPUtime=400.93
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 26250 3866 0 0 40052 15 18 8 25 0 1 0 58323006 69066752 15517 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 16862 15517 389 142 0 15816 0
Current children cumulated CPU time (s) 400.93
Current children cumulated vsize (KiB) 67448

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.02 3/83 16766
/proc/meminfo: memFree=1141896/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=67976 CPUtime=460.9
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 26511 3866 0 0 46049 15 18 8 25 0 1 0 58323006 69607424 15778 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 16994 15778 389 142 0 15948 0
Current children cumulated CPU time (s) 460.9
Current children cumulated vsize (KiB) 67976

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 16766
/proc/meminfo: memFree=1140424/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=69024 CPUtime=520.88
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 26883 3866 0 0 52046 16 18 8 25 0 1 0 58323006 70680576 16150 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 17256 16150 389 142 0 16210 0
Current children cumulated CPU time (s) 520.88
Current children cumulated vsize (KiB) 69024

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.01 3/83 16766
/proc/meminfo: memFree=1138952/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=69940 CPUtime=580.86
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 27254 3866 0 0 58043 17 18 8 25 0 1 0 58323006 71618560 16521 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 17485 16521 389 142 0 16439 0
Current children cumulated CPU time (s) 580.86
Current children cumulated vsize (KiB) 69940

[startup+642.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 16766
/proc/meminfo: memFree=1136840/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=70860 CPUtime=640.84
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 27629 3866 0 0 64040 18 18 8 25 0 1 0 58323006 72560640 16896 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 17715 16896 389 142 0 16669 0
Current children cumulated CPU time (s) 640.84
Current children cumulated vsize (KiB) 70860

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16772
/proc/meminfo: memFree=1130184/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=81484 CPUtime=880.75
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 30803 3866 0 0 88029 20 18 8 25 0 1 0 58323006 83439616 18532 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 20371 18532 389 142 0 19325 0
Current children cumulated CPU time (s) 880.75
Current children cumulated vsize (KiB) 81484

[startup+942.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 16812
/proc/meminfo: memFree=1128336/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=82396 CPUtime=940.72
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 31182 3866 0 0 94024 22 18 8 25 0 1 0 58323006 84373504 18911 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 20599 18911 389 142 0 19553 0
Current children cumulated CPU time (s) 940.72
Current children cumulated vsize (KiB) 82396

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/83 16812
/proc/meminfo: memFree=1111440/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=83440 CPUtime=1000.69
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 31555 3866 0 0 100021 22 18 8 25 0 1 0 58323006 85442560 19284 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 20860 19284 389 142 0 19814 0
Current children cumulated CPU time (s) 1000.69
Current children cumulated vsize (KiB) 83440

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/83 16812
/proc/meminfo: memFree=1094480/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=84496 CPUtime=1060.67
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 31946 3866 0 0 106018 23 18 8 25 0 1 0 58323006 86523904 19675 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 21124 19675 389 142 0 20078 0
Current children cumulated CPU time (s) 1060.67
Current children cumulated vsize (KiB) 84496

[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.01 4/83 16854
/proc/meminfo: memFree=1124752/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=85412 CPUtime=1120.64
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 32340 3866 0 0 112013 25 18 8 25 0 1 0 58323006 87461888 20069 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 21353 20069 389 142 0 20307 0
Current children cumulated CPU time (s) 1120.64
Current children cumulated vsize (KiB) 85412

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/83 16854
/proc/meminfo: memFree=1103632/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=86464 CPUtime=1180.62
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 32736 3866 0 0 118010 26 18 8 25 0 1 0 58323006 88539136 20465 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 21616 20465 389 142 0 20570 0
Current children cumulated CPU time (s) 1180.62
Current children cumulated vsize (KiB) 86464

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/83 16854
/proc/meminfo: memFree=1092624/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=87512 CPUtime=1240.6
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 33126 3866 0 0 124008 26 18 8 25 0 1 0 58323006 89612288 20855 996147200 134512640 135095119 4294956304 18446744073709551615 134918233 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 21878 20855 389 142 0 20832 0
Current children cumulated CPU time (s) 1240.6
Current children cumulated vsize (KiB) 87512

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 16854
/proc/meminfo: memFree=1075920/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=99920 CPUtime=1300.58
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 36355 3866 0 0 130004 28 18 8 25 0 1 0 58323006 102318080 23059 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 24980 23059 389 142 0 23934 0
Current children cumulated CPU time (s) 1300.58
Current children cumulated vsize (KiB) 99920

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 16854
/proc/meminfo: memFree=1067536/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=99920 CPUtime=1360.56
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 36493 3866 0 0 136001 29 18 8 25 0 1 0 58323006 102318080 23197 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 24980 23197 389 142 0 23934 0
Current children cumulated CPU time (s) 1360.56
Current children cumulated vsize (KiB) 99920

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 16855
/proc/meminfo: memFree=1011784/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=99920 CPUtime=1420.54
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 36633 3866 0 0 141999 29 18 8 25 0 1 0 58323006 102318080 23337 996147200 134512640 135095119 4294956304 18446744073709551615 134918145 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 24980 23337 389 142 0 23934 0
Current children cumulated CPU time (s) 1420.54
Current children cumulated vsize (KiB) 99920

[startup+1482.3 s]
/proc/loadavg: 2.26 2.07 2.02 3/84 16855
/proc/meminfo: memFree=383560/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=108112 CPUtime=1480.51
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 38810 3866 0 0 147994 31 18 8 25 0 1 0 58323006 110706688 23465 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16716/statm: 27028 23465 389 142 0 25982 0
Current children cumulated CPU time (s) 1480.51
Current children cumulated vsize (KiB) 108112

[startup+1542.3 s]
/proc/loadavg: 2.25 2.09 2.03 4/83 16856
/proc/meminfo: memFree=395072/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=108112 CPUtime=1539.96
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 38932 3866 0 0 153939 31 18 8 25 0 1 0 58323006 110706688 23587 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 27028 23587 389 142 0 25982 0
Current children cumulated CPU time (s) 1539.96
Current children cumulated vsize (KiB) 108112

[startup+1602.3 s]
/proc/loadavg: 2.57 2.21 2.07 4/83 16856
/proc/meminfo: memFree=390848/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=108112 CPUtime=1599.38
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 39045 3866 0 0 159881 31 18 8 25 0 1 0 58323006 110706688 23700 996147200 134512640 135095119 4294956304 18446744073709551615 134918169 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 27028 23700 389 142 0 25982 0
Current children cumulated CPU time (s) 1599.38
Current children cumulated vsize (KiB) 108112

[startup+1662.3 s]
/proc/loadavg: 2.37 2.21 2.08 3/83 16856
/proc/meminfo: memFree=389312/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=108112 CPUtime=1658.81
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 39143 3866 0 0 165824 31 18 8 25 0 1 0 58323006 110706688 23798 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 27028 23798 389 142 0 25982 0
Current children cumulated CPU time (s) 1658.81
Current children cumulated vsize (KiB) 108112

[startup+1722.3 s]
/proc/loadavg: 2.33 2.23 2.09 3/83 16856
/proc/meminfo: memFree=380352/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=108112 CPUtime=1718.24
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 39249 3866 0 0 171767 31 18 8 25 0 1 0 58323006 110706688 23904 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 27028 23904 389 142 0 25982 0
Current children cumulated CPU time (s) 1718.24
Current children cumulated vsize (KiB) 108112

[startup+1782.3 s]
/proc/loadavg: 2.23 2.22 2.09 3/83 16856
/proc/meminfo: memFree=379008/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=108772 CPUtime=1777.66
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 39537 3866 0 0 177709 31 18 8 25 0 1 0 58323006 111382528 24192 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 27193 24192 389 142 0 26147 0
Current children cumulated CPU time (s) 1777.66
Current children cumulated vsize (KiB) 108772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.9 s]
/proc/loadavg: 2.15 2.20 2.09 3/83 16856
/proc/meminfo: memFree=378496/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=109032 CPUtime=1800.05
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 39651 3866 0 0 179948 31 18 8 25 0 1 0 58323006 111648768 24306 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 27258 24306 389 142 0 26212 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 109032

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

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

[startup+1804.9 s]
/proc/loadavg: 2.15 2.20 2.09 3/83 16856
/proc/meminfo: memFree=378496/2055920 swapFree=4192812/4192956
[pid=16716] ppid=16714 vsize=109032 CPUtime=1800.05
/proc/16716/stat : 16716 (pcs.small) R 16714 16716 16340 0 -1 4194304 39651 3866 0 0 179948 31 18 8 25 0 1 0 58323006 111648768 24306 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16716/statm: 27258 24306 389 142 0 26212 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 109032

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.92
CPU time (s): 1800.09
CPU user time (s): 1799.67
CPU system time (s): 0.418936
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 109032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43517
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= 27
involuntary context switches= 24843

runsolver used 2.20366 second user time and 6.02508 second system time

The end

Launcher Data 

Begin job on node74 at 2009-07-16 04:49:32
IDJOB=2074982
IDBENCH=56213
IDSOLVER=734
FILE ID=node74/2074982-1247712570
PBS_JOBID= 9521410
Free space on /tmp= 103012 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-19_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2074982-1247712570/watcher-2074982-1247712570 -o /tmp/evaluation-result-2074982-1247712570/solver-2074982-1247712570 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 573528226 HOME/instance-2074982-1247712570.xml

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

MD5SUM BENCH= 0d3371b4f098cfc1ba29218d9b5a7fe9
RANDOM SEED=573528226

node74.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.234
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.234
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:       1146664 kB
Buffers:         66076 kB
Cached:         656832 kB
SwapCached:          0 kB
Active:         184856 kB
Inactive:       649616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1146664 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           23704 kB
Writeback:           0 kB
Mapped:         131896 kB
Slab:            59616 kB
Committed_AS:   674488 kB
PageTables:       2088 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= 103000 MiB
End job on node74 at 2009-07-16 05:19:39