Trace number 2083980

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.17 1804.66

General information on the benchmark

Namecsp/fapp/fapp27/
normalized-fapp27-2550-10.xml
MD5SUMb42627f9cb0b57c1082444fcb5232a6c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.2211
Satisfiable
(Un)Satisfiability was proved
Number of variables2550
Number of constraints10886
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10886
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.04	c Seed is 147073281
0.00/0.04	c Constructing HOME/instance-2083980-1247724124.xml  with 66327 constraints
1.17/1.22	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-2083980-1247724124/watcher-2083980-1247724124 -o /tmp/evaluation-result-2083980-1247724124/solver-2083980-1247724124 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 147073281 HOME/instance-2083980-1247724124.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.00 2.02 2.04 4/72 20533
/proc/meminfo: memFree=1578208/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=18576 CPUtime=0
/proc/20533/stat : 20533 (runsolver) R 20531 20533 17399 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59475148 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 271638392103 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20533/statm: 4644 284 249 26 0 2626 0

[startup+0.0832239 s]
/proc/loadavg: 2.00 2.02 2.04 4/72 20533
/proc/meminfo: memFree=1578208/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=6540 CPUtime=0.06
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1287 661 0 0 6 0 0 0 18 0 1 0 59475148 6696960 877 996147200 134512640 135215973 4294956304 18446744073709551615 4159783200 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 1635 877 386 171 0 560 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6540

[startup+0.101221 s]
/proc/loadavg: 2.00 2.02 2.04 4/72 20533
/proc/meminfo: memFree=1578208/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=7000 CPUtime=0.07
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1425 661 0 0 7 0 0 0 18 0 1 0 59475148 7168000 965 996147200 134512640 135215973 4294956304 18446744073709551615 7357380 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 1750 965 386 171 0 675 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7000

[startup+0.301245 s]
/proc/loadavg: 2.00 2.02 2.04 4/72 20533
/proc/meminfo: memFree=1578208/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=12548 CPUtime=0.27
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 2937 661 0 0 26 1 0 0 19 0 1 0 59475148 12849152 2088 996147200 134512640 135215973 4294956304 18446744073709551615 134911983 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 3137 2088 386 171 0 2062 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12548

[startup+0.701282 s]
/proc/loadavg: 2.00 2.02 2.04 4/72 20533
/proc/meminfo: memFree=1578208/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=21704 CPUtime=0.68
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 6157 661 0 0 65 3 0 0 23 0 1 0 59475148 22224896 3918 996147200 134512640 135215973 4294956304 18446744073709551615 4159345920 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 5426 3918 386 171 0 4351 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21704

