Trace number 3262040

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) 1302.16 1300.04

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
MD5SUM0c4fc551e2fe598a8074df6204d87f7d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables254
Number of clauses34289
Sum of the clauses size152236
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2337
Number of clauses of size 331448
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52504

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.08	c no version file found!!!
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		6997539544
0.02/0.08	c Max memory 		7034241024
0.02/0.08	c Total memory 		7034241024
0.02/0.08	c Number of processors 	8
0.02/0.10	c --- Begin Solver configuration ---
0.02/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.02/0.10	c Learn all clauses as in MiniSAT
0.02/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.02/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.02/0.10	c Expensive reason simplification
0.02/0.10	c Armin Biere (Picosat) restarts strategy
0.02/0.10	c Glucose learned constraints deletion strategy
0.02/0.10	c timeout=2147483647s
0.02/0.10	c DB Simplification allowed=true
0.02/0.10	c --- End Solver configuration ---
0.02/0.10	c solving HOME/instance-3262040-1303545613.cnf
0.02/0.10	c reading problem ... 
0.28/0.23	c ... done. Wall clock time 0.137s.
0.28/0.23	c #vars     254
0.28/0.23	c #constraints  34289
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33952
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 337
1.28/0.95	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.14/1.56	c cleaning 4244 clauses out of 8501 with flag 11000/11000
2.85/2.27	c cleaning 5624 clauses out of 11259 with flag 18002/18002
3.66/3.07	c cleaning 6815 clauses out of 13633 with flag 26000/26000
4.58/3.97	c cleaning 7907 clauses out of 15818 with flag 35000/35000
5.58/4.99	c cleaning 8954 clauses out of 17911 with flag 45000/45000
6.78/6.14	c cleaning 9979 clauses out of 19958 with flag 56001/56001
8.08/7.47	c cleaning 10988 clauses out of 21978 with flag 68000/68000
9.59/8.90	c cleaning 11996 clauses out of 23992 with flag 81002/81002
11.09/10.40	c cleaning 12996 clauses out of 25995 with flag 95001/95001
12.70/12.07	c cleaning 13999 clauses out of 27998 with flag 110000/110000
14.50/13.90	c cleaning 14989 clauses out of 29999 with flag 126000/126000
16.60/15.90	c cleaning 16002 clauses out of 32010 with flag 143000/143000
18.60/17.98	c cleaning 17001 clauses out of 34008 with flag 161000/161000
20.90/20.23	c cleaning 18003 clauses out of 36008 with flag 180001/180001
23.30/22.67	c cleaning 18995 clauses out of 38006 with flag 200002/200002
25.91/25.21	c cleaning 20005 clauses out of 40009 with flag 221000/221000
28.51/27.85	c cleaning 21002 clauses out of 42004 with flag 243000/243000
31.21/30.59	c cleaning 21993 clauses out of 44002 with flag 266000/266000
34.21/33.56	c cleaning 22999 clauses out of 46009 with flag 290000/290000
37.31/36.63	c cleaning 24004 clauses out of 48010 with flag 315000/315000
40.51/39.84	c cleaning 24998 clauses out of 50007 with flag 341001/341001
44.02/43.32	c cleaning 26002 clauses out of 52008 with flag 368000/368000
47.53/46.85	c cleaning 27003 clauses out of 54006 with flag 396000/396000
51.33/50.66	c cleaning 27991 clauses out of 56003 with flag 425000/425000
55.33/54.62	c cleaning 29006 clauses out of 58012 with flag 455000/455000
59.63/58.92	c cleaning 29999 clauses out of 60006 with flag 486000/486000
64.03/63.33	c cleaning 31001 clauses out of 62007 with flag 518000/518000
68.64/67.93	c cleaning 32002 clauses out of 64006 with flag 551000/551000
73.24/72.56	c cleaning 32998 clauses out of 66004 with flag 585000/585000
78.14/77.49	c cleaning 34001 clauses out of 68006 with flag 620000/620000
83.34/82.63	c cleaning 34497 clauses out of 69005 with flag 655000/655000
88.55/87.81	c cleaning 34750 clauses out of 69509 with flag 690001/690001
93.55/92.84	c cleaning 34874 clauses out of 69758 with flag 725000/725000
98.85/98.16	c cleaning 34938 clauses out of 69884 with flag 760000/760000
104.06/103.37	c cleaning 34974 clauses out of 69947 with flag 795001/795001
109.45/108.74	c cleaning 34973 clauses out of 69972 with flag 830000/830000
114.45/113.70	c cleaning 34992 clauses out of 70000 with flag 865001/865001
119.56/118.89	c cleaning 35002 clauses out of 70007 with flag 900000/900000
124.76/124.00	c cleaning 34997 clauses out of 70005 with flag 935000/935000
129.86/129.11	c cleaning 34996 clauses out of 70008 with flag 970000/970000
134.76/134.06	c cleaning 34993 clauses out of 70012 with flag 1005000/1005000
139.97/139.24	c cleaning 35001 clauses out of 70019 with flag 1040000/1040000
144.87/144.11	c cleaning 35001 clauses out of 70018 with flag 1075000/1075000
149.87/149.19	c cleaning 34999 clauses out of 70017 with flag 1110000/1110000
154.78/154.05	c cleaning 35006 clauses out of 70019 with flag 1145001/1145001
159.97/159.21	c cleaning 35002 clauses out of 70012 with flag 1180000/1180000
164.87/164.15	c cleaning 34993 clauses out of 70010 with flag 1215000/1215000
169.88/169.18	c cleaning 34999 clauses out of 70017 with flag 1250000/1250000
174.78/174.02	c cleaning 34997 clauses out of 70018 with flag 1285000/1285000
179.78/179.06	c cleaning 35005 clauses out of 70021 with flag 1320000/1320000
184.68/183.93	c cleaning 35006 clauses out of 70016 with flag 1355000/1355000
189.68/188.91	c cleaning 35000 clauses out of 70010 with flag 1390000/1390000
194.59/193.80	c cleaning 34991 clauses out of 70010 with flag 1425000/1425000
199.59/198.81	c cleaning 34993 clauses out of 70019 with flag 1460000/1460000
204.39/203.66	c cleaning 35009 clauses out of 70026 with flag 1495000/1495000
209.39/208.66	c cleaning 35000 clauses out of 70017 with flag 1530000/1530000
214.49/213.71	c cleaning 35004 clauses out of 70018 with flag 1565001/1565001
219.50/218.79	c cleaning 35002 clauses out of 70013 with flag 1600000/1600000
224.50/223.74	c cleaning 34995 clauses out of 70011 with flag 1635000/1635000
229.50/228.71	c cleaning 35001 clauses out of 70016 with flag 1670000/1670000
234.20/233.48	c cleaning 35005 clauses out of 70016 with flag 1705001/1705001
239.10/238.31	c cleaning 35002 clauses out of 70010 with flag 1740000/1740000
244.00/243.24	c cleaning 35000 clauses out of 70008 with flag 1775000/1775000
248.91/248.16	c cleaning 34993 clauses out of 70008 with flag 1810000/1810000
253.91/253.15	c cleaning 35000 clauses out of 70015 with flag 1845000/1845000
258.81/258.01	c cleaning 34997 clauses out of 70015 with flag 1880000/1880000
263.91/263.11	c cleaning 34995 clauses out of 70018 with flag 1915000/1915000
268.72/267.96	c cleaning 35000 clauses out of 70023 with flag 1950000/1950000
273.72/272.98	c cleaning 35006 clauses out of 70023 with flag 1985000/1985000
278.82/278.00	c cleaning 35002 clauses out of 70018 with flag 2020001/2020001
283.42/282.61	c cleaning 35002 clauses out of 70015 with flag 2055000/2055000
288.14/287.36	c cleaning 34995 clauses out of 70013 with flag 2090000/2090000
292.94/292.17	c cleaning 35003 clauses out of 70018 with flag 2125000/2125000
297.75/296.99	c cleaning 34994 clauses out of 70015 with flag 2160000/2160000
302.64/301.81	c cleaning 35002 clauses out of 70022 with flag 2195001/2195001
307.65/306.82	c cleaning 35002 clauses out of 70020 with flag 2230001/2230001
312.45/311.69	c cleaning 35004 clauses out of 70017 with flag 2265000/2265000
317.25/316.42	c cleaning 35006 clauses out of 70016 with flag 2300003/2300003
322.06/321.27	c cleaning 34999 clauses out of 70007 with flag 2335000/2335000
327.05/326.22	c cleaning 34997 clauses out of 70009 with flag 2370001/2370001
332.05/331.24	c cleaning 34997 clauses out of 70011 with flag 2405000/2405000
336.95/336.15	c cleaning 35005 clauses out of 70015 with flag 2440001/2440001
341.76/340.96	c cleaning 34997 clauses out of 70010 with flag 2475001/2475001
346.74/345.96	c cleaning 35002 clauses out of 70012 with flag 2510000/2510000
351.65/350.88	c cleaning 35000 clauses out of 70010 with flag 2545000/2545000
356.45/355.66	c cleaning 34995 clauses out of 70010 with flag 2580000/2580000
361.56/360.75	c cleaning 35000 clauses out of 70015 with flag 2615000/2615000
366.66/365.82	c cleaning 34999 clauses out of 70015 with flag 2650000/2650000
371.66/370.80	c cleaning 34995 clauses out of 70016 with flag 2685000/2685000
376.46/375.66	c cleaning 35007 clauses out of 70022 with flag 2720001/2720001
381.26/380.48	c cleaning 34998 clauses out of 70014 with flag 2755000/2755000
386.17/385.31	c cleaning 35001 clauses out of 70016 with flag 2790000/2790000
391.27/390.50	c cleaning 35001 clauses out of 70015 with flag 2825000/2825000
396.27/395.49	c cleaning 35004 clauses out of 70015 with flag 2860001/2860001
401.47/400.63	c cleaning 35004 clauses out of 70011 with flag 2895001/2895001
406.47/405.65	c cleaning 34998 clauses out of 70006 with flag 2930000/2930000
411.57/410.75	c cleaning 34995 clauses out of 70008 with flag 2965000/2965000
416.58/415.74	c cleaning 35002 clauses out of 70013 with flag 3000000/3000000
421.57/420.79	c cleaning 35002 clauses out of 70012 with flag 3035001/3035001
426.58/425.78	c cleaning 34991 clauses out of 70010 with flag 3070001/3070001
431.77/430.94	c cleaning 35004 clauses out of 70019 with flag 3105001/3105001
436.78/435.95	c cleaning 35005 clauses out of 70014 with flag 3140000/3140000
441.48/440.69	c cleaning 34991 clauses out of 70009 with flag 3175000/3175000
446.38/445.55	c cleaning 35003 clauses out of 70020 with flag 3210002/3210002
451.38/450.60	c cleaning 35004 clauses out of 70015 with flag 3245000/3245000
456.78/455.96	c cleaning 35000 clauses out of 70011 with flag 3280000/3280000
461.88/461.02	c cleaning 35007 clauses out of 70013 with flag 3315002/3315002
466.88/466.02	c cleaning 34999 clauses out of 70005 with flag 3350001/3350001
471.78/470.95	c cleaning 34990 clauses out of 70005 with flag 3385000/3385000
476.88/476.05	c cleaning 35004 clauses out of 70015 with flag 3420000/3420000
481.98/481.19	c cleaning 34997 clauses out of 70011 with flag 3455000/3455000
486.99/486.19	c cleaning 34999 clauses out of 70014 with flag 3490000/3490000
492.09/491.25	c cleaning 34999 clauses out of 70015 with flag 3525000/3525000
497.19/496.37	c cleaning 35006 clauses out of 70016 with flag 3560000/3560000
502.29/501.47	c cleaning 35002 clauses out of 70011 with flag 3595001/3595001
507.39/506.53	c cleaning 34995 clauses out of 70009 with flag 3630001/3630001
512.40/511.55	c cleaning 34998 clauses out of 70013 with flag 3665000/3665000
517.69/516.85	c cleaning 35008 clauses out of 70015 with flag 3700000/3700000
522.99/522.12	c cleaning 34994 clauses out of 70008 with flag 3735001/3735001
528.39/527.59	c cleaning 35002 clauses out of 70015 with flag 3770002/3770002
533.70/532.80	c cleaning 34993 clauses out of 70011 with flag 3805000/3805000
538.90/538.04	c cleaning 35005 clauses out of 70018 with flag 3840000/3840000
544.00/543.18	c cleaning 34997 clauses out of 70013 with flag 3875000/3875000
549.20/548.36	c cleaning 35001 clauses out of 70016 with flag 3910000/3910000
554.60/553.73	c cleaning 35001 clauses out of 70015 with flag 3945000/3945000
559.90/559.04	c cleaning 35006 clauses out of 70014 with flag 3980000/3980000
564.90/564.07	c cleaning 35003 clauses out of 70008 with flag 4015000/4015000
570.11/569.23	c cleaning 35002 clauses out of 70005 with flag 4050000/4050000
575.01/574.10	c cleaning 34995 clauses out of 70005 with flag 4085002/4085002
580.01/579.10	c cleaning 34996 clauses out of 70009 with flag 4120001/4120001
585.31/584.48	c cleaning 34998 clauses out of 70012 with flag 4155000/4155000
590.52/589.69	c cleaning 34997 clauses out of 70014 with flag 4190000/4190000
595.71/594.86	c cleaning 35007 clauses out of 70017 with flag 4225000/4225000
600.71/599.89	c cleaning 35003 clauses out of 70011 with flag 4260001/4260001
606.11/605.24	c cleaning 34992 clauses out of 70007 with flag 4295000/4295000
611.32/610.45	c cleaning 35001 clauses out of 70015 with flag 4330000/4330000
616.61/615.70	c cleaning 34999 clauses out of 70014 with flag 4365000/4365000
622.02/621.17	c cleaning 35003 clauses out of 70015 with flag 4400000/4400000
627.02/626.15	c cleaning 34990 clauses out of 70012 with flag 4435000/4435000
632.23/631.34	c cleaning 34996 clauses out of 70022 with flag 4470000/4470000
637.62/636.73	c cleaning 35005 clauses out of 70026 with flag 4505000/4505000
642.72/641.83	c cleaning 35004 clauses out of 70022 with flag 4540001/4540001
648.03/647.11	c cleaning 34999 clauses out of 70018 with flag 4575001/4575001
653.23/652.31	c cleaning 34994 clauses out of 70018 with flag 4610000/4610000
658.44/657.53	c cleaning 35002 clauses out of 70024 with flag 4645000/4645000
663.64/662.73	c cleaning 35000 clauses out of 70022 with flag 4680000/4680000
668.84/667.99	c cleaning 35004 clauses out of 70022 with flag 4715000/4715000
673.94/673.07	c cleaning 35002 clauses out of 70019 with flag 4750001/4750001
679.04/678.16	c cleaning 34995 clauses out of 70017 with flag 4785001/4785001
684.14/683.29	c cleaning 35008 clauses out of 70021 with flag 4820000/4820000
689.24/688.31	c cleaning 34999 clauses out of 70013 with flag 4855000/4855000
694.04/693.16	c cleaning 34989 clauses out of 70014 with flag 4890000/4890000
698.85/697.91	c cleaning 35000 clauses out of 70025 with flag 4925000/4925000
703.95/703.05	c cleaning 35002 clauses out of 70025 with flag 4960000/4960000
709.15/708.27	c cleaning 35001 clauses out of 70023 with flag 4995000/4995000
714.35/713.40	c cleaning 35006 clauses out of 70023 with flag 5030001/5030001
719.26/718.35	c cleaning 35001 clauses out of 70016 with flag 5065000/5065000
724.25/723.35	c cleaning 35005 clauses out of 70018 with flag 5100003/5100003
729.06/728.18	c cleaning 34989 clauses out of 70011 with flag 5135001/5135001
734.16/733.25	c cleaning 35003 clauses out of 70022 with flag 5170001/5170001
739.06/738.18	c cleaning 34992 clauses out of 70018 with flag 5205000/5205000
743.96/743.01	c cleaning 35000 clauses out of 70026 with flag 5240000/5240000
748.76/747.87	c cleaning 35005 clauses out of 70026 with flag 5275000/5275000
753.76/752.89	c cleaning 35005 clauses out of 70022 with flag 5310001/5310001
758.56/757.66	c cleaning 34997 clauses out of 70016 with flag 5345000/5345000
763.27/762.38	c cleaning 34997 clauses out of 70019 with flag 5380000/5380000
768.06/767.13	c cleaning 35007 clauses out of 70024 with flag 5415002/5415002
773.07/772.20	c cleaning 34997 clauses out of 70015 with flag 5450000/5450000
778.07/777.16	c cleaning 34999 clauses out of 70018 with flag 5485000/5485000
783.27/782.31	c cleaning 35004 clauses out of 70019 with flag 5520000/5520000
788.37/787.45	c cleaning 35003 clauses out of 70016 with flag 5555001/5555001
793.47/792.58	c cleaning 34995 clauses out of 70012 with flag 5590000/5590000
798.38/797.43	c cleaning 34995 clauses out of 70017 with flag 5625000/5625000
803.37/802.48	c cleaning 35004 clauses out of 70022 with flag 5660000/5660000
808.17/807.28	c cleaning 34995 clauses out of 70018 with flag 5695000/5695000
813.37/812.40	c cleaning 35007 clauses out of 70023 with flag 5730000/5730000
818.48/817.57	c cleaning 34990 clauses out of 70016 with flag 5765000/5765000
823.68/822.74	c cleaning 35007 clauses out of 70027 with flag 5800001/5800001
828.88/827.91	c cleaning 35001 clauses out of 70019 with flag 5835000/5835000
834.08/833.13	c cleaning 35002 clauses out of 70018 with flag 5870000/5870000
839.48/838.55	c cleaning 35003 clauses out of 70016 with flag 5905000/5905000
844.08/843.14	c cleaning 34997 clauses out of 70013 with flag 5940000/5940000
849.09/848.14	c cleaning 35001 clauses out of 70017 with flag 5975001/5975001
853.88/852.96	c cleaning 34999 clauses out of 70015 with flag 6010000/6010000
858.79/857.86	c cleaning 35007 clauses out of 70016 with flag 6045000/6045000
863.59/862.68	c cleaning 34998 clauses out of 70009 with flag 6080000/6080000
868.59/867.63	c cleaning 34995 clauses out of 70011 with flag 6115000/6115000
873.19/872.30	c cleaning 35005 clauses out of 70017 with flag 6150001/6150001
878.09/877.12	c cleaning 34991 clauses out of 70011 with flag 6185000/6185000
882.99/882.05	c cleaning 35000 clauses out of 70021 with flag 6220001/6220001
887.69/886.78	c cleaning 35001 clauses out of 70020 with flag 6255000/6255000
892.50/891.53	c cleaning 35007 clauses out of 70020 with flag 6290001/6290001
897.40/896.45	c cleaning 35001 clauses out of 70012 with flag 6325000/6325000
902.40/901.44	c cleaning 35000 clauses out of 70011 with flag 6360000/6360000
907.10/906.12	c cleaning 34996 clauses out of 70012 with flag 6395001/6395001
912.10/911.13	c cleaning 34990 clauses out of 70015 with flag 6430000/6430000
917.00/916.01	c cleaning 35006 clauses out of 70025 with flag 6465000/6465000
921.61/920.61	c cleaning 34997 clauses out of 70019 with flag 6500000/6500000
926.30/925.31	c cleaning 35005 clauses out of 70022 with flag 6535000/6535000
931.00/930.05	c cleaning 34999 clauses out of 70017 with flag 6570000/6570000
935.80/934.86	c cleaning 34997 clauses out of 70018 with flag 6605000/6605000
940.61/939.62	c cleaning 35003 clauses out of 70021 with flag 6640000/6640000
945.11/944.19	c cleaning 34994 clauses out of 70018 with flag 6675000/6675000
949.91/948.94	c cleaning 35003 clauses out of 70024 with flag 6710000/6710000
954.72/953.79	c cleaning 35005 clauses out of 70021 with flag 6745000/6745000
959.71/958.71	c cleaning 34996 clauses out of 70017 with flag 6780001/6780001
964.41/963.42	c cleaning 35001 clauses out of 70020 with flag 6815000/6815000
969.41/968.45	c cleaning 34997 clauses out of 70019 with flag 6850000/6850000
974.42/973.46	c cleaning 35004 clauses out of 70022 with flag 6885000/6885000
979.34/978.14	c cleaning 34990 clauses out of 70018 with flag 6920000/6920000
984.21/982.96	c cleaning 35010 clauses out of 70028 with flag 6955000/6955000
989.33/988.08	c cleaning 35004 clauses out of 70019 with flag 6990001/6990001
994.23/992.95	c cleaning 34999 clauses out of 70014 with flag 7025000/7025000
999.03/997.79	c cleaning 35006 clauses out of 70016 with flag 7060001/7060001
1003.93/1002.67	c cleaning 35004 clauses out of 70009 with flag 7095000/7095000
1008.81/1007.35	c cleaning 34984 clauses out of 70005 with flag 7130000/7130000
1014.03/1012.21	c cleaning 35004 clauses out of 70021 with flag 7165000/7165000
1019.00/1017.00	c cleaning 34996 clauses out of 70017 with flag 7200000/7200000
1023.81/1021.88	c cleaning 34989 clauses out of 70021 with flag 7235000/7235000
1028.90/1026.93	c cleaning 35010 clauses out of 70034 with flag 7270002/7270002
1033.60/1031.68	c cleaning 34999 clauses out of 70022 with flag 7305000/7305000
1038.51/1036.57	c cleaning 35003 clauses out of 70024 with flag 7340001/7340001
1043.11/1041.18	c cleaning 35000 clauses out of 70021 with flag 7375001/7375001
1048.11/1046.18	c cleaning 35007 clauses out of 70021 with flag 7410001/7410001
1053.11/1051.15	c cleaning 35003 clauses out of 70014 with flag 7445001/7445001
1057.81/1055.87	c cleaning 35001 clauses out of 70011 with flag 7480001/7480001
1062.51/1060.58	c cleaning 34994 clauses out of 70009 with flag 7515000/7515000
1066.91/1064.97	c cleaning 34995 clauses out of 70015 with flag 7550000/7550000
1071.51/1069.56	c cleaning 35002 clauses out of 70020 with flag 7585000/7585000
1076.01/1074.09	c cleaning 34996 clauses out of 70018 with flag 7620000/7620000
1080.42/1078.41	c cleaning 35001 clauses out of 70022 with flag 7655000/7655000
1085.11/1083.16	c cleaning 35006 clauses out of 70022 with flag 7690001/7690001
1089.72/1087.77	c cleaning 34997 clauses out of 70016 with flag 7725001/7725001
1094.42/1092.40	c cleaning 35001 clauses out of 70019 with flag 7760001/7760001
1099.02/1097.06	c cleaning 34993 clauses out of 70017 with flag 7795000/7795000
1103.92/1101.97	c cleaning 35001 clauses out of 70024 with flag 7830000/7830000
1108.52/1106.51	c cleaning 35001 clauses out of 70023 with flag 7865000/7865000
1113.03/1111.04	c cleaning 35005 clauses out of 70023 with flag 7900001/7900001
1117.72/1115.72	c cleaning 34994 clauses out of 70017 with flag 7935000/7935000
1122.22/1120.24	c cleaning 35001 clauses out of 70023 with flag 7970000/7970000
1126.93/1124.95	c cleaning 34999 clauses out of 70022 with flag 8005000/8005000
1131.53/1129.52	c cleaning 35007 clauses out of 70025 with flag 8040002/8040002
1136.23/1134.23	c cleaning 35000 clauses out of 70017 with flag 8075001/8075001
1140.94/1138.91	c cleaning 34996 clauses out of 70017 with flag 8110001/8110001
1145.64/1143.60	c cleaning 35005 clauses out of 70020 with flag 8145000/8145000
1150.14/1148.11	c cleaning 35004 clauses out of 70016 with flag 8180001/8180001
1154.64/1152.64	c cleaning 34988 clauses out of 70011 with flag 8215000/8215000
1159.34/1157.35	c cleaning 35006 clauses out of 70023 with flag 8250000/8250000
1164.04/1162.08	c cleaning 35001 clauses out of 70017 with flag 8285000/8285000
1168.94/1166.90	c cleaning 34997 clauses out of 70016 with flag 8320000/8320000
1173.64/1171.61	c cleaning 34999 clauses out of 70019 with flag 8355000/8355000
1178.34/1176.39	c cleaning 35005 clauses out of 70020 with flag 8390000/8390000
1182.94/1180.98	c cleaning 35001 clauses out of 70016 with flag 8425001/8425001
1187.75/1185.75	c cleaning 34994 clauses out of 70014 with flag 8460000/8460000
1192.45/1190.40	c cleaning 34991 clauses out of 70020 with flag 8495000/8495000
1197.05/1195.01	c cleaning 35007 clauses out of 70029 with flag 8530000/8530000
1201.65/1199.67	c cleaning 35005 clauses out of 70022 with flag 8565000/8565000
1206.35/1204.33	c cleaning 35002 clauses out of 70018 with flag 8600001/8600001
1210.86/1208.90	c cleaning 34994 clauses out of 70015 with flag 8635000/8635000
1215.55/1213.54	c cleaning 35000 clauses out of 70021 with flag 8670000/8670000
1220.06/1218.05	c cleaning 35004 clauses out of 70022 with flag 8705001/8705001
1224.56/1222.55	c cleaning 34999 clauses out of 70018 with flag 8740001/8740001
1229.06/1227.01	c cleaning 34984 clauses out of 70018 with flag 8775000/8775000
1233.76/1231.72	c cleaning 35012 clauses out of 70034 with flag 8810000/8810000
1238.47/1236.49	c cleaning 35008 clauses out of 70023 with flag 8845001/8845001
1243.26/1241.20	c cleaning 35002 clauses out of 70015 with flag 8880001/8880001
1247.76/1245.76	c cleaning 35003 clauses out of 70013 with flag 8915001/8915001
1252.56/1250.55	c cleaning 35001 clauses out of 70011 with flag 8950002/8950002
1257.36/1255.32	c cleaning 34997 clauses out of 70009 with flag 8985001/8985001
1261.96/1259.96	c cleaning 34994 clauses out of 70011 with flag 9020000/9020000
1266.76/1264.76	c cleaning 35003 clauses out of 70018 with flag 9055001/9055001
1271.47/1269.48	c cleaning 35004 clauses out of 70014 with flag 9090000/9090000
1275.97/1273.92	c cleaning 35003 clauses out of 70011 with flag 9125001/9125001
1280.57/1278.59	c cleaning 34995 clauses out of 70007 with flag 9160000/9160000
1285.37/1283.33	c cleaning 34998 clauses out of 70012 with flag 9195000/9195000
1289.97/1287.91	c cleaning 35000 clauses out of 70014 with flag 9230000/9230000
1294.67/1292.63	c cleaning 34996 clauses out of 70014 with flag 9265000/9265000
1299.48/1297.43	c cleaning 35002 clauses out of 70019 with flag 9300001/9300001
1302.08/1300.01	c starts		: 2554
1302.08/1300.01	c conflicts		: 9321377
1302.08/1300.01	c decisions		: 9734457
1302.08/1300.01	c propagations		: 320721742
1302.08/1300.01	c inspects		: 17302956682
1302.08/1300.01	c shortcuts		: 0
1302.08/1300.01	c learnt literals	: 0
1302.08/1300.01	c learnt binary clauses	: 2
1302.08/1300.01	c learnt ternary clauses	: 194
1302.08/1300.01	c learnt constraints	: 9321378
1302.08/1300.01	c ignored constraints	: 0
1302.08/1300.01	c root simplifications	: 2554
1302.08/1300.01	c removed literals (reason simplification)	: 234692682
1302.08/1300.01	c reason swapping (by a shorter reason)	: 0
1302.08/1300.01	c Calls to reduceDB	: 279
1302.08/1300.01	c speed (assignments/second)	: 246751.2159768822
1302.08/1300.01	c non guided choices	8
1302.08/1300.03	c learnt constraints type 
1302.08/1300.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2
1302.08/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 56557
1302.08/1300.03	c constraints type 
1302.08/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33952
1302.08/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 337
1302.08/1300.03	s UNKNOWN
1302.08/1300.03	c Total wall clock time (in seconds) : 1299.915

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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262040-1303545613/watcher-3262040-1303545613 -o /tmp/evaluation-result-3262040-1303545613/solver-3262040-1303545613 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262040-1303545613.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: 3.97 3.57 3.55 4/243 11431
/proc/meminfo: memFree=14242300/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=23028 CPUtime=0 cores=5,7
/proc/11431/stat : 11431 (java) R 11429 11431 10350 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 466159246 23580672 700 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228239386513 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/11431/statm: 5757 701 517 9 0 124 0

