Trace number 2065610

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.06 1813.93

General information on the benchmark

Namecsp/primes-30/
normalized-primes-30-40-3-5.xml
MD5SUMac4aa04bec4b0f5f12a3dd9faafa125c
Bench CategoryN-ARY-INT (n-ary 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 variables100
Number of constraints40
Maximum constraint arity8
Maximum domain size112
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40
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.01	c Seed is 27356417
0.00/0.01	c Constructing HOME/instance-2065610-1247703582.xml  with 454 constraints
0.00/0.02	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-2065610-1247703582/watcher-2065610-1247703582 -o /tmp/evaluation-result-2065610-1247703582/solver-2065610-1247703582 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 27356417 HOME/instance-2065610-1247703582.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.17 2.32 2.01 4/73 10218
/proc/meminfo: memFree=1106680/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=5356 CPUtime=0
/proc/10218/stat : 10218 (pcssolve) R 10216 10218 8799 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 57425496 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 228706544287 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10218/statm: 1339 241 200 169 0 50 0
[pid=10219] ppid=10218 vsize=5356 CPUtime=0
/proc/10219/stat : 10219 (pcssolve) R 10218 10218 8799 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 57425496 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 228706544287 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10219/statm: 1339 241 200 169 0 50 0

[startup+0.0776171 s]
/proc/loadavg: 2.17 2.32 2.01 4/73 10218
/proc/meminfo: memFree=1106680/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=5172 CPUtime=0.06
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 1002 648 0 0 6 0 0 0 24 0 1 0 57425496 5296128 632 996147200 134512640 135215973 4294956320 18446744073709551615 135096194 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 1293 632 415 171 0 218 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5172

[startup+0.101619 s]
/proc/loadavg: 2.17 2.32 2.01 4/73 10218
/proc/meminfo: memFree=1106680/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=5172 CPUtime=0.08
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 1002 648 0 0 8 0 0 0 24 0 1 0 57425496 5296128 632 996147200 134512640 135215973 4294956320 18446744073709551615 134532998 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 1293 632 415 171 0 218 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5172

[startup+0.301637 s]
/proc/loadavg: 2.17 2.32 2.01 4/73 10218
/proc/meminfo: memFree=1106680/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=5512 CPUtime=0.28
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 1122 648 0 0 28 0 0 0 25 0 1 0 57425496 5644288 699 996147200 134512640 135215973 4294956320 18446744073709551615 134585491 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 1378 699 415 171 0 303 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5512

[startup+0.701676 s]
/proc/loadavg: 2.17 2.32 2.01 4/73 10218
/proc/meminfo: memFree=1106680/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=5640 CPUtime=0.68
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 1151 648 0 0 68 0 0 0 25 0 1 0 57425496 5775360 728 996147200 134512640 135215973 4294956320 18446744073709551615 134976710 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 1410 728 415 171 0 335 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5640

[startup+1.50175 s]
/proc/loadavg: 2.17 2.32 2.01 3/74 10223
/proc/meminfo: memFree=1104624/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=6216 CPUtime=1.47
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 1304 648 0 0 147 0 0 0 25 0 1 0 57425496 6365184 881 996147200 134512640 135215973 4294956320 18446744073709551615 134585104 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 1554 881 415 171 0 479 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6216

[startup+3.10191 s]
/proc/loadavg: 2.16 2.32 2.01 3/74 10223
/proc/meminfo: memFree=1103728/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=7676 CPUtime=3.06
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 1696 648 0 0 306 0 0 0 25 0 1 0 57425496 7860224 1168 996147200 134512640 135215973 4294956320 18446744073709551615 4158960589 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 1919 1168 415 171 0 844 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7676

[startup+6.30121 s]
/proc/loadavg: 2.16 2.32 2.01 3/74 10223
/proc/meminfo: memFree=1101168/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=8984 CPUtime=6.23
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 2023 648 0 0 623 0 0 0 25 0 1 0 57425496 9199616 1495 996147200 134512640 135215973 4294956320 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 2246 1495 415 171 0 1171 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 8984

[startup+12.7018 s]
/proc/loadavg: 2.13 2.31 2.01 3/74 10223
/proc/meminfo: memFree=1094576/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=11360 CPUtime=12.59
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 2577 648 0 0 1258 1 0 0 25 0 1 0 57425496 11632640 2049 996147200 134512640 135215973 4294956320 18446744073709551615 134597467 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 2840 2049 415 171 0 1765 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 11360

[startup+25.502 s]
/proc/loadavg: 2.11 2.30 2.01 3/74 10223
/proc/meminfo: memFree=1087536/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=13184 CPUtime=25.28
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 3042 648 0 0 2527 1 0 0 25 0 1 0 57425496 13500416 2514 996147200 134512640 135215973 4294956320 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 3296 2514 415 171 0 2221 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 13184

[startup+51.1014 s]
/proc/loadavg: 2.07 2.27 2.01 3/74 10223
/proc/meminfo: memFree=1073648/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=17256 CPUtime=50.69
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 4103 648 0 0 5067 2 0 0 25 0 1 0 57425496 17670144 3510 996147200 134512640 135215973 4294956320 18446744073709551615 135096918 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 4314 3510 415 171 0 3239 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 17256

[startup+102.305 s]
/proc/loadavg: 2.03 2.22 2.00 3/74 10223
/proc/meminfo: memFree=1063344/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=19612 CPUtime=101.5
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 4696 648 0 0 10147 3 0 0 25 0 1 0 57425496 20082688 4103 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 4903 4103 415 171 0 3828 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 19612

[startup+162.302 s]
/proc/loadavg: 2.01 2.18 2.00 3/74 10223
/proc/meminfo: memFree=1042992/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=26016 CPUtime=161.04
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 6416 648 0 0 16099 5 0 0 25 0 1 0 57425496 26640384 5661 996147200 134512640 135215973 4294956320 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 6504 5661 415 171 0 5429 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 26016

[startup+222.302 s]
/proc/loadavg: 2.00 2.14 2.00 3/74 10223
/proc/meminfo: memFree=1018480/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=31648 CPUtime=220.58
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 7865 648 0 0 22052 6 0 0 25 0 1 0 57425496 32407552 7110 996147200 134512640 135215973 4294956320 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 7912 7110 415 171 0 6837 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 31648

[startup+282.301 s]
/proc/loadavg: 2.00 2.12 2.00 3/74 10223
/proc/meminfo: memFree=998960/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=37660 CPUtime=280.12
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 9479 648 0 0 28005 7 0 0 25 0 1 0 57425496 38563840 8659 996147200 134512640 135215973 4294956320 18446744073709551615 135095099 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 9415 8659 415 171 0 8340 0
Current children cumulated CPU time (s) 280.12
Current children cumulated vsize (KiB) 37660

[startup+342.302 s]
/proc/loadavg: 2.00 2.09 2.00 3/74 10223
/proc/meminfo: memFree=977776/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=45544 CPUtime=339.66
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 11555 648 0 0 33958 8 0 0 25 0 1 0 57425496 46637056 10606 996147200 134512640 135215973 4294956320 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 11386 10606 415 171 0 10311 0
Current children cumulated CPU time (s) 339.66
Current children cumulated vsize (KiB) 45544

[startup+402.302 s]
/proc/loadavg: 2.00 2.07 2.00 3/74 10223
/proc/meminfo: memFree=958576/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=51052 CPUtime=399.2
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 13005 648 0 0 39912 8 0 0 25 0 1 0 57425496 52277248 12056 996147200 134512640 135215973 4294956320 18446744073709551615 134583281 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 12763 12056 415 171 0 11688 0
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (KiB) 51052

[startup+462.301 s]
/proc/loadavg: 2.00 2.06 2.00 3/74 10223
/proc/meminfo: memFree=937776/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=59728 CPUtime=458.74
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 15341 648 0 0 45864 10 0 0 25 0 1 0 57425496 61161472 13669 996147200 134512640 135215973 4294956320 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 14932 13669 415 171 0 13857 0
Current children cumulated CPU time (s) 458.74
Current children cumulated vsize (KiB) 59728

[startup+522.302 s]
/proc/loadavg: 2.00 2.05 2.00 3/74 10223
/proc/meminfo: memFree=922032/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=63012 CPUtime=518.28
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 16211 648 0 0 51817 11 0 0 25 0 1 0 57425496 64524288 14539 996147200 134512640 135215973 4294956320 18446744073709551615 135095058 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 15753 14539 415 171 0 14678 0
Current children cumulated CPU time (s) 518.28
Current children cumulated vsize (KiB) 63012

[startup+582.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 10223
/proc/meminfo: memFree=905712/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=66304 CPUtime=577.82
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 17026 648 0 0 57771 11 0 0 25 0 1 0 57425496 67895296 15354 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 16576 15354 415 171 0 15501 0
Current children cumulated CPU time (s) 577.82
Current children cumulated vsize (KiB) 66304

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 10223
/proc/meminfo: memFree=889328/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=70236 CPUtime=637.36
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 18042 648 0 0 63724 12 0 0 25 0 1 0 57425496 71921664 16370 996147200 134512640 135215973 4294956320 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 17559 16370 415 171 0 16484 0
Current children cumulated CPU time (s) 637.36

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

[startup+882.302 s]
/proc/loadavg: 2.16 2.06 2.01 3/74 10223
/proc/meminfo: memFree=829168/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=83104 CPUtime=875.53
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 21333 648 0 0 87538 15 0 0 25 0 1 0 57425496 85098496 19661 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 20776 19661 415 171 0 19701 0
Current children cumulated CPU time (s) 875.53
Current children cumulated vsize (KiB) 83104

[startup+942.302 s]
/proc/loadavg: 2.12 2.06 2.01 3/74 10223
/proc/meminfo: memFree=808816/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=85204 CPUtime=935.07
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 21890 648 0 0 93492 15 0 0 25 0 1 0 57425496 87248896 20218 996147200 134512640 135215973 4294956320 18446744073709551615 134587429 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 21301 20218 415 171 0 20226 0
Current children cumulated CPU time (s) 935.07
Current children cumulated vsize (KiB) 85204

[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/74 10223
/proc/meminfo: memFree=798384/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=86120 CPUtime=994.61
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 22118 648 0 0 99446 15 0 0 25 0 1 0 57425496 88186880 20446 996147200 134512640 135215973 4294956320 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 21530 20446 415 171 0 20455 0
Current children cumulated CPU time (s) 994.61
Current children cumulated vsize (KiB) 86120

[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/74 10223
/proc/meminfo: memFree=785520/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=89404 CPUtime=1054.14
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 22949 648 0 0 105399 15 0 0 25 0 1 0 57425496 91549696 21277 996147200 134512640 135215973 4294956320 18446744073709551615 4158960176 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 22351 21277 415 171 0 21276 0
Current children cumulated CPU time (s) 1054.14
Current children cumulated vsize (KiB) 89404

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/74 10223
/proc/meminfo: memFree=774256/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=92428 CPUtime=1113.69
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 23732 648 0 0 111353 16 0 0 25 0 1 0 57425496 94646272 22060 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 23107 22060 415 171 0 22032 0
Current children cumulated CPU time (s) 1113.69
Current children cumulated vsize (KiB) 92428

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 10223
/proc/meminfo: memFree=764720/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=94920 CPUtime=1173.23
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 24353 648 0 0 117307 16 0 0 25 0 1 0 57425496 97198080 22681 996147200 134512640 135215973 4294956320 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 23730 22681 415 171 0 22655 0
Current children cumulated CPU time (s) 1173.23
Current children cumulated vsize (KiB) 94920

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 10223
/proc/meminfo: memFree=754480/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=97160 CPUtime=1232.77
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 24945 648 0 0 123261 16 0 0 25 0 1 0 57425496 99491840 23273 996147200 134512640 135215973 4294956320 18446744073709551615 134583510 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 24290 23273 415 171 0 23215 0
Current children cumulated CPU time (s) 1232.77
Current children cumulated vsize (KiB) 97160

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 10223
/proc/meminfo: memFree=746224/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=100316 CPUtime=1292.32
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 25718 648 0 0 129215 17 0 0 25 0 1 0 57425496 102723584 24046 996147200 134512640 135215973 4294956320 18446744073709551615 134589874 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 25079 24046 415 171 0 24004 0
Current children cumulated CPU time (s) 1292.32
Current children cumulated vsize (KiB) 100316

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=737072/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=102288 CPUtime=1351.86
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 26258 648 0 0 135169 17 0 0 25 0 1 0 57425496 104742912 24586 996147200 134512640 135215973 4294956320 18446744073709551615 135098135 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 25572 24586 415 171 0 24497 0
Current children cumulated CPU time (s) 1351.86
Current children cumulated vsize (KiB) 102288

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=730416/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=103732 CPUtime=1411.39
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 26624 648 0 0 141122 17 0 0 25 0 1 0 57425496 106221568 24952 996147200 134512640 135215973 4294956320 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 25933 24952 415 171 0 24858 0
Current children cumulated CPU time (s) 1411.39
Current children cumulated vsize (KiB) 103732

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=723632/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=104652 CPUtime=1470.93
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 26865 648 0 0 147076 17 0 0 25 0 1 0 57425496 107163648 25193 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 26163 25193 415 171 0 25088 0
Current children cumulated CPU time (s) 1470.93
Current children cumulated vsize (KiB) 104652

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=712816/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=108080 CPUtime=1530.47
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 27729 648 0 0 153029 18 0 0 25 0 1 0 57425496 110673920 26057 996147200 134512640 135215973 4294956320 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 27020 26057 415 171 0 25945 0
Current children cumulated CPU time (s) 1530.47
Current children cumulated vsize (KiB) 108080

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=704432/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=109916 CPUtime=1590.01
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 28185 648 0 0 158983 18 0 0 25 0 1 0 57425496 112553984 26513 996147200 134512640 135215973 4294956320 18446744073709551615 134686020 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 27479 26513 415 171 0 26404 0
Current children cumulated CPU time (s) 1590.01
Current children cumulated vsize (KiB) 109916

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=698032/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=110304 CPUtime=1649.55
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 28291 648 0 0 164937 18 0 0 25 0 1 0 57425496 112951296 26619 996147200 134512640 135215973 4294956320 18446744073709551615 134973058 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 27576 26619 415 171 0 26501 0
Current children cumulated CPU time (s) 1649.55
Current children cumulated vsize (KiB) 110304

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=688432/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=110560 CPUtime=1709.09
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 28369 648 0 0 170891 18 0 0 25 0 1 0 57425496 113213440 26697 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 27640 26697 415 171 0 26565 0
Current children cumulated CPU time (s) 1709.09
Current children cumulated vsize (KiB) 110560

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10223
/proc/meminfo: memFree=682608/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=111344 CPUtime=1768.64
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 28560 648 0 0 176845 19 0 0 25 0 1 0 57425496 114016256 26888 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/10218/statm: 27836 26888 415 171 0 26761 0
Current children cumulated CPU time (s) 1768.64
Current children cumulated vsize (KiB) 111344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10256
/proc/meminfo: memFree=928624/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=111736 CPUtime=1800.02
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 28654 648 0 0 179983 19 0 0 25 0 1 0 57425496 114417664 26982 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/10218/statm: 27934 26982 415 171 0 26859 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 111736

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

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

[startup+1813.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 10256
/proc/meminfo: memFree=928624/2055920 swapFree=4192812/4192956
[pid=10218] ppid=10216 vsize=111736 CPUtime=1800.02
/proc/10218/stat : 10218 (pcs.big) R 10216 10218 8799 0 -1 4194304 28654 648 0 0 179983 19 0 0 25 0 1 0 57425496 114417664 26982 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/10218/statm: 27934 26982 415 171 0 26859 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 111736

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.93
CPU time (s): 1800.06
CPU user time (s): 1799.84
CPU system time (s): 0.216967
CPU usage (%): 99.2353
Max. virtual memory (cumulated for all children) (KiB): 111736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29302
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= 11
involuntary context switches= 43258

runsolver used 1.84472 second user time and 4.76527 second system time

The end

Launcher Data 

Begin job on node8 at 2009-07-16 02:19:42
IDJOB=2065610
IDBENCH=54380
IDSOLVER=734
FILE ID=node8/2065610-1247703582
PBS_JOBID= 9521292
Free space on /tmp= 66092 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/primes-30/normalized-primes-30-40-3-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2065610-1247703582/watcher-2065610-1247703582 -o /tmp/evaluation-result-2065610-1247703582/solver-2065610-1247703582 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 27356417 HOME/instance-2065610-1247703582.xml

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

MD5SUM BENCH= ac4aa04bec4b0f5f12a3dd9faafa125c
RANDOM SEED=27356417

node8.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.213
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.213
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1107096 kB
Buffers:         72164 kB
Cached:         773008 kB
SwapCached:          0 kB
Active:         248916 kB
Inactive:       617204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1107096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3652 kB
Writeback:           0 kB
Mapped:          32508 kB
Slab:            67844 kB
Committed_AS:   451028 kB
PageTables:       1700 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66092 MiB
End job on node8 at 2009-07-16 02:49:58