Trace number 2081362

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.2? (TO) 1800.12 1802.55

General information on the benchmark

Namecsp/queenAttacking/
normalized-queenAttacking-6.xml
MD5SUM329ec630f18fe773f393b0bd33b7aab7
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 benchmark8.59869
Satisfiable
(Un)Satisfiability was proved
Number of variables37
Number of constraints641
Maximum constraint arity2
Maximum domain size36
Number of constraints which are defined in extension0
Number of constraints which are defined in intension641
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 138313472
0.00/0.02	c Constructing HOME/instance-2081362-1247719506.xml 
0.00/0.05	c deduced all_different(V2,V5,V7,V11,V13,V17,V19,V23,V29,V31,V0)
0.00/0.05	c deduced all_different(V3,V5,V7,V9,V11,V13,V15,V17,V19,V21,V23,V25,V27,V29,V31,V33,V35,V1)
0.00/0.05	c deduced all_different(V1,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V4)
0.00/0.05	c  with 1763 constraints
0.00/0.05	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081362-1247719506/watcher-2081362-1247719506 -o /tmp/evaluation-result-2081362-1247719506/solver-2081362-1247719506 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 138313472 HOME/instance-2081362-1247719506.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.02 2.00 4/72 16665
/proc/meminfo: memFree=1150328/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=5356 CPUtime=0
/proc/16665/stat : 16665 (pcssolve) R 16663 16665 13922 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59017240 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16665/statm: 1339 241 200 169 0 50 0
[pid=16666] ppid=16665 vsize=5356 CPUtime=0
/proc/16666/stat : 16666 (pcssolve) R 16665 16665 13922 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59017240 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16666/statm: 1339 241 200 169 0 50 0

