Trace number 3190204

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.17 1300.04

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
MD5SUM1ae73e64babd5796adef68295bcaa14f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark89.3534
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 530000
Number of clauses of size over 50

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.10	c no version file found!!!
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.18-164.el5
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		6997539544
0.06/0.10	c Max memory 		7034241024
0.06/0.10	c Total memory 		7034241024
0.06/0.10	c Number of processors 	8
0.06/0.11	c --- Begin Solver configuration ---
0.06/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.06/0.11	c Learn all clauses as in MiniSAT
0.06/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.11	c Expensive reason simplification
0.06/0.11	c Armin Biere (Picosat) restarts strategy
0.06/0.11	c Glucose learned constraints deletion strategy
0.06/0.11	c timeout=2147483647s
0.06/0.11	c DB Simplification allowed=true
0.06/0.11	c --- End Solver configuration ---
0.06/0.11	c solving HOME/instance-3190204-1307633284.cnf
0.06/0.11	c reading problem ... 
0.23/0.25	c ... done. Wall clock time 0.133s.
0.23/0.25	c #vars     1500
0.23/0.25	c #constraints  30000
0.23/0.25	c constraints type 
0.23/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30000
1.93/1.51	c cleaning 2496 clauses out of 5000 with flag 5000/5000
3.03/2.61	c cleaning 4250 clauses out of 8506 with flag 11002/11002
4.33/3.92	c cleaning 5623 clauses out of 11254 with flag 18000/18000
5.84/5.44	c cleaning 6814 clauses out of 13632 with flag 26001/26001
7.54/7.15	c cleaning 7906 clauses out of 15817 with flag 35000/35000
9.44/9.08	c cleaning 8956 clauses out of 17913 with flag 45002/45002
11.64/11.21	c cleaning 9974 clauses out of 19955 with flag 56000/56000
14.04/13.64	c cleaning 10983 clauses out of 21981 with flag 68000/68000
16.64/16.25	c cleaning 11991 clauses out of 23998 with flag 81000/81000
19.54/19.12	c cleaning 12998 clauses out of 26007 with flag 95000/95000
22.74/22.32	c cleaning 13999 clauses out of 28010 with flag 110001/110001
26.14/25.77	c cleaning 15001 clauses out of 30010 with flag 126000/126000
29.85/29.41	c cleaning 16002 clauses out of 32011 with flag 143002/143002
33.75/33.32	c cleaning 16999 clauses out of 34007 with flag 161000/161000
37.95/37.58	c cleaning 18002 clauses out of 36009 with flag 180001/180001
42.55/42.14	c cleaning 18999 clauses out of 38007 with flag 200001/200001
47.37/46.94	c cleaning 20000 clauses out of 40008 with flag 221001/221001
52.47/52.08	c cleaning 20995 clauses out of 42009 with flag 243002/243002
57.97/57.53	c cleaning 22005 clauses out of 44015 with flag 266003/266003
63.57/63.13	c cleaning 22996 clauses out of 46007 with flag 290000/290000
69.78/69.33	c cleaning 23996 clauses out of 48012 with flag 315001/315001
76.18/75.78	c cleaning 24999 clauses out of 50015 with flag 341000/341000
83.09/82.69	c cleaning 26006 clauses out of 52016 with flag 368000/368000
90.20/89.74	c cleaning 27005 clauses out of 54013 with flag 396003/396003
97.90/97.44	c cleaning 28000 clauses out of 56006 with flag 425001/425001
105.90/105.48	c cleaning 28996 clauses out of 58007 with flag 455002/455002
113.60/113.17	c cleaning 29496 clauses out of 59010 with flag 485001/485001
121.91/121.45	c cleaning 29748 clauses out of 59513 with flag 515000/515000
129.12/128.62	c cleaning 29875 clauses out of 59765 with flag 545000/545000
136.22/135.70	c cleaning 29940 clauses out of 59890 with flag 575000/575000
143.02/142.51	c cleaning 29973 clauses out of 59953 with flag 605003/605003
150.14/149.61	c cleaning 29981 clauses out of 59977 with flag 635000/635000
156.75/156.29	c cleaning 29988 clauses out of 59998 with flag 665002/665002
163.94/163.46	c cleaning 30000 clauses out of 60010 with flag 695002/695002
170.64/170.17	c cleaning 29997 clauses out of 60008 with flag 725000/725000
177.85/177.32	c cleaning 29994 clauses out of 60012 with flag 755001/755001
184.55/184.05	c cleaning 29998 clauses out of 60017 with flag 785000/785000
191.35/190.85	c cleaning 30000 clauses out of 60019 with flag 815000/815000
198.56/198.06	c cleaning 29998 clauses out of 60019 with flag 845000/845000
205.26/204.76	c cleaning 30003 clauses out of 60022 with flag 875001/875001
212.16/211.62	c cleaning 30005 clauses out of 60020 with flag 905002/905002
219.27/218.75	c cleaning 29996 clauses out of 60013 with flag 935000/935000
225.87/225.39	c cleaning 30003 clauses out of 60017 with flag 965000/965000
232.68/232.15	c cleaning 29998 clauses out of 60015 with flag 995001/995001
239.98/239.42	c cleaning 29998 clauses out of 60016 with flag 1025000/1025000
246.78/246.20	c cleaning 29998 clauses out of 60019 with flag 1055001/1055001
253.49/252.98	c cleaning 30004 clauses out of 60021 with flag 1085001/1085001
260.49/259.97	c cleaning 30002 clauses out of 60017 with flag 1115001/1115001
267.59/267.02	c cleaning 30005 clauses out of 60016 with flag 1145002/1145002
274.40/273.81	c cleaning 29998 clauses out of 60009 with flag 1175000/1175000
281.20/280.62	c cleaning 29998 clauses out of 60011 with flag 1205000/1205000
288.50/287.95	c cleaning 30001 clauses out of 60014 with flag 1235001/1235001
295.41/294.81	c cleaning 29995 clauses out of 60012 with flag 1265000/1265000
302.02/301.47	c cleaning 30003 clauses out of 60017 with flag 1295000/1295000
308.81/308.27	c cleaning 29993 clauses out of 60014 with flag 1325000/1325000
315.72/315.16	c cleaning 29999 clauses out of 60021 with flag 1355000/1355000
322.82/322.29	c cleaning 30006 clauses out of 60023 with flag 1385001/1385001
329.72/329.19	c cleaning 29997 clauses out of 60016 with flag 1415000/1415000
336.62/336.09	c cleaning 30001 clauses out of 60020 with flag 1445001/1445001
343.53/342.94	c cleaning 30001 clauses out of 60018 with flag 1475000/1475000
351.03/350.47	c cleaning 30002 clauses out of 60018 with flag 1505001/1505001
358.04/357.41	c cleaning 29997 clauses out of 60015 with flag 1535000/1535000
364.84/364.29	c cleaning 29989 clauses out of 60019 with flag 1565001/1565001
371.74/371.18	c cleaning 30002 clauses out of 60029 with flag 1595000/1595000
378.64/378.08	c cleaning 30002 clauses out of 60028 with flag 1625001/1625001
385.75/385.18	c cleaning 29996 clauses out of 60025 with flag 1655000/1655000
392.85/392.20	c cleaning 30009 clauses out of 60030 with flag 1685001/1685001
399.65/399.06	c cleaning 30005 clauses out of 60020 with flag 1715000/1715000
406.46/405.90	c cleaning 30002 clauses out of 60017 with flag 1745002/1745002
413.56/412.97	c cleaning 29990 clauses out of 60013 with flag 1775000/1775000
420.56/419.99	c cleaning 30008 clauses out of 60025 with flag 1805002/1805002
428.06/427.45	c cleaning 30004 clauses out of 60016 with flag 1835001/1835001
434.87/434.20	c cleaning 30000 clauses out of 60013 with flag 1865002/1865002
441.57/440.90	c cleaning 29997 clauses out of 60011 with flag 1895000/1895000
448.28/447.68	c cleaning 30001 clauses out of 60014 with flag 1925000/1925000
455.28/454.68	c cleaning 30001 clauses out of 60013 with flag 1955000/1955000
462.59/461.94	c cleaning 29999 clauses out of 60013 with flag 1985001/1985001
469.99/469.35	c cleaning 30006 clauses out of 60013 with flag 2015000/2015000
477.00/476.34	c cleaning 29997 clauses out of 60007 with flag 2045000/2045000
483.69/483.05	c cleaning 30000 clauses out of 60012 with flag 2075002/2075002
490.60/489.98	c cleaning 29999 clauses out of 60012 with flag 2105002/2105002
497.60/496.90	c cleaning 29991 clauses out of 60011 with flag 2135000/2135000
504.60/503.93	c cleaning 30001 clauses out of 60020 with flag 2165000/2165000
511.51/510.84	c cleaning 30000 clauses out of 60019 with flag 2195000/2195000
519.31/518.62	c cleaning 30008 clauses out of 60022 with flag 2225003/2225003
526.11/525.47	c cleaning 29997 clauses out of 60012 with flag 2255001/2255001
533.02/532.32	c cleaning 29999 clauses out of 60014 with flag 2285000/2285000
539.92/539.26	c cleaning 30000 clauses out of 60015 with flag 2315000/2315000
547.02/546.37	c cleaning 29993 clauses out of 60015 with flag 2345000/2345000
554.22/553.53	c cleaning 30003 clauses out of 60023 with flag 2375001/2375001
561.63/560.92	c cleaning 29990 clauses out of 60020 with flag 2405001/2405001
568.93/568.27	c cleaning 30004 clauses out of 60030 with flag 2435001/2435001
576.44/575.78	c cleaning 30008 clauses out of 60025 with flag 2465000/2465000
583.24/582.59	c cleaning 30003 clauses out of 60018 with flag 2495001/2495001
590.14/589.42	c cleaning 29999 clauses out of 60016 with flag 2525002/2525002
597.06/596.38	c cleaning 29998 clauses out of 60016 with flag 2555001/2555001
604.26/603.58	c cleaning 29999 clauses out of 60018 with flag 2585001/2585001
611.27/610.59	c cleaning 30004 clauses out of 60019 with flag 2615001/2615001
618.17/617.45	c cleaning 29988 clauses out of 60014 with flag 2645000/2645000
625.58/624.87	c cleaning 29996 clauses out of 60026 with flag 2675000/2675000
633.57/632.81	c cleaning 30008 clauses out of 60031 with flag 2705001/2705001
640.38/639.63	c cleaning 30001 clauses out of 60022 with flag 2735000/2735000
647.08/646.32	c cleaning 30002 clauses out of 60021 with flag 2765000/2765000
653.98/653.22	c cleaning 30001 clauses out of 60019 with flag 2795000/2795000
661.08/660.39	c cleaning 29995 clauses out of 60018 with flag 2825000/2825000
668.29/667.59	c cleaning 30003 clauses out of 60023 with flag 2855000/2855000
675.59/674.81	c cleaning 29999 clauses out of 60021 with flag 2885001/2885001
682.80/682.02	c cleaning 30005 clauses out of 60021 with flag 2915000/2915000
690.10/689.37	c cleaning 29993 clauses out of 60016 with flag 2945000/2945000
697.60/696.84	c cleaning 29996 clauses out of 60023 with flag 2975000/2975000
704.71/703.94	c cleaning 30012 clauses out of 60030 with flag 3005003/3005003
711.51/710.79	c cleaning 29999 clauses out of 60016 with flag 3035001/3035001
718.41/717.66	c cleaning 29996 clauses out of 60016 with flag 3065000/3065000
725.52/724.78	c cleaning 30001 clauses out of 60020 with flag 3095000/3095000
732.72/731.97	c cleaning 29994 clauses out of 60019 with flag 3125000/3125000
739.82/739.09	c cleaning 30006 clauses out of 60025 with flag 3155000/3155000
747.13/746.39	c cleaning 29997 clauses out of 60020 with flag 3185001/3185001
754.63/753.84	c cleaning 29995 clauses out of 60023 with flag 3215001/3215001
762.14/761.36	c cleaning 30000 clauses out of 60027 with flag 3245000/3245000
769.84/769.07	c cleaning 30000 clauses out of 60027 with flag 3275000/3275000
776.94/776.14	c cleaning 30007 clauses out of 60029 with flag 3305002/3305002
783.75/782.93	c cleaning 30003 clauses out of 60020 with flag 3335000/3335000
790.55/789.71	c cleaning 29996 clauses out of 60018 with flag 3365001/3365001
797.65/796.87	c cleaning 30002 clauses out of 60021 with flag 3395000/3395000
804.86/804.05	c cleaning 29995 clauses out of 60019 with flag 3425000/3425000
812.06/811.28	c cleaning 30000 clauses out of 60024 with flag 3455000/3455000
819.66/818.85	c cleaning 29997 clauses out of 60025 with flag 3485001/3485001
827.07/826.24	c cleaning 29993 clauses out of 60027 with flag 3515000/3515000
834.27/833.40	c cleaning 29996 clauses out of 60036 with flag 3545002/3545002
841.47/840.65	c cleaning 30003 clauses out of 60038 with flag 3575000/3575000
848.68/847.89	c cleaning 30005 clauses out of 60037 with flag 3605002/3605002
855.88/855.01	c cleaning 30009 clauses out of 60031 with flag 3635001/3635001
862.58/861.77	c cleaning 29998 clauses out of 60022 with flag 3665001/3665001
869.49/868.65	c cleaning 30005 clauses out of 60023 with flag 3695000/3695000
876.19/875.38	c cleaning 29998 clauses out of 60019 with flag 3725001/3725001
883.29/882.41	c cleaning 30006 clauses out of 60021 with flag 3755001/3755001
890.59/889.73	c cleaning 29999 clauses out of 60014 with flag 3785000/3785000
898.20/897.30	c cleaning 29989 clauses out of 60015 with flag 3815000/3815000
905.70/904.82	c cleaning 30004 clauses out of 60027 with flag 3845001/3845001
913.30/912.47	c cleaning 30004 clauses out of 60023 with flag 3875001/3875001
920.61/919.72	c cleaning 30003 clauses out of 60019 with flag 3905001/3905001
928.01/927.17	c cleaning 29998 clauses out of 60016 with flag 3935001/3935001
935.41/934.58	c cleaning 29996 clauses out of 60017 with flag 3965000/3965000
942.92/942.08	c cleaning 30001 clauses out of 60023 with flag 3995002/3995002
949.82/948.94	c cleaning 30002 clauses out of 60020 with flag 4025000/4025000
956.83/955.98	c cleaning 29997 clauses out of 60019 with flag 4055001/4055001
964.03/963.12	c cleaning 29992 clauses out of 60022 with flag 4085001/4085001
971.13/970.24	c cleaning 30002 clauses out of 60029 with flag 4115000/4115000
978.43/977.54	c cleaning 30005 clauses out of 60029 with flag 4145002/4145002
985.54/984.68	c cleaning 30006 clauses out of 60023 with flag 4175001/4175001
992.74/991.89	c cleaning 29997 clauses out of 60017 with flag 4205001/4205001
1000.54/999.62	c cleaning 30004 clauses out of 60020 with flag 4235001/4235001
1008.45/1007.53	c cleaning 29991 clauses out of 60016 with flag 4265001/4265001
1015.85/1014.99	c cleaning 30004 clauses out of 60024 with flag 4295000/4295000
1023.25/1022.39	c cleaning 29998 clauses out of 60021 with flag 4325001/4325001
1030.86/1030.00	c cleaning 30005 clauses out of 60023 with flag 4355001/4355001
1039.28/1038.39	c cleaning 29994 clauses out of 60018 with flag 4385001/4385001
1046.38/1045.49	c cleaning 30003 clauses out of 60024 with flag 4415001/4415001
1053.28/1052.34	c cleaning 29999 clauses out of 60020 with flag 4445000/4445000
1060.19/1059.23	c cleaning 29998 clauses out of 60021 with flag 4475000/4475000
1067.48/1066.51	c cleaning 29995 clauses out of 60023 with flag 4505000/4505000
1074.59/1073.63	c cleaning 29998 clauses out of 60028 with flag 4535000/4535000
1081.89/1080.98	c cleaning 30004 clauses out of 60030 with flag 4565000/4565000
1089.39/1088.48	c cleaning 30007 clauses out of 60027 with flag 4595001/4595001
1096.80/1095.89	c cleaning 30007 clauses out of 60020 with flag 4625001/4625001
1104.60/1103.65	c cleaning 29997 clauses out of 60015 with flag 4655003/4655003
1112.10/1111.18	c cleaning 30000 clauses out of 60015 with flag 4685000/4685000
1120.11/1119.17	c cleaning 29993 clauses out of 60016 with flag 4715001/4715001
1127.81/1126.89	c cleaning 29994 clauses out of 60023 with flag 4745001/4745001
1135.62/1134.68	c cleaning 30008 clauses out of 60029 with flag 4775001/4775001
1143.02/1142.00	c cleaning 29994 clauses out of 60020 with flag 4805000/4805000
1151.02/1150.01	c cleaning 30003 clauses out of 60026 with flag 4835000/4835000
1157.93/1156.94	c cleaning 29999 clauses out of 60025 with flag 4865002/4865002
1164.74/1163.79	c cleaning 30006 clauses out of 60026 with flag 4895002/4895002
1171.73/1170.77	c cleaning 30003 clauses out of 60019 with flag 4925001/4925001
1178.73/1177.77	c cleaning 29998 clauses out of 60015 with flag 4955000/4955000
1186.24/1185.25	c cleaning 29999 clauses out of 60018 with flag 4985001/4985001
1193.84/1192.85	c cleaning 29998 clauses out of 60018 with flag 5015000/5015000
1201.34/1200.39	c cleaning 29998 clauses out of 60021 with flag 5045001/5045001
1208.86/1207.88	c cleaning 30003 clauses out of 60022 with flag 5075000/5075000
1216.75/1215.79	c cleaning 29997 clauses out of 60019 with flag 5105000/5105000
1225.26/1224.26	c cleaning 30002 clauses out of 60024 with flag 5135002/5135002
1233.46/1232.47	c cleaning 30001 clauses out of 60021 with flag 5165001/5165001
1241.57/1240.58	c cleaning 29998 clauses out of 60020 with flag 5195001/5195001
1249.58/1248.54	c cleaning 30001 clauses out of 60022 with flag 5225001/5225001
1256.97/1255.98	c cleaning 29992 clauses out of 60020 with flag 5255000/5255000
1264.48/1263.49	c cleaning 29999 clauses out of 60029 with flag 5285001/5285001
1273.08/1272.01	c cleaning 29999 clauses out of 60029 with flag 5315000/5315000
1280.19/1279.12	c cleaning 30009 clauses out of 60030 with flag 5345000/5345000
1287.00/1285.92	c cleaning 29996 clauses out of 60021 with flag 5375000/5375000
1293.99/1292.94	c cleaning 29999 clauses out of 60025 with flag 5405000/5405000
1300.99/1299.98	c cleaning 30000 clauses out of 60028 with flag 5435002/5435002
1301.10/1300.02	c starts		: 2195
1301.10/1300.02	c conflicts		: 5435004
1301.10/1300.02	c decisions		: 7761549
1301.10/1300.02	c propagations		: 592141526
1301.10/1300.02	c inspects		: 11573178452
1301.10/1300.02	c shortcuts		: 0
1301.10/1300.02	c learnt literals	: 0
1301.10/1300.02	c learnt binary clauses	: 0
1301.10/1300.02	c learnt ternary clauses	: 0
1301.10/1300.02	c learnt constraints	: 5435004
1301.10/1300.02	c ignored constraints	: 0
1301.10/1300.02	c root simplifications	: 2195
1301.10/1300.02	c removed literals (reason simplification)	: 72906047
1301.10/1300.02	c reason swapping (by a shorter reason)	: 0
1301.10/1300.02	c Calls to reduceDB	: 192
1301.10/1300.02	c speed (assignments/second)	: 455573.9195596763
1301.10/1300.02	c non guided choices	451
1301.10/1300.03	c learnt constraints type 
1301.10/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30065
1301.10/1300.03	c constraints type 
1301.10/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30000
1301.10/1300.03	s UNKNOWN
1301.10/1300.03	c Total wall clock time (in seconds) : 1299.905

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190204-1307633284/watcher-3190204-1307633284 -o /tmp/evaluation-result-3190204-1307633284/solver-3190204-1307633284 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190204-1307633284.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 0.39 0.08 0.03 5/242 3723
/proc/meminfo: memFree=32167264/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=11796 CPUtime=0 cores=5,7
/proc/3723/stat : 3723 (runsolver) S 3721 3723 3534 0 -1 4202560 43 0 0 0 0 0 0 0 23 0 1 0 855743912 12079104 50 33554432000 4194304 5432328 140735864452976 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 5 0 0 0
/proc/3723/statm: 2949 50 31 303 0 2643 0

