Trace number 2081603

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.06 1807.53

General information on the benchmark

Namecsp/super-js/super-js-taillard-20-15/
normalized-super-js-taillard-20-15-21.xml
MD5SUMb7c57c745e2e78b2167f517ffcb2b0b4
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 variables600
Number of constraints9690
Maximum constraint arity2
Maximum domain size1306
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9690
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 432684000
0.18/0.21	c Constructing HOME/instance-2081603-1247719976.xml  with 61830 constraints
0.88/0.90	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-2081603-1247719976/watcher-2081603-1247719976 -o /tmp/evaluation-result-2081603-1247719976/solver-2081603-1247719976 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 432684000 HOME/instance-2081603-1247719976.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/73 15955
/proc/meminfo: memFree=1399912/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=5356 CPUtime=0
/proc/15955/stat : 15955 (pcssolve) R 15953 15955 14837 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 59062576 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 224264776351 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15955/statm: 1339 241 200 169 0 50 0
[pid=15956] ppid=15955 vsize=0 CPUtime=0
/proc/15956/stat : 15956 (fgrep) Z 15955 15955 14837 0 -1 4194316 155 0 0 0 0 0 0 0 19 0 1 0 59062576 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/15956/statm: 0 0 0 0 0 0 0
[pid=15957] ppid=15955 vsize=5356 CPUtime=0
/proc/15957/stat : 15957 (pcssolve) R 15955 15955 14837 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 59062576 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 224264776351 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/15957/statm: 1339 241 200 169 0 50 0

