Trace number 2070779

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.09 1817.36

General information on the benchmark

Namecsp/primes-20/
normalized-primes-20-40-3-7.xml
MD5SUM66b160f79aceac58eef692c4a69d727f
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 arity10
Maximum domain size70
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.02	c Seed is 337922252
0.00/0.02	c Constructing HOME/instance-2070779-1247709173.xml  with 572 constraints
0.00/0.03	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-2070779-1247709173/watcher-2070779-1247709173 -o /tmp/evaluation-result-2070779-1247709173/solver-2070779-1247709173 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 337922252 HOME/instance-2070779-1247709173.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.94 2.13 2.12 4/82 10781
/proc/meminfo: memFree=1201208/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=5356 CPUtime=0
/proc/10781/stat : 10781 (pcssolve) R 10779 10781 10744 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 57981019 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 208717539999 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10781/statm: 1339 241 200 169 0 50 0

[startup+0.108947 s]
/proc/loadavg: 1.94 2.13 2.12 4/82 10781
/proc/meminfo: memFree=1201208/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=5352 CPUtime=0.09
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 1014 650 0 0 9 0 0 0 24 0 1 0 57981019 5480448 645 996147200 134512640 135215973 4294956304 18446744073709551615 4158961435 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 1338 645 415 171 0 263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5352

[startup+0.202956 s]
/proc/loadavg: 1.94 2.13 2.12 4/82 10781
/proc/meminfo: memFree=1201208/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=5560 CPUtime=0.18
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 1129 650 0 0 18 0 0 0 24 0 1 0 57981019 5693440 707 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 1390 707 415 171 0 315 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5560

[startup+0.302622 s]
/proc/loadavg: 1.94 2.13 2.12 4/82 10781
/proc/meminfo: memFree=1201208/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=5692 CPUtime=0.28
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 1162 650 0 0 28 0 0 0 25 0 1 0 57981019 5828608 740 996147200 134512640 135215973 4294956304 18446744073709551615 134533319 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 1423 740 415 171 0 348 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5692

[startup+0.702006 s]
/proc/loadavg: 1.94 2.13 2.12 4/82 10781
/proc/meminfo: memFree=1201208/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=5956 CPUtime=0.68
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 1207 650 0 0 68 0 0 0 25 0 1 0 57981019 6098944 785 996147200 134512640 135215973 4294956304 18446744073709551615 134612331 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 1489 785 415 171 0 414 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5956

[startup+1.50275 s]
/proc/loadavg: 1.94 2.13 2.12 3/83 10786
/proc/meminfo: memFree=1199280/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=6344 CPUtime=1.47
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 1320 650 0 0 147 0 0 0 25 0 1 0 57981019 6496256 898 996147200 134512640 135215973 4294956304 18446744073709551615 134902593 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 1586 898 415 171 0 511 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6344

[startup+3.10194 s]
/proc/loadavg: 1.94 2.13 2.12 4/83 10786
/proc/meminfo: memFree=1198064/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=7976 CPUtime=3.05
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 1808 650 0 0 305 0 0 0 25 0 1 0 57981019 8167424 1281 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 1994 1281 415 171 0 919 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7976

[startup+6.30157 s]
/proc/loadavg: 1.95 2.12 2.12 4/83 10786
/proc/meminfo: memFree=1195632/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=9672 CPUtime=6.22
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 2263 650 0 0 622 0 0 0 25 0 1 0 57981019 9904128 1703 996147200 134512640 135215973 4294956304 18446744073709551615 135095379 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 2418 1703 415 171 0 1343 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9672

[startup+12.7012 s]
/proc/loadavg: 1.95 2.12 2.12 3/83 10786
/proc/meminfo: memFree=1191992/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=12144 CPUtime=12.55
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 2912 650 0 0 1255 0 0 0 25 0 1 0 57981019 12435456 2254 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 3036 2254 415 171 0 1961 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 12144

[startup+25.5022 s]
/proc/loadavg: 1.96 2.11 2.12 4/83 10786
/proc/meminfo: memFree=1185080/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=17908 CPUtime=25.24
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 4472 650 0 0 2522 2 0 0 25 0 1 0 57981019 18337792 3685 996147200 134512640 135215973 4294956304 18446744073709551615 134601509 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 4477 3685 415 171 0 3402 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 17908

[startup+51.1011 s]
/proc/loadavg: 1.97 2.10 2.11 4/83 10786
/proc/meminfo: memFree=1169592/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=31520 CPUtime=50.6
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 8058 650 0 0 5055 5 0 0 25 0 1 0 57981019 32276480 6949 996147200 134512640 135215973 4294956304 18446744073709551615 4158851964 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 7880 6949 415 171 0 6805 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 31520

