Trace number 1074723

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
Sugar v1.13+minisatSAT 55.5686 57.1518

General information on the benchmark

Namecsp/os-taillard-20/
normalized-os-taillard-20-105-9.xml
MD5SUMd07eba8b6417f2f1d02309d4c67c10fc
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 benchmark2.51662
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size1348
Number of constraints which are defined in extension0
Number of constraints which are defined in intension7600
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.04	c 0	Sugar v1-13 + HOME/minisat
0.00/0.04	c 0	BEGIN Fri Jul  4 15:52:00 2008
0.00/0.04	c 0	PID 26163
0.00/0.04	c 0	HOST node81.alineos.net
0.00/0.04	c 0	CONVERTING HOME/instance-1074723-1215179520.xml TO HOME/temp.csp
0.00/0.04	c 0	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1074723-1215179520.xml' 'HOME/temp.csp'
0.97/1.02	c 1	400 domains, 400 variables, 1 predicates, 0 relations, 7600 constraints
0.97/1.07	c 1	ENCODING HOME/temp.csp TO HOME/temp.cnf
0.97/1.07	c 1	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.00/1.15	c 1	Parsing HOME/temp.csp
1.00/1.50	c 2	parsed 8401 expressions
1.00/1.51	c 2	Heap : 4 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.00/1.51	c 2	Converting to clausal form CSP
1.00/1.56	c 2	converted 841 (10%) expressions
1.00/1.72	c 2	converted 1681 (20%) expressions
1.00/1.78	c 2	converted 2521 (30%) expressions
1.00/1.80	c 2	converted 3361 (40%) expressions
1.00/1.82	c 2	converted 4201 (50%) expressions
1.00/1.85	c 2	converted 5041 (60%) expressions
1.00/1.87	c 2	converted 5881 (70%) expressions
1.00/1.94	c 2	converted 6721 (80%) expressions
1.00/1.96	c 2	converted 7561 (90%) expressions
1.00/1.98	c 2	converted 8401 (100%) expressions
1.00/1.98	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1348
1.00/1.98	c 2	Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.00/1.98	c 2	Propagation in CSP
1.00/2.06	c 2	0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.00/2.06	c 2	CSP : 400 integers, 0 booleans, 7600 clauses, largest domain size 1348
1.00/2.06	c 2	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.00/2.06	c 2	Simplifing CSP by introducing new Boolean variables
2.00/2.20	c 3	CSP : 400 integers, 15200 booleans, 22800 clauses, largest domain size 1348
2.00/2.20	c 3	Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.11/2.27	c 3	Encoding CSP to SAT : HOME/temp.cnf
2.21/2.36	c 3	40 (10%) CSP integer variables are encoded (51791 clauses, 754735 bytes)
2.31/2.42	c 3	80 (20%) CSP integer variables are encoded (103648 clauses, 1540043 bytes)
2.31/2.48	c 3	120 (30%) CSP integer variables are encoded (155432 clauses, 2420371 bytes)
2.40/2.54	c 3	160 (40%) CSP integer variables are encoded (207243 clauses, 3301158 bytes)
2.50/2.60	c 3	200 (50%) CSP integer variables are encoded (259043 clauses, 4181758 bytes)
2.50/2.66	c 3	240 (60%) CSP integer variables are encoded (311034 clauses, 5065605 bytes)
2.60/2.73	c 3	280 (70%) CSP integer variables are encoded (362935 clauses, 5947922 bytes)
2.60/2.79	c 3	320 (80%) CSP integer variables are encoded (414977 clauses, 6832636 bytes)
2.70/2.85	c 3	360 (90%) CSP integer variables are encoded (466790 clauses, 7713457 bytes)
2.80/2.91	c 3	400 (100%) CSP integer variables are encoded (518524 clauses, 8592935 bytes)
6.08/6.24	c 7	2280 (10%) CSP clauses are encoded (2417308 clauses, 52434965 bytes)
9.46/9.61	c 10	4560 (20%) CSP clauses are encoded (4321034 clauses, 97330625 bytes)
12.75/12.99	c 13	6840 (30%) CSP clauses are encoded (6216940 clauses, 142845243 bytes)
16.11/16.37	c 17	9120 (40%) CSP clauses are encoded (8103606 clauses, 189982253 bytes)
19.47/19.77	c 20	11400 (50%) CSP clauses are encoded (10004410 clauses, 237472713 bytes)
22.82/23.56	c 24	13680 (60%) CSP clauses are encoded (11900670 clauses, 284849573 bytes)
26.16/27.00	c 27	15960 (70%) CSP clauses are encoded (13798274 clauses, 332260033 bytes)
29.60/30.94	c 31	18240 (80%) CSP clauses are encoded (15704594 clauses, 379888393 bytes)
33.01/34.44	c 35	20520 (90%) CSP clauses are encoded (17611096 clauses, 427521303 bytes)
36.45/37.92	c 38	22800 (100%) CSP clauses are encoded (19505148 clauses, 474842963 bytes)
36.45/37.92	c 38	22800 CSP clauses encoded
36.45/37.92	c 38	Writing map file : HOME/temp.map
36.45/37.93	c 38	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
36.45/37.93	c 38	SAT : 534124 SAT variables, 19505148 SAT clauses, 474842963 bytes
36.45/37.93	c 38	Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
36.45/37.99	c 38	SOLVING HOME/temp.cnf
36.45/37.99	c 38	CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
36.45/37.99	c 38	This is MiniSat 2.0 beta
36.45/37.99	c 38	WARNING: for repeatability, setting FPU to use double precision
36.45/37.99	c 38	============================[ Problem Statistics ]=============================
36.45/37.99	c 38	|                                                                             |
36.45/37.99	c 38	|  Number of variables:  534124                                               |
36.45/37.99	c 38	|  Number of clauses:    19505148                                             |
46.81/48.42	c 49	|  Parsing time:         9.03         s                                       |
47.31/48.91	c 49	============================[ Search Statistics ]==============================
47.31/48.91	c 49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
47.31/48.91	c 49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
47.31/48.91	c 49	===============================================================================
47.31/48.91	c 49	|         0 |  534124 19505148 57958920 |  6501716        0    nan |  0.000 % |
50.01/51.66	c 52	|       100 |  534124 19505148 57958920 |  7151887      100     44 |  0.000 % |
51.51/53.19	c 54	|       250 |  534124 19505148 57958920 |  7867076      250     30 |  0.000 % |
54.31/55.93	c 56	===============================================================================
54.31/55.96	c 56	restarts              : 3
54.31/55.96	c 56	conflicts             : 323            (20 /sec)
54.31/55.96	c 56	decisions             : 6542           (0.89 % random) (398 /sec)
54.31/55.96	c 56	propagations          : 2914208        (177226 /sec)
54.31/55.96	c 56	conflict literals     : 8549           (3.72 % deleted)
54.31/55.96	c 56	Memory used           : 850.66 MB
54.31/55.96	c 56	CPU time              : 16.4435 s
54.31/55.96	c 56	
54.51/56.16	c 57	SATISFIABLE
54.61/56.28	c 57	DECODING HOME/temp.out WITH HOME/temp.map
54.61/56.28	c 57	CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
54.71/56.36	c 57	Decoding HOME/temp.out
54.71/56.87	s SATISFIABLE
54.71/56.89	v 1222 1071 1122 389 213 291 1137 601 79 1062 855 949 1320 164 686 16 11 877 1218 799 609 1165 241 21 809 1120 222 113 958 999 1026 36 319 659 505 726 452 382 323 1257 279 1284 1214 1136 160 1243 4 970 629 1142 547 721 1089 1155 1254 130 352 146 167 1028 1202 961 650 117 584 1238 1155 851 329 1324 991 10 873 242 150 717 494 411 1075 402 16 14 86 243 294 812 608 535 893 990 1119 1166 716 1254 419 763 496 1031 1053 1111 136 986 1321 1213 1026 288 883 39 809 504 1136 1302 232 409 790 700 714 844 622 352 856 546 315 477 775 352 1149 1035 1334 54 12 1120 943 618 1034 1257 913 655 150 796 803 870 710 793 1346 105 381 1110 623 884 1193 36 435 533 408 981 977 921 1035 182 1209 995 17 509 713 1049 1270 861 26 248 739 103 580 327 837 897 425 52 1140 25 640 694 901 176 1139 563 785 1191 52 288 742 1274 880 538 54 255 1043 955 123 324 852 995 1092 299 784 1259 266 795 386 545 427 481 1179 238 704 1140 505 597 153 930 746 412 1022 902 207 869 1312 727 638 961 251 546 171 195 650 464 8 68 147 53 66 846 753 646 207 463 696 810 100 689 1001 305 620 905 1241 526 233 903 579 364 394 846 1202 246 317 101 717 126 107 1067 198 486 9 567 813 641 1341 1260 1331 225 0 775 1033 7 1259 744 540 639 993 9 17 50 62 309 237 890 226 72 480 154 1036 61 4 731 392 1000 834 471 1341 184 139 856 1071 375 1066 892 295 1196 1165 210 528 1020 1105 743 586 806 465 458 403 1267 581 879 1238 625 1155 280 67 648 143 969 1186 1310 17 658 1033 826 522 964 757 74 262 1087 1117 480 391 1184 892 505 620 1235 534 1187 1286 367 1267 549 278 441 159 1036 218 610 401 2 795 48 1088 1330 873 696 814 751 303 876 1249 0 854 378 963 106 1295 989 657 1075 453 1182 1117 541 1206 584
54.71/56.89	c 57	Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
54.71/56.93	c 57	CPU 50.43 (0.04 0.01 50.39 4.88)
54.71/56.93	c 57	END Fri Jul  4 15:52:57 2008