[startup+0.0939451 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15955
/proc/meminfo: memFree=1399912/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=6688 CPUtime=0.07
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1359 660 0 0 7 0 0 0 18 0 1 0 59062576 6848512 869 996147200 134512640 135215973 4294956304 18446744073709551615 134768156 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 1672 869 388 171 0 597 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6688

[startup+0.101941 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15955
/proc/meminfo: memFree=1399912/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=6688 CPUtime=0.08
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1390 660 0 0 8 0 0 0 18 0 1 0 59062576 6848512 900 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 1672 900 388 171 0 597 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6688

[startup+0.301986 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15955
/proc/meminfo: memFree=1399912/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=11976 CPUtime=0.28
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 3020 660 0 0 27 1 0 0 19 0 1 0 59062576 12263424 1967 996147200 134512640 135215973 4294956304 18446744073709551615 4158933665 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 2994 1967 388 171 0 1919 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11976

[startup+0.70106 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 15955
/proc/meminfo: memFree=1399912/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=22292 CPUtime=0.68
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 6392 660 0 0 66 2 0 0 23 0 1 0 59062576 22827008 3995 996147200 134512640 135215973 4294956304 18446744073709551615 4159166449 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 5573 3995 388 171 0 4498 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22292

[startup+1.50121 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1374176/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=43892 CPUtime=1.48
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 14098 660 0 0 142 6 0 0 25 0 1 0 59062576 44945408 9502 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 10973 9502 404 171 0 9898 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43892

[startup+3.10151 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1354728/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=54240 CPUtime=3.07
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 19035 660 0 0 298 9 0 0 25 0 1 0 59062576 55541760 11942 996147200 134512640 135215973 4294956304 18446744073709551615 134907424 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 13560 11942 408 171 0 12485 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 54240

[startup+6.3011 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1341736/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=74952 CPUtime=6.25
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 28402 660 0 0 614 11 0 0 25 0 1 0 59062576 76750848 14860 996147200 134512640 135215973 4294956304 18446744073709551615 134648369 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 18738 14860 408 171 0 17663 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 74952

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1341160/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=75128 CPUtime=12.62
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 30572 660 0 0 1250 12 0 0 25 0 1 0 59062576 76931072 14898 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 18782 14898 408 171 0 17707 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 75128

[startup+25.5017 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1340840/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=75388 CPUtime=25.38
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 44260 660 0 0 2521 17 0 0 25 0 1 0 59062576 77197312 15014 996147200 134512640 135215973 4294956304 18446744073709551615 134641100 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 18847 15014 408 171 0 17772 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 75388

[startup+51.1015 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1339752/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=76032 CPUtime=50.88
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 57806 660 0 0 5065 23 0 0 25 0 1 0 59062576 77856768 15163 996147200 134512640 135215973 4294956304 18446744073709551615 134902564 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 19008 15163 408 171 0 17933 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 76032

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1318056/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=77448 CPUtime=101.87
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 81750 660 0 0 10156 31 0 0 25 0 1 0 59062576 79306752 15590 996147200 134512640 135215973 4294956304 18446744073709551615 134592127 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 19362 15590 408 171 0 18287 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 77448

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1304744/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=79492 CPUtime=161.63
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 145597 660 0 0 16106 57 0 0 25 0 1 0 59062576 81399808 17012 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 19873 17012 408 171 0 18798 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 79492

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 15960
/proc/meminfo: memFree=1302760/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=81920 CPUtime=221.39
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 181909 660 0 0 22066 73 0 0 25 0 1 0 59062576 83886080 17447 996147200 134512640 135215973 4294956304 18446744073709551615 4158960084 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 20480 17447 408 171 0 19405 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 81920

[startup+282.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/84 16001
/proc/meminfo: memFree=1345368/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=90012 CPUtime=281.1
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 222367 660 0 0 28019 91 0 0 25 0 1 0 59062576 92172288 18951 996147200 134512640 135215973 4294956304 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 22503 18951 408 171 0 21428 0
Current children cumulated CPU time (s) 281.1
Current children cumulated vsize (KiB) 90012

[startup+342.303 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 16002
/proc/meminfo: memFree=1295824/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=90804 CPUtime=340.86
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 265947 660 0 0 33978 108 0 0 25 0 1 0 59062576 92983296 19267 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 22701 19267 408 171 0 21626 0
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (KiB) 90804

[startup+402.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 16002
/proc/meminfo: memFree=1293904/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=94404 CPUtime=400.62
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 316284 660 0 0 39934 128 0 0 25 0 1 0 59062576 96669696 19743 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 23601 19743 408 171 0 22526 0
Current children cumulated CPU time (s) 400.62
Current children cumulated vsize (KiB) 94404

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16002
/proc/meminfo: memFree=1288272/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=98084 CPUtime=460.38
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 370501 660 0 0 45889 149 0 0 25 0 1 0 59062576 100438016 20764 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 24521 20764 408 171 0 23446 0
Current children cumulated CPU time (s) 460.38
Current children cumulated vsize (KiB) 98084

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16008
/proc/meminfo: memFree=1285136/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=100792 CPUtime=520.12
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 409295 660 0 0 51846 166 0 0 25 0 1 0 59062576 103211008 21546 996147200 134512640 135215973 4294956304 18446744073709551615 134600018 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 25198 21546 408 171 0 24123 0
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (KiB) 100792

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 16008
/proc/meminfo: memFree=1281424/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=103984 CPUtime=579.88
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 513794 660 0 0 57778 210 0 0 25 0 1 0 59062576 106479616 22409 996147200 134512640 135215973 4294956304 18446744073709551615 134957761 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 25996 22409 408 171 0 24921 0
Current children cumulated CPU time (s) 579.88
Current children cumulated vsize (KiB) 103984

[startup+642.303 s]
/proc/loadavg: 2.03 2.01 2.00 3/83 16008
/proc/meminfo: memFree=1277264/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=107796 CPUtime=639.62

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

[startup+882.301 s]
/proc/loadavg: 2.10 2.05 2.00 3/83 16008
/proc/meminfo: memFree=1261520/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=124984 CPUtime=878.6
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 742583 660 0 0 87546 314 0 0 25 0 1 0 59062576 127983616 27405 996147200 134512640 135215973 4294956304 18446744073709551615 135095011 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 31246 27405 408 171 0 30171 0
Current children cumulated CPU time (s) 878.6
Current children cumulated vsize (KiB) 124984

[startup+942.302 s]
/proc/loadavg: 2.09 2.06 2.00 3/83 16008
/proc/meminfo: memFree=1259600/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=126284 CPUtime=938.36
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 775528 660 0 0 93506 330 0 0 25 0 1 0 59062576 129314816 27798 996147200 134512640 135215973 4294956304 18446744073709551615 134902529 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 31571 27798 408 171 0 30496 0
Current children cumulated CPU time (s) 938.36
Current children cumulated vsize (KiB) 126284

[startup+1002.3 s]
/proc/loadavg: 2.31 2.13 2.03 3/83 16008
/proc/meminfo: memFree=1257808/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=127576 CPUtime=998.11
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 801988 660 0 0 99470 341 0 0 25 0 1 0 59062576 130637824 28206 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 31894 28206 408 171 0 30819 0
Current children cumulated CPU time (s) 998.11
Current children cumulated vsize (KiB) 127576

[startup+1062.3 s]
/proc/loadavg: 2.27 2.17 2.05 3/83 16008
/proc/meminfo: memFree=1251600/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=133492 CPUtime=1057.87
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 841811 660 0 0 105431 356 0 0 25 0 1 0 59062576 136695808 29757 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 33373 29757 408 171 0 32298 0
Current children cumulated CPU time (s) 1057.87
Current children cumulated vsize (KiB) 133492

[startup+1122.3 s]
/proc/loadavg: 2.10 2.13 2.04 3/83 16008
/proc/meminfo: memFree=1249616/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=135184 CPUtime=1117.64
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 876408 660 0 0 111393 371 0 0 25 0 1 0 59062576 138428416 30242 996147200 134512640 135215973 4294956304 18446744073709551615 135098496 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 33796 30242 408 171 0 32721 0
Current children cumulated CPU time (s) 1117.64
Current children cumulated vsize (KiB) 135184

[startup+1182.3 s]
/proc/loadavg: 2.03 2.11 2.03 3/83 16008
/proc/meminfo: memFree=1239568/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=144780 CPUtime=1177.39
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 907718 660 0 0 117357 382 0 0 25 0 1 0 59062576 148254720 32744 996147200 134512640 135215973 4294956304 18446744073709551615 135094347 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 36195 32744 408 171 0 35120 0
Current children cumulated CPU time (s) 1177.39
Current children cumulated vsize (KiB) 144780

[startup+1242.3 s]
/proc/loadavg: 2.08 2.10 2.03 3/83 16008
/proc/meminfo: memFree=1237712/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=146340 CPUtime=1237.14
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 957678 660 0 0 123310 404 0 0 25 0 1 0 59062576 149852160 33200 996147200 134512640 135215973 4294956304 18446744073709551615 134610758 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 36585 33200 408 171 0 35510 0
Current children cumulated CPU time (s) 1237.14
Current children cumulated vsize (KiB) 146340

[startup+1302.3 s]
/proc/loadavg: 2.14 2.11 2.04 3/83 16008
/proc/meminfo: memFree=1235920/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=147644 CPUtime=1296.9
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 994697 660 0 0 129270 420 0 0 25 0 1 0 59062576 151187456 33611 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 36911 33611 408 171 0 35836 0
Current children cumulated CPU time (s) 1296.9
Current children cumulated vsize (KiB) 147644

[startup+1362.3 s]
/proc/loadavg: 2.11 2.10 2.04 3/83 16008
/proc/meminfo: memFree=1234576/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=148952 CPUtime=1356.66
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1016450 660 0 0 135236 430 0 0 25 0 1 0 59062576 152526848 33992 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 37238 33992 408 171 0 36163 0
Current children cumulated CPU time (s) 1356.66
Current children cumulated vsize (KiB) 148952

[startup+1422.31 s]
/proc/loadavg: 2.09 2.10 2.04 3/83 16008
/proc/meminfo: memFree=1232656/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=150408 CPUtime=1416.41
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1047135 660 0 0 141200 441 0 0 25 0 1 0 59062576 154017792 34465 996147200 134512640 135215973 4294956304 18446744073709551615 134592259 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 37602 34465 408 171 0 36527 0
Current children cumulated CPU time (s) 1416.41
Current children cumulated vsize (KiB) 150408

[startup+1482.3 s]
/proc/loadavg: 2.07 2.09 2.04 3/83 16008
/proc/meminfo: memFree=1230992/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=151840 CPUtime=1476.17
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1071264 660 0 0 147165 452 0 0 25 0 1 0 59062576 155484160 34882 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 37960 34882 408 171 0 36885 0
Current children cumulated CPU time (s) 1476.17
Current children cumulated vsize (KiB) 151840

[startup+1542.3 s]
/proc/loadavg: 2.07 2.08 2.04 3/83 16008
/proc/meminfo: memFree=1228624/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=153916 CPUtime=1535.92
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1093478 660 0 0 153131 461 0 0 25 0 1 0 59062576 157609984 35464 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 38479 35464 408 171 0 37404 0
Current children cumulated CPU time (s) 1535.92
Current children cumulated vsize (KiB) 153916

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/83 16008
/proc/meminfo: memFree=1226192/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=156024 CPUtime=1595.68
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1116809 660 0 0 159098 470 0 0 25 0 1 0 59062576 159768576 36071 996147200 134512640 135215973 4294956304 18446744073709551615 134581941 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 39006 36071 408 171 0 37931 0
Current children cumulated CPU time (s) 1595.68
Current children cumulated vsize (KiB) 156024

[startup+1662.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/83 16008
/proc/meminfo: memFree=1221840/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=168336 CPUtime=1655.42
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1149316 660 0 0 165059 483 0 0 25 0 1 0 59062576 172376064 37149 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 42084 37149 408 171 0 41009 0
Current children cumulated CPU time (s) 1655.42
Current children cumulated vsize (KiB) 168336

[startup+1722.3 s]
/proc/loadavg: 2.61 2.23 2.09 3/83 16008
/proc/meminfo: memFree=1218832/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=170952 CPUtime=1715.17
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1173003 660 0 0 171022 495 0 0 25 0 1 0 59062576 175054848 37904 996147200 134512640 135215973 4294956304 18446744073709551615 134908116 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 42738 37904 408 171 0 41663 0
Current children cumulated CPU time (s) 1715.17
Current children cumulated vsize (KiB) 170952

[startup+1782.3 s]
/proc/loadavg: 2.33 2.23 2.09 3/83 16008
/proc/meminfo: memFree=1214544/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=174764 CPUtime=1774.92
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1216359 660 0 0 176975 517 0 0 25 0 1 0 59062576 178958336 38932 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 43691 38932 408 171 0 42616 0
Current children cumulated CPU time (s) 1774.92
Current children cumulated vsize (KiB) 174764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.5 s]
/proc/loadavg: 2.20 2.20 2.09 3/83 16008
/proc/meminfo: memFree=1213968/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=175272 CPUtime=1800.01
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1230307 660 0 0 179477 524 0 0 25 0 1 0 59062576 179478528 39100 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 43818 39100 408 171 0 42743 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 175272

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.20 2.20 2.09 3/83 16008
/proc/meminfo: memFree=1213968/2055920 swapFree=4192812/4192956
[pid=15955] ppid=15953 vsize=175272 CPUtime=1800.01
/proc/15955/stat : 15955 (pcs.big) R 15953 15955 14837 0 -1 4194304 1230307 660 0 0 179477 524 0 0 25 0 1 0 59062576 179478528 39100 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 43818 39100 408 171 0 42743 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 175272

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.53
CPU time (s): 1800.06
CPU user time (s): 1794.78
CPU system time (s): 5.2752
CPU usage (%): 99.5864
Max. virtual memory (cumulated for all children) (KiB): 175272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 5.2752
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1230967
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= 17
involuntary context switches= 49279

runsolver used 1.81772 second user time and 4.97124 second system time

The end

Launcher Data 

Begin job on node82 at 2009-07-16 06:52:56
IDJOB=2081603
IDBENCH=57445
IDSOLVER=733
FILE ID=node82/2081603-1247719976
PBS_JOBID= 9521468
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-21.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081603-1247719976/watcher-2081603-1247719976 -o /tmp/evaluation-result-2081603-1247719976/solver-2081603-1247719976 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 432684000 HOME/instance-2081603-1247719976.xml

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

MD5SUM BENCH= b7c57c745e2e78b2167f517ffcb2b0b4
RANDOM SEED=432684000

node82.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.265
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.265
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:       1400392 kB
Buffers:         74948 kB
Cached:         351072 kB
SwapCached:          0 kB
Active:         186568 kB
Inactive:       382460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1400392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3000 kB
Writeback:           0 kB
Mapped:         154568 kB
Slab:            71560 kB
Committed_AS:   660932 kB
PageTables:       2080 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66312 MiB
End job on node82 at 2009-07-16 07:23:06