[startup+102.301 s]
/proc/loadavg: 1.99 2.08 2.10 3/83 10786
/proc/meminfo: memFree=1157176/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=38852 CPUtime=101.32
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 9993 650 0 0 10125 7 0 0 25 0 1 0 57981019 39784448 8884 996147200 134512640 135215973 4294956304 18446744073709551615 134587951 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 9713 8884 415 171 0 8638 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 38852

[startup+162.301 s]
/proc/loadavg: 1.99 2.07 2.09 3/83 10786
/proc/meminfo: memFree=1147768/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=47244 CPUtime=160.75
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 12170 650 0 0 16067 8 0 0 25 0 1 0 57981019 48377856 10932 996147200 134512640 135215973 4294956304 18446744073709551615 134590109 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 11811 10932 415 171 0 10736 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 47244

[startup+222.307 s]
/proc/loadavg: 1.99 2.05 2.09 3/83 10786
/proc/meminfo: memFree=1139960/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=54704 CPUtime=220.2
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 14070 650 0 0 22010 10 0 0 25 0 1 0 57981019 56016896 12832 996147200 134512640 135215973 4294956304 18446744073709551615 134597679 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 13676 12832 415 171 0 12601 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 54704

[startup+282.301 s]
/proc/loadavg: 1.99 2.04 2.08 3/83 10786
/proc/meminfo: memFree=1130872/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=63768 CPUtime=279.64
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 16411 650 0 0 27952 12 0 0 25 0 1 0 57981019 65298432 15173 996147200 134512640 135215973 4294956304 18446744073709551615 134597411 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 15942 15173 415 171 0 14867 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 63768

[startup+342.302 s]
/proc/loadavg: 1.99 2.03 2.07 4/83 10786
/proc/meminfo: memFree=1123768/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=72252 CPUtime=339.07
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 18601 650 0 0 33894 13 0 0 25 0 1 0 57981019 73986048 16850 996147200 134512640 135215973 4294956304 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 18063 16850 415 171 0 16988 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 72252

[startup+402.301 s]
/proc/loadavg: 1.99 2.02 2.07 4/83 10786
/proc/meminfo: memFree=1113080/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=82516 CPUtime=398.51
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 21282 650 0 0 39836 15 0 0 25 0 1 0 57981019 84496384 19531 996147200 134512640 135215973 4294956304 18446744073709551615 135094316 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 20629 19531 415 171 0 19554 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 82516

[startup+462.302 s]
/proc/loadavg: 1.99 2.02 2.06 4/83 10786
/proc/meminfo: memFree=1103608/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=91436 CPUtime=457.95
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 23631 650 0 0 45779 16 0 0 25 0 1 0 57981019 93630464 21880 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 22859 21880 415 171 0 21784 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 91436

[startup+522.302 s]
/proc/loadavg: 1.99 2.01 2.06 4/82 10792
/proc/meminfo: memFree=1093104/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=101432 CPUtime=517.38
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 26262 650 0 0 51720 18 0 0 25 0 1 0 57981019 103866368 24511 996147200 134512640 135215973 4294956304 18446744073709551615 134600191 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 25358 24511 415 171 0 24283 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 101432

[startup+582.302 s]
/proc/loadavg: 2.44 2.12 2.09 5/88 11330
/proc/meminfo: memFree=1070248/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=119728 CPUtime=574.11
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 31080 650 0 0 57390 21 0 0 25 0 1 0 57981019 122601472 28047 996147200 134512640 135215973 4294956304 18446744073709551615 134585628 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 29932 28047 415 171 0 28857 0
Current children cumulated CPU time (s) 574.11
Current children cumulated vsize (KiB) 119728

[startup+642.302 s]
/proc/loadavg: 2.85 2.29 2.15 5/87 11600
/proc/meminfo: memFree=1035392/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=133420 CPUtime=633.36
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 34769 650 0 0 63312 24 0 0 25 0 1 0 57981019 136622080 31736 996147200 134512640 135215973 4294956304 18446744073709551615 134599837 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 33355 31736 415 171 0 32280 0
Current children cumulated CPU time (s) 633.36
Current children cumulated vsize (KiB) 133420

[startup+702.304 s]

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

