Trace number 3283455

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
priss 1.0? (TO) 4800.32 1202.23

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark365.63
Satisfiable
(Un)Satisfiability was proved
Number of variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 16050
0.00/0.36	c parsetime: 364885us
0.00/0.36	c parsed 1374599 clauses with 259616 variables
0.00/0.45	c NW started thread 0 successfully (1095493952)
0.00/0.54	c NW started thread 1 successfully (1084459328)
0.00/0.63	c NW started thread 2 successfully (1105983808)
0.00/0.73	c NW started thread 3 successfully (1116473664)
917.74/230.29	c preprocessor returned 259616 variables
917.74/230.29	c preprocessing returned UNKNOWN
917.74/230.29	c PP set 62773 variables
917.74/230.29	c pp time: 229690876us (229s)
921.33/231.15	c preprocessor returned 259616 variables
921.33/231.15	c preprocessing returned UNKNOWN
921.33/231.15	c PP set 62773 variables
921.33/231.15	c pp time: 230356685us (230s)
921.73/231.28	c preprocessor returned 259616 variables
921.73/231.28	c preprocessing returned UNKNOWN
921.73/231.28	c PP set 62773 variables
921.73/231.28	c pp time: 230556561us (230s)
927.32/232.68	c preprocessor returned 259616 variables
927.32/232.68	c preprocessing returned UNKNOWN
927.32/232.68	c PP set 62773 variables
927.32/232.68	c pp time: 232173810us (232s)
960.50/240.96	c HTE
997.23/250.10	c subsumption
1000.05/250.82	c simplified formula contains 0 unit clauses
1032.78/259.02	c HTE
1059.14/265.65	c subsumption
1061.56/266.22	c simplified formula contains 0 unit clauses
1061.56/266.28	c received clause contains eliminated literal -58847
1091.50/273.71	c HTE
1119.87/280.88	c subsumption
1121.86/281.39	c simplified formula contains 0 unit clauses
1122.26/281.45	c received clause contains eliminated literal -155820
1149.81/288.32	c HTE
1176.58/295.08	c subsumption
1178.58/295.55	c simplified formula contains 0 unit clauses
1178.98/295.61	c received clause contains eliminated literal -80800
1204.94/302.13	c HTE
1229.30/308.28	c subsumption
1231.30/308.72	c simplified formula contains 0 unit clauses
1231.30/308.77	c received clause contains eliminated literal -5519
1255.67/314.88	c HTE
1280.01/320.91	c subsumption
1281.60/321.33	c simplified formula contains 0 unit clauses
1281.60/321.38	c received clause contains eliminated literal -79000
1305.17/327.29	c HTE
1328.34/333.06	c subsumption
1329.94/333.46	c simplified formula contains 0 unit clauses
1330.34/333.51	c received clause contains eliminated literal -79600
1352.71/339.15	c HTE
1375.08/344.71	c subsumption
1376.68/345.10	c simplified formula contains 0 unit clauses
1376.68/345.15	c received clause contains eliminated literal -76000
1398.64/350.69	c HTE
1420.61/356.14	c subsumption
1422.21/356.53	c simplified formula contains 0 unit clauses
1444.98/362.24	c HTE
1466.94/367.78	c subsumption
1468.55/368.18	c simplified formula contains 0 unit clauses
1468.95/368.23	c received clause contains eliminated literal -77800
1496.91/375.29	c HTE
1518.88/380.73	c subsumption
1520.48/381.12	c simplified formula contains 0 unit clauses
1542.45/386.67	c HTE
1564.02/392.05	c subsumption
1565.62/392.44	c simplified formula contains 0 unit clauses
1586.79/397.77	c HTE
1607.16/402.88	c subsumption
1608.74/403.27	c simplified formula contains 0 unit clauses
1630.71/408.70	c HTE
1651.47/413.90	c subsumption
1653.07/414.32	c simplified formula contains 0 unit clauses
1653.07/414.37	c received clause contains eliminated literal -71800
1653.07/414.37	c received clause contains eliminated literal -113094
1682.62/421.77	c HTE
1703.40/426.94	c subsumption
1705.39/427.40	c simplified formula contains 0 unit clauses
1705.39/427.45	c received clause contains eliminated literal -78400
1733.38/434.45	c HTE
1753.33/439.48	c subsumption
1755.34/439.98	c simplified formula contains 0 unit clauses
1802.07/451.63	c HTE
1822.43/456.75	c subsumption
1824.43/457.24	c simplified formula contains 0 unit clauses
1846.80/462.87	c HTE
1868.77/468.34	c subsumption
1870.77/468.86	c simplified formula contains 0 unit clauses
1890.34/473.70	c HTE
1910.31/478.73	c subsumption
1911.91/479.18	c simplified formula contains 0 unit clauses
1912.31/479.23	c received clause contains eliminated literal -42041
1912.31/479.23	c received clause contains eliminated literal -47199
1912.31/479.23	c received clause contains eliminated literal -74799
1931.10/483.90	c HTE
1949.46/488.53	c subsumption
1951.46/489.00	c simplified formula contains 0 unit clauses
1951.46/489.05	c received clause contains eliminated literal -51065
1973.82/494.65	c HTE
1991.80/499.10	c subsumption
1994.59/499.86	c simplified formula contains 0 unit clauses
1994.99/499.90	c received clause contains eliminated literal -65465
1994.99/499.90	c received clause contains eliminated literal -76000
2014.17/504.76	c received clause contains eliminated literal -111065
2047.72/513.12	c HTE
2066.09/517.75	c subsumption
2073.67/519.61	c simplified formula contains 0 unit clauses
2073.67/519.66	c received clause contains eliminated literal -55265
2073.67/519.66	c received clause contains eliminated literal -52599
2098.06/525.78	c received clause contains eliminated literal -47799
2141.19/536.57	c HTE
2159.58/541.11	c subsumption
2163.98/542.24	c simplified formula contains 0 unit clauses
2181.55/546.67	c HTE
2198.70/550.95	c subsumption
2202.70/551.90	c simplified formula contains 0 unit clauses
2219.47/556.14	c received clause contains eliminated literal -65465
2265.44/567.68	c HTE
2283.39/572.15	c subsumption
2286.59/572.96	c simplified formula contains 0 unit clauses
2287.01/573.01	c received clause contains eliminated literal -111399
2300.59/576.43	c received clause contains eliminated literal -115999
2330.13/583.86	c received clause contains eliminated literal -115399
2332.93/584.57	c received clause contains eliminated literal -61789
2343.72/587.26	c received clause contains eliminated literal -98068
2364.88/592.55	c received clause contains eliminated literal -77713
2365.28/592.63	c received clause contains eliminated literal -128200
2453.98/614.81	c HTE
2478.33/620.91	c subsumption
2524.28/632.41	c simplified formula contains 0 unit clauses
2524.28/632.47	c received clause contains eliminated literal -68465
2563.42/642.26	c received clause contains eliminated literal -96268
2571.40/644.22	c received clause contains eliminated literal -72589
2578.59/646.05	c received clause contains eliminated literal -76265
2579.79/646.36	c received clause contains eliminated literal -1892
2622.92/657.17	c received clause contains eliminated literal -84999
2636.90/660.62	c received clause contains eliminated literal -69665
2667.67/668.31	c received clause contains eliminated literal -73697
2750.75/689.19	c received clause contains eliminated literal -57336
2772.72/694.67	c HTE
2804.27/702.57	c subsumption
2864.20/717.59	c simplified formula contains 0 unit clauses
2864.60/717.65	c received clause contains eliminated literal -38450
2871.41/719.36	c received clause contains eliminated literal -79513
2933.70/734.90	c HTE
2959.69/741.46	c subsumption
3022.78/757.22	c simplified formula contains 0 unit clauses
3022.78/757.29	c received clause contains eliminated literal -66400
3022.78/757.29	c received clause contains eliminated literal -90665
3022.78/757.29	c received clause contains eliminated literal -103265
3034.76/760.28	c received clause contains eliminated literal -78456
3084.70/772.70	c HTE
3137.02/785.80	c subsumption
3199.73/801.57	c simplified formula contains 0 unit clauses
3200.13/801.63	c received clause contains eliminated literal -89465
3219.30/806.49	c HTE
3241.67/812.09	c subsumption
3289.61/824.01	c simplified formula contains 0 unit clauses
3289.61/824.07	c received clause contains eliminated literal -77113
3305.59/828.00	c received clause contains eliminated literal -62389
3310.38/829.27	c received clause contains eliminated literal -61789
3360.30/841.76	c received clause contains eliminated literal -87868
3410.63/854.38	c received clause contains eliminated literal -2492
3429.83/859.16	c received clause contains eliminated literal -55265
3491.35/874.58	c HTE
3542.86/887.41	c subsumption
3645.13/913.08	c simplified formula contains 0 unit clauses
3645.51/913.15	c received clause contains eliminated literal -86465
3645.51/913.15	c received clause contains eliminated literal -65800
3645.51/913.15	c received clause contains eliminated literal -89465
3734.19/935.38	c received clause contains eliminated literal -112865
3757.36/941.13	c received clause contains eliminated literal -70789
3812.89/955.07	c HTE
3833.26/960.15	c subsumption
3852.04/964.83	c simplified formula contains 0 unit clauses
3852.04/964.89	c received clause contains eliminated literal -90665
3867.22/968.68	c received clause contains eliminated literal -71389
3901.56/977.21	c HTE
3925.52/983.23	c subsumption
3945.09/988.17	c simplified formula contains 0 unit clauses
3945.49/988.24	c received clause contains eliminated literal -78999
4036.97/1011.10	c received clause contains eliminated literal -48399
4055.75/1015.88	c received clause contains eliminated literal -107599
4115.67/1030.83	c received clause contains eliminated literal -79468
4122.06/1032.45	c received clause contains eliminated literal -70789
4140.83/1037.20	c received clause contains eliminated literal -92799
4193.98/1050.42	c HTE
4265.45/1068.31	c subsumption
4439.21/1111.86	c simplified formula contains 0 unit clauses
4439.61/1111.94	c received clause contains eliminated literal -73000
4439.61/1111.94	c received clause contains eliminated literal -80113
4439.61/1111.94	c received clause contains eliminated literal -73189
4439.61/1111.94	c received clause contains eliminated literal -61600
4439.61/1111.94	c received clause contains eliminated literal -89498
4460.38/1117.10	c HTE
4500.32/1127.15	c subsumption
4587.80/1149.09	c simplified formula contains 0 unit clauses
4588.20/1149.16	c received clause contains eliminated literal -68465
4588.20/1149.16	c received clause contains eliminated literal -73600
4588.20/1149.16	c received clause contains eliminated literal -2351
4633.76/1160.55	c received clause contains eliminated literal -119135
4660.12/1167.15	c HTE
4723.59/1183.08	c subsumption
4795.49/1201.09	c simplified formula contains 0 unit clauses
4795.91/1201.16	c received clause contains eliminated literal -84399
4795.91/1201.16	c received clause contains eliminated literal -22841
4795.91/1201.16	c received clause contains eliminated literal -69313
4795.91/1201.16	c received clause contains eliminated literal -111065

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3283455-1304043226/watcher-3283455-1304043226 -o /tmp/evaluation-result-3283455-1304043226/solver-3283455-1304043226 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3283455-1304043226.cnf 1533062721 4800 15500 4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.54 7.95 7.88 5/182 16049
/proc/meminfo: memFree=16448912/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0

