Trace number 2070780

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.15 1803.77

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.02	c has big domains
0.00/0.02	c big-domain mode
0.00/0.03	c Seed is 825453470
0.00/0.03	c Constructing HOME/instance-2070780-1247709177.xml  with 572 constraints
0.03/0.06	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-2070780-1247709177/watcher-2070780-1247709177 -o /tmp/evaluation-result-2070780-1247709177/solver-2070780-1247709177 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 825453470 HOME/instance-2070780-1247709177.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.72 2.59 2.44 4/85 16350
/proc/meminfo: memFree=888040/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=5356 CPUtime=0
/proc/16350/stat : 16350 (pcssolve) R 16348 16350 14743 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57980363 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 209560595103 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16350/statm: 1339 241 200 169 0 50 0
[pid=16351] ppid=16350 vsize=248 CPUtime=0
/proc/16351/stat : 16351 (fgrep) D 16350 16350 14743 0 -1 4194304 53 0 0 0 0 0 0 0 22 0 1 0 57980363 253952 31 996147200 4194304 4274172 548682068976 18446744073709551615 209557976553 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/16351/statm: 62 31 24 19 0 4 0

[startup+0.065108 s]
/proc/loadavg: 2.72 2.59 2.44 4/85 16350
/proc/meminfo: memFree=888040/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=5244 CPUtime=0.03
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 1003 650 2 0 3 0 0 0 18 0 1 0 57980363 5369856 636 996147200 134512640 135215973 4294956304 18446744073709551615 4158512812 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 1311 636 415 171 0 236 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5244

[startup+0.102114 s]
/proc/loadavg: 2.72 2.59 2.44 4/85 16350
/proc/meminfo: memFree=888040/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=5584 CPUtime=0.06
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 1097 650 2 0 6 0 0 0 18 0 1 0 57980363 5718016 677 996147200 134512640 135215973 4294956304 18446744073709551615 134587677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 1396 677 415 171 0 321 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5584

[startup+0.301146 s]
/proc/loadavg: 2.72 2.59 2.44 4/85 16350
/proc/meminfo: memFree=888040/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=5584 CPUtime=0.26
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 1124 650 2 0 26 0 0 0 19 0 1 0 57980363 5718016 704 996147200 134512640 135215973 4294956304 18446744073709551615 134600666 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 1396 704 415 171 0 321 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5584

[startup+0.701215 s]
/proc/loadavg: 2.72 2.59 2.44 4/85 16350
/proc/meminfo: memFree=888040/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=6048 CPUtime=0.66
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 1260 650 2 0 66 0 0 0 23 0 1 0 57980363 6193152 840 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 1512 840 415 171 0 437 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 6048

[startup+1.50235 s]
/proc/loadavg: 2.66 2.58 2.43 3/86 16355
/proc/meminfo: memFree=885792/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=6440 CPUtime=1.45
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 1347 650 2 0 145 0 0 0 25 0 1 0 57980363 6594560 927 996147200 134512640 135215973 4294956304 18446744073709551615 134640988 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 1610 927 415 171 0 535 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 6440

[startup+3.10163 s]
/proc/loadavg: 2.66 2.58 2.43 3/86 16355
/proc/meminfo: memFree=884832/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=8160 CPUtime=3.04
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 1802 650 2 0 304 0 0 0 25 0 1 0 57980363 8355840 1277 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 2040 1277 415 171 0 965 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 8160

[startup+6.30217 s]
/proc/loadavg: 2.61 2.57 2.43 3/86 16355
/proc/meminfo: memFree=882144/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=10128 CPUtime=6.21
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 2318 650 2 0 620 1 0 0 25 0 1 0 57980363 10371072 1760 996147200 134512640 135215973 4294956304 18446744073709551615 134908209 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 2532 1760 415 171 0 1457 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 10128

[startup+12.7013 s]
/proc/loadavg: 2.56 2.56 2.43 3/86 16355
/proc/meminfo: memFree=880416/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=12076 CPUtime=12.54
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 2846 650 2 0 1253 1 0 0 25 0 1 0 57980363 12365824 2190 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 3019 2190 415 171 0 1944 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 12076

[startup+25.5014 s]
/proc/loadavg: 2.43 2.53 2.42 3/86 16355
/proc/meminfo: memFree=875296/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=17408 CPUtime=25.21
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 4312 650 2 0 2519 2 0 0 25 0 1 0 57980363 17825792 3527 996147200 134512640 135215973 4294956304 18446744073709551615 134582279 0 0 4096 0 0 0 0 17 1 0 0
/proc/16350/statm: 4352 3527 415 171 0 3277 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 17408

