Trace number 2081548

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 1802.24

General information on the benchmark

Namecsp/super-js/super-js-taillard-15/
normalized-super-js-taillard-15-17.xml
MD5SUM20e23229ee104462f117a47e593e32b4
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 benchmark103.62
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints5580
Maximum constraint arity2
Maximum domain size1297
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5580
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.01	c Seed is 74272858
0.00/0.01	c Constructing HOME/instance-2081548-1247719796.xml  with 34560 constraints
0.48/0.53	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-2081548-1247719796/watcher-2081548-1247719796 -o /tmp/evaluation-result-2081548-1247719796/solver-2081548-1247719796 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 74272858 HOME/instance-2081548-1247719796.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 12746
/proc/meminfo: memFree=1178792/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=5356 CPUtime=0
/proc/12746/stat : 12746 (pcssolve) S 12744 12746 11359 0 -1 4194304 339 317 0 0 0 0 0 0 16 0 1 0 59044803 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12746/statm: 1339 242 201 169 0 50 0
[pid=12749] ppid=12746 vsize=3680 CPUtime=0
/proc/12749/stat : 12749 (fgrep) S 12746 12746 11359 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 59044804 3768320 123 996147200 4194304 4274172 548682068976 18446744073709551615 228044013794 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/12749/statm: 920 123 94 19 0 44 0
[pid=12750] ppid=12746 vsize=5356 CPUtime=0
/proc/12750/stat : 12750 (pcssolve) R 12746 12746 11359 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 59044804 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 228043844903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12750/statm: 1339 244 203 169 0 50 0