[startup+0.0609369 s]
/proc/loadavg: 0.39 0.08 0.03 5/242 3723
/proc/meminfo: memFree=32167264/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7564352 CPUtime=0.02 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 8696 0 1 0 2 0 0 0 24 0 13 0 855743912 7745896448 8391 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1891088 8393 1661 9 0 1881836 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352

[startup+0.100926 s]
/proc/loadavg: 0.39 0.08 0.03 5/242 3723
/proc/meminfo: memFree=32167264/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7569940 CPUtime=0.06 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 9459 0 1 0 5 1 0 0 24 0 18 0 855743912 7751618560 9154 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1892485 9154 1754 9 0 1883223 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7569940

[startup+0.300858 s]
/proc/loadavg: 0.39 0.08 0.03 5/242 3723
/proc/meminfo: memFree=32167264/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7639824 CPUtime=0.42 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 12371 0 1 0 41 1 0 0 24 0 19 0 855743912 7823179776 11888 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1909956 11888 2209 9 0 1900694 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7639824

[startup+0.700785 s]
/proc/loadavg: 0.39 0.08 0.03 5/242 3723
/proc/meminfo: memFree=32167264/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7644944 CPUtime=1.06 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 14094 0 1 0 105 1 0 0 24 0 19 0 855743912 7828422656 13547 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1911236 13547 2223 9 0 1901974 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7644944