Verifier Data (download as text)

OK

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-1074723-1215179520/watcher-1074723-1215179520 -o /tmp/evaluation-result-1074723-1215179520/solver-1074723-1215179520 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1074723-1215179520.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): 2200 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: 1.97 1.97 1.91 4/82 26163
/proc/meminfo: memFree=1472712/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=12272 CPUtime=0
/proc/26163/stat : 26163 (sugar) R 26161 26163 25228 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 250939975 12566528 327 996147200 4194304 4206940 548682068608 18446744073709551615 269807745637 0 0 4224 0 0 0 0 17 0 0 0
/proc/26163/statm: 3068 327 246 3 0 168 0

[startup+0.050634 s]
/proc/loadavg: 1.97 1.97 1.91 4/82 26163
/proc/meminfo: memFree=1472712/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=0.04
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 900 127 0 0 3 1 0 0 18 0 1 0 250939975 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.102017 s]
/proc/loadavg: 1.97 1.97 1.91 4/82 26163
/proc/meminfo: memFree=1472712/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=0.04
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 900 127 0 0 3 1 0 0 18 0 1 0 250939975 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.301029 s]
/proc/loadavg: 1.97 1.97 1.91 4/82 26163
/proc/meminfo: memFree=1472712/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=0.04
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 900 127 0 0 3 1 0 0 18 0 1 0 250939975 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+0.701078 s]
/proc/loadavg: 1.97 1.97 1.91 4/82 26163
/proc/meminfo: memFree=1472712/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=0.04
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 900 127 0 0 3 1 0 0 18 0 1 0 250939975 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600

