Trace number 2090822

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 867.396 869.706

DiagnosticValue
ASSIGNMENTS13028

General information on the benchmark

Namecsp/tightness0.9/
normalized-rand-2-40-180-84-900-63_ext.xml
MD5SUM0e566d9c333cc3028bf54580af84403c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.76843
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints84
Maximum constraint arity2
Maximum domain size180
Number of constraints which are defined in extension84
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.05	c Seed is 1288541365
0.00/0.05	c Constructing HOME/instance-2090822-1247731127.xml  with 84 constraints
0.66/0.77	c Solving 13028 backtracks 14 restarts
867.27/869.68	s UNSATISFIABLE
867.27/869.68	d ASSIGNMENTS 13028

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-2090822-1247731127/watcher-2090822-1247731127 -o /tmp/evaluation-result-2090822-1247731127/solver-2090822-1247731127 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1288541365 HOME/instance-2090822-1247731127.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.00 2.00 2.00 4/82 11458
/proc/meminfo: memFree=1532632/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=5356 CPUtime=0
/proc/11458/stat : 11458 (pcssolve) R 11456 11458 11185 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60177540 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 234211568287 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11458/statm: 1339 241 200 169 0 50 0
[pid=11459] ppid=11458 vsize=200 CPUtime=0
/proc/11459/stat : 11459 (fgrep) R 11458 11458 11185 0 -1 4194304 46 0 0 0 0 0 0 0 22 0 1 0 60177541 204800 24 996147200 4194304 4274172 548682068976 18446744073709551615 234208949641 0 0 4096 0 0 0 0 17 1 0 0
/proc/11459/statm: 50 24 17 19 0 4 0
[pid=11460] ppid=11458 vsize=5356 CPUtime=0
/proc/11460/stat : 11460 (pcssolve) R 11458 11458 11185 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60177541 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 234211568287 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11460/statm: 1339 241 200 169 0 50 0