[startup+1.50067 s]
/proc/loadavg: 0.39 0.08 0.03 5/262 3743
/proc/meminfo: memFree=32011880/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7644944 CPUtime=1.93 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 15002 0 1 0 191 2 0 0 24 0 19 0 855743912 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1911236 14451 2231 9 0 1901974 0
[pid=3723/tid=3725] ppid=3721 vsize=7644944 CPUtime=1.43 cores=5,7
/proc/3723/task/3725/stat : 3725 (java) R 3721 3723 3534 0 -1 4202560 10942 0 1 0 142 1 0 0 18 0 19 0 855743914 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3723/tid=3726] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3726/stat : 3726 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3727] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3727/stat : 3727 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3728] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3728/stat : 3728 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3729] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3729/stat : 3729 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3730] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3730/stat : 3730 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3731] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3731/stat : 3731 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3732] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3732/stat : 3732 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3733] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3733/stat : 3733 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743916 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3734] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3734/stat : 3734 (java) S 3721 3723 3534 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 855743917 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 0 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3735] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3735/stat : 3735 (java) S 3721 3723 3534 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 855743918 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3736] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3736/stat : 3736 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743918 7828422656 14451 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3737] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3737/stat : 3737 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 14452 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107274673 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3738] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3738/stat : 3738 (java) S 3721 3723 3534 0 -1 4202560 1225 0 0 0 20 0 0 0 16 0 19 0 855743920 7828422656 14452 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3739] ppid=3721 vsize=7644944 CPUtime=0.28 cores=5,7
/proc/3723/task/3739/stat : 3739 (java) R 3721 3723 3534 0 -1 4202560 1674 0 0 0 28 0 0 0 17 0 19 0 855743920 7828422656 14452 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 47118898472344 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3723/tid=3740] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3740/stat : 3740 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 14452 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3741] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3741/stat : 3741 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743920 7828422656 14452 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3742] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3742/stat : 3742 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743938 7828422656 14452 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 7644944

