Trace number 3499385

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) 20382.1 5100.02

General information on the benchmark

Namecrafted/skvortsov/automata-synchronization/
crn_40_1520_u.cnf
MD5SUMac02a3a5c06227748ecf75dd451ebb7e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables63840
Number of clauses123900
Sum of the clauses size369320
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22380
Number of clauses of size 3121520
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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: 14162
0.00/0.03	c parsetime: 31589us
0.00/0.03	c parsed 123900 clauses with 63840 variables
0.00/0.04	c NW started thread 0 successfully (1095072064)
0.00/0.05	c NW started thread 1 successfully (1106348352)
0.00/0.06	c NW started thread 2 successfully (1116838208)
0.00/0.07	c NW started thread 3 successfully (1127328064)
7.87/2.19	c preprocessor returned 63840 variables
7.87/2.19	c preprocessing returned UNKNOWN
7.87/2.19	c PP set 438 variables
7.87/2.19	c pp time: 2134199us (2s)
8.27/2.20	c preprocessor returned 63840 variables
8.27/2.20	c preprocessing returned UNKNOWN
8.27/2.20	c PP set 438 variables
8.27/2.20	c pp time: 2140001us (2s)
8.27/2.21	c preprocessor returned 63840 variables
8.27/2.21	c preprocessing returned UNKNOWN
8.27/2.21	c PP set 438 variables
8.27/2.21	c pp time: 2142011us (2s)
8.27/2.22	c preprocessor returned 63840 variables
8.27/2.22	c preprocessing returned UNKNOWN
8.27/2.22	c PP set 438 variables
8.27/2.22	c pp time: 2113162us (2s)
9.39/2.53	c HTE
10.56/2.85	c subsumption
10.95/2.95	c simplified formula contains 0 unit clauses
80.91/21.17	c added unsatisfied clause
80.91/21.17	c failed to add network clauses
80.91/21.18	c added unsatisfied clause
80.91/21.18	c failed to add network clauses
115.17/29.94	c added unsatisfied clause
115.17/29.94	c failed to add network clauses
208.08/53.64	c added unsatisfied clause
208.08/53.64	c failed to add network clauses
245.83/63.26	c added unsatisfied clause
245.83/63.26	c failed to add network clauses
276.54/71.03	c added unsatisfied clause
276.54/71.03	c failed to add network clauses
290.01/74.49	c added unsatisfied clause
290.01/74.49	c failed to add network clauses
290.40/74.54	c added unsatisfied clause
290.40/74.54	c failed to add network clauses
371.97/95.13	c added unsatisfied clause
371.97/95.13	c failed to add network clauses
463.70/118.27	c added unsatisfied clause
463.70/118.27	c failed to add network clauses
464.90/118.52	c added unsatisfied clause
464.90/118.52	c failed to add network clauses
464.90/118.54	c added unsatisfied clause
464.90/118.54	c failed to add network clauses
559.74/142.30	c added unsatisfied clause
559.74/142.30	c failed to add network clauses
586.86/149.13	c added unsatisfied clause
586.86/149.13	c failed to add network clauses
598.81/152.14	c added unsatisfied clause
598.81/152.14	c failed to add network clauses
621.13/157.76	c added unsatisfied clause
621.13/157.76	c failed to add network clauses
621.53/157.82	c added unsatisfied clause
621.53/157.82	c failed to add network clauses
632.27/160.56	c added unsatisfied clause
632.27/160.56	c failed to add network clauses
632.27/160.56	c added unsatisfied clause
632.27/160.56	c failed to add network clauses
632.68/160.61	c added unsatisfied clause
632.68/160.61	c failed to add network clauses
637.07/161.77	c added unsatisfied clause
637.07/161.77	c failed to add network clauses
652.99/165.77	c added unsatisfied clause
652.99/165.77	c failed to add network clauses
659.38/167.39	c added unsatisfied clause
659.38/167.39	c failed to add network clauses
662.17/168.03	c added unsatisfied clause
662.17/168.03	c failed to add network clauses
689.71/174.94	c added unsatisfied clause
689.71/174.94	c failed to add network clauses
694.48/176.16	c added unsatisfied clause
694.48/176.16	c failed to add network clauses
710.45/180.10	c added unsatisfied clause
710.45/180.10	c failed to add network clauses
718.84/182.23	c added unsatisfied clause
718.84/182.23	c failed to add network clauses
753.17/190.86	c added unsatisfied clause
753.17/190.86	c failed to add network clauses
781.94/198.05	c added unsatisfied clause
781.94/198.05	c failed to add network clauses
798.30/202.16	c added unsatisfied clause
798.30/202.16	c failed to add network clauses
800.69/202.72	c added unsatisfied clause
800.69/202.72	c failed to add network clauses
811.89/205.57	c added unsatisfied clause
811.89/205.57	c failed to add network clauses
829.06/209.87	c added unsatisfied clause
829.06/209.87	c failed to add network clauses
943.22/238.41	c added unsatisfied clause
943.22/238.41	c failed to add network clauses
944.04/238.62	c added unsatisfied clause
944.04/238.62	c failed to add network clauses
1131.35/285.57	c added unsatisfied clause
1131.35/285.57	c failed to add network clauses
1132.15/285.76	c added unsatisfied clause
1132.15/285.76	c failed to add network clauses
1183.30/298.50	c added unsatisfied clause
1183.30/298.50	c failed to add network clauses
1219.62/307.61	c HTE
1224.02/308.76	c subsumption
1232.82/310.91	c simplified formula contains 0 unit clauses
1366.62/344.47	c added unsatisfied clause
1366.62/344.47	c failed to add network clauses
1526.49/384.40	c added unsatisfied clause
1526.49/384.40	c failed to add network clauses
1539.28/387.68	c added unsatisfied clause
1539.28/387.68	c failed to add network clauses
1550.07/390.37	c added unsatisfied clause
1550.07/390.37	c failed to add network clauses
1550.07/390.37	c added unsatisfied clause
1550.07/390.37	c failed to add network clauses
1564.47/393.92	c added unsatisfied clause
1564.47/393.92	c failed to add network clauses
1733.83/436.38	c added unsatisfied clause
1733.83/436.38	c failed to add network clauses
1760.63/443.05	c added unsatisfied clause
1760.63/443.05	c failed to add network clauses
1993.36/501.33	c added unsatisfied clause
1993.36/501.33	c failed to add network clauses
1993.36/501.34	c added unsatisfied clause
1993.36/501.34	c failed to add network clauses
2322.43/583.65	c added unsatisfied clause
2322.43/583.65	c failed to add network clauses
2335.22/586.88	c added unsatisfied clause
2335.22/586.88	c failed to add network clauses
2480.34/623.13	c added unsatisfied clause
2480.34/623.13	c failed to add network clauses
3081.69/773.63	c added unsatisfied clause
3081.69/773.63	c failed to add network clauses
3101.69/778.68	c added unsatisfied clause
3101.69/778.68	c failed to add network clauses
3138.89/787.92	c HTE
3175.12/797.10	c subsumption
3248.71/815.46	c added unsatisfied clause
3248.71/815.46	c failed to add network clauses
3303.10/829.06	c simplified formula contains 0 unit clauses
3379.51/848.15	c added unsatisfied clause
3379.51/848.15	c failed to add network clauses
3521.47/883.60	c added unsatisfied clause
3521.47/883.60	c failed to add network clauses
3533.49/886.64	c added unsatisfied clause
3533.49/886.64	c failed to add network clauses
3605.06/904.50	c added unsatisfied clause
3605.06/904.50	c failed to add network clauses
3863.79/969.26	c added unsatisfied clause
3863.79/969.26	c failed to add network clauses
3990.59/1000.98	c added unsatisfied clause
3990.59/1000.98	c failed to add network clauses
4294.29/1076.92	c added unsatisfied clause
4294.29/1076.92	c failed to add network clauses
4352.48/1091.58	c added unsatisfied clause
4352.48/1091.58	c failed to add network clauses
4408.07/1105.49	c added unsatisfied clause
4408.07/1105.49	c failed to add network clauses
4436.05/1112.43	c added unsatisfied clause
4436.05/1112.43	c failed to add network clauses
4523.23/1134.23	c added unsatisfied clause
4523.23/1134.23	c failed to add network clauses
4756.01/1192.40	c added unsatisfied clause
4756.01/1192.40	c failed to add network clauses
4772.38/1196.51	c added unsatisfied clause
4772.38/1196.51	c failed to add network clauses
5937.34/1487.97	c HTE
6033.73/1512.06	c subsumption
6487.70/1625.59	c simplified formula contains 0 unit clauses
6824.19/1709.71	c added unsatisfied clause
6824.19/1709.71	c failed to add network clauses
7491.09/1876.58	c added unsatisfied clause
7491.09/1876.58	c failed to add network clauses
7885.81/1975.26	c added unsatisfied clause
7885.81/1975.26	c failed to add network clauses
7998.19/2003.31	c added unsatisfied clause
7998.19/2003.31	c failed to add network clauses
8521.46/2134.29	c added unsatisfied clause
8521.46/2134.29	c failed to add network clauses
8669.03/2171.19	c added unsatisfied clause
8669.03/2171.19	c failed to add network clauses
8866.23/2220.48	c added unsatisfied clause
8866.23/2220.48	c failed to add network clauses
9045.56/2265.34	c added unsatisfied clause
9045.56/2265.34	c failed to add network clauses
9082.35/2274.52	c added unsatisfied clause
9082.35/2274.52	c failed to add network clauses
9195.14/2302.73	c added unsatisfied clause
9195.14/2302.73	c failed to add network clauses
9408.33/2356.07	c added unsatisfied clause
9408.33/2356.07	c failed to add network clauses
9528.73/2386.16	c added unsatisfied clause
9528.73/2386.16	c failed to add network clauses
9896.71/2478.10	c HTE
10041.92/2514.43	c subsumption
10226.71/2560.69	c added unsatisfied clause
10226.71/2560.69	c failed to add network clauses
10963.89/2744.90	c simplified formula contains 0 unit clauses
11433.09/2862.40	c added unsatisfied clause
11433.09/2862.40	c failed to add network clauses
11572.27/2897.17	c added unsatisfied clause
11572.27/2897.17	c failed to add network clauses
12084.76/3025.37	c added unsatisfied clause
12084.76/3025.37	c failed to add network clauses
12211.55/3057.04	c added unsatisfied clause
12211.55/3057.04	c failed to add network clauses
13782.26/3449.74	c added unsatisfied clause
13782.26/3449.74	c failed to add network clauses
15783.39/3950.20	c HTE
15940.60/3989.55	c subsumption
16139.42/4039.27	c added unsatisfied clause
16139.42/4039.27	c failed to add network clauses
17156.20/4293.41	c simplified formula contains 0 unit clauses
17421.40/4359.75	c added unsatisfied clause
17421.40/4359.75	c failed to add network clauses
17848.21/4466.46	c added unsatisfied clause
17848.21/4466.46	c failed to add network clauses
18766.57/4696.02	c added unsatisfied clause
18766.57/4696.02	c failed to add network clauses
19172.47/4797.63	c added unsatisfied clause
19172.47/4797.63	c failed to add network clauses
19285.68/4825.96	c added unsatisfied clause
19285.68/4825.96	c failed to add network clauses
19415.27/4858.32	c added unsatisfied clause
19415.27/4858.32	c failed to add network clauses
19922.08/4985.08	c added unsatisfied clause
19922.08/4985.08	c failed to add network clauses
19965.27/4995.82	c added unsatisfied clause
19965.27/4995.82	c failed to add network clauses
19994.07/5003.08	c added unsatisfied clause
19994.07/5003.08	c failed to add network clauses

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.1 (svn: 989)

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 /var/tmp/evaluation-result-3499385-1307998972/watcher-3499385-1307998972 -o /var/tmp/evaluation-result-3499385-1307998972/solver-3499385-1307998972 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499385-1307998972.cnf 1689901016 40000 31000 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.44 3.79 3.56 2/170 14161
/proc/meminfo: memFree=12842912/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0

