Trace number 2083572

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.16 1801.15

General information on the benchmark

Namecsp/fapp/fapp24/
normalized-fapp24-2000-10.xml
MD5SUMda2491dfd5d4c48595148d7cd3674d2d
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 benchmark28.7276
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints26753
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26753
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.03	c Seed is 101053410
0.00/0.03	c Constructing HOME/instance-2083572-1247723321.xml  with 167981 constraints
3.14/3.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-2083572-1247723321/watcher-2083572-1247723321 -o /tmp/evaluation-result-2083572-1247723321/solver-2083572-1247723321 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 101053410 HOME/instance-2083572-1247723321.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.08 2.07 2.01 4/82 19073
/proc/meminfo: memFree=789728/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=5356 CPUtime=0
/proc/19073/stat : 19073 (pcssolve) R 19071 19073 17135 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59394776 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233402067615 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19073/statm: 1339 241 200 169 0 50 0
[pid=19074] ppid=19073 vsize=0 CPUtime=0
/proc/19074/stat : 19074 (pcssolve) R 19073 19073 17135 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 59394777 0 0 996147200 0 0 0 18446744073709551615 233402068263 0 0 4096 0 0 0 0 17 1 0 0
/proc/19074/statm: 0 0 0 0 0 0 0
[pid=19075] ppid=19073 vsize=5356 CPUtime=0
/proc/19075/stat : 19075 (pcssolve) R 19073 19073 17135 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59394777 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233402067615 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/19075/statm: 1339 241 200 169 0 50 0

[startup+0.058591 s]
/proc/loadavg: 2.08 2.07 2.01 4/82 19073
/proc/meminfo: memFree=789728/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=5624 CPUtime=0.03
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1043 662 0 0 3 0 0 0 22 0 1 0 59394776 5758976 674 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 1406 674 386 171 0 331 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5624

[startup+0.1016 s]
/proc/loadavg: 2.08 2.07 2.01 4/82 19073
/proc/meminfo: memFree=789728/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=6692 CPUtime=0.07
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1352 662 0 0 7 0 0 0 22 0 1 0 59394776 6852608 902 996147200 134512640 135215973 4294956304 18446744073709551615 4159151694 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 1673 902 386 171 0 598 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6692

[startup+0.30162 s]
/proc/loadavg: 2.08 2.07 2.01 4/82 19073
/proc/meminfo: memFree=789728/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=11804 CPUtime=0.27
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2746 662 0 0 26 1 0 0 24 0 1 0 59394776 12087296 1988 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 2951 1988 386 171 0 1876 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11804

[startup+0.701662 s]
/proc/loadavg: 2.08 2.07 2.01 4/82 19073
/proc/meminfo: memFree=789728/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=22228 CPUtime=0.66
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 6229 662 0 0 64 2 0 0 25 0 1 0 59394776 22761472 3834 996147200 134512640 135215973 4294956304 18446744073709551615 134600485 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 5557 3834 386 171 0 4482 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 22228

[startup+1.50174 s]
/proc/loadavg: 2.08 2.07 2.01 3/83 19078
/proc/meminfo: memFree=770776/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=40168 CPUtime=1.46
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 12304 662 0 0 140 6 0 0 25 0 1 0 59394776 41132032 7469 996147200 134512640 135215973 4294956304 18446744073709551615 8879710 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 10042 7469 386 171 0 8967 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40168

[startup+3.1029 s]
/proc/loadavg: 2.07 2.06 2.01 3/83 19078
/proc/meminfo: memFree=720152/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=75764 CPUtime=3.04
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 24092 662 0 0 291 13 0 0 25 0 1 0 59394776 77582336 14383 996147200 134512640 135215973 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 18941 14383 386 171 0 17866 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 75764

[startup+6.30121 s]
/proc/loadavg: 2.07 2.06 2.01 4/83 19078
/proc/meminfo: memFree=661976/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=87936 CPUtime=6.21
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 31209 662 0 0 604 17 0 0 25 0 1 0 59394776 90046464 18795 996147200 134512640 135215973 4294956304 18446744073709551615 134591364 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 21984 18795 410 171 0 20909 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 87936