[startup+3.10138 s]
/proc/loadavg: 0.39 0.08 0.03 5/262 3744
/proc/meminfo: memFree=31943540/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7644944 CPUtime=3.53 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 18362 0 1 0 351 2 0 0 24 0 19 0 855743912 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1911236 17808 2254 9 0 1901974 0
[pid=3723/tid=3725] ppid=3721 vsize=7644944 CPUtime=2.94 cores=5,7
/proc/3723/task/3725/stat : 3725 (java) R 3721 3723 3534 0 -1 4202560 10948 0 1 0 293 1 0 0 18 0 19 0 855743914 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 46912505632431 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3723/tid=3726] ppid=3721 vsize=7644944 CPUtime=0.01 cores=5,7
/proc/3723/task/3726/stat : 3726 (java) S 3721 3723 3534 0 -1 4202560 1144 0 0 0 1 0 0 0 18 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3727] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3727/stat : 3727 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3728] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3728/stat : 3728 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3729] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3729/stat : 3729 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3730] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3730/stat : 3730 (java) S 3721 3723 3534 0 -1 4202560 370 0 0 0 0 0 0 0 16 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3731] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3731/stat : 3731 (java) S 3721 3723 3534 0 -1 4202560 431 0 0 0 0 0 0 0 16 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3732] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3732/stat : 3732 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3733] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3733/stat : 3733 (java) S 3721 3723 3534 0 -1 4202560 27 0 0 0 0 0 0 0 18 0 19 0 855743916 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3734] ppid=3721 vsize=7644944 CPUtime=0.03 cores=5,7
/proc/3723/task/3734/stat : 3734 (java) S 3721 3723 3534 0 -1 4202560 1380 0 0 0 3 0 0 0 15 0 19 0 855743917 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 0 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3735] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3735/stat : 3735 (java) S 3721 3723 3534 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3736] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3736/stat : 3736 (java) S 3721 3723 3534 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3737] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3737/stat : 3737 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107274673 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3738] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3738/stat : 3738 (java) S 3721 3723 3534 0 -1 4202560 1225 0 0 0 20 0 0 0 16 0 19 0 855743920 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3739] ppid=3721 vsize=7644944 CPUtime=0.31 cores=5,7
/proc/3723/task/3739/stat : 3739 (java) S 3721 3723 3534 0 -1 4202560 1682 0 0 0 31 0 0 0 15 0 19 0 855743920 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3740] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3740/stat : 3740 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3741] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3741/stat : 3741 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743920 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3742] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3742/stat : 3742 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743938 7828422656 17808 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 7644944

