Trace number 1114331

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
Sugar++ v1.13+minisat-incNo Cert. 72.7809 77.8392

General information on the benchmark

Namecsp/ehi-85/
normalized-ehi-85-297-30_ext.xml
MD5SUM75fb645e715b24b545954b9d8004793b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints9
Best CPU time to get the best result obtained on this benchmark1087.57
Satisfiable
(Un)Satisfiability was proved
Number of variables297
Number of constraints4121
Maximum constraint arity2
Maximum domain size7
Number of constraints which are defined in extension4121
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05/0.07	c 0	Sugar++ v1-13 + HOME/minisat-inc
0.05/0.07	c 0	BEGIN Thu Aug  7 20:54:58 2008
0.05/0.07	c 0	PID 14669
0.05/0.07	c 0	HOST node85.alineos.net
0.05/0.08	c 0	CONVERTING HOME/instance-1114331-1218135297.xml TO HOME/temp.csp
0.05/0.08	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1114331-1218135297.xml' 'HOME/temp.csp'
0.06/0.64	c 1	1 domains, 297 variables, 0 predicates, 76 relations, 4121 constraints
0.06/0.66	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.66	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.61/0.74	c 1	Parsing HOME/temp.csp
0.61/0.95	c 1	parsed 4495 expressions
0.61/0.96	c 1	Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.61/1.00	c 1	MAX CSP: 4121 constraints
0.61/1.00	c 1	Converting to clausal form CSP
0.93/1.09	c 1	converted 862 (10%) expressions
1.12/1.26	c 2	converted 1724 (20%) expressions
1.23/1.32	c 2	converted 2586 (30%) expressions
1.23/1.38	c 2	converted 3448 (40%) expressions
1.32/1.47	c 2	converted 4310 (50%) expressions
1.41/1.50	c 2	converted 5172 (60%) expressions
1.41/1.54	c 2	converted 6034 (70%) expressions
1.41/1.57	c 2	converted 6896 (80%) expressions
1.51/1.68	c 2	converted 7758 (90%) expressions
1.91/2.06	c 2	converted 8619 (100%) expressions
1.91/2.06	c 2	CSP : 8539 integers, 0 booleans, 12362 clauses, largest domain size 6182
1.91/2.06	c 2	Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.91/2.06	c 2	Propagation in CSP
2.12/2.22	c 3	4117 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.12/2.22	c 3	CSP : 8539 integers, 0 booleans, 12362 clauses, largest domain size 4122
2.12/2.22	c 3	Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.12/2.23	c 3	Simplifing CSP by introducing new Boolean variables
2.12/2.24	c 3	CSP : 8539 integers, 0 booleans, 12362 clauses, largest domain size 4122
2.12/2.24	c 3	Heap : 21 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.21/2.37	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.21/2.39	c 3	854 (10%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.31/2.40	c 3	1708 (20%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.31/2.40	c 3	2562 (30%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.31/2.40	c 3	3416 (40%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.31/2.40	c 3	4270 (50%) CSP integer variables are encoded (1485 clauses, 17524 bytes)
2.31/2.42	c 3	5124 (60%) CSP integer variables are encoded (10752 clauses, 148338 bytes)
2.31/2.44	c 3	5978 (70%) CSP integer variables are encoded (19064 clauses, 273018 bytes)
2.31/2.45	c 3	6832 (80%) CSP integer variables are encoded (28511 clauses, 414723 bytes)
2.40/2.51	c 3	7686 (90%) CSP integer variables are encoded (79762 clauses, 1183488 bytes)
2.40/2.53	c 3	8539 (100%) CSP integer variables are encoded (92202 clauses, 1371571 bytes)
2.51/2.69	c 3	1237 (10%) CSP clauses are encoded (104164 clauses, 1633718 bytes)
2.60/2.80	c 3	2473 (20%) CSP clauses are encoded (115653 clauses, 1894431 bytes)
2.80/2.90	c 3	3709 (30%) CSP clauses are encoded (127357 clauses, 2171680 bytes)
3.00/3.12	c 3	4945 (40%) CSP clauses are encoded (220677 clauses, 4150372 bytes)
4.69/4.84	c 5	6181 (50%) CSP clauses are encoded (1213941 clauses, 25408879 bytes)
5.19/5.31	c 6	7418 (60%) CSP clauses are encoded (1494313 clauses, 31366476 bytes)
10.17/11.22	c 12	8654 (70%) CSP clauses are encoded (4445971 clauses, 94714142 bytes)
19.96/21.34	c 22	9890 (80%) CSP clauses are encoded (8828945 clauses, 188313895 bytes)
27.14/28.51	c 29	11126 (90%) CSP clauses are encoded (13108135 clauses, 280186581 bytes)
41.24/43.93	c 44	12362 (100%) CSP clauses are encoded (21539038 clauses, 462808968 bytes)
41.24/43.93	c 44	12362 CSP clauses encoded
41.24/43.93	c 44	Writing map file : HOME/temp.map
41.24/43.97	c 44	Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
41.24/43.97	c 44	SAT : 100741 SAT variables, 21539038 SAT clauses, 462808968 bytes
41.24/43.97	c 44	Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
41.33/44.04	c 44	OBJECTIVE minimize _COST
41.33/44.04	c 44	SOLVING HOME/temp.cnf
41.33/44.04	c 44	CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
41.33/44.04	c 44	This is MiniSat 2.0 beta incremental
41.33/44.04	c 44	WARNING: for repeatability, setting FPU to use double precision
41.33/44.04	c 44	============================[ Problem Statistics ]=============================
41.33/44.04	c 44	|                                                                             |
41.33/44.04	c 44	|  Number of variables:  100741                                               |
41.33/44.04	c 44	|  Number of clauses:    21539038                                             |
50.37/53.27	c 54	|  Parsing time:         7.79         s                                       |
50.77/53.66	c 54	OK
50.77/53.66	c 54	OBJECTIVE BOUND: 0 <= _COST <= 
50.77/53.66	c 54	SEARCHING: _COST <= 2061
50.77/53.66	c 54	============================[ Search Statistics ]==============================
50.77/53.66	c 54	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
50.77/53.66	c 54	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
50.77/53.66	c 54	===============================================================================
50.77/53.66	c 54	|         0 |  100741 21539038 64381295 |  7179679        0    nan |  0.000 % |
55.63/58.50	c 59	|       100 |  100741 21539038 64381295 |  7897647      100     25 |  0.000 % |
56.22/59.13	c 59	|       250 |  100741 21539038 64381295 |  8687411      250     14 |  0.000 % |
59.60/62.54	c 63	|       475 |  100741 21539038 64381295 |  9556153      475     25 |  0.000 % |
61.48/64.42	c 65	|       812 |  100741 21539038 64381295 | 10511768      812     19 |  0.000 % |
66.63/69.69	c 70	|      1319 |  100741 21539038 64381295 | 11562945     1319     21 |  0.000 % |
70.70/73.75	c 74	|      2078 |  100741 21539038 64381295 | 12719239     2078     34 |  0.000 % |
72.19/75.28	c 76	===============================================================================
72.19/75.28	c 76	restarts              : 7
72.19/75.28	c 76	conflicts             : 2550          (86 /sec)
72.19/75.28	c 76	decisions             : 19582         (0.67 % random) (663 /sec)
72.19/75.28	c 76	propagations          : 5462822        (185058 /sec)
72.19/75.28	c 76	conflict literals     : 76535          (10.85 % deleted)
72.19/75.28	c 76	Memory used           : 879.96 MB
72.19/75.28	c 76	CPU time              : 29.5195 s
72.19/75.29	c 76	
72.19/75.29	c 76	SATISFIABLE
72.29/75.32	c 76	OK
72.29/75.32	c 76	FOUND: _COST <= 2061
72.29/75.32	s SATISFIABLE
72.29/75.32	c 76	DECODING HOME/temp.out WITH HOME/temp.map
72.29/75.32	c 76	CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
72.31/75.82	c ERROR INTERRUPTED
72.42/75.95	c 76	CPU 67.87 (0.07 0.01 67.8 4.57)
72.42/75.95	c 76	END Thu Aug  7 20:56:14 2008

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114331-1218135297/watcher-1114331-1218135297 -o /tmp/evaluation-result-1114331-1218135297/solver-1114331-1218135297 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1114331-1218135297.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.37 6.66 6.40 4/85 14669
/proc/meminfo: memFree=1021056/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=18572 CPUtime=0
/proc/14669/stat : 14669 (runsolver) R 14667 14669 13434 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 140614659 19017728 292 996147200 4194304 4296836 548682068192 18446744073709551615 214945033511 0 0 4096 24578 0 0 0 17 0 0 0
/proc/14669/statm: 4643 292 257 25 0 2626 0

[startup+0.0655811 s]
/proc/loadavg: 6.37 6.66 6.40 4/85 14669
/proc/meminfo: memFree=1021056/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16344 CPUtime=0.05
/proc/14669/stat : 14669 (sugar++) R 14667 14669 13434 0 -1 4194304 1000 0 0 0 4 1 0 0 18 0 1 0 140614659 16736256 968 996147200 4194304 4206940 548682068528 18446744073709551615 214962685276 0 0 4224 0 0 0 0 17 1 0 0
/proc/14669/statm: 4086 968 380 3 0 665 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16344

[startup+0.102588 s]
/proc/loadavg: 6.37 6.66 6.40 4/85 14669
/proc/meminfo: memFree=1021056/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.06
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1219 128 0 0 5 1 0 0 18 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.302604 s]
/proc/loadavg: 6.37 6.66 6.40 4/85 14669
/proc/meminfo: memFree=1021056/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.06
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1219 128 0 0 5 1 0 0 18 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740

[startup+0.702652 s]
/proc/loadavg: 6.37 6.66 6.40 4/85 14669
/proc/meminfo: memFree=1021056/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.61
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1279 5346 0 1 5 1 51 4 16 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 16740

[startup+1.50175 s]
/proc/loadavg: 6.37 6.66 6.40 3/96 14691
/proc/meminfo: memFree=997352/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.61
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1297 5346 0 1 5 1 51 4 15 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
[pid=14682] ppid=14669 vsize=5356 CPUtime=0
/proc/14682/stat : 14682 (sh) S 14669 14669 13434 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 140614725 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14682/statm: 1339 233 193 169 0 50 0
[pid=14683] ppid=14682 vsize=868360 CPUtime=0.8
/proc/14683/stat : 14683 (java) S 14682 14669 13434 0 -1 0 8285 0 1 0 76 4 0 0 18 0 9 0 140614726 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14683/statm: 217090 7498 2540 9 0 211665 0
[pid=14683/tid=14684] ppid=14682 vsize=868360 CPUtime=0.4
/proc/14683/task/14684/stat : 14684 (java) R 14682 14669 13434 0 -1 64 2660 0 1 0 39 1 0 0 22 0 9 0 140614726 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 103214580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14685] ppid=14682 vsize=868360 CPUtime=0.21
/proc/14683/task/14685/stat : 14685 (java) S 14682 14669 13434 0 -1 64 3488 0 0 0 20 1 0 0 16 0 9 0 140614727 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14686] ppid=14682 vsize=868360 CPUtime=0
/proc/14683/task/14686/stat : 14686 (java) S 14682 14669 13434 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 140614728 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14687] ppid=14682 vsize=868360 CPUtime=0
/proc/14683/task/14687/stat : 14687 (java) S 14682 14669 13434 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 140614728 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14688] ppid=14682 vsize=868360 CPUtime=0
/proc/14683/task/14688/stat : 14688 (java) S 14682 14669 13434 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 140614730 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14689] ppid=14682 vsize=868360 CPUtime=0.17
/proc/14683/task/14689/stat : 14689 (java) S 14682 14669 13434 0 -1 64 1444 0 0 0 17 0 0 0 16 0 9 0 140614730 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14690] ppid=14682 vsize=868360 CPUtime=0
/proc/14683/task/14690/stat : 14690 (java) S 14682 14669 13434 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 140614730 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14691] ppid=14682 vsize=868360 CPUtime=0
/proc/14683/task/14691/stat : 14691 (java) S 14682 14669 13434 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 140614730 889200640 7498 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890456