[startup+0.0696769 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 16665
/proc/meminfo: memFree=1150328/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=5280 CPUtime=0.04
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1016 657 0 0 4 0 0 0 23 0 1 0 59017240 5406720 647 996147200 134512640 135215973 4294956304 18446744073709551615 134648036 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 1320 647 418 171 0 245 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5280

[startup+0.102679 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 16665
/proc/meminfo: memFree=1150328/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=5280 CPUtime=0.08
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1021 657 0 0 8 0 0 0 23 0 1 0 59017240 5406720 652 996147200 134512640 135215973 4294956304 18446744073709551615 134589862 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 1320 652 422 171 0 245 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5280

[startup+0.302699 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 16665
/proc/meminfo: memFree=1150328/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=5280 CPUtime=0.28
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1030 657 0 0 28 0 0 0 25 0 1 0 59017240 5406720 661 996147200 134512640 135215973 4294956304 18446744073709551615 134600411 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 1320 661 422 171 0 245 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5280

[startup+0.702744 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 16665
/proc/meminfo: memFree=1150328/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=5540 CPUtime=0.67
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1080 657 0 0 67 0 0 0 25 0 1 0 59017240 5672960 711 996147200 134512640 135215973 4294956304 18446744073709551615 134609824 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 1385 711 422 171 0 310 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5540

[startup+1.50183 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16670
/proc/meminfo: memFree=1148720/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=5936 CPUtime=1.47
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1173 657 0 0 147 0 0 0 25 0 1 0 59017240 6078464 804 996147200 134512640 135215973 4294956304 18446744073709551615 134592450 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 1484 804 422 171 0 409 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5936

[startup+3.10201 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16670
/proc/meminfo: memFree=1147824/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=6580 CPUtime=3.05
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1372 657 0 0 305 0 0 0 25 0 1 0 59017240 6737920 970 996147200 134512640 135215973 4294956304 18446744073709551615 4158960240 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 1645 970 422 171 0 570 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6580

[startup+6.30135 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16670
/proc/meminfo: memFree=1146416/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=7228 CPUtime=6.22
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1540 657 0 0 622 0 0 0 25 0 1 0 59017240 7401472 1138 996147200 134512640 135215973 4294956304 18446744073709551615 135007110 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 1807 1138 422 171 0 732 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 7228

[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16670
/proc/meminfo: memFree=1144048/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=8516 CPUtime=12.57
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 1865 657 0 0 1256 1 0 0 25 0 1 0 59017240 8720384 1463 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 2129 1463 422 171 0 1054 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 8516

[startup+25.5024 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16670
/proc/meminfo: memFree=1138416/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=12480 CPUtime=25.25
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 2873 657 0 0 2523 2 0 0 25 0 1 0 59017240 12779520 2406 996147200 134512640 135215973 4294956304 18446744073709551615 134902596 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 3120 2406 422 171 0 2045 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 12480

[startup+51.1022 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16670
/proc/meminfo: memFree=1129456/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=16628 CPUtime=50.62
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 3957 657 0 0 5059 3 0 0 25 0 1 0 59017240 17027072 3490 996147200 134512640 135215973 4294956304 18446744073709551615 134533336 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 4157 3490 422 171 0 3082 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 16628

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16670
/proc/meminfo: memFree=1112432/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=24252 CPUtime=101.34
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 5913 657 0 0 10130 4 0 0 25 0 1 0 59017240 24834048 5317 996147200 134512640 135215973 4294956304 18446744073709551615 134904497 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 6063 5317 422 171 0 4988 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 24252

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16670
/proc/meminfo: memFree=1087024/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=39552 CPUtime=160.78
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 9862 657 0 0 16070 8 0 0 25 0 1 0 59017240 40501248 9009 996147200 134512640 135215973 4294956304 18446744073709551615 134616954 0 0 4096 0 0 0 0 17 1 0 0
/proc/16665/statm: 9888 9009 422 171 0 8813 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 39552

[startup+222.303 s]
/proc/loadavg: 1.95 1.99 1.99 3/82 16710
/proc/meminfo: memFree=1400424/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=53508 CPUtime=220.49
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 13440 657 0 0 22036 13 0 0 25 0 1 0 59017240 54792192 12587 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 13377 12587 422 171 0 12302 0
Current children cumulated CPU time (s) 220.49
Current children cumulated vsize (KiB) 53508

[startup+282.303 s]
/proc/loadavg: 2.02 2.00 2.00 3/82 16710
/proc/meminfo: memFree=1376296/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=63096 CPUtime=280.47
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 15892 657 0 0 28032 15 0 0 25 0 1 0 59017240 64610304 15039 996147200 134512640 135215973 4294956304 18446744073709551615 135005274 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 15774 15039 422 171 0 14699 0
Current children cumulated CPU time (s) 280.47
Current children cumulated vsize (KiB) 63096

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16710
/proc/meminfo: memFree=1357608/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=72060 CPUtime=340.44
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 18176 657 0 0 34027 17 0 0 25 0 1 0 59017240 73789440 17323 996147200 134512640 135215973 4294956304 18446744073709551615 4158960322 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 18015 17323 422 171 0 16940 0
Current children cumulated CPU time (s) 340.44
Current children cumulated vsize (KiB) 72060

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16712
/proc/meminfo: memFree=1339112/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=84892 CPUtime=400.42
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 21458 657 0 0 40023 19 0 0 25 0 1 0 59017240 86929408 20039 996147200 134512640 135215973 4294956304 18446744073709551615 134532922 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 21223 20039 422 171 0 20148 0
Current children cumulated CPU time (s) 400.42
Current children cumulated vsize (KiB) 84892

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16712
/proc/meminfo: memFree=1322152/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=92308 CPUtime=460.4
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 23376 657 0 0 46019 21 0 0 25 0 1 0 59017240 94523392 21957 996147200 134512640 135215973 4294956304 18446744073709551615 134591026 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 23077 21957 422 171 0 22002 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 92308

[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16712
/proc/meminfo: memFree=1309864/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=99068 CPUtime=520.37
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 25113 657 0 0 52015 22 0 0 25 0 1 0 59017240 101445632 23694 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 24767 23694 422 171 0 23692 0
Current children cumulated CPU time (s) 520.37
Current children cumulated vsize (KiB) 99068

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16712
/proc/meminfo: memFree=1296040/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=106348 CPUtime=580.34
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 26968 657 0 0 58011 23 0 0 25 0 1 0 59017240 108900352 25549 996147200 134512640 135215973 4294956304 18446744073709551615 134532998 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 26587 25549 422 171 0 25512 0
Current children cumulated CPU time (s) 580.34
Current children cumulated vsize (KiB) 106348

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16712
/proc/meminfo: memFree=1284392/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=113620 CPUtime=640.33
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 28824 657 0 0 64007 26 0 0 25 0 1 0 59017240 116346880 27405 996147200 134512640 135215973 4294956304 18446744073709551615 134591110 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 28405 27405 422 171 0 27330 0
Current children cumulated CPU time (s) 640.33

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

[startup+882.302 s]
/proc/loadavg: 2.09 2.03 2.01 3/83 16714
/proc/meminfo: memFree=585176/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=146776 CPUtime=880.22
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 37312 657 0 0 87987 35 0 0 25 0 1 0 59017240 150298624 35893 996147200 134512640 135215973 4294956304 18446744073709551615 7925376 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 36694 35893 422 171 0 35619 0
Current children cumulated CPU time (s) 880.22
Current children cumulated vsize (KiB) 146776

[startup+942.302 s]
/proc/loadavg: 2.16 2.05 2.01 3/83 16756
/proc/meminfo: memFree=1199768/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=155076 CPUtime=940.19
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 39426 657 0 0 93982 37 0 0 25 0 1 0 59017240 158797824 38007 996147200 134512640 135215973 4294956304 18446744073709551615 134587409 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 38769 38007 422 171 0 37694 0
Current children cumulated CPU time (s) 940.19
Current children cumulated vsize (KiB) 155076

[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/82 16762
/proc/meminfo: memFree=1181392/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=164804 CPUtime=1000.16
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 41903 657 0 0 99975 41 0 0 25 0 1 0 59017240 168759296 40484 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 41201 40484 422 171 0 40126 0
Current children cumulated CPU time (s) 1000.16
Current children cumulated vsize (KiB) 164804

[startup+1062.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/82 16762
/proc/meminfo: memFree=1167568/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=182512 CPUtime=1060.14
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 46389 657 0 0 105969 45 0 0 25 0 1 0 59017240 186892288 43945 996147200 134512640 135215973 4294956304 18446744073709551615 134582251 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 45628 43945 422 171 0 44553 0
Current children cumulated CPU time (s) 1060.14
Current children cumulated vsize (KiB) 182512

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 16762
/proc/meminfo: memFree=1155408/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=193008 CPUtime=1120.12
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 49076 657 0 0 111964 48 0 0 25 0 1 0 59017240 197640192 46632 996147200 134512640 135215973 4294956304 18446744073709551615 134583231 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 48252 46632 422 171 0 47177 0
Current children cumulated CPU time (s) 1120.12
Current children cumulated vsize (KiB) 193008

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 16762
/proc/meminfo: memFree=1145680/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=202732 CPUtime=1180.1
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 51544 657 0 0 117960 50 0 0 25 0 1 0 59017240 207597568 49100 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 50683 49100 422 171 0 49608 0
Current children cumulated CPU time (s) 1180.1
Current children cumulated vsize (KiB) 202732

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 16762
/proc/meminfo: memFree=1136272/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=211544 CPUtime=1240.06
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 53827 657 0 0 123954 52 0 0 25 0 1 0 59017240 216621056 51383 996147200 134512640 135215973 4294956304 18446744073709551615 4158960001 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 52886 51383 422 171 0 51811 0
Current children cumulated CPU time (s) 1240.06
Current children cumulated vsize (KiB) 211544

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1125528/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=222036 CPUtime=1300.05
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 56499 657 0 0 129950 55 0 0 25 0 1 0 59017240 227364864 54055 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 55509 54055 422 171 0 54434 0
Current children cumulated CPU time (s) 1300.05
Current children cumulated vsize (KiB) 222036

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1115416/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=231904 CPUtime=1360.02
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 59030 657 0 0 135944 58 0 0 25 0 1 0 59017240 237469696 56586 996147200 134512640 135215973 4294956304 18446744073709551615 134582267 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 57976 56586 422 171 0 56901 0
Current children cumulated CPU time (s) 1360.02
Current children cumulated vsize (KiB) 231904

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1105112/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=242028 CPUtime=1420
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 61604 657 0 0 141940 60 0 0 25 0 1 0 59017240 247836672 59160 996147200 134512640 135215973 4294956304 18446744073709551615 134590359 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 60507 59160 422 171 0 59432 0
Current children cumulated CPU time (s) 1420
Current children cumulated vsize (KiB) 242028

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1096216/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=250724 CPUtime=1479.97
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 63823 657 0 0 147934 63 0 0 25 0 1 0 59017240 256741376 61379 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 62681 61379 422 171 0 61606 0
Current children cumulated CPU time (s) 1479.97
Current children cumulated vsize (KiB) 250724

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1087320/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=259264 CPUtime=1539.95
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 66025 657 0 0 153930 65 0 0 25 0 1 0 59017240 265486336 63581 996147200 134512640 135215973 4294956304 18446744073709551615 134588326 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 64816 63581 422 171 0 63741 0
Current children cumulated CPU time (s) 1539.95
Current children cumulated vsize (KiB) 259264

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1077016/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=269236 CPUtime=1599.93
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 68571 657 0 0 159925 68 0 0 25 0 1 0 59017240 275697664 66127 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 67309 66127 422 171 0 66234 0
Current children cumulated CPU time (s) 1599.93
Current children cumulated vsize (KiB) 269236

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1067096/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=278900 CPUtime=1659.9
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 71050 657 0 0 165919 71 0 0 25 0 1 0 59017240 285593600 68606 996147200 134512640 135215973 4294956304 18446744073709551615 134532672 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 69725 68606 422 171 0 68650 0
Current children cumulated CPU time (s) 1659.9
Current children cumulated vsize (KiB) 278900

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1055768/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=290188 CPUtime=1719.88
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 73917 657 0 0 171914 74 0 0 25 0 1 0 59017240 297152512 71473 996147200 134512640 135215973 4294956304 18446744073709551615 134589808 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 72547 71473 422 171 0 71472 0
Current children cumulated CPU time (s) 1719.88
Current children cumulated vsize (KiB) 290188

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1047832/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=297588 CPUtime=1779.85
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 75824 657 0 0 177909 76 0 0 25 0 1 0 59017240 304730112 73380 996147200 134512640 135215973 4294956304 18446744073709551615 135095726 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 74397 73380 422 171 0 73322 0
Current children cumulated CPU time (s) 1779.85
Current children cumulated vsize (KiB) 297588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1044120/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=301232 CPUtime=1800.05
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 76746 657 0 0 179929 76 0 0 25 0 1 0 59017240 308461568 74302 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 75308 74302 422 171 0 74233 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 301232

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

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

[startup+1802.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16762
/proc/meminfo: memFree=1044120/2055920 swapFree=4192812/4192956
[pid=16665] ppid=16663 vsize=301232 CPUtime=1800.05
/proc/16665/stat : 16665 (pcs.big) R 16663 16665 13922 0 -1 4194304 76746 657 0 0 179929 76 0 0 25 0 1 0 59017240 308461568 74302 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/16665/statm: 75308 74302 422 171 0 74233 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 301232

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.55
CPU time (s): 1800.12
CPU user time (s): 1799.3
CPU system time (s): 0.820875
CPU usage (%): 99.8648
Max. virtual memory (cumulated for all children) (KiB): 301232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.820875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77403
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= 19
involuntary context switches= 9727

runsolver used 2.48962 second user time and 5.65314 second system time

The end

Launcher Data 

Begin job on node19 at 2009-07-16 06:45:06
IDJOB=2081362
IDBENCH=57391
IDSOLVER=734
FILE ID=node19/2081362-1247719506
PBS_JOBID= 9521411
Free space on /tmp= 66392 MiB

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

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

MD5SUM BENCH= 329ec630f18fe773f393b0bd33b7aab7
RANDOM SEED=138313472

node19.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.211
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.211
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:       1150808 kB
Buffers:         70328 kB
Cached:         405264 kB
SwapCached:          0 kB
Active:         412404 kB
Inactive:       424252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1150808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:         372640 kB
Slab:            53288 kB
Committed_AS:   920048 kB
PageTables:       2536 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= 66388 MiB
End job on node19 at 2009-07-16 07:15:11