[startup+0.0322069 s]
/proc/loadavg: 3.44 3.79 3.56 2/170 14161
/proc/meminfo: memFree=12842912/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100171 s]
/proc/loadavg: 3.44 3.79 3.56 2/170 14161
/proc/meminfo: memFree=12842912/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301167 s]
/proc/loadavg: 3.44 3.79 3.56 2/170 14161
/proc/meminfo: memFree=12842912/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701063 s]
/proc/loadavg: 3.44 3.79 3.56 2/170 14161
/proc/meminfo: memFree=12842912/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50091 s]
/proc/loadavg: 3.44 3.79 3.56 5/176 14167
/proc/meminfo: memFree=12689396/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=353848 CPUtime=5.45 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 45547 0 0 0 506 39 0 0 19 0 5 0 911497988 362340352 38806 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 88462 38806 351 389 0 84212 0
[pid=14162/tid=14164] ppid=14161 vsize=353848 CPUtime=1.34 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 10992 0 0 0 124 10 0 0 18 0 5 0 911497992 362340352 38806 33554432000 4194304 5787044 140736556812128 18446744073709551615 4345946 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=353848 CPUtime=1.34 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 10341 0 0 0 125 9 0 0 17 0 5 0 911497993 362340352 38806 33554432000 4194304 5787044 140736556812128 18446744073709551615 4278467 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=353848 CPUtime=1.32 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 10512 0 0 0 122 10 0 0 18 0 5 0 911497994 362340352 38806 33554432000 4194304 5787044 140736556812128 18446744073709551615 4345961 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=353848 CPUtime=1.34 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 7499 0 0 0 126 8 0 0 17 0 5 0 911497996 362340352 38806 33554432000 4194304 5787044 140736556812128 18446744073709551615 4345933 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 362548

