Trace number 2057447

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.07 1817.13

General information on the benchmark

Namecsp/rand-2-27/
normalized-rand-27-27-351-163-54021_ext.xml
MD5SUM2b8a25693d725e15a972e4d84d9002e3
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark82.8514
Satisfiable
(Un)Satisfiability was proved
Number of variables27
Number of constraints351
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension351
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.02	c Seed is 1542858795
0.00/0.02	c Constructing HOME/instance-2057447-1247694221.xml  with 9474 constraints
0.07/0.15	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-2057447-1247694221/watcher-2057447-1247694221 -o /tmp/evaluation-result-2057447-1247694221/solver-2057447-1247694221 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1542858795 HOME/instance-2057447-1247694221.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: 0.00 0.00 0.00 4/75 14859
/proc/meminfo: memFree=1408056/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=5356 CPUtime=0
/proc/14859/stat : 14859 (pcssolve) R 14857 14859 14743 0 -1 4194304 290 0 0 0 0 0 0 0 23 0 1 0 56484833 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14859/statm: 1339 241 200 169 0 50 0
[pid=14860] ppid=14859 vsize=100 CPUtime=0
/proc/14860/stat : 14860 (fgrep) R 14859 14859 14743 0 -1 4194304 24 0 0 0 0 0 0 0 24 0 1 0 56484834 102400 3 996147200 0 0 548682069725 18446744073709551615 209560595751 0 0 4096 0 0 0 0 17 1 0 0
/proc/14860/statm: 25 3 0 0 0 2 0
[pid=14861] ppid=14859 vsize=5356 CPUtime=0
/proc/14861/stat : 14861 (pcssolve) R 14859 14859 14743 0 -1 4194368 0 0 0 0 0 0 0 0 23 0 1 0 56484834 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14861/statm: 1339 241 200 169 0 50 0

[startup+0.0553189 s]
/proc/loadavg: 0.00 0.00 0.00 4/75 14859
/proc/meminfo: memFree=1408056/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=4904 CPUtime=0.03
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 934 822 0 0 3 0 0 0 25 0 1 0 56484833 5021696 543 996147200 134512640 135095119 4294956304 18446744073709551615 134739562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 1226 543 364 142 0 180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4904

[startup+0.101331 s]
/proc/loadavg: 0.00 0.00 0.00 4/75 14859
/proc/meminfo: memFree=1408056/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=5696 CPUtime=0.07
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 1127 822 0 0 7 0 0 0 25 0 1 0 56484833 5832704 736 996147200 134512640 135095119 4294956304 18446744073709551615 134987404 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 1424 736 364 142 0 378 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5696

[startup+0.301366 s]
/proc/loadavg: 0.00 0.00 0.00 4/75 14859
/proc/meminfo: memFree=1408056/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=7712 CPUtime=0.27
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 1678 822 0 0 27 0 0 0 25 0 1 0 56484833 7897088 1189 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 1928 1189 378 142 0 882 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7712

[startup+0.701435 s]
/proc/loadavg: 0.00 0.00 0.00 4/75 14859
/proc/meminfo: memFree=1408056/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=7712 CPUtime=0.67
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 1686 822 0 0 67 0 0 0 25 0 1 0 56484833 7897088 1197 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 1928 1197 378 142 0 882 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7712

[startup+1.50157 s]
/proc/loadavg: 0.16 0.03 0.01 3/76 14865
/proc/meminfo: memFree=1404208/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=7712 CPUtime=1.46
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 1702 822 0 0 146 0 0 0 25 0 1 0 56484833 7897088 1213 996147200 134512640 135095119 4294956304 18446744073709551615 134582873 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 1928 1213 378 142 0 882 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7712

[startup+3.10184 s]
/proc/loadavg: 0.16 0.03 0.01 3/76 14865
/proc/meminfo: memFree=1403248/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=7712 CPUtime=3.05
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 1732 822 0 0 305 0 0 0 25 0 1 0 56484833 7897088 1243 996147200 134512640 135095119 4294956304 18446744073709551615 134615496 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 1928 1243 378 142 0 882 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7712

[startup+6.30138 s]
/proc/loadavg: 0.16 0.03 0.01 3/76 14865
/proc/meminfo: memFree=1400048/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=9452 CPUtime=6.21
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 2199 822 0 0 621 0 0 0 25 0 1 0 56484833 9678848 1581 996147200 134512640 135095119 4294956304 18446744073709551615 134589572 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 2363 1581 378 142 0 1317 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 9452

