Trace number 2081438

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.2? (TO) 1800.14 1806.44

General information on the benchmark

Namecsp/queenAttacking/
normalized-queenAttacking-7.xml
MD5SUM10d8cce48e24d9d5d1e136c73b47f566
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 benchmark32.2631
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints1191
Maximum constraint arity2
Maximum domain size49
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1191
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.18/0.21	c Seed is 1993676516
0.18/0.21	c Constructing HOME/instance-2081438-1247719607.xml 
0.18/0.21	c deduced all_different(V2,V5,V7,V11,V13,V17,V19,V23,V29,V31,V37,V41,V43,V47,V0)
0.18/0.21	c deduced all_different(V3,V5,V7,V9,V11,V13,V15,V17,V19,V21,V23,V25,V27,V29,V31,V33,V35,V37,V39,V41,V43,V45,V47,V49,V1)
0.18/0.21	c deduced all_different(V1,V6,V8,V10,V12,V14,V16,V18,V20,V22,V24,V26,V28,V30,V32,V34,V36,V38,V40,V42,V44,V46,V48,V4)
0.18/0.21	c  with 2727 constraints
0.18/0.21	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-2081438-1247719607/watcher-2081438-1247719607 -o /tmp/evaluation-result-2081438-1247719607/solver-2081438-1247719607 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1993676516 HOME/instance-2081438-1247719607.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 12931
/proc/meminfo: memFree=1218472/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=18576 CPUtime=0
/proc/12931/stat : 12931 (runsolver) R 12929 12931 11570 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59027571 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 237788261671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12931/statm: 4644 284 249 26 0 2626 0

