Trace number 2078094

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 1807.33

General information on the benchmark

Namecsp/primes-10/
normalized-primes-10-40-2-7.xml
MD5SUM5f58b2e48b45468f2f81f3f76ae83a1d
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 benchmark1.45678
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Maximum constraint arity9
Maximum domain size28
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 operations which may create big domains
0.00/0.01	c big-domain mode
0.00/0.02	c Seed is 322536865
0.00/0.02	c Constructing HOME/instance-2078094-1247716152.xml  with 475 constraints
0.01/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-2078094-1247716152/watcher-2078094-1247716152 -o /tmp/evaluation-result-2078094-1247716152/solver-2078094-1247716152 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 322536865 HOME/instance-2078094-1247716152.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.04 2.03 2.07 4/82 20517
/proc/meminfo: memFree=886368/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=5356 CPUtime=0
/proc/20517/stat : 20517 (pcssolve) R 20515 20517 18594 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58679084 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20517/statm: 1339 241 200 169 0 50 0
[pid=20518] ppid=20517 vsize=100 CPUtime=0
/proc/20518/stat : 20518 (fgrep) R 20517 20517 18594 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 58679084 102400 3 996147200 0 0 548682069725 18446744073709551615 264840473895 0 0 4096 0 0 0 0 17 1 0 0
/proc/20518/statm: 25 3 0 0 0 2 0
[pid=20519] ppid=20517 vsize=5356 CPUtime=0
/proc/20519/stat : 20519 (pcssolve) R 20517 20517 18594 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58679085 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/20519/statm: 1339 241 200 169 0 50 0

[startup+0.032069 s]
/proc/loadavg: 2.04 2.03 2.07 4/82 20517
/proc/meminfo: memFree=886368/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=4632 CPUtime=0.01
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 866 814 0 0 1 0 0 0 25 0 1 0 58679084 4743168 475 996147200 134512640 135215973 4294956304 18446744073709551615 4159347568 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 1158 475 389 171 0 83 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4632

[startup+0.101072 s]
/proc/loadavg: 2.04 2.03 2.07 4/82 20517
/proc/meminfo: memFree=886368/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=5308 CPUtime=0.07
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 1024 814 0 0 7 0 0 0 25 0 1 0 58679084 5435392 633 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 1327 633 415 171 0 252 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5308

[startup+0.301085 s]
/proc/loadavg: 2.04 2.03 2.07 4/82 20517
/proc/meminfo: memFree=886368/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=5648 CPUtime=0.27
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 1161 814 0 0 27 0 0 0 25 0 1 0 58679084 5783552 717 996147200 134512640 135215973 4294956304 18446744073709551615 134987736 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 1412 717 415 171 0 337 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5648

[startup+0.701125 s]
/proc/loadavg: 2.04 2.03 2.07 4/82 20517
/proc/meminfo: memFree=886368/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=6040 CPUtime=0.67
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 1245 814 0 0 67 0 0 0 25 0 1 0 58679084 6184960 801 996147200 134512640 135215973 4294956304 18446744073709551615 4158960317 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 1510 801 415 171 0 435 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6040

[startup+1.50121 s]
/proc/loadavg: 2.03 2.03 2.07 3/83 20523
/proc/meminfo: memFree=884448/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=6848 CPUtime=1.46
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 1436 814 0 0 146 0 0 0 25 0 1 0 58679084 7012352 992 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 1712 992 415 171 0 637 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6848

[startup+3.10137 s]
/proc/loadavg: 2.03 2.03 2.07 3/83 20523
/proc/meminfo: memFree=883296/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=8420 CPUtime=3.05
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 1844 814 0 0 304 1 0 0 25 0 1 0 58679084 8622080 1367 996147200 134512640 135215973 4294956304 18446744073709551615 134584956 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 2105 1367 415 171 0 1030 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8420

[startup+6.30171 s]
/proc/loadavg: 2.03 2.03 2.07 3/83 20523
/proc/meminfo: memFree=879656/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=11708 CPUtime=6.22
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 2719 814 0 0 621 1 0 0 25 0 1 0 58679084 11988992 2177 996147200 134512640 135215973 4294956304 18446744073709551615 135096417 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 2927 2177 415 171 0 1852 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 11708

