Trace number 2083473

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.07 1810.96

General information on the benchmark

Namecsp/fapp/fapp38/
normalized-fapp38-2500-9.xml
MD5SUM68fe27f113711ce0fc0a376a1a638b50
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 benchmark76.9953
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints62132
Maximum constraint arity2
Maximum domain size698
Number of constraints which are defined in extension0
Number of constraints which are defined in intension62132
Global constraints used (with number of constraints)

Solver Data 

0.00/0.03	c has big domains
0.00/0.03	c big-domain mode
0.00/0.04	c Seed is 1535569833
0.00/0.04	c Constructing HOME/instance-2083473-1247723185.xml  with 393256 constraints
7.11/7.28	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-2083473-1247723185/watcher-2083473-1247723185 -o /tmp/evaluation-result-2083473-1247723185/solver-2083473-1247723185 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1535569833 HOME/instance-2083473-1247723185.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.20 2.13 2.04 4/72 13695
/proc/meminfo: memFree=1355384/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=5356 CPUtime=0
/proc/13695/stat : 13695 (pcssolve) R 13693 13695 10176 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59381893 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13695/statm: 1339 241 200 169 0 50 0
[pid=13696] ppid=13695 vsize=3676 CPUtime=0
/proc/13696/stat : 13696 (fgrep) R 13695 13695 10176 0 -1 4194304 147 0 0 0 0 0 0 0 22 0 1 0 59381893 3764224 114 996147200 4194304 4274172 548682068976 18446744073709551615 4243301 0 0 4096 0 0 0 0 17 1 0 0
/proc/13696/statm: 919 114 86 19 0 43 0
[pid=13697] ppid=13695 vsize=5356 CPUtime=0
/proc/13697/stat : 13697 (pcssolve) R 13695 13695 10176 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59381893 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 248761608863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13697/statm: 1339 241 200 169 0 50 0

[startup+0.017573 s]
/proc/loadavg: 2.20 2.13 2.04 4/72 13695
/proc/meminfo: memFree=1355384/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=5356 CPUtime=0
/proc/13695/stat : 13695 (pcssolve) S 13693 13695 10176 0 -1 4194304 305 0 0 0 0 0 0 0 21 0 1 0 59381893 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13695/statm: 1339 242 201 169 0 50 0
[pid=13696] ppid=13695 vsize=3676 CPUtime=0
/proc/13696/stat : 13696 (fgrep) R 13695 13695 10176 0 -1 4194304 148 0 0 0 0 0 0 0 22 0 1 0 59381893 3764224 115 996147200 4194304 4274172 548682068976 18446744073709551615 4243436 0 0 4096 0 0 0 0 17 1 0 0
/proc/13696/statm: 919 115 87 19 0 43 0
[pid=13697] ppid=13695 vsize=5356 CPUtime=0
/proc/13697/stat : 13697 (pcssolve) R 13695 13695 10176 0 -1 4194368 22 0 0 0 0 0 0 0 23 0 1 0 59381893 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 248761609511 0 0 4096 0 0 0 0 17 1 0 0
/proc/13697/statm: 1339 244 203 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14388

[startup+0.101583 s]
/proc/loadavg: 2.20 2.13 2.04 4/72 13695
/proc/meminfo: memFree=1355384/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=6516 CPUtime=0.08
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 1290 668 0 0 6 0 1 1 22 0 1 0 59381893 6672384 880 996147200 134512640 135215973 4294956304 18446744073709551615 4159050545 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 1629 880 386 171 0 554 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6516

[startup+0.301599 s]
/proc/loadavg: 2.20 2.13 2.04 4/72 13695
/proc/meminfo: memFree=1355384/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=10732 CPUtime=0.28
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 2671 668 0 0 25 1 1 1 23 0 1 0 59381893 10989568 1868 996147200 134512640 135215973 4294956304 18446744073709551615 134708913 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 2683 1868 386 171 0 1608 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10732

[startup+0.701637 s]
/proc/loadavg: 2.20 2.13 2.04 4/72 13695
/proc/meminfo: memFree=1355384/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=21648 CPUtime=0.67
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 6139 668 0 0 63 2 1 1 25 0 1 0 59381893 22167552 3928 996147200 134512640 135215973 4294956304 18446744073709551615 134837733 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 5412 3928 386 171 0 4337 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 21648

[startup+1.50171 s]
/proc/loadavg: 2.20 2.13 2.04 3/73 13700
/proc/meminfo: memFree=1335792/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=39128 CPUtime=1.46
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 12142 668 0 0 139 5 1 1 25 0 1 0 59381893 40067072 7673 996147200 134512640 135215973 4294956304 18446744073709551615 134761738 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 9782 7673 386 171 0 8707 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39128

