Trace number 2083660

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 1812.33

General information on the benchmark

Namecsp/fapp/fapp32/
normalized-fapp32-0550-1.xml
MD5SUM5b6f3d81a66e437062b2495198dba4e6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark26.041
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of constraints9461
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9461
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.04	c Seed is 579875429
0.00/0.04	c Constructing HOME/instance-2083660-1247723519.xml  with 59609 constraints
0.97/1.05	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-2083660-1247723519/watcher-2083660-1247723519 -o /tmp/evaluation-result-2083660-1247723519/solver-2083660-1247723519 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 579875429 HOME/instance-2083660-1247723519.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.02 2.05 2.01 4/72 19149
/proc/meminfo: memFree=1390264/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=5356 CPUtime=0
/proc/19149/stat : 19149 (pcssolve) R 19147 19149 17970 0 -1 4194304 268 0 0 0 0 0 0 0 20 0 1 0 59414585 5484544 236 996147200 4194304 4889804 548682068800 18446744073709551615 4532517 0 0 4100 65536 0 0 0 17 1 0 0
/proc/19149/statm: 1339 236 197 169 0 50 0

[startup+0.208107 s]
/proc/loadavg: 2.02 2.05 2.01 4/72 19149
/proc/meminfo: memFree=1390264/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=9340 CPUtime=0.18
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 2186 667 0 0 18 0 0 0 19 0 1 0 59414585 9564160 1426 996147200 134512640 135215973 4294956304 18446744073709551615 134697265 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 2335 1426 386 171 0 1260 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 9340

[startup+0.302118 s]
/proc/loadavg: 2.02 2.05 2.01 4/72 19149
/proc/meminfo: memFree=1390264/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=11508 CPUtime=0.28
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 2911 667 0 0 27 1 0 0 19 0 1 0 59414585 11784192 1931 996147200 134512640 135215973 4294956304 18446744073709551615 134902665 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 2877 1931 386 171 0 1802 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11508

[startup+0.402128 s]
/proc/loadavg: 2.02 2.05 2.01 4/72 19149
/proc/meminfo: memFree=1390264/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=14292 CPUtime=0.38
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 3731 667 0 0 37 1 0 0 20 0 1 0 59414585 14635008 2385 996147200 134512640 135215973 4294956304 18446744073709551615 4159151565 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 3573 2385 386 171 0 2498 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 14292

[startup+0.702159 s]
/proc/loadavg: 2.02 2.05 2.01 4/72 19149
/proc/meminfo: memFree=1390264/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=24568 CPUtime=0.68
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 6566 667 0 0 65 3 0 0 23 0 1 0 59414585 25157632 4263 996147200 134512640 135215973 4294956304 18446744073709551615 4159195912 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 6142 4263 386 171 0 5067 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24568

[startup+1.50223 s]
/proc/loadavg: 2.02 2.05 2.01 4/73 19154
/proc/meminfo: memFree=1364400/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=30856 CPUtime=1.46
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 10407 667 0 0 142 4 0 0 25 0 1 0 59414585 31596544 6801 996147200 134512640 135215973 4294956304 18446744073709551615 134591693 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 7714 6801 410 171 0 6639 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30856

[startup+3.10139 s]
/proc/loadavg: 2.02 2.05 2.01 3/73 19154
/proc/meminfo: memFree=1364016/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=31032 CPUtime=3.05
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 10473 667 0 0 301 4 0 0 25 0 1 0 59414585 31776768 6851 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 7758 6851 410 171 0 6683 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31032

[startup+6.30171 s]
/proc/loadavg: 2.01 2.05 2.01 3/73 19154
/proc/meminfo: memFree=1363376/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=31240 CPUtime=6.23
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 10566 667 0 0 619 4 0 0 25 0 1 0 59414585 31989760 6891 996147200 134512640 135215973 4294956304 18446744073709551615 4158960480 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 7810 6891 410 171 0 6735 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 31240