[startup+12.7018 s]
/proc/loadavg: 2.14 2.08 2.02 4/83 19078
/proc/meminfo: memFree=656408/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=88768 CPUtime=12.54
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 31658 662 0 0 1237 17 0 0 25 0 1 0 59394776 90898432 19035 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 22192 19035 410 171 0 21117 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 88768

[startup+25.5011 s]
/proc/loadavg: 2.12 2.08 2.02 3/83 19078
/proc/meminfo: memFree=648728/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=96636 CPUtime=25.23
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 34069 662 0 0 2504 19 0 0 25 0 1 0 59394776 98955264 21029 996147200 134512640 135215973 4294956304 18446744073709551615 134590112 0 0 4096 0 0 0 0 17 1 0 0
/proc/19073/statm: 24159 21029 410 171 0 23084 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 96636

[startup+51.1017 s]
/proc/loadavg: 2.08 2.07 2.02 3/82 19118
/proc/meminfo: memFree=1371752/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=102608 CPUtime=50.74
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 38735 662 0 0 5051 23 0 0 25 0 1 0 59394776 105070592 21901 996147200 134512640 135215973 4294956304 18446744073709551615 134585798 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 25652 21901 413 171 0 24577 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 102608

[startup+102.307 s]
/proc/loadavg: 2.09 2.07 2.02 3/83 19119
/proc/meminfo: memFree=1301472/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=109076 CPUtime=101.92
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 134012 662 0 0 10141 51 0 0 25 0 1 0 59394776 111693824 23554 996147200 134512640 135215973 4294956304 18446744073709551615 134591456 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 27269 23554 413 171 0 26194 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 109076

[startup+162.302 s]
/proc/loadavg: 2.03 2.05 2.01 3/83 19119
/proc/meminfo: memFree=891552/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=118444 CPUtime=161.89
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 258016 662 0 0 16103 86 0 0 25 0 1 0 59394776 121286656 25875 996147200 134512640 135215973 4294956304 18446744073709551615 134600888 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 29611 25875 413 171 0 28536 0
Current children cumulated CPU time (s) 161.89
Current children cumulated vsize (KiB) 118444

[startup+222.302 s]
/proc/loadavg: 2.01 2.04 2.00 3/73 19154
/proc/meminfo: memFree=1356080/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=125168 CPUtime=221.86
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 391738 662 0 0 22062 124 0 0 25 0 1 0 59394776 128172032 27903 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 31292 27903 413 171 0 30217 0
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (KiB) 125168