[startup+12.7025 s]
/proc/loadavg: 0.44 0.10 0.03 3/76 14865
/proc/meminfo: memFree=1393776/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=11652 CPUtime=12.56
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 2995 822 0 0 1255 1 0 0 25 0 1 0 56484833 11931648 2120 996147200 134512640 135095119 4294956304 18446744073709551615 134615479 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 2913 2120 378 142 0 1867 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11652

[startup+25.5016 s]
/proc/loadavg: 0.68 0.16 0.05 3/76 14865
/proc/meminfo: memFree=1388080/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=16560 CPUtime=25.24
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 4571 822 0 0 2522 2 0 0 25 0 1 0 56484833 16957440 2926 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 4140 2926 378 142 0 3094 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16560

[startup+51.102 s]
/proc/loadavg: 1.13 0.31 0.10 3/76 14865
/proc/meminfo: memFree=1376368/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=19048 CPUtime=50.6
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 5659 822 0 0 5056 4 0 0 25 0 1 0 56484833 19505152 4014 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 4762 4014 378 142 0 3716 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 19048

[startup+102.307 s]
/proc/loadavg: 1.70 0.60 0.21 3/76 14865
/proc/meminfo: memFree=1365552/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=29004 CPUtime=101.31
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 8819 822 0 0 10126 5 0 0 25 0 1 0 56484833 29700096 5636 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 7251 5636 378 142 0 6205 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 29004

[startup+162.302 s]
/proc/loadavg: 1.94 0.87 0.33 3/76 14865
/proc/meminfo: memFree=1354032/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=32160 CPUtime=160.74
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 10220 822 0 0 16067 7 0 0 25 0 1 0 56484833 32931840 7037 996147200 134512640 135095119 4294956304 18446744073709551615 134641664 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 8040 7037 378 142 0 6994 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 32160

[startup+222.302 s]
/proc/loadavg: 2.02 1.09 0.43 3/76 14865
/proc/meminfo: memFree=1339120/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=42964 CPUtime=220.17
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 13452 822 0 0 22006 11 0 0 25 0 1 0 56484833 43995136 8220 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 10741 8220 378 142 0 9695 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 42964

[startup+282.301 s]
/proc/loadavg: 2.01 1.25 0.53 3/76 14865
/proc/meminfo: memFree=1329456/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=53120 CPUtime=279.61
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 16442 822 0 0 27948 13 0 0 25 0 1 0 56484833 54394880 10185 996147200 134512640 135095119 4294956304 18446744073709551615 134607177 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 13280 10185 378 142 0 12234 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 53120

[startup+342.302 s]
/proc/loadavg: 2.00 1.39 0.62 3/76 14865
/proc/meminfo: memFree=1325936/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=53120 CPUtime=339.04
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 16844 822 0 0 33891 13 0 0 25 0 1 0 56484833 54394880 10587 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 13280 10587 378 142 0 12234 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 53120

[startup+402.301 s]
/proc/loadavg: 2.00 1.49 0.70 3/76 14865
/proc/meminfo: memFree=1320048/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=54172 CPUtime=398.47
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 17483 822 0 0 39833 14 0 0 25 0 1 0 56484833 55472128 11226 996147200 134512640 135095119 4294956304 18446744073709551615 134637494 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 13543 11226 378 142 0 12497 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 54172

[startup+462.301 s]
/proc/loadavg: 2.00 1.58 0.78 3/76 14865
/proc/meminfo: memFree=1313456/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=56012 CPUtime=457.91
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 18291 822 0 0 45775 16 0 0 25 0 1 0 56484833 57356288 12034 996147200 134512640 135095119 4294956304 18446744073709551615 134615494 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 14003 12034 378 142 0 12957 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 56012

[startup+522.302 s]
/proc/loadavg: 2.00 1.66 0.85 3/76 14867
/proc/meminfo: memFree=1307376/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=57716 CPUtime=517.34
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 19053 822 0 0 51718 16 0 0 25 0 1 0 56484833 59101184 12796 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 14429 12796 378 142 0 13383 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 57716