[startup+3.10192 s]
/proc/loadavg: 6.37 6.66 6.40 3/95 14691
/proc/meminfo: memFree=959984/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.61
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1297 5346 0 1 5 1 51 4 15 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
[pid=14682] ppid=14669 vsize=5356 CPUtime=0
/proc/14682/stat : 14682 (sh) S 14669 14669 13434 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 140614725 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14682/statm: 1339 233 193 169 0 50 0
[pid=14683] ppid=14682 vsize=868472 CPUtime=2.39
/proc/14683/stat : 14683 (java) S 14682 14669 13434 0 -1 0 11567 0 1 0 230 9 0 0 18 0 9 0 140614726 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14683/statm: 217118 10543 2567 9 0 211665 0
[pid=14683/tid=14684] ppid=14682 vsize=868472 CPUtime=1.48
/proc/14683/task/14684/stat : 14684 (java) R 14682 14669 13434 0 -1 64 2981 0 1 0 144 4 0 0 25 0 9 0 140614726 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4126912353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14685] ppid=14682 vsize=868472 CPUtime=0.6
/proc/14683/task/14685/stat : 14685 (java) S 14682 14669 13434 0 -1 64 6379 0 0 0 58 2 0 0 16 0 9 0 140614727 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14686] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14686/stat : 14686 (java) S 14682 14669 13434 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 140614728 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14687] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14687/stat : 14687 (java) S 14682 14669 13434 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 140614728 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14688] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14688/stat : 14688 (java) S 14682 14669 13434 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 140614730 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14689] ppid=14682 vsize=868472 CPUtime=0.28
/proc/14683/task/14689/stat : 14689 (java) S 14682 14669 13434 0 -1 64 1514 0 0 0 27 1 0 0 16 0 9 0 140614730 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14690] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14690/stat : 14690 (java) S 14682 14669 13434 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 140614730 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14691] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14691/stat : 14691 (java) S 14682 14669 13434 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 140614730 889315328 10543 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890568