[startup+0.078631 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11458
/proc/meminfo: memFree=1532632/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=5072 CPUtime=0.05
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 882 656 0 0 5 0 0 0 18 0 1 0 60177540 5193728 513 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 1268 513 383 171 0 193 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5072

[startup+0.101632 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11458
/proc/meminfo: memFree=1532632/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=5352 CPUtime=0.07
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 913 656 0 0 7 0 0 0 18 0 1 0 60177540 5480448 544 996147200 134512640 135215973 4294956304 18446744073709551615 134882160 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 1338 544 383 171 0 263 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5352

[startup+0.301659 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11458
/proc/meminfo: memFree=1532632/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=7524 CPUtime=0.27
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 1160 656 0 0 27 0 0 0 19 0 1 0 60177540 7704576 791 996147200 134512640 135215973 4294956304 18446744073709551615 134597296 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 1881 791 383 171 0 806 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7524

[startup+0.701708 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 11458
/proc/meminfo: memFree=1532632/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=11716 CPUtime=0.66
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 1645 656 0 0 66 0 0 0 23 0 1 0 60177540 11997184 1276 996147200 134512640 135215973 4294956304 18446744073709551615 135045104 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 2929 1276 383 171 0 1854 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 11716

[startup+1.50181 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 11463
/proc/meminfo: memFree=1527760/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=13276 CPUtime=1.46
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 1992 656 0 0 146 0 0 0 25 0 1 0 60177540 13594624 1623 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 3319 1623 401 171 0 2244 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13276

[startup+3.10202 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 11463
/proc/meminfo: memFree=1527440/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=13276 CPUtime=3.04
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 2013 656 0 0 304 0 0 0 25 0 1 0 60177540 13594624 1644 996147200 134512640 135215973 4294956304 18446744073709551615 4158960744 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 3319 1644 401 171 0 2244 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13276

[startup+6.30242 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 11463
/proc/meminfo: memFree=1526928/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=13276 CPUtime=6.21
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 2082 656 0 0 621 0 0 0 25 0 1 0 60177540 13594624 1713 996147200 134512640 135215973 4294956304 18446744073709551615 135020306 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 3319 1713 401 171 0 2244 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13276

[startup+12.7012 s]
/proc/loadavg: 2.07 2.02 2.00 3/83 11463
/proc/meminfo: memFree=1526608/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=13276 CPUtime=12.54
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 2187 656 0 0 1254 0 0 0 25 0 1 0 60177540 13594624 1818 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 3319 1818 401 171 0 2244 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 13276

[startup+25.5019 s]
/proc/loadavg: 2.05 2.01 2.00 3/83 11463
/proc/meminfo: memFree=1525712/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=13276 CPUtime=25.21
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 2420 656 0 0 2521 0 0 0 25 0 1 0 60177540 13594624 2051 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 3319 2051 401 171 0 2244 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 13276

[startup+51.1011 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 11463
/proc/meminfo: memFree=1523664/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=13536 CPUtime=50.55
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 2959 656 0 0 5054 1 0 0 25 0 1 0 60177540 13860864 2590 996147200 134512640 135215973 4294956304 18446744073709551615 4158960023 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 3384 2590 401 171 0 2309 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 13536

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 11463
/proc/meminfo: memFree=1517776/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=19096 CPUtime=101.23
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 4458 656 0 0 10121 2 0 0 25 0 1 0 60177540 19554304 4024 996147200 134512640 135215973 4294956304 18446744073709551615 4158961159 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 4774 4024 401 171 0 3699 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 19096

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 11469
/proc/meminfo: memFree=1511568/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=25036 CPUtime=160.59
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 5994 656 0 0 16056 3 0 0 25 0 1 0 60177540 25636864 5560 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 1 0 0
/proc/11458/statm: 6259 5560 401 171 0 5184 0
Current children cumulated CPU time (s) 160.59
Current children cumulated vsize (KiB) 25036

[startup+222.302 s]
/proc/loadavg: 2.05 2.01 2.00 3/74 11502
/proc/meminfo: memFree=1514528/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=32936 CPUtime=220.24
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 8004 656 0 0 22019 5 0 0 25 0 1 0 60177540 33726464 7441 996147200 134512640 135215973 4294956304 18446744073709551615 134583204 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 8234 7441 401 171 0 7159 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 32936

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/74 11502
/proc/meminfo: memFree=1501536/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=40052 CPUtime=280.22
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 9851 656 0 0 28016 6 0 0 25 0 1 0 60177540 41013248 9255 996147200 134512640 135215973 4294956304 18446744073709551615 135026871 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 10013 9255 401 171 0 8938 0
Current children cumulated CPU time (s) 280.22
Current children cumulated vsize (KiB) 40052

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1487264/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=47308 CPUtime=340.18
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 11694 656 0 0 34011 7 0 0 25 0 1 0 60177540 48443392 11098 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 11827 11098 401 171 0 10752 0
Current children cumulated CPU time (s) 340.18
Current children cumulated vsize (KiB) 47308

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1478816/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=55328 CPUtime=400.16
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 13768 656 0 0 40008 8 0 0 25 0 1 0 60177540 56655872 12915 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 13832 12915 401 171 0 12757 0
Current children cumulated CPU time (s) 400.16
Current children cumulated vsize (KiB) 55328

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1468640/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=62060 CPUtime=460.14
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 15505 656 0 0 46004 10 0 0 25 0 1 0 60177540 63549440 14652 996147200 134512640 135215973 4294956304 18446744073709551615 134583217 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 15515 14652 401 171 0 14440 0
Current children cumulated CPU time (s) 460.14
Current children cumulated vsize (KiB) 62060

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1458720/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=68920 CPUtime=520.11
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 17247 656 0 0 52000 11 0 0 25 0 1 0 60177540 70574080 16394 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 17230 16394 401 171 0 16155 0
Current children cumulated CPU time (s) 520.11
Current children cumulated vsize (KiB) 68920

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1448672/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=76300 CPUtime=580.09
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 19159 656 0 0 57996 13 0 0 25 0 1 0 60177540 78131200 18241 996147200 134512640 135215973 4294956304 18446744073709551615 135020311 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 19075 18241 401 171 0 18000 0
Current children cumulated CPU time (s) 580.09
Current children cumulated vsize (KiB) 76300

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1439200/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=82764 CPUtime=640.07
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 20802 656 0 0 63993 14 0 0 25 0 1 0 60177540 84750336 19884 996147200 134512640 135215973 4294956304 18446744073709551615 134604784 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 20691 19884 401 171 0 19616 0
Current children cumulated CPU time (s) 640.07
Current children cumulated vsize (KiB) 82764

[startup+702.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1423648/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=89364 CPUtime=700.04
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 22522 656 0 0 69989 15 0 0 25 0 1 0 60177540 91508736 21604 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 22341 21604 401 171 0 21266 0
Current children cumulated CPU time (s) 700.04
Current children cumulated vsize (KiB) 89364

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1416416/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=97616 CPUtime=760.02
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 24635 656 0 0 75985 17 0 0 25 0 1 0 60177540 99958784 23204 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 24404 23204 401 171 0 23329 0
Current children cumulated CPU time (s) 760.02
Current children cumulated vsize (KiB) 97616

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1408608/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=104216 CPUtime=819.98
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 26332 656 0 0 81980 18 0 0 25 0 1 0 60177540 106717184 24901 996147200 134512640 135215973 4294956304 18446744073709551615 134589784 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 26054 24901 401 171 0 24979 0
Current children cumulated CPU time (s) 819.98
Current children cumulated vsize (KiB) 104216

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

[startup+844.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1405600/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=106724 CPUtime=842.38
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 26950 656 0 0 84219 19 0 0 25 0 1 0 60177540 109285376 25519 996147200 134512640 135215973 4294956304 18446744073709551615 134585623 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 26681 25519 401 171 0 25606 0
Current children cumulated CPU time (s) 842.38
Current children cumulated vsize (KiB) 106724

[startup+857.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1403552/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=108484 CPUtime=855.17
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 27401 656 0 0 85498 19 0 0 25 0 1 0 60177540 111087616 25970 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 27121 25970 401 171 0 26046 0
Current children cumulated CPU time (s) 855.17
Current children cumulated vsize (KiB) 108484

[startup+863.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1403168/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=108880 CPUtime=861.57
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 27501 656 0 0 86138 19 0 0 25 0 1 0 60177540 111493120 26070 996147200 134512640 135215973 4294956304 18446744073709551615 135020227 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 27220 26070 401 171 0 26145 0
Current children cumulated CPU time (s) 861.57
Current children cumulated vsize (KiB) 108880

[startup+867.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1402656/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=109276 CPUtime=864.76
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 27608 656 0 0 86457 19 0 0 25 0 1 0 60177540 111898624 26177 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 27319 26177 401 171 0 26244 0
Current children cumulated CPU time (s) 864.76
Current children cumulated vsize (KiB) 109276

[startup+868.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1402592/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=109540 CPUtime=866.36
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 27661 656 0 0 86617 19 0 0 25 0 1 0 60177540 112168960 26230 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 27385 26230 401 171 0 26310 0
Current children cumulated CPU time (s) 866.36
Current children cumulated vsize (KiB) 109540

[startup+869.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1402272/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=109156 CPUtime=867.17
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194304 27700 656 0 0 86698 19 0 0 25 0 1 0 60177540 111775744 26166 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 27289 26166 401 171 0 26214 0
Current children cumulated CPU time (s) 867.17
Current children cumulated vsize (KiB) 109156

[startup+869.703 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 11502
/proc/meminfo: memFree=1402272/2055920 swapFree=4192812/4192956
[pid=11458] ppid=11456 vsize=0 CPUtime=867.37
/proc/11458/stat : 11458 (pcs.big) R 11456 11458 11185 0 -1 4194308 27703 656 0 0 86716 21 0 0 25 0 1 0 60177540 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/11458/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 867.37
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 869.706
CPU time (s): 867.396
CPU user time (s): 867.171
CPU system time (s): 0.224965
CPU usage (%): 99.7344
Max. virtual memory (cumulated for all children) (KiB): 109672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 867.171
system time used= 0.224965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28359
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= 18
involuntary context switches= 10186

runsolver used 1.08384 second user time and 2.87656 second system time

The end

Launcher Data 

Begin job on node54 at 2009-07-16 09:58:47
IDJOB=2090822
IDBENCH=59914
IDSOLVER=734
FILE ID=node54/2090822-1247731127
PBS_JOBID= 9521610
Free space on /tmp= 66296 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-63_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090822-1247731127/watcher-2090822-1247731127 -o /tmp/evaluation-result-2090822-1247731127/solver-2090822-1247731127 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1288541365 HOME/instance-2090822-1247731127.xml

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

MD5SUM BENCH= 0e566d9c333cc3028bf54580af84403c
RANDOM SEED=1288541365

node54.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.232
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.232
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:       1533112 kB
Buffers:         78912 kB
Cached:         320384 kB
SwapCached:          0 kB
Active:         126452 kB
Inactive:       307304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1533112 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3536 kB
Writeback:           0 kB
Mapped:          54752 kB
Slab:            74188 kB
Committed_AS:   557360 kB
PageTables:       1840 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= 66292 MiB
End job on node54 at 2009-07-16 10:13:17