[startup+0.0338789 s]
/proc/loadavg: 3.97 3.57 3.55 4/243 11431
/proc/meminfo: memFree=14242300/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7562296 CPUtime=0.02 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 8496 0 1 0 1 1 0 0 25 0 11 0 466159246 7743791104 8195 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1890574 8195 1610 9 0 1881322 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296

[startup+0.100835 s]
/proc/loadavg: 3.97 3.57 3.55 4/243 11431
/proc/meminfo: memFree=14242300/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7702184 CPUtime=0.09 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 10521 0 1 0 8 1 0 0 25 0 18 0 466159246 7887036416 10218 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1925546 10218 2094 9 0 1916284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7702184

[startup+0.300801 s]
/proc/loadavg: 3.97 3.57 3.55 4/243 11431
/proc/meminfo: memFree=14242300/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7706412 CPUtime=0.48 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 14111 0 1 0 46 2 0 0 25 0 19 0 466159246 7891365888 13046 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1926603 13046 2205 9 0 1917341 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7706412

[startup+0.700764 s]
/proc/loadavg: 3.97 3.57 3.55 4/243 11431
/proc/meminfo: memFree=14242300/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7706120 CPUtime=1.05 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 14697 0 1 0 103 2 0 0 25 0 19 0 466159246 7891066880 13397 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1926530 13397 2224 9 0 1917268 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 7706120