[startup+51.1018 s]
/proc/loadavg: 2.19 2.47 2.41 2/71 16406
/proc/meminfo: memFree=1625752/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=27888 CPUtime=50.61
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 7280 650 2 0 5056 5 0 0 25 0 1 0 57980363 28557312 6173 996147200 134512640 135215973 4294956304 18446744073709551615 134677403 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 6972 6173 415 171 0 5897 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 27888

[startup+102.307 s]
/proc/loadavg: 2.16 2.42 2.39 3/76 16628
/proc/meminfo: memFree=1597552/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=40456 CPUtime=101.79
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 10597 650 2 0 10170 9 0 0 25 0 1 0 57980363 41426944 8977 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 10114 8978 415 171 0 9039 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 40456

[startup+162.302 s]
/proc/loadavg: 2.06 2.34 2.36 3/76 16628
/proc/meminfo: memFree=1582320/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=48188 CPUtime=161.76
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 12608 650 2 0 16166 10 0 0 25 0 1 0 57980363 49344512 10859 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 12047 10859 415 171 0 10972 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 48188

[startup+222.302 s]
/proc/loadavg: 2.02 2.28 2.34 3/76 16628
/proc/meminfo: memFree=1572336/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=54248 CPUtime=221.73
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 14164 650 2 0 22162 11 0 0 25 0 1 0 57980363 55549952 12415 996147200 134512640 135215973 4294956304 18446744073709551615 135094710 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 13562 12415 415 171 0 12487 0
Current children cumulated CPU time (s) 221.73
Current children cumulated vsize (KiB) 54248

[startup+282.302 s]
/proc/loadavg: 2.00 2.23 2.32 3/76 16628
/proc/meminfo: memFree=1564016/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=59500 CPUtime=281.7
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 15485 650 2 0 28158 12 0 0 25 0 1 0 57980363 60928000 13736 996147200 134512640 135215973 4294956304 18446744073709551615 9199198 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 14875 13736 415 171 0 13800 0
Current children cumulated CPU time (s) 281.7
Current children cumulated vsize (KiB) 59500

[startup+342.301 s]
/proc/loadavg: 2.00 2.18 2.29 3/76 16628
/proc/meminfo: memFree=1552368/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=67376 CPUtime=341.68
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 17543 650 2 0 34154 14 0 0 25 0 1 0 57980363 68993024 15794 996147200 134512640 135215973 4294956304 18446744073709551615 4158960728 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 16844 15794 415 171 0 15769 0
Current children cumulated CPU time (s) 341.68
Current children cumulated vsize (KiB) 67376

[startup+402.302 s]
/proc/loadavg: 2.00 2.15 2.27 3/76 16628
/proc/meminfo: memFree=1538352/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=76444 CPUtime=401.65
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 19886 650 2 0 40150 15 0 0 25 0 1 0 57980363 78278656 18137 996147200 134512640 135215973 4294956304 18446744073709551615 134585690 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 19111 18137 415 171 0 18036 0
Current children cumulated CPU time (s) 401.65
Current children cumulated vsize (KiB) 76444

[startup+462.301 s]
/proc/loadavg: 2.00 2.12 2.25 3/76 16723
/proc/meminfo: memFree=1539568/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=83536 CPUtime=461.62
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 21719 650 2 0 46145 17 0 0 25 0 1 0 57980363 85540864 19970 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 20884 19970 415 171 0 19809 0
Current children cumulated CPU time (s) 461.62
Current children cumulated vsize (KiB) 83536

[startup+522.302 s]
/proc/loadavg: 2.00 2.09 2.23 3/76 16729
/proc/meminfo: memFree=1506856/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=91668 CPUtime=521.59
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 23802 650 2 0 52140 19 0 0 25 0 1 0 57980363 93868032 22053 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 22917 22053 415 171 0 21842 0
Current children cumulated CPU time (s) 521.59
Current children cumulated vsize (KiB) 91668

[startup+582.302 s]
/proc/loadavg: 2.31 2.16 2.25 4/86 17245
/proc/meminfo: memFree=1199128/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=98636 CPUtime=580.13
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 25602 650 2 0 57991 22 0 0 25 0 1 0 57980363 101003264 23853 996147200 134512640 135215973 4294956304 18446744073709551615 134591557 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 24659 23853 415 171 0 23584 0
Current children cumulated CPU time (s) 580.13
Current children cumulated vsize (KiB) 98636

[startup+642.302 s]
/proc/loadavg: 2.26 2.19 2.25 4/86 17287
/proc/meminfo: memFree=1324184/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=106656 CPUtime=640.1
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 27695 650 2 0 63985 25 0 0 25 0 1 0 57980363 109215744 25946 996147200 134512640 135215973 4294956304 18446744073709551615 134606126 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 26664 25946 415 171 0 25589 0
Current children cumulated CPU time (s) 640.1

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