[startup+3.10185 s]
/proc/loadavg: 2.20 2.13 2.04 3/73 13700
/proc/meminfo: memFree=1315312/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=74100 CPUtime=3.05
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 24073 668 0 0 292 11 1 1 25 0 1 0 59381893 75878400 15088 996147200 134512640 135215973 4294956304 18446744073709551615 4159198434 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 18525 15088 386 171 0 17450 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 74100

[startup+6.30115 s]
/proc/loadavg: 2.19 2.13 2.04 3/73 13700
/proc/meminfo: memFree=1257776/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=143392 CPUtime=6.22
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 47559 668 0 0 598 22 1 1 25 0 1 0 59381893 146833408 29544 996147200 134512640 135215973 4294956304 18446744073709551615 7278481 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 35848 29544 386 171 0 34773 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 143392

[startup+12.7017 s]
/proc/loadavg: 2.17 2.13 2.04 3/73 13700
/proc/meminfo: memFree=1181744/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=190912 CPUtime=12.57
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 71044 668 0 0 1224 31 1 1 25 0 1 0 59381893 195493888 43327 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 47728 43327 410 171 0 46653 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 190912

[startup+25.5019 s]
/proc/loadavg: 2.21 2.14 2.05 3/73 13700
/proc/meminfo: memFree=1176304/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=192160 CPUtime=25.27
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 71587 668 0 0 2494 31 1 1 25 0 1 0 59381893 196771840 43556 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 48040 43556 410 171 0 46965 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 192160

[startup+51.1012 s]
/proc/loadavg: 2.14 2.12 2.04 3/73 13700
/proc/meminfo: memFree=1168944/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=193824 CPUtime=50.68
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 72437 668 0 0 5034 32 1 1 25 0 1 0 59381893 198475776 43989 996147200 134512640 135215973 4294956304 18446744073709551615 134585584 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 48456 43989 410 171 0 47381 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 193824

[startup+102.307 s]
/proc/loadavg: 2.11 2.12 2.04 3/73 13700
/proc/meminfo: memFree=1150576/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=205204 CPUtime=101.49
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 76159 668 0 0 10114 33 1 1 25 0 1 0 59381893 210128896 46878 996147200 134512640 135215973 4294956304 18446744073709551615 135096286 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 51301 46878 410 171 0 50226 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 205204

[startup+162.301 s]
/proc/loadavg: 2.14 2.12 2.05 3/73 13700
/proc/meminfo: memFree=1131184/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=220440 CPUtime=161.04
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 80312 668 0 0 16067 35 1 1 25 0 1 0 59381893 225730560 49366 996147200 134512640 135215973 4294956304 18446744073709551615 134591598 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 55110 49366 410 171 0 54035 0
Current children cumulated CPU time (s) 161.04
Current children cumulated vsize (KiB) 220440

[startup+222.302 s]
/proc/loadavg: 2.05 2.10 2.04 3/73 13700
/proc/meminfo: memFree=1121136/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=220440 CPUtime=220.58
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 80591 668 0 0 22021 35 1 1 25 0 1 0 59381893 225730560 49645 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 55110 49645 410 171 0 54035 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 220440

[startup+282.301 s]
/proc/loadavg: 2.02 2.08 2.04 3/73 13700
/proc/meminfo: memFree=1100400/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=224280 CPUtime=280.13
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 91850 668 0 0 27972 39 1 1 25 0 1 0 59381893 229662720 51392 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 56070 51392 413 171 0 54995 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 224280

[startup+342.302 s]
/proc/loadavg: 2.00 2.06 2.03 3/73 13702
/proc/meminfo: memFree=1086128/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=228108 CPUtime=339.65
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 131869 668 0 0 33908 55 1 1 25 0 1 0 59381893 233582592 52379 996147200 134512640 135215973 4294956304 18446744073709551615 134600802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 57027 52379 413 171 0 55952 0
Current children cumulated CPU time (s) 339.65
Current children cumulated vsize (KiB) 228108

[startup+402.301 s]
/proc/loadavg: 2.00 2.05 2.03 3/73 13702
/proc/meminfo: memFree=1070448/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=237348 CPUtime=399.21
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 139768 668 0 0 39860 59 1 1 25 0 1 0 59381893 243044352 54702 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 59337 54702 413 171 0 58262 0
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (KiB) 237348