[startup+6.30228 s]
/proc/loadavg: 6.10 6.60 6.38 2/94 14691
/proc/meminfo: memFree=909304/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.61
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1297 5346 0 1 5 1 51 4 16 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
[pid=14682] ppid=14669 vsize=5356 CPUtime=0
/proc/14682/stat : 14682 (sh) S 14669 14669 13434 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 140614725 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14682/statm: 1339 233 193 169 0 50 0
[pid=14683] ppid=14682 vsize=868472 CPUtime=4.79
/proc/14683/stat : 14683 (java) S 14682 14669 13434 0 -1 0 11964 0 1 0 452 27 0 0 18 0 9 0 140614726 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14683/statm: 217118 10549 2567 9 0 211665 0
[pid=14683/tid=14684] ppid=14682 vsize=868472 CPUtime=3.74
/proc/14683/task/14684/stat : 14684 (java) R 14682 14669 13434 0 -1 64 3372 0 1 0 354 20 0 0 18 0 9 0 140614726 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14685] ppid=14682 vsize=868472 CPUtime=0.74
/proc/14683/task/14685/stat : 14685 (java) S 14682 14669 13434 0 -1 64 6379 0 0 0 69 5 0 0 16 0 9 0 140614727 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14686] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14686/stat : 14686 (java) S 14682 14669 13434 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 140614728 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14687] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14687/stat : 14687 (java) S 14682 14669 13434 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 140614728 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14688] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14688/stat : 14688 (java) S 14682 14669 13434 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14689] ppid=14682 vsize=868472 CPUtime=0.29
/proc/14683/task/14689/stat : 14689 (java) S 14682 14669 13434 0 -1 64 1520 0 0 0 28 1 0 0 16 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14690] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14690/stat : 14690 (java) S 14682 14669 13434 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14691] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14691/stat : 14691 (java) S 14682 14669 13434 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 890568

