Trace number 2082857

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) 1543.8 1548.74

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-07-1079.xml
MD5SUMb79d5ab9b474e138388bd882c1eb4f79
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 benchmark0.897862
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1080
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
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.18/0.21	c Seed is 659546995
0.18/0.21	c Constructing HOME/instance-2082857-1247721731.xml  with 6500 constraints
0.18/0.21	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-2082857-1247721731/watcher-2082857-1247721731 -o /tmp/evaluation-result-2082857-1247721731/solver-2082857-1247721731 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 659546995 HOME/instance-2082857-1247721731.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.00 2.00 2.00 4/81 16831
/proc/meminfo: memFree=1335192/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=5356 CPUtime=0
/proc/16831/stat : 16831 (pcssolve) R 16829 16831 13922 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59239722 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16831/statm: 1339 241 200 169 0 50 0
[pid=16832] ppid=16831 vsize=5356 CPUtime=0
/proc/16832/stat : 16832 (pcssolve) R 16831 16831 13922 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 59239723 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 255236566311 0 0 4096 0 0 0 0 17 1 0 0
/proc/16832/statm: 1339 243 202 169 0 50 0
[pid=16833] ppid=16831 vsize=5356 CPUtime=0
/proc/16833/stat : 16833 (pcssolve) R 16831 16831 13922 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59239723 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16833/statm: 1339 241 200 169 0 50 0