[startup+12.7014 s]
/proc/loadavg: 2.03 2.02 2.07 3/83 20523
/proc/meminfo: memFree=875048/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=16040 CPUtime=12.56
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 3828 814 0 0 1254 2 0 0 25 0 1 0 58679084 16424960 3286 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 4010 3286 415 171 0 2935 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 16040

[startup+25.5027 s]
/proc/loadavg: 2.02 2.02 2.07 3/83 20523
/proc/meminfo: memFree=866664/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=24032 CPUtime=25.24
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 5964 814 0 0 2521 3 0 0 25 0 1 0 58679084 24608768 5260 996147200 134512640 135215973 4294956304 18446744073709551615 134596267 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 6008 5260 415 171 0 4933 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 24032

[startup+51.1023 s]
/proc/loadavg: 2.01 2.02 2.07 3/83 20523
/proc/meminfo: memFree=851880/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=39124 CPUtime=50.59
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 9957 814 0 0 5055 4 0 0 25 0 1 0 58679084 40062976 8996 996147200 134512640 135215973 4294956304 18446744073709551615 134590378 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 9781 8996 415 171 0 8706 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 39124

[startup+102.308 s]
/proc/loadavg: 2.00 2.02 2.06 3/83 20523
/proc/meminfo: memFree=823976/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=67356 CPUtime=101.32
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 17383 814 0 0 10123 9 0 0 25 0 1 0 58679084 68972544 15844 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 16839 15844 415 171 0 15764 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 67356

[startup+162.303 s]
/proc/loadavg: 2.00 2.01 2.06 3/83 20525
/proc/meminfo: memFree=798312/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=91928 CPUtime=160.76
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 23832 814 0 0 16063 13 0 0 25 0 1 0 58679084 94134272 22293 996147200 134512640 135215973 4294956304 18446744073709551615 134641045 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 22982 22293 415 171 0 21907 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 91928

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.05 3/83 20525
/proc/meminfo: memFree=894568/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=116932 CPUtime=220.19
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 30276 814 0 0 22004 15 0 0 25 0 1 0 58679084 119738368 27583 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 29233 27583 415 171 0 28158 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 116932

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 20525
/proc/meminfo: memFree=874600/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=135912 CPUtime=279.63
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 35229 814 0 0 27945 18 0 0 25 0 1 0 58679084 139173888 32536 996147200 134512640 135215973 4294956304 18446744073709551615 134590927 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 33978 32536 415 171 0 32903 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 135912

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.04 3/83 20525
/proc/meminfo: memFree=854248/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=155776 CPUtime=339.07
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 40438 814 0 0 33887 20 0 0 25 0 1 0 58679084 159514624 37640 996147200 134512640 135215973 4294956304 18446744073709551615 134593090 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 38944 37640 415 171 0 37869 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 155776

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 20525
/proc/meminfo: memFree=829224/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=179616 CPUtime=398.5
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 46678 814 0 0 39827 23 0 0 25 0 1 0 58679084 183926784 43880 996147200 134512640 135215973 4294956304 18446744073709551615 4158960084 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 44904 43880 415 171 0 43829 0
Current children cumulated CPU time (s) 398.5
Current children cumulated vsize (KiB) 179616

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/83 20525
/proc/meminfo: memFree=803944/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=211524 CPUtime=457.94
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 54960 814 0 0 45766 28 0 0 25 0 1 0 58679084 216600576 50113 996147200 134512640 135215973 4294956304 18446744073709551615 134597371 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 52881 50113 415 171 0 51806 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 211524

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 20525
/proc/meminfo: memFree=778472/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=236552 CPUtime=517.38
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 61514 814 0 0 51708 30 0 0 25 0 1 0 58679084 242229248 56667 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 59138 56667 415 171 0 58063 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 236552

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/83 20525
/proc/meminfo: memFree=753512/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=260160 CPUtime=576.82
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 67683 814 0 0 57649 33 0 0 25 0 1 0 58679084 266403840 62836 996147200 134512640 135215973 4294956304 18446744073709551615 134585815 0 0 4096 0 0 0 0 17 1 0 0
/proc/20517/statm: 65040 62836 415 171 0 63965 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 260160

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/83 20525
/proc/meminfo: memFree=730792/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=281132 CPUtime=636.26

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

