Trace number 2079723

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.2UNSAT 1385.04 1390.69

DiagnosticValue
ASSIGNMENTS432411

General information on the benchmark

Namecsp/rand-3-20-20/
normalized-rand-3-20-20-60-632-34_ext.xml
MD5SUMf2a5642d0d3cc3bfc3ccc1bbf7de0804
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark43.1134
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints59
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension59
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c small-domain mode
0.00/0.03	c Seed is 226136006
0.00/0.03	c Constructing HOME/instance-2079723-1247716989.xml  with 59 constraints
0.37/0.43	c Solving 432411 backtracks 23 restarts
1384.92/1390.69	s UNSATISFIABLE
1384.92/1390.69	d ASSIGNMENTS 432411

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079723-1247716989/watcher-2079723-1247716989 -o /tmp/evaluation-result-2079723-1247716989/solver-2079723-1247716989 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 226136006 HOME/instance-2079723-1247716989.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.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=18576 CPUtime=0
/proc/13592/stat : 13592 (runsolver) R 13590 13592 11357 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58765023 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13592/statm: 4644 284 249 26 0 2626 0

[startup+0.010835 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=5356 CPUtime=0
/proc/13592/stat : 13592 (pcssolve) S 13590 13592 11357 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 58765023 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13592/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101746 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=5360 CPUtime=0.06
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 955 822 0 0 6 0 0 0 20 0 1 0 58765023 5488640 564 996147200 134512640 135095119 4294956304 18446744073709551615 134739383 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 1340 564 375 142 0 294 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5360

[startup+0.301774 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=8308 CPUtime=0.26
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1319 822 0 0 26 0 0 0 22 0 1 0 58765023 8507392 928 996147200 134512640 135095119 4294956304 18446744073709551615 134731034 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2077 928 375 142 0 1031 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 8308

[startup+0.701834 s]
/proc/loadavg: 2.05 2.05 2.01 4/81 13592
/proc/meminfo: memFree=1484960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10328 CPUtime=0.67
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1587 822 0 0 66 1 0 0 25 0 1 0 58765023 10575872 1196 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2582 1196 389 142 0 1536 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10328

[startup+1.50195 s]
/proc/loadavg: 2.05 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1481560/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10328 CPUtime=1.46
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1599 822 0 0 145 1 0 0 25 0 1 0 58765023 10575872 1208 996147200 134512640 135095119 4294956304 18446744073709551615 134927020 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2582 1208 389 142 0 1536 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10328

[startup+3.10118 s]
/proc/loadavg: 2.05 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1481368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10460 CPUtime=3.06
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1642 822 0 0 305 1 0 0 25 0 1 0 58765023 10711040 1251 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2615 1251 389 142 0 1569 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10460

[startup+6.30165 s]
/proc/loadavg: 2.04 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1480984/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=10720 CPUtime=6.24
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1741 822 0 0 623 1 0 0 25 0 1 0 58765023 10977280 1317 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2680 1317 389 142 0 1634 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 10720

[startup+12.7016 s]
/proc/loadavg: 2.04 2.05 2.01 3/82 13598
/proc/meminfo: memFree=1480472/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=11104 CPUtime=12.61
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 1958 822 0 0 1260 1 0 0 25 0 1 0 58765023 11370496 1436 996147200 134512640 135095119 4294956304 18446744073709551615 134926981 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2776 1436 389 142 0 1730 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 11104

[startup+25.5014 s]
/proc/loadavg: 2.03 2.04 2.00 3/82 13598
/proc/meminfo: memFree=1479512/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=11872 CPUtime=25.35
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 2405 822 0 0 2534 1 0 0 25 0 1 0 58765023 12156928 1689 996147200 134512640 135095119 4294956304 18446744073709551615 134910288 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 2968 1689 389 142 0 1922 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 11872

[startup+51.1012 s]
/proc/loadavg: 2.02 2.04 2.00 3/82 13598
/proc/meminfo: memFree=1477592/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=13540 CPUtime=50.85
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 3302 822 0 0 5083 2 0 0 25 0 1 0 58765023 13864960 2200 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 3385 2200 389 142 0 2339 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 13540

[startup+102.306 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 13631
/proc/meminfo: memFree=1493096/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=15720 CPUtime=101.85
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 4532 822 0 0 10181 4 0 0 25 0 1 0 58765023 16097280 2917 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 3930 2917 389 142 0 2884 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 15720

[startup+162.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1484136/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=23592 CPUtime=161.61
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 7069 822 0 0 16155 6 0 0 25 0 1 0 58765023 24158208 4139 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 5898 4139 389 142 0 4852 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 23592

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1472872/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=29864 CPUtime=221.36
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 9251 822 0 0 22129 7 0 0 25 0 1 0 58765023 30580736 5743 996147200 134512640 135095119 4294956304 18446744073709551615 134916470 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 7466 5743 389 142 0 6420 0
Current children cumulated CPU time (s) 221.36
Current children cumulated vsize (KiB) 29864

[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13631
/proc/meminfo: memFree=1465192/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=31172 CPUtime=281.11
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 10129 822 0 0 28104 7 0 0 25 0 1 0 58765023 31920128 6621 996147200 134512640 135095119 4294956304 18446744073709551615 134916458 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 7793 6621 389 142 0 6747 0
Current children cumulated CPU time (s) 281.11
Current children cumulated vsize (KiB) 31172

[startup+342.302 s]
/proc/loadavg: 2.15 2.05 2.01 3/73 13631
/proc/meminfo: memFree=1454440/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=41724 CPUtime=340.87
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 13312 822 0 0 34078 9 0 0 25 0 1 0 58765023 42725376 7755 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 10431 7755 389 142 0 9385 0
Current children cumulated CPU time (s) 340.87
Current children cumulated vsize (KiB) 41724

[startup+402.301 s]
/proc/loadavg: 2.12 2.07 2.02 3/73 13631
/proc/meminfo: memFree=1446824/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=44072 CPUtime=400.63
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 14425 822 0 0 40053 10 0 0 25 0 1 0 58765023 45129728 8868 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 11018 8868 389 142 0 9972 0
Current children cumulated CPU time (s) 400.63
Current children cumulated vsize (KiB) 44072

[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/73 13631
/proc/meminfo: memFree=1434088/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=54360 CPUtime=460.39
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 17520 822 0 0 46027 12 0 0 25 0 1 0 58765023 55664640 10938 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 13590 10938 389 142 0 12544 0
Current children cumulated CPU time (s) 460.39
Current children cumulated vsize (KiB) 54360

[startup+522.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 13631
/proc/meminfo: memFree=1427624/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=54360 CPUtime=520.14
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 18057 822 0 0 52001 13 0 0 25 0 1 0 58765023 55664640 11475 996147200 134512640 135095119 4294956304 18446744073709551615 134927199 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 13590 11475 389 142 0 12544 0
Current children cumulated CPU time (s) 520.14
Current children cumulated vsize (KiB) 54360

[startup+582.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 13631
/proc/meminfo: memFree=1414376/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=56332 CPUtime=579.9
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 19081 822 0 0 57976 14 0 0 25 0 1 0 58765023 57683968 12499 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 14083 12499 389 142 0 13037 0
Current children cumulated CPU time (s) 579.9
Current children cumulated vsize (KiB) 56332

[startup+642.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1407912/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=75068 CPUtime=639.66
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 24273 822 0 0 63950 16 0 0 25 0 1 0 58765023 76869632 13594 996147200 134512640 135095119 4294956304 18446744073709551615 134615618 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 18767 13594 389 142 0 17721 0
Current children cumulated CPU time (s) 639.66
Current children cumulated vsize (KiB) 75068

[startup+702.301 s]

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

/proc/meminfo: memFree=1392680/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=79764 CPUtime=759.17
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 26436 822 0 0 75899 18 0 0 25 0 1 0 58765023 81678336 15757 996147200 134512640 135095119 4294956304 18446744073709551615 134918260 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 19941 15757 389 142 0 18895 0
Current children cumulated CPU time (s) 759.17
Current children cumulated vsize (KiB) 79764

[startup+822.303 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13631
/proc/meminfo: memFree=1383912/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=82256 CPUtime=818.93
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 27579 822 0 0 81873 20 0 0 25 0 1 0 58765023 84230144 16900 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 20564 16900 389 142 0 19518 0
Current children cumulated CPU time (s) 818.93
Current children cumulated vsize (KiB) 82256

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1365928/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=878.68
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 33118 822 0 0 87846 22 0 0 25 0 1 0 58765023 104771584 20390 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 20390 389 142 0 24533 0
Current children cumulated CPU time (s) 878.68
Current children cumulated vsize (KiB) 102316

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1359784/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=938.44
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 33632 822 0 0 93821 23 0 0 25 0 1 0 58765023 104771584 20904 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 20904 389 142 0 24533 0
Current children cumulated CPU time (s) 938.44
Current children cumulated vsize (KiB) 102316

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1353448/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=998.2
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 34144 822 0 0 99797 23 0 0 25 0 1 0 58765023 104771584 21416 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 21416 389 142 0 24533 0
Current children cumulated CPU time (s) 998.2
Current children cumulated vsize (KiB) 102316

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1336040/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=102316 CPUtime=1057.96
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 34643 822 0 0 105771 25 0 0 25 0 1 0 58765023 104771584 21915 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 25579 21915 389 142 0 24533 0
Current children cumulated CPU time (s) 1057.96
Current children cumulated vsize (KiB) 102316

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1329960/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=104268 CPUtime=1117.71
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 35651 822 0 0 111746 25 0 0 25 0 1 0 58765023 106770432 22923 996147200 134512640 135095119 4294956304 18446744073709551615 134910772 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 26067 22923 389 142 0 25021 0
Current children cumulated CPU time (s) 1117.71
Current children cumulated vsize (KiB) 104268

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1323560/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=106744 CPUtime=1177.47
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 36767 822 0 0 117721 26 0 0 25 0 1 0 58765023 109305856 24039 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 26686 24039 389 142 0 25640 0
Current children cumulated CPU time (s) 1177.47
Current children cumulated vsize (KiB) 106744

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13631
/proc/meminfo: memFree=1316968/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=109092 CPUtime=1237.22
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 37869 822 0 0 123694 28 0 0 25 0 1 0 58765023 111710208 25141 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 27273 25141 389 142 0 26227 0
Current children cumulated CPU time (s) 1237.22
Current children cumulated vsize (KiB) 109092

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 13631
/proc/meminfo: memFree=1310312/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=111572 CPUtime=1296.98
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 38954 822 0 0 129669 29 0 0 25 0 1 0 58765023 114249728 26226 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 27893 26226 389 142 0 26847 0
Current children cumulated CPU time (s) 1296.98
Current children cumulated vsize (KiB) 111572

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1303336/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=146696 CPUtime=1356.74
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48240 822 0 0 135640 34 0 0 25 0 1 0 58765023 150216704 27319 996147200 134512640 135095119 4294956304 18446744073709551615 134927360 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36674 27319 389 142 0 35628 0
Current children cumulated CPU time (s) 1356.74
Current children cumulated vsize (KiB) 146696

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

[startup+1369.51 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1302184/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=146956 CPUtime=1363.91
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48372 822 0 0 136357 34 0 0 25 0 1 0 58765023 150482944 27451 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36739 27451 389 142 0 35693 0
Current children cumulated CPU time (s) 1363.91
Current children cumulated vsize (KiB) 146956

[startup+1382.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1300456/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147476 CPUtime=1376.65
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48601 822 0 0 137631 34 0 0 25 0 1 0 58765023 151015424 27680 996147200 134512640 135095119 4294956304 18446744073709551615 134918079 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36869 27680 389 142 0 35823 0
Current children cumulated CPU time (s) 1376.65
Current children cumulated vsize (KiB) 147476

[startup+1385.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1300008/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147608 CPUtime=1379.84
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48658 822 0 0 137950 34 0 0 25 0 1 0 58765023 151150592 27737 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36902 27737 389 142 0 35856 0
Current children cumulated CPU time (s) 1379.84
Current children cumulated vsize (KiB) 147608

[startup+1388.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1299624/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147736 CPUtime=1383.03
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48715 822 0 0 138269 34 0 0 25 0 1 0 58765023 151281664 27794 996147200 134512640 135095119 4294956304 18446744073709551615 134911229 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36934 27794 389 142 0 35888 0
Current children cumulated CPU time (s) 1383.03
Current children cumulated vsize (KiB) 147736

[startup+1389.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 13631
/proc/meminfo: memFree=1299496/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147736 CPUtime=1383.82
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48729 822 0 0 138348 34 0 0 25 0 1 0 58765023 151281664 27808 996147200 134512640 135095119 4294956304 18446744073709551615 134918175 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36934 27808 389 142 0 35888 0
Current children cumulated CPU time (s) 1383.82
Current children cumulated vsize (KiB) 147736

[startup+1390.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 13631
/proc/meminfo: memFree=1299368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=147868 CPUtime=1384.62
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48743 822 0 0 138428 34 0 0 25 0 1 0 58765023 151416832 27822 996147200 134512640 135095119 4294956304 18446744073709551615 7447905 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 36967 27822 389 142 0 35921 0
Current children cumulated CPU time (s) 1384.62
Current children cumulated vsize (KiB) 147868

[startup+1390.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 13631
/proc/meminfo: memFree=1299368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=65940 CPUtime=1384.82
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48743 822 0 0 138447 35 0 0 25 0 1 0 58765023 67522560 15818 996147200 134512640 135095119 4294956304 18446744073709551615 7446643 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 16485 15818 389 142 0 15439 0
Current children cumulated CPU time (s) 1384.82
Current children cumulated vsize (KiB) 65940

[startup+1390.6 s]
/proc/loadavg: 2.12 2.04 2.01 3/73 13631
/proc/meminfo: memFree=1299368/2055920 swapFree=4192812/4192956
[pid=13592] ppid=13590 vsize=65940 CPUtime=1384.92
/proc/13592/stat : 13592 (pcs.small) R 13590 13592 11357 0 -1 4194304 48743 822 0 0 138457 35 0 0 25 0 1 0 58765023 67522560 15818 996147200 134512640 135095119 4294956304 18446744073709551615 7446597 0 0 4096 0 0 0 0 17 0 0 0
/proc/13592/statm: 16485 15818 389 142 0 15439 0
Current children cumulated CPU time (s) 1384.92
Current children cumulated vsize (KiB) 65940

Child status: 0
Real time (s): 1390.69
CPU time (s): 1385.04
CPU user time (s): 1384.66
CPU system time (s): 0.372943
CPU usage (%): 99.5933
Max. virtual memory (cumulated for all children) (KiB): 147868

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

runsolver used 1.04084 second user time and 4.02239 second system time

The end

Launcher Data 

Begin job on node30 at 2009-07-16 06:03:09
IDJOB=2079723
IDBENCH=56942
IDSOLVER=734
FILE ID=node30/2079723-1247716989
PBS_JOBID= 9521321
Free space on /tmp= 66284 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-34_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2079723-1247716989/watcher-2079723-1247716989 -o /tmp/evaluation-result-2079723-1247716989/solver-2079723-1247716989 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 226136006 HOME/instance-2079723-1247716989.xml

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

MD5SUM BENCH= f2a5642d0d3cc3bfc3ccc1bbf7de0804
RANDOM SEED=226136006

node30.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.277
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.277
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:       1485440 kB
Buffers:         76904 kB
Cached:         369244 kB
SwapCached:          0 kB
Active:          85548 kB
Inactive:       401340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1485440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2996 kB
Writeback:           0 kB
Mapped:          61184 kB
Slab:            68804 kB
Committed_AS:   580024 kB
PageTables:       1824 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66280 MiB
End job on node30 at 2009-07-16 06:26:20