Trace number 453670

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
PB-clasp 2007-03-23Wrong Cert. 1801.95 1803.29

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_4.opb
MD5SUMb738c7950af6b3d63e331a14bc641dc9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2524
Sum of products size (including duplicates)5048
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.39/0.76	o 175
1.06/1.17	o 174
1.16/1.60	o 173
1.57/2.02	o 172
2.34/2.45	o 171
2.42/2.88	o 170
3.15/3.29	o 169
3.26/3.73	o 168
3.68/4.17	o 167
4.52/4.61	o 166
4.58/5.05	o 165
5.33/5.49	o 164
5.46/6.07	o 163
6.27/6.52	o 162
6.31/6.97	o 161
6.76/7.42	o 160
7.62/7.91	o 159
7.67/8.36	o 158
8.53/8.82	o 157
8.58/9.28	o 156
9.03/9.74	o 155
9.92/10.21	o 154
9.96/10.67	o 153
10.82/11.14	o 152
10.89/11.61	o 151
11.72/12.08	o 150
11.81/12.55	o 149
12.29/13.02	o 148
13.11/13.49	o 147
13.22/13.96	o 146
14.11/14.43	o 145
14.15/14.91	o 144
15.06/15.43	o 143
15.11/15.91	o 142
15.59/16.38	o 141
16.45/16.84	o 140
16.96/17.30	o 139
17.34/17.78	o 138
17.45/18.26	o 137
18.34/18.75	o 136
18.41/19.23	o 135
19.32/19.75	o 134
19.38/20.23	o 133
19.87/20.72	o 132
20.80/21.21	o 131
21.31/21.70	o 130
21.68/22.19	o 129
21.80/22.69	o 128
22.68/23.18	o 127
22.79/23.68	o 126
23.68/24.18	o 125
23.78/24.67	o 124
24.29/25.17	o 123
25.18/25.67	o 122
25.27/26.17	o 121
26.17/26.67	o 120
26.26/27.17	o 119
27.16/27.67	o 118
27.26/28.17	o 117
28.16/28.68	o 116
28.26/29.18	o 115
29.15/29.68	o 114
29.26/30.18	o 113
29.75/30.69	o 112
30.26/31.19	o 111
30.77/31.69	o 110
31.75/32.20	o 109
32.26/32.70	o 108
32.64/33.19	o 107
32.74/33.69	o 106
33.62/34.19	o 105
33.73/34.69	o 104
34.62/35.17	o 103
34.71/35.67	o 102
35.22/36.18	o 101
36.10/36.68	o 100
36.21/37.17	o 99
37.09/37.67	o 98
37.20/38.26	o 97
38.10/38.76	o 96
38.19/39.26	o 95
39.11/39.75	o 94
39.19/40.25	o 93
40.10/40.75	o 92
40.18/41.24	o 91
41.10/41.74	o 90
41.16/42.23	o 89
41.66/42.73	o 88
42.60/43.23	o 87
42.65/43.73	o 86
43.58/44.28	o 85
43.64/44.78	o 84
44.53/45.27	o 83
44.62/45.77	o 82
45.52/46.27	o 81
45.62/46.76	o 80
46.52/47.25	o 79
46.60/47.75	o 78
47.09/48.24	o 77
48.01/48.73	o 76
48.06/49.23	o 30
48.91/49.66	o 29
49.42/50.10	o 28
56.00/56.70	o 27
119.88/120.65	o 26
1800.00/1801.21	c Somebody sent me a SIGTERM
1800.00/1801.21	s SATISFIABLE
1800.00/1801.21	v x6 x8 x9 x11 x13 x15 x16 x23 x26 x28 x36 x37 x38 x45 x48 x58 x63 x70 x73 x108 x136 x137 x144 x145 x147 x190 x207 x210 x219 x242 x253
1800.00/1801.21	v x257 x265 x269 x270 x271 x295 x303 x305 x306 x310 x356 x381 x390 x405 x455 x461 x475 x478 x489 x491 x495 x500 x504 x519 x522 x530
1800.00/1801.21	v x551 x552 x560 x575 x598 x600 x613 x614 x642 x648 x657 x664 x681 x689 x691 x702 x703 x715 x717 x727 x728 x783 x785 x790 x803 x814
1800.00/1801.21	v x822 x827 x833 x840 x844 x846 x864 x898 x910 x913 x920 x922 x945 x947 x949 x958 x959 x960 x962 x971 x974 x987 x998 x1000 x1010
1800.00/1801.21	v x1027 x1028 x1033 x1044 x1048 x1049 x1052 x1083 x1084 x1094 x1109 x1113 x1125 x1153 x1163 x1165 x1173 x1181 x1194 x1208 x1210
1800.00/1801.21	v x1224 x1238 x1255 x1257 x1267 x1288 x1297 x1301 x1303 x1305 x1319 x1320 x1329 x1334 x1340 x1342 x1349 x1364 x1373 x1375 x1376
1800.00/1801.21	v x1377 x1381 x1383 x1386 x1388 x1397 x1409 x1411 x1416 x1424 x1427 x1432 x1434 x1437 x1446 x1449 x1458 x1459 x1463 x1468 x1471
1800.00/1801.21	v x1479 x1482 x1483 x1485 x1486 x1493 x1495 x1505 x1517 x1519 x1529 x1531 x1533 x1541 x1543 x1545 x1551 x1554 x1562 x1563 x1565
1800.00/1801.21	v x1579 x1580 x1582 x1593 x1612 x1615 x1616 x1622 x1626 x1628 x1632 x1640 x1641 x1652 x1655 x1659 x1661 x1664 x1667 x1678 x1689
1800.00/1801.21	v x1692 x1697 x1703 x1726 x1728 x1731 x1737 x1749 x1750 x1752 x1760 x1771 x1782 x1792 x1796 x1802 x1808 x1817 x1819 x1821 x1826
1800.00/1801.21	v x1839 x1848 x1854 x1862 x1865 x1873 x1874 x1885 x1888 x1889 x1897 x1908 x1911 x1915 x1922 x1929 x1936 x1942 x1944 x1945 x1946
1800.00/1801.21	v x1947 x1955 x1967 x1969 x1985 x1988 x1994 x1996 x2010 x2012 x2015 x2016 x2017 x2019 x2028 x2030 x2067 x2076 x2088 x2095 x2096
1800.00/1801.21	v x2107 x2116 x2120 x2159 x2173 x2176 x2187 x2194 x2195 x2201 x2204 x2213 x2231 x2235 x2245 x2258 x2260 x2265 x2268 x2287 x2290
1800.00/1801.21	v x2300 x2303 x2309 x2311 x2315 x2316 x2317 x2320 x2321 x2324 x2330 x2332 x2337 x2341 x2344 x2353 x2361 x2373 x2381 x2397 x2398
1800.00/1801.21	v x2402 x2415 x2424 x2435 x2443 x2454 x2457 x2464 x2465 x2474 x2478 x2484 x2494 x2496 x2497 x2505 x2507 x2515 x2523 x2527 x2535
1800.00/1801.21	v x2538 x2541 x2556 x2558 x2575 x2580 x2581 x2591 x2601 x2602 x2609 x2624 x2635 x2645 x2646 x2650 x2655 x2664 x2668 x2672 x2682
1800.00/1801.21	v x2691 x2699 x2703 x2704 x2713
1800.00/1801.22	pb2clasp1: no process killed
121.93/1803.22	sh: line 1:  5219 Done                    cat /tmp/evaluation/453670-1178148003/temp/instance-453670-1178148003.opb.op
121.93/1803.22	      5220 Killed                  | clasp >/tmp/evaluation/453670-1178148003/temp/instance-453670-1178148003.opb.clasp