[startup+6.30079 s]
/proc/loadavg: 0.68 0.15 0.05 4/239 3769
/proc/meminfo: memFree=32080720/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7644944 CPUtime=6.74 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 18909 0 1 0 672 2 0 0 24 0 19 0 855743912 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1911236 18351 2254 9 0 1901974 0
[pid=3723/tid=3725] ppid=3721 vsize=7644944 CPUtime=6.06 cores=5,7
/proc/3723/task/3725/stat : 3725 (java) R 3721 3723 3534 0 -1 4202560 10952 0 1 0 605 1 0 0 21 0 19 0 855743914 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 46912505597182 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3723/tid=3726] ppid=3721 vsize=7644944 CPUtime=0.02 cores=5,7
/proc/3723/task/3726/stat : 3726 (java) S 3721 3723 3534 0 -1 4202560 1254 0 0 0 2 0 0 0 18 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3727] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3727/stat : 3727 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3728] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3728/stat : 3728 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3729] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3729/stat : 3729 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3730] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3730/stat : 3730 (java) S 3721 3723 3534 0 -1 4202560 370 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3731] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3731/stat : 3731 (java) S 3721 3723 3534 0 -1 4202560 693 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3732] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3732/stat : 3732 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3733] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3733/stat : 3733 (java) S 3721 3723 3534 0 -1 4202560 27 0 0 0 0 0 0 0 18 0 19 0 855743916 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3734] ppid=3721 vsize=7644944 CPUtime=0.08 cores=5,7
/proc/3723/task/3734/stat : 3734 (java) S 3721 3723 3534 0 -1 4202560 1539 0 0 0 8 0 0 0 15 0 19 0 855743917 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 0 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3735] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3735/stat : 3735 (java) S 3721 3723 3534 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3736] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3736/stat : 3736 (java) S 3721 3723 3534 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3737] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3737/stat : 3737 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107274673 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3738] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3738/stat : 3738 (java) S 3721 3723 3534 0 -1 4202560 1225 0 0 0 20 0 0 0 16 0 19 0 855743920 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3739] ppid=3721 vsize=7644944 CPUtime=0.34 cores=5,7
/proc/3723/task/3739/stat : 3739 (java) S 3721 3723 3534 0 -1 4202560 1694 0 0 0 34 0 0 0 15 0 19 0 855743920 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3740] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3740/stat : 3740 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3741] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3741/stat : 3741 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 855743920 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3742] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3742/stat : 3742 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743938 7828422656 18351 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 7644944