[startup+1.50116 s]
/proc/loadavg: 1.97 1.97 1.91 3/93 26175
/proc/meminfo: memFree=1452208/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=1
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 973 8351 0 1 3 1 90 6 15 0 1 0 250939975 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13600

[startup+3.10233 s]
/proc/loadavg: 1.97 1.97 1.91 3/93 26185
/proc/meminfo: memFree=1448240/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=1
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 974 8351 0 1 3 1 90 6 15 0 1 0 250939975 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 797 370 3 0 500 0
[pid=26176] ppid=26163 vsize=5356 CPUtime=0
/proc/26176/stat : 26176 (sh) S 26163 26163 25228 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 250940083 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26176/statm: 1339 233 193 169 0 50 0
[pid=26177] ppid=26176 vsize=868480 CPUtime=2
/proc/26177/stat : 26177 (java) S 26176 26163 25228 0 -1 0 10031 0 1 0 187 13 0 0 20 0 9 0 250940083 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26177/statm: 217120 8944 2565 9 0 211667 0
[pid=26177/tid=26178] ppid=26176 vsize=868480 CPUtime=1.36
/proc/26177/task/26178/stat : 26178 (java) R 26176 26163 25228 0 -1 64 3040 0 1 0 128 8 0 0 25 0 9 0 250940084 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26179] ppid=26176 vsize=868480 CPUtime=0.39
/proc/26177/task/26179/stat : 26179 (java) S 26176 26163 25228 0 -1 64 4795 0 0 0 36 3 0 0 16 0 9 0 250940085 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26180] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26180/stat : 26180 (java) S 26176 26163 25228 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 250940085 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26181] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26181/stat : 26181 (java) S 26176 26163 25228 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 250940085 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26182] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26182/stat : 26182 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26183] ppid=26176 vsize=868480 CPUtime=0.21
/proc/26177/task/26183/stat : 26183 (java) S 26176 26163 25228 0 -1 64 1503 0 0 0 21 0 0 0 16 0 9 0 250940087 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26184] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26184/stat : 26184 (java) S 26176 26163 25228 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26185] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26185/stat : 26185 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 250940087 889323520 8944 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 887436