[startup+3.10065 s]
/proc/loadavg: 3.44 3.79 3.56 5/176 14167
/proc/meminfo: memFree=12683940/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=365228 CPUtime=11.68 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 66698 0 0 0 1100 68 0 0 19 0 5 0 911497988 373993472 50824 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 91307 50824 418 389 0 87057 0
[pid=14162/tid=14164] ppid=14161 vsize=365228 CPUtime=2.93 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 13812 0 0 0 277 16 0 0 17 0 5 0 911497992 373993472 50824 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=365228 CPUtime=2.87 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 15870 0 0 0 269 18 0 0 16 0 5 0 911497993 373993472 50824 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=365228 CPUtime=2.88 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 16009 0 0 0 266 22 0 0 17 0 5 0 911497994 373993472 50824 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=365228 CPUtime=2.89 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 14804 0 0 0 279 10 0 0 17 0 5 0 911497996 373993472 50824 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.68
Current children cumulated vsize (KiB) 373928

[startup+6.30104 s]
/proc/loadavg: 3.49 3.79 3.56 5/176 14168
/proc/meminfo: memFree=12633116/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=366240 CPUtime=23.79 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 69038 0 0 0 2138 241 0 0 19 0 5 0 911497988 375029760 53164 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 91560 53164 418 389 0 87310 0
[pid=14162/tid=14164] ppid=14161 vsize=366240 CPUtime=6.05 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 14031 0 0 0 538 67 0 0 17 0 5 0 911497992 375029760 53164 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=366240 CPUtime=5.8 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 17396 0 0 0 535 45 0 0 16 0 5 0 911497993 375029760 53164 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=366240 CPUtime=5.98 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 16283 0 0 0 511 87 0 0 17 0 5 0 911497994 375029760 53164 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=366240 CPUtime=5.86 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 15125 0 0 0 546 40 0 0 16 0 5 0 911497996 375029760 53164 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933602997 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.79
Current children cumulated vsize (KiB) 374940