[startup+1.50062 s]
/proc/loadavg: 3.97 3.57 3.55 7/262 11450
/proc/meminfo: memFree=14172656/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7727064 CPUtime=2.14 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 23800 0 1 0 210 4 0 0 25 0 19 0 466159246 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1931766 20563 2255 9 0 1922504 0
[pid=11431/tid=11433] ppid=11429 vsize=7727064 CPUtime=1.39 cores=5,7
/proc/11431/task/11433/stat : 11433 (java) R 11429 11431 10350 0 -1 4202560 10052 0 1 0 138 1 0 0 25 0 19 0 466159246 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 46912505607112 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11431/tid=11434] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11434/stat : 11434 (java) S 11429 11431 10350 0 -1 4202560 534 0 0 0 0 0 0 0 17 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11435] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11435/stat : 11435 (java) S 11429 11431 10350 0 -1 4202560 489 0 0 0 0 0 0 0 17 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11436] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11436/stat : 11436 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11437] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11437/stat : 11437 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11438] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11438/stat : 11438 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11439] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11439/stat : 11439 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11440] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11440/stat : 11440 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11441] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11441/stat : 11441 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 466159248 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11442] ppid=11429 vsize=7727064 CPUtime=0.01 cores=5,7
/proc/11431/task/11442/stat : 11442 (java) S 11429 11431 10350 0 -1 4202560 1025 0 0 0 1 0 0 0 16 0 19 0 466159249 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11443] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11443/stat : 11443 (java) S 11429 11431 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466159249 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11444] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11444/stat : 11444 (java) S 11429 11431 10350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466159249 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11445] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11445/stat : 11445 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466159251 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11446] ppid=11429 vsize=7727064 CPUtime=0.41 cores=5,7
/proc/11431/task/11446/stat : 11446 (java) S 11429 11431 10350 0 -1 4202560 8084 0 0 0 40 1 0 0 16 0 19 0 466159251 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11447] ppid=11429 vsize=7727064 CPUtime=0.28 cores=5,7
/proc/11431/task/11447/stat : 11447 (java) S 11429 11431 10350 0 -1 4202560 2460 0 0 0 28 0 0 0 16 0 19 0 466159251 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11448] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11448/stat : 11448 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 466159251 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11449] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11449/stat : 11449 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159251 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11450] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11450/stat : 11450 (java) S 11429 11431 10350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466159269 7912513536 20563 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 7727064

