Trace number 2081372

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.2SAT 1133.69 1143.97

DiagnosticValue
ASSIGNMENTS192734

General information on the benchmark

Namecsp/queenAttacking/
normalized-queenAttacking-5.xml
MD5SUM3df5407575bf7272c239ef529a9d0e05
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.068989
Satisfiable
(Un)Satisfiability was proved
Number of variables26
Number of constraints309
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension0
Number of constraints which are defined in intension309
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has operations which may create big domains
0.00/0.01	c big-domain mode
0.18/0.23	c Seed is 188779463
0.18/0.23	c Constructing HOME/instance-2081372-1247719514.xml 
0.18/0.23	c deduced all_different(V2,V5,V7,V11,V13,V17,V19,V23,V0)
0.18/0.23	c deduced all_different(V3,V5,V7,V9,V11,V13,V15,V17,V19,V21,V23,V25,V1)
0.18/0.23	c deduced all_different(V1,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V4)
0.18/0.23	c  with 1107 constraints
0.18/0.23	c Solving 192734 backtracks 21 restarts
1133.61/1143.91	s SATISFIABLE
1133.61/1143.91	c V0=12, V1=4, V2=7, V3=18, V4=21, V5=10, V6=1, V7=8, V8=19, V9=12, V10=9, V11=2, V12=5, V13=16, V14=23, V15=14, V16=3, V17=6, V18=15, V19=22, V20=13, V21=24, V22=17, V23=20, V24=11, V25=0, 
1133.61/1143.91	v 12 4 7 18 21 10 1 8 19 12 9 2 5 16 23 14 3 6 15 22 13 24 17 20 11 0 
1133.61/1143.91	d ASSIGNMENTS 192734

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081372-1247719514/watcher-2081372-1247719514 -o /tmp/evaluation-result-2081372-1247719514/solver-2081372-1247719514 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 188779463 HOME/instance-2081372-1247719514.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 13804
/proc/meminfo: memFree=1489424/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=18576 CPUtime=0
/proc/13804/stat : 13804 (runsolver) R 13802 13804 12541 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59018290 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13804/statm: 4644 284 249 26 0 2626 0