[startup+582.302 s]
/proc/loadavg: 2.00 1.72 0.92 3/76 14867
/proc/meminfo: memFree=1301168/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=59416 CPUtime=576.78
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 19809 822 0 0 57660 18 0 0 25 0 1 0 56484833 60841984 13552 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 14854 13552 378 142 0 13808 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 59416

[startup+642.303 s]
/proc/loadavg: 2.00 1.77 0.99 3/76 14867
/proc/meminfo: memFree=1295216/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=77376 CPUtime=636.21

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

[startup+882.302 s]
/proc/loadavg: 2.00 1.89 1.21 3/76 14867
/proc/meminfo: memFree=1262704/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=83272 CPUtime=873.94
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 27219 822 0 0 87370 24 0 0 25 0 1 0 56484833 85270528 16865 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 20818 16865 378 142 0 19772 0
Current children cumulated CPU time (s) 873.94
Current children cumulated vsize (KiB) 83272

[startup+942.303 s]
/proc/loadavg: 2.00 1.90 1.25 3/76 14867
/proc/meminfo: memFree=1248240/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=933.37
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 32617 822 0 0 93310 27 0 0 25 0 1 0 56484833 106225664 20214 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 20214 378 142 0 24888 0
Current children cumulated CPU time (s) 933.37
Current children cumulated vsize (KiB) 103736