[startup+0.00815693 s]
/proc/loadavg: 7.54 7.95 7.88 5/182 16049
/proc/meminfo: memFree=16448912/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100141 s]
/proc/loadavg: 7.54 7.95 7.88 5/182 16049
/proc/meminfo: memFree=16448912/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301107 s]
/proc/loadavg: 7.54 7.95 7.88 5/182 16049
/proc/meminfo: memFree=16448912/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700994 s]
/proc/loadavg: 7.54 7.95 7.88 5/182 16049
/proc/meminfo: memFree=16448912/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50085 s]
/proc/loadavg: 7.54 7.95 7.88 9/188 16055
/proc/meminfo: memFree=15848216/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1164376 CPUtime=4.22 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 249239 0 0 0 367 55 0 0 18 0 5 0 594553257 1192321024 238138 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 291094 238140 344 389 0 286844 0
[pid=16050/tid=16052] ppid=16049 vsize=1164376 CPUtime=1.02 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 51320 0 0 0 94 8 0 0 18 0 5 0 594553303 1192321024 238141 33554432000 4194304 5787044 140737062856976 18446744073709551615 4307710 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1164376 CPUtime=0.92 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 47617 0 0 0 79 13 0 0 18 0 5 0 594553312 1192321024 238143 33554432000 4194304 5787044 140737062856976 18446744073709551615 4306419 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1164376 CPUtime=0.79 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 43613 0 0 0 68 11 0 0 18 0 5 0 594553321 1192321024 238145 33554432000 4194304 5787044 140737062856976 18446744073709551615 4302144 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1164376 CPUtime=0.73 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 42854 0 0 0 61 12 0 0 18 0 5 0 594553331 1192321024 238147 33554432000 4194304 5787044 140737062856976 18446744073709551615 260020056773 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 1173076

