Trace number 3265296

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.3 1300.04

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-030-029.shuffled-as.sat05-1234.cnf
MD5SUMc12aa6a0ac1bca448bef51c167f3bbbb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark17.1704
Satisfiable
(Un)Satisfiability was proved
Number of variables870
Number of clauses24825
Sum of the clauses size50460
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 224795
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Solver Data 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c no version file found!!!
0.05/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.07	c java.vm.version	19.1-b02
0.05/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.07	c sun.arch.data.model	64
0.05/0.07	c java.version		1.6.0_24
0.05/0.07	c os.name		Linux
0.05/0.07	c os.version		2.6.18-164.el5
0.05/0.07	c os.arch		amd64
0.05/0.07	c Free memory 		6997539544
0.05/0.07	c Max memory 		7034241024
0.05/0.07	c Total memory 		7034241024
0.05/0.07	c Number of processors 	8
0.05/0.09	c --- Begin Solver configuration ---
0.05/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.05/0.09	c Learn all clauses as in MiniSAT
0.05/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.09	c Expensive reason simplification
0.05/0.09	c Armin Biere (Picosat) restarts strategy
0.05/0.09	c Glucose learned constraints deletion strategy
0.05/0.09	c timeout=2147483647s
0.05/0.09	c DB Simplification allowed=true
0.05/0.09	c --- End Solver configuration ---
0.05/0.09	c solving HOME/instance-3265296-1303579657.cnf
0.05/0.09	c reading problem ... 
0.09/0.20	c ... done. Wall clock time 0.106s.
0.09/0.20	c #vars     870
0.09/0.20	c #constraints  24825
0.09/0.20	c constraints type 
0.09/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.09/0.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24795
0.94/0.77	c cleaning 2501 clauses out of 5002 with flag 5002/5002
1.46/1.27	c cleaning 4244 clauses out of 8500 with flag 11001/11001
2.16/1.91	c cleaning 5626 clauses out of 11255 with flag 18000/18000
2.86/2.69	c cleaning 6812 clauses out of 13629 with flag 26000/26000
3.76/3.56	c cleaning 7905 clauses out of 15817 with flag 35000/35000
4.76/4.58	c cleaning 8954 clauses out of 17912 with flag 45000/45000
5.96/5.72	c cleaning 9978 clauses out of 19959 with flag 56001/56001
7.26/7.01	c cleaning 10984 clauses out of 21981 with flag 68001/68001
8.66/8.46	c cleaning 11995 clauses out of 23996 with flag 81000/81000
10.36/10.12	c cleaning 12997 clauses out of 26001 with flag 95000/95000
12.17/11.97	c cleaning 13998 clauses out of 28004 with flag 110000/110000
14.17/13.93	c cleaning 15004 clauses out of 30007 with flag 126001/126001
16.37/16.10	c cleaning 15999 clauses out of 32003 with flag 143001/143001
18.68/18.43	c cleaning 16992 clauses out of 34005 with flag 161002/161002
21.29/21.03	c cleaning 18001 clauses out of 36012 with flag 180001/180001
24.00/23.76	c cleaning 18998 clauses out of 38011 with flag 200001/200001
26.90/26.68	c cleaning 20005 clauses out of 40013 with flag 221001/221001
30.11/29.89	c cleaning 20998 clauses out of 42007 with flag 243000/243000
33.61/33.33	c cleaning 22003 clauses out of 44009 with flag 266000/266000
36.72/36.42	c cleaning 22997 clauses out of 46006 with flag 290000/290000
40.12/39.86	c cleaning 24001 clauses out of 48011 with flag 315002/315002
43.73/43.41	c cleaning 24502 clauses out of 49009 with flag 340001/340001
47.25/46.91	c cleaning 24747 clauses out of 49506 with flag 365000/365000
50.46/50.18	c cleaning 24868 clauses out of 49759 with flag 390000/390000
54.36/54.00	c cleaning 24942 clauses out of 49892 with flag 415001/415001
57.67/57.36	c cleaning 24970 clauses out of 49950 with flag 440001/440001
61.38/61.05	c cleaning 24981 clauses out of 49979 with flag 465000/465000
64.48/64.19	c cleaning 24988 clauses out of 49999 with flag 490001/490001
68.09/67.71	c cleaning 25006 clauses out of 50012 with flag 515002/515002
71.59/71.23	c cleaning 24998 clauses out of 50004 with flag 540000/540000
75.40/75.08	c cleaning 25001 clauses out of 50006 with flag 565000/565000
78.71/78.33	c cleaning 24998 clauses out of 50005 with flag 590000/590000
82.61/82.29	c cleaning 25001 clauses out of 50007 with flag 615000/615000
85.92/85.55	c cleaning 25001 clauses out of 50007 with flag 640001/640001
89.44/89.10	c cleaning 25001 clauses out of 50007 with flag 665002/665002
93.24/92.81	c cleaning 24997 clauses out of 50005 with flag 690001/690001
96.95/96.54	c cleaning 24993 clauses out of 50007 with flag 715000/715000
100.65/100.28	c cleaning 25002 clauses out of 50014 with flag 740000/740000
104.46/104.08	c cleaning 24996 clauses out of 50012 with flag 765000/765000
108.17/107.75	c cleaning 25005 clauses out of 50017 with flag 790001/790001
112.17/111.78	c cleaning 25000 clauses out of 50011 with flag 815000/815000
115.99/115.58	c cleaning 24996 clauses out of 50011 with flag 840000/840000
119.49/119.03	c cleaning 25000 clauses out of 50015 with flag 865000/865000
123.39/122.98	c cleaning 25004 clauses out of 50016 with flag 890001/890001
127.90/127.45	c cleaning 25005 clauses out of 50012 with flag 915001/915001
131.21/130.73	c cleaning 25002 clauses out of 50007 with flag 940001/940001
135.01/134.50	c cleaning 24993 clauses out of 50004 with flag 965000/965000
139.02/138.51	c cleaning 24995 clauses out of 50011 with flag 990000/990000
143.32/142.86	c cleaning 25004 clauses out of 50017 with flag 1015001/1015001
146.43/145.96	c cleaning 25004 clauses out of 50012 with flag 1040000/1040000
150.04/149.59	c cleaning 24997 clauses out of 50008 with flag 1065000/1065000
154.34/153.84	c cleaning 24998 clauses out of 50011 with flag 1090000/1090000
158.55/158.01	c cleaning 25005 clauses out of 50013 with flag 1115000/1115000
161.95/161.48	c cleaning 24997 clauses out of 50008 with flag 1140000/1140000
166.26/165.72	c cleaning 25002 clauses out of 50012 with flag 1165001/1165001
170.17/169.69	c cleaning 24998 clauses out of 50010 with flag 1190001/1190001
174.17/173.64	c cleaning 25001 clauses out of 50012 with flag 1215001/1215001
178.58/178.03	c cleaning 25003 clauses out of 50011 with flag 1240001/1240001
181.79/181.20	c cleaning 24998 clauses out of 50007 with flag 1265000/1265000
185.59/185.07	c cleaning 25003 clauses out of 50009 with flag 1290000/1290000
189.49/188.91	c cleaning 25001 clauses out of 50007 with flag 1315001/1315001
193.60/193.05	c cleaning 24995 clauses out of 50008 with flag 1340003/1340003
198.41/197.83	c cleaning 25003 clauses out of 50010 with flag 1365000/1365000
201.52/200.93	c cleaning 24998 clauses out of 50007 with flag 1390000/1390000
205.02/204.40	c cleaning 24997 clauses out of 50009 with flag 1415000/1415000
208.62/208.08	c cleaning 25001 clauses out of 50012 with flag 1440000/1440000
212.84/212.27	c cleaning 25007 clauses out of 50013 with flag 1465002/1465002
217.54/216.93	c cleaning 24994 clauses out of 50005 with flag 1490001/1490001
221.54/220.98	c cleaning 25002 clauses out of 50010 with flag 1515000/1515000
224.85/224.23	c cleaning 24999 clauses out of 50008 with flag 1540000/1540000
228.65/228.01	c cleaning 24995 clauses out of 50009 with flag 1565000/1565000
232.26/231.66	c cleaning 25002 clauses out of 50015 with flag 1590001/1590001
236.46/235.86	c cleaning 25003 clauses out of 50013 with flag 1615001/1615001
241.47/240.83	c cleaning 24995 clauses out of 50010 with flag 1640001/1640001
246.18/245.58	c cleaning 25004 clauses out of 50015 with flag 1665001/1665001
249.49/248.86	c cleaning 25006 clauses out of 50012 with flag 1690002/1690002
252.90/252.29	c cleaning 25000 clauses out of 50004 with flag 1715000/1715000
257.01/256.37	c cleaning 24994 clauses out of 50004 with flag 1740000/1740000
260.90/260.22	c cleaning 25000 clauses out of 50010 with flag 1765000/1765000
265.21/264.51	c cleaning 24999 clauses out of 50010 with flag 1790000/1790000
270.12/269.42	c cleaning 24995 clauses out of 50012 with flag 1815001/1815001
274.83/274.16	c cleaning 25004 clauses out of 50016 with flag 1840000/1840000
278.33/277.62	c cleaning 25001 clauses out of 50013 with flag 1865001/1865001
281.94/281.22	c cleaning 25002 clauses out of 50012 with flag 1890001/1890001
286.14/285.44	c cleaning 25002 clauses out of 50009 with flag 1915000/1915000
290.15/289.48	c cleaning 24996 clauses out of 50008 with flag 1940001/1940001
294.75/294.04	c cleaning 25000 clauses out of 50012 with flag 1965001/1965001
299.06/298.33	c cleaning 25004 clauses out of 50015 with flag 1990004/1990004
305.27/304.53	c cleaning 25000 clauses out of 50007 with flag 2015000/2015000
308.88/308.11	c cleaning 25002 clauses out of 50009 with flag 2040002/2040002
312.09/311.36	c cleaning 24999 clauses out of 50006 with flag 2065001/2065001
315.98/315.21	c cleaning 24994 clauses out of 50006 with flag 2090000/2090000
319.89/319.19	c cleaning 25005 clauses out of 50014 with flag 2115002/2115002
324.20/323.48	c cleaning 24995 clauses out of 50007 with flag 2140000/2140000
328.80/328.02	c cleaning 25000 clauses out of 50013 with flag 2165001/2165001
333.41/332.60	c cleaning 25003 clauses out of 50016 with flag 2190004/2190004
338.92/338.10	c cleaning 24997 clauses out of 50012 with flag 2215003/2215003
342.73/341.95	c cleaning 25004 clauses out of 50012 with flag 2240000/2240000
346.14/345.37	c cleaning 25000 clauses out of 50009 with flag 2265001/2265001
349.64/348.84	c cleaning 25000 clauses out of 50008 with flag 2290000/2290000
353.84/353.05	c cleaning 25003 clauses out of 50012 with flag 2315004/2315004
358.35/357.53	c cleaning 24993 clauses out of 50006 with flag 2340001/2340001
362.95/362.16	c cleaning 24998 clauses out of 50013 with flag 2365001/2365001
368.26/367.47	c cleaning 25001 clauses out of 50015 with flag 2390001/2390001
373.97/373.13	c cleaning 25003 clauses out of 50014 with flag 2415001/2415001
379.28/378.48	c cleaning 24996 clauses out of 50010 with flag 2440000/2440000
384.19/383.30	c cleaning 24995 clauses out of 50014 with flag 2465000/2465000
387.89/387.03	c cleaning 25006 clauses out of 50019 with flag 2490000/2490000
391.70/390.84	c cleaning 25001 clauses out of 50013 with flag 2515000/2515000
395.71/394.88	c cleaning 25001 clauses out of 50014 with flag 2540002/2540002
399.81/398.91	c cleaning 24998 clauses out of 50012 with flag 2565001/2565001
404.62/403.71	c cleaning 24999 clauses out of 50017 with flag 2590004/2590004
410.22/409.35	c cleaning 25004 clauses out of 50015 with flag 2615001/2615001
415.54/414.61	c cleaning 24995 clauses out of 50012 with flag 2640002/2640002
421.24/420.38	c cleaning 25004 clauses out of 50016 with flag 2665001/2665001
426.95/426.08	c cleaning 24989 clauses out of 50012 with flag 2690001/2690001
431.57/430.67	c cleaning 25011 clauses out of 50023 with flag 2715001/2715001
435.27/434.33	c cleaning 24992 clauses out of 50011 with flag 2740000/2740000
438.98/438.08	c cleaning 25003 clauses out of 50019 with flag 2765000/2765000
442.88/441.97	c cleaning 25003 clauses out of 50016 with flag 2790000/2790000
447.09/446.11	c cleaning 25001 clauses out of 50014 with flag 2815001/2815001
452.00/451.10	c cleaning 24998 clauses out of 50014 with flag 2840002/2840002
457.10/456.19	c cleaning 24995 clauses out of 50016 with flag 2865002/2865002
462.41/461.40	c cleaning 25006 clauses out of 50021 with flag 2890002/2890002
467.62/466.68	c cleaning 24997 clauses out of 50014 with flag 2915001/2915001
472.83/471.90	c cleaning 24996 clauses out of 50018 with flag 2940002/2940002
477.74/476.70	c cleaning 24996 clauses out of 50020 with flag 2965000/2965000
482.24/481.25	c cleaning 25008 clauses out of 50025 with flag 2990001/2990001
485.85/484.86	c cleaning 25002 clauses out of 50017 with flag 3015001/3015001
489.75/488.76	c cleaning 25000 clauses out of 50014 with flag 3040000/3040000
493.56/492.55	c cleaning 25000 clauses out of 50015 with flag 3065001/3065001
497.96/496.98	c cleaning 25000 clauses out of 50014 with flag 3090000/3090000
502.47/501.42	c cleaning 25001 clauses out of 50015 with flag 3115001/3115001
507.18/506.20	c cleaning 25001 clauses out of 50015 with flag 3140002/3140002
512.59/511.51	c cleaning 25002 clauses out of 50013 with flag 3165001/3165001
518.69/517.61	c cleaning 24997 clauses out of 50010 with flag 3190000/3190000
523.70/522.67	c cleaning 24995 clauses out of 50015 with flag 3215002/3215002
528.21/527.15	c cleaning 24997 clauses out of 50019 with flag 3240001/3240001
533.62/532.53	c cleaning 25005 clauses out of 50022 with flag 3265001/3265001
538.72/537.61	c cleaning 25001 clauses out of 50017 with flag 3290001/3290001
542.13/541.03	c cleaning 25001 clauses out of 50016 with flag 3315001/3315001
546.24/545.12	c cleaning 24999 clauses out of 50014 with flag 3340000/3340000
550.05/548.95	c cleaning 25001 clauses out of 50015 with flag 3365000/3365000
553.95/552.89	c cleaning 25003 clauses out of 50015 with flag 3390001/3390001
558.35/557.28	c cleaning 24996 clauses out of 50011 with flag 3415000/3415000
563.27/562.20	c cleaning 25002 clauses out of 50015 with flag 3440000/3440000
568.87/567.74	c cleaning 24997 clauses out of 50013 with flag 3465000/3465000
574.77/573.64	c cleaning 24995 clauses out of 50016 with flag 3490000/3490000
579.88/578.75	c cleaning 25006 clauses out of 50023 with flag 3515002/3515002
584.79/583.69	c cleaning 25000 clauses out of 50017 with flag 3540002/3540002
590.30/589.15	c cleaning 24996 clauses out of 50015 with flag 3565000/3565000
596.41/595.25	c cleaning 24999 clauses out of 50020 with flag 3590001/3590001
604.42/603.29	c cleaning 25008 clauses out of 50021 with flag 3615001/3615001
608.13/606.93	c cleaning 25001 clauses out of 50013 with flag 3640001/3640001
611.83/610.68	c cleaning 25000 clauses out of 50012 with flag 3665001/3665001
615.54/614.39	c cleaning 25002 clauses out of 50011 with flag 3690000/3690000
619.54/618.32	c cleaning 24997 clauses out of 50009 with flag 3715000/3715000
624.35/623.18	c cleaning 25005 clauses out of 50014 with flag 3740002/3740002
629.26/628.07	c cleaning 24993 clauses out of 50008 with flag 3765001/3765001
634.77/633.52	c cleaning 25003 clauses out of 50015 with flag 3790001/3790001
640.48/639.21	c cleaning 24989 clauses out of 50012 with flag 3815001/3815001
646.59/645.39	c cleaning 25004 clauses out of 50023 with flag 3840001/3840001
652.79/651.56	c cleaning 25004 clauses out of 50019 with flag 3865001/3865001
660.30/659.03	c cleaning 25001 clauses out of 50014 with flag 3890000/3890000
668.02/666.75	c cleaning 24998 clauses out of 50016 with flag 3915003/3915003
674.92/673.66	c cleaning 24993 clauses out of 50016 with flag 3940001/3940001
680.83/679.56	c cleaning 25007 clauses out of 50023 with flag 3965001/3965001
686.34/685.03	c cleaning 25003 clauses out of 50015 with flag 3990000/3990000
690.15/688.82	c cleaning 24998 clauses out of 50013 with flag 4015001/4015001
694.36/693.03	c cleaning 24992 clauses out of 50014 with flag 4040000/4040000
698.16/696.85	c cleaning 25008 clauses out of 50022 with flag 4065000/4065000
702.17/700.82	c cleaning 24996 clauses out of 50014 with flag 4090000/4090000
707.08/705.73	c cleaning 25008 clauses out of 50020 with flag 4115002/4115002
711.68/710.34	c cleaning 25000 clauses out of 50011 with flag 4140001/4140001
716.89/715.56	c cleaning 24997 clauses out of 50010 with flag 4165000/4165000
722.70/721.36	c cleaning 25002 clauses out of 50015 with flag 4190002/4190002
727.91/726.55	c cleaning 24995 clauses out of 50011 with flag 4215000/4215000
733.32/731.97	c cleaning 24999 clauses out of 50018 with flag 4240002/4240002
738.23/736.88	c cleaning 25000 clauses out of 50018 with flag 4265001/4265001
744.74/743.39	c cleaning 25000 clauses out of 50018 with flag 4290001/4290001
752.05/750.64	c cleaning 25006 clauses out of 50017 with flag 4315000/4315000
761.06/759.69	c cleaning 24991 clauses out of 50011 with flag 4340000/4340000
766.87/765.40	c cleaning 25000 clauses out of 50020 with flag 4365000/4365000
773.47/772.03	c cleaning 25006 clauses out of 50020 with flag 4390000/4390000
776.89/775.43	c cleaning 25003 clauses out of 50017 with flag 4415003/4415003
780.89/779.45	c cleaning 25002 clauses out of 50012 with flag 4440001/4440001
784.79/783.38	c cleaning 24995 clauses out of 50010 with flag 4465001/4465001
789.20/787.74	c cleaning 25007 clauses out of 50015 with flag 4490001/4490001
793.70/792.24	c cleaning 24998 clauses out of 50007 with flag 4515000/4515000
798.72/797.26	c cleaning 25006 clauses out of 50011 with flag 4540002/4540002
804.23/802.78	c cleaning 24988 clauses out of 50003 with flag 4565000/4565000
810.14/808.67	c cleaning 25000 clauses out of 50015 with flag 4590000/4590000
815.84/814.35	c cleaning 25000 clauses out of 50015 with flag 4615000/4615000
822.75/821.21	c cleaning 24997 clauses out of 50015 with flag 4640000/4640000
828.87/827.37	c cleaning 24994 clauses out of 50018 with flag 4665000/4665000
835.17/833.67	c cleaning 24998 clauses out of 50024 with flag 4690000/4690000
842.48/840.90	c cleaning 25007 clauses out of 50028 with flag 4715002/4715002
849.39/847.84	c cleaning 24994 clauses out of 50020 with flag 4740001/4740001
854.30/852.72	c cleaning 25007 clauses out of 50025 with flag 4765000/4765000
860.91/859.34	c cleaning 25006 clauses out of 50019 with flag 4790001/4790001
868.43/866.83	c cleaning 24994 clauses out of 50012 with flag 4815000/4815000
874.63/873.00	c cleaning 25006 clauses out of 50019 with flag 4840001/4840001
878.04/876.42	c cleaning 25001 clauses out of 50012 with flag 4865000/4865000
882.05/880.46	c cleaning 25001 clauses out of 50012 with flag 4890001/4890001
886.25/884.65	c cleaning 25001 clauses out of 50011 with flag 4915001/4915001
890.56/888.95	c cleaning 25002 clauses out of 50009 with flag 4940000/4940000
894.67/893.03	c cleaning 24997 clauses out of 50008 with flag 4965001/4965001
899.47/897.82	c cleaning 25003 clauses out of 50011 with flag 4990001/4990001
904.69/903.06	c cleaning 24996 clauses out of 50007 with flag 5015000/5015000
910.39/908.75	c cleaning 25000 clauses out of 50011 with flag 5040000/5040000
915.30/913.70	c cleaning 24996 clauses out of 50011 with flag 5065000/5065000
920.81/919.13	c cleaning 24996 clauses out of 50016 with flag 5090001/5090001
926.01/924.33	c cleaning 25003 clauses out of 50022 with flag 5115003/5115003
931.82/930.12	c cleaning 24998 clauses out of 50016 with flag 5140000/5140000
938.43/936.71	c cleaning 25003 clauses out of 50018 with flag 5165000/5165000
947.53/945.87	c cleaning 24995 clauses out of 50016 with flag 5190001/5190001
953.75/952.04	c cleaning 25002 clauses out of 50020 with flag 5215000/5215000
959.16/957.41	c cleaning 25003 clauses out of 50018 with flag 5240000/5240000
967.07/965.31	c cleaning 24997 clauses out of 50015 with flag 5265000/5265000
972.48/970.73	c cleaning 24998 clauses out of 50018 with flag 5290000/5290000
980.38/978.65	c cleaning 24999 clauses out of 50021 with flag 5315001/5315001
984.19/982.48	c cleaning 25008 clauses out of 50021 with flag 5340000/5340000
988.10/986.32	c cleaning 25001 clauses out of 50013 with flag 5365000/5365000
992.41/990.68	c cleaning 25000 clauses out of 50012 with flag 5390000/5390000
996.41/994.69	c cleaning 24999 clauses out of 50014 with flag 5415002/5415002
1000.92/999.15	c cleaning 24998 clauses out of 50014 with flag 5440001/5440001
1005.22/1003.47	c cleaning 25000 clauses out of 50015 with flag 5465000/5465000
1010.83/1009.07	c cleaning 25006 clauses out of 50020 with flag 5490005/5490005
1015.94/1014.11	c cleaning 25001 clauses out of 50009 with flag 5515000/5515000
1020.84/1019.09	c cleaning 24996 clauses out of 50008 with flag 5540000/5540000
1026.85/1025.08	c cleaning 24992 clauses out of 50012 with flag 5565000/5565000
1032.86/1031.09	c cleaning 24997 clauses out of 50020 with flag 5590000/5590000
1038.17/1036.35	c cleaning 25000 clauses out of 50023 with flag 5615000/5615000
1043.17/1041.34	c cleaning 25001 clauses out of 50023 with flag 5640000/5640000
1048.78/1046.98	c cleaning 25005 clauses out of 50022 with flag 5665000/5665000
1056.09/1054.29	c cleaning 25000 clauses out of 50017 with flag 5690000/5690000
1064.70/1062.86	c cleaning 25005 clauses out of 50017 with flag 5715000/5715000
1070.01/1068.15	c cleaning 24999 clauses out of 50012 with flag 5740000/5740000
1077.91/1076.03	c cleaning 25002 clauses out of 50013 with flag 5765000/5765000
1085.92/1084.05	c cleaning 24997 clauses out of 50011 with flag 5790000/5790000
1091.23/1089.36	c cleaning 25000 clauses out of 50016 with flag 5815002/5815002
1099.44/1097.56	c cleaning 24997 clauses out of 50015 with flag 5840001/5840001
1105.35/1103.49	c cleaning 25005 clauses out of 50017 with flag 5865000/5865000
1108.76/1106.80	c cleaning 24997 clauses out of 50012 with flag 5890000/5890000
1112.36/1110.40	c cleaning 25002 clauses out of 50016 with flag 5915001/5915001
1116.57/1114.60	c cleaning 25000 clauses out of 50013 with flag 5940000/5940000
1120.88/1118.99	c cleaning 24996 clauses out of 50013 with flag 5965000/5965000
1125.48/1123.53	c cleaning 25005 clauses out of 50017 with flag 5990000/5990000
1131.19/1129.22	c cleaning 25001 clauses out of 50014 with flag 6015002/6015002
1136.50/1134.56	c cleaning 24996 clauses out of 50011 with flag 6040000/6040000
1142.81/1140.89	c cleaning 25003 clauses out of 50015 with flag 6065000/6065000
1148.51/1146.56	c cleaning 24995 clauses out of 50013 with flag 6090001/6090001
1154.52/1152.55	c cleaning 25006 clauses out of 50017 with flag 6115000/6115000
1160.73/1158.75	c cleaning 24992 clauses out of 50011 with flag 6140000/6140000
1166.75/1164.72	c cleaning 25002 clauses out of 50019 with flag 6165000/6165000
1173.85/1171.86	c cleaning 24997 clauses out of 50018 with flag 6190001/6190001
1180.46/1178.49	c cleaning 25002 clauses out of 50021 with flag 6215001/6215001
1185.77/1183.73	c cleaning 24997 clauses out of 50018 with flag 6240000/6240000
1192.78/1190.74	c cleaning 25005 clauses out of 50021 with flag 6265000/6265000
1199.69/1197.68	c cleaning 24999 clauses out of 50017 with flag 6290001/6290001
1204.60/1202.53	c cleaning 25003 clauses out of 50017 with flag 6315000/6315000
1212.30/1210.24	c cleaning 24997 clauses out of 50016 with flag 6340002/6340002
1218.11/1216.06	c cleaning 25007 clauses out of 50021 with flag 6365004/6365004
1225.02/1222.97	c cleaning 24997 clauses out of 50011 with flag 6390001/6390001
1230.73/1228.65	c cleaning 24997 clauses out of 50014 with flag 6415001/6415001
1236.83/1234.78	c cleaning 24997 clauses out of 50016 with flag 6440000/6440000
1241.44/1239.31	c cleaning 25004 clauses out of 50019 with flag 6465000/6465000
1244.74/1242.68	c cleaning 25000 clauses out of 50016 with flag 6490001/6490001
1248.65/1246.53	c cleaning 25003 clauses out of 50017 with flag 6515002/6515002
1252.76/1250.60	c cleaning 25000 clauses out of 50013 with flag 6540001/6540001
1257.27/1255.18	c cleaning 24997 clauses out of 50014 with flag 6565002/6565002
1262.17/1260.02	c cleaning 24999 clauses out of 50015 with flag 6590000/6590000
1266.88/1264.80	c cleaning 25000 clauses out of 50016 with flag 6615000/6615000
1272.28/1270.19	c cleaning 25000 clauses out of 50016 with flag 6640000/6640000
1277.89/1275.77	c cleaning 24993 clauses out of 50016 with flag 6665000/6665000
1283.00/1280.86	c cleaning 25007 clauses out of 50024 with flag 6690001/6690001
1288.41/1286.30	c cleaning 24995 clauses out of 50016 with flag 6715000/6715000
1293.91/1291.79	c cleaning 25008 clauses out of 50021 with flag 6740000/6740000
1298.62/1296.40	c cleaning 24998 clauses out of 50013 with flag 6765000/6765000
1302.24/1300.01	c starts		: 2339
1302.24/1300.01	c conflicts		: 6779440
1302.24/1300.01	c decisions		: 7228036
1302.24/1300.01	c propagations		: 84839865
1302.24/1300.01	c inspects		: 11718699720
1302.24/1300.01	c shortcuts		: 0
1302.24/1300.01	c learnt literals	: 0
1302.24/1300.01	c learnt binary clauses	: 0
1302.24/1300.01	c learnt ternary clauses	: 0
1302.24/1300.01	c learnt constraints	: 6779440
1302.24/1300.01	c ignored constraints	: 0
1302.24/1300.01	c root simplifications	: 2339
1302.24/1300.01	c removed literals (reason simplification)	: 17236865
1302.24/1300.01	c reason swapping (by a shorter reason)	: 0
1302.24/1300.01	c Calls to reduceDB	: 279
1302.24/1300.01	c speed (assignments/second)	: 65271.03366725419
1302.24/1300.01	c non guided choices	23988
1302.24/1300.03	c learnt constraints type 
1302.24/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39480
1302.24/1300.03	c constraints type 
1302.24/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
1302.24/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24795
1302.24/1300.03	s UNKNOWN
1302.24/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-3265296-1303579657/watcher-3265296-1303579657 -o /tmp/evaluation-result-3265296-1303579657/solver-3265296-1303579657 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265296-1303579657.cnf 