Verifier Data (download as text)

FAILED
ERROR: unsatisfied constraint on line 0
	0>=1

Falsified constraint is:
+1*~x1[=0]*x102[=0]+1*~x1[=0]*x84[=0]+1*~x1[=0]*x75[=0]+1*~x1[=0]*x127[=0]+1*~x1[=0]*x164[=0]+1*~x1[=0]*x138[=0]+1*~x1[=0]*x26[=1]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x186[=0]+1*~x1[=0]*x145[=1]+1*~x1[=0]*x42[=0]+1*~x1[=0]*x117[=0]+1*~x1[=0]*x128[=0]+1*~x1[=0]*x184[=0]+1*x1[=0] >= 1

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453670-1178148003/instance-453670-1178148003.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-453670-1178148003 -o ROOT/results/node2/solver-453670-1178148003 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453670-1178148003.opb /tmp/evaluation/453670-1178148003/temp 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 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: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1467000/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12268 CPUtime=0
/proc/4357/stat : 4357 (pbclasp) D 4355 4357 3031 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 290838108 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206381480549 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/4357/statm: 3067 317 242 3 0 167 0

[startup+0.0948659 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1467000/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=0
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 519 0 0 0 0 0 0 0 16 0 1 0 290838108 12832768 473 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/4357/statm: 3133 473 324 3 0 233 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12532

[startup+0.101862 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1467000/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=0
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 519 0 0 0 0 0 0 0 16 0 1 0 290838108 12832768 473 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/4357/statm: 3133 473 324 3 0 233 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12532

[startup+0.301883 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1467000/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=0
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 519 0 0 0 0 0 0 0 16 0 1 0 290838108 12832768 473 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0
/proc/4357/statm: 3133 473 324 3 0 233 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12532

[startup+0.701923 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 4357
/proc/meminfo: memFree=1467000/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=0.39
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 606 1591 0 0 0 0 38 1 16 0 1 0 290838108 12832768 498 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 498 343 3 0 233 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 12532

[startup+1.50201 s]
/proc/loadavg: 0.92 0.97 0.99 2/81 4375
/proc/meminfo: memFree=1460312/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=1.16
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 857 9376 0 0 1 0 110 5 16 0 1 0 290838108 12832768 505 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 505 343 3 0 233 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 12532

[startup+3.10118 s]
/proc/loadavg: 0.92 0.97 0.99 2/81 4399
/proc/meminfo: memFree=1464088/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=2.86
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 1324 27882 0 0 2 1 267 16 16 0 1 0 290838108 12832768 507 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 507 343 3 0 233 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 12532

[startup+6.3015 s]
/proc/loadavg: 0.92 0.97 0.99 2/80 4455
/proc/meminfo: memFree=1454520/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=5.87
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 2165 61832 0 0 3 2 545 37 16 0 1 0 290838108 12832768 507 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 507 343 3 0 233 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 12532

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.99 2/80 4567
/proc/meminfo: memFree=1451368/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=12.29
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 3852 134936 0 0 8 4 1137 80 16 0 1 0 290838108 12832768 507 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 507 343 3 0 233 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 12532

[startup+25.5015 s]
/proc/loadavg: 0.94 0.97 0.99 2/81 4791
/proc/meminfo: memFree=1464544/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=24.78
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 6957 286242 0 0 19 7 2284 168 16 0 1 0 290838108 12832768 508 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 508 343 3 0 233 0
[pid=4789] ppid=4357 vsize=5356 CPUtime=0
/proc/4789/stat : 4789 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 290840627 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/4789/statm: 1339 225 188 169 0 50 0
[pid=4791] ppid=4789 vsize=11800 CPUtime=0.3
/proc/4791/stat : 4791 (clasp) R 4789 4357 3031 0 -1 4194304 2727 0 0 0 29 1 0 0 20 0 1 0 290840627 12083200 2569 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134755009 0 0 4096 0 0 0 0 17 1 0 0
/proc/4791/statm: 2950 2569 188 154 0 2420 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 29688

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.99 2/80 5191
/proc/meminfo: memFree=1453600/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=49.43
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13011 588638 0 0 42 14 4546 341 16 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5189] ppid=4357 vsize=5356 CPUtime=0
/proc/5189/stat : 5189 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 290843120 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5189/statm: 1339 225 188 169 0 50 0
[pid=5191] ppid=5189 vsize=13484 CPUtime=0.97
/proc/5191/stat : 5191 (clasp) R 5189 4357 3031 0 -1 4194304 3237 0 0 0 96 1 0 0 25 0 1 0 290843120 13807616 2972 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740923 0 0 4096 0 0 0 0 17 1 0 0
/proc/5191/statm: 3371 2972 196 154 0 2841 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 31372

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/80 5199
/proc/meminfo: memFree=1436440/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=56.03
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13130 593502 0 0 43 14 5202 344 16 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5197] ppid=4357 vsize=5356 CPUtime=0
/proc/5197/stat : 5197 (sh) S 4357 4357 3031 0 -1 4194304 287 122 0 0 0 0 0 0 15 0 1 0 290843780 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5197/statm: 1339 225 188 169 0 50 0
[pid=5199] ppid=5197 vsize=30780 CPUtime=45.56
/proc/5199/stat : 5199 (clasp) R 5197 4357 3031 0 -1 4194304 7524 0 0 0 4550 6 0 0 25 0 1 0 290843780 31518720 7259 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134682862 0 0 4096 0 0 0 0 17 1 0 0
/proc/5199/statm: 7695 7259 196 154 0 7165 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 48668

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/80 5207
/proc/meminfo: memFree=1435160/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=32116 CPUtime=41.6
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 7840 0 0 0 4155 5 0 0 25 0 1 0 290850176 32886784 7575 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741261 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 8029 7575 196 154 0 7499 0
Current children cumulated CPU time (s) 161.56
Current children cumulated vsize (KiB) 50004

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/80 5207
/proc/meminfo: memFree=1424920/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=42268 CPUtime=101.59
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 10381 0 0 0 10151 8 0 0 25 0 1 0 290850176 43282432 10116 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134753589 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 10567 10116 196 154 0 10037 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 60156

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/80 5207
/proc/meminfo: memFree=1418648/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=48936 CPUtime=161.57
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 12016 0 0 0 16148 9 0 0 25 0 1 0 290850176 50110464 11710 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768829 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 12234 11710 196 154 0 11704 0
Current children cumulated CPU time (s) 281.53
Current children cumulated vsize (KiB) 66824

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/80 5207
/proc/meminfo: memFree=1412632/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=55000 CPUtime=221.56
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 13494 0 0 0 22145 11 0 0 25 0 1 0 290850176 56320000 13188 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769285 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 13750 13188 196 154 0 13220 0
Current children cumulated CPU time (s) 341.52
Current children cumulated vsize (KiB) 72888

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/80 5207
/proc/meminfo: memFree=1412568/2055920 swapFree=4148856/4192956

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

/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=123384 CPUtime=1541.18
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 30491 0 0 0 154085 33 0 0 25 0 1 0 290850176 126345216 29521 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769192 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 30846 29521 196 154 0 30316 0
Current children cumulated CPU time (s) 1661.14
Current children cumulated vsize (KiB) 141272

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/80 5209
/proc/meminfo: memFree=1346968/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=123624 CPUtime=1601.16
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 30541 0 0 0 160083 33 0 0 25 0 1 0 290850176 126590976 29571 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 30906 29571 196 154 0 30376 0
Current children cumulated CPU time (s) 1721.12
Current children cumulated vsize (KiB) 141512

[startup+1782.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/80 5209
/proc/meminfo: memFree=1343768/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=127204 CPUtime=1661.15
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 31394 0 0 0 166081 34 0 0 25 0 1 0 290850176 130256896 30388 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134741375 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 31801 30388 196 154 0 31271 0
Current children cumulated CPU time (s) 1781.11
Current children cumulated vsize (KiB) 145092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.09 1.02 1.00 2/80 5209
/proc/meminfo: memFree=1343256/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=127536 CPUtime=1680.04
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 31500 0 0 0 167970 34 0 0 25 0 1 0 290850176 130596864 30494 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 31884 30494 196 154 0 31354 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 145424

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

[startup+1801.2 s]
/proc/loadavg: 1.09 1.02 1.00 2/80 5209
/proc/meminfo: memFree=1343256/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.96
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13250 603723 0 0 43 14 11585 354 17 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5205] ppid=4357 vsize=5356 CPUtime=0
/proc/5205/stat : 5205 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 290850176 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5205/statm: 1339 225 188 169 0 50 0
[pid=5207] ppid=5205 vsize=127536 CPUtime=1680.04
/proc/5207/stat : 5207 (clasp) R 5205 4357 3031 0 -1 4194304 31500 0 0 0 167970 34 0 0 25 0 1 0 290850176 130596864 30494 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0
/proc/5207/statm: 31884 30494 196 154 0 31354 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 145424

# WARNING:
# current cumulated CPU time (119.98 s) is less than in the last sample (1800 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1680.02 s) to the 'lost time'.

[startup+1801.32 s]
/proc/loadavg: 1.09 1.02 1.00 2/80 5209
/proc/meminfo: memFree=1343256/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.98
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13423 605505 0 0 43 14 11585 356 16 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (KiB) 12532

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.09 1.02 1.00 2/80 5209
/proc/meminfo: memFree=1343256/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.98
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13423 605505 0 0 43 14 11585 356 16 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (KiB) 12532

[startup+1802.2 s]
/proc/loadavg: 1.09 1.02 1.00 2/81 5220
/proc/meminfo: memFree=1453904/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.98
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13423 605505 0 0 43 14 11585 356 16 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5218] ppid=4357 vsize=5356 CPUtime=0
/proc/5218/stat : 5218 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 291018232 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5218/statm: 1339 225 188 169 0 50 0
[pid=5220] ppid=5218 vsize=13232 CPUtime=0.95
/proc/5220/stat : 5220 (clasp) R 5218 4357 3031 0 -1 4194304 3178 0 0 0 93 2 0 0 25 0 1 0 291018233 13549568 2913 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134740742 0 0 4096 0 0 0 0 17 1 0 0
/proc/5220/statm: 3308 2913 196 154 0 2778 0
Current children cumulated CPU time (s) 120.93
Current children cumulated vsize (KiB) 31120

[startup+1803 s]
/proc/loadavg: 1.09 1.02 1.00 2/81 5220
/proc/meminfo: memFree=1453840/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.98
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13423 605505 0 0 43 14 11585 356 16 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5218] ppid=4357 vsize=5356 CPUtime=0
/proc/5218/stat : 5218 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 291018232 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5218/statm: 1339 225 188 169 0 50 0
[pid=5220] ppid=5218 vsize=13496 CPUtime=1.75
/proc/5220/stat : 5220 (clasp) R 5218 4357 3031 0 -1 4194304 3185 0 0 0 173 2 0 0 25 0 1 0 291018233 13819904 2920 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134746387 0 0 4096 0 0 0 0 17 1 0 0
/proc/5220/statm: 3374 2920 196 154 0 2844 0
Current children cumulated CPU time (s) 121.73
Current children cumulated vsize (KiB) 31384

