Trace number 2081373

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.2SAT 1366.5 1379.46

DiagnosticValue
ASSIGNMENTS227909

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.00/0.02	c Seed is 612922016
0.00/0.02	c Constructing HOME/instance-2081373-1247719514.xml 
0.02/0.04	c deduced all_different(V2,V5,V7,V11,V13,V17,V19,V23,V0)
0.02/0.04	c deduced all_different(V3,V5,V7,V9,V11,V13,V15,V17,V19,V21,V23,V25,V1)
0.02/0.04	c deduced all_different(V1,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V4)
0.02/0.04	c  with 1107 constraints
0.02/0.04	c Solving 227909 backtracks 21 restarts
1366.33/1379.39	s SATISFIABLE
1366.33/1379.39	c V0=12, V1=0, 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=11, V21=20, V22=17, V23=24, V24=13, V25=4, 
1366.33/1379.39	v 12 0 7 18 21 10 1 8 19 12 9 2 5 16 23 14 3 6 15 22 11 20 17 24 13 4 
1366.33/1379.39	d ASSIGNMENTS 227909

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-2081373-1247719514/watcher-2081373-1247719514 -o /tmp/evaluation-result-2081373-1247719514/solver-2081373-1247719514 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 612922016 HOME/instance-2081373-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: 2.00 2.00 2.00 4/72 12614
/proc/meminfo: memFree=1134048/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=5356 CPUtime=0
/proc/12614/stat : 12614 (pcssolve) R 12612 12614 11245 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59015480 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272836913823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12614/statm: 1339 241 200 169 0 50 0
[pid=12615] ppid=12614 vsize=5356 CPUtime=0
/proc/12615/stat : 12615 (pcssolve) R 12614 12614 11245 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59015481 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 272836913823 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12615/statm: 1339 241 200 169 0 50 0