running on 2 cores: 0,2

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: 4.00 4.01 3.88 3/180 9905
/proc/meminfo: memFree=18622792/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=23028 CPUtime=0 cores=0,2
/proc/9905/stat : 9905 (java) R 9903 9905 9649 0 -1 4202496 885 0 0 0 0 0 0 0 24 0 1 0 469565351 23580672 628 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274659845888 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9905/statm: 5757 641 473 9 0 124 0

[startup+0.0598469 s]
/proc/loadavg: 4.00 4.01 3.88 3/180 9905
/proc/meminfo: memFree=18622792/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7569648 CPUtime=0.05 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 9143 0 1 0 4 1 0 0 24 0 18 0 469565351 7751319552 8839 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1892412 8839 1730 9 0 1883155 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569648

[startup+0.100826 s]
/proc/loadavg: 4.00 4.01 3.88 3/180 9905
/proc/meminfo: memFree=18622792/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7636532 CPUtime=0.09 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 10347 0 1 0 8 1 0 0 24 0 18 0 469565351 7819808768 10044 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1909133 10057 2093 9 0 1899871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636532

[startup+0.303853 s]
/proc/loadavg: 4.00 4.01 3.88 3/180 9905
/proc/meminfo: memFree=18622792/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7643620 CPUtime=0.48 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 13504 0 1 0 46 2 0 0 24 0 19 0 469565351 7827066880 12411 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910905 12411 2213 9 0 1901643 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7643620