[startup+3.10056 s]
/proc/loadavg: 7.54 7.95 7.88 9/188 16055
/proc/meminfo: memFree=15813744/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=848688 CPUtime=10.6 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 275440 0 0 0 997 63 0 0 18 0 5 0 594553257 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 212172 160423 349 389 0 207922 0
[pid=16050/tid=16052] ppid=16049 vsize=848688 CPUtime=2.62 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 55038 0 0 0 253 9 0 0 20 0 5 0 594553303 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=848688 CPUtime=2.52 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 51364 0 0 0 238 14 0 0 20 0 5 0 594553312 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=848688 CPUtime=2.38 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 51929 0 0 0 224 14 0 0 20 0 5 0 594553321 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330504 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=848688 CPUtime=2.33 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 53266 0 0 0 217 16 0 0 20 0 5 0 594553331 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.6
Current children cumulated vsize (KiB) 857388

[startup+6.30097 s]
/proc/loadavg: 7.66 7.97 7.89 9/188 16055
/proc/meminfo: memFree=15806180/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=848688 CPUtime=23.39 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 275440 0 0 0 2276 63 0 0 18 0 5 0 594553257 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 212172 160423 349 389 0 207922 0
[pid=16050/tid=16052] ppid=16049 vsize=848688 CPUtime=5.82 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 55038 0 0 0 573 9 0 0 25 0 5 0 594553303 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=848688 CPUtime=5.72 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 51364 0 0 0 558 14 0 0 25 0 5 0 594553312 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=848688 CPUtime=5.56 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 51929 0 0 0 542 14 0 0 25 0 5 0 594553321 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=848688 CPUtime=5.53 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 53266 0 0 0 537 16 0 0 25 0 5 0 594553331 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.39
Current children cumulated vsize (KiB) 857388