[startup+1.50136 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 20538
/proc/meminfo: memFree=1558616/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=36116 CPUtime=1.47
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 12349 661 0 0 141 6 0 0 25 0 1 0 59475148 36982784 7712 996147200 134512640 135215973 4294956304 18446744073709551615 4158960048 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 9029 7712 410 171 0 7954 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 36116

[startup+3.10153 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 20538
/proc/meminfo: memFree=1548184/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=36536 CPUtime=3.06
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 12497 661 0 0 300 6 0 0 25 0 1 0 59475148 37412864 7807 996147200 134512640 135215973 4294956304 18446744073709551615 134590191 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 9134 7807 410 171 0 8059 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 36536

[startup+6.30185 s]
/proc/loadavg: 2.00 2.02 2.04 3/73 20538
/proc/meminfo: memFree=1545176/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=39500 CPUtime=6.23
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 13395 661 0 0 617 6 0 0 25 0 1 0 59475148 40448000 8391 996147200 134512640 135215973 4294956304 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 9875 8391 410 171 0 8800 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 39500

[startup+12.7025 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 20538
/proc/meminfo: memFree=1541336/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=41348 CPUtime=12.57
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 13980 661 0 0 1251 6 0 0 25 0 1 0 59475148 42340352 8976 996147200 134512640 135215973 4294956304 18446744073709551615 134585623 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 10337 8976 410 171 0 9262 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 41348

[startup+25.5018 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 20538
/proc/meminfo: memFree=1533144/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=44068 CPUtime=25.27
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 15653 661 0 0 2520 7 0 0 25 0 1 0 59475148 45125632 9478 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 11017 9478 413 171 0 9942 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 44068

[startup+51.1014 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 20538
/proc/meminfo: memFree=1529944/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=47368 CPUtime=50.68
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 50530 661 0 0 5050 18 0 0 25 0 1 0 59475148 48504832 10309 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 11842 10309 413 171 0 10767 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 47368

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.03 3/73 20538
/proc/meminfo: memFree=1520856/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=55944 CPUtime=101.49
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 130116 661 0 0 10107 42 0 0 25 0 1 0 59475148 57286656 12465 996147200 134512640 135215973 4294956304 18446744073709551615 135094878 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 13986 12465 413 171 0 12911 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 55944

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 20538
/proc/meminfo: memFree=1506520/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=67160 CPUtime=161.04
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 198693 661 0 0 16040 64 0 0 25 0 1 0 59475148 68771840 15270 996147200 134512640 135215973 4294956304 18446744073709551615 134591393 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 16790 15270 413 171 0 15715 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 67160

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 20538
/proc/meminfo: memFree=1489176/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=75732 CPUtime=220.57
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 253217 661 0 0 21975 82 0 0 25 0 1 0 59475148 77549568 17420 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 18933 17420 413 171 0 17858 0
Current children cumulated CPU time (s) 220.57
Current children cumulated vsize (KiB) 75732

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 20538
/proc/meminfo: memFree=1467232/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=86152 CPUtime=280.11
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 329846 661 0 0 27904 107 0 0 25 0 1 0 59475148 88219648 20157 996147200 134512640 135215973 4294956304 18446744073709551615 134585741 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 21538 20157 413 171 0 20463 0
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (KiB) 86152

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 20538
/proc/meminfo: memFree=1453408/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=96700 CPUtime=339.65
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 426213 661 0 0 33829 136 0 0 25 0 1 0 59475148 99020800 22796 996147200 134512640 135215973 4294956304 18446744073709551615 134585798 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 24175 22796 413 171 0 23100 0
Current children cumulated CPU time (s) 339.65
Current children cumulated vsize (KiB) 96700

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 20538
/proc/meminfo: memFree=1438112/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=109748 CPUtime=399.19
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 490114 661 0 0 39763 156 0 0 25 0 1 0 59475148 112381952 26087 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 27437 26087 413 171 0 26362 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 109748

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20538
/proc/meminfo: memFree=1425888/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=119500 CPUtime=458.73
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 570216 661 0 0 45691 182 0 0 25 0 1 0 59475148 122368000 28527 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/20533/statm: 29875 28527 413 171 0 28800 0
Current children cumulated CPU time (s) 458.73
Current children cumulated vsize (KiB) 119500

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20538
/proc/meminfo: memFree=1412640/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=130840 CPUtime=518.27
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 640851 661 0 0 51621 206 0 0 25 0 1 0 59475148 133980160 31360 996147200 134512640 135215973 4294956304 18446744073709551615 134597311 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 32710 31360 413 171 0 31635 0
Current children cumulated CPU time (s) 518.27
Current children cumulated vsize (KiB) 130840

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1398624/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=144428 CPUtime=578.24
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 717094 661 0 0 57597 227 0 0 25 0 1 0 59475148 147894272 34780 996147200 134512640 135215973 4294956304 18446744073709551615 134591805 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 36107 34780 413 171 0 35032 0
Current children cumulated CPU time (s) 578.24
Current children cumulated vsize (KiB) 144428

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1314592/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=153800 CPUtime=638.23
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 779993 661 0 0 63580 243 0 0 25 0 1 0 59475148 157491200 37127 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 38450 37127 413 171 0 37375 0
Current children cumulated CPU time (s) 638.23
Current children cumulated vsize (KiB) 153800

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1292128/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=176176 CPUtime=818.16
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 956215 661 0 0 81521 295 0 0 25 0 1 0 59475148 180404224 42706 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 44044 42706 413 171 0 42969 0
Current children cumulated CPU time (s) 818.16
Current children cumulated vsize (KiB) 176176

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1285088/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=182892 CPUtime=878.13
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1013838 661 0 0 87501 312 0 0 25 0 1 0 59475148 187281408 44417 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 45723 44417 413 171 0 44648 0
Current children cumulated CPU time (s) 878.13
Current children cumulated vsize (KiB) 182892

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1278432/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=189988 CPUtime=938.11
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1071498 661 0 0 93479 332 0 0 25 0 1 0 59475148 194547712 46094 996147200 134512640 135215973 4294956304 18446744073709551615 134597368 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 47497 46094 413 171 0 46422 0
Current children cumulated CPU time (s) 938.11
Current children cumulated vsize (KiB) 189988

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1272864/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=195124 CPUtime=998.09
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1128441 661 0 0 99460 349 0 0 25 0 1 0 59475148 199806976 47415 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 48781 47415 413 171 0 47706 0
Current children cumulated CPU time (s) 998.09
Current children cumulated vsize (KiB) 195124

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1266720/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=201192 CPUtime=1058.07
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1186071 661 0 0 105441 366 0 0 25 0 1 0 59475148 206020608 48959 996147200 134512640 135215973 4294956304 18446744073709551615 134591361 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 50298 48959 413 171 0 49223 0
Current children cumulated CPU time (s) 1058.07
Current children cumulated vsize (KiB) 201192

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1260128/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=207520 CPUtime=1118.05
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1242499 661 0 0 111423 382 0 0 25 0 1 0 59475148 212500480 50577 996147200 134512640 135215973 4294956304 18446744073709551615 134598591 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 51880 50577 413 171 0 50805 0
Current children cumulated CPU time (s) 1118.05
Current children cumulated vsize (KiB) 207520

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1252512/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=214888 CPUtime=1178.02
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1318900 661 0 0 117400 402 0 0 25 0 1 0 59475148 220045312 52448 996147200 134512640 135215973 4294956304 18446744073709551615 4158960067 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 53722 52448 413 171 0 52647 0
Current children cumulated CPU time (s) 1178.02
Current children cumulated vsize (KiB) 214888

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20569
/proc/meminfo: memFree=1235296/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=231508 CPUtime=1238
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1443774 661 0 0 123363 437 0 0 25 0 1 0 59475148 237064192 56624 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 57877 56624 413 171 0 56802 0
Current children cumulated CPU time (s) 1238
Current children cumulated vsize (KiB) 231508

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 20569
/proc/meminfo: memFree=1226208/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=240464 CPUtime=1297.98
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1540747 661 0 0 129334 464 0 0 25 0 1 0 59475148 246235136 58883 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 60116 58883 413 171 0 59041 0
Current children cumulated CPU time (s) 1297.98
Current children cumulated vsize (KiB) 240464

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 20569
/proc/meminfo: memFree=1211616/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=254972 CPUtime=1357.97
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1655110 661 0 0 135297 500 0 0 25 0 1 0 59475148 261091328 62524 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 63743 62524 413 171 0 62668 0
Current children cumulated CPU time (s) 1357.97
Current children cumulated vsize (KiB) 254972

[startup+1422.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 20569
/proc/meminfo: memFree=1200736/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=265780 CPUtime=1417.94
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1742439 661 0 0 141270 524 0 0 25 0 1 0 59475148 272158720 65231 996147200 134512640 135215973 4294956304 18446744073709551615 134585723 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 66445 65231 413 171 0 65370 0
Current children cumulated CPU time (s) 1417.94
Current children cumulated vsize (KiB) 265780

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 20569
/proc/meminfo: memFree=1190304/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=276064 CPUtime=1477.91
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1815032 661 0 0 147248 543 0 0 25 0 1 0 59475148 282689536 67818 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 69016 67818 413 171 0 67941 0
Current children cumulated CPU time (s) 1477.91
Current children cumulated vsize (KiB) 276064

[startup+1542.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/73 20569
/proc/meminfo: memFree=1182112/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=283828 CPUtime=1537.89
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1892058 661 0 0 153222 567 0 0 25 0 1 0 59475148 290639872 69792 996147200 134512640 135215973 4294956304 18446744073709551615 134600789 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 70957 69792 413 171 0 69882 0
Current children cumulated CPU time (s) 1537.89
Current children cumulated vsize (KiB) 283828

[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/73 20569
/proc/meminfo: memFree=1171360/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=294380 CPUtime=1597.87
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 1965982 661 0 0 159199 588 0 0 25 0 1 0 59475148 301445120 72434 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 73595 72434 413 171 0 72520 0
Current children cumulated CPU time (s) 1597.87
Current children cumulated vsize (KiB) 294380

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/73 20569
/proc/meminfo: memFree=1153696/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=311924 CPUtime=1657.85
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 2068555 661 0 0 165169 616 0 0 25 0 1 0 59475148 319410176 76813 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 77981 76813 413 171 0 76906 0
Current children cumulated CPU time (s) 1657.85
Current children cumulated vsize (KiB) 311924

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 20569
/proc/meminfo: memFree=1142048/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=323396 CPUtime=1717.83
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 2170300 661 0 0 171138 645 0 0 25 0 1 0 59475148 331157504 79726 996147200 134512640 135215973 4294956304 18446744073709551615 134587902 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 80849 79726 413 171 0 79774 0
Current children cumulated CPU time (s) 1717.83
Current children cumulated vsize (KiB) 323396

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 20569
/proc/meminfo: memFree=1133024/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=331964 CPUtime=1777.8
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 2249529 661 0 0 177115 665 0 0 25 0 1 0 59475148 339931136 81873 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 82991 81873 413 171 0 81916 0
Current children cumulated CPU time (s) 1777.8
Current children cumulated vsize (KiB) 331964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 20569
/proc/meminfo: memFree=1129696/2055920 swapFree=4192812/4192956
[pid=20533] ppid=20531 vsize=335128 CPUtime=1800.1
/proc/20533/stat : 20533 (pcs.big) R 20531 20533 17399 0 -1 4194304 2288070 661 0 0 179334 676 0 0 25 0 1 0 59475148 343171072 82656 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/20533/statm: 83782 82656 413 171 0 82707 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 335128

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.66
CPU time (s): 1800.17
CPU user time (s): 1793.35
CPU system time (s): 6.82796
CPU usage (%): 99.7514
Max. virtual memory (cumulated for all children) (KiB): 335360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.35
system time used= 6.82796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2288731
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= 21
involuntary context switches= 16081

runsolver used 1.92571 second user time and 5.00424 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-16 08:02:04
IDJOB=2083980
IDBENCH=57998
IDSOLVER=734
FILE ID=node67/2083980-1247724124
PBS_JOBID= 9521408
Free space on /tmp= 66332 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp27/normalized-fapp27-2550-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083980-1247724124/watcher-2083980-1247724124 -o /tmp/evaluation-result-2083980-1247724124/solver-2083980-1247724124 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 147073281 HOME/instance-2083980-1247724124.xml

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

MD5SUM BENCH= b42627f9cb0b57c1082444fcb5232a6c
RANDOM SEED=147073281

node67.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.239
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.239
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:       1578688 kB
Buffers:         77140 kB
Cached:         268028 kB
SwapCached:          0 kB
Active:         137100 kB
Inactive:       266108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1578688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3356 kB
Writeback:           0 kB
Mapped:          69544 kB
Slab:            59184 kB
Committed_AS:   520764 kB
PageTables:       1876 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= 66328 MiB
End job on node67 at 2009-07-16 08:32:11