[startup+0.700688 s]
/proc/loadavg: 4.00 4.01 3.88 3/180 9905
/proc/meminfo: memFree=18622792/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7643620 CPUtime=0.94 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 14882 0 1 0 92 2 0 0 24 0 19 0 469565351 7827066880 13214 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910905 13214 2223 9 0 1901643 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 7643620

[startup+1.50165 s]
/proc/loadavg: 4.00 4.01 3.88 8/260 10010
/proc/meminfo: memFree=18388780/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7643620 CPUtime=1.76 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 18216 0 1 0 174 2 0 0 24 0 19 0 469565351 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910905 16379 2254 9 0 1901643 0
[pid=9905/tid=9907] ppid=9903 vsize=7643620 CPUtime=1.23 cores=0,2
/proc/9905/task/9907/stat : 9907 (java) R 9903 9905 9649 0 -1 4202560 10008 0 1 0 122 1 0 0 25 0 19 0 469565351 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 46912505602268 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9905/tid=9919] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9919/stat : 9919 (java) S 9903 9905 9649 0 -1 4202560 858 0 0 0 0 0 0 0 16 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9920] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9920/stat : 9920 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9921] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9921/stat : 9921 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9922] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9922/stat : 9922 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9923] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9923/stat : 9923 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9924] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9924/stat : 9924 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9925] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9925/stat : 9925 (java) S 9903 9905 9649 0 -1 4202560 416 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9926] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9926/stat : 9926 (java) S 9903 9905 9649 0 -1 4202560 453 0 0 0 0 0 0 0 16 0 19 0 469565353 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9936] ppid=9903 vsize=7643620 CPUtime=0.02 cores=0,2
/proc/9905/task/9936/stat : 9936 (java) S 9903 9905 9649 0 -1 4202560 1324 0 0 0 2 0 0 0 15 0 19 0 469565354 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 0 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9939] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9939/stat : 9939 (java) S 9903 9905 9649 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 469565354 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9940] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9940/stat : 9940 (java) S 9903 9905 9649 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 469565354 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9943] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9943/stat : 9943 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 469565356 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676631985 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9945] ppid=9903 vsize=7643620 CPUtime=0.2 cores=0,2
/proc/9905/task/9945/stat : 9945 (java) S 9903 9905 9649 0 -1 4202560 1585 0 0 0 20 0 0 0 16 0 19 0 469565356 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9948] ppid=9903 vsize=7643620 CPUtime=0.27 cores=0,2
/proc/9905/task/9948/stat : 9948 (java) S 9903 9905 9649 0 -1 4202560 2417 0 0 0 27 0 0 0 15 0 19 0 469565356 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9949] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9949/stat : 9949 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 469565356 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9950] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9950/stat : 9950 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565356 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9958] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9958/stat : 9958 (java) S 9903 9905 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565372 7827066880 16379 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 7643620

