Trace number 2658990

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 NameAnswerobjective functionCPU timeWall clock time
SAT4J PB Resolution 2.2.0 2010-05-26? (TO) 1800.23 1729.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM1ef5c8e94b66b7ed63dffc6923ecd901
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3
Best CPU time to get the best result obtained on this benchmark1798.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3
Optimality of the best value was proved NO
Number of variables1041679
Total number of constraints127860
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints127780
Minimum length of a constraint2
Maximum length of a constraint275
Number of terms in the objective function 1611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1611
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24576
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 98256
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.09/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.14	c See www.sat4j.org for details.
0.09/0.15	c version 2.2.0.v20100526
0.09/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.09/0.15	c java.vm.version	11.2-b01
0.09/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version		1.6.0_12
0.09/0.15	c os.name		Linux
0.09/0.15	c os.version		2.6.18-164.el5
0.09/0.15	c os.arch		i386
0.09/0.15	c Free memory 		1393557488
0.09/0.15	c Max memory 		1395916800
0.09/0.15	c Total memory 		1395916800
0.09/0.15	c Number of processors 	2
0.09/0.20	c Pseudo Boolean Optimization
0.09/0.20	c --- Begin Solver configuration ---
0.09/0.20	c Stops conflict analysis at the first Unique Implication Point
0.09/0.20	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@64dc11
0.09/0.20	c Learn all clauses as in MiniSAT
0.09/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.20	c Expensive reason simplification
0.09/0.20	c Armin Biere (Picosat) restarts strategy
0.09/0.20	c Glucose learned constraints deletion strategy
0.09/0.20	c timeout=2147483s
0.09/0.20	c DB Simplification allowed=false
0.09/0.20	c --- End Solver configuration ---
0.09/0.20	c solving HOME/instance-2658990-1276349923.opb
0.09/0.20	c reading problem ... 
35.65/28.37	c ... done. Wall clock time 28.17s.
35.65/28.37	c #vars     1041679
35.65/28.37	c #constraints  178401
35.65/28.37	c constraints type 
35.65/28.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1563
35.65/28.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 1643
35.65/28.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1378
35.65/28.38	c org.sat4j.pb.constraints.pb.MaxWatchPb => 155612
43.20/34.37	c cleaning 2483 clauses out of 5001 with flag 5001/5001
56.16/46.63	c cleaning 4215 clauses out of 8518 with flag 11001/11001
66.73/56.96	c cleaning 5606 clauses out of 11303 with flag 18001/18001
81.60/71.36	c cleaning 6796 clauses out of 13696 with flag 26000/26000
94.54/83.89	c cleaning 7944 clauses out of 15901 with flag 35001/35001
104.56/93.67	c cleaning 8958 clauses out of 17956 with flag 45000/45000
122.23/110.57	c cleaning 9977 clauses out of 19998 with flag 56000/56000
136.37/124.01	c cleaning 10974 clauses out of 22021 with flag 68000/68000
160.16/146.64	c cleaning 11966 clauses out of 24047 with flag 81000/81000
182.75/168.10	c cleaning 12990 clauses out of 26081 with flag 95000/95000
194.92/179.98	c cleaning 14039 clauses out of 28091 with flag 110000/110000
253.43/234.70	c cleaning 14992 clauses out of 30052 with flag 126000/126000
270.39/251.19	c cleaning 16001 clauses out of 32060 with flag 143000/143000
288.85/268.97	c cleaning 17000 clauses out of 34060 with flag 161001/161001
331.16/308.85	c cleaning 18006 clauses out of 36060 with flag 180001/180001
370.67/346.18	c cleaning 18998 clauses out of 38053 with flag 200000/200000
399.04/373.22	c cleaning 20004 clauses out of 40056 with flag 221001/221001
416.30/390.07	c cleaning 21004 clauses out of 42051 with flag 243000/243000
459.44/430.88	c cleaning 22009 clauses out of 44047 with flag 266000/266000
529.61/496.41	c cleaning 23000 clauses out of 46039 with flag 290001/290001
543.88/510.48	c cleaning 24011 clauses out of 48039 with flag 315001/315001
557.92/524.38	c cleaning 25008 clauses out of 50027 with flag 341000/341000
578.42/544.32	c cleaning 25983 clauses out of 52019 with flag 368000/368000
654.50/616.08	c cleaning 27003 clauses out of 54036 with flag 396000/396000
699.61/658.63	c cleaning 27999 clauses out of 56034 with flag 425001/425001
731.02/688.76	c cleaning 28999 clauses out of 58034 with flag 455000/455000
749.25/706.71	c cleaning 30011 clauses out of 60035 with flag 486000/486000
770.33/727.74	c cleaning 31004 clauses out of 62025 with flag 518001/518001
791.70/748.81	c cleaning 32004 clauses out of 64020 with flag 551000/551000
819.27/776.35	c cleaning 33003 clauses out of 66017 with flag 585001/585001
938.45/887.60	c cleaning 33991 clauses out of 68013 with flag 620000/620000
959.83/908.55	c cleaning 35000 clauses out of 70026 with flag 656004/656004
985.27/933.65	c cleaning 36003 clauses out of 72023 with flag 693001/693001
1032.25/978.71	c cleaning 36991 clauses out of 74019 with flag 731000/731000
1057.76/1003.83	c cleaning 38007 clauses out of 76029 with flag 770001/770001
1079.52/1025.46	c cleaning 39005 clauses out of 78022 with flag 810001/810001
1106.79/1052.61	c cleaning 40002 clauses out of 80016 with flag 851000/851000
1195.41/1136.77	c cleaning 41002 clauses out of 82015 with flag 893001/893001
1246.15/1184.88	c cleaning 41996 clauses out of 84012 with flag 936000/936000
1288.62/1226.34	c cleaning 42999 clauses out of 86016 with flag 980000/980000
1318.18/1255.51	c cleaning 44002 clauses out of 88018 with flag 1025001/1025001
1345.50/1282.77	c cleaning 45002 clauses out of 90016 with flag 1071001/1071001
1376.35/1313.16	c cleaning 46007 clauses out of 92021 with flag 1118008/1118008
1412.82/1349.54	c cleaning 46999 clauses out of 94006 with flag 1166000/1166000
1443.82/1380.01	c cleaning 47998 clauses out of 96007 with flag 1215000/1215000
1470.10/1406.25	c cleaning 49000 clauses out of 98010 with flag 1265001/1265001
1498.86/1434.95	c cleaning 49999 clauses out of 100009 with flag 1316000/1316000
1571.14/1502.98	c cleaning 50999 clauses out of 102011 with flag 1368001/1368001
1612.48/1542.97	c cleaning 51993 clauses out of 104011 with flag 1421000/1421000
1645.45/1575.78	c cleaning 53001 clauses out of 106018 with flag 1475000/1475000
1676.04/1606.21	c cleaning 54004 clauses out of 108018 with flag 1530001/1530001
1721.83/1651.88	c cleaning 55001 clauses out of 110013 with flag 1586000/1586000
1760.93/1690.70	c cleaning 56001 clauses out of 112013 with flag 1643001/1643001
1800.02/1729.62	c starts		: 209
1800.02/1729.62	c conflicts		: 1687870
1800.02/1729.62	c decisions		: 43803855
1800.02/1729.62	c propagations		: 280999345
1800.02/1729.62	c inspects		: 1168563531
1800.02/1729.62	c learnt literals	: 0
1800.02/1729.62	c learnt binary clauses	: 2084
1800.02/1729.62	c learnt ternary clauses	: 4127
1800.02/1729.62	c learnt clauses	: 1687869
1800.02/1729.62	c ignored clauses	: 0
1800.02/1729.62	c root simplifications	: 0
1800.02/1729.62	c removed literals (reason simplification)	: 40100645
1800.02/1729.62	c reason swapping (by a shorter reason)	: 0
1800.02/1729.62	c Calls to reduceDB	: 53
1800.02/1729.62	c number of reductions to clauses (during analyze)	: 0
1800.02/1729.62	c number of learned constraints concerned by reduction	: 0
1800.02/1729.62	c number of learning phase by resolution	: 0
1800.02/1729.62	c number of learning phase by cutting planes	: 0
1800.02/1729.62	c speed (assignments/second)	: 165174.5152175459
1800.02/1729.62	c non guided choices	41897968
1800.02/1729.67	c learnt constraints type 
1800.02/1729.67	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 98833
1800.02/1729.67	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2084
1800.02/1729.67	c constraints type 
1800.02/1729.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1563
1800.02/1729.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 1643
1800.02/1729.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1378
1800.02/1729.67	c org.sat4j.pb.constraints.pb.MaxWatchPb => 155612
1800.02/1729.67	s UNKNOWN
1800.02/1729.67	c Total wall clock time (in seconds): 1729.467

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658990-1276349923/watcher-2658990-1276349923 -o /tmp/evaluation-result-2658990-1276349923/solver-2658990-1276349923 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658990-1276349923.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11739
/proc/meminfo: memFree=1739380/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1832 CPUtime=0
/proc/11739/stat : 11739 (java6) R 11737 11739 11714 0 -1 4194304 246 0 0 0 0 0 0 0 19 0 1 0 10594037 1875968 149 1992294400 134512640 134550932 4293093776 18446744073709551615 12188174 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11739/statm: 459 154 116 10 0 64 0