[startup+0.0402691 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12614
/proc/meminfo: memFree=1134048/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=4920 CPUtime=0.02
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 915 827 0 0 2 0 0 0 25 0 1 0 59015480 5038080 524 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 1230 524 388 171 0 155 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4920

[startup+0.101272 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12614
/proc/meminfo: memFree=1134048/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=5064 CPUtime=0.08
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 994 827 0 0 8 0 0 0 25 0 1 0 59015480 5185536 603 996147200 134512640 135215973 4294956304 18446744073709551615 134533377 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 1266 603 422 171 0 191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5064

[startup+0.301286 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12614
/proc/meminfo: memFree=1134048/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=5192 CPUtime=0.28
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 1017 827 0 0 28 0 0 0 25 0 1 0 59015480 5316608 626 996147200 134512640 135215973 4294956304 18446744073709551615 134600050 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 1298 626 422 171 0 223 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5192

[startup+0.701313 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12614
/proc/meminfo: memFree=1134048/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=5320 CPUtime=0.68
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 1066 827 0 0 68 0 0 0 25 0 1 0 59015480 5447680 675 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 1330 675 422 171 0 255 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5320

[startup+1.50137 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1132632/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=5800 CPUtime=1.47
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 1152 827 0 0 147 0 0 0 25 0 1 0 59015480 5939200 761 996147200 134512640 135215973 4294956304 18446744073709551615 134687033 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 1450 761 422 171 0 375 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5800

[startup+3.10248 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1131736/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=6188 CPUtime=3.06
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 1282 827 0 0 306 0 0 0 25 0 1 0 59015480 6336512 891 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 1547 891 422 171 0 472 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6188

[startup+6.30169 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1130008/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=7224 CPUtime=6.23
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 1530 827 0 0 623 0 0 0 25 0 1 0 59015480 7397376 1106 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 1806 1106 422 171 0 731 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 7224

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1127000/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=9044 CPUtime=12.57
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 2037 827 0 0 1257 0 0 0 25 0 1 0 59015480 9261056 1613 996147200 134512640 135215973 4294956304 18446744073709551615 4158960165 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 2261 1613 422 171 0 1186 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 9044

[startup+25.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1119832/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=13656 CPUtime=25.25
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 3183 827 0 0 2524 1 0 0 25 0 1 0 59015480 13983744 2694 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 3414 2694 422 171 0 2339 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 13656

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12620
/proc/meminfo: memFree=1109080/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=19980 CPUtime=50.62
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 4810 827 0 0 5060 2 0 0 25 0 1 0 59015480 20459520 4192 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 4995 4192 422 171 0 3920 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 19980

[startup+102.306 s]
/proc/loadavg: 1.94 1.98 1.99 3/83 12662
/proc/meminfo: memFree=1382208/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=32444 CPUtime=101.26
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 8024 827 0 0 10120 6 0 0 25 0 1 0 59015480 33222656 7406 996147200 134512640 135215973 4294956304 18446744073709551615 134990011 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 8111 7406 422 171 0 7036 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 32444

[startup+162.301 s]
/proc/loadavg: 1.97 1.98 1.99 3/83 12662
/proc/meminfo: memFree=1349440/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=51208 CPUtime=160.69
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 12844 827 0 0 16059 10 0 0 25 0 1 0 59015480 52436992 11969 996147200 134512640 135215973 4294956304 18446744073709551615 4158960249 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 12802 11969 422 171 0 11727 0
Current children cumulated CPU time (s) 160.69
Current children cumulated vsize (KiB) 51208

[startup+222.301 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 12662
/proc/meminfo: memFree=1328960/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=65084 CPUtime=220.13
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 16396 827 0 0 22000 13 0 0 25 0 1 0 59015480 66646016 15521 996147200 134512640 135215973 4294956304 18446744073709551615 134583274 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 16271 15521 422 171 0 15196 0
Current children cumulated CPU time (s) 220.13
Current children cumulated vsize (KiB) 65084

[startup+282.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 12662
/proc/meminfo: memFree=1314880/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=77936 CPUtime=279.58
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 19681 827 0 0 27942 16 0 0 25 0 1 0 59015480 79806464 18806 996147200 134512640 135215973 4294956304 18446744073709551615 134600268 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 19484 18806 422 171 0 18409 0
Current children cumulated CPU time (s) 279.58
Current children cumulated vsize (KiB) 77936

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12662
/proc/meminfo: memFree=1300160/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=94320 CPUtime=339.02
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 23837 827 0 0 33882 20 0 0 25 0 1 0 59015480 96583680 22449 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 23580 22449 422 171 0 22505 0
Current children cumulated CPU time (s) 339.02
Current children cumulated vsize (KiB) 94320

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12664
/proc/meminfo: memFree=1287680/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=106452 CPUtime=398.46
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 26940 827 0 0 39823 23 0 0 25 0 1 0 59015480 109006848 25552 996147200 134512640 135215973 4294956304 18446744073709551615 134597628 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 26613 25552 422 171 0 25538 0
Current children cumulated CPU time (s) 398.46
Current children cumulated vsize (KiB) 106452

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12664
/proc/meminfo: memFree=1273664/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=120104 CPUtime=457.9
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 30432 827 0 0 45764 26 0 0 25 0 1 0 59015480 122986496 29044 996147200 134512640 135215973 4294956304 18446744073709551615 134641171 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 30026 29044 422 171 0 28951 0
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (KiB) 120104

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12664
/proc/meminfo: memFree=1259648/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=133904 CPUtime=517.34
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 33931 827 0 0 51705 29 0 0 25 0 1 0 59015480 137117696 32543 996147200 134512640 135215973 4294956304 18446744073709551615 4158961363 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 33476 32543 422 171 0 32401 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 133904

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12664
/proc/meminfo: memFree=1246016/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=147024 CPUtime=576.78
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 37292 827 0 0 57647 31 0 0 25 0 1 0 59015480 150552576 35904 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 36756 35904 422 171 0 35681 0
Current children cumulated CPU time (s) 576.78
Current children cumulated vsize (KiB) 147024

[startup+642.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 12664
/proc/meminfo: memFree=1229760/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=162988 CPUtime=636.22
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 41359 827 0 0 63587 35 0 0 25 0 1 0 59015480 166899712 39938 996147200 134512640 135215973 4294956304 18446744073709551615 134533256 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 40747 39938 422 171 0 39672 0
Current children cumulated CPU time (s) 636.22

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

/proc/meminfo: memFree=1211456/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=181140 CPUtime=695.66
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 46017 827 0 0 69526 40 0 0 25 0 1 0 59015480 185487360 44531 996147200 134512640 135215973 4294956304 18446744073709551615 134592736 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 45285 44531 422 171 0 44210 0
Current children cumulated CPU time (s) 695.66
Current children cumulated vsize (KiB) 181140

[startup+762.306 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 12664
/proc/meminfo: memFree=1188672/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=207308 CPUtime=755.09
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 52662 827 0 0 75464 45 0 0 25 0 1 0 59015480 212283392 50151 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 51827 50151 422 171 0 50752 0
Current children cumulated CPU time (s) 755.09
Current children cumulated vsize (KiB) 207308

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 12664
/proc/meminfo: memFree=1169728/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=226284 CPUtime=814.53
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 57592 827 0 0 81404 49 0 0 25 0 1 0 59015480 231714816 54952 996147200 134512640 135215973 4294956304 18446744073709551615 134615507 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 56571 54952 422 171 0 55496 0
Current children cumulated CPU time (s) 814.53
Current children cumulated vsize (KiB) 226284

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12664
/proc/meminfo: memFree=1149056/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=246912 CPUtime=873.97
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 62927 827 0 0 87344 53 0 0 25 0 1 0 59015480 252837888 60030 996147200 134512640 135215973 4294956304 18446744073709551615 134533040 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 61728 60030 422 171 0 60653 0
Current children cumulated CPU time (s) 873.97
Current children cumulated vsize (KiB) 246912

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12664
/proc/meminfo: memFree=1130240/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=265436 CPUtime=933.42
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 67692 827 0 0 93284 58 0 0 25 0 1 0 59015480 271806464 64795 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 66359 64795 422 171 0 65284 0
Current children cumulated CPU time (s) 933.42
Current children cumulated vsize (KiB) 265436

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1113656/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=281172 CPUtime=992.84
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 71759 827 0 0 99222 62 0 0 25 0 1 0 59015480 287920128 68862 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 70293 68862 422 171 0 69218 0
Current children cumulated CPU time (s) 992.84
Current children cumulated vsize (KiB) 281172

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1096184/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=298700 CPUtime=1052.28
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 76267 827 0 0 105162 66 0 0 25 0 1 0 59015480 305868800 73317 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 74675 73317 422 171 0 73600 0
Current children cumulated CPU time (s) 1052.28
Current children cumulated vsize (KiB) 298700

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1076920/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=319340 CPUtime=1111.72
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 81587 827 0 0 111101 71 0 0 25 0 1 0 59015480 327004160 78124 996147200 134512640 135215973 4294956304 18446744073709551615 134593059 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 79835 78124 422 171 0 78760 0
Current children cumulated CPU time (s) 1111.72
Current children cumulated vsize (KiB) 319340

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1060344/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=335460 CPUtime=1171.16
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 85707 827 0 0 117041 75 0 0 25 0 1 0 59015480 343511040 82244 996147200 134512640 135215973 4294956304 18446744073709551615 134533179 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 83865 82244 422 171 0 82790 0
Current children cumulated CPU time (s) 1171.16
Current children cumulated vsize (KiB) 335460

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1041464/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=353804 CPUtime=1230.61
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 90419 827 0 0 122982 79 0 0 25 0 1 0 59015480 362295296 86956 996147200 134512640 135215973 4294956304 18446744073709551615 134587282 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 88451 86956 422 171 0 87376 0
Current children cumulated CPU time (s) 1230.61
Current children cumulated vsize (KiB) 353804

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1021632/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=372428 CPUtime=1290.05
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 95232 827 0 0 128921 84 0 0 25 0 1 0 59015480 381366272 91769 996147200 134512640 135215973 4294956304 18446744073709551615 134532922 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 93107 91769 422 171 0 92032 0
Current children cumulated CPU time (s) 1290.05
Current children cumulated vsize (KiB) 372428

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1001216/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=392496 CPUtime=1349.48
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 100431 827 0 0 134861 87 0 0 25 0 1 0 59015480 401915904 96968 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 98124 96968 422 171 0 97049 0
Current children cumulated CPU time (s) 1349.48
Current children cumulated vsize (KiB) 392496

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

[startup+1369.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=998912/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=394712 CPUtime=1356.62
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 100981 827 0 0 135574 88 0 0 25 0 1 0 59015480 404185088 97518 996147200 134512640 135215973 4294956304 18446744073709551615 134686791 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 98678 97518 422 171 0 97603 0
Current children cumulated CPU time (s) 1356.62
Current children cumulated vsize (KiB) 394712

[startup+1375.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=996928/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=396808 CPUtime=1362.96
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 101536 827 0 0 136208 88 0 0 25 0 1 0 59015480 406331392 98073 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 99202 98073 422 171 0 98127 0
Current children cumulated CPU time (s) 1362.96
Current children cumulated vsize (KiB) 396808

[startup+1377.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=996224/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=397324 CPUtime=1364.54
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 101657 827 0 0 136366 88 0 0 25 0 1 0 59015480 406859776 98194 996147200 134512640 135215973 4294956304 18446744073709551615 134592349 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 99331 98194 422 171 0 98256 0
Current children cumulated CPU time (s) 1364.54
Current children cumulated vsize (KiB) 397324

[startup+1378.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=995904/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=397588 CPUtime=1365.34
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 101733 827 0 0 136446 88 0 0 25 0 1 0 59015480 407130112 98270 996147200 134512640 135215973 4294956304 18446744073709551615 134616954 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 99397 98270 422 171 0 98322 0
Current children cumulated CPU time (s) 1365.34
Current children cumulated vsize (KiB) 397588

[startup+1379.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=995904/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=389520 CPUtime=1366.13
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 101756 827 0 0 136524 89 0 0 25 0 1 0 59015480 398868480 96503 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 97380 96503 422 171 0 96305 0
Current children cumulated CPU time (s) 1366.13
Current children cumulated vsize (KiB) 389520

[startup+1379.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1002752/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=389520 CPUtime=1366.33
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194304 101756 827 0 0 136544 89 0 0 25 0 1 0 59015480 398868480 96503 996147200 134512640 135215973 4294956304 18446744073709551615 12648563 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 97380 96503 422 171 0 96305 0
Current children cumulated CPU time (s) 1366.33
Current children cumulated vsize (KiB) 389520

[startup+1379.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12670
/proc/meminfo: memFree=1002752/2055920 swapFree=4192812/4192956
[pid=12614] ppid=12612 vsize=0 CPUtime=1366.43
/proc/12614/stat : 12614 (pcs.big) R 12612 12614 11245 0 -1 4194308 101758 827 0 0 136553 90 0 0 25 0 1 0 59015480 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/12614/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1366.43
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1379.46
CPU time (s): 1366.5
CPU user time (s): 1365.54
CPU system time (s): 0.957854
CPU usage (%): 99.0604
Max. virtual memory (cumulated for all children) (KiB): 397716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1365.54
system time used= 0.957854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102585
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= 23
involuntary context switches= 53643

runsolver used 1.72574 second user time and 4.54231 second system time

The end

Launcher Data 

Begin job on node39 at 2009-07-16 06:45:14
IDJOB=2081373
IDBENCH=57392
IDSOLVER=734
FILE ID=node39/2081373-1247719514
PBS_JOBID= 9521404
Free space on /tmp= 66360 MiB

SOLVER NAME= pcs-restart 0.2.restart
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-2081373-1247719514/watcher-2081373-1247719514 -o /tmp/evaluation-result-2081373-1247719514/solver-2081373-1247719514 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 612922016 HOME/instance-2081373-1247719514.xml

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

MD5SUM BENCH= 3df5407575bf7272c239ef529a9d0e05
RANDOM SEED=612922016

node39.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.236
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.236
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:       1134528 kB
Buffers:         86216 kB
Cached:         418888 kB
SwapCached:          0 kB
Active:         518600 kB
Inactive:       318512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1134528 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1760 kB
Writeback:           0 kB
Mapped:         343600 kB
Slab:            69220 kB
Committed_AS:   864332 kB
PageTables:       2384 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= 66360 MiB
End job on node39 at 2009-07-16 07:08:14