[startup+3.10136 s]
/proc/loadavg: 4.08 4.02 3.89 6/260 10010
/proc/meminfo: memFree=18344016/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7643620 CPUtime=3.36 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 19083 0 1 0 334 2 0 0 24 0 19 0 469565351 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910905 17244 2254 9 0 1901643 0
[pid=9905/tid=9907] ppid=9903 vsize=7643620 CPUtime=2.75 cores=0,2
/proc/9905/task/9907/stat : 9907 (java) R 9903 9905 9649 0 -1 4202560 10010 0 1 0 274 1 0 0 25 0 19 0 469565351 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 46912505602006 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9905/tid=9919] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9919/stat : 9919 (java) S 9903 9905 9649 0 -1 4202560 858 0 0 0 0 0 0 0 16 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9920] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9920/stat : 9920 (java) S 9903 9905 9649 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9921] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9921/stat : 9921 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9922] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9922/stat : 9922 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9923] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9923/stat : 9923 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9924] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9924/stat : 9924 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9925] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9925/stat : 9925 (java) S 9903 9905 9649 0 -1 4202560 688 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9926] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9926/stat : 9926 (java) S 9903 9905 9649 0 -1 4202560 453 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9936] ppid=9903 vsize=7643620 CPUtime=0.06 cores=0,2
/proc/9905/task/9936/stat : 9936 (java) S 9903 9905 9649 0 -1 4202560 1765 0 0 0 6 0 0 0 15 0 19 0 469565354 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 0 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9939] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9939/stat : 9939 (java) S 9903 9905 9649 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 469565354 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9940] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9940/stat : 9940 (java) S 9903 9905 9649 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 469565354 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9943] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9943/stat : 9943 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 469565356 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676631985 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9945] ppid=9903 vsize=7643620 CPUtime=0.2 cores=0,2
/proc/9905/task/9945/stat : 9945 (java) S 9903 9905 9649 0 -1 4202560 1585 0 0 0 20 0 0 0 16 0 19 0 469565356 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9948] ppid=9903 vsize=7643620 CPUtime=0.3 cores=0,2
/proc/9905/task/9948/stat : 9948 (java) S 9903 9905 9649 0 -1 4202560 2423 0 0 0 30 0 0 0 15 0 19 0 469565356 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9949] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9949/stat : 9949 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 469565356 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9950] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9950/stat : 9950 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565356 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9958] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9958/stat : 9958 (java) S 9903 9905 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565372 7827066880 17244 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 7643620

