Trace number 2083199

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.08 1807.54

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-9.xml
MD5SUMa935103af39bd284c54c6d98a149f42a
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 benchmark315.042
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
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.05	c Seed is 624918895
0.00/0.05	c Constructing HOME/instance-2083199-1247722633.xml  with 160409 constraints
2.86/2.94	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-2083199-1247722633/watcher-2083199-1247722633 -o /tmp/evaluation-result-2083199-1247722633/solver-2083199-1247722633 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 624918895 HOME/instance-2083199-1247722633.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/82 18807
/proc/meminfo: memFree=1486368/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=5356 CPUtime=0
/proc/18807/stat : 18807 (pcssolve) R 18805 18807 16386 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 59327539 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 213116316319 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18807/statm: 1339 241 200 169 0 50 0
[pid=18808] ppid=18807 vsize=5356 CPUtime=0
/proc/18808/stat : 18808 (pcssolve) R 18807 18807 16386 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 59327540 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 213116316319 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18808/statm: 1339 241 200 169 0 50 0

[startup+0.0810491 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 18807
/proc/meminfo: memFree=1486368/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=5996 CPUtime=0.06
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1158 662 0 0 5 0 1 0 18 0 1 0 59327539 6139904 789 996147200 134512640 135215973 4294956304 18446744073709551615 134729162 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 1499 789 386 171 0 424 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5996

[startup+0.101052 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 18807
/proc/meminfo: memFree=1486368/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=6692 CPUtime=0.08
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1312 662 0 0 7 0 1 0 18 0 1 0 59327539 6852608 902 996147200 134512640 135215973 4294956304 18446744073709551615 4159744910 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 1673 902 386 171 0 598 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6692

[startup+0.301092 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 18807
/proc/meminfo: memFree=1486368/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=10776 CPUtime=0.27
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 2707 662 0 0 26 0 1 0 19 0 1 0 59327539 11034624 1885 996147200 134512640 135215973 4294956304 18446744073709551615 3600963 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 2694 1885 386 171 0 1619 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10776

[startup+0.701168 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 18807
/proc/meminfo: memFree=1486368/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=21656 CPUtime=0.68
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 6105 662 0 0 65 2 1 0 23 0 1 0 59327539 22175744 3868 996147200 134512640 135215973 4294956304 18446744073709551615 3599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 5414 3868 386 171 0 4339 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21656

[startup+1.50232 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1466328/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=39084 CPUtime=1.47
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 12087 662 0 0 142 4 1 0 25 0 1 0 59327539 40022016 7568 996147200 134512640 135215973 4294956304 18446744073709551615 4159196096 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 9771 7568 386 171 0 8696 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39084

[startup+3.10162 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1445400/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=84836 CPUtime=3.06
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 29431 662 0 0 291 14 1 0 25 0 1 0 59327539 86872064 17945 996147200 134512640 135215973 4294956304 18446744073709551615 4158960683 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 21209 17945 409 171 0 20134 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 84836

[startup+6.30122 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1415128/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=85764 CPUtime=6.22
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 29757 662 0 0 607 14 1 0 25 0 1 0 59327539 87822336 18097 996147200 134512640 135215973 4294956304 18446744073709551615 4158960612 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 21441 18097 410 171 0 20366 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 85764

[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1414296/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=86596 CPUtime=12.56
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 30194 662 0 0 1241 14 1 0 25 0 1 0 59327539 88674304 18325 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 21649 18325 410 171 0 20574 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 86596

[startup+25.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1406744/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=94332 CPUtime=25.23
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 32574 662 0 0 2507 15 1 0 25 0 1 0 59327539 96595968 20288 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 23583 20288 410 171 0 22508 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 94332

[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1403288/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=99640 CPUtime=50.59
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 34223 662 0 0 5042 16 1 0 25 0 1 0 59327539 102031360 21104 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 24910 21104 410 171 0 23835 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 99640

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1399832/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=100956 CPUtime=101.3
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 74295 662 0 0 10099 30 1 0 25 0 1 0 59327539 103378944 21914 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 25239 21914 413 171 0 24164 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 100956

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1397016/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=103464 CPUtime=160.74
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 119839 662 0 0 16029 44 1 0 25 0 1 0 59327539 105947136 22568 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 25866 22568 413 171 0 24791 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 103464

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1392728/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=107816 CPUtime=220.16
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 180268 662 0 0 21951 64 1 0 25 0 1 0 59327539 110403584 23635 996147200 134512640 135215973 4294956304 18446744073709551615 134970000 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 26954 23635 413 171 0 25879 0
Current children cumulated CPU time (s) 220.16
Current children cumulated vsize (KiB) 107816

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1390040/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=110320 CPUtime=279.6
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 227147 662 0 0 27879 80 1 0 25 0 1 0 59327539 112967680 24284 996147200 134512640 135215973 4294956304 18446744073709551615 134585806 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 27580 24284 413 171 0 26505 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 110320

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1385944/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=114408 CPUtime=339.03
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 287270 662 0 0 33802 100 1 0 25 0 1 0 59327539 117153792 25313 996147200 134512640 135215973 4294956304 18446744073709551615 134583594 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 28602 25313 413 171 0 27527 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 114408

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1380824/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=119680 CPUtime=398.47
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 360658 662 0 0 39721 125 1 0 25 0 1 0 59327539 122552320 26609 996147200 134512640 135215973 4294956304 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 29920 26609 413 171 0 28845 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 119680

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1378520/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=121916 CPUtime=457.9
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 425948 662 0 0 45643 146 1 0 25 0 1 0 59327539 124841984 27177 996147200 134512640 135215973 4294956304 18446744073709551615 134597343 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 30479 27177 413 171 0 29404 0
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (KiB) 121916

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1375384/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=124952 CPUtime=517.34
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 492240 662 0 0 51565 168 1 0 25 0 1 0 59327539 127950848 27943 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 31238 27943 413 171 0 30163 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 124952

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 18812
/proc/meminfo: memFree=1372440/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=127852 CPUtime=576.76
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 545365 662 0 0 57490 185 1 0 25 0 1 0 59327539 130920448 28674 996147200 134512640 135215973 4294956304 18446744073709551615 4158960884 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 31963 28674 413 171 0 30888 0
Current children cumulated CPU time (s) 576.76
Current children cumulated vsize (KiB) 127852

[startup+642.302 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 18853
/proc/meminfo: memFree=1469544/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=130656 CPUtime=636.29
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 594304 662 0 0 63423 205 1 0 25 0 1 0 59327539 133791744 29373 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 32664 29373 413 171 0 31589 0
Current children cumulated CPU time (s) 636.29

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

[startup+882.302 s]
/proc/loadavg: 2.09 2.06 2.01 3/83 18856
/proc/meminfo: memFree=758048/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=157956 CPUtime=876.16
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 933759 662 0 0 87311 304 1 0 25 0 1 0 59327539 161746944 36240 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 39489 36240 413 171 0 38414 0
Current children cumulated CPU time (s) 876.16
Current children cumulated vsize (KiB) 157956

[startup+942.301 s]
/proc/loadavg: 2.22 2.09 2.02 4/83 18857
/proc/meminfo: memFree=732120/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=161648 CPUtime=936.14
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 979691 662 0 0 93293 320 1 0 25 0 1 0 59327539 165527552 37148 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 40412 37148 413 171 0 39337 0
Current children cumulated CPU time (s) 936.14
Current children cumulated vsize (KiB) 161648

[startup+1002.3 s]
/proc/loadavg: 2.22 2.11 2.03 3/83 18857
/proc/meminfo: memFree=699288/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=165212 CPUtime=996.11
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1021852 662 0 0 99278 332 1 0 25 0 1 0 59327539 169177088 38037 996147200 134512640 135215973 4294956304 18446744073709551615 134591429 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 41303 38037 413 171 0 40228 0
Current children cumulated CPU time (s) 996.11
Current children cumulated vsize (KiB) 165212

[startup+1062.3 s]
/proc/loadavg: 2.38 2.18 2.06 3/83 18857
/proc/meminfo: memFree=695768/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=168640 CPUtime=1056.02
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1074182 662 0 0 105253 348 1 0 25 0 1 0 59327539 172687360 38911 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 42160 38911 413 171 0 41085 0
Current children cumulated CPU time (s) 1056.02
Current children cumulated vsize (KiB) 168640

[startup+1122.3 s]
/proc/loadavg: 2.14 2.14 2.05 3/83 18857
/proc/meminfo: memFree=692632/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=171808 CPUtime=1115.46
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1111807 662 0 0 111182 363 1 0 25 0 1 0 59327539 175931392 39686 996147200 134512640 135215973 4294956304 18446744073709551615 135096263 0 0 4096 0 0 0 0 17 1 0 0
/proc/18807/statm: 42952 39686 413 171 0 41877 0
Current children cumulated CPU time (s) 1115.46
Current children cumulated vsize (KiB) 171808

[startup+1182.3 s]
/proc/loadavg: 2.11 2.13 2.05 3/82 18939
/proc/meminfo: memFree=1417704/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=174580 CPUtime=1175.13
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1139848 662 0 0 117138 374 1 0 25 0 1 0 59327539 178769920 40391 996147200 134512640 135215973 4294956304 18446744073709551615 134597411 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 43645 40391 413 171 0 42570 0
Current children cumulated CPU time (s) 1175.13
Current children cumulated vsize (KiB) 174580

[startup+1242.3 s]
/proc/loadavg: 2.04 2.11 2.05 3/82 18939
/proc/meminfo: memFree=1391784/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=178004 CPUtime=1235.09
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1186529 662 0 0 123118 390 1 0 25 0 1 0 59327539 182276096 41244 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 44501 41244 413 171 0 43426 0
Current children cumulated CPU time (s) 1235.09
Current children cumulated vsize (KiB) 178004

[startup+1302.3 s]
/proc/loadavg: 2.09 2.10 2.05 3/83 18940
/proc/meminfo: memFree=1340320/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=181556 CPUtime=1295.07
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1226815 662 0 0 129102 404 1 0 25 0 1 0 59327539 185913344 42134 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 45389 42134 413 171 0 44314 0
Current children cumulated CPU time (s) 1295.07
Current children cumulated vsize (KiB) 181556

[startup+1362.3 s]
/proc/loadavg: 2.16 2.11 2.05 3/83 18940
/proc/meminfo: memFree=1166432/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=185772 CPUtime=1355.05
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1287508 662 0 0 135081 423 1 0 25 0 1 0 59327539 190230528 43197 996147200 134512640 135215973 4294956304 18446744073709551615 134591502 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 46443 43197 413 171 0 45368 0
Current children cumulated CPU time (s) 1355.05
Current children cumulated vsize (KiB) 185772

[startup+1422.31 s]
/proc/loadavg: 2.11 2.10 2.05 3/83 18940
/proc/meminfo: memFree=931808/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=191836 CPUtime=1415.02
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1360608 662 0 0 141055 446 1 0 25 0 1 0 59327539 196440064 44741 996147200 134512640 135215973 4294956304 18446744073709551615 4158961463 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 47959 44741 413 171 0 46884 0
Current children cumulated CPU time (s) 1415.02
Current children cumulated vsize (KiB) 191836

[startup+1482.3 s]
/proc/loadavg: 2.19 2.13 2.06 3/83 18946
/proc/meminfo: memFree=681440/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=195136 CPUtime=1474.99
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1440764 662 0 0 147026 472 1 0 25 0 1 0 59327539 199819264 45569 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 48784 45569 413 171 0 47709 0
Current children cumulated CPU time (s) 1474.99
Current children cumulated vsize (KiB) 195136

[startup+1542.3 s]
/proc/loadavg: 2.41 2.19 2.09 4/83 18947
/proc/meminfo: memFree=649112/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=200680 CPUtime=1534.96
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1526839 662 0 0 152997 498 1 0 25 0 1 0 59327539 205496320 46956 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 50170 46956 413 171 0 49095 0
Current children cumulated CPU time (s) 1534.96
Current children cumulated vsize (KiB) 200680

[startup+1602.3 s]
/proc/loadavg: 2.14 2.16 2.08 3/82 19020
/proc/meminfo: memFree=1367656/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=207540 CPUtime=1594.92
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1615908 662 0 0 158966 525 1 0 25 0 1 0 59327539 212520960 48657 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 51885 48657 413 171 0 50810 0
Current children cumulated CPU time (s) 1594.92
Current children cumulated vsize (KiB) 207540

[startup+1662.3 s]
/proc/loadavg: 2.05 2.12 2.07 3/82 19020
/proc/meminfo: memFree=1345320/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=215056 CPUtime=1654.89
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1693259 662 0 0 164938 550 1 0 25 0 1 0 59327539 220217344 50566 996147200 134512640 135215973 4294956304 18446744073709551615 134589760 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 53764 50566 413 171 0 52689 0
Current children cumulated CPU time (s) 1654.89
Current children cumulated vsize (KiB) 215056

[startup+1722.3 s]
/proc/loadavg: 2.02 2.10 2.07 4/82 19020
/proc/meminfo: memFree=1325608/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=221908 CPUtime=1714.86
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1764927 662 0 0 170912 573 1 0 25 0 1 0 59327539 227233792 52286 996147200 134512640 135215973 4294956304 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 55477 52286 413 171 0 54402 0
Current children cumulated CPU time (s) 1714.86
Current children cumulated vsize (KiB) 221908

[startup+1782.3 s]
/proc/loadavg: 2.00 2.08 2.06 3/82 19020
/proc/meminfo: memFree=1311336/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=227448 CPUtime=1774.84
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1830199 662 0 0 176889 594 1 0 25 0 1 0 59327539 232906752 53640 996147200 134512640 135215973 4294956304 18446744073709551615 134585699 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 56862 53640 413 171 0 55787 0
Current children cumulated CPU time (s) 1774.84
Current children cumulated vsize (KiB) 227448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.5 s]
/proc/loadavg: 2.00 2.07 2.06 3/82 19020
/proc/meminfo: memFree=1304552/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=230340 CPUtime=1800.03
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1855998 662 0 0 179400 602 1 0 25 0 1 0 59327539 235868160 54381 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 57585 54381 413 171 0 56510 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 230340

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

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

[startup+1807.5 s]
/proc/loadavg: 2.00 2.07 2.06 3/82 19020
/proc/meminfo: memFree=1304552/2055920 swapFree=4192812/4192956
[pid=18807] ppid=18805 vsize=230340 CPUtime=1800.03
/proc/18807/stat : 18807 (pcs.big) R 18805 18807 16386 0 -1 4194304 1855998 662 0 0 179400 602 1 0 25 0 1 0 59327539 235868160 54381 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/18807/statm: 57585 54381 413 171 0 56510 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 230340

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.54
CPU time (s): 1800.08
CPU user time (s): 1794.01
CPU system time (s): 6.06908
CPU usage (%): 99.5873
Max. virtual memory (cumulated for all children) (KiB): 230348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 6.06908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1856660
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= 24
involuntary context switches= 34474

runsolver used 2.35264 second user time and 5.87411 second system time

The end

Launcher Data 

Begin job on node37 at 2009-07-16 07:37:14
IDJOB=2083199
IDBENCH=57738
IDSOLVER=734
FILE ID=node37/2083199-1247722633
PBS_JOBID= 9521431
Free space on /tmp= 66396 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083199-1247722633/watcher-2083199-1247722633 -o /tmp/evaluation-result-2083199-1247722633/solver-2083199-1247722633 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 624918895 HOME/instance-2083199-1247722633.xml

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

MD5SUM BENCH= a935103af39bd284c54c6d98a149f42a
RANDOM SEED=624918895

node37.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.260
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.260
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:       1486848 kB
Buffers:         75096 kB
Cached:         259464 kB
SwapCached:          0 kB
Active:         192840 kB
Inactive:       291528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1486848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5248 kB
Writeback:           0 kB
Mapped:         170264 kB
Slab:            69600 kB
Committed_AS:   768396 kB
PageTables:       2100 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= 66384 MiB
End job on node37 at 2009-07-16 08:07:23