Trace number 2083650

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 1803.26

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-7.xml
MD5SUMb6ccf6de2a96d16153e1dfc9d32ad1be
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 benchmark176.203
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints3003
Maximum constraint arity2
Maximum domain size700
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3003
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 1263470424
0.00/0.04	c Constructing HOME/instance-2083650-1247723510.xml  with 18672 constraints
0.25/0.36	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-2083650-1247723510/watcher-2083650-1247723510 -o /tmp/evaluation-result-2083650-1247723510/solver-2083650-1247723510 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1263470424 HOME/instance-2083650-1247723510.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.03 2.05 2.07 3/82 17185
/proc/meminfo: memFree=793896/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=18576 CPUtime=0
/proc/17185/stat : 17185 (runsolver) R 17183 17185 14580 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 59418454 19021824 285 996147200 4194304 4302564 548682068496 18446744073709551615 226913479975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17185/statm: 4644 285 249 26 0 2626 0

[startup+0.089878 s]
/proc/loadavg: 2.03 2.05 2.07 3/82 17185
/proc/meminfo: memFree=793896/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=5644 CPUtime=0.04
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 1081 662 0 0 4 0 0 0 23 0 1 0 59418454 5779456 712 996147200 134512640 135215973 4294956304 18446744073709551615 8326884 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 1411 712 386 171 0 336 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5644

[startup+0.101877 s]
/proc/loadavg: 2.03 2.05 2.07 3/82 17185
/proc/meminfo: memFree=793896/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=6024 CPUtime=0.06
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 1157 662 0 0 6 0 0 0 23 0 1 0 59418454 6168576 788 996147200 134512640 135215973 4294956304 18446744073709551615 8326693 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 1506 788 386 171 0 431 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6024

[startup+0.301922 s]
/proc/loadavg: 2.03 2.05 2.07 3/82 17185
/proc/meminfo: memFree=793896/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=10732 CPUtime=0.25
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 2613 662 0 0 24 1 0 0 25 0 1 0 59418454 10989568 1821 996147200 134512640 135215973 4294956304 18446744073709551615 4159730007 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 2683 1821 386 171 0 1608 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10732

[startup+0.701992 s]
/proc/loadavg: 2.03 2.05 2.07 3/82 17185
/proc/meminfo: memFree=793896/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=14556 CPUtime=0.66
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 4028 662 0 0 64 2 0 0 25 0 1 0 59418454 14905344 2647 996147200 134512640 135215973 4294956304 18446744073709551615 135094344 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 3639 2647 410 171 0 2564 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 14556

[startup+1.50115 s]
/proc/loadavg: 2.03 2.05 2.07 4/83 17190
/proc/meminfo: memFree=784736/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=14732 CPUtime=1.45
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 4049 662 0 0 143 2 0 0 25 0 1 0 59418454 15085568 2668 996147200 134512640 135215973 4294956304 18446744073709551615 134592833 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 3683 2668 410 171 0 2608 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 14732

[startup+3.10145 s]
/proc/loadavg: 2.03 2.05 2.07 3/83 17190
/proc/meminfo: memFree=754912/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=14840 CPUtime=3.03
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 4101 662 0 0 301 2 0 0 25 0 1 0 59418454 15196160 2720 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 3710 2720 410 171 0 2635 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 14840

[startup+6.30106 s]
/proc/loadavg: 2.03 2.05 2.07 3/83 17190
/proc/meminfo: memFree=754400/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=15576 CPUtime=6.21
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 4330 662 0 0 619 2 0 0 25 0 1 0 59418454 15949824 2896 996147200 134512640 135215973 4294956304 18446744073709551615 134597394 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 3894 2896 410 171 0 2819 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 15576

[startup+12.7013 s]
/proc/loadavg: 2.03 2.05 2.07 3/83 17190
/proc/meminfo: memFree=724448/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=16124 CPUtime=12.55
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 4488 662 0 0 1253 2 0 0 25 0 1 0 59418454 16510976 2949 996147200 134512640 135215973 4294956304 18446744073709551615 4158960200 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 4031 2949 410 171 0 2956 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 16124