[startup+3.10136 s]
/proc/loadavg: 3.97 3.57 3.55 5/262 11450
/proc/meminfo: memFree=14166276/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7727064 CPUtime=3.77 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 24385 0 1 0 373 4 0 0 25 0 19 0 466159246 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1931766 21145 2255 9 0 1922504 0
[pid=11431/tid=11433] ppid=11429 vsize=7727064 CPUtime=2.93 cores=5,7
/proc/11431/task/11433/stat : 11433 (java) S 11429 11431 10350 0 -1 4202560 10056 0 1 0 292 1 0 0 25 0 19 0 466159246 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11434] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11434/stat : 11434 (java) S 11429 11431 10350 0 -1 4202560 617 0 0 0 0 0 0 0 15 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11435] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11435/stat : 11435 (java) S 11429 11431 10350 0 -1 4202560 489 0 0 0 0 0 0 0 15 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11436] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11436/stat : 11436 (java) S 11429 11431 10350 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11437] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11437/stat : 11437 (java) S 11429 11431 10350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11438] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11438/stat : 11438 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11439] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11439/stat : 11439 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11440] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11440/stat : 11440 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11441] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11441/stat : 11441 (java) S 11429 11431 10350 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 19 0 466159248 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11442] ppid=11429 vsize=7727064 CPUtime=0.07 cores=5,7
/proc/11431/task/11442/stat : 11442 (java) R 11429 11431 10350 0 -1 4202560 1276 0 0 0 7 0 0 0 15 0 19 0 466159249 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228244042804 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=11431/tid=11443] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11443/stat : 11443 (java) S 11429 11431 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466159249 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11444] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11444/stat : 11444 (java) S 11429 11431 10350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466159249 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11445] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11445/stat : 11445 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466159251 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11446] ppid=11429 vsize=7727064 CPUtime=0.43 cores=5,7
/proc/11431/task/11446/stat : 11446 (java) S 11429 11431 10350 0 -1 4202560 8088 0 0 0 42 1 0 0 16 0 19 0 466159251 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11447] ppid=11429 vsize=7727064 CPUtime=0.28 cores=5,7
/proc/11431/task/11447/stat : 11447 (java) S 11429 11431 10350 0 -1 4202560 2460 0 0 0 28 0 0 0 15 0 19 0 466159251 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11448] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11448/stat : 11448 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 466159251 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11449] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11449/stat : 11449 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159251 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11450] ppid=11429 vsize=7727064 CPUtime=0 cores=5,7
/proc/11431/task/11450/stat : 11450 (java) S 11429 11431 10350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466159269 7912513536 21145 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 7727064