[startup+12.7008 s]
/proc/loadavg: 7.69 7.97 7.89 9/188 16055
/proc/meminfo: memFree=15806084/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=848688 CPUtime=48.95 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 275440 0 0 0 4832 63 0 0 18 0 5 0 594553257 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 212172 160423 349 389 0 207922 0
[pid=16050/tid=16052] ppid=16049 vsize=848688 CPUtime=12.22 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 55038 0 0 0 1213 9 0 0 25 0 5 0 594553303 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=848688 CPUtime=12.12 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 51364 0 0 0 1198 14 0 0 25 0 5 0 594553312 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=848688 CPUtime=11.93 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 51929 0 0 0 1179 14 0 0 25 0 5 0 594553321 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=848688 CPUtime=11.93 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 53266 0 0 0 1177 16 0 0 25 0 5 0 594553331 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.95
Current children cumulated vsize (KiB) 857388

[startup+25.5004 s]
/proc/loadavg: 7.76 7.97 7.89 9/188 16055
/proc/meminfo: memFree=15805972/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=848688 CPUtime=100.08 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 275440 0 0 0 9945 63 0 0 18 0 5 0 594553257 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 212172 160423 349 389 0 207922 0
[pid=16050/tid=16052] ppid=16049 vsize=848688 CPUtime=25.02 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 55038 0 0 0 2493 9 0 0 25 0 5 0 594553303 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=848688 CPUtime=24.92 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 51364 0 0 0 2478 14 0 0 25 0 5 0 594553312 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=848688 CPUtime=24.65 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 51929 0 0 0 2451 14 0 0 25 0 5 0 594553321 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330549 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=848688 CPUtime=24.73 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 53266 0 0 0 2457 16 0 0 25 0 5 0 594553331 869056512 160423 33554432000 4194304 5787044 140737062856976 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.08
Current children cumulated vsize (KiB) 857388