[startup+882.302 s]
/proc/loadavg: 2.09 2.19 2.24 3/86 17288
/proc/meminfo: memFree=787736/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=171184 CPUtime=879.99
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 44625 650 2 0 87963 36 0 0 25 0 1 0 57980363 175292416 41594 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 42796 41594 415 171 0 41721 0
Current children cumulated CPU time (s) 879.99
Current children cumulated vsize (KiB) 171184

[startup+942.302 s]
/proc/loadavg: 2.03 2.15 2.22 3/86 17288
/proc/meminfo: memFree=771544/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=186716 CPUtime=939.96
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 48708 650 2 0 93957 39 0 0 25 0 1 0 57980363 191197184 45677 996147200 134512640 135215973 4294956304 18446744073709551615 134902467 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 46679 45677 415 171 0 45604 0
Current children cumulated CPU time (s) 939.96
Current children cumulated vsize (KiB) 186716

[startup+1002.3 s]
/proc/loadavg: 2.01 2.12 2.21 3/86 17288
/proc/meminfo: memFree=756952/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=208332 CPUtime=999.93
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 54327 650 2 0 99951 42 0 0 25 0 1 0 57980363 213331968 49247 996147200 134512640 135215973 4294956304 18446744073709551615 134648251 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 52083 49247 415 171 0 51008 0
Current children cumulated CPU time (s) 999.93
Current children cumulated vsize (KiB) 208332

[startup+1062.3 s]
/proc/loadavg: 2.00 2.10 2.19 3/86 17288
/proc/meminfo: memFree=740696/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=224284 CPUtime=1059.9
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 58513 650 2 0 105946 44 0 0 25 0 1 0 57980363 229666816 53433 996147200 134512640 135215973 4294956304 18446744073709551615 4158960150 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 56071 53433 415 171 0 54996 0
Current children cumulated CPU time (s) 1059.9
Current children cumulated vsize (KiB) 224284

[startup+1122.3 s]
/proc/loadavg: 2.07 2.09 2.18 3/86 17288
/proc/meminfo: memFree=723032/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=240492 CPUtime=1119.87
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 62769 650 2 0 111940 47 0 0 25 0 1 0 57980363 246263808 57689 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 60123 57689 415 171 0 59048 0
Current children cumulated CPU time (s) 1119.87
Current children cumulated vsize (KiB) 240492

[startup+1182.3 s]
/proc/loadavg: 2.17 2.11 2.18 3/86 17288
/proc/meminfo: memFree=708120/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=254984 CPUtime=1179.85
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 66538 650 2 0 117936 49 0 0 25 0 1 0 57980363 261103616 61458 996147200 134512640 135215973 4294956304 18446744073709551615 134591337 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 63746 61458 415 171 0 62671 0
Current children cumulated CPU time (s) 1179.85
Current children cumulated vsize (KiB) 254984

[startup+1242.3 s]
/proc/loadavg: 2.12 2.10 2.17 3/86 17288
/proc/meminfo: memFree=694296/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=267768 CPUtime=1239.83
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 69884 650 2 0 123932 51 0 0 25 0 1 0 57980363 274194432 64804 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 66942 64804 415 171 0 65867 0
Current children cumulated CPU time (s) 1239.83
Current children cumulated vsize (KiB) 267768

[startup+1302.3 s]
/proc/loadavg: 2.10 2.09 2.17 3/86 17288
/proc/meminfo: memFree=675672/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=285680 CPUtime=1299.8
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 74491 650 2 0 129927 53 0 0 25 0 1 0 57980363 292536320 69411 996147200 134512640 135215973 4294956304 18446744073709551615 9168507 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 71420 69411 415 171 0 70345 0
Current children cumulated CPU time (s) 1299.8
Current children cumulated vsize (KiB) 285680

[startup+1362.3 s]
/proc/loadavg: 2.28 2.15 2.18 3/86 17288
/proc/meminfo: memFree=778520/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=301364 CPUtime=1359.77
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 78617 650 2 0 135923 54 0 0 25 0 1 0 57980363 308596736 73537 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 75341 73537 415 171 0 74266 0
Current children cumulated CPU time (s) 1359.77
Current children cumulated vsize (KiB) 301364

[startup+1422.31 s]
/proc/loadavg: 2.13 2.13 2.17 3/86 17288
/proc/meminfo: memFree=762648/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=316256 CPUtime=1419.75
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 82542 650 2 0 141917 58 0 0 25 0 1 0 57980363 323846144 77462 996147200 134512640 135215973 4294956304 18446744073709551615 134583442 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 79064 77462 415 171 0 77989 0
Current children cumulated CPU time (s) 1419.75
Current children cumulated vsize (KiB) 316256

[startup+1482.3 s]
/proc/loadavg: 2.05 2.11 2.16 3/86 17288
/proc/meminfo: memFree=746904/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=331280 CPUtime=1479.71
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 86458 650 2 0 147912 59 0 0 25 0 1 0 57980363 339230720 81378 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 82820 81378 415 171 0 81745 0
Current children cumulated CPU time (s) 1479.71
Current children cumulated vsize (KiB) 331280