[startup+12.702 s]
/proc/loadavg: 5.85 6.54 6.36 3/94 14691
/proc/meminfo: memFree=770624/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.61
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1297 5346 0 1 5 1 51 4 16 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
[pid=14682] ppid=14669 vsize=5356 CPUtime=0
/proc/14682/stat : 14682 (sh) S 14669 14669 13434 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 140614725 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14682/statm: 1339 233 193 169 0 50 0
[pid=14683] ppid=14682 vsize=868472 CPUtime=11.05
/proc/14683/stat : 14683 (java) S 14682 14669 13434 0 -1 0 12851 0 1 0 1031 74 0 0 18 0 9 0 140614726 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14683/statm: 217118 10549 2567 9 0 211665 0
[pid=14683/tid=14684] ppid=14682 vsize=868472 CPUtime=9.68
/proc/14683/task/14684/stat : 14684 (java) R 14682 14669 13434 0 -1 64 4259 0 1 0 907 61 0 0 25 0 9 0 140614726 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4127124449 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14685] ppid=14682 vsize=868472 CPUtime=1.05
/proc/14683/task/14685/stat : 14685 (java) S 14682 14669 13434 0 -1 64 6379 0 0 0 95 10 0 0 16 0 9 0 140614727 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14686] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14686/stat : 14686 (java) S 14682 14669 13434 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 140614728 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14687] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14687/stat : 14687 (java) S 14682 14669 13434 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 140614728 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14688] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14688/stat : 14688 (java) S 14682 14669 13434 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14689] ppid=14682 vsize=868472 CPUtime=0.29
/proc/14683/task/14689/stat : 14689 (java) S 14682 14669 13434 0 -1 64 1520 0 0 0 28 1 0 0 16 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14690] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14690/stat : 14690 (java) S 14682 14669 13434 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14691] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14691/stat : 14691 (java) S 14682 14669 13434 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 890568