[startup+51.1007 s]
/proc/loadavg: 7.91 7.99 7.90 9/188 16056
/proc/meminfo: memFree=15649064/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1084368 CPUtime=202.31 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 317205 0 0 0 20137 94 0 0 18 0 5 0 594553257 1110392832 199486 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 271092 199486 352 389 0 266842 0
[pid=16050/tid=16052] ppid=16049 vsize=1084368 CPUtime=50.61 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 59969 0 0 0 5045 16 0 0 25 0 5 0 594553303 1110392832 199486 33554432000 4194304 5787044 140737062856976 18446744073709551615 4279072 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1084368 CPUtime=50.51 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 60667 0 0 0 5027 24 0 0 25 0 5 0 594553312 1110392832 199486 33554432000 4194304 5787044 140737062856976 18446744073709551615 4276375 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1084368 CPUtime=50.11 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 66591 0 0 0 4991 20 0 0 25 0 5 0 594553321 1110392832 199486 33554432000 4194304 5787044 140737062856976 18446744073709551615 4275940 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1084368 CPUtime=50.32 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 66135 0 0 0 5008 24 0 0 25 0 5 0 594553331 1110392832 199486 33554432000 4194304 5787044 140737062856976 18446744073709551615 4279488 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.31
Current children cumulated vsize (KiB) 1093068

[startup+102.307 s]
/proc/loadavg: 8.04 8.01 7.91 9/188 16057
/proc/meminfo: memFree=15645232/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1084500 CPUtime=406.86 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 498681 0 0 0 40545 141 0 0 18 0 5 0 594553257 1110528000 199705 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 271125 199706 352 389 0 266875 0
[pid=16050/tid=16052] ppid=16049 vsize=1084500 CPUtime=101.82 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 59989 0 0 0 10166 16 0 0 25 0 5 0 594553303 1110528000 199707 33554432000 4194304 5787044 140737062856976 18446744073709551615 4279122 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1084500 CPUtime=101.72 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 139614 0 0 0 10126 46 0 0 25 0 5 0 594553312 1110528000 199708 33554432000 4194304 5787044 140737062856976 18446744073709551615 260020057121 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1084500 CPUtime=101.04 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 66646 0 0 0 10084 20 0 0 25 0 5 0 594553321 1110528000 199708 33554432000 4194304 5787044 140737062856976 18446744073709551615 4276259 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1084500 CPUtime=101.52 cores=1,3,5,7

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

/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 572074 0 0 0 82010 160 0 0 25 0 5 0 594553312 1730940928 379303 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1690372 CPUtime=818.86 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 106929 0 0 0 81847 39 0 0 25 0 5 0 594553321 1730940928 379303 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590564 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1690372 CPUtime=821.49 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 826014 0 0 0 81957 192 0 0 25 0 5 0 594553331 1730940928 379303 33554432000 4194304 5787044 140737062856976 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3282.82
Current children cumulated vsize (KiB) 1699072

[startup+882.301 s]
/proc/loadavg: 8.06 8.07 7.97 9/188 16143
/proc/meminfo: memFree=14875640/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1690372 CPUtime=3522.47 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 1991636 0 0 0 351741 506 0 0 18 0 5 0 594553257 1730940928 379491 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 422593 379491 418 389 0 418343 0
[pid=16050/tid=16052] ppid=16049 vsize=1690372 CPUtime=879.68 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 416746 0 0 0 87863 105 0 0 25 0 5 0 594553303 1730940928 379491 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1690372 CPUtime=881.69 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 572074 0 0 0 88009 160 0 0 25 0 5 0 594553312 1730940928 379491 33554432000 4194304 5787044 140737062856976 18446744073709551615 4254488 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1690372 CPUtime=878.86 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 106929 0 0 0 87847 39 0 0 25 0 5 0 594553321 1730940928 379491 33554432000 4194304 5787044 140737062856976 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1690372 CPUtime=881.49 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 832044 0 0 0 87957 192 0 0 25 0 5 0 594553331 1730940928 379491 33554432000 4194304 5787044 140737062856976 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3522.47
Current children cumulated vsize (KiB) 1699072

[startup+942.3 s]
/proc/loadavg: 8.06 8.06 7.97 9/188 16145
/proc/meminfo: memFree=14857008/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1755908 CPUtime=3762.16 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 1993771 0 0 0 375707 509 0 0 18 0 5 0 594553257 1798049792 381626 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 438977 381626 418 389 0 434727 0
[pid=16050/tid=16052] ppid=16049 vsize=1755908 CPUtime=939.63 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 416746 0 0 0 93858 105 0 0 25 0 5 0 594553303 1798049792 381626 33554432000 4194304 5787044 140737062856976 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1755908 CPUtime=941.69 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 572074 0 0 0 94009 160 0 0 25 0 5 0 594553312 1798049792 381626 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1755908 CPUtime=938.59 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 109034 0 0 0 93818 41 0 0 25 0 5 0 594553321 1798049792 381626 33554432000 4194304 5787044 140737062856976 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1755908 CPUtime=941.49 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 832074 0 0 0 93956 193 0 0 25 0 5 0 594553331 1798049792 381626 33554432000 4194304 5787044 140737062856976 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.16
Current children cumulated vsize (KiB) 1764608