[startup+12.7009 s]
/proc/loadavg: 3.53 3.80 3.56 4/176 14168
/proc/meminfo: memFree=12618908/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=369116 CPUtime=48.45 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 72625 0 0 0 4363 482 0 0 19 0 5 0 911497988 377974784 56751 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 92279 56751 418 389 0 88029 0
[pid=14162/tid=14164] ppid=14161 vsize=369116 CPUtime=12.34 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 14745 0 0 0 1089 145 0 0 18 0 5 0 911497992 377974784 56751 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=369116 CPUtime=11.82 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 18177 0 0 0 1095 87 0 0 16 0 5 0 911497993 377974784 56751 33554432000 4194304 5787044 140736556812128 18446744073709551615 4254531 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=369116 CPUtime=12.26 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 16707 0 0 0 1061 165 0 0 17 0 5 0 911497994 377974784 56751 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=369116 CPUtime=11.92 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 16793 0 0 0 1109 83 0 0 16 0 5 0 911497996 377974784 56751 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 48.45
Current children cumulated vsize (KiB) 377816

[startup+25.5005 s]
/proc/loadavg: 3.56 3.79 3.56 5/176 14168
/proc/meminfo: memFree=12593732/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=375068 CPUtime=97.95 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 79217 0 0 0 8902 893 0 0 19 0 5 0 911497988 384069632 63333 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 93767 63333 418 389 0 89517 0
[pid=14162/tid=14164] ppid=14161 vsize=375068 CPUtime=24.96 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 16229 0 0 0 2222 274 0 0 18 0 5 0 911497992 384069632 63333 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=375068 CPUtime=23.85 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 18790 0 0 0 2225 160 0 0 16 0 5 0 911497993 384069632 63333 33554432000 4194304 5787044 140736556812128 18446744073709551615 4254531 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=375068 CPUtime=24.83 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 17749 0 0 0 2174 309 0 0 18 0 5 0 911497994 384069632 63333 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=375068 CPUtime=24.21 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 20246 0 0 0 2273 148 0 0 16 0 5 0 911497996 384069632 63333 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 97.95
Current children cumulated vsize (KiB) 383768