[startup+6.30082 s]
/proc/loadavg: 4.08 4.02 3.89 8/260 10010
/proc/meminfo: memFree=18263664/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7643620 CPUtime=6.56 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 21094 0 1 0 653 3 0 0 24 0 19 0 469565351 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910905 19205 2254 9 0 1901643 0
[pid=9905/tid=9907] ppid=9903 vsize=7643620 CPUtime=5.87 cores=0,2
/proc/9905/task/9907/stat : 9907 (java) R 9903 9905 9649 0 -1 4202560 10014 0 1 0 585 2 0 0 18 0 19 0 469565351 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 46912505602327 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9905/tid=9919] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9919/stat : 9919 (java) S 9903 9905 9649 0 -1 4202560 1138 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9920] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9920/stat : 9920 (java) S 9903 9905 9649 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9921] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9921/stat : 9921 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9922] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9922/stat : 9922 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9923] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9923/stat : 9923 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9924] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9924/stat : 9924 (java) S 9903 9905 9649 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9925] ppid=9903 vsize=7643620 CPUtime=0.01 cores=0,2
/proc/9905/task/9925/stat : 9925 (java) S 9903 9905 9649 0 -1 4202560 906 0 0 0 1 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9926] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9926/stat : 9926 (java) S 9903 9905 9649 0 -1 4202560 453 0 0 0 0 0 0 0 15 0 19 0 469565353 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9936] ppid=9903 vsize=7643620 CPUtime=0.12 cores=0,2
/proc/9905/task/9936/stat : 9936 (java) S 9903 9905 9649 0 -1 4202560 3002 0 0 0 12 0 0 0 16 0 19 0 469565354 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 0 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9939] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9939/stat : 9939 (java) S 9903 9905 9649 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 469565354 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9940] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9940/stat : 9940 (java) S 9903 9905 9649 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 469565354 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9943] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9943/stat : 9943 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 469565356 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676631985 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9945] ppid=9903 vsize=7643620 CPUtime=0.2 cores=0,2
/proc/9905/task/9945/stat : 9945 (java) S 9903 9905 9649 0 -1 4202560 1585 0 0 0 20 0 0 0 16 0 19 0 469565356 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9948] ppid=9903 vsize=7643620 CPUtime=0.3 cores=0,2
/proc/9905/task/9948/stat : 9948 (java) S 9903 9905 9649 0 -1 4202560 2423 0 0 0 30 0 0 0 15 0 19 0 469565356 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9949] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9949/stat : 9949 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 469565356 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9950] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9950/stat : 9950 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 469565356 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9958] ppid=9903 vsize=7643620 CPUtime=0 cores=0,2
/proc/9905/task/9958/stat : 9958 (java) S 9903 9905 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565372 7827066880 19205 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 7643620