[startup+1002.3 s]
/proc/loadavg: 8.24 8.11 8.00 9/188 16146
/proc/meminfo: memFree=14815944/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1821444 CPUtime=4001.81 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 2011573 0 0 0 399660 521 0 0 18 0 5 0 594553257 1865158656 387390 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 455361 387390 418 389 0 451111 0
[pid=16050/tid=16052] ppid=16049 vsize=1821444 CPUtime=999.63 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 417202 0 0 0 99857 106 0 0 25 0 5 0 594553303 1865158656 387390 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590540 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1821444 CPUtime=1001.7 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 574568 0 0 0 100005 165 0 0 25 0 5 0 594553312 1865158656 387390 33554432000 4194304 5787044 140737062856976 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1821444 CPUtime=998.25 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 110839 0 0 0 99781 44 0 0 25 0 5 0 594553321 1865158656 387390 33554432000 4194304 5787044 140737062856976 18446744073709551615 4221032 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1821444 CPUtime=1001.48 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 845121 0 0 0 99952 196 0 0 25 0 5 0 594553331 1865158656 387390 33554432000 4194304 5787044 140737062856976 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4001.81
Current children cumulated vsize (KiB) 1830144

[startup+1062.3 s]
/proc/loadavg: 8.16 8.10 8.00 9/188 16148
/proc/meminfo: memFree=14653592/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1973392 CPUtime=4241.5 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 2049110 0 0 0 423605 545 0 0 18 0 5 0 594553257 2020753408 423691 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 493348 423691 418 389 0 489098 0
[pid=16050/tid=16052] ppid=16049 vsize=1973392 CPUtime=1059.62 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 420750 0 0 0 105854 108 0 0 25 0 5 0 594553303 2020753408 423691 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1973392 CPUtime=1061.7 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 580902 0 0 0 105996 174 0 0 25 0 5 0 594553312 2020753408 423691 33554432000 4194304 5787044 140737062856976 18446744073709551615 5591083 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1973392 CPUtime=1057.92 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 115283 0 0 0 105743 49 0 0 25 0 5 0 594553321 2020753408 423691 33554432000 4194304 5787044 140737062856976 18446744073709551615 5588108 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1973392 CPUtime=1061.48 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 868332 0 0 0 105946 202 0 0 25 0 5 0 594553331 2020753408 423691 33554432000 4194304 5787044 140737062856976 18446744073709551615 4319847 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4241.5
Current children cumulated vsize (KiB) 1982092

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.00 9/188 16150
/proc/meminfo: memFree=14630728/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1976472 CPUtime=4481.14 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 2053239 0 0 0 447567 547 0 0 18 0 5 0 594553257 2023907328 424331 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 494118 424331 418 389 0 489868 0
[pid=16050/tid=16052] ppid=16049 vsize=1976472 CPUtime=1119.63 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 421112 0 0 0 111854 109 0 0 25 0 5 0 594553303 2023907328 424331 33554432000 4194304 5787044 140737062856976 18446744073709551615 4220347 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1976472 CPUtime=1121.69 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 580984 0 0 0 111994 175 0 0 25 0 5 0 594553312 2023907328 424331 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1976472 CPUtime=1117.59 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 115445 0 0 0 111709 50 0 0 25 0 5 0 594553321 2023907328 424331 33554432000 4194304 5787044 140737062856976 18446744073709551615 5576478 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1976472 CPUtime=1121.49 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 871855 0 0 0 111945 204 0 0 25 0 5 0 594553331 2023907328 424331 33554432000 4194304 5787044 140737062856976 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4481.14
Current children cumulated vsize (KiB) 1985172