[startup+0.0892511 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11739
/proc/meminfo: memFree=1739380/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1522364 CPUtime=0.07
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 3842 0 1 0 5 2 0 0 18 0 7 0 10594037 1558900736 3283 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 380591 3283 1045 10 0 377901 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1522364

[startup+0.101251 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11739
/proc/meminfo: memFree=1739380/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1524592 CPUtime=0.09
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 3959 0 1 0 6 3 0 0 18 0 12 0 10594037 1561182208 3398 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 381148 3398 1076 10 0 378450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1524592

[startup+0.300615 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11739
/proc/meminfo: memFree=1739380/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1525484 CPUtime=0.35
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 11052 0 1 0 30 5 0 0 18 0 12 0 10594037 1562095616 10489 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 381371 10489 1358 10 0 378673 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1525484

[startup+0.700621 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 11739
/proc/meminfo: memFree=1739380/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1529964 CPUtime=1.14
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 14570 0 1 0 107 7 0 0 18 0 12 0 10594037 1566683136 13512 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 382491 13513 1403 10 0 379793 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 1529964

[startup+1.50163 s]
/proc/loadavg: 0.85 0.97 0.99 4/118 11751
/proc/meminfo: memFree=1676232/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1529716 CPUtime=2.35
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 30826 0 1 0 219 16 0 0 18 0 12 0 10594037 1566429184 29632 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 382429 29634 1406 10 0 379731 0
[pid=11739/tid=11741] ppid=11737 vsize=1529716 CPUtime=1.47
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 27483 0 1 0 133 14 0 0 19 0 12 0 10594039 1566429184 29635 1992294400 134512640 134550932 4294204480 18446744073709551615 4109549682 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 12 0 10594040 1566429184 29636 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 12 0 10594040 1566429184 29637 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 10594042 1566429184 29639 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 9 0 0 0 0 0 0 0 23 0 12 0 10594042 1566429184 29640 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 12 0 10594042 1566429184 29641 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1566429184 29642 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1529716 CPUtime=0.45
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 546 0 0 0 45 0 0 0 25 0 12 0 10594047 1566429184 29643 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1529716 CPUtime=0.41
/proc/11739/task/11749/stat : 11749 (java) R 11737 11739 11714 0 -1 4202560 1736 0 0 0 40 1 0 0 22 0 12 0 10594047 1566429184 29644 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1566429184 29646 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1529716 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 10594047 1566429184 29647 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 1529716

[startup+3.10165 s]
/proc/loadavg: 1.10 1.02 1.01 4/118 11751
/proc/meminfo: memFree=1557812/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1530744 CPUtime=4.99
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 63863 0 1 0 465 34 0 0 18 0 12 0 10594037 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 382686 59672 1420 10 0 379988 0
[pid=11739/tid=11741] ppid=11737 vsize=1530744 CPUtime=2.56
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 31993 0 1 0 239 17 0 0 16 0 12 0 10594039 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4109522580 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1530744 CPUtime=0.48
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 15585 0 0 0 41 7 0 0 16 0 12 0 10594040 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1530744 CPUtime=0.47
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 12783 0 0 0 41 6 0 0 16 0 12 0 10594040 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1530744 CPUtime=0
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 12 0 10594042 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1530744 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 10594042 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1530744 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 10594042 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1530744 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1530744 CPUtime=0.67
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 601 0 0 0 67 0 0 0 20 0 12 0 10594047 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1530744 CPUtime=0.74
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 1829 0 0 0 73 1 0 0 22 0 12 0 10594047 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1530744 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1530744 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 10594047 1567481856 59672 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 1530744

[startup+6.30105 s]
/proc/loadavg: 1.10 1.02 1.01 2/118 11751
/proc/meminfo: memFree=1439392/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1531864 CPUtime=9.01
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 95956 0 1 0 851 50 0 0 18 0 12 0 10594037 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 382966 84310 1420 10 0 380268 0
[pid=11739/tid=11741] ppid=11737 vsize=1531864 CPUtime=4.93
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 31997 0 1 0 475 18 0 0 16 0 12 0 10594039 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4109470826 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1531864 CPUtime=1.32
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 31327 0 0 0 117 15 0 0 16 0 12 0 10594040 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1531864 CPUtime=1.3
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 29130 0 0 0 117 13 0 0 16 0 12 0 10594040 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1531864 CPUtime=0
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 12 0 10594042 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1531864 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 10594042 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1531864 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 10594042 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1531864 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1531864 CPUtime=0.67
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 601 0 0 0 67 0 0 0 20 0 12 0 10594047 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1531864 CPUtime=0.74
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 1829 0 0 0 73 1 0 0 18 0 12 0 10594047 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1531864 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1531864 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 10594047 1568628736 84310 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.01
Current children cumulated vsize (KiB) 1531864

[startup+12.7018 s]
/proc/loadavg: 1.08 1.02 1.00 2/118 11751
/proc/meminfo: memFree=1317004/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1534424 CPUtime=16.87
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 123719 0 1 0 1621 66 0 0 18 0 12 0 10594037 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 383606 106805 1426 10 0 380908 0
[pid=11739/tid=11741] ppid=11737 vsize=1534424 CPUtime=9.55
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 32075 0 1 0 937 18 0 0 15 0 12 0 10594039 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 106834675 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1534424 CPUtime=2.92
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 44202 0 0 0 270 22 0 0 15 0 12 0 10594040 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1534424 CPUtime=2.9
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 43940 0 0 0 269 21 0 0 15 0 12 0 10594040 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1534424 CPUtime=0
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 12 0 10594042 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1534424 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 10594042 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1534424 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 10594042 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1534424 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1534424 CPUtime=0.67
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 601 0 0 0 67 0 0 0 20 0 12 0 10594047 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1534424 CPUtime=0.76
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 1829 0 0 0 75 1 0 0 18 0 12 0 10594047 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1534424 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1534424 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 10594047 1571250176 106805 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 16.87
Current children cumulated vsize (KiB) 1534424

[startup+25.502 s]
/proc/loadavg: 1.07 1.02 1.00 2/118 11751
/proc/meminfo: memFree=1183952/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1539380 CPUtime=32.19
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 167944 0 1 0 3126 93 0 0 18 0 12 0 10594037 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 384845 140014 1426 10 0 382147 0
[pid=11739/tid=11741] ppid=11737 vsize=1539380 CPUtime=20.44
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 32134 0 1 0 2024 20 0 0 16 0 12 0 10594039 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4109868058 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1539380 CPUtime=4.68
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 62016 0 0 0 435 33 0 0 16 0 12 0 10594040 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1539380 CPUtime=4.63
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 66181 0 0 0 428 35 0 0 16 0 12 0 10594040 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1539380 CPUtime=0
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 12 0 10594042 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1539380 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 12 0 10594042 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1539380 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 10594042 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1539380 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 10594047 1576325120 140014 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1539380 CPUtime=0.76

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

[pid=11739/tid=11745] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1536360 CPUtime=1.35
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 892 0 0 0 135 0 0 0 15 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1536360 CPUtime=2.69
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 7394 0 0 0 266 3 0 0 16 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11752] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11752/stat : 11752 (java) S 11737 11739 11714 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 10596927 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1611.88
Current children cumulated vsize (KiB) 1536360

[startup+1602.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/119 11803
/proc/meminfo: memFree=969176/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1536360 CPUtime=1672.14
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 941838 0 1 0 166739 475 0 0 18 0 13 0 10594037 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 384090 192836 1444 10 0 381392 0
[pid=11739/tid=11741] ppid=11737 vsize=1536360 CPUtime=1415.71
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 32802 0 1 0 141528 43 0 0 25 0 13 0 10594039 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4109470809 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1536360 CPUtime=68.47
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 89182 0 0 0 6756 91 0 0 16 0 13 0 10594040 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1536360 CPUtime=68.97
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 96371 0 0 0 6828 69 0 0 15 0 13 0 10594040 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1536360 CPUtime=114.88
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 714039 0 0 0 11223 265 0 0 15 0 13 0 10594042 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1536360 CPUtime=1.35
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 892 0 0 0 135 0 0 0 15 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1536360 CPUtime=2.69
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 7394 0 0 0 266 3 0 0 16 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 13 0 10594047 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11752] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11752/stat : 11752 (java) S 11737 11739 11714 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 10596927 1573232640 192836 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1672.14
Current children cumulated vsize (KiB) 1536360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/119 11805
/proc/meminfo: memFree=951940/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1536360 CPUtime=1732.36
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 971523 0 1 0 172749 487 0 0 18 0 13 0 10594037 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 384090 197278 1444 10 0 381392 0
[pid=11739/tid=11741] ppid=11737 vsize=1536360 CPUtime=1470.53
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 32809 0 1 0 147009 44 0 0 25 0 13 0 10594039 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4110090492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1536360 CPUtime=68.73
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 90858 0 0 0 6781 92 0 0 15 0 13 0 10594040 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1536360 CPUtime=69.22
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 99749 0 0 0 6851 71 0 0 16 0 13 0 10594040 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1536360 CPUtime=119.78
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 738659 0 0 0 11704 274 0 0 18 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1536360 CPUtime=1.35
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 892 0 0 0 135 0 0 0 15 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1536360 CPUtime=2.69
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 7394 0 0 0 266 3 0 0 16 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11752] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11752/stat : 11752 (java) S 11737 11739 11714 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 10596927 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1732.36
Current children cumulated vsize (KiB) 1536360

[startup+1722.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/119 11807
/proc/meminfo: memFree=951196/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1536360 CPUtime=1792.7
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 979043 0 1 0 178778 492 0 0 18 0 13 0 10594037 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 384090 197278 1444 10 0 381392 0
[pid=11739/tid=11741] ppid=11737 vsize=1536360 CPUtime=1527.92
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 32819 0 1 0 152747 45 0 0 25 0 13 0 10594039 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4110027049 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1536360 CPUtime=69.1
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 90858 0 0 0 6818 92 0 0 16 0 13 0 10594040 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1536360 CPUtime=69.6
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 99749 0 0 0 6889 71 0 0 16 0 13 0 10594040 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1536360 CPUtime=121.97
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 746165 0 0 0 11920 277 0 0 15 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1536360 CPUtime=1.35
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 892 0 0 0 135 0 0 0 15 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1536360 CPUtime=2.69
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 7394 0 0 0 266 3 0 0 16 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11752] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11752/stat : 11752 (java) S 11737 11739 11714 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 10596927 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1792.7
Current children cumulated vsize (KiB) 1536360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1729.6 s]
/proc/loadavg: 1.03 1.03 1.00 2/119 11807
/proc/meminfo: memFree=951196/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=1536360 CPUtime=1800.02
/proc/11739/stat : 11739 (java) S 11737 11739 11714 0 -1 4202496 979046 0 1 0 179510 492 0 0 18 0 13 0 10594037 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 384090 197278 1444 10 0 381392 0
[pid=11739/tid=11741] ppid=11737 vsize=1536360 CPUtime=1535.2
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4202560 32820 0 1 0 153475 45 0 0 25 0 13 0 10594039 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4110090486 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11739/tid=11742] ppid=11737 vsize=1536360 CPUtime=69.12
/proc/11739/task/11742/stat : 11742 (java) S 11737 11739 11714 0 -1 4202560 90858 0 0 0 6820 92 0 0 15 0 13 0 10594040 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11743] ppid=11737 vsize=1536360 CPUtime=69.62
/proc/11739/task/11743/stat : 11743 (java) S 11737 11739 11714 0 -1 4202560 99749 0 0 0 6891 71 0 0 15 0 13 0 10594040 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11744] ppid=11737 vsize=1536360 CPUtime=121.97
/proc/11739/task/11744/stat : 11744 (java) S 11737 11739 11714 0 -1 4202560 746167 0 0 0 11920 277 0 0 15 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 0 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11745] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11745/stat : 11745 (java) S 11737 11739 11714 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11746] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11746/stat : 11746 (java) S 11737 11739 11714 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 10594042 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11747] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11747/stat : 11747 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11748] ppid=11737 vsize=1536360 CPUtime=1.35
/proc/11739/task/11748/stat : 11748 (java) S 11737 11739 11714 0 -1 4202560 892 0 0 0 135 0 0 0 15 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11749] ppid=11737 vsize=1536360 CPUtime=2.69
/proc/11739/task/11749/stat : 11749 (java) S 11737 11739 11714 0 -1 4202560 7394 0 0 0 266 3 0 0 16 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11750] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11750/stat : 11750 (java) S 11737 11739 11714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 0 0 0 0
[pid=11739/tid=11751] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11751/stat : 11751 (java) S 11737 11739 11714 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 10594047 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
[pid=11739/tid=11752] ppid=11737 vsize=1536360 CPUtime=0
/proc/11739/task/11752/stat : 11752 (java) S 11737 11739 11714 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 10596927 1573232640 197278 1992294400 134512640 134550932 4294204480 18446744073709551615 4294960144 0 4 0 16800975 18446604437828376640 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1536360

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

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