[startup+25.5017 s]
/proc/loadavg: 2.02 2.05 2.07 3/83 17190
/proc/meminfo: memFree=692704/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=17880 CPUtime=25.24
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 5085 662 0 0 2522 2 0 0 25 0 1 0 59418454 18309120 3337 996147200 134512640 135215973 4294956304 18446744073709551615 4158960058 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 4470 3337 410 171 0 3395 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 17880

[startup+51.1017 s]
/proc/loadavg: 2.08 2.06 2.07 4/83 17190
/proc/meminfo: memFree=679904/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=21660 CPUtime=50.62
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 6354 662 0 0 5059 3 0 0 25 0 1 0 59418454 22179840 4189 996147200 134512640 135215973 4294956304 18446744073709551615 134591361 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 5415 4189 413 171 0 4340 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 21660

[startup+102.306 s]
/proc/loadavg: 2.23 2.09 2.08 4/83 17191
/proc/meminfo: memFree=645912/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=30748 CPUtime=101.38
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 8629 662 0 0 10134 4 0 0 25 0 1 0 59418454 31485952 6464 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 7687 6464 413 171 0 6612 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 30748

[startup+162.302 s]
/proc/loadavg: 2.20 2.10 2.08 3/83 17191
/proc/meminfo: memFree=626008/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=38624 CPUtime=160.87
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 10609 662 0 0 16082 5 0 0 25 0 1 0 59418454 39550976 8444 996147200 134512640 135215973 4294956304 18446744073709551615 134969489 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 9656 8444 413 171 0 8581 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 38624

[startup+222.303 s]
/proc/loadavg: 2.17 2.11 2.09 3/83 17191
/proc/meminfo: memFree=614616/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=49972 CPUtime=220.34
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 13445 662 0 0 22028 6 0 0 25 0 1 0 59418454 51171328 11280 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/17185/statm: 12493 11280 413 171 0 11418 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 49972

[startup+282.301 s]
/proc/loadavg: 2.13 2.11 2.09 3/73 17265
/proc/meminfo: memFree=1364080/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=63084 CPUtime=279.92
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 16791 662 0 0 27983 9 0 0 25 0 1 0 59418454 64598016 14626 996147200 134512640 135215973 4294956304 18446744073709551615 135094460 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 15771 14626 413 171 0 14696 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 63084

[startup+342.302 s]
/proc/loadavg: 2.05 2.08 2.08 3/73 17265
/proc/meminfo: memFree=1342320/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=74504 CPUtime=339.9
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 19655 662 0 0 33979 11 0 0 25 0 1 0 59418454 76292096 17490 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 18626 17490 413 171 0 17551 0
Current children cumulated CPU time (s) 339.9
Current children cumulated vsize (KiB) 74504

[startup+402.301 s]
/proc/loadavg: 2.02 2.07 2.08 3/73 17265
/proc/meminfo: memFree=1327408/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=84624 CPUtime=399.87
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 22181 662 0 0 39974 13 0 0 25 0 1 0 59418454 86654976 20016 996147200 134512640 135215973 4294956304 18446744073709551615 134524388 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 21156 20016 413 171 0 20081 0
Current children cumulated CPU time (s) 399.87
Current children cumulated vsize (KiB) 84624

[startup+462.302 s]
/proc/loadavg: 2.00 2.05 2.07 3/73 17265
/proc/meminfo: memFree=1307952/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=96020 CPUtime=459.84
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 25021 662 0 0 45970 14 0 0 25 0 1 0 59418454 98324480 22856 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 24005 22856 413 171 0 22930 0
Current children cumulated CPU time (s) 459.84
Current children cumulated vsize (KiB) 96020

[startup+522.302 s]
/proc/loadavg: 2.00 2.04 2.06 3/73 17265
/proc/meminfo: memFree=1290352/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=104476 CPUtime=519.81
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 27136 662 0 0 51966 15 0 0 25 0 1 0 59418454 106983424 24971 996147200 134512640 135215973 4294956304 18446744073709551615 134597400 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 26119 24971 413 171 0 25044 0
Current children cumulated CPU time (s) 519.81
Current children cumulated vsize (KiB) 104476

[startup+582.302 s]
/proc/loadavg: 2.03 2.04 2.06 3/73 17271
/proc/meminfo: memFree=1254640/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=126632 CPUtime=579.77
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 32700 662 0 0 57960 17 0 0 25 0 1 0 59418454 129671168 30535 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 31658 30535 413 171 0 30583 0
Current children cumulated CPU time (s) 579.77
Current children cumulated vsize (KiB) 126632