[startup+1182.3 s]
/proc/loadavg: 8.11 8.09 8.00 9/188 16151
/proc/meminfo: memFree=14621404/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1981036 CPUtime=4720.8 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 2057762 0 0 0 471527 553 0 0 18 0 5 0 594553257 2028580864 425873 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 495259 425873 418 389 0 491009 0
[pid=16050/tid=16052] ppid=16049 vsize=1981036 CPUtime=1179.62 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 421384 0 0 0 117852 110 0 0 25 0 5 0 594553303 2028580864 425873 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1981036 CPUtime=1181.69 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 580994 0 0 0 117994 175 0 0 25 0 5 0 594553312 2028580864 425873 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1981036 CPUtime=1177.27 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 115445 0 0 0 117676 51 0 0 25 0 5 0 594553321 2028580864 425873 33554432000 4194304 5787044 140737062856976 18446744073709551615 4220362 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1981036 CPUtime=1181.46 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 876096 0 0 0 117939 207 0 0 25 0 5 0 594553331 2028580864 425873 33554432000 4194304 5787044 140737062856976 18446744073709551615 4318961 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4720.8
Current children cumulated vsize (KiB) 1989736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.08 8.09 8.00 9/188 16152
/proc/meminfo: memFree=14621024/32951124 swapFree=67111528/67111528
[pid=16049] ppid=16047 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/16049/stat : 16049 (priss.sh) S 16047 16049 15086 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 594553257 8908800 252 33554432000 4194304 4922060 140734919844832 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16049/statm: 2175 252 211 178 0 68 0
[pid=16050] ppid=16049 vsize=1981036 CPUtime=4800.32 cores=1,3,5,7
/proc/16050/stat : 16050 (priss) S 16049 16049 15086 0 -1 4202496 2057784 0 0 0 479479 553 0 0 18 0 5 0 594553257 2028580864 425895 33554432000 4194304 5787044 140737062856976 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/16050/statm: 495259 425895 418 389 0 491009 0
[pid=16050/tid=16052] ppid=16049 vsize=1981036 CPUtime=1199.53 cores=1,3,5,7
/proc/16050/task/16052/stat : 16052 (priss) R 16049 16049 15086 0 -1 4202560 421406 0 0 0 119843 110 0 0 25 0 5 0 594553303 2028580864 425895 33554432000 4194304 5787044 140737062856976 18446744073709551615 4238897 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16050/tid=16053] ppid=16049 vsize=1981036 CPUtime=1201.6 cores=1,3,5,7
/proc/16050/task/16053/stat : 16053 (priss) R 16049 16049 15086 0 -1 4202560 580994 0 0 0 119985 175 0 0 25 0 5 0 594553312 2028580864 425895 33554432000 4194304 5787044 140737062856976 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16050/tid=16054] ppid=16049 vsize=1981036 CPUtime=1197.06 cores=1,3,5,7
/proc/16050/task/16054/stat : 16054 (priss) R 16049 16049 15086 0 -1 4202560 115445 0 0 0 119655 51 0 0 25 0 5 0 594553321 2028580864 425895 33554432000 4194304 5787044 140737062856976 18446744073709551615 5590355 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=16050/tid=16055] ppid=16049 vsize=1981036 CPUtime=1201.37 cores=1,3,5,7
/proc/16050/task/16055/stat : 16055 (priss) R 16049 16049 15086 0 -1 4202560 876096 0 0 0 119930 207 0 0 25 0 5 0 594553331 2028580864 425895 33554432000 4194304 5787044 140737062856976 18446744073709551615 5528386 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1989736

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16049 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1202.23
CPU time (s): 4800.32
CPU user time (s): 4794.79
CPU system time (s): 5.53
CPU usage (%): 399.286
Max. virtual memory (cumulated for all children) (KiB): 1989736

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

runsolver used 1.62675 second user time and 4.96124 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 04:13:47
IDJOB=3283455
IDBENCH=71037
IDSOLVER=1603
FILE ID=node110/3283455-1304043226
RUNJOBID= node110-1304039990-15105
PBS_JOBID= 13170381
Free space on /tmp= 72812 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283455-1304043226/watcher-3283455-1304043226 -o /tmp/evaluation-result-3283455-1304043226/solver-3283455-1304043226 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3283455-1304043226.cnf 1533062721 4800 15500 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=1533062721

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16449068 kB
Buffers:       2333620 kB
Cached:       13285928 kB
SwapCached:          0 kB
Active:        8103736 kB
Inactive:      7826408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16449068 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           27488 kB
Writeback:           0 kB
AnonPages:      310172 kB
Mapped:          15620 kB
Slab:           507204 kB
PageTables:       4928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   501320 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72808 MiB
End job on node110 at 2011-04-29 04:33:51