[startup+1803.2 s]
/proc/loadavg: 1.09 1.02 1.00 2/81 5220
/proc/meminfo: memFree=1453840/2055920 swapFree=4148856/4192956
[pid=4357] ppid=4355 vsize=12532 CPUtime=119.98
/proc/4357/stat : 4357 (pbclasp) S 4355 4357 3031 0 -1 4194304 13423 605505 0 0 43 14 11585 356 16 0 1 0 290838108 12832768 512 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/4357/statm: 3133 512 343 3 0 233 0
[pid=5218] ppid=4357 vsize=5356 CPUtime=0
/proc/5218/stat : 5218 (sh) S 4357 4357 3031 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 291018232 5484544 225 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5218/statm: 1339 225 188 169 0 50 0
[pid=5220] ppid=5218 vsize=13496 CPUtime=1.95
/proc/5220/stat : 5220 (clasp) R 5218 4357 3031 0 -1 4194304 3187 0 0 0 193 2 0 0 25 0 1 0 291018233 13819904 2922 18446744073709551615 134512640 135144128 4294956752 18446744073709551615 134768800 0 0 4096 0 0 0 0 17 1 0 0
/proc/5220/statm: 3374 2922 196 154 0 2844 0
Current children cumulated CPU time (s) 121.93
Current children cumulated vsize (KiB) 31384

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4357 and gives
#  childrusage.ru_utime.tv_sec=116
#  childrusage.ru_utime.tv_usec=293320
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=711435
# CPU time returned by wait4() is 120.005
# while last known CPU time is 121.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1680.02
#  lost CPU user time (s): 1679.7
#  lost CPU system time (s): 0.32