[startup+6.30078 s]
/proc/loadavg: 3.97 3.58 3.55 5/262 11450
/proc/meminfo: memFree=14167928/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7723272 CPUtime=6.98 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 24574 0 1 0 694 4 0 0 25 0 19 0 466159246 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1930818 20411 2255 9 0 1921556 0
[pid=11431/tid=11433] ppid=11429 vsize=7723272 CPUtime=6.07 cores=5,7
/proc/11431/task/11433/stat : 11433 (java) R 11429 11431 10350 0 -1 4202560 10060 0 1 0 606 1 0 0 25 0 19 0 466159246 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 46912505667365 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11431/tid=11434] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11434/stat : 11434 (java) S 11429 11431 10350 0 -1 4202560 617 0 0 0 0 0 0 0 15 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11435] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11435/stat : 11435 (java) S 11429 11431 10350 0 -1 4202560 489 0 0 0 0 0 0 0 16 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11436] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11436/stat : 11436 (java) S 11429 11431 10350 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11437] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11437/stat : 11437 (java) S 11429 11431 10350 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11438] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11438/stat : 11438 (java) S 11429 11431 10350 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11439] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11439/stat : 11439 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11440] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11440/stat : 11440 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11441] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11441/stat : 11441 (java) S 11429 11431 10350 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 19 0 466159248 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11442] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11442/stat : 11442 (java) S 11429 11431 10350 0 -1 4202560 1456 0 0 0 13 0 0 0 16 0 19 0 466159249 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11443] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11443/stat : 11443 (java) S 11429 11431 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11444] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11444/stat : 11444 (java) S 11429 11431 10350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11445] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11445/stat : 11445 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466159251 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11446] ppid=11429 vsize=7723272 CPUtime=0.44 cores=5,7
/proc/11431/task/11446/stat : 11446 (java) S 11429 11431 10350 0 -1 4202560 8092 0 0 0 43 1 0 0 15 0 19 0 466159251 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11447] ppid=11429 vsize=7723272 CPUtime=0.28 cores=5,7
/proc/11431/task/11447/stat : 11447 (java) S 11429 11431 10350 0 -1 4202560 2460 0 0 0 28 0 0 0 15 0 19 0 466159251 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11448] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11448/stat : 11448 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 466159251 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11449] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11449/stat : 11449 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 466159251 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11450] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11450/stat : 11450 (java) S 11429 11431 10350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466159269 7908630528 20411 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 7723272