[startup+12.7006 s]

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

[pid=3723/tid=3731] ppid=3721 vsize=7644944 CPUtime=0.14 cores=5,7
/proc/3723/task/3731/stat : 3731 (java) S 3721 3723 3534 0 -1 4202560 965 0 0 0 14 0 0 0 15 0 19 0 855743916 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3732] ppid=3721 vsize=7644944 CPUtime=0.13 cores=5,7
/proc/3723/task/3732/stat : 3732 (java) S 3721 3723 3534 0 -1 4202560 570 0 0 0 13 0 0 0 15 0 19 0 855743916 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3733] ppid=3721 vsize=7644944 CPUtime=0.16 cores=5,7
/proc/3723/task/3733/stat : 3733 (java) S 3721 3723 3534 0 -1 4202560 197 0 0 0 16 0 0 0 15 0 19 0 855743916 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3734] ppid=3721 vsize=7644944 CPUtime=5.12 cores=5,7
/proc/3723/task/3734/stat : 3734 (java) S 3721 3723 3534 0 -1 4202560 4094 0 0 0 511 1 0 0 15 0 19 0 855743917 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 0 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3735] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3735/stat : 3735 (java) S 3721 3723 3534 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3736] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3736/stat : 3736 (java) S 3721 3723 3534 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3737] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3737/stat : 3737 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107274673 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3738] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3738/stat : 3738 (java) S 3721 3723 3534 0 -1 4202560 1225 0 0 0 20 0 0 0 16 0 19 0 855743920 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3739] ppid=3721 vsize=7644944 CPUtime=0.36 cores=5,7
/proc/3723/task/3739/stat : 3739 (java) S 3721 3723 3534 0 -1 4202560 1697 0 0 0 36 0 0 0 15 0 19 0 855743920 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3740] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3740/stat : 3740 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3741] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3741/stat : 3741 (java) S 3721 3723 3534 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 855743920 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3742] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3742/stat : 3742 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743938 7828422656 30328 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.31
Current children cumulated vsize (KiB) 7644944

[startup+1182.3 s]
/proc/loadavg: 3.02 2.96 2.19 4/238 3857
/proc/meminfo: memFree=32145044/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7644944 CPUtime=1183.34 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 31248 0 1 0 118327 7 0 0 24 0 19 0 855743912 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1911236 30385 2255 9 0 1901974 0
[pid=3723/tid=3725] ppid=3721 vsize=7644944 CPUtime=1176.01 cores=5,7
/proc/3723/task/3725/stat : 3725 (java) R 3721 3723 3534 0 -1 4202560 14804 0 1 0 117598 3 0 0 25 0 19 0 855743914 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 46912505671657 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3723/tid=3726] ppid=3721 vsize=7644944 CPUtime=0.18 cores=5,7
/proc/3723/task/3726/stat : 3726 (java) S 3721 3723 3534 0 -1 4202560 1736 0 0 0 18 0 0 0 16 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3727] ppid=3721 vsize=7644944 CPUtime=0.15 cores=5,7
/proc/3723/task/3727/stat : 3727 (java) S 3721 3723 3534 0 -1 4202560 196 0 0 0 15 0 0 0 15 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3728] ppid=3721 vsize=7644944 CPUtime=0.17 cores=5,7
/proc/3723/task/3728/stat : 3728 (java) S 3721 3723 3534 0 -1 4202560 10 0 0 0 17 0 0 0 15 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3729] ppid=3721 vsize=7644944 CPUtime=0.19 cores=5,7
/proc/3723/task/3729/stat : 3729 (java) S 3721 3723 3534 0 -1 4202560 1605 0 0 0 19 0 0 0 15 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3730] ppid=3721 vsize=7644944 CPUtime=0.17 cores=5,7
/proc/3723/task/3730/stat : 3730 (java) S 3721 3723 3534 0 -1 4202560 2875 0 0 0 17 0 0 0 15 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3731] ppid=3721 vsize=7644944 CPUtime=0.16 cores=5,7
/proc/3723/task/3731/stat : 3731 (java) S 3721 3723 3534 0 -1 4202560 966 0 0 0 16 0 0 0 16 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3732] ppid=3721 vsize=7644944 CPUtime=0.13 cores=5,7
/proc/3723/task/3732/stat : 3732 (java) S 3721 3723 3534 0 -1 4202560 570 0 0 0 13 0 0 0 15 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3733] ppid=3721 vsize=7644944 CPUtime=0.16 cores=5,7
/proc/3723/task/3733/stat : 3733 (java) S 3721 3723 3534 0 -1 4202560 197 0 0 0 16 0 0 0 16 0 19 0 855743916 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3734] ppid=3721 vsize=7644944 CPUtime=5.38 cores=5,7
/proc/3723/task/3734/stat : 3734 (java) S 3721 3723 3534 0 -1 4202560 4150 0 0 0 537 1 0 0 15 0 19 0 855743917 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 0 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3735] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3735/stat : 3735 (java) S 3721 3723 3534 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3736] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3736/stat : 3736 (java) S 3721 3723 3534 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3737] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3737/stat : 3737 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107274673 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3738] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3738/stat : 3738 (java) S 3721 3723 3534 0 -1 4202560 1225 0 0 0 20 0 0 0 16 0 19 0 855743920 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3739] ppid=3721 vsize=7644944 CPUtime=0.36 cores=5,7
/proc/3723/task/3739/stat : 3739 (java) S 3721 3723 3534 0 -1 4202560 1697 0 0 0 36 0 0 0 15 0 19 0 855743920 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3740] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3740/stat : 3740 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3741] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3741/stat : 3741 (java) S 3721 3723 3534 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 855743920 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3742] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3742/stat : 3742 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743938 7828422656 30385 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.34
Current children cumulated vsize (KiB) 7644944