[startup+1002.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/76 14867
/proc/meminfo: memFree=1246256/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=992.81
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 32870 822 0 0 99253 28 0 0 25 0 1 0 56484833 106225664 20467 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 20467 378 142 0 24888 0
Current children cumulated CPU time (s) 992.81
Current children cumulated vsize (KiB) 103736

[startup+1062.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/76 14873
/proc/meminfo: memFree=1244208/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=1052.22
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 33117 822 0 0 105194 28 0 0 25 0 1 0 56484833 106225664 20714 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 20714 378 142 0 24888 0
Current children cumulated CPU time (s) 1052.22
Current children cumulated vsize (KiB) 103736

[startup+1122.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/76 14873
/proc/meminfo: memFree=1242288/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=1111.66
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 33360 822 0 0 111137 29 0 0 25 0 1 0 56484833 106225664 20957 996147200 134512640 135095119 4294956304 18446744073709551615 134615475 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 20957 378 142 0 24888 0
Current children cumulated CPU time (s) 1111.66
Current children cumulated vsize (KiB) 103736

[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/76 14873
/proc/meminfo: memFree=1240368/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=1171.09
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 33596 822 0 0 117080 29 0 0 25 0 1 0 56484833 106225664 21193 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 21193 378 142 0 24888 0
Current children cumulated CPU time (s) 1171.09
Current children cumulated vsize (KiB) 103736

[startup+1242.3 s]
/proc/loadavg: 2.00 1.95 1.45 3/76 14873
/proc/meminfo: memFree=1238448/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=1230.52
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 33824 822 0 0 123023 29 0 0 25 0 1 0 56484833 106225664 21421 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 21421 378 142 0 24888 0
Current children cumulated CPU time (s) 1230.52
Current children cumulated vsize (KiB) 103736

[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/76 14873
/proc/meminfo: memFree=1236400/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=1289.96
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 34051 822 0 0 128966 30 0 0 25 0 1 0 56484833 106225664 21648 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 21648 378 142 0 24888 0
Current children cumulated CPU time (s) 1289.96
Current children cumulated vsize (KiB) 103736

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/76 14873
/proc/meminfo: memFree=1234032/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103736 CPUtime=1349.39
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 34276 822 0 0 134909 30 0 0 25 0 1 0 56484833 106225664 21873 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25934 21873 378 142 0 24888 0
Current children cumulated CPU time (s) 1349.39
Current children cumulated vsize (KiB) 103736

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/76 14873
/proc/meminfo: memFree=1231152/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=103868 CPUtime=1408.82
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 34527 822 0 0 140852 30 0 0 25 0 1 0 56484833 106360832 22124 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 25967 22124 378 142 0 24921 0
Current children cumulated CPU time (s) 1408.82
Current children cumulated vsize (KiB) 103868

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/76 14873
/proc/meminfo: memFree=1227440/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=104788 CPUtime=1468.25
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 34970 822 0 0 146794 31 0 0 25 0 1 0 56484833 107302912 22567 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 26197 22567 378 142 0 25151 0
Current children cumulated CPU time (s) 1468.25
Current children cumulated vsize (KiB) 104788

[startup+1542.3 s]
/proc/loadavg: 2.06 1.99 1.59 3/76 14873
/proc/meminfo: memFree=1223600/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=105712 CPUtime=1527.68
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 35414 822 0 0 152737 31 0 0 25 0 1 0 56484833 108249088 23011 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 26428 23011 378 142 0 25382 0
Current children cumulated CPU time (s) 1527.68
Current children cumulated vsize (KiB) 105712

[startup+1602.3 s]
/proc/loadavg: 2.07 2.00 1.62 3/76 14873
/proc/meminfo: memFree=1219696/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=106900 CPUtime=1587.12
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 35898 822 0 0 158680 32 0 0 25 0 1 0 56484833 109465600 23495 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 26725 23495 378 142 0 25679 0
Current children cumulated CPU time (s) 1587.12
Current children cumulated vsize (KiB) 106900

[startup+1662.3 s]
/proc/loadavg: 2.07 2.01 1.65 3/76 14873
/proc/meminfo: memFree=1215792/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=107948 CPUtime=1646.55
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 36361 822 0 0 164622 33 0 0 25 0 1 0 56484833 110538752 23958 996147200 134512640 135095119 4294956304 18446744073709551615 134637443 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 26987 23958 378 142 0 25941 0
Current children cumulated CPU time (s) 1646.55
Current children cumulated vsize (KiB) 107948

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.67 3/76 14873
/proc/meminfo: memFree=1212016/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=109004 CPUtime=1705.98
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 36824 822 0 0 170565 33 0 0 25 0 1 0 56484833 111620096 24421 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 27251 24421 378 142 0 26205 0
Current children cumulated CPU time (s) 1705.98
Current children cumulated vsize (KiB) 109004

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.69 3/76 14873
/proc/meminfo: memFree=1208176/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=110068 CPUtime=1765.42
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 37289 822 0 0 176508 34 0 0 25 0 1 0 56484833 112709632 24886 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14859/statm: 27517 24886 378 142 0 26471 0
Current children cumulated CPU time (s) 1765.42
Current children cumulated vsize (KiB) 110068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.1 s]
/proc/loadavg: 1.88 1.98 1.69 3/76 14970
/proc/meminfo: memFree=1304432/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=110596 CPUtime=1800.04
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 37551 822 0 0 179969 35 0 0 25 0 1 0 56484833 113250304 25148 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14859/statm: 27649 25148 378 142 0 26603 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 110596

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

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

[startup+1817.1 s]
/proc/loadavg: 1.88 1.98 1.69 3/76 14970
/proc/meminfo: memFree=1304432/2055920 swapFree=4192812/4192956
[pid=14859] ppid=14857 vsize=110596 CPUtime=1800.04
/proc/14859/stat : 14859 (pcs.small) R 14857 14859 14743 0 -1 4194304 37551 822 0 0 179969 35 0 0 25 0 1 0 56484833 113250304 25148 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14859/statm: 27649 25148 378 142 0 26603 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 110596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1817.13
CPU time (s): 1800.07
CPU user time (s): 1799.7
CPU system time (s): 0.373943
CPU usage (%): 99.0614
Max. virtual memory (cumulated for all children) (KiB): 110596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.373943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38373
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= 20
involuntary context switches= 39308

runsolver used 2.08868 second user time and 6.17906 second system time

The end

Launcher Data 

Begin job on node68 at 2009-07-15 23:43:41
IDJOB=2057447
IDBENCH=53371
IDSOLVER=733
FILE ID=node68/2057447-1247694221
PBS_JOBID= 9521179
Free space on /tmp= 66420 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-27/normalized-rand-27-27-351-163-54021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2057447-1247694221/watcher-2057447-1247694221 -o /tmp/evaluation-result-2057447-1247694221/solver-2057447-1247694221 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1542858795 HOME/instance-2057447-1247694221.xml

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

MD5SUM BENCH= 2b8a25693d725e15a972e4d84d9002e3
RANDOM SEED=1542858795

node68.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.258
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.258
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:       1408536 kB
Buffers:         75280 kB
Cached:         479532 kB
SwapCached:          0 kB
Active:         186028 kB
Inactive:       389296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1408536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4204 kB
Writeback:           0 kB
Mapped:          32228 kB
Slab:            57160 kB
Committed_AS:   588976 kB
PageTables:       1904 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= 66416 MiB
End job on node68 at 2009-07-16 00:14:01