[startup+6.30167 s]
/proc/loadavg: 1.97 1.97 1.91 3/93 26185
/proc/meminfo: memFree=1403312/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=1
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 974 8351 0 1 3 1 90 6 16 0 1 0 250939975 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 797 370 3 0 500 0
[pid=26176] ppid=26163 vsize=5356 CPUtime=0
/proc/26176/stat : 26176 (sh) S 26163 26163 25228 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 250940083 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26176/statm: 1339 233 193 169 0 50 0
[pid=26177] ppid=26176 vsize=868480 CPUtime=5.18
/proc/26177/stat : 26177 (java) S 26176 26163 25228 0 -1 0 10745 0 1 0 478 40 0 0 20 0 9 0 250940083 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26177/statm: 217120 8951 2565 9 0 211667 0
[pid=26177/tid=26178] ppid=26176 vsize=868480 CPUtime=4.33
/proc/26177/task/26178/stat : 26178 (java) R 26176 26163 25228 0 -1 64 3748 0 1 0 402 31 0 0 25 0 9 0 250940084 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26179] ppid=26176 vsize=868480 CPUtime=0.59
/proc/26177/task/26179/stat : 26179 (java) S 26176 26163 25228 0 -1 64 4795 0 0 0 52 7 0 0 16 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26180] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26180/stat : 26180 (java) S 26176 26163 25228 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26181] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26181/stat : 26181 (java) S 26176 26163 25228 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26182] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26182/stat : 26182 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26183] ppid=26176 vsize=868480 CPUtime=0.23
/proc/26177/task/26183/stat : 26183 (java) S 26176 26163 25228 0 -1 64 1509 0 0 0 23 0 0 0 17 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26184] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26184/stat : 26184 (java) S 26176 26163 25228 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26185] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26185/stat : 26185 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 887436

[startup+12.7024 s]
/proc/loadavg: 2.06 1.99 1.91 4/93 26185
/proc/meminfo: memFree=1314808/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=1
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 974 8351 0 1 3 1 90 6 16 0 1 0 250939975 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 797 370 3 0 500 0
[pid=26176] ppid=26163 vsize=5356 CPUtime=0
/proc/26176/stat : 26176 (sh) S 26163 26163 25228 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 250940083 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26176/statm: 1339 233 193 169 0 50 0
[pid=26177] ppid=26176 vsize=868480 CPUtime=11.54
/proc/26177/stat : 26177 (java) S 26176 26163 25228 0 -1 0 12148 0 1 0 1058 96 0 0 20 0 9 0 250940083 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26177/statm: 217120 8951 2565 9 0 211667 0
[pid=26177/tid=26178] ppid=26176 vsize=868480 CPUtime=10.32
/proc/26177/task/26178/stat : 26178 (java) R 26176 26163 25228 0 -1 64 5151 0 1 0 953 79 0 0 25 0 9 0 250940084 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26179] ppid=26176 vsize=868480 CPUtime=0.96
/proc/26177/task/26179/stat : 26179 (java) S 26176 26163 25228 0 -1 64 4795 0 0 0 81 15 0 0 16 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26180] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26180/stat : 26180 (java) S 26176 26163 25228 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26181] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26181/stat : 26181 (java) S 26176 26163 25228 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26182] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26182/stat : 26182 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26183] ppid=26176 vsize=868480 CPUtime=0.23
/proc/26177/task/26183/stat : 26183 (java) S 26176 26163 25228 0 -1 64 1509 0 0 0 23 0 0 0 17 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26184] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26184/stat : 26184 (java) S 26176 26163 25228 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26185] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26185/stat : 26185 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 887436

