Trace number 2076444

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? (MO) 1669.78 1675.24

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-95-2.xml
MD5SUMcf2755c41c9629ae5bc712eeb2cf6ab2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.20766
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1229
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
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.02	c Seed is 374200407
0.00/0.02	c Constructing HOME/instance-2076444-1247714191.xml  with 53200 constraints
0.77/0.84	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-2076444-1247714191/watcher-2076444-1247714191 -o /tmp/evaluation-result-2076444-1247714191/solver-2076444-1247714191 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 374200407 HOME/instance-2076444-1247714191.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.12 2.02 2.00 4/72 12406
/proc/meminfo: memFree=1270368/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=5260 CPUtime=0
/proc/12406/stat : 12406 (pcssolve) R 12404 12406 10842 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 58485980 5386240 52 996147200 4194304 4889804 548682068800 18446744073709551615 237785646032 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 1315 52 38 169 0 14 0

[startup+0.06685 s]
/proc/loadavg: 2.12 2.02 2.00 4/72 12406
/proc/meminfo: memFree=1270368/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=5540 CPUtime=0.04
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 1045 664 0 0 4 0 0 0 23 0 1 0 58485980 5672960 676 996147200 134512640 135215973 4294956304 18446744073709551615 134718477 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 1385 676 388 171 0 310 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5540

[startup+0.101854 s]
/proc/loadavg: 2.12 2.02 2.00 4/72 12406
/proc/meminfo: memFree=1270368/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=6520 CPUtime=0.07
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 1289 664 0 0 7 0 0 0 23 0 1 0 58485980 6676480 846 996147200 134512640 135215973 4294956304 18446744073709551615 134632437 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 1630 846 388 171 0 555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6520

[startup+0.301891 s]
/proc/loadavg: 2.12 2.02 2.00 4/72 12406
/proc/meminfo: memFree=1270368/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=11020 CPUtime=0.27
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 2716 664 0 0 26 1 0 0 25 0 1 0 58485980 11284480 1809 996147200 134512640 135215973 4294956304 18446744073709551615 4158911783 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 2755 1809 388 171 0 1680 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11020

[startup+0.701965 s]
/proc/loadavg: 2.12 2.02 2.00 4/72 12406
/proc/meminfo: memFree=1270368/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=20240 CPUtime=0.66
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 5769 664 0 0 64 2 0 0 25 0 1 0 58485980 20725760 3675 996147200 134512640 135215973 4294956304 18446744073709551615 134739661 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 5060 3675 388 171 0 3985 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 20240

[startup+1.50111 s]
/proc/loadavg: 2.12 2.02 2.00 3/73 12411
/proc/meminfo: memFree=1246488/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=35796 CPUtime=1.46
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 11431 664 0 0 141 5 0 0 25 0 1 0 58485980 36655104 7767 996147200 134512640 135215973 4294956304 18446744073709551615 134582231 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 8949 7767 406 171 0 7874 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 35796

[startup+3.10141 s]
/proc/loadavg: 2.11 2.02 2.00 3/73 12411
/proc/meminfo: memFree=1236056/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=40968 CPUtime=3.05
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 14748 664 0 0 299 6 0 0 25 0 1 0 58485980 41951232 9101 996147200 134512640 135215973 4294956304 18446744073709551615 134587255 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 10242 9101 406 171 0 9167 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40968

[startup+6.302 s]
/proc/loadavg: 2.11 2.02 2.00 3/73 12411
/proc/meminfo: memFree=1229400/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=51452 CPUtime=6.22
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 26213 664 0 0 612 10 0 0 25 0 1 0 58485980 52686848 10437 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 12863 10437 406 171 0 11788 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 51452

[startup+12.7022 s]
/proc/loadavg: 2.10 2.02 2.00 3/73 12411
/proc/meminfo: memFree=1228184/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=52392 CPUtime=12.55
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 93349 664 0 0 1224 31 0 0 25 0 1 0 58485980 53649408 10689 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 13098 10689 406 171 0 12023 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 52392

[startup+25.5015 s]
/proc/loadavg: 2.08 2.02 2.00 3/73 12411
/proc/meminfo: memFree=1224792/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=54948 CPUtime=25.24
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 213806 664 0 0 2453 71 0 0 25 0 1 0 58485980 56266752 11402 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 13737 11402 406 171 0 12662 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 54948