[startup+1242.3 s]
/proc/loadavg: 3.01 2.97 2.24 4/238 3859
/proc/meminfo: memFree=32143092/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7644944 CPUtime=1243.37 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 31389 0 1 0 124330 7 0 0 24 0 19 0 855743912 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1911236 30510 2255 9 0 1901974 0
[pid=3723/tid=3725] ppid=3721 vsize=7644944 CPUtime=1235.7 cores=5,7
/proc/3723/task/3725/stat : 3725 (java) R 3721 3723 3534 0 -1 4202560 14812 0 1 0 123567 3 0 0 25 0 19 0 855743914 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 46912505633046 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3723/tid=3726] ppid=3721 vsize=7644944 CPUtime=0.18 cores=5,7
/proc/3723/task/3726/stat : 3726 (java) S 3721 3723 3534 0 -1 4202560 1737 0 0 0 18 0 0 0 15 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3727] ppid=3721 vsize=7644944 CPUtime=0.16 cores=5,7
/proc/3723/task/3727/stat : 3727 (java) S 3721 3723 3534 0 -1 4202560 197 0 0 0 16 0 0 0 15 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3728] ppid=3721 vsize=7644944 CPUtime=0.18 cores=5,7
/proc/3723/task/3728/stat : 3728 (java) S 3721 3723 3534 0 -1 4202560 10 0 0 0 18 0 0 0 15 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3729] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3729/stat : 3729 (java) S 3721 3723 3534 0 -1 4202560 1605 0 0 0 20 0 0 0 15 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3730] ppid=3721 vsize=7644944 CPUtime=0.17 cores=5,7
/proc/3723/task/3730/stat : 3730 (java) S 3721 3723 3534 0 -1 4202560 2875 0 0 0 17 0 0 0 15 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3731] ppid=3721 vsize=7644944 CPUtime=0.17 cores=5,7
/proc/3723/task/3731/stat : 3731 (java) S 3721 3723 3534 0 -1 4202560 966 0 0 0 17 0 0 0 15 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3732] ppid=3721 vsize=7644944 CPUtime=0.13 cores=5,7
/proc/3723/task/3732/stat : 3732 (java) S 3721 3723 3534 0 -1 4202560 570 0 0 0 13 0 0 0 16 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3733] ppid=3721 vsize=7644944 CPUtime=0.17 cores=5,7
/proc/3723/task/3733/stat : 3733 (java) S 3721 3723 3534 0 -1 4202560 197 0 0 0 17 0 0 0 15 0 19 0 855743916 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3734] ppid=3721 vsize=7644944 CPUtime=5.64 cores=5,7
/proc/3723/task/3734/stat : 3734 (java) S 3721 3723 3534 0 -1 4202560 4277 0 0 0 563 1 0 0 15 0 19 0 855743917 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 0 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3735] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3735/stat : 3735 (java) S 3721 3723 3534 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3736] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3736/stat : 3736 (java) S 3721 3723 3534 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3737] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3737/stat : 3737 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107274673 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3738] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3738/stat : 3738 (java) S 3721 3723 3534 0 -1 4202560 1225 0 0 0 20 0 0 0 16 0 19 0 855743920 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3739] ppid=3721 vsize=7644944 CPUtime=0.36 cores=5,7
/proc/3723/task/3739/stat : 3739 (java) S 3721 3723 3534 0 -1 4202560 1697 0 0 0 36 0 0 0 15 0 19 0 855743920 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3740] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3740/stat : 3740 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3741] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3741/stat : 3741 (java) S 3721 3723 3534 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 855743920 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3742] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3742/stat : 3742 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743938 7828422656 30510 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.37
Current children cumulated vsize (KiB) 7644944



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.00 2.97 2.28 4/217 3873
/proc/meminfo: memFree=32260216/32951124 swapFree=67053960/67111528
[pid=3723] ppid=3721 vsize=7644944 CPUtime=1301.1 cores=5,7
/proc/3723/stat : 3723 (java) S 3721 3723 3534 0 -1 4202496 31460 0 1 0 130103 7 0 0 24 0 19 0 855743912 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3723/statm: 1911236 30565 2255 9 0 1901974 0
[pid=3723/tid=3725] ppid=3721 vsize=7644944 CPUtime=1293.13 cores=5,7
/proc/3723/task/3725/stat : 3725 (java) S 3721 3723 3534 0 -1 4202560 14820 0 1 0 129310 3 0 0 25 0 19 0 855743914 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3726] ppid=3721 vsize=7644944 CPUtime=0.19 cores=5,7
/proc/3723/task/3726/stat : 3726 (java) S 3721 3723 3534 0 -1 4202560 1737 0 0 0 19 0 0 0 16 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3727] ppid=3721 vsize=7644944 CPUtime=0.17 cores=5,7
/proc/3723/task/3727/stat : 3727 (java) S 3721 3723 3534 0 -1 4202560 198 0 0 0 17 0 0 0 15 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3728] ppid=3721 vsize=7644944 CPUtime=0.19 cores=5,7
/proc/3723/task/3728/stat : 3728 (java) S 3721 3723 3534 0 -1 4202560 10 0 0 0 19 0 0 0 15 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3729] ppid=3721 vsize=7644944 CPUtime=0.21 cores=5,7
/proc/3723/task/3729/stat : 3729 (java) S 3721 3723 3534 0 -1 4202560 1605 0 0 0 21 0 0 0 15 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3730] ppid=3721 vsize=7644944 CPUtime=0.18 cores=5,7
/proc/3723/task/3730/stat : 3730 (java) S 3721 3723 3534 0 -1 4202560 2875 0 0 0 18 0 0 0 15 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3731] ppid=3721 vsize=7644944 CPUtime=0.18 cores=5,7
/proc/3723/task/3731/stat : 3731 (java) S 3721 3723 3534 0 -1 4202560 966 0 0 0 18 0 0 0 16 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3732] ppid=3721 vsize=7644944 CPUtime=0.14 cores=5,7
/proc/3723/task/3732/stat : 3732 (java) S 3721 3723 3534 0 -1 4202560 570 0 0 0 14 0 0 0 15 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3733] ppid=3721 vsize=7644944 CPUtime=0.17 cores=5,7
/proc/3723/task/3733/stat : 3733 (java) S 3721 3723 3534 0 -1 4202560 197 0 0 0 17 0 0 0 15 0 19 0 855743916 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3734] ppid=3721 vsize=7644944 CPUtime=5.89 cores=5,7
/proc/3723/task/3734/stat : 3734 (java) R 3721 3723 3534 0 -1 4202560 4335 0 0 0 588 1 0 0 15 0 19 0 855743917 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 47118900429169 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=3723/tid=3735] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3735/stat : 3735 (java) S 3721 3723 3534 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3736] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3736/stat : 3736 (java) S 3721 3723 3534 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 855743918 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3737] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3737/stat : 3737 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107274673 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3738] ppid=3721 vsize=7644944 CPUtime=0.2 cores=5,7
/proc/3723/task/3738/stat : 3738 (java) S 3721 3723 3534 0 -1 4202560 1225 0 0 0 20 0 0 0 16 0 19 0 855743920 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
[pid=3723/tid=3739] ppid=3721 vsize=7644944 CPUtime=0.36 cores=5,7
/proc/3723/task/3739/stat : 3739 (java) S 3721 3723 3534 0 -1 4202560 1697 0 0 0 36 0 0 0 15 0 19 0 855743920 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3740] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3740/stat : 3740 (java) S 3721 3723 3534 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 855743920 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107266969 0 4 0 16800975 18446604471140395904 0 0 -1 5 0 0 0
[pid=3723/tid=3741] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3741/stat : 3741 (java) R 3721 3723 3534 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 855743920 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3723/tid=3742] ppid=3721 vsize=7644944 CPUtime=0 cores=5,7
/proc/3723/task/3742/stat : 3742 (java) S 3721 3723 3534 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 855743938 7828422656 30565 33554432000 1073741824 1073778376 140734367162368 18446744073709551615 228107267584 0 4 0 16800975 18446604471140395904 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.1
Current children cumulated vsize (KiB) 7644944

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

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