[startup+12.7007 s]

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

[pid=11431/tid=11439] ppid=11429 vsize=7723272 CPUtime=0.14 cores=5,7
/proc/11431/task/11439/stat : 11439 (java) S 11429 11431 10350 0 -1 4202560 305 0 0 0 14 0 0 0 15 0 19 0 466159248 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11440] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11440/stat : 11440 (java) S 11429 11431 10350 0 -1 4202560 29 0 0 0 13 0 0 0 15 0 19 0 466159248 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11441] ppid=11429 vsize=7723272 CPUtime=0.11 cores=5,7
/proc/11431/task/11441/stat : 11441 (java) S 11429 11431 10350 0 -1 4202560 226 0 0 0 11 0 0 0 15 0 19 0 466159248 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11442] ppid=11429 vsize=7723272 CPUtime=7.09 cores=5,7
/proc/11431/task/11442/stat : 11442 (java) S 11429 11431 10350 0 -1 4202560 3330 0 0 0 707 2 0 0 15 0 19 0 466159249 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11443] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11443/stat : 11443 (java) S 11429 11431 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11444] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11444/stat : 11444 (java) S 11429 11431 10350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11445] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11445/stat : 11445 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466159251 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11446] ppid=11429 vsize=7723272 CPUtime=0.54 cores=5,7
/proc/11431/task/11446/stat : 11446 (java) S 11429 11431 10350 0 -1 4202560 8135 0 0 0 53 1 0 0 16 0 19 0 466159251 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11447] ppid=11429 vsize=7723272 CPUtime=1.21 cores=5,7
/proc/11431/task/11447/stat : 11447 (java) S 11429 11431 10350 0 -1 4202560 13186 0 0 0 119 2 0 0 16 0 19 0 466159251 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11448] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11448/stat : 11448 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 466159251 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11449] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11449/stat : 11449 (java) S 11429 11431 10350 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 466159251 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11450] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11450/stat : 11450 (java) S 11429 11431 10350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466159269 7908630528 26404 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1124.33
Current children cumulated vsize (KiB) 7723272