[startup+0.0947469 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16831
/proc/meminfo: memFree=1335192/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=6456 CPUtime=0.07
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 1266 657 0 0 7 0 0 0 18 0 1 0 59239722 6610944 823 996147200 134512640 135215973 4294956304 18446744073709551615 134627089 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 1614 823 388 171 0 539 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6456

[startup+0.102742 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16831
/proc/meminfo: memFree=1335192/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=6456 CPUtime=0.08
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 1290 657 0 0 8 0 0 0 18 0 1 0 59239722 6610944 847 996147200 134512640 135215973 4294956304 18446744073709551615 7913461 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 1614 847 388 171 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6456

[startup+0.302772 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16831
/proc/meminfo: memFree=1335192/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=8980 CPUtime=0.28
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 2140 657 0 0 28 0 0 0 19 0 1 0 59239722 9195520 1483 996147200 134512640 135215973 4294956304 18446744073709551615 134588248 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 2245 1483 407 171 0 1170 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8980

[startup+0.702826 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 16831
/proc/meminfo: memFree=1335192/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=9120 CPUtime=0.68
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 2183 657 0 0 68 0 0 0 23 0 1 0 59239722 9338880 1526 996147200 134512640 135215973 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 2280 1526 407 171 0 1205 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9120

[startup+1.50191 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1330448/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=9556 CPUtime=1.46
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 2295 657 0 0 146 0 0 0 25 0 1 0 59239722 9785344 1638 996147200 134512640 135215973 4294956304 18446744073709551615 134587736 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 2389 1638 407 171 0 1314 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9556

[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1329744/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=11948 CPUtime=3.05
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 2975 657 0 0 305 0 0 0 25 0 1 0 59239722 12234752 2076 996147200 134512640 135215973 4294956304 18446744073709551615 4158960060 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 2987 2076 407 171 0 1912 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 11948

[startup+6.30141 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1327120/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=13424 CPUtime=6.23
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 3391 657 0 0 622 1 0 0 25 0 1 0 59239722 13746176 2427 996147200 134512640 135215973 4294956304 18446744073709551615 7917432 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 3356 2427 407 171 0 2281 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13424

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1323344/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=17552 CPUtime=12.56
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 4529 657 0 0 1255 1 0 0 25 0 1 0 59239722 17973248 3371 996147200 134512640 135215973 4294956304 18446744073709551615 134590359 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 4388 3371 407 171 0 3313 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 17552

[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1315408/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=25532 CPUtime=25.24
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 6705 657 0 0 2521 3 0 0 25 0 1 0 59239722 26144768 5290 996147200 134512640 135215973 4294956304 18446744073709551615 134589760 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 6383 5290 407 171 0 5308 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 25532

[startup+51.1022 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1300432/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=41456 CPUtime=50.6
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 11048 657 0 0 5054 6 0 0 25 0 1 0 59239722 42450944 9120 996147200 134512640 135215973 4294956304 18446744073709551615 134592210 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 10364 9120 407 171 0 9289 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 41456

[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1270864/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=72356 CPUtime=101.32
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 19498 657 0 0 10119 13 0 0 25 0 1 0 59239722 74092544 16416 996147200 134512640 135215973 4294956304 18446744073709551615 134597427 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 18089 16416 407 171 0 17014 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 72356

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1235856/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=104428 CPUtime=160.76
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 28252 657 0 0 16056 20 0 0 25 0 1 0 59239722 106934272 25170 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 26107 25170 407 171 0 25032 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 104428

[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1203664/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=142404 CPUtime=220.19
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 38559 657 0 0 21991 28 0 0 25 0 1 0 59239722 145821696 33171 996147200 134512640 135215973 4294956304 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 35601 33171 407 171 0 34526 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 142404

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1170128/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=172680 CPUtime=279.64
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 46969 657 0 0 27930 34 0 0 25 0 1 0 59239722 176824320 41581 996147200 134512640 135215973 4294956304 18446744073709551615 134589881 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 43170 41581 407 171 0 42095 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 172680

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1137816/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=217836 CPUtime=339.07
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 59097 657 0 0 33866 41 0 0 25 0 1 0 59239722 223064064 49612 996147200 134512640 135215973 4294956304 18446744073709551615 7917300 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 54459 49612 407 171 0 53384 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 217836

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1106584/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=246300 CPUtime=398.52
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 66974 657 0 0 39805 47 0 0 25 0 1 0 59239722 252211200 57489 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 61575 57489 407 171 0 60500 0
Current children cumulated CPU time (s) 398.52
Current children cumulated vsize (KiB) 246300

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16836
/proc/meminfo: memFree=1073304/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=278228 CPUtime=457.95
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 75679 657 0 0 45742 53 0 0 25 0 1 0 59239722 284905472 65681 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/16831/statm: 69557 65681 407 171 0 68482 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 278228

[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1164208/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=307308 CPUtime=517.77
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 83777 657 0 0 51717 60 0 0 25 0 1 0 59239722 314683392 73779 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 76827 73779 407 171 0 75752 0
Current children cumulated CPU time (s) 517.77
Current children cumulated vsize (KiB) 307308

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1120304/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=338892 CPUtime=577.73
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 92511 657 0 0 57707 66 0 0 25 0 1 0 59239722 347025408 82513 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 84723 82513 407 171 0 83648 0
Current children cumulated CPU time (s) 577.73
Current children cumulated vsize (KiB) 338892

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1069616/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=373700 CPUtime=637.72
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 102021 657 0 0 63698 74 0 0 25 0 1 0 59239722 382668800 92023 996147200 134512640 135215973 4294956304 18446744073709551615 134648295 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 93425 92023 407 171 0 92350 0
Current children cumulated CPU time (s) 637.72
Current children cumulated vsize (KiB) 373700

[startup+702.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=1018992/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=440432 CPUtime=697.68
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 119501 657 0 0 69685 83 0 0 25 0 1 0 59239722 451002368 101310 996147200 134512640 135215973 4294956304 18446744073709551615 134583674 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 110108 101310 407 171 0 109033 0
Current children cumulated CPU time (s) 697.68
Current children cumulated vsize (KiB) 440432

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=970864/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=471092 CPUtime=757.66
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 128002 657 0 0 75677 89 0 0 25 0 1 0 59239722 482398208 109811 996147200 134512640 135215973 4294956304 18446744073709551615 134902553 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 117773 109811 407 171 0 116698 0
Current children cumulated CPU time (s) 757.66
Current children cumulated vsize (KiB) 471092

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=928944/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=502712 CPUtime=817.64
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 136712 657 0 0 81669 95 0 0 25 0 1 0 59239722 514777088 118521 996147200 134512640 135215973 4294956304 18446744073709551615 7925377 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 125678 118521 407 171 0 124603 0
Current children cumulated CPU time (s) 817.64
Current children cumulated vsize (KiB) 502712

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=881648/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=546236 CPUtime=877.61
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 148439 657 0 0 87659 102 0 0 25 0 1 0 59239722 559345664 129223 996147200 134512640 135215973 4294956304 18446744073709551615 134590681 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 136559 129223 407 171 0 135484 0
Current children cumulated CPU time (s) 877.61
Current children cumulated vsize (KiB) 546236

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=836080/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=575240 CPUtime=937.59
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 156557 657 0 0 93652 107 0 0 25 0 1 0 59239722 589045760 137341 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 143810 137341 407 171 0 142735 0
Current children cumulated CPU time (s) 937.59
Current children cumulated vsize (KiB) 575240

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=787376/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=609192 CPUtime=997.56
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 165881 657 0 0 99643 113 0 0 25 0 1 0 59239722 623812608 146665 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 152298 146665 407 171 0 151223 0
Current children cumulated CPU time (s) 997.56
Current children cumulated vsize (KiB) 609192

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=746992/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=640116 CPUtime=1057.55
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 174448 657 0 0 105636 119 0 0 25 0 1 0 59239722 655478784 155232 996147200 134512640 135215973 4294956304 18446744073709551615 134951532 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 160029 155232 407 171 0 158954 0
Current children cumulated CPU time (s) 1057.55
Current children cumulated vsize (KiB) 640116

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=704880/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=670340 CPUtime=1117.51
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 182818 657 0 0 111626 125 0 0 25 0 1 0 59239722 686428160 163602 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 167585 163602 407 171 0 166510 0
Current children cumulated CPU time (s) 1117.51
Current children cumulated vsize (KiB) 670340

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=664944/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=697560 CPUtime=1177.49
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 190434 657 0 0 117619 130 0 0 25 0 1 0 59239722 714301440 171218 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 174390 171218 407 171 0 173315 0
Current children cumulated CPU time (s) 1177.49
Current children cumulated vsize (KiB) 697560

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=628720/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=723584 CPUtime=1237.47
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 197691 657 0 0 123612 135 0 0 25 0 1 0 59239722 740950016 178475 996147200 134512640 135215973 4294956304 18446744073709551615 134533372 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 180896 178475 407 171 0 179821 0
Current children cumulated CPU time (s) 1237.47
Current children cumulated vsize (KiB) 723584

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=589872/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=748364 CPUtime=1297.44
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 204590 657 0 0 129605 139 0 0 25 0 1 0 59239722 766324736 185374 996147200 134512640 135215973 4294956304 18446744073709551615 134600322 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 187091 185374 407 171 0 186016 0
Current children cumulated CPU time (s) 1297.44
Current children cumulated vsize (KiB) 748364

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=554736/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=838760 CPUtime=1357.42
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 227903 657 0 0 135590 152 0 0 25 0 1 0 59239722 858890240 192302 996147200 134512640 135215973 4294956304 18446744073709551615 4158960480 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 209690 192302 407 171 0 208615 0
Current children cumulated CPU time (s) 1357.42
Current children cumulated vsize (KiB) 838760

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=516656/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=864388 CPUtime=1417.4
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 235039 657 0 0 141584 156 0 0 25 0 1 0 59239722 885133312 199438 996147200 134512640 135215973 4294956304 18446744073709551615 134902073 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 216097 199438 407 171 0 215022 0
Current children cumulated CPU time (s) 1417.4
Current children cumulated vsize (KiB) 864388

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=481136/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=890680 CPUtime=1477.37
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 242353 657 0 0 147574 163 0 0 25 0 1 0 59239722 912056320 206752 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 222670 206752 407 171 0 221595 0
Current children cumulated CPU time (s) 1477.37
Current children cumulated vsize (KiB) 890680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=440240/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=918720 CPUtime=1537.35
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 250155 657 0 0 153566 169 0 0 25 0 1 0 59239722 940769280 214554 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 229680 214554 407 171 0 228605 0
Current children cumulated CPU time (s) 1537.35
Current children cumulated vsize (KiB) 918720



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1548.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16869
/proc/meminfo: memFree=435440/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=921688 CPUtime=1543.65
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4194304 250958 657 0 0 154196 169 0 0 25 0 1 0 59239722 943808512 215357 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 230422 215357 407 171 0 229347 0
Current children cumulated CPU time (s) 1543.65
Current children cumulated vsize (KiB) 921688

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

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

[startup+1548.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 16870
/proc/meminfo: memFree=1113064/2055920 swapFree=4192812/4192956
[pid=16831] ppid=16829 vsize=0 CPUtime=1543.76
/proc/16831/stat : 16831 (pcs.big) R 16829 16831 13922 0 -1 4195332 250958 657 0 0 154196 180 0 0 25 0 1 0 59239722 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/16831/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1543.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1548.74
CPU time (s): 1543.8
CPU user time (s): 1541.96
CPU system time (s): 1.83272
CPU usage (%): 99.681
Max. virtual memory (cumulated for all children) (KiB): 921688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1541.96
system time used= 1.83272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251615
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= 19
involuntary context switches= 14104

runsolver used 1.58776 second user time and 4.53531 second system time

The end

Launcher Data 

Begin job on node19 at 2009-07-16 07:22:11
IDJOB=2082857
IDBENCH=57646
IDSOLVER=733
FILE ID=node19/2082857-1247721731
PBS_JOBID= 9521411
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-07-1079.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082857-1247721731/watcher-2082857-1247721731 -o /tmp/evaluation-result-2082857-1247721731/solver-2082857-1247721731 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 659546995 HOME/instance-2082857-1247721731.xml

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

MD5SUM BENCH= b79d5ab9b474e138388bd882c1eb4f79
RANDOM SEED=659546995

node19.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.211
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.211
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:       1335672 kB
Buffers:         71716 kB
Cached:         411016 kB
SwapCached:          0 kB
Active:         223204 kB
Inactive:       428368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1335672 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1896 kB
Writeback:           0 kB
Mapped:         189276 kB
Slab:            53476 kB
Committed_AS:   806256 kB
PageTables:       2232 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= 66388 MiB
End job on node19 at 2009-07-16 07:48:01