[startup+462.302 s]
/proc/loadavg: 2.00 2.04 2.02 3/73 13702
/proc/meminfo: memFree=1051312/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=244872 CPUtime=458.75
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 149188 668 0 0 45811 62 1 1 25 0 1 0 59381893 250748928 56578 996147200 134512640 135215973 4294956304 18446744073709551615 134600784 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 61218 56578 413 171 0 60143 0
Current children cumulated CPU time (s) 458.75
Current children cumulated vsize (KiB) 244872

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/73 13702
/proc/meminfo: memFree=1039920/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=246324 CPUtime=518.28
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 195483 668 0 0 51747 79 1 1 25 0 1 0 59381893 252235776 56953 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 61581 56953 413 171 0 60506 0
Current children cumulated CPU time (s) 518.28
Current children cumulated vsize (KiB) 246324

[startup+582.302 s]
/proc/loadavg: 2.00 2.02 2.01 3/73 13702
/proc/meminfo: memFree=1028848/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=248040 CPUtime=577.82
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 221175 668 0 0 57692 88 1 1 25 0 1 0 59381893 253992960 57389 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 62010 57389 413 171 0 60935 0
Current children cumulated CPU time (s) 577.82

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

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13708
/proc/meminfo: memFree=960992/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=266380 CPUtime=875.5
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 428456 668 0 0 87381 167 1 1 25 0 1 0 59381893 272773120 61966 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 66595 61966 413 171 0 65520 0
Current children cumulated CPU time (s) 875.5
Current children cumulated vsize (KiB) 266380

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13708
/proc/meminfo: memFree=943592/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=272052 CPUtime=935.03
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 510557 668 0 0 93303 198 1 1 25 0 1 0 59381893 278581248 63379 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 68013 63379 413 171 0 66938 0
Current children cumulated CPU time (s) 935.03
Current children cumulated vsize (KiB) 272052

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13708
/proc/meminfo: memFree=912040/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=283800 CPUtime=994.57
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 519737 668 0 0 99254 201 1 1 25 0 1 0 59381893 290611200 66327 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 70950 66327 413 171 0 69875 0
Current children cumulated CPU time (s) 994.57
Current children cumulated vsize (KiB) 283800

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13708
/proc/meminfo: memFree=897192/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=288552 CPUtime=1054.11
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 525525 668 0 0 105206 203 1 1 25 0 1 0 59381893 295477248 67523 996147200 134512640 135215973 4294956304 18446744073709551615 134591473 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 72138 67523 413 171 0 71063 0
Current children cumulated CPU time (s) 1054.11
Current children cumulated vsize (KiB) 288552

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13708
/proc/meminfo: memFree=882088/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=291720 CPUtime=1113.65
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 577134 668 0 0 111140 223 1 1 25 0 1 0 59381893 298721280 68292 996147200 134512640 135215973 4294956304 18446744073709551615 134585403 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 72930 68292 413 171 0 71855 0
Current children cumulated CPU time (s) 1113.65
Current children cumulated vsize (KiB) 291720

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13708
/proc/meminfo: memFree=864048/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=294888 CPUtime=1173.18
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 642902 668 0 0 117070 246 1 1 25 0 1 0 59381893 301965312 69116 996147200 134512640 135215973 4294956304 18446744073709551615 134591375 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 73722 69116 413 171 0 72647 0
Current children cumulated CPU time (s) 1173.18
Current children cumulated vsize (KiB) 294888

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13708
/proc/meminfo: memFree=849136/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=295940 CPUtime=1232.72
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 679551 668 0 0 123012 258 1 1 25 0 1 0 59381893 303042560 69357 996147200 134512640 135215973 4294956304 18446744073709551615 134969985 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 73985 69357 413 171 0 72910 0
Current children cumulated CPU time (s) 1232.72
Current children cumulated vsize (KiB) 295940

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 13708
/proc/meminfo: memFree=834736/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=296996 CPUtime=1292.25
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 741484 668 0 0 128942 281 1 1 25 0 1 0 59381893 304123904 69626 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 74249 69626 413 171 0 73174 0
Current children cumulated CPU time (s) 1292.25
Current children cumulated vsize (KiB) 296996

