Trace number 2083187

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.1 1809.76

General information on the benchmark

Namecsp/fapp/fapp13/
normalized-fapp13-2000-6.xml
MD5SUMb1bc0ce20909360461048c9e001540ac
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
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.02	c Seed is 1545155911
0.00/0.02	c Constructing HOME/instance-2083187-1247722621.xml  with 161470 constraints
2.76/2.81	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-2083187-1247722621/watcher-2083187-1247722621 -o /tmp/evaluation-result-2083187-1247722621/solver-2083187-1247722621 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1545155911 HOME/instance-2083187-1247722621.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.18 2.04 2.01 3/73 19018
/proc/meminfo: memFree=1306320/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=1964 CPUtime=0
/proc/19018/stat : 19018 (pcssolve) R 19016 19018 17322 0 -1 4194304 49 0 0 0 0 0 0 0 20 0 1 0 59327121 2011136 34 996147200 4194304 4889804 548682068800 18446744073709551615 251276621193 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 491 34 26 169 0 8 0

[startup+0.056437 s]
/proc/loadavg: 2.18 2.04 2.01 3/73 19018
/proc/meminfo: memFree=1306320/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=5696 CPUtime=0.03
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 1059 666 0 0 3 0 0 0 18 0 1 0 59327121 5832704 690 996147200 134512640 135215973 4294956304 18446744073709551615 4510684 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 1424 690 386 171 0 349 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5696

[startup+0.101442 s]
/proc/loadavg: 2.18 2.04 2.01 3/73 19018
/proc/meminfo: memFree=1306320/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=6944 CPUtime=0.07
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 1414 666 0 0 7 0 0 0 18 0 1 0 59327121 7110656 964 996147200 134512640 135215973 4294956304 18446744073709551615 134906962 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 1736 964 386 171 0 661 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6944

[startup+0.301467 s]
/proc/loadavg: 2.18 2.04 2.01 3/73 19018
/proc/meminfo: memFree=1306320/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=13576 CPUtime=0.27
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 3381 666 0 0 26 1 0 0 19 0 1 0 59327121 13901824 2131 996147200 134512640 135215973 4294956304 18446744073709551615 4158910240 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 3394 2131 386 171 0 2319 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13576

[startup+0.701517 s]
/proc/loadavg: 2.18 2.04 2.01 3/73 19018
/proc/meminfo: memFree=1306320/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=22720 CPUtime=0.66
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 6471 666 0 0 63 3 0 0 23 0 1 0 59327121 23265280 4038 996147200 134512640 135215973 4294956304 18446744073709551615 134714298 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 5680 4039 386 171 0 4605 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 22720

[startup+1.50162 s]
/proc/loadavg: 2.18 2.04 2.01 3/74 19023
/proc/meminfo: memFree=1285696/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=41532 CPUtime=1.47
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 12868 666 0 0 141 6 0 0 25 0 1 0 59327121 42528768 7942 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 10383 7942 386 171 0 9308 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 41532

[startup+3.10182 s]
/proc/loadavg: 2.18 2.04 2.01 3/74 19023
/proc/meminfo: memFree=1263872/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=85324 CPUtime=3.05
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 30437 666 0 0 293 12 0 0 25 0 1 0 59327121 87371776 18096 996147200 134512640 135215973 4294956304 18446744073709551615 4158960638 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 21331 18096 409 171 0 20256 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 85324

[startup+6.30122 s]
/proc/loadavg: 2.16 2.04 2.01 3/74 19023
/proc/meminfo: memFree=1233088/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=87020 CPUtime=6.25
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 31067 666 0 0 612 13 0 0 25 0 1 0 59327121 89108480 18343 996147200 134512640 135215973 4294956304 18446744073709551615 134600789 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 21755 18343 410 171 0 20680 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 87020

[startup+12.702 s]
/proc/loadavg: 2.15 2.04 2.01 3/74 19023
/proc/meminfo: memFree=1227848/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=91324 CPUtime=12.62
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 32536 666 0 0 1249 13 0 0 25 0 1 0 59327121 93515776 19395 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 22831 19395 410 171 0 21756 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 91324

[startup+25.5016 s]
/proc/loadavg: 2.12 2.04 2.01 3/74 19023
/proc/meminfo: memFree=1215240/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=100064 CPUtime=25.36
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 35129 666 0 0 2522 14 0 0 25 0 1 0 59327121 102465536 21155 996147200 134512640 135215973 4294956304 18446744073709551615 134970644 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 25016 21155 411 171 0 23941 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 100064