[startup+0.022759 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12746
/proc/meminfo: memFree=1178792/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=4624 CPUtime=0
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 812 659 0 0 0 0 0 0 19 0 1 0 59044803 4734976 443 996147200 134512640 135215973 4294956320 18446744073709551615 134883280 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 1156 444 369 171 0 81 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4624

[startup+0.101775 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12746
/proc/meminfo: memFree=1178792/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=6520 CPUtime=0.08
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 1366 659 0 0 8 0 0 0 19 0 1 0 59044803 6676480 887 996147200 134512640 135215973 4294956320 18446744073709551615 4159137302 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 1630 887 388 171 0 555 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6520

[startup+0.301814 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12746
/proc/meminfo: memFree=1178792/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=12368 CPUtime=0.28
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 3118 659 0 0 28 0 0 0 20 0 1 0 59044803 12664832 1958 996147200 134512640 135215973 4294956320 18446744073709551615 134836046 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 3092 1958 388 171 0 2017 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12368

[startup+0.701892 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12746
/proc/meminfo: memFree=1178792/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=22820 CPUtime=0.68
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 6880 659 0 0 66 2 0 0 24 0 1 0 59044803 23367680 4698 996147200 134512640 135215973 4294956320 18446744073709551615 134908087 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 5705 4699 404 171 0 4630 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22820

[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12751
/proc/meminfo: memFree=1155296/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=31956 CPUtime=1.47
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 10639 659 0 0 144 3 0 0 25 0 1 0 59044803 32722944 6998 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 7989 6998 408 171 0 6914 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31956

[startup+3.10137 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12751
/proc/meminfo: memFree=1148320/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=42296 CPUtime=3.07
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 13467 659 0 0 302 5 0 0 25 0 1 0 59044803 43311104 8161 996147200 134512640 135215973 4294956320 18446744073709551615 134585101 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 10574 8161 408 171 0 9499 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 42296

[startup+6.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12751
/proc/meminfo: memFree=1146208/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=42336 CPUtime=6.26
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 13769 659 0 0 621 5 0 0 25 0 1 0 59044803 43352064 8445 996147200 134512640 135215973 4294956320 18446744073709551615 134982947 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 10584 8445 408 171 0 9509 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 42336

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12751
/proc/meminfo: memFree=1145248/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=42608 CPUtime=12.62
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 13989 659 0 0 1257 5 0 0 25 0 1 0 59044803 43630592 8665 996147200 134512640 135215973 4294956320 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 10652 8665 408 171 0 9577 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 42608

[startup+25.5018 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12751
/proc/meminfo: memFree=1144800/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=43476 CPUtime=25.35
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 14192 659 0 0 2530 5 0 0 25 0 1 0 59044803 44519424 8835 996147200 134512640 135215973 4294956320 18446744073709551615 134600806 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 10869 8835 408 171 0 9794 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 43476

[startup+51.1018 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12751
/proc/meminfo: memFree=1142688/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=44680 CPUtime=50.83
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 14784 659 0 0 5076 7 0 0 25 0 1 0 59044803 45752320 9362 996147200 134512640 135215973 4294956320 18446744073709551615 134601553 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 11170 9362 408 171 0 10095 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 44680

[startup+102.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12751
/proc/meminfo: memFree=1135392/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=49748 CPUtime=101.77
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 16686 659 0 0 10169 8 0 0 25 0 1 0 59044803 50941952 11135 996147200 134512640 135215973 4294956320 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 12437 11135 408 171 0 11362 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 49748

[startup+162.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12753
/proc/meminfo: memFree=1129952/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=55644 CPUtime=161.47
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 18320 659 0 0 16138 9 0 0 25 0 1 0 59044803 56979456 12512 996147200 134512640 135215973 4294956320 18446744073709551615 134523588 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 13911 12512 408 171 0 12836 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 55644

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 12753
/proc/meminfo: memFree=1121056/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=65568 CPUtime=221.17
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 21026 659 0 0 22106 11 0 0 25 0 1 0 59044803 67141632 14705 996147200 134512640 135215973 4294956320 18446744073709551615 134648257 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 16392 14705 408 171 0 15317 0
Current children cumulated CPU time (s) 221.17
Current children cumulated vsize (KiB) 65568

[startup+282.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/74 12786
/proc/meminfo: memFree=1101872/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=70860 CPUtime=280.85
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 22483 659 0 0 28072 13 0 0 25 0 1 0 59044803 72560640 16162 996147200 134512640 135215973 4294956320 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 17715 16162 408 171 0 16640 0
Current children cumulated CPU time (s) 280.85
Current children cumulated vsize (KiB) 70860

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/74 12786
/proc/meminfo: memFree=1064504/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=76612 CPUtime=340.81
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 24079 659 0 0 34067 14 0 0 25 0 1 0 59044803 78450688 17758 996147200 134512640 135215973 4294956320 18446744073709551615 4158960542 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 19153 17758 408 171 0 18078 0
Current children cumulated CPU time (s) 340.81
Current children cumulated vsize (KiB) 76612

[startup+402.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/74 12786
/proc/meminfo: memFree=1056248/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=80744 CPUtime=400.78
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 25262 659 0 0 40063 15 0 0 25 0 1 0 59044803 82681856 18941 996147200 134512640 135215973 4294956320 18446744073709551615 135098257 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 20186 18941 408 171 0 19111 0
Current children cumulated CPU time (s) 400.78
Current children cumulated vsize (KiB) 80744

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12786
/proc/meminfo: memFree=1049080/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=89732 CPUtime=460.76
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 27671 659 0 0 46059 17 0 0 25 0 1 0 59044803 91885568 20325 996147200 134512640 135215973 4294956320 18446744073709551615 134957935 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 22433 20325 408 171 0 21358 0
Current children cumulated CPU time (s) 460.76
Current children cumulated vsize (KiB) 89732

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12786
/proc/meminfo: memFree=1041912/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=93776 CPUtime=520.72
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 28830 659 0 0 52054 18 0 0 25 0 1 0 59044803 96026624 21484 996147200 134512640 135215973 4294956320 18446744073709551615 134585391 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 23444 21484 408 171 0 22369 0
Current children cumulated CPU time (s) 520.72
Current children cumulated vsize (KiB) 93776

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12786
/proc/meminfo: memFree=1033656/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=99364 CPUtime=580.69
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 30416 659 0 0 58050 19 0 0 25 0 1 0 59044803 101748736 23070 996147200 134512640 135215973 4294956320 18446744073709551615 134609791 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 24841 23070 408 171 0 23766 0
Current children cumulated CPU time (s) 580.69
Current children cumulated vsize (KiB) 99364

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12786
/proc/meminfo: memFree=1025080/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=103528 CPUtime=640.66

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

[startup+822.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=998392/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=119048 CPUtime=820.56
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 35912 659 0 0 82032 24 0 0 25 0 1 0 59044803 121905152 28566 996147200 134512640 135215973 4294956320 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 29762 28566 408 171 0 28687 0
Current children cumulated CPU time (s) 820.56
Current children cumulated vsize (KiB) 119048

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=984504/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=136004 CPUtime=880.53
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 40303 659 0 0 88026 27 0 0 25 0 1 0 59044803 139268096 30908 996147200 134512640 135215973 4294956320 18446744073709551615 135098257 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 34001 30908 408 171 0 32926 0
Current children cumulated CPU time (s) 880.53
Current children cumulated vsize (KiB) 136004

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=974968/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=142056 CPUtime=940.51
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 41969 659 0 0 94022 29 0 0 25 0 1 0 59044803 145465344 32574 996147200 134512640 135215973 4294956320 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 35514 32574 408 171 0 34439 0
Current children cumulated CPU time (s) 940.51
Current children cumulated vsize (KiB) 142056

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=966456/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=145032 CPUtime=1000.49
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 42867 659 0 0 100018 31 0 0 25 0 1 0 59044803 148512768 33472 996147200 134512640 135215973 4294956320 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 36258 33472 408 171 0 35183 0
Current children cumulated CPU time (s) 1000.49
Current children cumulated vsize (KiB) 145032

[startup+1062.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=958200/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=150300 CPUtime=1060.45
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 44335 659 0 0 106014 31 0 0 25 0 1 0 59044803 153907200 34940 996147200 134512640 135215973 4294956320 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 37575 34940 408 171 0 36500 0
Current children cumulated CPU time (s) 1060.45
Current children cumulated vsize (KiB) 150300

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=946744/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=156424 CPUtime=1120.43
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 46027 659 0 0 112010 33 0 0 25 0 1 0 59044803 160178176 36632 996147200 134512640 135215973 4294956320 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 39106 36632 408 171 0 38031 0
Current children cumulated CPU time (s) 1120.43
Current children cumulated vsize (KiB) 156424

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=935544/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=162500 CPUtime=1180.41
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 47924 659 0 0 118006 35 0 0 25 0 1 0 59044803 166400000 38529 996147200 134512640 135215973 4294956320 18446744073709551615 135095040 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 40625 38529 408 171 0 39550 0
Current children cumulated CPU time (s) 1180.41
Current children cumulated vsize (KiB) 162500

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=927672/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=167832 CPUtime=1240.37
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 49417 659 0 0 124001 36 0 0 25 0 1 0 59044803 171859968 40022 996147200 134512640 135215973 4294956320 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 41958 40022 408 171 0 40883 0
Current children cumulated CPU time (s) 1240.37
Current children cumulated vsize (KiB) 167832

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=918392/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=174560 CPUtime=1300.35
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 51293 659 0 0 129997 38 0 0 25 0 1 0 59044803 178749440 41898 996147200 134512640 135215973 4294956320 18446744073709551615 134957805 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 43640 41898 408 171 0 42565 0
Current children cumulated CPU time (s) 1300.35
Current children cumulated vsize (KiB) 174560

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=905464/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=181408 CPUtime=1360.32
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 53182 659 0 0 135993 39 0 0 25 0 1 0 59044803 185761792 43787 996147200 134512640 135215973 4294956320 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 45352 43787 408 171 0 44277 0
Current children cumulated CPU time (s) 1360.32
Current children cumulated vsize (KiB) 181408

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=891000/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=194228 CPUtime=1420.29
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 56521 659 0 0 141989 40 0 0 25 0 1 0 59044803 198889472 46548 996147200 134512640 135215973 4294956320 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 48557 46548 408 171 0 47482 0
Current children cumulated CPU time (s) 1420.29
Current children cumulated vsize (KiB) 194228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=885944/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=197320 CPUtime=1480.26
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 57481 659 0 0 147985 41 0 0 25 0 1 0 59044803 202055680 47508 996147200 134512640 135215973 4294956320 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 49330 47508 408 171 0 48255 0
Current children cumulated CPU time (s) 1480.26
Current children cumulated vsize (KiB) 197320

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=880760/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=200148 CPUtime=1540.23
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 58318 659 0 0 153981 42 0 0 25 0 1 0 59044803 204951552 48345 996147200 134512640 135215973 4294956320 18446744073709551615 134641038 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 50037 48345 408 171 0 48962 0
Current children cumulated CPU time (s) 1540.23
Current children cumulated vsize (KiB) 200148

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=873336/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=204236 CPUtime=1600.2
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 59491 659 0 0 159977 43 0 0 25 0 1 0 59044803 209137664 49518 996147200 134512640 135215973 4294956320 18446744073709551615 134581797 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 51059 49518 408 171 0 49984 0
Current children cumulated CPU time (s) 1600.2
Current children cumulated vsize (KiB) 204236

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=866296/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=208644 CPUtime=1660.18
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 60733 659 0 0 165973 45 0 0 25 0 1 0 59044803 213651456 50760 996147200 134512640 135215973 4294956320 18446744073709551615 134532657 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 52161 50760 408 171 0 51086 0
Current children cumulated CPU time (s) 1660.18
Current children cumulated vsize (KiB) 208644

[startup+1722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=857016/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=229376 CPUtime=1720.15
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 66065 659 0 0 171968 47 0 0 25 0 1 0 59044803 234881024 51995 996147200 134512640 135215973 4294956320 18446744073709551615 135094310 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 57344 51995 408 171 0 56269 0
Current children cumulated CPU time (s) 1720.15
Current children cumulated vsize (KiB) 229376

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=848824/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=234756 CPUtime=1780.11
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 67551 659 0 0 177963 48 0 0 25 0 1 0 59044803 240390144 53481 996147200 134512640 135215973 4294956320 18446744073709551615 4158960101 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 58689 53481 408 171 0 57614 0
Current children cumulated CPU time (s) 1780.11
Current children cumulated vsize (KiB) 234756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 12792
/proc/meminfo: memFree=845752/2055920 swapFree=4192812/4192956
[pid=12746] ppid=12744 vsize=236828 CPUtime=1800.01
/proc/12746/stat : 12746 (pcs.big) R 12744 12746 11359 0 -1 4194304 68125 659 0 0 179953 48 0 0 25 0 1 0 59044803 242511872 54055 996147200 134512640 135215973 4294956320 18446744073709551615 134583459 0 0 4096 0 0 0 0 17 0 0 0
/proc/12746/statm: 59207 54055 408 171 0 58132 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 236828

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1802.24
CPU time (s): 1800.06
CPU user time (s): 1799.54
CPU system time (s): 0.526919
CPU usage (%): 99.8793
Max. virtual memory (cumulated for all children) (KiB): 241672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.526919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68784
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= 23
involuntary context switches= 15746

runsolver used 1.52177 second user time and 5.04723 second system time

The end

Launcher Data 

Begin job on node77 at 2009-07-16 06:49:56
IDJOB=2081548
IDBENCH=57425
IDSOLVER=733
FILE ID=node77/2081548-1247719796
PBS_JOBID= 9521359
Free space on /tmp= 66164 MiB

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

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

MD5SUM BENCH= 20e23229ee104462f117a47e593e32b4
RANDOM SEED=74272858

node77.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.256
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.256
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:       1179344 kB
Buffers:         86764 kB
Cached:         660488 kB
SwapCached:          0 kB
Active:         247628 kB
Inactive:       534692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1179344 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2416 kB
Writeback:           0 kB
Mapped:          55512 kB
Slab:            79448 kB
Committed_AS:   513760 kB
PageTables:       1864 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= 66160 MiB
End job on node77 at 2009-07-16 07:20:00