[startup+642.301 s]
/proc/loadavg: 2.01 2.03 2.06 3/73 17271
/proc/meminfo: memFree=1216944/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=152716 CPUtime=639.75
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 39226 662 0 0 63955 20 0 0 25 0 1 0 59418454 156381184 37061 996147200 134512640 135215973 4294956304 18446744073709551615 134600718 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 38179 37061 413 171 0 37104 0
Current children cumulated CPU time (s) 639.75
Current children cumulated vsize (KiB) 152716

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 17271
/proc/meminfo: memFree=1139376/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=205472 CPUtime=819.66
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 52436 662 0 0 81940 26 0 0 25 0 1 0 59418454 210403328 50271 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 51368 50271 413 171 0 50293 0
Current children cumulated CPU time (s) 819.66
Current children cumulated vsize (KiB) 205472

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/73 17271
/proc/meminfo: memFree=1122808/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=216940 CPUtime=879.64
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 55307 662 0 0 87937 27 0 0 25 0 1 0 59418454 222146560 53142 996147200 134512640 135215973 4294956304 18446744073709551615 134585388 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 54235 53142 413 171 0 53160 0
Current children cumulated CPU time (s) 879.64
Current children cumulated vsize (KiB) 216940

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 17271
/proc/meminfo: memFree=1106360/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=228660 CPUtime=939.61
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 58243 662 0 0 93932 29 0 0 25 0 1 0 59418454 234147840 56078 996147200 134512640 135215973 4294956304 18446744073709551615 134597408 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 57165 56078 413 171 0 56090 0
Current children cumulated CPU time (s) 939.61
Current children cumulated vsize (KiB) 228660

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17271
/proc/meminfo: memFree=1076792/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=252460 CPUtime=999.58
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 64201 662 0 0 99926 32 0 0 25 0 1 0 59418454 258519040 62036 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 63115 62036 413 171 0 62040 0
Current children cumulated CPU time (s) 999.58
Current children cumulated vsize (KiB) 252460

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17271
/proc/meminfo: memFree=1040120/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=273232 CPUtime=1059.55
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 69456 662 0 0 105921 34 0 0 25 0 1 0 59418454 279789568 67291 996147200 134512640 135215973 4294956304 18446744073709551615 134589808 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 68308 67291 413 171 0 67233 0
Current children cumulated CPU time (s) 1059.55
Current children cumulated vsize (KiB) 273232

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17271
/proc/meminfo: memFree=1011512/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=284224 CPUtime=1119.52
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 72209 662 0 0 111917 35 0 0 25 0 1 0 59418454 291045376 70044 996147200 134512640 135215973 4294956304 18446744073709551615 134597427 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 71056 70044 413 171 0 69981 0
Current children cumulated CPU time (s) 1119.52
Current children cumulated vsize (KiB) 284224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17271
/proc/meminfo: memFree=983992/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=294228 CPUtime=1179.49
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 74718 662 0 0 117913 36 0 0 25 0 1 0 59418454 301289472 72553 996147200 134512640 135215973 4294956304 18446744073709551615 134583607 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 73557 72553 413 171 0 72482 0
Current children cumulated CPU time (s) 1179.49
Current children cumulated vsize (KiB) 294228

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=957816/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=308040 CPUtime=1239.46
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 78190 662 0 0 123908 38 0 0 25 0 1 0 59418454 315432960 76025 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 77010 76025 413 171 0 75935 0
Current children cumulated CPU time (s) 1239.46
Current children cumulated vsize (KiB) 308040

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=931896/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=323528 CPUtime=1299.44
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 82086 662 0 0 129904 40 0 0 25 0 1 0 59418454 331292672 79921 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 80882 79921 413 171 0 79807 0
Current children cumulated CPU time (s) 1299.44
Current children cumulated vsize (KiB) 323528

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=914040/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=332024 CPUtime=1359.41
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 84218 662 0 0 135900 41 0 0 25 0 1 0 59418454 339992576 82053 996147200 134512640 135215973 4294956304 18446744073709551615 134583393 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 83006 82053 413 171 0 81931 0
Current children cumulated CPU time (s) 1359.41
Current children cumulated vsize (KiB) 332024

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 17271
/proc/meminfo: memFree=886328/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=342208 CPUtime=1419.39
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 86765 662 0 0 141897 42 0 0 25 0 1 0 59418454 350420992 84310 996147200 134512640 135215973 4294956304 18446744073709551615 134597668 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 85552 84310 413 171 0 84477 0
Current children cumulated CPU time (s) 1419.39
Current children cumulated vsize (KiB) 342208

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/73 17271
/proc/meminfo: memFree=872504/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=347404 CPUtime=1479.34
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 88073 662 0 0 147892 42 0 0 25 0 1 0 59418454 355741696 85618 996147200 134512640 135215973 4294956304 18446744073709551615 134971004 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 86851 85618 413 171 0 85776 0
Current children cumulated CPU time (s) 1479.34
Current children cumulated vsize (KiB) 347404

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 17271
/proc/meminfo: memFree=857080/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=353408 CPUtime=1539.32
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 89570 662 0 0 153889 43 0 0 25 0 1 0 59418454 361889792 87115 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 88352 87115 413 171 0 87277 0
Current children cumulated CPU time (s) 1539.32
Current children cumulated vsize (KiB) 353408

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=840504/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=353408 CPUtime=1599.29
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 89574 662 0 0 159886 43 0 0 25 0 1 0 59418454 361889792 87119 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 88352 87119 413 171 0 87277 0
Current children cumulated CPU time (s) 1599.29
Current children cumulated vsize (KiB) 353408

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=821880/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=358172 CPUtime=1659.26
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 90766 662 0 0 165882 44 0 0 25 0 1 0 59418454 366768128 88311 996147200 134512640 135215973 4294956304 18446744073709551615 134585804 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 89543 88311 413 171 0 88468 0
Current children cumulated CPU time (s) 1659.26
Current children cumulated vsize (KiB) 358172

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=804792/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=361144 CPUtime=1719.23
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 91523 662 0 0 171878 45 0 0 25 0 1 0 59418454 369811456 89068 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 90286 89068 413 171 0 89211 0
Current children cumulated CPU time (s) 1719.23
Current children cumulated vsize (KiB) 361144

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=791544/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=361416 CPUtime=1779.21
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 91581 662 0 0 177876 45 0 0 25 0 1 0 59418454 370089984 89126 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 90354 89126 413 171 0 89279 0
Current children cumulated CPU time (s) 1779.21
Current children cumulated vsize (KiB) 361416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17271
/proc/meminfo: memFree=785656/2055920 swapFree=4192812/4192956
[pid=17185] ppid=17183 vsize=361880 CPUtime=1800.1
/proc/17185/stat : 17185 (pcs.big) R 17183 17185 14580 0 -1 4194304 91704 662 0 0 179965 45 0 0 25 0 1 0 59418454 370565120 89249 996147200 134512640 135215973 4294956304 18446744073709551615 135096346 0 0 4096 0 0 0 0 17 0 0 0
/proc/17185/statm: 90470 89249 413 171 0 89395 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 361880

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): 1803.26
CPU time (s): 1800.17
CPU user time (s): 1799.66
CPU system time (s): 0.516921
CPU usage (%): 99.8288
Max. virtual memory (cumulated for all children) (KiB): 361880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.516921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92366
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= 26
involuntary context switches= 16198

runsolver used 1.83772 second user time and 4.85126 second system time

The end

Launcher Data 

Begin job on node5 at 2009-07-16 07:51:50
IDJOB=2083650
IDBENCH=57885
IDSOLVER=734
FILE ID=node5/2083650-1247723510
PBS_JOBID= 9521368
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083650-1247723510/watcher-2083650-1247723510 -o /tmp/evaluation-result-2083650-1247723510/solver-2083650-1247723510 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1263470424 HOME/instance-2083650-1247723510.xml

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

MD5SUM BENCH= b6ccf6de2a96d16153e1dfc9d32ad1be
RANDOM SEED=1263470424

node5.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.258
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.258
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:        794632 kB
Buffers:         78028 kB
Cached:         463796 kB
SwapCached:          0 kB
Active:         682656 kB
Inactive:       506008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        794632 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2168 kB
Writeback:           0 kB
Mapped:         667148 kB
Slab:            56612 kB
Committed_AS:  1391908 kB
PageTables:       3072 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= 66320 MiB
End job on node5 at 2009-07-16 08:21:55