[startup+12.7013 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 19154
/proc/meminfo: memFree=1361648/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=32448 CPUtime=12.58
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 10928 667 0 0 1254 4 0 0 25 0 1 0 59414585 33226752 7148 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 8112 7148 410 171 0 7037 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 32448

[startup+25.5066 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 19154
/proc/meminfo: memFree=1355312/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=36184 CPUtime=25.28
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 12025 667 0 0 2523 5 0 0 25 0 1 0 59414585 37052416 8036 996147200 134512640 135215973 4294956304 18446744073709551615 134969690 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 9046 8036 410 171 0 7971 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 36184

[startup+51.1012 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 19154
/proc/meminfo: memFree=1353712/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=36184 CPUtime=50.68
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 12113 667 0 0 5063 5 0 0 25 0 1 0 59414585 37052416 8124 996147200 134512640 135215973 4294956304 18446744073709551615 134589777 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 9046 8124 410 171 0 7971 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 36184

[startup+102.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 19154
/proc/meminfo: memFree=1344752/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=41940 CPUtime=101.49
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 22212 667 0 0 10140 9 0 0 25 0 1 0 59414585 42946560 9226 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 10485 9226 413 171 0 9410 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 41940

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19154
/proc/meminfo: memFree=1325232/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=49200 CPUtime=161.05
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 32848 667 0 0 16092 13 0 0 25 0 1 0 59414585 50380800 11126 996147200 134512640 135215973 4294956304 18446744073709551615 134597392 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 12300 11126 413 171 0 11225 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 49200

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19154
/proc/meminfo: memFree=1310768/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=53292 CPUtime=220.59
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 41881 667 0 0 22044 15 0 0 25 0 1 0 59414585 54571008 12203 996147200 134512640 135215973 4294956304 18446744073709551615 134589769 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 13323 12203 413 171 0 12248 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 53292

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 19154
/proc/meminfo: memFree=1300656/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=55272 CPUtime=280.14
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 47905 667 0 0 27997 17 0 0 25 0 1 0 59414585 56598528 12819 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 13818 12819 413 171 0 12743 0
Current children cumulated CPU time (s) 280.14
Current children cumulated vsize (KiB) 55272

[startup+342.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19154
/proc/meminfo: memFree=1289776/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=57780 CPUtime=339.68
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 53356 667 0 0 33949 19 0 0 25 0 1 0 59414585 59166720 13486 996147200 134512640 135215973 4294956304 18446744073709551615 134591518 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 14445 13486 413 171 0 13370 0
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (KiB) 57780

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19154
/proc/meminfo: memFree=1278320/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=65332 CPUtime=399.23
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 60617 667 0 0 39900 23 0 0 25 0 1 0 59414585 66899968 14662 996147200 134512640 135215973 4294956304 18446744073709551615 134581632 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 16333 14662 413 171 0 15258 0
Current children cumulated CPU time (s) 399.23
Current children cumulated vsize (KiB) 65332

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19154
/proc/meminfo: memFree=1268848/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=67708 CPUtime=458.77
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 65692 667 0 0 45852 25 0 0 25 0 1 0 59414585 69332992 15265 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 16927 15265 413 171 0 15852 0
Current children cumulated CPU time (s) 458.77
Current children cumulated vsize (KiB) 67708

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19154
/proc/meminfo: memFree=1257264/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=72352 CPUtime=518.33
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 69847 667 0 0 51806 27 0 0 25 0 1 0 59414585 74088448 16404 996147200 134512640 135215973 4294956304 18446744073709551615 134597429 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 18088 16404 413 171 0 17013 0
Current children cumulated CPU time (s) 518.33
Current children cumulated vsize (KiB) 72352

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1247400/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=76048 CPUtime=577.85
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 73240 667 0 0 57757 28 0 0 25 0 1 0 59414585 77873152 17353 996147200 134512640 135215973 4294956304 18446744073709551615 134583491 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 19012 17353 413 171 0 17937 0
Current children cumulated CPU time (s) 577.85
Current children cumulated vsize (KiB) 76048

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1238312/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=79348 CPUtime=637.39
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 76134 667 0 0 63710 29 0 0 25 0 1 0 59414585 81252352 18167 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 19837 18167 413 171 0 18762 0
Current children cumulated CPU time (s) 637.39
Current children cumulated vsize (KiB) 79348

[startup+702.302 s]

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1205680/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=86208 CPUtime=875.58
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 115478 667 0 0 87516 42 0 0 25 0 1 0 59414585 88276992 20071 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 21552 20071 413 171 0 20477 0
Current children cumulated CPU time (s) 875.58
Current children cumulated vsize (KiB) 86208

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1196848/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=88452 CPUtime=935.13
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 122446 667 0 0 93469 44 0 0 25 0 1 0 59414585 90574848 20851 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 22113 20851 413 171 0 21038 0
Current children cumulated CPU time (s) 935.13
Current children cumulated vsize (KiB) 88452

[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1186672/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=90564 CPUtime=994.68
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 131032 667 0 0 99420 48 0 0 25 0 1 0 59414585 92737536 21481 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 22641 21481 413 171 0 21566 0
Current children cumulated CPU time (s) 994.68
Current children cumulated vsize (KiB) 90564

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1181616/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=91484 CPUtime=1054.23
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 138096 667 0 0 105372 51 0 0 25 0 1 0 59414585 93679616 21837 996147200 134512640 135215973 4294956304 18446744073709551615 134589777 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 22871 21837 413 171 0 21796 0
Current children cumulated CPU time (s) 1054.23
Current children cumulated vsize (KiB) 91484

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1177776/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=93588 CPUtime=1113.77
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 144836 667 0 0 111324 53 0 0 25 0 1 0 59414585 95834112 22337 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 23397 22337 413 171 0 22322 0
Current children cumulated CPU time (s) 1113.77
Current children cumulated vsize (KiB) 93588

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1167856/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=97680 CPUtime=1173.32
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 149917 667 0 0 117277 55 0 0 25 0 1 0 59414585 100024320 23362 996147200 134512640 135215973 4294956304 18446744073709551615 134585789 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 24420 23362 413 171 0 23345 0
Current children cumulated CPU time (s) 1173.32
Current children cumulated vsize (KiB) 97680

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1158256/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=101112 CPUtime=1232.86
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 158282 667 0 0 123229 57 0 0 25 0 1 0 59414585 103538688 24239 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 25278 24239 413 171 0 24203 0
Current children cumulated CPU time (s) 1232.86
Current children cumulated vsize (KiB) 101112

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1150320/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=104276 CPUtime=1292.41
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 166049 667 0 0 129181 60 0 0 25 0 1 0 59414585 106778624 25038 996147200 134512640 135215973 4294956304 18446744073709551615 4158960004 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 26069 25038 413 171 0 24994 0
Current children cumulated CPU time (s) 1292.41
Current children cumulated vsize (KiB) 104276

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1142448/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=107176 CPUtime=1351.96
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 173514 667 0 0 135134 62 0 0 25 0 1 0 59414585 109748224 25743 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 26794 25743 413 171 0 25719 0
Current children cumulated CPU time (s) 1351.96
Current children cumulated vsize (KiB) 107176

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1128688/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=123988 CPUtime=1411.51
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 185071 667 0 0 141084 67 0 0 25 0 1 0 59414585 126963712 28511 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 30997 28511 413 171 0 29922 0
Current children cumulated CPU time (s) 1411.51
Current children cumulated vsize (KiB) 123988

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1123952/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=124120 CPUtime=1471.05
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 192269 667 0 0 147036 69 0 0 25 0 1 0 59414585 127098880 28741 996147200 134512640 135215973 4294956304 18446744073709551615 134600886 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 31030 28741 413 171 0 29955 0
Current children cumulated CPU time (s) 1471.05
Current children cumulated vsize (KiB) 124120

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1120240/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=124120 CPUtime=1530.59
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 196906 667 0 0 152989 70 0 0 25 0 1 0 59414585 127098880 28750 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 31030 28750 413 171 0 29955 0
Current children cumulated CPU time (s) 1530.59
Current children cumulated vsize (KiB) 124120

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1117488/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=124120 CPUtime=1590.14
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 200450 667 0 0 158942 72 0 0 25 0 1 0 59414585 127098880 28758 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/19149/statm: 31030 28758 413 171 0 29955 0
Current children cumulated CPU time (s) 1590.14
Current children cumulated vsize (KiB) 124120

[startup+1662.31 s]
/proc/loadavg: 1.93 1.97 1.99 3/82 19235
/proc/meminfo: memFree=1346192/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=124120 CPUtime=1650.11
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 204044 667 0 0 164936 75 0 0 25 0 1 0 59414585 127098880 28764 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/19149/statm: 31030 28764 413 171 0 29955 0
Current children cumulated CPU time (s) 1650.11
Current children cumulated vsize (KiB) 124120

[startup+1722.3 s]
/proc/loadavg: 1.97 1.97 1.99 4/82 19235
/proc/meminfo: memFree=1345936/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=124120 CPUtime=1710.07
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 207015 667 0 0 170931 76 0 0 25 0 1 0 59414585 127098880 28771 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 0 0 0
/proc/19149/statm: 31030 28771 413 171 0 29955 0
Current children cumulated CPU time (s) 1710.07
Current children cumulated vsize (KiB) 124120

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 19235
/proc/meminfo: memFree=1344784/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=125176 CPUtime=1770.06
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 210944 667 0 0 176928 78 0 0 25 0 1 0 59414585 128180224 29008 996147200 134512640 135215973 4294956304 18446744073709551615 134591835 0 0 4096 0 0 0 0 17 0 0 0
/proc/19149/statm: 31294 29008 413 171 0 30219 0
Current children cumulated CPU time (s) 1770.06
Current children cumulated vsize (KiB) 125176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 19235
/proc/meminfo: memFree=1342288/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=127684 CPUtime=1800.05
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 213301 667 0 0 179926 79 0 0 25 0 1 0 59414585 130748416 29649 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/19149/statm: 31921 29649 413 171 0 30846 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 127684

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

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

[startup+1812.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/82 19235
/proc/meminfo: memFree=1342288/2055920 swapFree=4192812/4192956
[pid=19149] ppid=19147 vsize=127684 CPUtime=1800.05
/proc/19149/stat : 19149 (pcs.big) R 19147 19149 17970 0 -1 4194304 213301 667 0 0 179926 79 0 0 25 0 1 0 59414585 130748416 29649 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/19149/statm: 31921 29649 413 171 0 30846 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 127684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.33
CPU time (s): 1800.09
CPU user time (s): 1799.27
CPU system time (s): 0.822874
CPU usage (%): 99.3247
Max. virtual memory (cumulated for all children) (KiB): 127684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.822874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213968
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= 29
involuntary context switches= 35214

runsolver used 1.90971 second user time and 4.88426 second system time

The end

Launcher Data 

Begin job on node70 at 2009-07-16 07:51:59
IDJOB=2083660
IDBENCH=57890
IDSOLVER=733
FILE ID=node70/2083660-1247723519
PBS_JOBID= 9521442
Free space on /tmp= 66428 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp32/normalized-fapp32-0550-1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083660-1247723519/watcher-2083660-1247723519 -o /tmp/evaluation-result-2083660-1247723519/solver-2083660-1247723519 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 579875429 HOME/instance-2083660-1247723519.xml

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

MD5SUM BENCH= 5b6f3d81a66e437062b2495198dba4e6
RANDOM SEED=579875429

node70.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.214
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.214
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:       1390680 kB
Buffers:         84644 kB
Cached:         377960 kB
SwapCached:          0 kB
Active:         167224 kB
Inactive:       417408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1390680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3032 kB
Writeback:           0 kB
Mapped:         133600 kB
Slab:            65684 kB
Committed_AS:   848764 kB
PageTables:       1992 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= 66428 MiB
End job on node70 at 2009-07-16 08:22:14