[startup+12.7007 s]

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

[pid=9905/tid=9924] ppid=9903 vsize=7641960 CPUtime=0.41 cores=0,2
/proc/9905/task/9924/stat : 9924 (java) S 9903 9905 9649 0 -1 4202560 1711 0 0 0 41 0 0 0 15 0 19 0 469565353 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9925] ppid=9903 vsize=7641960 CPUtime=0.42 cores=0,2
/proc/9905/task/9925/stat : 9925 (java) S 9903 9905 9649 0 -1 4202560 1588 0 0 0 42 0 0 0 15 0 19 0 469565353 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9926] ppid=9903 vsize=7641960 CPUtime=0.45 cores=0,2
/proc/9905/task/9926/stat : 9926 (java) S 9903 9905 9649 0 -1 4202560 1082 0 0 0 45 0 0 0 15 0 19 0 469565353 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9936] ppid=9903 vsize=7641960 CPUtime=10.22 cores=0,2
/proc/9905/task/9936/stat : 9936 (java) S 9903 9905 9649 0 -1 4202560 15716 0 0 0 1018 4 0 0 15 0 19 0 469565354 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 0 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9939] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9939/stat : 9939 (java) S 9903 9905 9649 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9940] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9940/stat : 9940 (java) S 9903 9905 9649 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9943] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9943/stat : 9943 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 469565356 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676631985 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9945] ppid=9903 vsize=7641960 CPUtime=0.2 cores=0,2
/proc/9905/task/9945/stat : 9945 (java) S 9903 9905 9649 0 -1 4202560 1585 0 0 0 20 0 0 0 16 0 19 0 469565356 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9948] ppid=9903 vsize=7641960 CPUtime=0.32 cores=0,2
/proc/9905/task/9948/stat : 9948 (java) S 9903 9905 9649 0 -1 4202560 2429 0 0 0 32 0 0 0 15 0 19 0 469565356 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9949] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9949/stat : 9949 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 469565356 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9950] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9950/stat : 9950 (java) S 9903 9905 9649 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 469565356 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9958] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9958/stat : 9958 (java) S 9903 9905 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565372 7825367040 43258 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1124.28
Current children cumulated vsize (KiB) 7641960