[startup+1182.3 s]
/proc/loadavg: 1.27 2.41 3.06 2/190 11597
/proc/meminfo: memFree=14388392/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7723272 CPUtime=1184.35 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 38479 0 1 0 118425 10 0 0 25 0 19 0 466159246 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1930818 26421 2256 9 0 1921556 0
[pid=11431/tid=11433] ppid=11429 vsize=7723272 CPUtime=1174.03 cores=5,7
/proc/11431/task/11433/stat : 11433 (java) R 11429 11431 10350 0 -1 4202560 10309 0 1 0 117401 2 0 0 25 0 19 0 466159246 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 46912505607487 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11431/tid=11434] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11434/stat : 11434 (java) S 11429 11431 10350 0 -1 4202560 751 0 0 0 13 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11435] ppid=11429 vsize=7723272 CPUtime=0.12 cores=5,7
/proc/11431/task/11435/stat : 11435 (java) S 11429 11431 10350 0 -1 4202560 511 0 0 0 12 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11436] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11436/stat : 11436 (java) S 11429 11431 10350 0 -1 4202560 76 0 0 0 13 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11437] ppid=11429 vsize=7723272 CPUtime=0.1 cores=5,7
/proc/11431/task/11437/stat : 11437 (java) S 11429 11431 10350 0 -1 4202560 27 0 0 0 10 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11438] ppid=11429 vsize=7723272 CPUtime=0.12 cores=5,7
/proc/11431/task/11438/stat : 11438 (java) S 11429 11431 10350 0 -1 4202560 356 0 0 0 12 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11439] ppid=11429 vsize=7723272 CPUtime=0.15 cores=5,7
/proc/11431/task/11439/stat : 11439 (java) S 11429 11431 10350 0 -1 4202560 305 0 0 0 15 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11440] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11440/stat : 11440 (java) S 11429 11431 10350 0 -1 4202560 29 0 0 0 13 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11441] ppid=11429 vsize=7723272 CPUtime=0.12 cores=5,7
/proc/11431/task/11441/stat : 11441 (java) S 11429 11431 10350 0 -1 4202560 226 0 0 0 12 0 0 0 15 0 19 0 466159248 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11442] ppid=11429 vsize=7723272 CPUtime=7.47 cores=5,7
/proc/11431/task/11442/stat : 11442 (java) S 11429 11431 10350 0 -1 4202560 3351 0 0 0 745 2 0 0 15 0 19 0 466159249 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11443] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11443/stat : 11443 (java) S 11429 11431 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11444] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11444/stat : 11444 (java) S 11429 11431 10350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11445] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11445/stat : 11445 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466159251 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11446] ppid=11429 vsize=7723272 CPUtime=0.54 cores=5,7
/proc/11431/task/11446/stat : 11446 (java) S 11429 11431 10350 0 -1 4202560 8135 0 0 0 53 1 0 0 16 0 19 0 466159251 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11447] ppid=11429 vsize=7723272 CPUtime=1.21 cores=5,7
/proc/11431/task/11447/stat : 11447 (java) S 11429 11431 10350 0 -1 4202560 13186 0 0 0 119 2 0 0 16 0 19 0 466159251 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11448] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11448/stat : 11448 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 466159251 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11449] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11449/stat : 11449 (java) S 11429 11431 10350 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 466159251 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11450] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11450/stat : 11450 (java) S 11429 11431 10350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466159269 7908630528 26421 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1184.35
Current children cumulated vsize (KiB) 7723272