[startup+25.5017 s]
/proc/loadavg: 2.26 2.04 1.93 3/93 26185
/proc/meminfo: memFree=1134904/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=1
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 974 8351 0 1 3 1 90 6 16 0 1 0 250939975 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 797 370 3 0 500 0
[pid=26176] ppid=26163 vsize=5356 CPUtime=0
/proc/26176/stat : 26176 (sh) S 26163 26163 25228 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 250940083 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26176/statm: 1339 233 193 169 0 50 0
[pid=26177] ppid=26176 vsize=868480 CPUtime=23.77
/proc/26177/stat : 26177 (java) S 26176 26163 25228 0 -1 0 14908 0 1 0 2163 214 0 0 20 0 9 0 250940083 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/26177/statm: 217120 8951 2565 9 0 211667 0
[pid=26177/tid=26178] ppid=26176 vsize=868480 CPUtime=21.8
/proc/26177/task/26178/stat : 26178 (java) R 26176 26163 25228 0 -1 64 7911 0 1 0 1999 181 0 0 25 0 9 0 250940084 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26179] ppid=26176 vsize=868480 CPUtime=1.71
/proc/26177/task/26179/stat : 26179 (java) S 26176 26163 25228 0 -1 64 4795 0 0 0 140 31 0 0 16 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26180] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26180/stat : 26180 (java) S 26176 26163 25228 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26181] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26181/stat : 26181 (java) S 26176 26163 25228 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 250940085 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26182] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26182/stat : 26182 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26183] ppid=26176 vsize=868480 CPUtime=0.23
/proc/26177/task/26183/stat : 26183 (java) S 26176 26163 25228 0 -1 64 1509 0 0 0 23 0 0 0 17 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26184] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26184/stat : 26184 (java) S 26176 26163 25228 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26177/tid=26185] ppid=26176 vsize=868480 CPUtime=0
/proc/26177/task/26185/stat : 26185 (java) S 26176 26163 25228 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 250940087 889323520 8951 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 887436

[startup+51.1015 s]
/proc/loadavg: 2.36 2.08 1.95 3/85 26227
/proc/meminfo: memFree=360256/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=36.51
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 1033 26181 0 2 4 1 3319 327 15 0 1 0 250939975 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 799 370 3 0 500 0
[pid=26186] ppid=26163 vsize=5356 CPUtime=0
/proc/26186/stat : 26186 (sh) S 26163 26163 25228 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 250943774 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26186/statm: 1339 232 193 169 0 50 0
[pid=26187] ppid=26186 vsize=837900 CPUtime=13
/proc/26187/stat : 26187 (minisat) R 26186 26163 25228 0 -1 4194304 199318 0 0 0 1163 137 0 0 25 0 1 0 250943774 858009600 199304 996147200 134512640 135127466 4294956256 18446744073709551615 134530613 0 0 4096 3 0 0 0 17 0 0 0
/proc/26187/statm: 209475 199304 74 150 0 209322 0
Current children cumulated CPU time (s) 49.51
Current children cumulated vsize (KiB) 856856

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