[startup+822.302 s]
/proc/loadavg: 3.06 2.65 2.31 4/87 12453
/proc/meminfo: memFree=937224/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=177412 CPUtime=811.72
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 46469 650 0 0 81138 34 0 0 25 0 1 0 57981019 181669888 43227 996147200 134512640 135215973 4294956304 18446744073709551615 134591117 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 44353 43227 415 171 0 43278 0
Current children cumulated CPU time (s) 811.72
Current children cumulated vsize (KiB) 177412

[startup+882.307 s]
/proc/loadavg: 3.08 2.73 2.35 5/87 12726
/proc/meminfo: memFree=904280/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=199956 CPUtime=871.33
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 52288 650 0 0 87094 39 0 0 25 0 1 0 57981019 204754944 46997 996147200 134512640 135215973 4294956304 18446744073709551615 134533002 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 49989 46997 415 171 0 48914 0
Current children cumulated CPU time (s) 871.33
Current children cumulated vsize (KiB) 199956

[startup+942.301 s]
/proc/loadavg: 3.11 2.79 2.40 5/87 12767
/proc/meminfo: memFree=878144/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=213388 CPUtime=930.94
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 55890 650 0 0 93053 41 0 0 25 0 1 0 57981019 218509312 50599 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 53347 50599 415 171 0 52272 0
Current children cumulated CPU time (s) 930.94
Current children cumulated vsize (KiB) 213388

[startup+1002.3 s]
/proc/loadavg: 3.18 2.87 2.45 4/87 12767
/proc/meminfo: memFree=849728/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=229464 CPUtime=990.6
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 60185 650 0 0 99015 45 0 0 25 0 1 0 57981019 234971136 54894 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 57366 54894 415 171 0 56291 0
Current children cumulated CPU time (s) 990.6
Current children cumulated vsize (KiB) 229464

[startup+1062.3 s]
/proc/loadavg: 3.28 2.94 2.49 4/87 12790
/proc/meminfo: memFree=822144/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=244456 CPUtime=1050.22
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 64127 650 0 0 104974 48 0 0 25 0 1 0 57981019 250322944 58836 996147200 134512640 135215973 4294956304 18446744073709551615 134743494 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 61114 58836 415 171 0 60039 0
Current children cumulated CPU time (s) 1050.22
Current children cumulated vsize (KiB) 244456

[startup+1122.3 s]
/proc/loadavg: 3.23 2.98 2.53 4/87 12803
/proc/meminfo: memFree=787456/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=262248 CPUtime=1109.87
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 68768 650 0 0 110937 50 0 0 25 0 1 0 57981019 268541952 63477 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 65562 63477 415 171 0 64487 0
Current children cumulated CPU time (s) 1109.87
Current children cumulated vsize (KiB) 262248

[startup+1182.3 s]
/proc/loadavg: 2.81 2.92 2.54 3/82 12860
/proc/meminfo: memFree=777016/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=275820 CPUtime=1168.03
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 72412 650 0 0 116749 54 0 0 25 0 1 0 57981019 282439680 67121 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 68955 67121 415 171 0 67880 0
Current children cumulated CPU time (s) 1168.03
Current children cumulated vsize (KiB) 275820

[startup+1242.3 s]
/proc/loadavg: 2.41 2.78 2.52 3/82 12860
/proc/meminfo: memFree=760056/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=291760 CPUtime=1227.74
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 76620 650 0 0 122718 56 0 0 25 0 1 0 57981019 298762240 71329 996147200 134512640 135215973 4294956304 18446744073709551615 134533141 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 72940 71329 415 171 0 71865 0
Current children cumulated CPU time (s) 1227.74
Current children cumulated vsize (KiB) 291760

[startup+1302.3 s]
/proc/loadavg: 2.25 2.66 2.49 3/82 12860
/proc/meminfo: memFree=745336/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=305316 CPUtime=1287.45
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 80236 650 0 0 128686 59 0 0 25 0 1 0 57981019 312643584 74945 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 76329 74945 415 171 0 75254 0
Current children cumulated CPU time (s) 1287.45
Current children cumulated vsize (KiB) 305316

[startup+1362.3 s]
/proc/loadavg: 2.18 2.57 2.47 3/82 12860
/proc/meminfo: memFree=730616/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=318992 CPUtime=1347.16
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 83893 650 0 0 134655 61 0 0 25 0 1 0 57981019 326647808 78602 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 79748 78602 415 171 0 78673 0
Current children cumulated CPU time (s) 1347.16
Current children cumulated vsize (KiB) 318992