[startup+1182.3 s]
/proc/loadavg: 4.04 4.03 3.95 5/260 10041
/proc/meminfo: memFree=17988904/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7641960 CPUtime=1184.37 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 46105 0 1 0 118424 13 0 0 24 0 19 0 469565351 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910490 43426 2255 9 0 1901228 0
[pid=9905/tid=9907] ppid=9903 vsize=7641960 CPUtime=1169.17 cores=0,2
/proc/9905/task/9907/stat : 9907 (java) R 9903 9905 9649 0 -1 4202560 14598 0 1 0 116912 5 0 0 25 0 19 0 469565351 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 46912505616191 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9905/tid=9919] ppid=9903 vsize=7641960 CPUtime=0.45 cores=0,2
/proc/9905/task/9919/stat : 9919 (java) S 9903 9905 9649 0 -1 4202560 2796 0 0 0 45 0 0 0 15 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9920] ppid=9903 vsize=7641960 CPUtime=0.56 cores=0,2
/proc/9905/task/9920/stat : 9920 (java) S 9903 9905 9649 0 -1 4202560 894 0 0 0 56 0 0 0 15 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9921] ppid=9903 vsize=7641960 CPUtime=0.5 cores=0,2
/proc/9905/task/9921/stat : 9921 (java) S 9903 9905 9649 0 -1 4202560 1036 0 0 0 50 0 0 0 16 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9922] ppid=9903 vsize=7641960 CPUtime=0.49 cores=0,2
/proc/9905/task/9922/stat : 9922 (java) S 9903 9905 9649 0 -1 4202560 473 0 0 0 49 0 0 0 15 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9923] ppid=9903 vsize=7641960 CPUtime=0.5 cores=0,2
/proc/9905/task/9923/stat : 9923 (java) S 9903 9905 9649 0 -1 4202560 808 0 0 0 50 0 0 0 15 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9924] ppid=9903 vsize=7641960 CPUtime=0.43 cores=0,2
/proc/9905/task/9924/stat : 9924 (java) S 9903 9905 9649 0 -1 4202560 1711 0 0 0 43 0 0 0 15 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9925] ppid=9903 vsize=7641960 CPUtime=0.44 cores=0,2
/proc/9905/task/9925/stat : 9925 (java) S 9903 9905 9649 0 -1 4202560 1588 0 0 0 44 0 0 0 15 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9926] ppid=9903 vsize=7641960 CPUtime=0.46 cores=0,2
/proc/9905/task/9926/stat : 9926 (java) S 9903 9905 9649 0 -1 4202560 1082 0 0 0 46 0 0 0 15 0 19 0 469565353 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9936] ppid=9903 vsize=7641960 CPUtime=10.74 cores=0,2
/proc/9905/task/9936/stat : 9936 (java) S 9903 9905 9649 0 -1 4202560 15888 0 0 0 1070 4 0 0 15 0 19 0 469565354 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 0 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9939] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9939/stat : 9939 (java) S 9903 9905 9649 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9940] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9940/stat : 9940 (java) S 9903 9905 9649 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9943] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9943/stat : 9943 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 469565356 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676631985 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9945] ppid=9903 vsize=7641960 CPUtime=0.2 cores=0,2
/proc/9905/task/9945/stat : 9945 (java) S 9903 9905 9649 0 -1 4202560 1585 0 0 0 20 0 0 0 16 0 19 0 469565356 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9948] ppid=9903 vsize=7641960 CPUtime=0.32 cores=0,2
/proc/9905/task/9948/stat : 9948 (java) S 9903 9905 9649 0 -1 4202560 2429 0 0 0 32 0 0 0 15 0 19 0 469565356 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9949] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9949/stat : 9949 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 469565356 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9950] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9950/stat : 9950 (java) S 9903 9905 9649 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 469565356 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9958] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9958/stat : 9958 (java) S 9903 9905 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565372 7825367040 43426 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1184.37
Current children cumulated vsize (KiB) 7641960