[startup+51.1008 s]
/proc/loadavg: 3.65 3.79 3.57 5/176 14169
/proc/meminfo: memFree=12539492/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=397676 CPUtime=198.21 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 93023 0 0 0 18342 1479 0 0 19 0 5 0 911497988 407220224 76890 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 99419 76890 418 389 0 95169 0
[pid=14162/tid=14164] ppid=14161 vsize=397676 CPUtime=50.32 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 21858 0 0 0 4578 454 0 0 18 0 5 0 911497992 407220224 76890 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=397676 CPUtime=48.53 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 21452 0 0 0 4590 263 0 0 16 0 5 0 911497993 407220224 76890 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=397676 CPUtime=50.12 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 20082 0 0 0 4499 513 0 0 17 0 5 0 911497994 407220224 76890 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=397676 CPUtime=49.13 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 23428 0 0 0 4666 247 0 0 17 0 5 0 911497996 407220224 76890 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921882143 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 198.21
Current children cumulated vsize (KiB) 406376

[startup+102.306 s]
/proc/loadavg: 3.85 3.82 3.58 5/176 14173
/proc/meminfo: memFree=12418516/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=636492 CPUtime=400.61 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 123533 0 0 0 38121 1940 0 0 19 0 5 0 911497988 651767808 106754 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 159123 106754 418 389 0 154873 0
[pid=14162/tid=14164] ppid=14161 vsize=636492 CPUtime=101.2 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 32393 0 0 0 9548 572 0 0 18 0 5 0 911497992 651767808 106754 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933602997 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=636492 CPUtime=98.57 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 30785 0 0 0 9489 368 0 0 18 0 5 0 911497993 651767808 106754 33554432000 4194304 5787044 140736556812128 18446744073709551615 4254384 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=636492 CPUtime=100.94 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 25945 0 0 0 9445 649 0 0 18 0 5 0 911497994 651767808 106754 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933602997 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=636492 CPUtime=99.78 cores=0-7

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