[startup+51.1012 s]
/proc/loadavg: 2.05 2.01 2.00 3/73 12411
/proc/meminfo: memFree=1214936/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=62740 CPUtime=50.6
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 523050 664 0 0 4889 171 0 0 25 0 1 0 58485980 64245760 13550 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 15685 13550 406 171 0 14610 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 62740

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/73 12411
/proc/meminfo: memFree=1191320/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=86140 CPUtime=101.34
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 1144794 664 0 0 9759 375 0 0 25 0 1 0 58485980 88207360 18758 996147200 134512640 135215973 4294956304 18446744073709551615 134532715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 21535 18758 406 171 0 20460 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 86140

[startup+162.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 12411
/proc/meminfo: memFree=1167896/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=106052 CPUtime=160.79
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 1961972 664 0 0 15443 636 0 0 25 0 1 0 58485980 108597248 24036 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 26513 24036 406 171 0 25438 0
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (KiB) 106052

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12411
/proc/meminfo: memFree=1137752/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=133876 CPUtime=220.24
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 2631814 664 0 0 21167 857 0 0 25 0 1 0 58485980 137089024 30735 996147200 134512640 135215973 4294956304 18446744073709551615 134533253 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 33469 30735 406 171 0 32394 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 133876

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12411
/proc/meminfo: memFree=1096792/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=160472 CPUtime=279.7
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 3068762 664 0 0 26961 1009 0 0 25 0 1 0 58485980 164323328 37202 996147200 134512640 135215973 4294956304 18446744073709551615 134590021 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 40118 37202 406 171 0 39043 0
Current children cumulated CPU time (s) 279.7
Current children cumulated vsize (KiB) 160472

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12411
/proc/meminfo: memFree=1070552/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=183376 CPUtime=339.16
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 3456949 664 0 0 32770 1146 0 0 25 0 1 0 58485980 187777024 43405 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 45844 43405 406 171 0 44769 0
Current children cumulated CPU time (s) 339.16
Current children cumulated vsize (KiB) 183376

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12411
/proc/meminfo: memFree=1037336/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=225568 CPUtime=398.62
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 4055204 664 0 0 38527 1335 0 0 25 0 1 0 58485980 230981632 51543 996147200 134512640 135215973 4294956304 18446744073709551615 134587557 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 56392 51543 406 171 0 55317 0
Current children cumulated CPU time (s) 398.62
Current children cumulated vsize (KiB) 225568

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12411
/proc/meminfo: memFree=1004376/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=251540 CPUtime=458.08
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 4652684 664 0 0 44289 1519 0 0 25 0 1 0 58485980 257576960 59211 996147200 134512640 135215973 4294956304 18446744073709551615 135096358 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 62885 59211 406 171 0 61810 0
Current children cumulated CPU time (s) 458.08
Current children cumulated vsize (KiB) 251540

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12411
/proc/meminfo: memFree=980376/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=272180 CPUtime=517.54
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 5240034 664 0 0 50046 1708 0 0 25 0 1 0 58485980 278712320 64937 996147200 134512640 135215973 4294956304 18446744073709551615 3071615 0 0 4096 0 0 0 0 17 1 0 0
/proc/12406/statm: 68045 64937 406 171 0 66970 0
Current children cumulated CPU time (s) 517.54
Current children cumulated vsize (KiB) 272180

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12495
/proc/meminfo: memFree=1034752/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=287232 CPUtime=577.3
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 5709133 664 0 0 55854 1876 0 0 25 0 1 0 58485980 294125568 68792 996147200 134512640 135215973 4294956304 18446744073709551615 134581946 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 71808 68792 406 171 0 70733 0
Current children cumulated CPU time (s) 577.3
Current children cumulated vsize (KiB) 287232

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12495
/proc/meminfo: memFree=1017024/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=304408 CPUtime=637.28
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 6201105 664 0 0 61680 2048 0 0 25 0 1 0 58485980 311713792 73164 996147200 134512640 135215973 4294956304 18446744073709551615 134648295 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 76102 73164 406 171 0 75027 0
Current children cumulated CPU time (s) 637.28
Current children cumulated vsize (KiB) 304408

[startup+702.302 s]

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

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 12495
/proc/meminfo: memFree=978880/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=341700 CPUtime=757.22
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 7348793 664 0 0 73292 2430 0 0 25 0 1 0 58485980 349900800 82674 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 85425 82674 406 171 0 84350 0
Current children cumulated CPU time (s) 757.22
Current children cumulated vsize (KiB) 341700

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12495
/proc/meminfo: memFree=941568/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=378352 CPUtime=817.19
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 9100120 664 0 0 78811 2908 0 0 25 0 1 0 58485980 387432448 92119 996147200 134512640 135215973 4294956304 18446744073709551615 134600683 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 94588 92119 406 171 0 93513 0
Current children cumulated CPU time (s) 817.19
Current children cumulated vsize (KiB) 378352

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12495
/proc/meminfo: memFree=889800/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=436632 CPUtime=877.17
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 10799509 664 0 0 84357 3360 0 0 25 0 1 0 58485980 447111168 104985 996147200 134512640 135215973 4294956304 18446744073709551615 3039073 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 109158 104985 406 171 0 108083 0
Current children cumulated CPU time (s) 877.17
Current children cumulated vsize (KiB) 436632

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12495
/proc/meminfo: memFree=855752/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=469928 CPUtime=937.14
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 11913104 664 0 0 90040 3674 0 0 25 0 1 0 58485980 481206272 113522 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 117482 113522 406 171 0 116407 0
Current children cumulated CPU time (s) 937.14
Current children cumulated vsize (KiB) 469928

[startup+1002.3 s]
/proc/loadavg: 2.17 2.06 2.02 3/83 12537
/proc/meminfo: memFree=98432/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=503568 CPUtime=997.11
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 12851406 664 0 0 95770 3941 0 0 25 0 1 0 58485980 515653632 122072 996147200 134512640 135215973 4294956304 18446744073709551615 134600016 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 125892 122072 406 171 0 124817 0
Current children cumulated CPU time (s) 997.11
Current children cumulated vsize (KiB) 503568

[startup+1062.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/73 12570
/proc/meminfo: memFree=808280/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=554144 CPUtime=1057.08
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 13848363 664 0 0 101476 4232 0 0 25 0 1 0 58485980 567443456 131130 996147200 134512640 135215973 4294956304 18446744073709551615 134591939 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 138536 131130 406 171 0 137461 0
Current children cumulated CPU time (s) 1057.08
Current children cumulated vsize (KiB) 554144

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 12570
/proc/meminfo: memFree=766616/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=589600 CPUtime=1117.06
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 14803954 664 0 0 107208 4498 0 0 25 0 1 0 58485980 603750400 141191 996147200 134512640 135215973 4294956304 18446744073709551615 134902624 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 147400 141191 406 171 0 146325 0
Current children cumulated CPU time (s) 1117.06
Current children cumulated vsize (KiB) 589600

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 12570
/proc/meminfo: memFree=724824/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=626308 CPUtime=1177.03
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 15719454 664 0 0 112947 4756 0 0 25 0 1 0 58485980 641339392 151595 996147200 134512640 135215973 4294956304 18446744073709551615 135094450 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 156577 151595 406 171 0 155502 0
Current children cumulated CPU time (s) 1177.03
Current children cumulated vsize (KiB) 626308

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 12570
/proc/meminfo: memFree=684952/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=660632 CPUtime=1237
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 16519122 664 0 0 118721 4979 0 0 25 0 1 0 58485980 676487168 161214 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 165158 161232 406 171 0 164083 0
Current children cumulated CPU time (s) 1237
Current children cumulated vsize (KiB) 660632

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12570
/proc/meminfo: memFree=664856/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=679380 CPUtime=1296.98
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 16966661 664 0 0 124572 5126 0 0 25 0 1 0 58485980 695685120 166002 996147200 134512640 135215973 4294956304 18446744073709551615 4158960659 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 169845 166002 406 171 0 168770 0
Current children cumulated CPU time (s) 1296.98
Current children cumulated vsize (KiB) 679380

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 12570
/proc/meminfo: memFree=646424/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=697264 CPUtime=1356.95
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 17340786 664 0 0 130434 5261 0 0 25 0 1 0 58485980 713998336 170517 996147200 134512640 135215973 4294956304 18446744073709551615 134585658 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 174316 170517 406 171 0 173241 0
Current children cumulated CPU time (s) 1356.95
Current children cumulated vsize (KiB) 697264

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12601
/proc/meminfo: memFree=623896/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=721736 CPUtime=1416.93
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 17975161 664 0 0 136245 5448 0 0 25 0 1 0 58485980 739057664 176762 996147200 134512640 135215973 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 180480 176783 406 171 0 179405 0
Current children cumulated CPU time (s) 1416.93
Current children cumulated vsize (KiB) 721736

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12601
/proc/meminfo: memFree=584472/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=754904 CPUtime=1476.9
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 18623788 664 0 0 142050 5640 0 0 25 0 1 0 58485980 773021696 185161 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 188726 185161 406 171 0 187651 0
Current children cumulated CPU time (s) 1476.9
Current children cumulated vsize (KiB) 754904

[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/83 12642
/proc/meminfo: memFree=541696/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=787508 CPUtime=1536.87
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 19641998 664 0 0 147762 5925 0 0 25 0 1 0 58485980 806408192 193487 996147200 134512640 135215973 4294956304 18446744073709551615 134589862 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 196877 193487 406 171 0 195802 0
Current children cumulated CPU time (s) 1536.87
Current children cumulated vsize (KiB) 787508

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12642
/proc/meminfo: memFree=507712/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=821444 CPUtime=1596.84
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 20472994 664 0 0 153522 6162 0 0 25 0 1 0 58485980 841158656 202095 996147200 134512640 135215973 4294956304 18446744073709551615 134627170 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 205361 202095 406 171 0 204286 0
Current children cumulated CPU time (s) 1596.84
Current children cumulated vsize (KiB) 821444

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12642
/proc/meminfo: memFree=472640/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=855072 CPUtime=1656.82
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 21331031 664 0 0 159286 6396 0 0 25 0 1 0 58485980 875593728 210650 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 213768 210650 406 171 0 212693 0
Current children cumulated CPU time (s) 1656.82
Current children cumulated vsize (KiB) 855072



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1675.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12642
/proc/meminfo: memFree=413696/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=931348 CPUtime=1669.62
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4194304 21536679 664 0 0 160510 6452 0 0 25 0 1 0 58485980 953700352 225674 996147200 134512640 135215973 4294956304 18446744073709551615 134649098 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 232837 225674 406 171 0 231762 0
Current children cumulated CPU time (s) 1669.62
Current children cumulated vsize (KiB) 931348

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

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

[startup+1675.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 12643
/proc/meminfo: memFree=1093048/2055920 swapFree=4192812/4192956
[pid=12406] ppid=12404 vsize=0 CPUtime=1669.73
/proc/12406/stat : 12406 (pcs.big) R 12404 12406 10842 0 -1 4195332 21536679 664 0 0 160510 6463 0 0 25 0 1 0 58485980 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/12406/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1669.73
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1675.24
CPU time (s): 1669.78
CPU user time (s): 1605.11
CPU system time (s): 64.6692
CPU usage (%): 99.6736
Max. virtual memory (cumulated for all children) (KiB): 931348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1605.11
system time used= 64.6692
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21537343
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= 29
involuntary context switches= 15365

runsolver used 2.34564 second user time and 5.02224 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 05:16:32
IDJOB=2076444
IDBENCH=56424
IDSOLVER=733
FILE ID=node24/2076444-1247714191
PBS_JOBID= 9521371
Free space on /tmp= 66408 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-95-2.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076444-1247714191/watcher-2076444-1247714191 -o /tmp/evaluation-result-2076444-1247714191/solver-2076444-1247714191 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 374200407 HOME/instance-2076444-1247714191.xml

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

MD5SUM BENCH= cf2755c41c9629ae5bc712eeb2cf6ab2
RANDOM SEED=374200407

node24.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.287
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.287
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:       1270848 kB
Buffers:         88916 kB
Cached:         524580 kB
SwapCached:          0 kB
Active:         268808 kB
Inactive:       426300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1270848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2816 kB
Writeback:           0 kB
Mapped:          93064 kB
Slab:            75220 kB
Committed_AS:   616348 kB
PageTables:       1964 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= 66412 MiB
End job on node24 at 2009-07-16 05:44:29