[startup+51.1018 s]
/proc/loadavg: 2.08 2.04 2.01 3/74 19023
/proc/meminfo: memFree=1196936/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=113200 CPUtime=50.87
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 51315 666 0 0 5067 20 0 0 25 0 1 0 59327121 115916800 23526 996147200 134512640 135215973 4294956304 18446744073709551615 134591426 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 28300 23526 413 171 0 27225 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 113200

[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.00 3/74 19023
/proc/meminfo: memFree=1181192/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=114512 CPUtime=101.86
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 202577 666 0 0 10120 66 0 0 25 0 1 0 59327121 117260288 23858 996147200 134512640 135215973 4294956304 18446744073709551615 134591429 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 28628 23858 413 171 0 27553 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 114512

[startup+162.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/74 19023
/proc/meminfo: memFree=1157064/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=122300 CPUtime=161.62
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 370703 666 0 0 16048 114 0 0 25 0 1 0 59327121 125235200 25799 996147200 134512640 135215973 4294956304 18446744073709551615 134969492 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 30575 25799 413 171 0 29500 0
Current children cumulated CPU time (s) 161.62
Current children cumulated vsize (KiB) 122300

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/74 19023
/proc/meminfo: memFree=1134664/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=127440 CPUtime=221.37
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 516323 666 0 0 21981 156 0 0 25 0 1 0 59327121 130498560 27104 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 31860 27104 413 171 0 30785 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 127440

[startup+282.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 19023
/proc/meminfo: memFree=1107336/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=136944 CPUtime=281.13
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 661526 666 0 0 27914 199 0 0 25 0 1 0 59327121 140230656 29477 996147200 134512640 135215973 4294956304 18446744073709551615 134583589 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 34236 29477 413 171 0 33161 0
Current children cumulated CPU time (s) 281.13
Current children cumulated vsize (KiB) 136944

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=1078728/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=146972 CPUtime=340.88
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 858307 666 0 0 33830 258 0 0 25 0 1 0 59327121 150499328 31993 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 36743 31993 413 171 0 35668 0
Current children cumulated CPU time (s) 340.88
Current children cumulated vsize (KiB) 146972

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=1056392/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=153832 CPUtime=400.65
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 998544 666 0 0 39767 298 0 0 25 0 1 0 59327121 157523968 33720 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 38458 33720 413 171 0 37383 0
Current children cumulated CPU time (s) 400.65
Current children cumulated vsize (KiB) 153832

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=1034504/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=158716 CPUtime=460.4
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 1113188 666 0 0 45706 334 0 0 25 0 1 0 59327121 162525184 34964 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 39679 34964 413 171 0 38604 0
Current children cumulated CPU time (s) 460.4
Current children cumulated vsize (KiB) 158716

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=993416/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=163996 CPUtime=520.15
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 1214682 666 0 0 51650 365 0 0 25 0 1 0 59327121 167931904 36288 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 40999 36288 413 171 0 39924 0
Current children cumulated CPU time (s) 520.15
Current children cumulated vsize (KiB) 163996

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=973512/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=169136 CPUtime=579.91
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 1308444 666 0 0 57596 395 0 0 25 0 1 0 59327121 173195264 37575 996147200 134512640 135215973 4294956304 18446744073709551615 134583949 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 42284 37575 413 171 0 41209 0
Current children cumulated CPU time (s) 579.91
Current children cumulated vsize (KiB) 169136

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19023
/proc/meminfo: memFree=945352/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=176128 CPUtime=639.68
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 1476122 666 0 0 63521 447 0 0 25 0 1 0 59327121 180355072 39338 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 44032 39338 413 171 0 42957 0
Current children cumulated CPU time (s) 639.68
Current children cumulated vsize (KiB) 176128

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/84 19097
/proc/meminfo: memFree=1186616/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=203716 CPUtime=878.17
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2111215 666 0 0 87187 630 0 0 25 0 1 0 59327121 208605184 46276 996147200 134512640 135215973 4294956304 18446744073709551615 4158961376 0 0 4096 0 0 0 0 17 1 0 0
/proc/19018/statm: 50929 46276 413 171 0 49854 0
Current children cumulated CPU time (s) 878.17
Current children cumulated vsize (KiB) 203716

[startup+942.302 s]
/proc/loadavg: 2.07 2.03 2.01 3/84 19099
/proc/meminfo: memFree=980664/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=209244 CPUtime=937.67
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2241259 666 0 0 93100 667 0 0 25 0 1 0 59327121 214265856 47665 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/19018/statm: 52311 47665 413 171 0 51236 0
Current children cumulated CPU time (s) 937.67
Current children cumulated vsize (KiB) 209244

[startup+1002.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/84 19099
/proc/meminfo: memFree=794104/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=214120 CPUtime=997.15
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2347920 666 0 0 99017 698 0 0 25 0 1 0 59327121 219258880 48891 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/19018/statm: 53530 48891 413 171 0 52455 0
Current children cumulated CPU time (s) 997.15
Current children cumulated vsize (KiB) 214120

[startup+1062.3 s]
/proc/loadavg: 2.20 2.09 2.02 4/84 19100
/proc/meminfo: memFree=729264/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=218880 CPUtime=1056.64
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2471846 666 0 0 104929 735 0 0 25 0 1 0 59327121 224133120 50102 996147200 134512640 135215973 4294956304 18446744073709551615 4158960025 0 0 4096 0 0 0 0 17 1 0 0
/proc/19018/statm: 54720 50102 413 171 0 53645 0
Current children cumulated CPU time (s) 1056.64
Current children cumulated vsize (KiB) 218880

[startup+1122.3 s]
/proc/loadavg: 2.33 2.14 2.04 4/84 19100
/proc/meminfo: memFree=692656/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=223080 CPUtime=1116.13
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2602066 666 0 0 110842 771 0 0 25 0 1 0 59327121 228433920 51127 996147200 134512640 135215973 4294956304 18446744073709551615 134591826 0 0 4096 0 0 0 0 17 1 0 0
/proc/19018/statm: 55770 51127 413 171 0 54695 0
Current children cumulated CPU time (s) 1116.13
Current children cumulated vsize (KiB) 223080

[startup+1182.3 s]
/proc/loadavg: 2.52 2.24 2.08 4/84 19100
/proc/meminfo: memFree=679984/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=226636 CPUtime=1175.62
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2695341 666 0 0 116760 802 0 0 25 0 1 0 59327121 232075264 52029 996147200 134512640 135215973 4294956304 18446744073709551615 134590043 0 0 4096 0 0 0 0 17 1 0 0
/proc/19018/statm: 56659 52029 413 171 0 55584 0
Current children cumulated CPU time (s) 1175.62
Current children cumulated vsize (KiB) 226636

[startup+1242.3 s]
/proc/loadavg: 2.77 2.34 2.12 4/83 19100
/proc/meminfo: memFree=675888/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=230724 CPUtime=1235.11
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2815550 666 0 0 122671 840 0 0 25 0 1 0 59327121 236261376 53033 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/19018/statm: 57681 53033 413 171 0 56606 0
Current children cumulated CPU time (s) 1235.11
Current children cumulated vsize (KiB) 230724

[startup+1302.3 s]
/proc/loadavg: 2.28 2.28 2.11 3/74 19132
/proc/meminfo: memFree=1256272/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=232836 CPUtime=1294.7
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2868732 666 0 0 128611 859 0 0 25 0 1 0 59327121 238424064 53565 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 58209 53565 413 171 0 57134 0
Current children cumulated CPU time (s) 1294.7
Current children cumulated vsize (KiB) 232836

[startup+1362.3 s]
/proc/loadavg: 2.10 2.23 2.10 3/74 19132
/proc/meminfo: memFree=1227152/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=235472 CPUtime=1354.45
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 2939614 666 0 0 134566 879 0 0 25 0 1 0 59327121 241123328 54247 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 58868 54247 413 171 0 57793 0
Current children cumulated CPU time (s) 1354.45
Current children cumulated vsize (KiB) 235472

[startup+1422.31 s]
/proc/loadavg: 2.04 2.18 2.09 3/74 19132
/proc/meminfo: memFree=1179472/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=248800 CPUtime=1414.21
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 3173927 666 0 0 140475 946 0 0 25 0 1 0 59327121 254771200 57575 996147200 134512640 135215973 4294956304 18446744073709551615 135097572 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 62200 57575 413 171 0 61125 0
Current children cumulated CPU time (s) 1414.21
Current children cumulated vsize (KiB) 248800

[startup+1482.3 s]
/proc/loadavg: 2.01 2.15 2.08 3/74 19138
/proc/meminfo: memFree=1140560/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=259612 CPUtime=1473.94
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 3398201 666 0 0 146381 1013 0 0 25 0 1 0 59327121 265842688 60314 996147200 134512640 135215973 4294956304 18446744073709551615 135094648 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 64903 60314 413 171 0 63828 0
Current children cumulated CPU time (s) 1473.94
Current children cumulated vsize (KiB) 259612

[startup+1542.3 s]
/proc/loadavg: 2.00 2.12 2.08 3/74 19138
/proc/meminfo: memFree=1124112/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=273332 CPUtime=1533.71
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 3616426 666 0 0 152291 1080 0 0 25 0 1 0 59327121 279891968 63754 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 68333 63754 413 171 0 67258 0
Current children cumulated CPU time (s) 1533.71
Current children cumulated vsize (KiB) 273332

[startup+1602.3 s]
/proc/loadavg: 2.00 2.09 2.07 3/74 19138
/proc/meminfo: memFree=1111440/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=286388 CPUtime=1593.45
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 3830421 666 0 0 158202 1143 0 0 25 0 1 0 59327121 293261312 67014 996147200 134512640 135215973 4294956304 18446744073709551615 134583626 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 71597 67014 413 171 0 70522 0
Current children cumulated CPU time (s) 1593.45
Current children cumulated vsize (KiB) 286388

[startup+1662.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/74 19138
/proc/meminfo: memFree=1098576/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=296928 CPUtime=1653.22
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 4077177 666 0 0 164106 1216 0 0 25 0 1 0 59327121 304054272 69690 996147200 134512640 135215973 4294956304 18446744073709551615 135094608 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 74232 69690 413 171 0 73157 0
Current children cumulated CPU time (s) 1653.22
Current children cumulated vsize (KiB) 296928

[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.07 3/74 19138
/proc/meminfo: memFree=1085136/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=309860 CPUtime=1712.97
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 4297760 666 0 0 170019 1278 0 0 25 0 1 0 59327121 317296640 72923 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 77465 72923 413 171 0 76390 0
Current children cumulated CPU time (s) 1712.97
Current children cumulated vsize (KiB) 309860

[startup+1782.3 s]
/proc/loadavg: 2.14 2.09 2.07 3/74 19138
/proc/meminfo: memFree=1076824/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=317640 CPUtime=1772.73
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 4417419 666 0 0 175959 1314 0 0 25 0 1 0 59327121 325263360 74862 996147200 134512640 135215973 4294956304 18446744073709551615 134583449 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 79410 74862 413 171 0 78335 0
Current children cumulated CPU time (s) 1772.73
Current children cumulated vsize (KiB) 317640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.7 s]
/proc/loadavg: 2.16 2.10 2.07 3/74 19138
/proc/meminfo: memFree=1073752/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=319880 CPUtime=1800.03
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 4463085 666 0 0 178674 1329 0 0 25 0 1 0 59327121 327557120 75438 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 79970 75438 413 171 0 78895 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 319880

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

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

[startup+1809.7 s]
/proc/loadavg: 2.16 2.10 2.07 3/74 19138
/proc/meminfo: memFree=1073752/2055920 swapFree=4192812/4192956
[pid=19018] ppid=19016 vsize=319880 CPUtime=1800.03
/proc/19018/stat : 19018 (pcs.big) R 19016 19018 17322 0 -1 4194304 4463085 666 0 0 178674 1329 0 0 25 0 1 0 59327121 327557120 75438 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 0 0 0
/proc/19018/statm: 79970 75438 413 171 0 78895 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 319880

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.76
CPU time (s): 1800.1
CPU user time (s): 1786.75
CPU system time (s): 13.351
CPU usage (%): 99.4664
Max. virtual memory (cumulated for all children) (KiB): 320156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.75
system time used= 13.351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4463751
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= 29092

runsolver used 1.88171 second user time and 4.73028 second system time

The end

Launcher Data 

Begin job on node92 at 2009-07-16 07:37:01
IDJOB=2083187
IDBENCH=57732
IDSOLVER=733
FILE ID=node92/2083187-1247722621
PBS_JOBID= 9521414
Free space on /tmp= 66300 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/fapp/fapp13/normalized-fapp13-2000-6.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083187-1247722621/watcher-2083187-1247722621 -o /tmp/evaluation-result-2083187-1247722621/solver-2083187-1247722621 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1545155911 HOME/instance-2083187-1247722621.xml

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

MD5SUM BENCH= b1bc0ce20909360461048c9e001540ac
RANDOM SEED=1545155911

node92.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.216
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.216
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1306864 kB
Buffers:         78172 kB
Cached:         234220 kB
SwapCached:          0 kB
Active:         442536 kB
Inactive:       236092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1306864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5304 kB
Writeback:           0 kB
Mapped:         377788 kB
Slab:            55044 kB
Committed_AS:   863484 kB
PageTables:       2632 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= 66292 MiB
End job on node92 at 2009-07-16 08:07:13