/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229645 0 0 0 470481 922 0 0 17 0 5 0 911497993 4723544064 1074601 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4612836 CPUtime=4719.29 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 243574 0 0 0 470875 1054 0 0 19 0 5 0 911497994 4723544064 1074601 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4612836 CPUtime=4718.24 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 419932 0 0 0 471071 753 0 0 18 0 5 0 911497996 4723544064 1074601 33554432000 4194304 5787044 140736556812128 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18871.3
Current children cumulated vsize (KiB) 4621536

[startup+4782.3 s]
/proc/loadavg: 4.01 4.01 3.94 5/176 14310
/proc/meminfo: memFree=8534756/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=4614884 CPUtime=19111.3 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 1154040 0 0 0 1907434 3693 0 0 19 0 5 0 911497988 4725641216 1075324 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 1153721 1075324 418 389 0 1149471 0
[pid=14162/tid=14164] ppid=14161 vsize=4614884 CPUtime=4779.64 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 254020 0 0 0 477005 959 0 0 25 0 5 0 911497992 4725641216 1075324 33554432000 4194304 5787044 140736556812128 18446744073709551615 222921177612 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=4614884 CPUtime=4774.02 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229645 0 0 0 476479 923 0 0 25 0 5 0 911497993 4725641216 1075324 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4614884 CPUtime=4779.28 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 243611 0 0 0 476873 1055 0 0 20 0 5 0 911497994 4725641216 1075324 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4614884 CPUtime=4778.23 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 420561 0 0 0 477069 754 0 0 25 0 5 0 911497996 4725641216 1075324 33554432000 4194304 5787044 140736556812128 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19111.3
Current children cumulated vsize (KiB) 4623584

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/176 14311
/proc/meminfo: memFree=8530148/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=4616932 CPUtime=19351.3 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 1155175 0 0 0 1931432 3695 0 0 19 0 5 0 911497988 4727738368 1076459 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 1154233 1076459 418 389 0 1149983 0
[pid=14162/tid=14164] ppid=14161 vsize=4616932 CPUtime=4839.64 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 254062 0 0 0 483005 959 0 0 25 0 5 0 911497992 4727738368 1076459 33554432000 4194304 5787044 140736556812128 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=4616932 CPUtime=4834.02 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229645 0 0 0 482478 924 0 0 18 0 5 0 911497993 4727738368 1076459 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4616932 CPUtime=4839.28 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 243963 0 0 0 482873 1055 0 0 19 0 5 0 911497994 4727738368 1076459 33554432000 4194304 5787044 140736556812128 18446744073709551615 5592012 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4616932 CPUtime=4838.23 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 421302 0 0 0 483068 755 0 0 25 0 5 0 911497996 4727738368 1076459 33554432000 4194304 5787044 140736556812128 18446744073709551615 5527482 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19351.3
Current children cumulated vsize (KiB) 4625632

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/176 14313
/proc/meminfo: memFree=8524904/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=4621028 CPUtime=19591.3 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 1156550 0 0 0 1955429 3698 0 0 19 0 5 0 911497988 4731932672 1077834 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 1155257 1077834 418 389 0 1151007 0
[pid=14162/tid=14164] ppid=14161 vsize=4621028 CPUtime=4899.64 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 254291 0 0 0 489005 959 0 0 25 0 5 0 911497992 4731932672 1077834 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=4621028 CPUtime=4894.01 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229645 0 0 0 488477 924 0 0 25 0 5 0 911497993 4731932672 1077834 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4621028 CPUtime=4899.28 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 244262 0 0 0 488872 1056 0 0 25 0 5 0 911497994 4731932672 1077834 33554432000 4194304 5787044 140736556812128 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4621028 CPUtime=4898.23 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 422149 0 0 0 489067 756 0 0 25 0 5 0 911497996 4731932672 1077834 33554432000 4194304 5787044 140736556812128 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19591.3
Current children cumulated vsize (KiB) 4629728

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/176 14315
/proc/meminfo: memFree=8514940/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=4622052 CPUtime=19831.3 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 1159009 0 0 0 1979423 3704 0 0 19 0 5 0 911497988 4732981248 1080293 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 1155513 1080293 418 389 0 1151263 0
[pid=14162/tid=14164] ppid=14161 vsize=4622052 CPUtime=4959.64 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 255395 0 0 0 495002 962 0 0 19 0 5 0 911497992 4732981248 1080293 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=4622052 CPUtime=4954 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229645 0 0 0 494475 925 0 0 19 0 5 0 911497993 4732981248 1080293 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4622052 CPUtime=4959.29 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 244759 0 0 0 494871 1058 0 0 25 0 5 0 911497994 4732981248 1080293 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4622052 CPUtime=4958.23 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 423007 0 0 0 495067 756 0 0 25 0 5 0 911497996 4732981248 1080293 33554432000 4194304 5787044 140736556812128 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19831.3
Current children cumulated vsize (KiB) 4630752

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/176 14316
/proc/meminfo: memFree=8502480/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=4623076 CPUtime=20071.3 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 1162068 0 0 0 2003417 3710 0 0 19 0 5 0 911497988 4734029824 1083352 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 1155769 1083352 418 389 0 1151519 0
[pid=14162/tid=14164] ppid=14161 vsize=4623076 CPUtime=5019.65 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 256246 0 0 0 501000 965 0 0 25 0 5 0 911497992 4734029824 1083352 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=4623076 CPUtime=5014 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229645 0 0 0 500474 926 0 0 20 0 5 0 911497993 4734029824 1083352 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4623076 CPUtime=5019.28 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 245958 0 0 0 500869 1059 0 0 19 0 5 0 911497994 4734029824 1083352 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4623076 CPUtime=5018.24 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 424016 0 0 0 501066 758 0 0 25 0 5 0 911497996 4734029824 1083352 33554432000 4194304 5787044 140736556812128 18446744073709551615 4255030 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20071.3
Current children cumulated vsize (KiB) 4631776

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/176 14318
/proc/meminfo: memFree=8488556/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=4690660 CPUtime=20311.3 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 1165588 0 0 0 2027409 3718 0 0 19 0 5 0 911497988 4803235840 1086872 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 1172665 1086872 418 389 0 1168415 0
[pid=14162/tid=14164] ppid=14161 vsize=4690660 CPUtime=5079.65 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 256259 0 0 0 506999 966 0 0 18 0 5 0 911497992 4803235840 1086872 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=4690660 CPUtime=5074 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229645 0 0 0 506473 927 0 0 18 0 5 0 911497993 4803235840 1086872 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4690660 CPUtime=5079.28 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 246381 0 0 0 506868 1060 0 0 25 0 5 0 911497994 4803235840 1086872 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4690660 CPUtime=5078.23 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 427100 0 0 0 507061 762 0 0 25 0 5 0 911497996 4803235840 1086872 33554432000 4194304 5787044 140736556812128 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20311.3
Current children cumulated vsize (KiB) 4699360



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.94 5/176 14318
/proc/meminfo: memFree=8484208/32951124 swapFree=67056684/67111528
[pid=14161] ppid=14159 vsize=8700 CPUtime=0 cores=0-7
/proc/14161/stat : 14161 (priss.sh) S 14159 14161 14131 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 911497988 8908800 252 33554432000 4194304 4922060 140736078591408 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14161/statm: 2175 252 211 178 0 68 0
[pid=14162] ppid=14161 vsize=4690660 CPUtime=20382.1 cores=0-7
/proc/14162/stat : 14162 (priss) S 14161 14161 14131 0 -1 4202496 1166649 0 0 0 2034490 3719 0 0 19 0 5 0 911497988 4803235840 1087933 33554432000 4194304 5787044 140736556812128 18446744073709551615 222933600689 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14162/statm: 1172665 1087933 418 389 0 1168415 0
[pid=14162/tid=14164] ppid=14161 vsize=4690660 CPUtime=5097.36 cores=0-7
/proc/14162/task/14164/stat : 14164 (priss) R 14161 14161 14131 0 -1 4202560 256264 0 0 0 508770 966 0 0 21 0 5 0 911497992 4803235840 1087933 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=14162/tid=14165] ppid=14161 vsize=4690660 CPUtime=5091.7 cores=0-7
/proc/14162/task/14165/stat : 14165 (priss) R 14161 14161 14131 0 -1 4202560 229651 0 0 0 508243 927 0 0 20 0 5 0 911497993 4803235840 1087933 33554432000 4194304 5787044 140736556812128 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14162/tid=14166] ppid=14161 vsize=4690660 CPUtime=5096.99 cores=0-7
/proc/14162/task/14166/stat : 14166 (priss) R 14161 14161 14131 0 -1 4202560 246492 0 0 0 508639 1060 0 0 19 0 5 0 911497994 4803235840 1087933 33554432000 4194304 5787044 140736556812128 18446744073709551615 5591217 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=14162/tid=14167] ppid=14161 vsize=4690660 CPUtime=5095.95 cores=0-7
/proc/14162/task/14167/stat : 14167 (priss) R 14161 14161 14131 0 -1 4202560 428039 0 0 0 508831 764 0 0 25 0 5 0 911497996 4803235840 1087933 33554432000 4194304 5787044 140736556812128 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20382.1
Current children cumulated vsize (KiB) 4699360

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 14161 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 20382.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5100.02
CPU time (s): 20382.1
CPU user time (s): 20344.9
CPU system time (s): 37.19
CPU usage (%): 399.647
Max. virtual memory (cumulated for all children) (KiB): 4699360

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= 5
involuntary context switches= 3

runsolver used 7.8808 second user time and 18.1412 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-13 23:02:52
IDJOB=3499385
IDBENCH=83198
IDSOLVER=1994
FILE ID=node109/3499385-1307998972
RUNJOBID= node109-1307998972-14145
PBS_JOBID= 13559838
Free space on /var/tmp= 2884 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/crn_40_1520_u.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499385-1307998972/watcher-3499385-1307998972 -o /var/tmp/evaluation-result-3499385-1307998972/solver-3499385-1307998972 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499385-1307998972.cnf 1689901016 40000 31000 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ac02a3a5c06227748ecf75dd451ebb7e
RANDOM SEED=1689901016

node109.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.809
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.61
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.809
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.75
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.809
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.74
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.809
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.75
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.809
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.82
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.809
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.75
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.809
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.82
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12843340 kB
Buffers:        120032 kB
Cached:       19290616 kB
SwapCached:       8608 kB
Active:        3985032 kB
Inactive:     15443968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12843340 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:            4272 kB
Writeback:           0 kB
AnonPages:       15884 kB
Mapped:          12424 kB
Slab:           613152 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187044 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 /var/tmp at the end= 2884 MiB
End job on node109 at 2011-06-14 00:27:54