[startup+882.302 s]
/proc/loadavg: 2.14 2.11 2.04 3/73 20607
/proc/meminfo: memFree=1196160/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=378444 CPUtime=875.46
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 98656 814 0 0 87496 50 0 0 25 0 1 0 58679084 387526656 93552 996147200 134512640 135215973 4294956304 18446744073709551615 134524452 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 94611 93552 415 171 0 93536 0
Current children cumulated CPU time (s) 875.46
Current children cumulated vsize (KiB) 378444

[startup+942.302 s]
/proc/loadavg: 2.05 2.09 2.03 3/73 20607
/proc/meminfo: memFree=1168320/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=417628 CPUtime=935.44
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 108680 814 0 0 93489 55 0 0 25 0 1 0 58679084 427651072 99479 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 104407 99479 415 171 0 103332 0
Current children cumulated CPU time (s) 935.44
Current children cumulated vsize (KiB) 417628

[startup+1002.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/73 20607
/proc/meminfo: memFree=1137024/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=443212 CPUtime=995.42
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 115366 814 0 0 99483 59 0 0 25 0 1 0 58679084 453849088 106165 996147200 134512640 135215973 4294956304 18446744073709551615 134583644 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 110803 106165 415 171 0 109728 0
Current children cumulated CPU time (s) 995.42
Current children cumulated vsize (KiB) 443212

[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.02 3/73 20607
/proc/meminfo: memFree=1109056/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=465992 CPUtime=1055.39
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 121297 814 0 0 105477 62 0 0 25 0 1 0 58679084 477175808 112096 996147200 134512640 135215973 4294956304 18446744073709551615 134585078 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 116498 112096 415 171 0 115423 0
Current children cumulated CPU time (s) 1055.39
Current children cumulated vsize (KiB) 465992

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.02 3/73 20607
/proc/meminfo: memFree=1080320/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=487480 CPUtime=1115.36
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 126942 814 0 0 111471 65 0 0 25 0 1 0 58679084 499179520 117741 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 121870 117741 415 171 0 120795 0
Current children cumulated CPU time (s) 1115.36
Current children cumulated vsize (KiB) 487480

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/73 20607
/proc/meminfo: memFree=1052544/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=511208 CPUtime=1175.35
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 133120 814 0 0 117466 69 0 0 25 0 1 0 58679084 523476992 123919 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 127802 123919 415 171 0 126727 0
Current children cumulated CPU time (s) 1175.35
Current children cumulated vsize (KiB) 511208

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 20607
/proc/meminfo: memFree=1021568/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=536128 CPUtime=1235.32
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 139630 814 0 0 123460 72 0 0 25 0 1 0 58679084 548995072 130429 996147200 134512640 135215973 4294956304 18446744073709551615 134533062 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 134032 130429 415 171 0 132957 0
Current children cumulated CPU time (s) 1235.32
Current children cumulated vsize (KiB) 536128

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 20648
/proc/meminfo: memFree=966256/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=561688 CPUtime=1295.3
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 146281 814 0 0 129454 76 0 0 25 0 1 0 58679084 575168512 137080 996147200 134512640 135215973 4294956304 18446744073709551615 4158960346 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 140422 137080 415 171 0 139347 0
Current children cumulated CPU time (s) 1295.3
Current children cumulated vsize (KiB) 561688

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 20648
/proc/meminfo: memFree=940592/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=586312 CPUtime=1355.27
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 152664 814 0 0 135448 79 0 0 25 0 1 0 58679084 600383488 143463 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 146578 143463 415 171 0 145503 0
Current children cumulated CPU time (s) 1355.27
Current children cumulated vsize (KiB) 586312

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 20648
/proc/meminfo: memFree=917488/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=608468 CPUtime=1415.26
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 158487 814 0 0 141444 82 0 0 25 0 1 0 58679084 623071232 149286 996147200 134512640 135215973 4294956304 18446744073709551615 134591209 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 152117 149286 415 171 0 151042 0
Current children cumulated CPU time (s) 1415.26
Current children cumulated vsize (KiB) 608468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20648
/proc/meminfo: memFree=895216/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=630100 CPUtime=1475.22
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 164138 814 0 0 147437 85 0 0 25 0 1 0 58679084 645222400 154937 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 157525 154937 415 171 0 156450 0
Current children cumulated CPU time (s) 1475.22
Current children cumulated vsize (KiB) 630100

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20648
/proc/meminfo: memFree=869040/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=654736 CPUtime=1535.21
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 170547 814 0 0 153432 89 0 0 25 0 1 0 58679084 670449664 161346 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 163684 161346 415 171 0 162609 0
Current children cumulated CPU time (s) 1535.21
Current children cumulated vsize (KiB) 654736

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20648
/proc/meminfo: memFree=848176/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=674892 CPUtime=1595.18
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 175791 814 0 0 159427 91 0 0 25 0 1 0 58679084 691089408 166590 996147200 134512640 135215973 4294956304 18446744073709551615 134591607 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 168723 166590 415 171 0 167648 0
Current children cumulated CPU time (s) 1595.18
Current children cumulated vsize (KiB) 674892

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20648
/proc/meminfo: memFree=828400/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=693736 CPUtime=1655.15
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 180689 814 0 0 165422 93 0 0 25 0 1 0 58679084 710385664 171488 996147200 134512640 135215973 4294956304 18446744073709551615 4158961700 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 173434 171488 415 171 0 172359 0
Current children cumulated CPU time (s) 1655.15
Current children cumulated vsize (KiB) 693736

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20648
/proc/meminfo: memFree=806896/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=714532 CPUtime=1715.13
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 186085 814 0 0 171417 96 0 0 25 0 1 0 58679084 731680768 176884 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 178633 176884 415 171 0 177558 0
Current children cumulated CPU time (s) 1715.13
Current children cumulated vsize (KiB) 714532

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 20648
/proc/meminfo: memFree=786032/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=734320 CPUtime=1775.11
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 191219 814 0 0 177412 99 0 0 25 0 1 0 58679084 751943680 182018 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 183580 182018 415 171 0 182505 0
Current children cumulated CPU time (s) 1775.11
Current children cumulated vsize (KiB) 734320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.2 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20648
/proc/meminfo: memFree=778544/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=741432 CPUtime=1800.01
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4194304 193074 814 0 0 179901 100 0 0 25 0 1 0 58679084 759226368 183873 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 185358 183873 415 171 0 184283 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 741432

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

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

[startup+1807.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 20648
/proc/meminfo: memFree=778544/2055920 swapFree=4192812/4192956
[pid=20517] ppid=20515 vsize=0 CPUtime=1800.11
/proc/20517/stat : 20517 (pcs.big) R 20515 20517 18594 0 -1 4195332 193074 814 0 0 179901 110 0 0 25 0 1 0 58679084 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/20517/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.33
CPU time (s): 1800.14
CPU user time (s): 1799.01
CPU system time (s): 1.12583
CPU usage (%): 99.6024
Max. virtual memory (cumulated for all children) (KiB): 741432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.12583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193888
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= 22
involuntary context switches= 28882

runsolver used 2.31765 second user time and 5.67214 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-16 05:49:12
IDJOB=2078094
IDBENCH=56714
IDSOLVER=733
FILE ID=node44/2078094-1247716152
PBS_JOBID= 9521406
Free space on /tmp= 66280 MiB

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

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

MD5SUM BENCH= 5f58b2e48b45468f2f81f3f76ae83a1d
RANDOM SEED=322536865

node44.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.219
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.219
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:        886848 kB
Buffers:         78284 kB
Cached:         298640 kB
SwapCached:          0 kB
Active:         783216 kB
Inactive:       298708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        886848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:         725384 kB
Slab:            70916 kB
Committed_AS:  1279568 kB
PageTables:       3296 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= 66280 MiB
End job on node44 at 2009-07-16 06:19:21