Child status: 143
Real time (s): 1300.04
CPU time (s): 1301.17
CPU user time (s): 1301.09
CPU system time (s): 0.081987
CPU usage (%): 100.086
Max. virtual memory (cumulated for all children) (KiB): 7644944

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

runsolver used 2.07568 second user time and 5.04523 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-09 17:28:04
IDJOB=3190204
IDBENCH=82535
IDSOLVER=1611
FILE ID=node142/3190204-1307633284
RUNJOBID= node142-1307633277-3555
PBS_JOBID= 13549350
Free space on /tmp= 74128 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190204-1307633284/watcher-3190204-1307633284 -o /tmp/evaluation-result-3190204-1307633284/solver-3190204-1307633284 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190204-1307633284.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 1ae73e64babd5796adef68295bcaa14f
RANDOM SEED=1742145578

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32169800 kB
Buffers:         89216 kB
Cached:         245616 kB
SwapCached:      11412 kB
Active:         487476 kB
Inactive:       120452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32169800 kB
SwapTotal:    67111528 kB
SwapFree:     67053960 kB
Dirty:           21724 kB
Writeback:           0 kB
AnonPages:      269972 kB
Mapped:          21208 kB
Slab:           106476 kB
PageTables:       6368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22044792 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74148 MiB
End job on node142 at 2011-06-09 17:49:46