[startup+0.070664 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 13804
/proc/meminfo: memFree=1489424/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=5064 CPUtime=0.05
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 982 827 0 0 5 0 0 0 18 0 1 0 59018290 5185536 591 996147200 134512640 135215973 4294956304 18446744073709551615 134989469 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 1266 591 422 171 0 191 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5064

[startup+0.101653 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 13804
/proc/meminfo: memFree=1489424/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=5064 CPUtime=0.08
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 993 827 0 0 8 0 0 0 18 0 1 0 59018290 5185536 602 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 1266 602 422 171 0 191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5064

[startup+0.301596 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 13804
/proc/meminfo: memFree=1489424/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=5192 CPUtime=0.28
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 1026 827 0 0 28 0 0 0 19 0 1 0 59018290 5316608 635 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 1298 635 422 171 0 223 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5192

[startup+0.701481 s]
/proc/loadavg: 1.93 1.99 1.99 4/81 13804
/proc/meminfo: memFree=1489424/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=5320 CPUtime=0.67
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 1055 827 0 0 67 0 0 0 23 0 1 0 59018290 5447680 664 996147200 134512640 135215973 4294956304 18446744073709551615 134988709 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 1330 664 422 171 0 255 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5320

[startup+1.50125 s]
/proc/loadavg: 1.93 1.99 1.99 4/82 13810
/proc/meminfo: memFree=1488264/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=5580 CPUtime=1.46
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 1121 827 0 0 146 0 0 0 25 0 1 0 59018290 5713920 730 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 1395 730 422 171 0 320 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 5580

[startup+3.10179 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1487560/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=6228 CPUtime=3.05
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 1283 827 0 0 305 0 0 0 25 0 1 0 59018290 6377472 892 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 1557 892 422 171 0 482 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6228

[startup+6.30187 s]
/proc/loadavg: 1.93 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1486408/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=7272 CPUtime=6.22
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 1546 827 0 0 622 0 0 0 25 0 1 0 59018290 7446528 1122 996147200 134512640 135215973 4294956304 18446744073709551615 134682256 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 1818 1122 422 171 0 743 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 7272

[startup+12.701 s]
/proc/loadavg: 1.94 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1484552/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=8960 CPUtime=12.57
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 2015 827 0 0 1256 1 0 0 25 0 1 0 59018290 9175040 1591 996147200 134512640 135215973 4294956304 18446744073709551615 134533266 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 2240 1591 422 171 0 1165 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 8960

[startup+25.5014 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1480200/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=13456 CPUtime=25.25
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 3146 827 0 0 2524 1 0 0 25 0 1 0 59018290 13778944 2657 996147200 134512640 135215973 4294956304 18446744073709551615 134533307 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 3364 2657 422 171 0 2289 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 13456

[startup+51.101 s]
/proc/loadavg: 1.97 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1474120/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=19932 CPUtime=50.62
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 4805 827 0 0 5059 3 0 0 25 0 1 0 59018290 20410368 4187 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 4983 4187 422 171 0 3908 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 19932

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1460680/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=32848 CPUtime=101.37
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 8110 827 0 0 10132 5 0 0 25 0 1 0 59018290 33636352 7492 996147200 134512640 135215973 4294956304 18446744073709551615 134649104 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 8212 7492 422 171 0 7137 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 32848

[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1441864/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=52200 CPUtime=160.83
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 13100 827 0 0 16073 10 0 0 25 0 1 0 59018290 53452800 12225 996147200 134512640 135215973 4294956304 18446744073709551615 134590073 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 13050 12225 422 171 0 11975 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 52200

[startup+222.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 13810
/proc/meminfo: memFree=1427848/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=65684 CPUtime=220.29
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 16557 827 0 0 22016 13 0 0 25 0 1 0 59018290 67260416 15682 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 16421 15682 422 171 0 15346 0
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (KiB) 65684

[startup+282.302 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 13812
/proc/meminfo: memFree=1414600/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=78808 CPUtime=279.75
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 19901 827 0 0 27959 16 0 0 25 0 1 0 59018290 80699392 19026 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 19702 19026 422 171 0 18627 0
Current children cumulated CPU time (s) 279.75
Current children cumulated vsize (KiB) 78808

[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/82 13812
/proc/meminfo: memFree=1400328/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=94528 CPUtime=339.21
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 23903 827 0 0 33903 18 0 0 25 0 1 0 59018290 96796672 22515 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 23632 22515 422 171 0 22557 0
Current children cumulated CPU time (s) 339.21
Current children cumulated vsize (KiB) 94528

[startup+402.301 s]
/proc/loadavg: 2.05 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1389000/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=105696 CPUtime=398.67
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 26757 827 0 0 39847 20 0 0 25 0 1 0 59018290 108232704 25369 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 26424 25369 422 171 0 25349 0
Current children cumulated CPU time (s) 398.67
Current children cumulated vsize (KiB) 105696

[startup+462.302 s]
/proc/loadavg: 2.02 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1375944/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=118304 CPUtime=458.14
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 29994 827 0 0 45791 23 0 0 25 0 1 0 59018290 121143296 28606 996147200 134512640 135215973 4294956304 18446744073709551615 134609833 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 29576 28606 422 171 0 28501 0
Current children cumulated CPU time (s) 458.14
Current children cumulated vsize (KiB) 118304

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1363784/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=130452 CPUtime=517.6
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 33084 827 0 0 51734 26 0 0 25 0 1 0 59018290 133582848 31696 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 32613 31696 422 171 0 31538 0
Current children cumulated CPU time (s) 517.6
Current children cumulated vsize (KiB) 130452

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1348296/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=145548 CPUtime=577.06
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 36898 827 0 0 57676 30 0 0 25 0 1 0 59018290 149041152 35510 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 36387 35510 422 171 0 35312 0
Current children cumulated CPU time (s) 577.06
Current children cumulated vsize (KiB) 145548

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1331208/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=162428 CPUtime=636.52
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 41226 827 0 0 63618 34 0 0 25 0 1 0 59018290 166326272 39805 996147200 134512640 135215973 4294956304 18446744073709551615 7671431 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 40607 39805 422 171 0 39532 0
Current children cumulated CPU time (s) 636.52
Current children cumulated vsize (KiB) 162428

[startup+702.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1313544/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=179944 CPUtime=695.98
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 45728 827 0 0 69561 37 0 0 25 0 1 0 59018290 184262656 44242 996147200 134512640 135215973 4294956304 18446744073709551615 134597328 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 44986 44242 422 171 0 43911 0
Current children cumulated CPU time (s) 695.98
Current children cumulated vsize (KiB) 179944

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1289928/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=207284 CPUtime=755.45
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 52739 827 0 0 75503 42 0 0 25 0 1 0 59018290 212258816 50099 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 51821 50099 422 171 0 50746 0
Current children cumulated CPU time (s) 755.45
Current children cumulated vsize (KiB) 207284

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13812
/proc/meminfo: memFree=1273864/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=223148 CPUtime=814.91
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 56798 827 0 0 81446 45 0 0 25 0 1 0 59018290 228503552 54158 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 55787 54158 422 171 0 54712 0
Current children cumulated CPU time (s) 814.91
Current children cumulated vsize (KiB) 223148

[startup+882.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/82 13812
/proc/meminfo: memFree=1254344/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=242756 CPUtime=874.37
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 61864 827 0 0 87387 50 0 0 25 0 1 0 59018290 248582144 58967 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 60689 58967 422 171 0 59614 0
Current children cumulated CPU time (s) 874.37
Current children cumulated vsize (KiB) 242756

[startup+942.302 s]
/proc/loadavg: 2.04 2.02 2.00 3/82 13812
/proc/meminfo: memFree=1235272/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=261112 CPUtime=933.83
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 66642 827 0 0 93328 55 0 0 25 0 1 0 59018290 267378688 63745 996147200 134512640 135215973 4294956304 18446744073709551615 135095575 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 65278 63745 422 171 0 64203 0
Current children cumulated CPU time (s) 933.83
Current children cumulated vsize (KiB) 261112

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1218816/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=276860 CPUtime=993.28
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 70693 827 0 0 99269 59 0 0 25 0 1 0 59018290 283504640 67796 996147200 134512640 135215973 4294956304 18446744073709551615 134974087 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 69215 67796 422 171 0 68140 0
Current children cumulated CPU time (s) 993.28
Current children cumulated vsize (KiB) 276860

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13818
/proc/meminfo: memFree=1201472/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=295944 CPUtime=1052.75
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 75613 827 0 0 105212 63 0 0 25 0 1 0 59018290 303046656 72203 996147200 134512640 135215973 4294956304 18446744073709551615 4158960423 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 73986 72203 422 171 0 72911 0
Current children cumulated CPU time (s) 1052.75
Current children cumulated vsize (KiB) 295944

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1181440/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=315244 CPUtime=1112.2
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 80576 827 0 0 111153 67 0 0 25 0 1 0 59018290 322809856 77113 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 78811 77113 422 171 0 77736 0
Current children cumulated CPU time (s) 1112.2
Current children cumulated vsize (KiB) 315244

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

[startup+1126.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1180672/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=316016 CPUtime=1116.17
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 80754 827 0 0 111550 67 0 0 25 0 1 0 59018290 323600384 77291 996147200 134512640 135215973 4294956304 18446744073709551615 134591040 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 79004 77291 422 171 0 77929 0
Current children cumulated CPU time (s) 1116.17
Current children cumulated vsize (KiB) 316016

[startup+1132.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1179136/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=317688 CPUtime=1122.52
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 81181 827 0 0 112184 68 0 0 25 0 1 0 59018290 325312512 77718 996147200 134512640 135215973 4294956304 18446744073709551615 7671456 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 79422 77718 422 171 0 78347 0
Current children cumulated CPU time (s) 1122.52
Current children cumulated vsize (KiB) 317688

[startup+1139.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1176832/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=319768 CPUtime=1128.85
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 81736 827 0 0 112817 68 0 0 25 0 1 0 59018290 327442432 78273 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 79942 78273 422 171 0 78867 0
Current children cumulated CPU time (s) 1128.85
Current children cumulated vsize (KiB) 319768

[startup+1142.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1176000/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=320672 CPUtime=1132.02
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 81953 827 0 0 113134 68 0 0 25 0 1 0 59018290 328368128 78490 996147200 134512640 135215973 4294956304 18446744073709551615 134590163 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 80168 78490 422 171 0 79093 0
Current children cumulated CPU time (s) 1132.02
Current children cumulated vsize (KiB) 320672

[startup+1143.1 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1175744/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=320804 CPUtime=1132.82
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 82002 827 0 0 113214 68 0 0 25 0 1 0 59018290 328503296 78539 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 80201 78539 422 171 0 79126 0
Current children cumulated CPU time (s) 1132.82
Current children cumulated vsize (KiB) 320804

[startup+1143.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1175744/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=312740 CPUtime=1133.21
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 82013 827 0 0 113253 68 0 0 25 0 1 0 59018290 320245760 77035 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 78185 77035 422 171 0 77110 0
Current children cumulated CPU time (s) 1133.21
Current children cumulated vsize (KiB) 312740

[startup+1143.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/82 13818
/proc/meminfo: memFree=1181504/2055920 swapFree=4192812/4192956
[pid=13804] ppid=13802 vsize=312740 CPUtime=1133.61
/proc/13804/stat : 13804 (pcs.big) R 13802 13804 12541 0 -1 4194304 82013 827 0 0 113293 68 0 0 25 0 1 0 59018290 320245760 77035 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/13804/statm: 78185 77035 422 171 0 77110 0
Current children cumulated CPU time (s) 1133.61
Current children cumulated vsize (KiB) 312740

Child status: 0
Real time (s): 1143.97
CPU time (s): 1133.69
CPU user time (s): 1132.95
CPU system time (s): 0.744886
CPU usage (%): 99.1017
Max. virtual memory (cumulated for all children) (KiB): 320936

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

runsolver used 1.72074 second user time and 3.48747 second system time

The end

Launcher Data 

Begin job on node16 at 2009-07-16 06:45:14
IDJOB=2081372
IDBENCH=57392
IDSOLVER=733
FILE ID=node16/2081372-1247719514
PBS_JOBID= 9521454
Free space on /tmp= 66416 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/queenAttacking/normalized-queenAttacking-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081372-1247719514/watcher-2081372-1247719514 -o /tmp/evaluation-result-2081372-1247719514/solver-2081372-1247719514 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 188779463 HOME/instance-2081372-1247719514.xml

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

MD5SUM BENCH= 3df5407575bf7272c239ef529a9d0e05
RANDOM SEED=188779463

node16.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.231
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.231
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:       1489904 kB
Buffers:         69332 kB
Cached:         388784 kB
SwapCached:          0 kB
Active:          78692 kB
Inactive:       418188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1489904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1752 kB
Writeback:           0 kB
Mapped:          59232 kB
Slab:            54268 kB
Committed_AS:   549232 kB
PageTables:       1952 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= 66412 MiB
End job on node16 at 2009-07-16 07:04:18