[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 19154
/proc/meminfo: memFree=1348400/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=128860 CPUtime=281.84
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 491866 662 0 0 28028 156 0 0 25 0 1 0 59394776 131952640 28908 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 32215 28908 413 171 0 31140 0
Current children cumulated CPU time (s) 281.84
Current children cumulated vsize (KiB) 128860

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19154
/proc/meminfo: memFree=1331120/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=139808 CPUtime=341.82
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 677757 662 0 0 33972 210 0 0 25 0 1 0 59394776 143163392 31640 996147200 134512640 135215973 4294956304 18446744073709551615 134589760 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 34952 31640 413 171 0 33877 0
Current children cumulated CPU time (s) 341.82
Current children cumulated vsize (KiB) 139808

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 19154
/proc/meminfo: memFree=1314544/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=149824 CPUtime=401.8
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 847495 662 0 0 39924 256 0 0 25 0 1 0 59394776 153419776 34152 996147200 134512640 135215973 4294956304 18446744073709551615 134597371 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 37456 34152 413 171 0 36381 0
Current children cumulated CPU time (s) 401.8
Current children cumulated vsize (KiB) 149824

[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 19154
/proc/meminfo: memFree=1303088/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=158532 CPUtime=461.78
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 989853 662 0 0 45881 297 0 0 25 0 1 0 59394776 162336768 36356 996147200 134512640 135215973 4294956304 18446744073709551615 134590047 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 39633 36356 413 171 0 38558 0
Current children cumulated CPU time (s) 461.78
Current children cumulated vsize (KiB) 158532

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 19154
/proc/meminfo: memFree=1292464/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=166840 CPUtime=521.75
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1109233 662 0 0 51844 331 0 0 25 0 1 0 59394776 170844160 38391 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 41710 38391 413 171 0 40635 0
Current children cumulated CPU time (s) 521.75
Current children cumulated vsize (KiB) 166840

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19154
/proc/meminfo: memFree=1279984/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=173696 CPUtime=581.73
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1203619 662 0 0 57814 359 0 0 25 0 1 0 59394776 177864704 40140 996147200 134512640 135215973 4294956304 18446744073709551615 134583434 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 43424 40140 413 171 0 42349 0
Current children cumulated CPU time (s) 581.73
Current children cumulated vsize (KiB) 173696

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19154
/proc/meminfo: memFree=1272560/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=179880 CPUtime=641.71

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1232616/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=204512 CPUtime=881.62
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1645400 662 0 0 87676 486 0 0 25 0 1 0 59394776 209420288 47858 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 51128 47858 413 171 0 50053 0
Current children cumulated CPU time (s) 881.62
Current children cumulated vsize (KiB) 204512

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1226600/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=209792 CPUtime=941.59
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1725566 662 0 0 93650 509 0 0 25 0 1 0 59394776 214827008 49205 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 52448 49205 413 171 0 51373 0
Current children cumulated CPU time (s) 941.59
Current children cumulated vsize (KiB) 209792

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1218728/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=217548 CPUtime=1001.57
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1811702 662 0 0 99623 534 0 0 25 0 1 0 59394776 222769152 51035 996147200 134512640 135215973 4294956304 18446744073709551615 135094848 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 54387 51035 413 171 0 53312 0
Current children cumulated CPU time (s) 1001.57
Current children cumulated vsize (KiB) 217548

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1206768/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=226260 CPUtime=1061.55
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 1918078 662 0 0 105593 562 0 0 25 0 1 0 59394776 231690240 53212 996147200 134512640 135215973 4294956304 18446744073709551615 134583616 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 56565 53212 413 171 0 55490 0
Current children cumulated CPU time (s) 1061.55
Current children cumulated vsize (KiB) 226260

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1200176/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=229428 CPUtime=1121.53
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2007182 662 0 0 111565 588 0 0 25 0 1 0 59394776 234934272 54050 996147200 134512640 135215973 4294956304 18446744073709551615 135096315 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 57357 54050 413 171 0 56282 0
Current children cumulated CPU time (s) 1121.53
Current children cumulated vsize (KiB) 229428

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1188656/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=238400 CPUtime=1181.51
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2104729 662 0 0 117535 616 0 0 25 0 1 0 59394776 244121600 56281 996147200 134512640 135215973 4294956304 18446744073709551615 134591798 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 59600 56281 413 171 0 58525 0
Current children cumulated CPU time (s) 1181.51
Current children cumulated vsize (KiB) 238400

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1182064/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=242488 CPUtime=1241.49
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2164723 662 0 0 123516 633 0 0 25 0 1 0 59394776 248307712 57337 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 60622 57337 413 171 0 59547 0
Current children cumulated CPU time (s) 1241.49
Current children cumulated vsize (KiB) 242488

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1179824/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=243804 CPUtime=1301.47
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2214941 662 0 0 129499 648 0 0 25 0 1 0 59394776 249655296 57641 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 60951 57641 413 171 0 59876 0
Current children cumulated CPU time (s) 1301.47
Current children cumulated vsize (KiB) 243804

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1170416/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=249480 CPUtime=1361.45
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2280097 662 0 0 135479 666 0 0 25 0 1 0 59394776 255467520 59065 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 62370 59065 413 171 0 61295 0
Current children cumulated CPU time (s) 1361.45
Current children cumulated vsize (KiB) 249480

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1161008/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=254888 CPUtime=1421.42
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2353671 662 0 0 141457 685 0 0 25 0 1 0 59394776 261005312 60447 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 63722 60447 413 171 0 62647 0
Current children cumulated CPU time (s) 1421.42
Current children cumulated vsize (KiB) 254888

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1153136/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=259636 CPUtime=1481.4
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2433802 662 0 0 147430 710 0 0 25 0 1 0 59394776 265867264 61618 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 64909 61618 413 171 0 63834 0
Current children cumulated CPU time (s) 1481.4
Current children cumulated vsize (KiB) 259636

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1145136/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=264388 CPUtime=1541.38
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2509042 662 0 0 153406 732 0 0 25 0 1 0 59394776 270733312 62833 996147200 134512640 135215973 4294956304 18446744073709551615 135096351 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 66097 62833 413 171 0 65022 0
Current children cumulated CPU time (s) 1541.38
Current children cumulated vsize (KiB) 264388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1138416/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=267952 CPUtime=1601.36
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2588747 662 0 0 159378 758 0 0 25 0 1 0 59394776 274382848 63719 996147200 134512640 135215973 4294956304 18446744073709551615 135094860 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 66988 63719 413 171 0 65913 0
Current children cumulated CPU time (s) 1601.36
Current children cumulated vsize (KiB) 267952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1125168/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=271776 CPUtime=1661.34
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2662045 662 0 0 165356 778 0 0 25 0 1 0 59394776 278298624 64684 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 67944 64684 413 171 0 66869 0
Current children cumulated CPU time (s) 1661.34
Current children cumulated vsize (KiB) 271776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1121712/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=274940 CPUtime=1721.32
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2733180 662 0 0 171335 797 0 0 25 0 1 0 59394776 281538560 65460 996147200 134512640 135215973 4294956304 18446744073709551615 134590096 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 68735 65460 413 171 0 67660 0
Current children cumulated CPU time (s) 1721.32
Current children cumulated vsize (KiB) 274940

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1118000/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=278372 CPUtime=1781.3
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2805967 662 0 0 177311 819 0 0 25 0 1 0 59394776 285052928 66337 996147200 134512640 135215973 4294956304 18446744073709551615 134583616 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 69593 66337 413 171 0 68518 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (KiB) 278372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1117360/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=279164 CPUtime=1800.09
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2828026 662 0 0 179185 824 0 0 25 0 1 0 59394776 285863936 66541 996147200 134512640 135215973 4294956304 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 69791 66541 413 171 0 68716 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 279164

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

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

[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 19160
/proc/meminfo: memFree=1117360/2055920 swapFree=4192812/4192956
[pid=19073] ppid=19071 vsize=279164 CPUtime=1800.09
/proc/19073/stat : 19073 (pcs.big) R 19071 19073 17135 0 -1 4194304 2828026 662 0 0 179185 824 0 0 25 0 1 0 59394776 285863936 66541 996147200 134512640 135215973 4294956304 18446744073709551615 134591795 0 0 4096 0 0 0 0 17 0 0 0
/proc/19073/statm: 69791 66541 413 171 0 68716 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 279164

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.15
CPU time (s): 1800.16
CPU user time (s): 1791.86
CPU system time (s): 8.29974
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 279596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.86
system time used= 8.29974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2828688
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= 23
involuntary context switches= 7871

runsolver used 1.79173 second user time and 4.94525 second system time

The end

Launcher Data 

Begin job on node70 at 2009-07-16 07:48:41
IDJOB=2083572
IDBENCH=57860
IDSOLVER=733
FILE ID=node70/2083572-1247723321
PBS_JOBID= 9521334
Free space on /tmp= 66428 MiB

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

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

MD5SUM BENCH= da2491dfd5d4c48595148d7cd3674d2d
RANDOM SEED=101053410

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:        790208 kB
Buffers:         84412 kB
Cached:         376968 kB
SwapCached:          0 kB
Active:         766364 kB
Inactive:       417448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        790208 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5488 kB
Writeback:           0 kB
Mapped:         742900 kB
Slab:            65824 kB
Committed_AS:  1521444 kB
PageTables:       3180 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= 66424 MiB
End job on node70 at 2009-07-16 08:18:44