[startup+1729.72 s]
/proc/loadavg: 1.03 1.03 1.00 2/119 11807
/proc/meminfo: memFree=951196/2059040 swapFree=4192956/4192956
[pid=11739] ppid=11737 vsize=0 CPUtime=1800.18
/proc/11739/stat : 11739 (java) Z 11737 11739 11714 0 -1 4203548 979066 0 1 0 179522 496 0 0 17 0 2 0 10594037 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11739/statm: 0 0 0 0 0 0 0
[pid=11739/tid=11741] ppid=11737 vsize=0 CPUtime=1535.29
/proc/11739/task/11741/stat : 11741 (java) R 11737 11739 11714 0 -1 4203588 32820 0 1 0 153481 48 0 0 25 0 2 0 10594039 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1729.76
CPU time (s): 1800.23
CPU user time (s): 1795.23
CPU system time (s): 5.00524
CPU usage (%): 104.074
Max. virtual memory (cumulated for all children) (KiB): 1577976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.23
system time used= 5.00524
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 979066
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43193
involuntary context switches= 34884

runsolver used 3.54746 second user time and 9.52055 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-12 15:38:45
IDJOB=2658990
IDBENCH=1845
IDSOLVER=1164
FILE ID=node013/2658990-1276349923
PBS_JOBID= 11173201
Free space on /tmp= 62428 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658990-1276349923/watcher-2658990-1276349923 -o /tmp/evaluation-result-2658990-1276349923/solver-2658990-1276349923 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658990-1276349923.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901
RANDOM SEED=812658782

node013.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1739776 kB
Buffers:         27820 kB
Cached:         165500 kB
SwapCached:          0 kB
Active:         158244 kB
Inactive:        94220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1739776 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           36080 kB
Writeback:           0 kB
AnonPages:       59064 kB
Mapped:          15376 kB
Slab:            44936 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node013 at 2010-06-12 16:07:37