Trace number 2081383

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.08 1803.74

General information on the benchmark

Namecsp/queenAttacking/
normalized-queenAttacking-8.xml
MD5SUMe0d3c2a9b72782260c487372febe60b6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables65
Number of constraints2034
Maximum constraint arity2
Maximum domain size64
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2034
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.21	c Seed is 745782764
0.00/0.21	c Constructing HOME/instance-2081383-1247719520.xml 
0.00/0.21	c deduced all_different(V2,V5,V7,V11,V13,V17,V19,V23,V29,V31,V37,V41,V43,V47,V53,V59,V61,V0)
0.00/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,V51,V53,V55,V57,V59,V61,V63,V1)
0.00/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,V50,V52,V54,V56,V58,V60,V62,V64,V4)
0.00/0.21	c  with 4017 constraints
0.00/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-2081383-1247719520/watcher-2081383-1247719520 -o /tmp/evaluation-result-2081383-1247719520/solver-2081383-1247719520 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 745782764 HOME/instance-2081383-1247719520.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.92 1.98 1.99 4/81 12236
/proc/meminfo: memFree=1440456/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=5356 CPUtime=0
/proc/12236/stat : 12236 (pcssolve) R 12234 12236 9855 0 -1 4194304 263 0 0 0 0 0 0 0 20 0 1 0 59014839 5484544 231 996147200 4194304 4889804 548682068800 18446744073709551615 227607184736 0 0 4100 65536 0 0 0 17 1 0 0
/proc/12236/statm: 1339 231 193 169 0 50 0