[startup+1242.3 s]
/proc/loadavg: 1.10 2.15 2.92 2/190 11599
/proc/meminfo: memFree=14388500/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7723272 CPUtime=1244.36 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 38509 0 1 0 124426 10 0 0 25 0 19 0 466159246 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1930818 26430 2256 9 0 1921556 0
[pid=11431/tid=11433] ppid=11429 vsize=7723272 CPUtime=1233.62 cores=5,7
/proc/11431/task/11433/stat : 11433 (java) R 11429 11431 10350 0 -1 4202560 10322 0 1 0 123360 2 0 0 25 0 19 0 466159246 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 46912505607189 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11431/tid=11434] ppid=11429 vsize=7723272 CPUtime=0.14 cores=5,7
/proc/11431/task/11434/stat : 11434 (java) S 11429 11431 10350 0 -1 4202560 751 0 0 0 14 0 0 0 15 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11435] ppid=11429 vsize=7723272 CPUtime=0.12 cores=5,7
/proc/11431/task/11435/stat : 11435 (java) S 11429 11431 10350 0 -1 4202560 511 0 0 0 12 0 0 0 15 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11436] ppid=11429 vsize=7723272 CPUtime=0.14 cores=5,7
/proc/11431/task/11436/stat : 11436 (java) S 11429 11431 10350 0 -1 4202560 76 0 0 0 14 0 0 0 15 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11437] ppid=11429 vsize=7723272 CPUtime=0.1 cores=5,7
/proc/11431/task/11437/stat : 11437 (java) S 11429 11431 10350 0 -1 4202560 27 0 0 0 10 0 0 0 16 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11438] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11438/stat : 11438 (java) S 11429 11431 10350 0 -1 4202560 356 0 0 0 13 0 0 0 16 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11439] ppid=11429 vsize=7723272 CPUtime=0.16 cores=5,7
/proc/11431/task/11439/stat : 11439 (java) S 11429 11431 10350 0 -1 4202560 306 0 0 0 16 0 0 0 15 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11440] ppid=11429 vsize=7723272 CPUtime=0.14 cores=5,7
/proc/11431/task/11440/stat : 11440 (java) S 11429 11431 10350 0 -1 4202560 29 0 0 0 14 0 0 0 15 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11441] ppid=11429 vsize=7723272 CPUtime=0.12 cores=5,7
/proc/11431/task/11441/stat : 11441 (java) S 11429 11431 10350 0 -1 4202560 226 0 0 0 12 0 0 0 15 0 19 0 466159248 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11442] ppid=11429 vsize=7723272 CPUtime=7.85 cores=5,7
/proc/11431/task/11442/stat : 11442 (java) S 11429 11431 10350 0 -1 4202560 3363 0 0 0 783 2 0 0 15 0 19 0 466159249 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11443] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11443/stat : 11443 (java) S 11429 11431 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11444] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11444/stat : 11444 (java) S 11429 11431 10350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11445] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11445/stat : 11445 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466159251 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11446] ppid=11429 vsize=7723272 CPUtime=0.54 cores=5,7
/proc/11431/task/11446/stat : 11446 (java) S 11429 11431 10350 0 -1 4202560 8135 0 0 0 53 1 0 0 16 0 19 0 466159251 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11447] ppid=11429 vsize=7723272 CPUtime=1.21 cores=5,7
/proc/11431/task/11447/stat : 11447 (java) S 11429 11431 10350 0 -1 4202560 13186 0 0 0 119 2 0 0 16 0 19 0 466159251 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11448] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11448/stat : 11448 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 466159251 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11449] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11449/stat : 11449 (java) S 11429 11431 10350 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 466159251 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11450] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11450/stat : 11450 (java) S 11429 11431 10350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466159269 7908630528 26430 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1244.36
Current children cumulated vsize (KiB) 7723272



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.03 1.94 2.80 2/190 11600
/proc/meminfo: memFree=14388616/32951124 swapFree=67111524/67111528
[pid=11431] ppid=11429 vsize=7723272 CPUtime=1302.08 cores=5,7
/proc/11431/stat : 11431 (java) S 11429 11431 10350 0 -1 4202496 38589 0 1 0 130198 10 0 0 25 0 19 0 466159246 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11431/statm: 1930818 26494 2256 9 0 1921556 0
[pid=11431/tid=11433] ppid=11429 vsize=7723272 CPUtime=1290.95 cores=5,7
/proc/11431/task/11433/stat : 11433 (java) R 11429 11431 10350 0 -1 4202560 10334 0 1 0 129093 2 0 0 25 0 19 0 466159246 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 46912505668096 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11431/tid=11434] ppid=11429 vsize=7723272 CPUtime=0.15 cores=5,7
/proc/11431/task/11434/stat : 11434 (java) S 11429 11431 10350 0 -1 4202560 751 0 0 0 15 0 0 0 15 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11435] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11435/stat : 11435 (java) S 11429 11431 10350 0 -1 4202560 511 0 0 0 13 0 0 0 15 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11436] ppid=11429 vsize=7723272 CPUtime=0.14 cores=5,7
/proc/11431/task/11436/stat : 11436 (java) S 11429 11431 10350 0 -1 4202560 86 0 0 0 14 0 0 0 15 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11437] ppid=11429 vsize=7723272 CPUtime=0.11 cores=5,7
/proc/11431/task/11437/stat : 11437 (java) S 11429 11431 10350 0 -1 4202560 27 0 0 0 11 0 0 0 15 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11438] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11438/stat : 11438 (java) S 11429 11431 10350 0 -1 4202560 356 0 0 0 13 0 0 0 15 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11439] ppid=11429 vsize=7723272 CPUtime=0.16 cores=5,7
/proc/11431/task/11439/stat : 11439 (java) S 11429 11431 10350 0 -1 4202560 306 0 0 0 16 0 0 0 16 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11440] ppid=11429 vsize=7723272 CPUtime=0.15 cores=5,7
/proc/11431/task/11440/stat : 11440 (java) S 11429 11431 10350 0 -1 4202560 36 0 0 0 15 0 0 0 16 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11441] ppid=11429 vsize=7723272 CPUtime=0.13 cores=5,7
/proc/11431/task/11441/stat : 11441 (java) S 11429 11431 10350 0 -1 4202560 226 0 0 0 13 0 0 0 15 0 19 0 466159248 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11442] ppid=11429 vsize=7723272 CPUtime=8.2 cores=5,7
/proc/11431/task/11442/stat : 11442 (java) S 11429 11431 10350 0 -1 4202560 3412 0 0 0 818 2 0 0 15 0 19 0 466159249 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11443] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11443/stat : 11443 (java) S 11429 11431 10350 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11444] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11444/stat : 11444 (java) S 11429 11431 10350 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 466159249 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11445] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11445/stat : 11445 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 466159251 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11446] ppid=11429 vsize=7723272 CPUtime=0.54 cores=5,7
/proc/11431/task/11446/stat : 11446 (java) S 11429 11431 10350 0 -1 4202560 8135 0 0 0 53 1 0 0 16 0 19 0 466159251 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11447] ppid=11429 vsize=7723272 CPUtime=1.21 cores=5,7
/proc/11431/task/11447/stat : 11447 (java) S 11429 11431 10350 0 -1 4202560 13186 0 0 0 119 2 0 0 16 0 19 0 466159251 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=11431/tid=11448] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11448/stat : 11448 (java) S 11429 11431 10350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 466159251 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=11431/tid=11449] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11449/stat : 11449 (java) R 11429 11431 10350 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 466159251 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=11431/tid=11450] ppid=11429 vsize=7723272 CPUtime=0 cores=5,7
/proc/11431/task/11450/stat : 11450 (java) S 11429 11431 10350 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 466159269 7908630528 26494 33554432000 1073741824 1073778376 140733935403360 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 7723272

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): 1302.16
CPU user time (s): 1302.04
CPU system time (s): 0.114982
CPU usage (%): 100.163
Max. virtual memory (cumulated for all children) (KiB): 7727064

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

runsolver used 2.10268 second user time and 5.02024 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-23 10:00:13
IDJOB=3262040
IDBENCH=83269
IDSOLVER=1611
FILE ID=node136/3262040-1303545613
RUNJOBID= node136-1303545371-11285
PBS_JOBID= 13143102
Free space on /tmp= 71636 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_507.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-3262040-1303545613/watcher-3262040-1303545613 -o /tmp/evaluation-result-3262040-1303545613/solver-3262040-1303545613 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262040-1303545613.cnf

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

MD5SUM BENCH= 0c4fc551e2fe598a8074df6204d87f7d
RANDOM SEED=185651443

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14242456 kB
Buffers:       1698516 kB
Cached:       16139352 kB
SwapCached:          4 kB
Active:        9647712 kB
Inactive:      8496068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14242456 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             988 kB
Writeback:           0 kB
AnonPages:      305416 kB
Mapped:          23424 kB
Slab:           500000 kB
PageTables:       6196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22081068 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= 71640 MiB
End job on node136 at 2011-04-23 10:21:55