Trace number 2077863

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.08 1810.93

General information on the benchmark

Namecsp/primes-15/
normalized-primes-15-20-3-7.xml
MD5SUM5a9755a4ca72128afdbeb99b36b30378
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 benchmark0.044992
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Maximum constraint arity10
Maximum domain size46
Number of constraints which are defined in extension0
Number of constraints which are defined in intension20
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.17/0.23	c Seed is 778601724
0.17/0.23	c Constructing HOME/instance-2077863-1247715678.xml  with 281 constraints
0.17/0.23	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-2077863-1247715678/watcher-2077863-1247715678 -o /tmp/evaluation-result-2077863-1247715678/solver-2077863-1247715678 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 778601724 HOME/instance-2077863-1247715678.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.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=18576 CPUtime=0
/proc/13362/stat : 13362 (runsolver) R 13360 13362 12466 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58634646 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13362/statm: 4644 284 249 26 0 2626 0

[startup+0.014424 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5356 CPUtime=0
/proc/13362/stat : 13362 (pcssolve) S 13360 13362 12466 0 -1 4194304 339 464 0 0 0 0 0 0 23 0 1 0 58634646 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13362/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101401 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=4972 CPUtime=0.07
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 945 646 0 0 7 0 0 0 18 0 1 0 58634646 5091328 576 996147200 134512640 135215973 4294956304 18446744073709551615 135098084 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1243 576 415 171 0 168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4972

[startup+0.301341 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5184 CPUtime=0.27
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 991 646 0 0 27 0 0 0 19 0 1 0 58634646 5308416 622 996147200 134512640 135215973 4294956304 18446744073709551615 134609785 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1296 622 415 171 0 221 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5184

[startup+0.701225 s]
/proc/loadavg: 2.33 2.34 2.20 4/72 13362
/proc/meminfo: memFree=1506792/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5312 CPUtime=0.67
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1015 646 0 0 67 0 0 0 23 0 1 0 58634646 5439488 646 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1328 646 415 171 0 253 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5312

[startup+1.502 s]
/proc/loadavg: 2.33 2.34 2.20 3/73 13367
/proc/meminfo: memFree=1505696/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=5700 CPUtime=1.47
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1101 646 0 0 147 0 0 0 25 0 1 0 58634646 5836800 732 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1425 732 415 171 0 350 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5700

[startup+3.10154 s]
/proc/loadavg: 2.31 2.33 2.20 3/73 13367
/proc/meminfo: memFree=1504608/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=7288 CPUtime=3.05
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1518 646 0 0 305 0 0 0 25 0 1 0 58634646 7462912 1149 996147200 134512640 135215973 4294956304 18446744073709551615 134591970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 1822 1149 415 171 0 747 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7288

[startup+6.30162 s]
/proc/loadavg: 2.31 2.33 2.20 3/73 13367
/proc/meminfo: memFree=1502368/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=8724 CPUtime=6.24
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 1853 646 0 0 623 1 0 0 25 0 1 0 58634646 8933376 1484 996147200 134512640 135215973 4294956304 18446744073709551615 134533377 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 2181 1484 415 171 0 1106 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8724

[startup+12.7018 s]
/proc/loadavg: 2.26 2.32 2.20 3/73 13367
/proc/meminfo: memFree=1501536/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=9512 CPUtime=12.58
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 2070 646 0 0 1257 1 0 0 25 0 1 0 58634646 9740288 1701 996147200 134512640 135215973 4294956304 18446744073709551615 134532897 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 2378 1701 415 171 0 1303 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 9512

[startup+25.5011 s]
/proc/loadavg: 2.22 2.31 2.20 3/73 13367
/proc/meminfo: memFree=1499168/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=12084 CPUtime=25.25
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 2727 646 0 0 2524 1 0 0 25 0 1 0 58634646 12374016 2272 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 3021 2272 415 171 0 1946 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 12084

[startup+51.1017 s]
/proc/loadavg: 2.14 2.29 2.19 3/73 13367
/proc/meminfo: memFree=1492448/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=18764 CPUtime=50.63
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 4419 646 0 0 5061 2 0 0 25 0 1 0 58634646 19214336 3964 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 4691 3964 415 171 0 3616 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 18764

[startup+102.306 s]
/proc/loadavg: 2.06 2.24 2.18 3/73 13367
/proc/meminfo: memFree=1483424/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=27708 CPUtime=101.39
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 6696 646 0 0 10136 3 0 0 25 0 1 0 58634646 28372992 6176 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 6927 6176 415 171 0 5852 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 27708

[startup+162.302 s]
/proc/loadavg: 2.02 2.19 2.16 3/73 13367
/proc/meminfo: memFree=1480544/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=30460 CPUtime=160.86
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 7399 646 0 0 16082 4 0 0 25 0 1 0 58634646 31191040 6879 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 7615 6879 415 171 0 6540 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 30460

[startup+222.302 s]
/proc/loadavg: 2.00 2.15 2.15 3/73 13367
/proc/meminfo: memFree=1477280/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=33616 CPUtime=220.31
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 8210 646 0 0 22027 4 0 0 25 0 1 0 58634646 34422784 7690 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 8404 7690 415 171 0 7329 0
Current children cumulated CPU time (s) 220.31
Current children cumulated vsize (KiB) 33616

[startup+282.301 s]
/proc/loadavg: 2.00 2.12 2.14 3/73 13367
/proc/meminfo: memFree=1472480/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=38592 CPUtime=279.78
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 9487 646 0 0 27973 5 0 0 25 0 1 0 58634646 39518208 8934 996147200 134512640 135215973 4294956304 18446744073709551615 134589892 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 9648 8934 415 171 0 8573 0
Current children cumulated CPU time (s) 279.78
Current children cumulated vsize (KiB) 38592

[startup+342.301 s]
/proc/loadavg: 2.00 2.10 2.13 3/73 13367
/proc/meminfo: memFree=1469472/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=41868 CPUtime=339.24
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 10326 646 0 0 33918 6 0 0 25 0 1 0 58634646 42872832 9644 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 10467 9644 415 171 0 9392 0
Current children cumulated CPU time (s) 339.24
Current children cumulated vsize (KiB) 41868

[startup+402.302 s]
/proc/loadavg: 2.00 2.08 2.12 3/73 13367
/proc/meminfo: memFree=1466400/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=44888 CPUtime=398.71
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 11074 646 0 0 39865 6 0 0 25 0 1 0 58634646 45965312 10392 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 11222 10392 415 171 0 10147 0
Current children cumulated CPU time (s) 398.71
Current children cumulated vsize (KiB) 44888

[startup+462.302 s]
/proc/loadavg: 2.00 2.06 2.11 3/73 13367
/proc/meminfo: memFree=1463392/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=47784 CPUtime=458.17
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 11838 646 0 0 45810 7 0 0 25 0 1 0 58634646 48930816 11156 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 11946 11156 415 171 0 10871 0
Current children cumulated CPU time (s) 458.17
Current children cumulated vsize (KiB) 47784

[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.09 3/73 13369
/proc/meminfo: memFree=1460832/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=50144 CPUtime=517.64
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 12440 646 0 0 51757 7 0 0 25 0 1 0 58634646 51347456 11758 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 12536 11758 415 171 0 11461 0
Current children cumulated CPU time (s) 517.64
Current children cumulated vsize (KiB) 50144

[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.09 3/73 13369
/proc/meminfo: memFree=1455136/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=55792 CPUtime=577.1
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 13867 646 0 0 57702 8 0 0 25 0 1 0 58634646 57131008 13185 996147200 134512640 135215973 4294956304 18446744073709551615 134583690 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 13948 13185 415 171 0 12873 0
Current children cumulated CPU time (s) 577.1
Current children cumulated vsize (KiB) 55792

[startup+642.303 s]
/proc/loadavg: 2.02 2.04 2.08 3/73 13369
/proc/meminfo: memFree=1450464/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=60268 CPUtime=636.58
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 14989 646 0 0 63649 9 0 0 25 0 1 0 58634646 61714432 14307 996147200 134512640 135215973 4294956304 18446744073709551615 134585632 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 15067 14307 415 171 0 13992 0
Current children cumulated CPU time (s) 636.58
Current children cumulated vsize (KiB) 60268

[startup+702.302 s]

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

[startup+882.303 s]
/proc/loadavg: 2.03 2.03 2.07 3/73 13369
/proc/meminfo: memFree=1431712/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=78944 CPUtime=874.45
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 19697 646 0 0 87433 12 0 0 25 0 1 0 58634646 80838656 19015 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 19736 19015 415 171 0 18661 0
Current children cumulated CPU time (s) 874.45
Current children cumulated vsize (KiB) 78944

[startup+942.302 s]
/proc/loadavg: 2.01 2.02 2.06 3/73 13369
/proc/meminfo: memFree=1427488/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=83424 CPUtime=933.92
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 20824 646 0 0 93380 12 0 0 25 0 1 0 58634646 85426176 20142 996147200 134512640 135215973 4294956304 18446744073709551615 4158960227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 20856 20142 415 171 0 19781 0
Current children cumulated CPU time (s) 933.92
Current children cumulated vsize (KiB) 83424

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/73 13369
/proc/meminfo: memFree=1422688/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=87900 CPUtime=993.39
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 21939 646 0 0 99326 13 0 0 25 0 1 0 58634646 90009600 21257 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 21975 21257 415 171 0 20900 0
Current children cumulated CPU time (s) 993.39
Current children cumulated vsize (KiB) 87900

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/73 13369
/proc/meminfo: memFree=1416800/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=93424 CPUtime=1052.87
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 23316 646 0 0 105272 15 0 0 25 0 1 0 58634646 95666176 22634 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 23356 22634 415 171 0 22281 0
Current children cumulated CPU time (s) 1052.87
Current children cumulated vsize (KiB) 93424

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/73 13369
/proc/meminfo: memFree=1411616/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=98432 CPUtime=1112.33
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 24598 646 0 0 111218 15 0 0 25 0 1 0 58634646 100794368 23916 996147200 134512640 135215973 4294956304 18446744073709551615 135095111 0 0 4096 0 0 0 0 17 1 0 0
/proc/13362/statm: 24608 23916 415 171 0 23533 0
Current children cumulated CPU time (s) 1112.33
Current children cumulated vsize (KiB) 98432

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/82 13411
/proc/meminfo: memFree=1389712/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=105028 CPUtime=1172.23
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 26235 646 0 0 117205 18 0 0 25 0 1 0 58634646 107548672 25553 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 26257 25553 415 171 0 25182 0
Current children cumulated CPU time (s) 1172.23
Current children cumulated vsize (KiB) 105028

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 13417
/proc/meminfo: memFree=1382800/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=111716 CPUtime=1232.22
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 27931 646 0 0 123203 19 0 0 25 0 1 0 58634646 114397184 26992 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 27929 26992 415 171 0 26854 0
Current children cumulated CPU time (s) 1232.22
Current children cumulated vsize (KiB) 111716

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.03 3/82 13459
/proc/meminfo: memFree=1376528/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=119888 CPUtime=1292.23
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 29975 646 0 0 129202 21 0 0 25 0 1 0 58634646 122765312 29036 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 29972 29036 415 171 0 28897 0
Current children cumulated CPU time (s) 1292.23
Current children cumulated vsize (KiB) 119888

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.03 3/82 13501
/proc/meminfo: memFree=1371736/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=125164 CPUtime=1352.22
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 31296 646 0 0 135200 22 0 0 25 0 1 0 58634646 128167936 30357 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 31291 30357 415 171 0 30216 0
Current children cumulated CPU time (s) 1352.22
Current children cumulated vsize (KiB) 125164

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.02 4/82 13625
/proc/meminfo: memFree=1380432/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=129512 CPUtime=1412.19
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 32396 646 0 0 141194 25 0 0 25 0 1 0 58634646 132620288 31457 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 32378 31457 415 171 0 31303 0
Current children cumulated CPU time (s) 1412.19
Current children cumulated vsize (KiB) 129512

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/83 13627
/proc/meminfo: memFree=1213568/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=135572 CPUtime=1472.17
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 33905 646 0 0 147191 26 0 0 25 0 1 0 58634646 138825728 32966 996147200 134512640 135215973 4294956304 18446744073709551615 134987928 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 33893 32966 415 171 0 32818 0
Current children cumulated CPU time (s) 1472.17
Current children cumulated vsize (KiB) 135572

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/83 13627
/proc/meminfo: memFree=1207424/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=140708 CPUtime=1532.18
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 35198 646 0 0 153191 27 0 0 25 0 1 0 58634646 144084992 34259 996147200 134512640 135215973 4294956304 18446744073709551615 134587793 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 35177 34259 415 171 0 34102 0
Current children cumulated CPU time (s) 1532.18
Current children cumulated vsize (KiB) 140708

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/83 13627
/proc/meminfo: memFree=1201280/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=146648 CPUtime=1592.17
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 36701 646 0 0 159189 28 0 0 25 0 1 0 58634646 150167552 35762 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 36662 35762 415 171 0 35587 0
Current children cumulated CPU time (s) 1592.17
Current children cumulated vsize (KiB) 146648

[startup+1662.3 s]
/proc/loadavg: 2.20 2.07 2.03 3/83 13669
/proc/meminfo: memFree=657216/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=152444 CPUtime=1651.98
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 38150 646 0 0 165168 30 0 0 25 0 1 0 58634646 156102656 37211 996147200 134512640 135215973 4294956304 18446744073709551615 134591327 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 38111 37211 415 171 0 37036 0
Current children cumulated CPU time (s) 1651.98
Current children cumulated vsize (KiB) 152444

[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.02 3/83 13669
/proc/meminfo: memFree=652160/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=157184 CPUtime=1711.76
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 39347 646 0 0 171145 31 0 0 25 0 1 0 58634646 160956416 38408 996147200 134512640 135215973 4294956304 18446744073709551615 4158960879 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 39296 38408 415 171 0 38221 0
Current children cumulated CPU time (s) 1711.76
Current children cumulated vsize (KiB) 157184

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/83 13669
/proc/meminfo: memFree=646400/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=162716 CPUtime=1771.54
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 40728 646 0 0 177122 32 0 0 25 0 1 0 58634646 166621184 39789 996147200 134512640 135215973 4294956304 18446744073709551615 134583664 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 40679 39789 415 171 0 39604 0
Current children cumulated CPU time (s) 1771.54
Current children cumulated vsize (KiB) 162716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.9 s]
/proc/loadavg: 2.01 2.04 2.01 3/83 13669
/proc/meminfo: memFree=644032/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=165212 CPUtime=1800.04
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 41350 646 0 0 179971 33 0 0 25 0 1 0 58634646 169177088 40411 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 41303 40411 415 171 0 40228 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 165212

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

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

[startup+1810.9 s]
/proc/loadavg: 2.01 2.04 2.01 3/83 13669
/proc/meminfo: memFree=644032/2055920 swapFree=4192812/4192956
[pid=13362] ppid=13360 vsize=165212 CPUtime=1800.04
/proc/13362/stat : 13362 (pcs.big) R 13360 13362 12466 0 -1 4194304 41350 646 0 0 179971 33 0 0 25 0 1 0 58634646 169177088 40411 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/13362/statm: 41303 40411 415 171 0 40228 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 165212

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.93
CPU time (s): 1800.08
CPU user time (s): 1799.72
CPU system time (s): 0.364944
CPU usage (%): 99.401
Max. virtual memory (cumulated for all children) (KiB): 165212

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

runsolver used 2.6316 second user time and 5.33419 second system time

The end

Launcher Data 

Begin job on node16 at 2009-07-16 05:41:18
IDJOB=2077863
IDBENCH=56682
IDSOLVER=733
FILE ID=node16/2077863-1247715678
PBS_JOBID= 9521390
Free space on /tmp= 66412 MiB

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

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

MD5SUM BENCH= 5a9755a4ca72128afdbeb99b36b30378
RANDOM SEED=778601724

node16.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.231
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.231
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:       1507272 kB
Buffers:         66824 kB
Cached:         390204 kB
SwapCached:          0 kB
Active:          62284 kB
Inactive:       417348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1507272 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1748 kB
Writeback:           0 kB
Mapped:          34100 kB
Slab:            54324 kB
Committed_AS:   499008 kB
PageTables:       1804 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= 66412 MiB
End job on node16 at 2009-07-16 06:11:31