[startup+0.213526 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 12236
/proc/meminfo: memFree=1440456/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=6296 CPUtime=0.18
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 1224 658 0 0 18 0 0 0 19 0 1 0 59014839 6447104 855 996147200 134512640 135215973 4294956304 18446744073709551615 10273474 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 1574 855 422 171 0 499 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6296

[startup+0.302052 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 12236
/proc/meminfo: memFree=1440456/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=6164 CPUtime=0.27
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 1252 658 0 0 27 0 0 0 19 0 1 0 59014839 6311936 850 996147200 134512640 135215973 4294956304 18446744073709551615 134989569 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 1541 850 422 171 0 466 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6164

[startup+0.402028 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 12236
/proc/meminfo: memFree=1440456/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=6164 CPUtime=0.37
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 1252 658 0 0 37 0 0 0 20 0 1 0 59014839 6311936 850 996147200 134512640 135215973 4294956304 18446744073709551615 134988333 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 1541 850 422 171 0 466 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 6164

[startup+0.702089 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 12236
/proc/meminfo: memFree=1440456/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=6164 CPUtime=0.67
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 1255 658 0 0 67 0 0 0 23 0 1 0 59014839 6311936 853 996147200 134512640 135215973 4294956304 18446744073709551615 134592374 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 1541 853 422 171 0 466 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6164

[startup+1.50223 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1438336/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=6544 CPUtime=1.47
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 1366 658 0 0 146 1 0 0 25 0 1 0 59014839 6701056 964 996147200 134512640 135215973 4294956304 18446744073709551615 134989927 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 1636 964 422 171 0 561 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6544

[startup+3.10241 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1437760/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=7060 CPUtime=3.06
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 1485 658 0 0 305 1 0 0 25 0 1 0 59014839 7229440 1083 996147200 134512640 135215973 4294956304 18446744073709551615 4158961068 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 1765 1083 422 171 0 690 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7060

[startup+6.30111 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1436992/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=7576 CPUtime=6.22
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 1643 658 0 0 621 1 0 0 25 0 1 0 59014839 7757824 1241 996147200 134512640 135215973 4294956304 18446744073709551615 134989049 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 1894 1241 422 171 0 819 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 7576

[startup+12.7029 s]
/proc/loadavg: 1.94 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1434752/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=9820 CPUtime=12.56
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 2210 658 0 0 1255 1 0 0 25 0 1 0 59014839 10055680 1743 996147200 134512640 135215973 4294956304 18446744073709551615 134597415 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 2455 1743 422 171 0 1380 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 9820

[startup+25.5064 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1431936/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=12500 CPUtime=25.24
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 2926 658 0 0 2522 2 0 0 25 0 1 0 59014839 12800000 2459 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 3125 2459 422 171 0 2050 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 12500

[startup+51.1022 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1428544/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=16500 CPUtime=50.6
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 3958 658 0 0 5057 3 0 0 25 0 1 0 59014839 16896000 3362 996147200 134512640 135215973 4294956304 18446744073709551615 134612148 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 4125 3362 422 171 0 3050 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 16500

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1422464/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=22348 CPUtime=101.31
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 5474 658 0 0 10127 4 0 0 25 0 1 0 59014839 22884352 4878 996147200 134512640 135215973 4294956304 18446744073709551615 134640980 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 5587 4878 422 171 0 4512 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 22348

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1411520/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=33972 CPUtime=160.75
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 8523 658 0 0 16068 7 0 0 25 0 1 0 59014839 34787328 7584 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 8493 7584 422 171 0 7418 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 33972

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1400640/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=44452 CPUtime=220.18
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 11196 658 0 0 22007 11 0 0 25 0 1 0 59014839 45518848 10257 996147200 134512640 135215973 4294956304 18446744073709551615 134533369 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 11113 10257 422 171 0 10038 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 44452

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 12241
/proc/meminfo: memFree=1392576/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=52112 CPUtime=279.61
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 13206 658 0 0 27948 13 0 0 25 0 1 0 59014839 53362688 12267 996147200 134512640 135215973 4294956304 18446744073709551615 4158960346 0 0 4096 0 0 0 0 17 1 0 0
/proc/12236/statm: 13028 12267 422 171 0 11953 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 52112

[startup+342.307 s]
/proc/loadavg: 2.00 1.98 1.99 3/83 12284
/proc/meminfo: memFree=1373760/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=57480 CPUtime=339.24
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 14580 658 0 0 33908 16 0 0 25 0 1 0 59014839 58859520 13641 996147200 134512640 135215973 4294956304 18446744073709551615 4158960071 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 14370 13641 422 171 0 13295 0
Current children cumulated CPU time (s) 339.24
Current children cumulated vsize (KiB) 57480

[startup+402.302 s]
/proc/loadavg: 2.06 2.00 2.00 3/83 12284
/proc/meminfo: memFree=990656/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=67032 CPUtime=399.21
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 17023 658 0 0 39903 18 0 0 25 0 1 0 59014839 68640768 15571 996147200 134512640 135215973 4294956304 18446744073709551615 134581386 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 16758 15571 422 171 0 15683 0
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (KiB) 67032

[startup+462.302 s]
/proc/loadavg: 2.10 2.02 2.01 3/83 12286
/proc/meminfo: memFree=682880/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=72820 CPUtime=459.19
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 18524 658 0 0 45900 19 0 0 25 0 1 0 59014839 74567680 17072 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 18205 17072 422 171 0 17130 0
Current children cumulated CPU time (s) 459.19
Current children cumulated vsize (KiB) 72820

[startup+522.302 s]
/proc/loadavg: 2.08 2.03 2.00 3/82 12328
/proc/meminfo: memFree=1324608/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=77556 CPUtime=519.17
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 19737 658 0 0 51895 22 0 0 25 0 1 0 59014839 79417344 18285 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 19389 18285 422 171 0 18314 0
Current children cumulated CPU time (s) 519.17
Current children cumulated vsize (KiB) 77556

[startup+582.302 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 12328
/proc/meminfo: memFree=1316032/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=82292 CPUtime=579.14
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 20960 658 0 0 57891 23 0 0 25 0 1 0 59014839 84267008 19508 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 20573 19508 422 171 0 19498 0
Current children cumulated CPU time (s) 579.14
Current children cumulated vsize (KiB) 82292

[startup+642.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 12328
/proc/meminfo: memFree=1311040/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=87060 CPUtime=639.11
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 22209 658 0 0 63887 24 0 0 25 0 1 0 59014839 89149440 20757 996147200 134512640 135215973 4294956304 18446744073709551615 134590114 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 21765 20757 422 171 0 20690 0
Current children cumulated CPU time (s) 639.11
Current children cumulated vsize (KiB) 87060

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12328
/proc/meminfo: memFree=1290688/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=105364 CPUtime=879.02
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 26916 658 0 0 87874 28 0 0 25 0 1 0 59014839 107892736 25464 996147200 134512640 135215973 4294956304 18446744073709551615 134590112 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 26341 25464 422 171 0 25266 0
Current children cumulated CPU time (s) 879.02
Current children cumulated vsize (KiB) 105364

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1286832/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=108968 CPUtime=938.98
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 27822 658 0 0 93869 29 0 0 25 0 1 0 59014839 111583232 26370 996147200 134512640 135215973 4294956304 18446744073709551615 134596257 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 27242 26370 422 171 0 26167 0
Current children cumulated CPU time (s) 938.98
Current children cumulated vsize (KiB) 108968

[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1282104/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=112692 CPUtime=998.97
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 28788 658 0 0 99867 30 0 0 25 0 1 0 59014839 115396608 27336 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 28173 27336 422 171 0 27098 0
Current children cumulated CPU time (s) 998.97
Current children cumulated vsize (KiB) 112692

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1277432/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=117276 CPUtime=1058.94
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 29958 658 0 0 105863 31 0 0 25 0 1 0 59014839 120090624 28506 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 29319 28506 422 171 0 28244 0
Current children cumulated CPU time (s) 1058.94
Current children cumulated vsize (KiB) 117276

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1269560/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=124964 CPUtime=1118.9
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 31909 658 0 0 111858 32 0 0 25 0 1 0 59014839 127963136 30457 996147200 134512640 135215973 4294956304 18446744073709551615 134592796 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 31241 30457 422 171 0 30166 0
Current children cumulated CPU time (s) 1118.9
Current children cumulated vsize (KiB) 124964

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1261944/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=132252 CPUtime=1178.88
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 33801 658 0 0 117853 35 0 0 25 0 1 0 59014839 135426048 32349 996147200 134512640 135215973 4294956304 18446744073709551615 134533319 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 33063 32349 422 171 0 31988 0
Current children cumulated CPU time (s) 1178.88
Current children cumulated vsize (KiB) 132252

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1254072/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=139804 CPUtime=1238.86
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 35729 658 0 0 123849 37 0 0 25 0 1 0 59014839 143159296 34277 996147200 134512640 135215973 4294956304 18446744073709551615 134591123 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 34951 34277 422 171 0 33876 0
Current children cumulated CPU time (s) 1238.86
Current children cumulated vsize (KiB) 139804

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1242432/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=155552 CPUtime=1298.83
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 39683 658 0 0 129844 39 0 0 25 0 1 0 59014839 159285248 37206 996147200 134512640 135215973 4294956304 18446744073709551615 134532672 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 38888 37206 422 171 0 37813 0
Current children cumulated CPU time (s) 1298.83
Current children cumulated vsize (KiB) 155552

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1235264/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=162444 CPUtime=1358.8
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 41443 658 0 0 135839 41 0 0 25 0 1 0 59014839 166342656 38966 996147200 134512640 135215973 4294956304 18446744073709551615 134980968 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 40611 38966 422 171 0 39536 0
Current children cumulated CPU time (s) 1358.8
Current children cumulated vsize (KiB) 162444

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1232192/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=165276 CPUtime=1418.78
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 42201 658 0 0 141836 42 0 0 25 0 1 0 59014839 169242624 39724 996147200 134512640 135215973 4294956304 18446744073709551615 134588355 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 41319 39724 422 171 0 40244 0
Current children cumulated CPU time (s) 1418.78
Current children cumulated vsize (KiB) 165276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1228800/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=168628 CPUtime=1478.76
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 43049 658 0 0 147833 43 0 0 25 0 1 0 59014839 172675072 40572 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 42157 40572 422 171 0 41082 0
Current children cumulated CPU time (s) 1478.76
Current children cumulated vsize (KiB) 168628

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1224640/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=172632 CPUtime=1538.74
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 44075 658 0 0 153830 44 0 0 25 0 1 0 59014839 176775168 41598 996147200 134512640 135215973 4294956304 18446744073709551615 134600185 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 43158 41598 422 171 0 42083 0
Current children cumulated CPU time (s) 1538.74
Current children cumulated vsize (KiB) 172632

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1220928/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=176356 CPUtime=1598.71
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 45013 658 0 0 159826 45 0 0 25 0 1 0 59014839 180588544 42536 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 44089 42536 422 171 0 43014 0
Current children cumulated CPU time (s) 1598.71
Current children cumulated vsize (KiB) 176356

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1217920/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=179592 CPUtime=1658.69
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 45871 658 0 0 165823 46 0 0 25 0 1 0 59014839 183902208 43289 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 44898 43289 422 171 0 43823 0
Current children cumulated CPU time (s) 1658.69
Current children cumulated vsize (KiB) 179592

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1214720/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=182656 CPUtime=1718.66
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 46653 658 0 0 171819 47 0 0 25 0 1 0 59014839 187039744 44071 996147200 134512640 135215973 4294956304 18446744073709551615 134600482 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 45664 44071 422 171 0 44589 0
Current children cumulated CPU time (s) 1718.66
Current children cumulated vsize (KiB) 182656

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1210496/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=186636 CPUtime=1778.63
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 47669 658 0 0 177815 48 0 0 25 0 1 0 59014839 191115264 45087 996147200 134512640 135215973 4294956304 18446744073709551615 134583231 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 46659 45087 422 171 0 45584 0
Current children cumulated CPU time (s) 1778.63
Current children cumulated vsize (KiB) 186636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1208896/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=188164 CPUtime=1800.03
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 48051 658 0 0 179954 49 0 0 25 0 1 0 59014839 192679936 45469 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 47041 45469 422 171 0 45966 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 188164

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

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

[startup+1803.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12334
/proc/meminfo: memFree=1208896/2055920 swapFree=4192812/4192956
[pid=12236] ppid=12234 vsize=188164 CPUtime=1800.03
/proc/12236/stat : 12236 (pcs.big) R 12234 12236 9855 0 -1 4194304 48051 658 0 0 179954 49 0 0 25 0 1 0 59014839 192679936 45469 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/12236/statm: 47041 45469 422 171 0 45966 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 188164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.74
CPU time (s): 1800.08
CPU user time (s): 1799.55
CPU system time (s): 0.52592
CPU usage (%): 99.7971
Max. virtual memory (cumulated for all children) (KiB): 188164

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

runsolver used 2.35964 second user time and 5.81212 second system time

The end

Launcher Data 

Begin job on node66 at 2009-07-16 06:45:20
IDJOB=2081383
IDBENCH=57393
IDSOLVER=733
FILE ID=node66/2081383-1247719520
PBS_JOBID= 9521324
Free space on /tmp= 66256 MiB

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

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

MD5SUM BENCH= e0d3c2a9b72782260c487372febe60b6
RANDOM SEED=745782764

node66.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.214
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.214
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:       1440936 kB
Buffers:         73960 kB
Cached:         380892 kB
SwapCached:          0 kB
Active:         154744 kB
Inactive:       380656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1440936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2184 kB
Writeback:           0 kB
Mapped:         100964 kB
Slab:            64760 kB
Committed_AS:   570244 kB
PageTables:       1924 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= 66256 MiB
End job on node66 at 2009-07-16 07:15:26