[startup+25.5025 s]
/proc/loadavg: 5.82 6.50 6.35 2/89 14696
/proc/meminfo: memFree=637608/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=16740 CPUtime=0.61
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1297 5346 0 1 5 1 51 4 16 0 1 0 140614659 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14669/statm: 4185 1104 409 3 0 764 0
[pid=14682] ppid=14669 vsize=5356 CPUtime=0
/proc/14682/stat : 14682 (sh) S 14669 14669 13434 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 140614725 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14682/statm: 1339 233 193 169 0 50 0
[pid=14683] ppid=14682 vsize=868472 CPUtime=23.54
/proc/14683/stat : 14683 (java) S 14682 14669 13434 0 -1 0 14792 0 1 0 2193 161 0 0 18 0 9 0 140614726 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14683/statm: 217118 10549 2567 9 0 211665 0
[pid=14683/tid=14684] ppid=14682 vsize=868472 CPUtime=21.62
/proc/14683/task/14684/stat : 14684 (java) R 14682 14669 13434 0 -1 64 6200 0 1 0 2023 139 0 0 16 0 9 0 140614726 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4127036510 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14685] ppid=14682 vsize=868472 CPUtime=1.61
/proc/14683/task/14685/stat : 14685 (java) S 14682 14669 13434 0 -1 64 6379 0 0 0 141 20 0 0 16 0 9 0 140614727 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14683/tid=14686] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14686/stat : 14686 (java) S 14682 14669 13434 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 140614728 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14687] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14687/stat : 14687 (java) S 14682 14669 13434 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 140614728 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14688] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14688/stat : 14688 (java) S 14682 14669 13434 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14689] ppid=14682 vsize=868472 CPUtime=0.29
/proc/14683/task/14689/stat : 14689 (java) S 14682 14669 13434 0 -1 64 1520 0 0 0 28 1 0 0 16 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14690] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14690/stat : 14690 (java) S 14682 14669 13434 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14683/tid=14691] ppid=14682 vsize=868472 CPUtime=0
/proc/14683/task/14691/stat : 14691 (java) S 14682 14669 13434 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 140614730 889315328 10549 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 890568

[startup+51.1012 s]
/proc/loadavg: 6.35 6.58 6.38 2/81 14701
/proc/meminfo: memFree=15336/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=17268 CPUtime=41.37
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1584 23312 0 2 7 1 3826 303 16 0 1 0 140614659 17682432 1242 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14669/statm: 4317 1242 413 3 0 896 0
[pid=14701] ppid=14669 vsize=629352 CPUtime=6.94
/proc/14701/stat : 14701 (minisat-inc) R 14669 14669 13434 0 -1 4194304 155105 0 0 0 597 97 0 0 25 0 1 0 140619063 644456448 155052 996147200 134512640 135134323 4294956192 18446744073709551615 134515594 0 0 4096 3 0 0 0 17 0 0 0
/proc/14701/statm: 157338 155052 59 151 0 157184 0
Current children cumulated CPU time (s) 48.31
Current children cumulated vsize (KiB) 646620



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+75.802 s]
/proc/loadavg: 5.46 6.35 6.31 1/79 14703
/proc/meminfo: memFree=15856/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=17268 CPUtime=41.37
/proc/14669/stat : 14669 (sugar++) S 14667 14669 13434 0 -1 4194304 1641 23312 0 2 7 1 3826 303 16 0 1 0 140614659 17682432 1245 996147200 4194304 4206940 548682068528 18446744073709551615 214953930850 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14669/statm: 4317 1245 414 3 0 896 0
[pid=14701] ppid=14669 vsize=901080 CPUtime=30.94
/proc/14701/stat : 14701 (minisat-inc) S 14669 14669 13434 0 -1 4194304 219041 0 0 0 2954 140 0 0 25 0 1 0 140619063 922705920 218986 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 0 0 0
/proc/14701/statm: 225270 218986 80 151 0 225116 0
[pid=14702] ppid=14669 vsize=5356 CPUtime=0
/proc/14702/stat : 14702 (sh) S 14669 14669 13434 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 140622191 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14702/statm: 1339 233 193 169 0 50 0
[pid=14703] ppid=14702 vsize=5356 CPUtime=0
/proc/14703/stat : 14703 (sh) D 14702 14669 13434 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 140622192 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 214945033511 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/14703/statm: 1339 233 193 169 0 50 0
Current children cumulated CPU time (s) 72.31
Current children cumulated vsize (KiB) 929060

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