[startup+1362.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/73 13708
/proc/meminfo: memFree=819760/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=297656 CPUtime=1351.79
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 764285 668 0 0 134887 290 1 1 25 0 1 0 59381893 304799744 69795 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 1 0 0
/proc/13695/statm: 74414 69795 413 171 0 73339 0
Current children cumulated CPU time (s) 1351.79
Current children cumulated vsize (KiB) 297656

[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 13740
/proc/meminfo: memFree=1140464/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=302140 CPUtime=1411.54
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 785096 668 0 0 140853 299 1 1 25 0 1 0 59381893 309391360 70926 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 75535 70926 413 171 0 74460 0
Current children cumulated CPU time (s) 1411.54
Current children cumulated vsize (KiB) 302140

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13740
/proc/meminfo: memFree=1048624/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=311116 CPUtime=1471.51
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 799784 668 0 0 146845 304 1 1 25 0 1 0 59381893 318582784 73150 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 77779 73150 413 171 0 76704 0
Current children cumulated CPU time (s) 1471.51
Current children cumulated vsize (KiB) 311116

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 13740
/proc/meminfo: memFree=1039792/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=319828 CPUtime=1531.49
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 815742 668 0 0 152837 310 1 1 25 0 1 0 59381893 327503872 75332 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 79957 75332 413 171 0 78882 0
Current children cumulated CPU time (s) 1531.49
Current children cumulated vsize (KiB) 319828

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 13740
/proc/meminfo: memFree=1031152/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=328796 CPUtime=1591.47
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 830757 668 0 0 158828 317 1 1 25 0 1 0 59381893 336687104 77555 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 82199 77555 413 171 0 81124 0
Current children cumulated CPU time (s) 1591.47
Current children cumulated vsize (KiB) 328796

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13740
/proc/meminfo: memFree=1022896/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=336716 CPUtime=1651.45
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 846517 668 0 0 164820 323 1 1 25 0 1 0 59381893 344797184 79539 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 84179 79539 413 171 0 83104 0
Current children cumulated CPU time (s) 1651.45
Current children cumulated vsize (KiB) 336716

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13740
/proc/meminfo: memFree=1007216/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=364416 CPUtime=1711.43
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 873054 668 0 0 170809 332 1 1 25 0 1 0 59381893 373161984 83395 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 91104 83395 413 171 0 90029 0
Current children cumulated CPU time (s) 1711.43
Current children cumulated vsize (KiB) 364416

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/83 13909
/proc/meminfo: memFree=1111184/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=364416 CPUtime=1771.4
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 905859 668 0 0 176792 346 1 1 25 0 1 0 59381893 373161984 83400 996147200 134512640 135215973 4294956304 18446744073709551615 134597319 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 91104 83400 413 171 0 90029 0
Current children cumulated CPU time (s) 1771.4
Current children cumulated vsize (KiB) 364416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 13909
/proc/meminfo: memFree=1111248/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=364416 CPUtime=1800
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 921605 668 0 0 179645 353 1 1 25 0 1 0 59381893 373161984 83402 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 91104 83402 413 171 0 90029 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 364416

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.03 2.01 2.00 3/83 13909
/proc/meminfo: memFree=1111248/2055920 swapFree=4192812/4192956
[pid=13695] ppid=13693 vsize=364416 CPUtime=1800
/proc/13695/stat : 13695 (pcs.big) R 13693 13695 10176 0 -1 4194304 921605 668 0 0 179645 353 1 1 25 0 1 0 59381893 373161984 83402 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 0 0 0
/proc/13695/statm: 91104 83402 413 171 0 90029 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 364416

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.96
CPU time (s): 1800.07
CPU user time (s): 1796.47
CPU system time (s): 3.59845
CPU usage (%): 99.3985
Max. virtual memory (cumulated for all children) (KiB): 369284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.47
system time used= 3.59845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 922273
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= 31
involuntary context switches= 31552

runsolver used 1.87172 second user time and 5.01324 second system time

The end

Launcher Data 

Begin job on node55 at 2009-07-16 07:46:26
IDJOB=2083473
IDBENCH=57829
IDSOLVER=733
FILE ID=node55/2083473-1247723185
PBS_JOBID= 9521403
Free space on /tmp= 66364 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp38/normalized-fapp38-2500-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083473-1247723185/watcher-2083473-1247723185 -o /tmp/evaluation-result-2083473-1247723185/solver-2083473-1247723185 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1535569833 HOME/instance-2083473-1247723185.xml

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

MD5SUM BENCH= 68fe27f113711ce0fc0a376a1a638b50
RANDOM SEED=1535569833

node55.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:       1355864 kB
Buffers:         83940 kB
Cached:         384648 kB
SwapCached:          0 kB
Active:         340084 kB
Inactive:       287148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1355864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           10544 kB
Writeback:           0 kB
Mapped:         170212 kB
Slab:            57904 kB
Committed_AS:   677604 kB
PageTables:       2008 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= 66364 MiB
End job on node55 at 2009-07-16 08:16:39