Real time (s): 1803.29
CPU time (s): 1801.95
CPU user time (s): 1797.91
CPU system time (s): 4.04
CPU usage (%): 99.9259
Max. virtual memory (cumulated for all children) (KiB): 145424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.293
system time used= 3.71143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618928
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= 11253
involuntary context switches= 7582

runsolver used 1.70374 second user time and 4.87326 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Wed May  2 23:20:03 UTC 2007

IDJOB= 453670
IDBENCH= 48146
IDSOLVER= 158
FILE ID= node2/453670-1178148003

PBS_JOBID= 4751056

Free space on /tmp= 66563 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb
COMMAND LINE= pbclasp instance-453670-1178148003.opb /tmp/evaluation/453670-1178148003/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-453670-1178148003 -o ROOT/results/node2/conversion-453670-1178148003 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453670-1178148003/instance-453670-1178148003.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-453670-1178148003 -o ROOT/results/node2/solver-453670-1178148003 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-453670-1178148003.opb /tmp/evaluation/453670-1178148003/temp

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  b738c7950af6b3d63e331a14bc641dc9

RANDOM SEED= 533656998

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1467472 kB
Buffers:        211940 kB
Cached:         230316 kB
SwapCached:      12392 kB
Active:         179820 kB
Inactive:       289008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467472 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            1240 kB
Writeback:           0 kB
Mapped:          32780 kB
Slab:           105084 kB
Committed_AS: 11448284 kB
PageTables:       1872 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= 66563 MiB

End job on node2 on Wed May  2 23:50:07 UTC 2007