Sending SIGKILL to process tree (bottom up)

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

[startup+76.6011 s]
/proc/loadavg: 5.46 6.35 6.31 1/79 14703
/proc/meminfo: memFree=15856/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=17268 CPUtime=72.73
/proc/14669/stat : 14669 (sugar++) D 14667 14669 13434 0 -1 4194304 1693 242631 0 2 7 29 6780 457 15 0 1 0 140614659 17682432 1246 996147200 4194304 4206940 548682068528 18446744073709551615 214945207337 0 0 4224 16386 18446744071563478208 0 0 17 1 0 0
/proc/14669/statm: 4317 1246 415 3 0 896 0
Current children cumulated CPU time (s) 72.73
Current children cumulated vsize (KiB) 17268

[startup+77.4012 s]
/proc/loadavg: 5.46 6.35 6.31 1/77 14704
/proc/meminfo: memFree=1356608/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=17268 CPUtime=72.73
/proc/14669/stat : 14669 (sugar++) D 14667 14669 13434 0 -1 4194304 1693 242631 0 2 7 29 6780 457 15 0 1 0 140614659 17682432 1246 996147200 4194304 4206940 548682068528 18446744073709551615 214945207337 0 0 4224 16386 18446744071563478208 0 0 17 1 0 0
/proc/14669/statm: 4317 1246 415 3 0 896 0
Current children cumulated CPU time (s) 72.73
Current children cumulated vsize (KiB) 17268

[startup+77.8012 s]
/proc/loadavg: 5.46 6.35 6.31 1/77 14704
/proc/meminfo: memFree=1356608/2055920 swapFree=4181032/4192956
[pid=14669] ppid=14667 vsize=17268 CPUtime=72.73
/proc/14669/stat : 14669 (sugar++) D 14667 14669 13434 0 -1 4194304 1693 242631 0 2 7 29 6780 457 15 0 1 0 140614659 17682432 1246 996147200 4194304 4206940 548682068528 18446744073709551615 214945207337 0 0 4224 16386 18446744071563478208 0 0 17 1 0 0
/proc/14669/statm: 4317 1246 415 3 0 896 0
Current children cumulated CPU time (s) 72.73
Current children cumulated vsize (KiB) 17268

Child ended because it received signal 9 (SIGKILL)
Real time (s): 77.8392
CPU time (s): 72.7809
CPU user time (s): 67.8787
CPU system time (s): 4.90225
CPU usage (%): 93.5017
Max. virtual memory (cumulated for all children) (KiB): 929060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.8787
system time used= 4.90225
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244324
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34396
involuntary context switches= 30605

runsolver used 0.104984 second user time and 0.25896 second system time

The end

Launcher Data (download as text)

Begin job on node85 at 2008-08-07 20:54:58
IDJOB=1114331
IDBENCH=61720
IDSOLVER=367
FILE ID=node85/1114331-1218135297
PBS_JOBID= 8000806
Free space on /tmp= 125084 MiB

SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/ehi-85/normalized-ehi-85-297-30_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1114331-1218135297/watcher-1114331-1218135297 -o /tmp/evaluation-result-1114331-1218135297/solver-1114331-1218135297 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1114331-1218135297.xml

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 75fb645e715b24b545954b9d8004793b
RANDOM SEED=1713339002

node85.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.236
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.236
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:       1021600 kB
Buffers:          4732 kB
Cached:         896604 kB
SwapCached:       4696 kB
Active:         670288 kB
Inactive:       280680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1021600 kB
SwapTotal:     4192956 kB
SwapFree:      4181032 kB
Dirty:          161904 kB
Writeback:           0 kB
Mapped:          67744 kB
Slab:            68432 kB
Committed_AS:   211196 kB
PageTables:       1940 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= 124944 MiB
End job on node85 at 2008-08-07 20:56:16