[startup+54.3053 s]
/proc/loadavg: 2.36 2.08 1.95 3/85 26227
/proc/meminfo: memFree=308096/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=36.51
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 1033 26181 0 2 4 1 3319 327 16 0 1 0 250939975 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 799 370 3 0 500 0
[pid=26186] ppid=26163 vsize=5356 CPUtime=0
/proc/26186/stat : 26186 (sh) S 26163 26163 25228 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 250943774 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26186/statm: 1339 232 193 169 0 50 0
[pid=26187] ppid=26186 vsize=863884 CPUtime=16.2
/proc/26187/stat : 26187 (minisat) R 26186 26163 25228 0 -1 4194304 205829 0 0 0 1479 141 0 0 25 0 1 0 250943774 884617216 205815 996147200 134512640 135127466 4294956256 18446744073709551615 134718351 0 0 4096 3 0 0 0 17 0 0 0
/proc/26187/statm: 215971 205815 76 150 0 215818 0
Current children cumulated CPU time (s) 52.71
Current children cumulated vsize (KiB) 882840

[startup+55.903 s]
/proc/loadavg: 2.41 2.09 1.95 4/86 26228
/proc/meminfo: memFree=266872/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=36.51
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 1033 26181 0 2 4 1 3319 327 16 0 1 0 250939975 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/26163/statm: 3400 799 370 3 0 500 0
[pid=26186] ppid=26163 vsize=5356 CPUtime=0
/proc/26186/stat : 26186 (sh) S 26163 26163 25228 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 250943774 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26186/statm: 1339 232 193 169 0 50 0
[pid=26187] ppid=26186 vsize=870548 CPUtime=17.8
/proc/26187/stat : 26187 (minisat) R 26186 26163 25228 0 -1 4194304 207542 0 0 0 1638 142 0 0 25 0 1 0 250943774 891441152 207528 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/26187/statm: 217637 207528 76 150 0 217484 0
Current children cumulated CPU time (s) 54.31
Current children cumulated vsize (KiB) 889504

[startup+56.7021 s]
/proc/loadavg: 2.41 2.09 1.95 3/86 26228
/proc/meminfo: memFree=250936/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=54.71
/proc/26163/stat : 26163 (sugar) S 26161 26163 25228 0 -1 4194304 1090 234151 0 2 4 1 4981 485 16 0 1 0 250939975 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 269816475746 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26163/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 54.71
Current children cumulated vsize (KiB) 13600

[startup+57.1011 s]
/proc/loadavg: 2.41 2.09 1.95 3/84 26238
/proc/meminfo: memFree=1505544/2055920 swapFree=4179552/4192956
[pid=26163] ppid=26161 vsize=13600 CPUtime=55.5
/proc/26163/stat : 26163 (sugar) R 26161 26163 25228 0 -1 4194304 1119 238021 0 3 4 19 5039 488 16 0 1 0 250939975 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 269807752233 0 0 4224 16386 0 0 0 17 0 0 0
/proc/26163/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 55.5
Current children cumulated vsize (KiB) 13600

Child status: 0
Real time (s): 57.1518
CPU time (s): 55.5686
CPU user time (s): 50.4423
CPU system time (s): 5.12622
CPU usage (%): 97.2297
Max. virtual memory (cumulated for all children) (KiB): 890040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.4423
system time used= 5.12622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239170
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57348
involuntary context switches= 57695

runsolver used 0.082987 second user time and 0.186971 second system time

The end

Launcher Data (download as text)

Begin job on node81 at 2008-07-04 15:52:00
IDJOB=1074723
IDBENCH=56433
IDSOLVER=346
FILE ID=node81/1074723-1215179520
PBS_JOBID= 7881495
Free space on /tmp= 126864 MiB

SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/os-taillard-20/normalized-os-taillard-20-105-9.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1074723-1215179520/watcher-1074723-1215179520 -o /tmp/evaluation-result-1074723-1215179520/solver-1074723-1215179520 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1074723-1215179520.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= d07eba8b6417f2f1d02309d4c67c10fc
RANDOM SEED=264179502

node81.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:       1473256 kB
Buffers:         62244 kB
Cached:         270108 kB
SwapCached:       6152 kB
Active:         331164 kB
Inactive:       182876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1473256 kB
SwapTotal:     4192956 kB
SwapFree:      4179552 kB
Dirty:            2328 kB
Writeback:           0 kB
Mapped:         198508 kB
Slab:            53580 kB
Committed_AS:   847916 kB
PageTables:       2016 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= 126864 MiB
End job on node81 at 2008-07-04 15:52:58