[startup+0.0731971 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12931
/proc/meminfo: memFree=1218472/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=5336 CPUtime=0.05
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 981 658 0 0 5 0 0 0 18 0 1 0 59027571 5464064 612 996147200 134512640 135215973 4294956304 18446744073709551615 134761750 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 1334 612 388 171 0 259 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5336

[startup+0.101204 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12931
/proc/meminfo: memFree=1218472/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=5576 CPUtime=0.08
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 1089 658 0 0 8 0 0 0 18 0 1 0 59027571 5709824 720 996147200 134512640 135215973 4294956304 18446744073709551615 134999676 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 1394 720 419 171 0 319 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5576

[startup+0.301237 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12931
/proc/meminfo: memFree=1218472/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=5792 CPUtime=0.28
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 1145 658 0 0 28 0 0 0 19 0 1 0 59027571 5931008 776 996147200 134512640 135215973 4294956304 18446744073709551615 134998830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 1448 776 422 171 0 373 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5792

[startup+0.701311 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12931
/proc/meminfo: memFree=1218472/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=5792 CPUtime=0.68
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 1151 658 0 0 68 0 0 0 23 0 1 0 59027571 5931008 782 996147200 134512640 135215973 4294956304 18446744073709551615 134947103 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 1448 782 422 171 0 373 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5792

[startup+1.50246 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1216856/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=6428 CPUtime=1.47
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 1303 658 0 0 147 0 0 0 25 0 1 0 59027571 6582272 901 996147200 134512640 135215973 4294956304 18446744073709551615 4158960045 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 1607 901 422 171 0 532 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6428

[startup+3.10176 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1216016/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=6932 CPUtime=3.06
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 1445 658 0 0 306 0 0 0 25 0 1 0 59027571 7098368 1043 996147200 134512640 135215973 4294956304 18446744073709551615 4158960589 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 1733 1043 422 171 0 658 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6932

[startup+6.30234 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1215248/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=7576 CPUtime=6.23
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 1622 658 0 0 623 0 0 0 25 0 1 0 59027571 7757824 1220 996147200 134512640 135215973 4294956304 18446744073709551615 134989592 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 1894 1220 422 171 0 819 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 7576

[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1213152/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=9600 CPUtime=12.57
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 2148 658 0 0 1256 1 0 0 25 0 1 0 59027571 9830400 1681 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 2400 1681 422 171 0 1325 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 9600

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1209952/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=12692 CPUtime=25.25
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 2931 658 0 0 2524 1 0 0 25 0 1 0 59027571 12996608 2464 996147200 134512640 135215973 4294956304 18446744073709551615 134592846 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 3173 2464 422 171 0 2098 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 12692

[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1205792/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=17208 CPUtime=50.61
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 4100 658 0 0 5059 2 0 0 25 0 1 0 59027571 17620992 3504 996147200 134512640 135215973 4294956304 18446744073709551615 134590096 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 4302 3504 422 171 0 3227 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 17208

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1199200/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=23316 CPUtime=101.34
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 5701 658 0 0 10130 4 0 0 25 0 1 0 59027571 23875584 5105 996147200 134512640 135215973 4294956304 18446744073709551615 134600145 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 5829 5105 422 171 0 4754 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 23316

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1187104/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=36108 CPUtime=160.77
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 9008 658 0 0 16071 6 0 0 25 0 1 0 59027571 36974592 8155 996147200 134512640 135215973 4294956304 18446744073709551615 4158960109 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 9027 8155 422 171 0 7952 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 36108

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12936
/proc/meminfo: memFree=1172960/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=48444 CPUtime=220.19
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 12179 658 0 0 22012 7 0 0 25 0 1 0 59027571 49606656 11273 996147200 134512640 135215973 4294956304 18446744073709551615 134583365 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 12111 11273 422 171 0 11036 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 48444

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1159072/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=57644 CPUtime=279.63
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 14516 658 0 0 27954 9 0 0 25 0 1 0 59027571 59027456 13610 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 14411 13610 422 171 0 13336 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 57644

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1149216/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=64204 CPUtime=339.06
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 16216 658 0 0 33896 10 0 0 25 0 1 0 59027571 65744896 15310 996147200 134512640 135215973 4294956304 18446744073709551615 134533031 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 16051 15310 422 171 0 14976 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 64204

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1139552/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=74532 CPUtime=398.51
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 18848 658 0 0 39839 12 0 0 25 0 1 0 59027571 76320768 17429 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 18633 17429 422 171 0 17558 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 74532

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1121376/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=80540 CPUtime=457.94
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 20394 658 0 0 45781 13 0 0 25 0 1 0 59027571 82472960 18975 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 20135 18975 422 171 0 19060 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 80540

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12938
/proc/meminfo: memFree=1109024/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=85968 CPUtime=517.37
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 21783 658 0 0 51723 14 0 0 25 0 1 0 59027571 88031232 20364 996147200 134512640 135215973 4294956304 18446744073709551615 134998515 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 21492 20364 422 171 0 20417 0
Current children cumulated CPU time (s) 517.37
Current children cumulated vsize (KiB) 85968

[startup+582.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/73 12938
/proc/meminfo: memFree=1103456/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=90944 CPUtime=576.81
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 23071 658 0 0 57665 16 0 0 25 0 1 0 59027571 93126656 21652 996147200 134512640 135215973 4294956304 18446744073709551615 134998528 0 0 4096 0 0 0 0 17 1 0 0
/proc/12931/statm: 22736 21652 422 171 0 21661 0
Current children cumulated CPU time (s) 576.81
Current children cumulated vsize (KiB) 90944

[startup+642.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/73 12970
/proc/meminfo: memFree=1168288/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=96312 CPUtime=636.52
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 24464 658 0 0 63634 18 0 0 25 0 1 0 59027571 98623488 23045 996147200 134512640 135215973 4294956304 18446744073709551615 134585628 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 24078 23045 422 171 0 23003 0
Current children cumulated CPU time (s) 636.52
Current children cumulated vsize (KiB) 96312

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12970
/proc/meminfo: memFree=1145952/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=114096 CPUtime=816.44
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 29018 658 0 0 81622 22 0 0 25 0 1 0 59027571 116834304 27599 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 28524 27599 422 171 0 27449 0
Current children cumulated CPU time (s) 816.44
Current children cumulated vsize (KiB) 114096

[startup+882.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1133912/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=120272 CPUtime=876.4
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 30574 658 0 0 87617 23 0 0 25 0 1 0 59027571 123158528 29155 996147200 134512640 135215973 4294956304 18446744073709551615 134597363 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 30068 29155 422 171 0 28993 0
Current children cumulated CPU time (s) 876.4
Current children cumulated vsize (KiB) 120272

[startup+942.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1127064/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=125416 CPUtime=936.37
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 31902 658 0 0 93613 24 0 0 25 0 1 0 59027571 128425984 30483 996147200 134512640 135215973 4294956304 18446744073709551615 134585491 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 31354 30483 422 171 0 30279 0
Current children cumulated CPU time (s) 936.37
Current children cumulated vsize (KiB) 125416

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1117848/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=133256 CPUtime=996.34
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 33895 658 0 0 99608 26 0 0 25 0 1 0 59027571 136454144 32476 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 33314 32476 422 171 0 32239 0
Current children cumulated CPU time (s) 996.34
Current children cumulated vsize (KiB) 133256

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1105496/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=142748 CPUtime=1056.32
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 36346 658 0 0 105603 29 0 0 25 0 1 0 59027571 146173952 34927 996147200 134512640 135215973 4294956304 18446744073709551615 134591344 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 35687 34927 422 171 0 34612 0
Current children cumulated CPU time (s) 1056.32
Current children cumulated vsize (KiB) 142748

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1087640/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=152728 CPUtime=1116.29
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 38891 658 0 0 111598 31 0 0 25 0 1 0 59027571 156393472 37472 996147200 134512640 135215973 4294956304 18446744073709551615 134585491 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 38182 37472 422 171 0 37107 0
Current children cumulated CPU time (s) 1116.29
Current children cumulated vsize (KiB) 152728

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1072928/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=169944 CPUtime=1176.27
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 43248 658 0 0 117592 35 0 0 25 0 1 0 59027571 174022656 40804 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 42486 40804 422 171 0 41411 0
Current children cumulated CPU time (s) 1176.27
Current children cumulated vsize (KiB) 169944

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1065184/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=175300 CPUtime=1236.23
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 44608 658 0 0 123587 36 0 0 25 0 1 0 59027571 179507200 42164 996147200 134512640 135215973 4294956304 18446744073709551615 134640995 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 43825 42164 422 171 0 42750 0
Current children cumulated CPU time (s) 1236.23
Current children cumulated vsize (KiB) 175300

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1057888/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=180008 CPUtime=1296.22
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 45830 658 0 0 129584 38 0 0 25 0 1 0 59027571 184328192 43386 996147200 134512640 135215973 4294956304 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 45002 43386 422 171 0 43927 0
Current children cumulated CPU time (s) 1296.22
Current children cumulated vsize (KiB) 180008

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1033504/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=184496 CPUtime=1356.18
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 46964 658 0 0 135579 39 0 0 25 0 1 0 59027571 188923904 44520 996147200 134512640 135215973 4294956304 18446744073709551615 134533117 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 46124 44520 422 171 0 45049 0
Current children cumulated CPU time (s) 1356.18
Current children cumulated vsize (KiB) 184496

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1026400/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=189764 CPUtime=1416.16
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 48324 658 0 0 141575 41 0 0 25 0 1 0 59027571 194318336 45880 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 47441 45880 422 171 0 46366 0
Current children cumulated CPU time (s) 1416.16
Current children cumulated vsize (KiB) 189764

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1019360/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=195024 CPUtime=1476.13
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 49653 658 0 0 147571 42 0 0 25 0 1 0 59027571 199704576 47209 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 48756 47209 422 171 0 47681 0
Current children cumulated CPU time (s) 1476.13
Current children cumulated vsize (KiB) 195024

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1012256/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=200524 CPUtime=1536.1
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 51078 658 0 0 153566 44 0 0 25 0 1 0 59027571 205336576 48634 996147200 134512640 135215973 4294956304 18446744073709551615 134533029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 50131 48634 422 171 0 49056 0
Current children cumulated CPU time (s) 1536.1
Current children cumulated vsize (KiB) 200524

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=1002080/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=209120 CPUtime=1596.07
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 53286 658 0 0 159562 45 0 0 25 0 1 0 59027571 214138880 50842 996147200 134512640 135215973 4294956304 18446744073709551615 134589808 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 52280 50842 422 171 0 51205 0
Current children cumulated CPU time (s) 1596.07
Current children cumulated vsize (KiB) 209120

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=989984/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=219484 CPUtime=1656.05
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 55927 658 0 0 165556 49 0 0 25 0 1 0 59027571 224751616 53483 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 54871 53483 422 171 0 53796 0
Current children cumulated CPU time (s) 1656.05
Current children cumulated vsize (KiB) 219484

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=981152/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=226688 CPUtime=1716.02
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 57754 658 0 0 171552 50 0 0 25 0 1 0 59027571 232128512 55310 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 56672 55310 422 171 0 55597 0
Current children cumulated CPU time (s) 1716.02
Current children cumulated vsize (KiB) 226688

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=972448/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=233452 CPUtime=1776
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 59497 658 0 0 177547 53 0 0 25 0 1 0 59027571 239054848 57053 996147200 134512640 135215973 4294956304 18446744073709551615 134988797 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 58363 57053 422 171 0 57288 0
Current children cumulated CPU time (s) 1776
Current children cumulated vsize (KiB) 233452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/73 12976
/proc/meminfo: memFree=969632/2055920 swapFree=4192812/4192956
[pid=12931] ppid=12929 vsize=235736 CPUtime=1800.09
/proc/12931/stat : 12931 (pcs.big) R 12929 12931 11570 0 -1 4194304 60067 658 0 0 179955 54 0 0 25 0 1 0 59027571 241393664 57623 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/12931/statm: 58934 57623 422 171 0 57859 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 235736

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.44
CPU time (s): 1800.14
CPU user time (s): 1799.55
CPU system time (s): 0.58991
CPU usage (%): 99.6512
Max. virtual memory (cumulated for all children) (KiB): 235736

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

runsolver used 2.75258 second user time and 5.17521 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 06:46:47
IDJOB=2081438
IDBENCH=57398
IDSOLVER=733
FILE ID=node24/2081438-1247719607
PBS_JOBID= 9521478
Free space on /tmp= 66412 MiB

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

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

MD5SUM BENCH= 10d8cce48e24d9d5d1e136c73b47f566
RANDOM SEED=1993676516

node24.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.287
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.287
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:       1218952 kB
Buffers:         90816 kB
Cached:         524448 kB
SwapCached:          0 kB
Active:         320452 kB
Inactive:       426328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1218952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1868 kB
Writeback:           0 kB
Mapped:         143040 kB
Slab:            75216 kB
Committed_AS:   666976 kB
PageTables:       2120 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= 66408 MiB
End job on node24 at 2009-07-16 07:16:56