Trace number 2077852

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 1808.8

General information on the benchmark

Namecsp/primes-15/
normalized-primes-15-40-2-7.xml
MD5SUMdd73b653e941c848140715c0efeb13bc
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark62.8854
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Maximum constraint arity9
Maximum domain size46
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.18/0.20	c Seed is 1065655189
0.18/0.20	c Constructing HOME/instance-2077852-1247715632.xml  with 476 constraints
0.18/0.20	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-2077852-1247715632/watcher-2077852-1247715632 -o /tmp/evaluation-result-2077852-1247715632/solver-2077852-1247715632 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1065655189 HOME/instance-2077852-1247715632.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 14580
/proc/meminfo: memFree=1472648/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=5356 CPUtime=0
/proc/14580/stat : 14580 (pcssolve) R 14578 14580 13213 0 -1 4194304 268 0 0 0 0 0 0 0 20 0 1 0 58629183 5484544 236 996147200 4194304 4889804 548682068800 18446744073709551615 4346039 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14580/statm: 1339 236 197 169 0 50 0

[startup+0.0918131 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 14580
/proc/meminfo: memFree=1472648/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=5180 CPUtime=0.07
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 1007 648 0 0 7 0 0 0 18 0 1 0 58629183 5304320 637 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 1295 637 415 171 0 220 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5180

[startup+0.101809 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 14580
/proc/meminfo: memFree=1472648/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=5180 CPUtime=0.08
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 1007 648 0 0 8 0 0 0 18 0 1 0 58629183 5304320 637 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 1295 637 415 171 0 220 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5180

[startup+0.301834 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 14580
/proc/meminfo: memFree=1472648/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=5652 CPUtime=0.28
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 1140 648 0 0 28 0 0 0 19 0 1 0 58629183 5787648 717 996147200 134512640 135215973 4294956304 18446744073709551615 134989386 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 1413 717 415 171 0 338 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5652

[startup+0.701883 s]
/proc/loadavg: 2.00 2.02 2.00 4/72 14580
/proc/meminfo: memFree=1472648/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=6184 CPUtime=0.68
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 1303 648 0 0 68 0 0 0 23 0 1 0 58629183 6332416 880 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 1546 880 415 171 0 471 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6184

[startup+1.50198 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14585
/proc/meminfo: memFree=1470208/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=6972 CPUtime=1.47
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 1507 648 0 0 147 0 0 0 25 0 1 0 58629183 7139328 1084 996147200 134512640 135215973 4294956304 18446744073709551615 134606008 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 1743 1084 415 171 0 668 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6972

[startup+3.10217 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14585
/proc/meminfo: memFree=1469184/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=8456 CPUtime=3.05
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 1896 648 0 0 305 0 0 0 25 0 1 0 58629183 8658944 1440 996147200 134512640 135215973 4294956304 18446744073709551615 134902553 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 2114 1440 415 171 0 1039 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8456

[startup+6.30156 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14585
/proc/meminfo: memFree=1466048/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=11888 CPUtime=6.22
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 2818 648 0 0 621 1 0 0 25 0 1 0 58629183 12173312 2192 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 2972 2192 415 171 0 1897 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 11888

[startup+12.7023 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14585
/proc/meminfo: memFree=1461504/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=16100 CPUtime=12.58
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 3937 648 0 0 1256 2 0 0 25 0 1 0 58629183 16486400 3182 996147200 134512640 135215973 4294956304 18446744073709551615 4158960221 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 4025 3182 415 171 0 2950 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 16100

[startup+25.5019 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14585
/proc/meminfo: memFree=1454336/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=24084 CPUtime=25.26
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 6044 648 0 0 2523 3 0 0 25 0 1 0 58629183 24662016 4999 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 6021 4999 415 171 0 4946 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 24084

[startup+51.102 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14585
/proc/meminfo: memFree=1441216/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=36704 CPUtime=50.63
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 9388 648 0 0 5058 5 0 0 25 0 1 0 58629183 37584896 8343 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 9176 8343 415 171 0 8101 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 36704

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14585
/proc/meminfo: memFree=1414528/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=63616 CPUtime=101.38
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 16504 648 0 0 10129 9 0 0 25 0 1 0 58629183 65142784 14881 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 15904 14881 415 171 0 14829 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 63616

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14585
/proc/meminfo: memFree=1392768/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=88400 CPUtime=160.82
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 23003 648 0 0 16070 12 0 0 25 0 1 0 58629183 90521600 20355 996147200 134512640 135215973 4294956304 18446744073709551615 134589815 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 22100 20355 415 171 0 21025 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 88400

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1371904/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=107760 CPUtime=220.27
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 28082 648 0 0 22012 15 0 0 25 0 1 0 58629183 110346240 25434 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 26940 25434 415 171 0 25865 0
Current children cumulated CPU time (s) 220.27
Current children cumulated vsize (KiB) 107760

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1351808/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=127360 CPUtime=279.72
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 33177 648 0 0 27955 17 0 0 25 0 1 0 58629183 130416640 30400 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 31840 30400 415 171 0 30765 0
Current children cumulated CPU time (s) 279.72
Current children cumulated vsize (KiB) 127360

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1335744/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=142768 CPUtime=339.18
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 37200 648 0 0 33898 20 0 0 25 0 1 0 58629183 146194432 34423 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 35692 34423 415 171 0 34617 0
Current children cumulated CPU time (s) 339.18
Current children cumulated vsize (KiB) 142768

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1321344/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=156452 CPUtime=398.62
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 40777 648 0 0 39840 22 0 0 25 0 1 0 58629183 160206848 38000 996147200 134512640 135215973 4294956304 18446744073709551615 134597387 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 39113 38000 415 171 0 38038 0
Current children cumulated CPU time (s) 398.62
Current children cumulated vsize (KiB) 156452

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1307392/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=169868 CPUtime=458.07
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 44250 648 0 0 45783 24 0 0 25 0 1 0 58629183 173944832 41473 996147200 134512640 135215973 4294956304 18446744073709551615 134599837 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 42467 41473 415 171 0 41392 0
Current children cumulated CPU time (s) 458.07
Current children cumulated vsize (KiB) 169868

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1289600/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=195184 CPUtime=517.54
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 50801 648 0 0 51726 28 0 0 25 0 1 0 58629183 199868416 45975 996147200 134512640 135215973 4294956304 18446744073709551615 134583459 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 48796 45975 415 171 0 47721 0
Current children cumulated CPU time (s) 517.54
Current children cumulated vsize (KiB) 195184

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1270336/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=213236 CPUtime=577
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 55551 648 0 0 57668 32 0 0 25 0 1 0 58629183 218353664 50725 996147200 134512640 135215973 4294956304 18446744073709551615 4158960218 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 53309 50725 415 171 0 52234 0
Current children cumulated CPU time (s) 577
Current children cumulated vsize (KiB) 213236

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14585
/proc/meminfo: memFree=1248896/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=233520 CPUtime=636.47
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 60896 648 0 0 63611 36 0 0 25 0 1 0 58629183 239124480 56070 996147200 134512640 135215973 4294956304 18446744073709551615 134596291 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 58380 56070 415 171 0 57305 0
Current children cumulated CPU time (s) 636.47
Current children cumulated vsize (KiB) 233520

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14587
/proc/meminfo: memFree=1170496/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=307956 CPUtime=874.31
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 80409 648 0 0 87386 45 0 0 25 0 1 0 58629183 315346944 75583 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/14580/statm: 76989 75583 415 171 0 75914 0
Current children cumulated CPU time (s) 874.31
Current children cumulated vsize (KiB) 307956

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14629
/proc/meminfo: memFree=1060072/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=326784 CPUtime=933.99
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 85369 648 0 0 93350 49 0 0 25 0 1 0 58629183 334626816 80543 996147200 134512640 135215973 4294956304 18446744073709551615 135094460 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 81696 80543 415 171 0 80621 0
Current children cumulated CPU time (s) 933.99
Current children cumulated vsize (KiB) 326784

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14629
/proc/meminfo: memFree=1038504/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=346676 CPUtime=993.96
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 90549 648 0 0 99345 51 0 0 25 0 1 0 58629183 354996224 85723 996147200 134512640 135215973 4294956304 18446744073709551615 134583459 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 86669 85723 415 171 0 85594 0
Current children cumulated CPU time (s) 993.96
Current children cumulated vsize (KiB) 346676

[startup+1062.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 14736
/proc/meminfo: memFree=1116480/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=383620 CPUtime=1053.93
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 100009 648 0 0 105336 57 0 0 25 0 1 0 58629183 392826880 91086 996147200 134512640 135215973 4294956304 18446744073709551615 134597483 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 95905 91086 415 171 0 94830 0
Current children cumulated CPU time (s) 1053.93
Current children cumulated vsize (KiB) 383620

[startup+1122.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 14736
/proc/meminfo: memFree=1094592/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=403288 CPUtime=1113.91
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 105196 648 0 0 111332 59 0 0 25 0 1 0 58629183 412966912 96273 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 100822 96273 415 171 0 99747 0
Current children cumulated CPU time (s) 1113.91
Current children cumulated vsize (KiB) 403288

[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14736
/proc/meminfo: memFree=1074112/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=423020 CPUtime=1173.88
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 110334 648 0 0 117326 62 0 0 25 0 1 0 58629183 433172480 101154 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 105755 101154 415 171 0 104680 0
Current children cumulated CPU time (s) 1173.88
Current children cumulated vsize (KiB) 423020

[startup+1242.3 s]
/proc/loadavg: 2.13 2.02 2.00 3/73 14742
/proc/meminfo: memFree=1054784/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=440556 CPUtime=1233.86
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 114942 648 0 0 123321 65 0 0 25 0 1 0 58629183 451129344 105762 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 110139 105762 415 171 0 109064 0
Current children cumulated CPU time (s) 1233.86
Current children cumulated vsize (KiB) 440556

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 14742
/proc/meminfo: memFree=1035264/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=458476 CPUtime=1293.84
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 119604 648 0 0 129316 68 0 0 25 0 1 0 58629183 469479424 110424 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 114619 110424 415 171 0 113544 0
Current children cumulated CPU time (s) 1293.84
Current children cumulated vsize (KiB) 458476

[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/73 14742
/proc/meminfo: memFree=1016448/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=476528 CPUtime=1353.8
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 124307 648 0 0 135310 70 0 0 25 0 1 0 58629183 487964672 115127 996147200 134512640 135215973 4294956304 18446744073709551615 134588061 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 119132 115127 415 171 0 118057 0
Current children cumulated CPU time (s) 1353.8
Current children cumulated vsize (KiB) 476528

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=996928/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=493916 CPUtime=1413.79
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 128878 648 0 0 141306 73 0 0 25 0 1 0 58629183 505769984 119698 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 123479 119698 415 171 0 122404 0
Current children cumulated CPU time (s) 1413.79
Current children cumulated vsize (KiB) 493916

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=976832/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=511580 CPUtime=1473.75
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 133486 648 0 0 147300 75 0 0 25 0 1 0 58629183 523857920 124306 996147200 134512640 135215973 4294956304 18446744073709551615 134688141 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 127895 124306 415 171 0 126820 0
Current children cumulated CPU time (s) 1473.75
Current children cumulated vsize (KiB) 511580

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=956992/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=530440 CPUtime=1533.73
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 138420 648 0 0 153295 78 0 0 25 0 1 0 58629183 543170560 129240 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 132610 129240 415 171 0 131535 0
Current children cumulated CPU time (s) 1533.73
Current children cumulated vsize (KiB) 530440

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=935936/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=549840 CPUtime=1593.71
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 143556 648 0 0 159290 81 0 0 25 0 1 0 58629183 563036160 134376 996147200 134512640 135215973 4294956304 18446744073709551615 134596221 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 137460 134376 415 171 0 136385 0
Current children cumulated CPU time (s) 1593.71
Current children cumulated vsize (KiB) 549840

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=918336/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=566056 CPUtime=1653.69
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 147792 648 0 0 165286 83 0 0 25 0 1 0 58629183 579641344 138612 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 141514 138612 415 171 0 140439 0
Current children cumulated CPU time (s) 1653.69
Current children cumulated vsize (KiB) 566056

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=898112/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=585312 CPUtime=1713.66
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 152826 648 0 0 171281 85 0 0 25 0 1 0 58629183 599359488 143646 996147200 134512640 135215973 4294956304 18446744073709551615 134590075 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 146328 143646 415 171 0 145253 0
Current children cumulated CPU time (s) 1713.66
Current children cumulated vsize (KiB) 585312

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=878528/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=602724 CPUtime=1773.64
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 157370 648 0 0 177276 88 0 0 25 0 1 0 58629183 617189376 148190 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 150681 148190 415 171 0 149606 0
Current children cumulated CPU time (s) 1773.64
Current children cumulated vsize (KiB) 602724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=870336/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=610232 CPUtime=1800.04
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 159341 648 0 0 179915 89 0 0 25 0 1 0 58629183 624877568 150161 996147200 134512640 135215973 4294956304 18446744073709551615 135094881 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 152558 150161 415 171 0 151483 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 610232

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

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

[startup+1808.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14742
/proc/meminfo: memFree=870336/2055920 swapFree=4192812/4192956
[pid=14580] ppid=14578 vsize=610232 CPUtime=1800.04
/proc/14580/stat : 14580 (pcs.big) R 14578 14580 13213 0 -1 4194304 159341 648 0 0 179915 89 0 0 25 0 1 0 58629183 624877568 150161 996147200 134512640 135215973 4294956304 18446744073709551615 135094881 0 0 4096 0 0 0 0 17 0 0 0
/proc/14580/statm: 152558 150161 415 171 0 151483 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 610232

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.8
CPU time (s): 1800.14
CPU user time (s): 1799.15
CPU system time (s): 0.98585
CPU usage (%): 99.5214
Max. virtual memory (cumulated for all children) (KiB): 610232

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

runsolver used 2.25766 second user time and 5.11322 second system time

The end

Launcher Data 

Begin job on node33 at 2009-07-16 05:40:32
IDJOB=2077852
IDBENCH=56680
IDSOLVER=733
FILE ID=node33/2077852-1247715632
PBS_JOBID= 9521318
Free space on /tmp= 66424 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/primes-15/normalized-primes-15-40-2-7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077852-1247715632/watcher-2077852-1247715632 -o /tmp/evaluation-result-2077852-1247715632/solver-2077852-1247715632 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1065655189 HOME/instance-2077852-1247715632.xml

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

MD5SUM BENCH= dd73b653e941c848140715c0efeb13bc
RANDOM SEED=1065655189

node33.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.229
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.229
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:       1473128 kB
Buffers:         75588 kB
Cached:         397896 kB
SwapCached:          0 kB
Active:          99452 kB
Inactive:       396888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1473128 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1732 kB
Writeback:           0 kB
Mapped:          34332 kB
Slab:            71804 kB
Committed_AS:   556628 kB
PageTables:       1732 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= 66424 MiB
End job on node33 at 2009-07-16 06:10:43