[startup+1542.3 s]
/proc/loadavg: 2.08 2.10 2.15 3/86 17288
/proc/meminfo: memFree=926168/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=345512 CPUtime=1539.68
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 90140 650 2 0 153907 61 0 0 25 0 1 0 57980363 353804288 85060 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 86378 85060 415 171 0 85303 0
Current children cumulated CPU time (s) 1539.68
Current children cumulated vsize (KiB) 345512

[startup+1602.3 s]
/proc/loadavg: 2.03 2.08 2.14 3/86 17288
/proc/meminfo: memFree=999512/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=361064 CPUtime=1599.62
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 94160 650 2 0 159898 64 0 0 25 0 1 0 57980363 369729536 89080 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 90266 89080 415 171 0 89191 0
Current children cumulated CPU time (s) 1599.62
Current children cumulated vsize (KiB) 361064

[startup+1662.3 s]
/proc/loadavg: 2.14 2.09 2.14 3/86 17288
/proc/meminfo: memFree=982168/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=377664 CPUtime=1659.33
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 98463 650 2 0 165867 66 0 0 25 0 1 0 57980363 386727936 93383 996147200 134512640 135215973 4294956304 18446744073709551615 134589782 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 94416 93383 415 171 0 93341 0
Current children cumulated CPU time (s) 1659.33
Current children cumulated vsize (KiB) 377664

[startup+1722.3 s]
/proc/loadavg: 2.15 2.10 2.14 3/86 17288
/proc/meminfo: memFree=968536/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=391240 CPUtime=1719.06
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 101963 650 2 0 171838 68 0 0 25 0 1 0 57980363 400629760 96883 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 97810 96883 415 171 0 96735 0
Current children cumulated CPU time (s) 1719.06
Current children cumulated vsize (KiB) 391240

[startup+1782.3 s]
/proc/loadavg: 2.05 2.08 2.13 3/86 17288
/proc/meminfo: memFree=963288/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=395856 CPUtime=1778.77
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 103171 650 2 0 177808 69 0 0 25 0 1 0 57980363 405356544 98091 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 98964 98091 415 171 0 97889 0
Current children cumulated CPU time (s) 1778.77
Current children cumulated vsize (KiB) 395856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.7 s]
/proc/loadavg: 2.11 2.09 2.13 3/86 17288
/proc/meminfo: memFree=958296/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=400476 CPUtime=1800.07
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 104393 650 2 0 179938 69 0 0 25 0 1 0 57980363 410087424 99313 996147200 134512640 135215973 4294956304 18446744073709551615 4158960486 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 100119 99313 415 171 0 99044 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 400476

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.11 2.09 2.13 3/86 17288
/proc/meminfo: memFree=958296/2055920 swapFree=4192812/4192956
[pid=16350] ppid=16348 vsize=400476 CPUtime=1800.07
/proc/16350/stat : 16350 (pcs.big) R 16348 16350 14743 0 -1 4194304 104393 650 2 0 179938 69 0 0 25 0 1 0 57980363 410087424 99313 996147200 134512640 135215973 4294956304 18446744073709551615 4158960486 0 0 4096 0 0 0 0 17 0 0 0
/proc/16350/statm: 100119 99313 415 171 0 99044 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 400476

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1803.77
CPU time (s): 1800.15
CPU user time (s): 1799.39
CPU system time (s): 0.758884
CPU usage (%): 99.7995
Max. virtual memory (cumulated for all children) (KiB): 400476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.758884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105043
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 30309

runsolver used 2.17567 second user time and 5.9471 second system time

The end

Launcher Data 

Begin job on node68 at 2009-07-16 03:52:57
IDJOB=2070780
IDBENCH=55402
IDSOLVER=734
FILE ID=node68/2070780-1247709177
PBS_JOBID= 9521179
Free space on /tmp= 66416 MiB

SOLVER NAME= pcs-restart 0.2.restart
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-2070780-1247709177/watcher-2070780-1247709177 -o /tmp/evaluation-result-2070780-1247709177/solver-2070780-1247709177 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 825453470 HOME/instance-2070780-1247709177.xml

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

MD5SUM BENCH= 66b160f79aceac58eef692c4a69d727f
RANDOM SEED=825453470

node68.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.258
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.258
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:        888520 kB
Buffers:         62484 kB
Cached:         263440 kB
SwapCached:          0 kB
Active:         813528 kB
Inactive:       285040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        888520 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1780 kB
Writeback:           0 kB
Mapped:         793320 kB
Slab:            52100 kB
Committed_AS:  1373512 kB
PageTables:       3492 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= 66420 MiB
End job on node68 at 2009-07-16 04:23:02