[startup+1422.3 s]
/proc/loadavg: 2.15 2.49 2.44 3/82 12860
/proc/meminfo: memFree=719416/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=329676 CPUtime=1406.88
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 86682 650 0 0 140625 63 0 0 25 0 1 0 57981019 337588224 81391 996147200 134512640 135215973 4294956304 18446744073709551615 134591671 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 82419 81391 415 171 0 81344 0
Current children cumulated CPU time (s) 1406.88
Current children cumulated vsize (KiB) 329676

[startup+1482.3 s]
/proc/loadavg: 2.13 2.43 2.43 3/82 12860
/proc/meminfo: memFree=715640/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=349612 CPUtime=1466.57
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 91710 650 0 0 146592 65 0 0 25 0 1 0 57981019 358002688 82322 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 87403 82322 415 171 0 86328 0
Current children cumulated CPU time (s) 1466.57
Current children cumulated vsize (KiB) 349612

[startup+1542.31 s]
/proc/loadavg: 2.19 2.39 2.41 3/82 12860
/proc/meminfo: memFree=711608/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=353424 CPUtime=1526.3
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 92736 650 0 0 152563 67 0 0 25 0 1 0 57981019 361906176 83348 996147200 134512640 135215973 4294956304 18446744073709551615 134590070 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 88356 83348 415 171 0 87281 0
Current children cumulated CPU time (s) 1526.3
Current children cumulated vsize (KiB) 353424

[startup+1602.3 s]
/proc/loadavg: 2.41 2.41 2.41 3/82 12860
/proc/meminfo: memFree=703416/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=361320 CPUtime=1586
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 94793 650 0 0 158532 68 0 0 25 0 1 0 57981019 369991680 85405 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 90330 85405 415 171 0 89255 0
Current children cumulated CPU time (s) 1586
Current children cumulated vsize (KiB) 361320

[startup+1662.3 s]
/proc/loadavg: 2.80 2.50 2.44 3/82 12860
/proc/meminfo: memFree=700728/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=363824 CPUtime=1645.71
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 95461 650 0 0 164503 68 0 0 25 0 1 0 57981019 372555776 86073 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 90956 86073 415 171 0 89881 0
Current children cumulated CPU time (s) 1645.71
Current children cumulated vsize (KiB) 363824

[startup+1722.3 s]
/proc/loadavg: 2.62 2.51 2.45 3/82 12860
/proc/meminfo: memFree=693176/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=371068 CPUtime=1705.42
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 97342 650 0 0 170473 69 0 0 25 0 1 0 57981019 379973632 87954 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/10781/statm: 92767 87954 415 171 0 91692 0
Current children cumulated CPU time (s) 1705.42
Current children cumulated vsize (KiB) 371068

[startup+1782.3 s]
/proc/loadavg: 2.22 2.42 2.42 3/73 12927
/proc/meminfo: memFree=736720/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=376600 CPUtime=1765.15
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 98738 650 0 0 176445 70 0 0 25 0 1 0 57981019 385638400 89350 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10781/statm: 94150 89350 415 171 0 93075 0
Current children cumulated CPU time (s) 1765.15
Current children cumulated vsize (KiB) 376600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.31 s]
/proc/loadavg: 2.12 2.37 2.40 3/73 12927
/proc/meminfo: memFree=736272/2055920 swapFree=4192812/4192956
[pid=10781] ppid=10779 vsize=376988 CPUtime=1800.02
/proc/10781/stat : 10781 (pcs.big) R 10779 10781 10744 0 -1 4194304 98891 650 0 0 179931 71 0 0 25 0 1 0 57981019 386035712 89503 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/10781/statm: 94247 89503 415 171 0 93172 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 376988

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): 1817.36
CPU time (s): 1800.09
CPU user time (s): 1799.32
CPU system time (s): 0.767883
CPU usage (%): 99.0492
Max. virtual memory (cumulated for all children) (KiB): 376988

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

runsolver used 2.07468 second user time and 5.64814 second system time

The end

Launcher Data 

Begin job on node47 at 2009-07-16 03:52:53
IDJOB=2070779
IDBENCH=55402
IDSOLVER=733
FILE ID=node47/2070779-1247709173
PBS_JOBID= 9521344
Free space on /tmp= 66384 MiB

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

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

MD5SUM BENCH= 66b160f79aceac58eef692c4a69d727f
RANDOM SEED=337922252

node47.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.218
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.218
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:       1201688 kB
Buffers:         80264 kB
Cached:         642576 kB
SwapCached:          0 kB
Active:         269684 kB
Inactive:       513060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1201688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:          80260 kB
Slab:            56684 kB
Committed_AS:   613120 kB
PageTables:       2020 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= 66384 MiB
End job on node47 at 2009-07-16 04:23:12