[startup+1242.3 s]
/proc/loadavg: 4.29 4.09 3.97 5/260 10043
/proc/meminfo: memFree=17981552/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7641960 CPUtime=1244.44 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 46442 0 1 0 124431 13 0 0 24 0 19 0 469565351 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910490 43745 2255 9 0 1901228 0
[pid=9905/tid=9907] ppid=9903 vsize=7641960 CPUtime=1228.59 cores=0,2
/proc/9905/task/9907/stat : 9907 (java) R 9903 9905 9649 0 -1 4202560 14608 0 1 0 122854 5 0 0 25 0 19 0 469565351 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 46912505625474 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9905/tid=9919] ppid=9903 vsize=7641960 CPUtime=0.48 cores=0,2
/proc/9905/task/9919/stat : 9919 (java) S 9903 9905 9649 0 -1 4202560 2796 0 0 0 48 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9920] ppid=9903 vsize=7641960 CPUtime=0.58 cores=0,2
/proc/9905/task/9920/stat : 9920 (java) S 9903 9905 9649 0 -1 4202560 895 0 0 0 58 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9921] ppid=9903 vsize=7641960 CPUtime=0.51 cores=0,2
/proc/9905/task/9921/stat : 9921 (java) S 9903 9905 9649 0 -1 4202560 1036 0 0 0 51 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9922] ppid=9903 vsize=7641960 CPUtime=0.51 cores=0,2
/proc/9905/task/9922/stat : 9922 (java) S 9903 9905 9649 0 -1 4202560 473 0 0 0 51 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9923] ppid=9903 vsize=7641960 CPUtime=0.52 cores=0,2
/proc/9905/task/9923/stat : 9923 (java) S 9903 9905 9649 0 -1 4202560 808 0 0 0 52 0 0 0 16 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9924] ppid=9903 vsize=7641960 CPUtime=0.44 cores=0,2
/proc/9905/task/9924/stat : 9924 (java) S 9903 9905 9649 0 -1 4202560 1711 0 0 0 44 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9925] ppid=9903 vsize=7641960 CPUtime=0.46 cores=0,2
/proc/9905/task/9925/stat : 9925 (java) S 9903 9905 9649 0 -1 4202560 1588 0 0 0 46 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9926] ppid=9903 vsize=7641960 CPUtime=0.48 cores=0,2
/proc/9905/task/9926/stat : 9926 (java) S 9903 9905 9649 0 -1 4202560 1082 0 0 0 48 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9936] ppid=9903 vsize=7641960 CPUtime=11.24 cores=0,2
/proc/9905/task/9936/stat : 9936 (java) S 9903 9905 9649 0 -1 4202560 16210 0 0 0 1120 4 0 0 15 0 19 0 469565354 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 0 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9939] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9939/stat : 9939 (java) S 9903 9905 9649 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9940] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9940/stat : 9940 (java) S 9903 9905 9649 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9943] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9943/stat : 9943 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676631985 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9945] ppid=9903 vsize=7641960 CPUtime=0.2 cores=0,2
/proc/9905/task/9945/stat : 9945 (java) S 9903 9905 9649 0 -1 4202560 1585 0 0 0 20 0 0 0 16 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9948] ppid=9903 vsize=7641960 CPUtime=0.32 cores=0,2
/proc/9905/task/9948/stat : 9948 (java) S 9903 9905 9649 0 -1 4202560 2429 0 0 0 32 0 0 0 15 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9949] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9949/stat : 9949 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9950] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9950/stat : 9950 (java) S 9903 9905 9649 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9958] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9958/stat : 9958 (java) S 9903 9905 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565372 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1244.44
Current children cumulated vsize (KiB) 7641960



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.16 4.08 3.97 6/263 10048
/proc/meminfo: memFree=17976904/32951132 swapFree=67111528/67111528
[pid=9905] ppid=9903 vsize=7641960 CPUtime=1302.24 cores=0,2
/proc/9905/stat : 9905 (java) S 9903 9905 9649 0 -1 4202496 46460 0 1 0 130211 13 0 0 24 0 19 0 469565351 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9905/statm: 1910490 43745 2255 9 0 1901228 0
[pid=9905/tid=9907] ppid=9903 vsize=7641960 CPUtime=1285.59 cores=0,2
/proc/9905/task/9907/stat : 9907 (java) R 9903 9905 9649 0 -1 4202560 14620 0 1 0 128553 6 0 0 25 0 19 0 469565351 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 46912505585015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9905/tid=9919] ppid=9903 vsize=7641960 CPUtime=0.5 cores=0,2
/proc/9905/task/9919/stat : 9919 (java) S 9903 9905 9649 0 -1 4202560 2796 0 0 0 50 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9920] ppid=9903 vsize=7641960 CPUtime=0.6 cores=0,2
/proc/9905/task/9920/stat : 9920 (java) S 9903 9905 9649 0 -1 4202560 895 0 0 0 60 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9921] ppid=9903 vsize=7641960 CPUtime=0.53 cores=0,2
/proc/9905/task/9921/stat : 9921 (java) S 9903 9905 9649 0 -1 4202560 1036 0 0 0 53 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9922] ppid=9903 vsize=7641960 CPUtime=0.55 cores=0,2
/proc/9905/task/9922/stat : 9922 (java) S 9903 9905 9649 0 -1 4202560 473 0 0 0 55 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9923] ppid=9903 vsize=7641960 CPUtime=0.55 cores=0,2
/proc/9905/task/9923/stat : 9923 (java) S 9903 9905 9649 0 -1 4202560 808 0 0 0 55 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9924] ppid=9903 vsize=7641960 CPUtime=0.47 cores=0,2
/proc/9905/task/9924/stat : 9924 (java) S 9903 9905 9649 0 -1 4202560 1711 0 0 0 47 0 0 0 16 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9925] ppid=9903 vsize=7641960 CPUtime=0.49 cores=0,2
/proc/9905/task/9925/stat : 9925 (java) S 9903 9905 9649 0 -1 4202560 1588 0 0 0 49 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9926] ppid=9903 vsize=7641960 CPUtime=0.49 cores=0,2
/proc/9905/task/9926/stat : 9926 (java) S 9903 9905 9649 0 -1 4202560 1082 0 0 0 49 0 0 0 15 0 19 0 469565353 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9936] ppid=9903 vsize=7641960 CPUtime=11.86 cores=0,2
/proc/9905/task/9936/stat : 9936 (java) S 9903 9905 9649 0 -1 4202560 16212 0 0 0 1181 5 0 0 15 0 19 0 469565354 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 0 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9939] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9939/stat : 9939 (java) S 9903 9905 9649 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9940] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9940/stat : 9940 (java) S 9903 9905 9649 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 469565354 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9943] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9943/stat : 9943 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676631985 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9945] ppid=9903 vsize=7641960 CPUtime=0.2 cores=0,2
/proc/9905/task/9945/stat : 9945 (java) S 9903 9905 9649 0 -1 4202560 1585 0 0 0 20 0 0 0 16 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9948] ppid=9903 vsize=7641960 CPUtime=0.32 cores=0,2
/proc/9905/task/9948/stat : 9948 (java) S 9903 9905 9649 0 -1 4202560 2429 0 0 0 32 0 0 0 15 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 0 0 0 0
[pid=9905/tid=9949] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9949/stat : 9949 (java) S 9903 9905 9649 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624281 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9950] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9950/stat : 9950 (java) S 9903 9905 9649 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 469565356 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
[pid=9905/tid=9958] ppid=9903 vsize=7641960 CPUtime=0 cores=0,2
/proc/9905/task/9958/stat : 9958 (java) S 9903 9905 9649 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 469565372 7825367040 43745 33554432000 1073741824 1073778376 140734193643696 18446744073709551615 274676624896 0 4 0 16800975 18446604451326040000 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 7641960

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.3
CPU user time (s): 1302.16
CPU system time (s): 0.146977
CPU usage (%): 100.174
Max. virtual memory (cumulated for all children) (KiB): 7643620

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

runsolver used 2.26666 second user time and 4.86926 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-23 19:27:37
IDJOB=3265296
IDBENCH=85538
IDSOLVER=1611
FILE ID=node131/3265296-1303579657
RUNJOBID= node131-1303578355-9667
PBS_JOBID= 13150336
Free space on /tmp= 72044 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-030-029.shuffled-as.sat05-1234.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-3265296-1303579657/watcher-3265296-1303579657 -o /tmp/evaluation-result-3265296-1303579657/solver-3265296-1303579657 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265296-1303579657.cnf

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

MD5SUM BENCH= c12aa6a0ac1bca448bef51c167f3bbbb
RANDOM SEED=1015274743

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      18622784 kB
Buffers:        992344 kB
Cached:       12751660 kB
SwapCached:          0 kB
Active:        4211620 kB
Inactive:      9602480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18622784 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             932 kB
Writeback:           4 kB
AnonPages:       69392 kB
Mapped:          17624 kB
Slab:           450656 kB
PageTables:       5168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   222924 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72040 MiB
End job on node131 at 2011-04-23 19:49:19