Trace number 3264504

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.74 1300.03

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d-0.02/
connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf
MD5SUM287d3b23c6f72107e24ae4186653564e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark950.907
Satisfiable
(Un)Satisfiability was proved
Number of variables1124
Number of clauses13289
Sum of the clauses size40148
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 313008
Number of clauses of size 4281
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.07/0.10	c --- Begin Solver configuration ---
0.07/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.07/0.10	c Learn all clauses as in MiniSAT
0.07/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.10	c Expensive reason simplification
0.07/0.10	c Armin Biere (Picosat) restarts strategy
0.07/0.10	c Glucose learned constraints deletion strategy
0.07/0.10	c timeout=2147483647s
0.07/0.10	c DB Simplification allowed=true
0.07/0.10	c --- End Solver configuration ---
0.07/0.10	c solving HOME/instance-3264504-1303576707.cnf
0.07/0.10	c reading problem ... 
0.07/0.20	c ... done. Wall clock time 0.075s.
0.07/0.20	c #vars     1124
0.07/0.20	c #constraints  13289
0.07/0.20	c constraints type 
0.07/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13289
0.94/0.70	c cleaning 2499 clauses out of 5000 with flag 5000/5000
1.76/1.28	c cleaning 4238 clauses out of 8503 with flag 11002/11002
2.66/2.18	c cleaning 5624 clauses out of 11263 with flag 18000/18000
3.87/3.37	c cleaning 6806 clauses out of 13640 with flag 26001/26001
5.38/4.87	c cleaning 7900 clauses out of 15833 with flag 35000/35000
7.08/6.59	c cleaning 8957 clauses out of 17936 with flag 45003/45003
9.39/8.81	c cleaning 9979 clauses out of 19976 with flag 56000/56000
11.89/11.32	c cleaning 10992 clauses out of 21997 with flag 68000/68000
15.30/14.52	c cleaning 11999 clauses out of 24006 with flag 81001/81001
19.07/18.06	c cleaning 13000 clauses out of 26007 with flag 95001/95001
23.40/22.04	c cleaning 13498 clauses out of 27006 with flag 109000/109000
27.20/25.89	c cleaning 13740 clauses out of 27508 with flag 123000/123000
31.40/30.10	c cleaning 13876 clauses out of 27769 with flag 137001/137001
35.11/33.73	c cleaning 13939 clauses out of 27892 with flag 151000/151000
39.01/37.64	c cleaning 13963 clauses out of 27953 with flag 165000/165000
42.81/41.41	c cleaning 13988 clauses out of 27992 with flag 179002/179002
46.91/45.53	c cleaning 13999 clauses out of 28006 with flag 193004/193004
50.82/49.43	c cleaning 13994 clauses out of 28003 with flag 207000/207000
54.92/53.59	c cleaning 13997 clauses out of 28010 with flag 221001/221001
58.82/57.49	c cleaning 13989 clauses out of 28012 with flag 235000/235000
62.62/61.22	c cleaning 13998 clauses out of 28023 with flag 249000/249000
66.72/65.33	c cleaning 13997 clauses out of 28025 with flag 263000/263000
70.52/69.13	c cleaning 13995 clauses out of 28028 with flag 277000/277000
74.32/72.97	c cleaning 14002 clauses out of 28035 with flag 291002/291002
77.92/76.54	c cleaning 13998 clauses out of 28032 with flag 305001/305001
82.12/80.76	c cleaning 14002 clauses out of 28033 with flag 319000/319000
86.42/85.05	c cleaning 14002 clauses out of 28031 with flag 333000/333000
90.42/89.06	c cleaning 13999 clauses out of 28030 with flag 347001/347001
94.72/93.31	c cleaning 13993 clauses out of 28030 with flag 361000/361000
98.82/97.42	c cleaning 14009 clauses out of 28037 with flag 375000/375000
103.12/101.73	c cleaning 14010 clauses out of 28028 with flag 389000/389000
107.62/106.26	c cleaning 13999 clauses out of 28018 with flag 403000/403000
111.62/110.20	c cleaning 14004 clauses out of 28020 with flag 417001/417001
115.33/113.91	c cleaning 14001 clauses out of 28016 with flag 431001/431001
119.03/117.64	c cleaning 14004 clauses out of 28016 with flag 445002/445002
122.83/121.49	c cleaning 13995 clauses out of 28011 with flag 459001/459001
127.13/125.75	c cleaning 14001 clauses out of 28015 with flag 473000/473000
131.13/129.80	c cleaning 13992 clauses out of 28014 with flag 487000/487000
135.13/133.74	c cleaning 14006 clauses out of 28023 with flag 501001/501001
139.23/137.88	c cleaning 14005 clauses out of 28016 with flag 515000/515000
143.63/142.23	c cleaning 13999 clauses out of 28013 with flag 529002/529002
148.13/146.76	c cleaning 14000 clauses out of 28013 with flag 543001/543001
151.93/150.54	c cleaning 13993 clauses out of 28012 with flag 557000/557000
155.73/154.38	c cleaning 14003 clauses out of 28021 with flag 571002/571002
159.73/158.33	c cleaning 13990 clauses out of 28017 with flag 585001/585001
163.53/162.19	c cleaning 14003 clauses out of 28026 with flag 599000/599000
167.64/166.22	c cleaning 14007 clauses out of 28026 with flag 613003/613003
171.33/169.97	c cleaning 13991 clauses out of 28016 with flag 627000/627000
175.63/174.24	c cleaning 14004 clauses out of 28025 with flag 641000/641000
179.93/178.57	c cleaning 13999 clauses out of 28021 with flag 655000/655000
184.53/183.19	c cleaning 14001 clauses out of 28022 with flag 669000/669000
188.93/187.53	c cleaning 13998 clauses out of 28021 with flag 683000/683000
193.23/191.83	c cleaning 14005 clauses out of 28023 with flag 697000/697000
197.34/195.93	c cleaning 13997 clauses out of 28018 with flag 711000/711000
201.64/200.27	c cleaning 13998 clauses out of 28021 with flag 725000/725000
206.33/204.90	c cleaning 14000 clauses out of 28024 with flag 739001/739001
210.93/209.51	c cleaning 13995 clauses out of 28023 with flag 753000/753000
215.04/213.65	c cleaning 14006 clauses out of 28030 with flag 767002/767002
218.84/217.43	c cleaning 13996 clauses out of 28024 with flag 781002/781002
223.24/221.87	c cleaning 13995 clauses out of 28027 with flag 795001/795001
227.74/226.34	c cleaning 14015 clauses out of 28034 with flag 809003/809003
232.34/230.95	c cleaning 13992 clauses out of 28016 with flag 823000/823000
236.04/234.62	c cleaning 14000 clauses out of 28026 with flag 837002/837002
240.14/238.73	c cleaning 14008 clauses out of 28025 with flag 851001/851001
244.44/243.05	c cleaning 13993 clauses out of 28017 with flag 865001/865001
248.74/247.39	c cleaning 13989 clauses out of 28023 with flag 879000/879000
253.54/252.19	c cleaning 14005 clauses out of 28036 with flag 893002/893002
258.44/257.06	c cleaning 14010 clauses out of 28033 with flag 907004/907004
262.54/261.16	c cleaning 13994 clauses out of 28019 with flag 921000/921000
266.74/265.30	c cleaning 13997 clauses out of 28026 with flag 935001/935001
271.05/269.63	c cleaning 13995 clauses out of 28029 with flag 949001/949001
275.24/273.88	c cleaning 13994 clauses out of 28033 with flag 963000/963000
279.86/278.41	c cleaning 13996 clauses out of 28039 with flag 977000/977000
284.17/282.74	c cleaning 13997 clauses out of 28044 with flag 991001/991001
288.26/286.86	c cleaning 14012 clauses out of 28048 with flag 1005002/1005002
292.36/290.99	c cleaning 13999 clauses out of 28035 with flag 1019001/1019001
296.16/294.80	c cleaning 14014 clauses out of 28037 with flag 1033002/1033002
300.26/298.86	c cleaning 13993 clauses out of 28022 with flag 1047001/1047001
304.07/302.63	c cleaning 14003 clauses out of 28028 with flag 1061000/1061000
308.06/306.62	c cleaning 14007 clauses out of 28027 with flag 1075002/1075002
312.16/310.76	c cleaning 14000 clauses out of 28018 with flag 1089000/1089000
316.96/315.55	c cleaning 13999 clauses out of 28018 with flag 1103000/1103000
321.37/319.92	c cleaning 14002 clauses out of 28019 with flag 1117000/1117000
325.17/323.74	c cleaning 13986 clauses out of 28018 with flag 1131001/1131001
329.37/327.97	c cleaning 13996 clauses out of 28032 with flag 1145001/1145001
334.07/332.64	c cleaning 14004 clauses out of 28036 with flag 1159001/1159001
338.57/337.17	c cleaning 14000 clauses out of 28032 with flag 1173001/1173001
342.97/341.53	c cleaning 13995 clauses out of 28031 with flag 1187000/1187000
346.98/345.58	c cleaning 14007 clauses out of 28036 with flag 1201000/1201000
351.47/350.00	c cleaning 14003 clauses out of 28029 with flag 1215000/1215000
356.07/354.65	c cleaning 14005 clauses out of 28026 with flag 1229000/1229000
360.27/358.89	c cleaning 14000 clauses out of 28021 with flag 1243000/1243000
364.37/362.97	c cleaning 13999 clauses out of 28021 with flag 1257000/1257000
368.57/367.14	c cleaning 13996 clauses out of 28022 with flag 1271000/1271000
372.78/371.36	c cleaning 13994 clauses out of 28026 with flag 1285000/1285000
377.28/375.85	c cleaning 13994 clauses out of 28032 with flag 1299000/1299000
381.88/380.47	c cleaning 14001 clauses out of 28038 with flag 1313000/1313000
386.68/385.24	c cleaning 14002 clauses out of 28037 with flag 1327000/1327000
391.57/390.15	c cleaning 13994 clauses out of 28035 with flag 1341000/1341000
396.17/394.74	c cleaning 14014 clauses out of 28044 with flag 1355003/1355003
400.28/398.82	c cleaning 13996 clauses out of 28027 with flag 1369000/1369000
404.48/403.01	c cleaning 14008 clauses out of 28034 with flag 1383003/1383003
408.58/407.15	c cleaning 13992 clauses out of 28025 with flag 1397002/1397002
413.28/411.83	c cleaning 14006 clauses out of 28032 with flag 1411001/1411001
417.88/416.41	c cleaning 13996 clauses out of 28025 with flag 1425000/1425000
422.48/421.08	c cleaning 14001 clauses out of 28029 with flag 1439000/1439000
427.19/425.77	c cleaning 14006 clauses out of 28028 with flag 1453000/1453000
431.78/430.35	c cleaning 13992 clauses out of 28023 with flag 1467001/1467001
436.18/434.76	c cleaning 14001 clauses out of 28031 with flag 1481001/1481001
440.88/439.48	c cleaning 14008 clauses out of 28031 with flag 1495002/1495002
445.09/443.62	c cleaning 13997 clauses out of 28021 with flag 1509000/1509000
449.29/447.85	c cleaning 14001 clauses out of 28025 with flag 1523001/1523001
453.98/452.55	c cleaning 13990 clauses out of 28023 with flag 1537000/1537000
458.59/457.18	c cleaning 14003 clauses out of 28033 with flag 1551000/1551000
463.38/461.93	c cleaning 14001 clauses out of 28030 with flag 1565000/1565000
468.09/466.68	c cleaning 13999 clauses out of 28029 with flag 1579000/1579000
472.79/471.36	c cleaning 14003 clauses out of 28031 with flag 1593001/1593001
477.29/475.89	c cleaning 14002 clauses out of 28027 with flag 1607000/1607000
481.79/480.34	c cleaning 13993 clauses out of 28026 with flag 1621001/1621001
486.69/485.28	c cleaning 14006 clauses out of 28033 with flag 1635001/1635001
491.69/490.29	c cleaning 13993 clauses out of 28027 with flag 1649001/1649001
496.39/494.95	c cleaning 14012 clauses out of 28036 with flag 1663003/1663003
500.59/499.10	c cleaning 13995 clauses out of 28022 with flag 1677001/1677001
505.19/503.72	c cleaning 13987 clauses out of 28026 with flag 1691000/1691000
509.80/508.36	c cleaning 14005 clauses out of 28039 with flag 1705000/1705000
514.49/513.06	c cleaning 13995 clauses out of 28034 with flag 1719000/1719000
519.19/517.70	c cleaning 13995 clauses out of 28040 with flag 1733001/1733001
523.90/522.43	c cleaning 14009 clauses out of 28044 with flag 1747000/1747000
528.80/527.36	c cleaning 14004 clauses out of 28035 with flag 1761000/1761000
533.60/532.10	c cleaning 14006 clauses out of 28031 with flag 1775000/1775000
538.41/536.91	c cleaning 14002 clauses out of 28025 with flag 1789000/1789000
543.40/541.93	c cleaning 14002 clauses out of 28023 with flag 1803000/1803000
548.50/547.03	c cleaning 14006 clauses out of 28022 with flag 1817001/1817001
553.20/551.71	c cleaning 14002 clauses out of 28017 with flag 1831002/1831002
557.30/555.80	c cleaning 13995 clauses out of 28013 with flag 1845000/1845000
561.51/560.00	c cleaning 13993 clauses out of 28022 with flag 1859004/1859004
565.91/564.41	c cleaning 14002 clauses out of 28026 with flag 1873001/1873001
570.80/569.34	c cleaning 14008 clauses out of 28025 with flag 1887002/1887002
575.71/574.27	c cleaning 13996 clauses out of 28015 with flag 1901000/1901000
580.91/579.48	c cleaning 13999 clauses out of 28019 with flag 1915000/1915000
586.81/585.35	c cleaning 13998 clauses out of 28020 with flag 1929000/1929000
591.81/590.33	c cleaning 13991 clauses out of 28022 with flag 1943000/1943000
596.61/595.15	c cleaning 13999 clauses out of 28031 with flag 1957000/1957000
601.61/600.19	c cleaning 14001 clauses out of 28034 with flag 1971002/1971002
606.82/605.36	c cleaning 14005 clauses out of 28033 with flag 1985002/1985002
611.92/610.42	c cleaning 13995 clauses out of 28027 with flag 1999001/1999001
616.72/615.24	c cleaning 14002 clauses out of 28031 with flag 2013000/2013000
620.93/619.42	c cleaning 13991 clauses out of 28029 with flag 2027000/2027000
625.12/623.62	c cleaning 14006 clauses out of 28038 with flag 2041000/2041000
629.42/627.98	c cleaning 14002 clauses out of 28034 with flag 2055002/2055002
633.92/632.42	c cleaning 14007 clauses out of 28032 with flag 2069002/2069002
638.72/637.24	c cleaning 14001 clauses out of 28023 with flag 2083000/2083000
643.63/642.12	c cleaning 13997 clauses out of 28023 with flag 2097001/2097001
648.63/647.19	c cleaning 14006 clauses out of 28026 with flag 2111001/2111001
653.93/652.48	c cleaning 13995 clauses out of 28021 with flag 2125002/2125002
658.83/657.37	c cleaning 13990 clauses out of 28024 with flag 2139000/2139000
663.63/662.10	c cleaning 14001 clauses out of 28036 with flag 2153002/2153002
668.53/667.04	c cleaning 14000 clauses out of 28033 with flag 2167000/2167000
673.53/672.05	c cleaning 14005 clauses out of 28034 with flag 2181001/2181001
678.43/676.98	c cleaning 14002 clauses out of 28030 with flag 2195002/2195002
683.34/681.80	c cleaning 13992 clauses out of 28026 with flag 2209000/2209000
688.34/686.87	c cleaning 14010 clauses out of 28034 with flag 2223000/2223000
692.34/690.84	c cleaning 14004 clauses out of 28025 with flag 2237001/2237001
696.64/695.11	c cleaning 13995 clauses out of 28020 with flag 2251000/2251000
701.04/699.56	c cleaning 14009 clauses out of 28025 with flag 2265000/2265000
705.44/703.97	c cleaning 13992 clauses out of 28016 with flag 2279000/2279000
710.24/708.77	c cleaning 14010 clauses out of 28027 with flag 2293003/2293003
715.14/713.67	c cleaning 13994 clauses out of 28014 with flag 2307000/2307000
720.24/718.74	c cleaning 13994 clauses out of 28020 with flag 2321000/2321000
725.54/724.02	c cleaning 13993 clauses out of 28028 with flag 2335002/2335002
730.34/728.89	c cleaning 13993 clauses out of 28033 with flag 2349000/2349000
735.25/733.73	c cleaning 14012 clauses out of 28040 with flag 2363000/2363000
739.65/738.16	c cleaning 13998 clauses out of 28030 with flag 2377002/2377002
744.15/742.68	c cleaning 14000 clauses out of 28031 with flag 2391001/2391001
749.45/747.94	c cleaning 13999 clauses out of 28030 with flag 2405000/2405000
754.15/752.66	c cleaning 13997 clauses out of 28031 with flag 2419000/2419000
759.05/757.50	c cleaning 14012 clauses out of 28034 with flag 2433000/2433000
764.96/763.40	c cleaning 13996 clauses out of 28022 with flag 2447000/2447000
769.05/767.54	c cleaning 13997 clauses out of 28026 with flag 2461000/2461000
773.76/772.27	c cleaning 14007 clauses out of 28029 with flag 2475000/2475000
778.26/776.72	c cleaning 13999 clauses out of 28022 with flag 2489000/2489000
782.66/781.13	c cleaning 13999 clauses out of 28024 with flag 2503001/2503001
787.36/785.80	c cleaning 14005 clauses out of 28026 with flag 2517002/2517002
792.16/790.68	c cleaning 14004 clauses out of 28021 with flag 2531002/2531002
797.16/795.62	c cleaning 13986 clauses out of 28015 with flag 2545000/2545000
801.56/800.00	c cleaning 13997 clauses out of 28030 with flag 2559001/2559001
805.56/804.10	c cleaning 13998 clauses out of 28035 with flag 2573003/2573003
809.96/808.50	c cleaning 13994 clauses out of 28035 with flag 2587001/2587001
814.57/813.01	c cleaning 14011 clauses out of 28040 with flag 2601000/2601000
819.26/817.78	c cleaning 14005 clauses out of 28031 with flag 2615002/2615002
824.26/822.76	c cleaning 14009 clauses out of 28025 with flag 2629001/2629001
829.16/827.62	c cleaning 14004 clauses out of 28017 with flag 2643002/2643002
833.97/832.47	c cleaning 13994 clauses out of 28011 with flag 2657000/2657000
839.27/837.79	c cleaning 13995 clauses out of 28018 with flag 2671001/2671001
844.37/842.88	c cleaning 13998 clauses out of 28023 with flag 2685001/2685001
849.97/848.44	c cleaning 13990 clauses out of 28024 with flag 2699000/2699000
854.08/852.53	c cleaning 14002 clauses out of 28036 with flag 2713002/2713002
858.48/857.00	c cleaning 14006 clauses out of 28032 with flag 2727000/2727000
863.07/861.59	c cleaning 14001 clauses out of 28026 with flag 2741000/2741000
867.87/866.39	c cleaning 14002 clauses out of 28025 with flag 2755000/2755000
872.67/871.11	c cleaning 14002 clauses out of 28023 with flag 2769000/2769000
877.87/876.32	c cleaning 14003 clauses out of 28021 with flag 2783000/2783000
882.97/881.47	c cleaning 13999 clauses out of 28018 with flag 2797000/2797000
887.57/886.01	c cleaning 14005 clauses out of 28019 with flag 2811000/2811000
891.67/890.12	c cleaning 13998 clauses out of 28015 with flag 2825001/2825001
896.37/894.85	c cleaning 13992 clauses out of 28016 with flag 2839000/2839000
900.98/899.45	c cleaning 13997 clauses out of 28026 with flag 2853002/2853002
905.68/904.18	c cleaning 13997 clauses out of 28029 with flag 2867002/2867002
910.48/908.95	c cleaning 14004 clauses out of 28031 with flag 2881001/2881001
915.38/913.82	c cleaning 14006 clauses out of 28027 with flag 2895001/2895001
920.38/918.81	c cleaning 14001 clauses out of 28021 with flag 2909001/2909001
924.98/923.42	c cleaning 13997 clauses out of 28019 with flag 2923000/2923000
929.88/928.36	c cleaning 13991 clauses out of 28022 with flag 2937000/2937000
935.39/933.87	c cleaning 14007 clauses out of 28031 with flag 2951000/2951000
940.70/939.14	c cleaning 14005 clauses out of 28025 with flag 2965001/2965001
945.70/944.12	c cleaning 13997 clauses out of 28019 with flag 2979000/2979000
950.10/948.55	c cleaning 14008 clauses out of 28023 with flag 2993001/2993001
954.60/953.07	c cleaning 13995 clauses out of 28014 with flag 3007000/3007000
959.40/957.88	c cleaning 14003 clauses out of 28019 with flag 3021000/3021000
964.50/962.91	c cleaning 14001 clauses out of 28016 with flag 3035000/3035000
969.00/967.46	c cleaning 13994 clauses out of 28015 with flag 3049000/3049000
973.90/972.32	c cleaning 13992 clauses out of 28021 with flag 3063000/3063000
978.80/977.27	c cleaning 14004 clauses out of 28029 with flag 3077000/3077000
983.80/982.29	c cleaning 14007 clauses out of 28026 with flag 3091001/3091001
988.81/987.22	c cleaning 13999 clauses out of 28019 with flag 3105001/3105001
993.81/992.25	c cleaning 13999 clauses out of 28021 with flag 3119002/3119002
999.21/997.61	c cleaning 13996 clauses out of 28021 with flag 3133001/3133001
1004.71/1003.16	c cleaning 14009 clauses out of 28024 with flag 3147000/3147000
1010.11/1008.55	c cleaning 13999 clauses out of 28015 with flag 3161000/3161000
1015.21/1013.67	c cleaning 13995 clauses out of 28016 with flag 3175000/3175000
1020.11/1018.54	c cleaning 13990 clauses out of 28021 with flag 3189000/3189000
1025.61/1024.08	c cleaning 14007 clauses out of 28033 with flag 3203002/3203002
1030.91/1029.31	c cleaning 13997 clauses out of 28024 with flag 3217000/3217000
1035.92/1034.31	c cleaning 14005 clauses out of 28027 with flag 3231000/3231000
1041.02/1039.44	c cleaning 13983 clauses out of 28022 with flag 3245000/3245000
1045.92/1044.37	c cleaning 14012 clauses out of 28041 with flag 3259002/3259002
1051.32/1049.79	c cleaning 13997 clauses out of 28027 with flag 3273000/3273000
1055.92/1054.33	c cleaning 13999 clauses out of 28031 with flag 3287001/3287001
1059.93/1058.33	c cleaning 14007 clauses out of 28032 with flag 3301001/3301001
1064.02/1062.43	c cleaning 13999 clauses out of 28024 with flag 3315000/3315000
1068.22/1066.62	c cleaning 14002 clauses out of 28026 with flag 3329001/3329001
1072.43/1070.85	c cleaning 14006 clauses out of 28023 with flag 3343000/3343000
1076.83/1075.24	c cleaning 13995 clauses out of 28019 with flag 3357002/3357002
1081.73/1080.10	c cleaning 13992 clauses out of 28023 with flag 3371001/3371001
1086.43/1084.87	c cleaning 14005 clauses out of 28032 with flag 3385002/3385002
1090.93/1089.37	c cleaning 13999 clauses out of 28026 with flag 3399001/3399001
1095.83/1094.23	c cleaning 14003 clauses out of 28027 with flag 3413001/3413001
1100.54/1098.97	c cleaning 14002 clauses out of 28023 with flag 3427000/3427000
1105.33/1103.77	c cleaning 14001 clauses out of 28022 with flag 3441001/3441001
1110.33/1108.78	c cleaning 13995 clauses out of 28020 with flag 3455000/3455000
1115.54/1113.95	c cleaning 14000 clauses out of 28025 with flag 3469000/3469000
1120.74/1119.11	c cleaning 13985 clauses out of 28025 with flag 3483000/3483000
1126.04/1124.43	c cleaning 14013 clauses out of 28041 with flag 3497001/3497001
1131.24/1129.67	c cleaning 14005 clauses out of 28029 with flag 3511002/3511002
1136.34/1134.73	c cleaning 14000 clauses out of 28024 with flag 3525002/3525002
1141.35/1139.75	c cleaning 13993 clauses out of 28022 with flag 3539000/3539000
1146.64/1145.09	c cleaning 14000 clauses out of 28029 with flag 3553000/3553000
1151.34/1149.72	c cleaning 14013 clauses out of 28033 with flag 3567004/3567004
1156.34/1154.76	c cleaning 13995 clauses out of 28016 with flag 3581000/3581000
1160.45/1158.85	c cleaning 13994 clauses out of 28022 with flag 3595001/3595001
1164.95/1163.33	c cleaning 13996 clauses out of 28028 with flag 3609001/3609001
1168.95/1167.39	c cleaning 14004 clauses out of 28032 with flag 3623001/3623001
1173.26/1171.63	c cleaning 13997 clauses out of 28027 with flag 3637000/3637000
1177.85/1176.22	c cleaning 14008 clauses out of 28030 with flag 3651000/3651000
1182.45/1180.86	c cleaning 13999 clauses out of 28022 with flag 3665000/3665000
1187.05/1185.41	c cleaning 14008 clauses out of 28025 with flag 3679002/3679002
1192.15/1190.51	c cleaning 13994 clauses out of 28015 with flag 3693000/3693000
1196.86/1195.27	c cleaning 13995 clauses out of 28021 with flag 3707000/3707000
1201.96/1200.34	c cleaning 14005 clauses out of 28027 with flag 3721001/3721001
1206.76/1205.12	c cleaning 14003 clauses out of 28022 with flag 3735001/3735001
1211.76/1210.14	c cleaning 14003 clauses out of 28019 with flag 3749001/3749001
1216.26/1214.63	c cleaning 13982 clauses out of 28016 with flag 3763001/3763001
1221.07/1219.44	c cleaning 13996 clauses out of 28033 with flag 3777000/3777000
1225.47/1223.80	c cleaning 14001 clauses out of 28037 with flag 3791000/3791000
1230.07/1228.45	c cleaning 14001 clauses out of 28036 with flag 3805000/3805000
1234.88/1233.29	c cleaning 13998 clauses out of 28035 with flag 3819000/3819000
1239.67/1238.02	c cleaning 14005 clauses out of 28037 with flag 3833000/3833000
1244.47/1242.81	c cleaning 14001 clauses out of 28032 with flag 3847000/3847000
1249.27/1247.63	c cleaning 14009 clauses out of 28032 with flag 3861001/3861001
1254.27/1252.62	c cleaning 14003 clauses out of 28024 with flag 3875002/3875002
1259.38/1257.79	c cleaning 13997 clauses out of 28019 with flag 3889000/3889000
1264.38/1262.79	c cleaning 14001 clauses out of 28024 with flag 3903002/3903002
1269.28/1267.69	c cleaning 13990 clauses out of 28021 with flag 3917000/3917000
1274.49/1272.80	c cleaning 14007 clauses out of 28032 with flag 3931001/3931001
1279.58/1277.98	c cleaning 13997 clauses out of 28026 with flag 3945002/3945002
1284.58/1282.90	c cleaning 13992 clauses out of 28027 with flag 3959000/3959000
1289.68/1288.00	c cleaning 13987 clauses out of 28035 with flag 3973000/3973000
1293.99/1292.38	c cleaning 14004 clauses out of 28048 with flag 3987000/3987000
1297.99/1296.37	c cleaning 14012 clauses out of 28044 with flag 4001000/4001000
1301.69/1300.01	c starts		: 1990
1301.69/1300.01	c conflicts		: 4013363
1301.69/1300.01	c decisions		: 4729123
1301.69/1300.01	c propagations		: 919232276
1301.69/1300.01	c inspects		: 17649074822
1301.69/1300.01	c shortcuts		: 0
1301.69/1300.01	c learnt literals	: 0
1301.69/1300.01	c learnt binary clauses	: 52
1301.69/1300.01	c learnt ternary clauses	: 2648
1301.69/1300.01	c learnt constraints	: 4013363
1301.69/1300.01	c ignored constraints	: 0
1301.69/1300.01	c root simplifications	: 1990
1301.69/1300.01	c removed literals (reason simplification)	: 73663391
1301.69/1300.01	c reason swapping (by a shorter reason)	: 0
1301.69/1300.01	c Calls to reduceDB	: 289
1301.69/1300.01	c speed (assignments/second)	: 707192.0776037555
1301.69/1300.01	c non guided choices	136
1301.69/1300.02	c learnt constraints type 
1301.69/1300.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 52
1301.69/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26364
1301.69/1300.02	c constraints type 
1301.69/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13289
1301.69/1300.02	s UNKNOWN
1301.69/1300.02	c Total wall clock time (in seconds) : 1299.91

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-3264504-1303576707/watcher-3264504-1303576707 -o /tmp/evaluation-result-3264504-1303576707/solver-3264504-1303576707 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3264504-1303576707.cnf 

running on 2 cores: 1,3

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.38 3.87 3.87 3/178 20265
/proc/meminfo: memFree=17456308/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=252 CPUtime=0 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4194304 79 0 0 0 0 0 0 0 23 0 1 0 450086560 258048 32 33554432000 1073741824 1073778376 140736757367168 18446744073709551615 220811312775 0 2147483391 4096 0 18446744071699207358 0 0 17 1 0 0 0
/proc/20265/statm: 63 32 24 9 0 22 0

[startup+0.0858969 s]
/proc/loadavg: 3.38 3.87 3.87 3/178 20265
/proc/meminfo: memFree=17456308/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7636200 CPUtime=0.07 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 10043 0 1 0 6 1 0 0 18 0 18 0 450086560 7819468800 9738 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1909050 9741 2016 9 0 1899788 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7636200

[startup+0.200207 s]
/proc/loadavg: 3.38 3.87 3.87 3/178 20265
/proc/meminfo: memFree=17456308/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7638688 CPUtime=0.26 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 11339 0 1 0 25 1 0 0 18 0 19 0 450086560 7822016512 10920 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1909672 10920 2198 9 0 1900410 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 7638688

[startup+0.32743 s]
/proc/loadavg: 3.38 3.87 3.87 3/178 20265
/proc/meminfo: memFree=17456308/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7645468 CPUtime=0.51 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 13364 0 1 0 50 1 0 0 18 0 19 0 450086560 7828959232 12493 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1911367 12493 2214 9 0 1902105 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 7645468

[startup+0.707933 s]
/proc/loadavg: 3.38 3.87 3.87 3/178 20265
/proc/meminfo: memFree=17456308/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7645372 CPUtime=1.07 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 14092 0 1 0 105 2 0 0 18 0 19 0 450086560 7828860928 12868 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1911343 12868 2232 9 0 1902081 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 7645372

[startup+1.50126 s]
/proc/loadavg: 3.38 3.87 3.87 5/262 20359
/proc/meminfo: memFree=17236120/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7662684 CPUtime=2.06 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 21582 0 1 0 203 3 0 0 18 0 19 0 450086560 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1915671 18420 2254 9 0 1906409 0
[pid=20265/tid=20273] ppid=20263 vsize=7662684 CPUtime=1.43 cores=1,3
/proc/20265/task/20273/stat : 20273 (java) R 20263 20265 19057 0 -1 4202560 9283 0 1 0 142 1 0 0 20 0 19 0 450086561 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 46912505596273 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20265/tid=20289] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20289/stat : 20289 (java) S 20263 20265 19057 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20290] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20290/stat : 20290 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20291] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20291/stat : 20291 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20292] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20292/stat : 20292 (java) S 20263 20265 19057 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20293] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20293/stat : 20293 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20294] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20294/stat : 20294 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20295] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20295/stat : 20295 (java) S 20263 20265 19057 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20296] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20296/stat : 20296 (java) S 20263 20265 19057 0 -1 4202560 247 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20297] ppid=20263 vsize=7662684 CPUtime=0.02 cores=1,3
/proc/20265/task/20297/stat : 20297 (java) S 20263 20265 19057 0 -1 4202560 586 0 0 0 2 0 0 0 16 0 19 0 450086564 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 0 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20300] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20300/stat : 20300 (java) S 20263 20265 19057 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 450086564 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20302] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20302/stat : 20302 (java) S 20263 20265 19057 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450086564 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20314] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20314/stat : 20314 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450086567 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828060081 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20315] ppid=20263 vsize=7662684 CPUtime=0.37 cores=1,3
/proc/20265/task/20315/stat : 20315 (java) S 20263 20265 19057 0 -1 4202560 8321 0 0 0 37 0 0 0 15 0 19 0 450086567 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20318] ppid=20263 vsize=7662684 CPUtime=0.19 cores=1,3
/proc/20265/task/20318/stat : 20318 (java) S 20263 20265 19057 0 -1 4202560 1473 0 0 0 19 0 0 0 15 0 19 0 450086567 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20319] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20319/stat : 20319 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 450086567 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20322] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20322/stat : 20322 (java) S 20263 20265 19057 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450086567 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20334] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20334/stat : 20334 (java) S 20263 20265 19057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450086578 7846588416 18420 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 7662684

[startup+3.10095 s]
/proc/loadavg: 3.38 3.87 3.87 10/262 20359
/proc/meminfo: memFree=17184908/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7662684 CPUtime=3.67 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 21657 0 1 0 364 3 0 0 18 0 19 0 450086560 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1915671 18494 2254 9 0 1906409 0
[pid=20265/tid=20273] ppid=20263 vsize=7662684 CPUtime=3.02 cores=1,3
/proc/20265/task/20273/stat : 20273 (java) R 20263 20265 19057 0 -1 4202560 9284 0 1 0 301 1 0 0 25 0 19 0 450086561 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 46912505575445 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20265/tid=20289] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20289/stat : 20289 (java) S 20263 20265 19057 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20290] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20290/stat : 20290 (java) S 20263 20265 19057 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20291] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20291/stat : 20291 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20292] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20292/stat : 20292 (java) S 20263 20265 19057 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20293] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20293/stat : 20293 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20294] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20294/stat : 20294 (java) S 20263 20265 19057 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20295] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20295/stat : 20295 (java) S 20263 20265 19057 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20296] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20296/stat : 20296 (java) S 20263 20265 19057 0 -1 4202560 247 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20297] ppid=20263 vsize=7662684 CPUtime=0.03 cores=1,3
/proc/20265/task/20297/stat : 20297 (java) S 20263 20265 19057 0 -1 4202560 652 0 0 0 3 0 0 0 16 0 19 0 450086564 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 0 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20300] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20300/stat : 20300 (java) S 20263 20265 19057 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 450086564 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20302] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20302/stat : 20302 (java) S 20263 20265 19057 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450086564 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20314] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20314/stat : 20314 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450086567 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828060081 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20315] ppid=20263 vsize=7662684 CPUtime=0.37 cores=1,3
/proc/20265/task/20315/stat : 20315 (java) S 20263 20265 19057 0 -1 4202560 8321 0 0 0 37 0 0 0 15 0 19 0 450086567 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20318] ppid=20263 vsize=7662684 CPUtime=0.2 cores=1,3
/proc/20265/task/20318/stat : 20318 (java) S 20263 20265 19057 0 -1 4202560 1473 0 0 0 20 0 0 0 15 0 19 0 450086567 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20319] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20319/stat : 20319 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 450086567 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20322] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20322/stat : 20322 (java) S 20263 20265 19057 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450086567 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20334] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20334/stat : 20334 (java) S 20263 20265 19057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450086578 7846588416 18494 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 7662684

[startup+6.30136 s]
/proc/loadavg: 3.43 3.87 3.87 5/262 20359
/proc/meminfo: memFree=17180700/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7662684 CPUtime=6.88 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 21943 0 1 0 685 3 0 0 18 0 19 0 450086560 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1915671 18765 2254 9 0 1906409 0
[pid=20265/tid=20273] ppid=20263 vsize=7662684 CPUtime=6.18 cores=1,3
/proc/20265/task/20273/stat : 20273 (java) R 20263 20265 19057 0 -1 4202560 9287 0 1 0 617 1 0 0 25 0 19 0 450086561 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 46912505575351 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20265/tid=20289] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20289/stat : 20289 (java) S 20263 20265 19057 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20290] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20290/stat : 20290 (java) S 20263 20265 19057 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20291] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20291/stat : 20291 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20292] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20292/stat : 20292 (java) S 20263 20265 19057 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20293] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20293/stat : 20293 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20294] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20294/stat : 20294 (java) S 20263 20265 19057 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20295] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20295/stat : 20295 (java) S 20263 20265 19057 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20296] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20296/stat : 20296 (java) S 20263 20265 19057 0 -1 4202560 247 0 0 0 0 0 0 0 15 0 19 0 450086563 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20297] ppid=20263 vsize=7662684 CPUtime=0.06 cores=1,3
/proc/20265/task/20297/stat : 20297 (java) S 20263 20265 19057 0 -1 4202560 718 0 0 0 6 0 0 0 15 0 19 0 450086564 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 0 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20300] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20300/stat : 20300 (java) S 20263 20265 19057 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 450086564 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20302] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20302/stat : 20302 (java) S 20263 20265 19057 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450086564 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20314] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20314/stat : 20314 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450086567 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828060081 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20315] ppid=20263 vsize=7662684 CPUtime=0.37 cores=1,3
/proc/20265/task/20315/stat : 20315 (java) S 20263 20265 19057 0 -1 4202560 8321 0 0 0 37 0 0 0 15 0 19 0 450086567 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20318] ppid=20263 vsize=7662684 CPUtime=0.21 cores=1,3
/proc/20265/task/20318/stat : 20318 (java) S 20263 20265 19057 0 -1 4202560 1473 0 0 0 21 0 0 0 15 0 19 0 450086567 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20319] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20319/stat : 20319 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 450086567 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20322] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20322/stat : 20322 (java) S 20263 20265 19057 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450086567 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20334] ppid=20263 vsize=7662684 CPUtime=0 cores=1,3
/proc/20265/task/20334/stat : 20334 (java) S 20263 20265 19057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450086578 7846588416 18765 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 7662684

[startup+12.7012 s]

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

[pid=20265/tid=20294] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20294/stat : 20294 (java) S 20263 20265 19057 0 -1 4202560 32 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20295] ppid=20263 vsize=7664112 CPUtime=0.08 cores=1,3
/proc/20265/task/20295/stat : 20295 (java) S 20263 20265 19057 0 -1 4202560 179 0 0 0 8 0 0 0 16 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20296] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20296/stat : 20296 (java) S 20263 20265 19057 0 -1 4202560 822 0 0 0 9 0 0 0 16 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20297] ppid=20263 vsize=7664112 CPUtime=4.65 cores=1,3
/proc/20265/task/20297/stat : 20297 (java) S 20263 20265 19057 0 -1 4202560 1822 0 0 0 463 2 0 0 15 0 19 0 450086564 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 0 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20300] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20300/stat : 20300 (java) S 20263 20265 19057 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20302] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20302/stat : 20302 (java) S 20263 20265 19057 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20314] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20314/stat : 20314 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828060081 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20315] ppid=20263 vsize=7664112 CPUtime=0.46 cores=1,3
/proc/20265/task/20315/stat : 20315 (java) S 20263 20265 19057 0 -1 4202560 9356 0 0 0 45 1 0 0 15 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20318] ppid=20263 vsize=7664112 CPUtime=1.02 cores=1,3
/proc/20265/task/20318/stat : 20318 (java) S 20263 20265 19057 0 -1 4202560 2039 0 0 0 102 0 0 0 15 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20319] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20319/stat : 20319 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20322] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20322/stat : 20322 (java) S 20263 20265 19057 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20334] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20334/stat : 20334 (java) S 20263 20265 19057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450086578 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.95
Current children cumulated vsize (KiB) 7664112

[startup+1242.3 s]
/proc/loadavg: 4.03 4.02 3.94 5/262 20392
/proc/meminfo: memFree=17146024/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7664112 CPUtime=1243.97 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 26067 0 1 0 124389 8 0 0 18 0 19 0 450086560 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1916028 21552 2255 9 0 1906766 0
[pid=20265/tid=20273] ppid=20263 vsize=7664112 CPUtime=1236.78 cores=1,3
/proc/20265/task/20273/stat : 20273 (java) R 20263 20265 19057 0 -1 4202560 9834 0 1 0 123676 2 0 0 25 0 19 0 450086561 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 46912505680633 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20265/tid=20289] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20289/stat : 20289 (java) S 20263 20265 19057 0 -1 4202560 460 0 0 0 10 0 0 0 16 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20290] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20290/stat : 20290 (java) S 20263 20265 19057 0 -1 4202560 90 0 0 0 9 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20291] ppid=20263 vsize=7664112 CPUtime=0.08 cores=1,3
/proc/20265/task/20291/stat : 20291 (java) S 20263 20265 19057 0 -1 4202560 72 0 0 0 8 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20292] ppid=20263 vsize=7664112 CPUtime=0.11 cores=1,3
/proc/20265/task/20292/stat : 20292 (java) S 20263 20265 19057 0 -1 4202560 105 0 0 0 11 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20293] ppid=20263 vsize=7664112 CPUtime=0.08 cores=1,3
/proc/20265/task/20293/stat : 20293 (java) S 20263 20265 19057 0 -1 4202560 27 0 0 0 8 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20294] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20294/stat : 20294 (java) S 20263 20265 19057 0 -1 4202560 32 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20295] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20295/stat : 20295 (java) S 20263 20265 19057 0 -1 4202560 179 0 0 0 9 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20296] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20296/stat : 20296 (java) S 20263 20265 19057 0 -1 4202560 822 0 0 0 9 0 0 0 15 0 19 0 450086563 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20297] ppid=20263 vsize=7664112 CPUtime=4.87 cores=1,3
/proc/20265/task/20297/stat : 20297 (java) S 20263 20265 19057 0 -1 4202560 1826 0 0 0 485 2 0 0 15 0 19 0 450086564 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 0 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20300] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20300/stat : 20300 (java) S 20263 20265 19057 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20302] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20302/stat : 20302 (java) S 20263 20265 19057 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20314] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20314/stat : 20314 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828060081 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20315] ppid=20263 vsize=7664112 CPUtime=0.46 cores=1,3
/proc/20265/task/20315/stat : 20315 (java) S 20263 20265 19057 0 -1 4202560 9356 0 0 0 45 1 0 0 15 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20318] ppid=20263 vsize=7664112 CPUtime=1.02 cores=1,3
/proc/20265/task/20318/stat : 20318 (java) S 20263 20265 19057 0 -1 4202560 2039 0 0 0 102 0 0 0 15 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20319] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20319/stat : 20319 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20322] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20322/stat : 20322 (java) S 20263 20265 19057 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 450086567 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20334] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20334/stat : 20334 (java) S 20263 20265 19057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450086578 7848050688 21552 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.97
Current children cumulated vsize (KiB) 7664112



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.14 4.04 3.95 7/262 20393
/proc/meminfo: memFree=17145840/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7664112 CPUtime=1301.69 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 26141 0 1 0 130161 8 0 0 18 0 19 0 450086560 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1916028 21606 2255 9 0 1906766 0
[pid=20265/tid=20273] ppid=20263 vsize=7664112 CPUtime=1294.24 cores=1,3
/proc/20265/task/20273/stat : 20273 (java) R 20263 20265 19057 0 -1 4202560 9854 0 1 0 129422 2 0 0 25 0 19 0 450086561 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 46912505574496 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20265/tid=20289] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20289/stat : 20289 (java) S 20263 20265 19057 0 -1 4202560 460 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20290] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20290/stat : 20290 (java) S 20263 20265 19057 0 -1 4202560 91 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20291] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20291/stat : 20291 (java) S 20263 20265 19057 0 -1 4202560 73 0 0 0 9 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20292] ppid=20263 vsize=7664112 CPUtime=0.13 cores=1,3
/proc/20265/task/20292/stat : 20292 (java) S 20263 20265 19057 0 -1 4202560 108 0 0 0 13 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20293] ppid=20263 vsize=7664112 CPUtime=0.08 cores=1,3
/proc/20265/task/20293/stat : 20293 (java) S 20263 20265 19057 0 -1 4202560 29 0 0 0 8 0 0 0 16 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20294] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20294/stat : 20294 (java) S 20263 20265 19057 0 -1 4202560 32 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20295] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20295/stat : 20295 (java) S 20263 20265 19057 0 -1 4202560 179 0 0 0 9 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20296] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20296/stat : 20296 (java) S 20263 20265 19057 0 -1 4202560 822 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20297] ppid=20263 vsize=7664112 CPUtime=5.1 cores=1,3
/proc/20265/task/20297/stat : 20297 (java) S 20263 20265 19057 0 -1 4202560 1869 0 0 0 508 2 0 0 15 0 19 0 450086564 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 0 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20300] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20300/stat : 20300 (java) S 20263 20265 19057 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20302] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20302/stat : 20302 (java) S 20263 20265 19057 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20314] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20314/stat : 20314 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828060081 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20315] ppid=20263 vsize=7664112 CPUtime=0.46 cores=1,3
/proc/20265/task/20315/stat : 20315 (java) S 20263 20265 19057 0 -1 4202560 9356 0 0 0 45 1 0 0 15 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20318] ppid=20263 vsize=7664112 CPUtime=1.02 cores=1,3
/proc/20265/task/20318/stat : 20318 (java) S 20263 20265 19057 0 -1 4202560 2039 0 0 0 102 0 0 0 15 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20319] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20319/stat : 20319 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20322] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20322/stat : 20322 (java) S 20263 20265 19057 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20334] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20334/stat : 20334 (java) S 20263 20265 19057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450086578 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 7664112

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

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

[startup+1300 s]
/proc/loadavg: 4.14 4.04 3.95 7/262 20393
/proc/meminfo: memFree=17145840/32951124 swapFree=67111528/67111528
[pid=20265] ppid=20263 vsize=7664112 CPUtime=1301.69 cores=1,3
/proc/20265/stat : 20265 (java) S 20263 20265 19057 0 -1 4202496 26141 0 1 0 130161 8 0 0 18 0 19 0 450086560 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20265/statm: 1916028 21606 2255 9 0 1906766 0
[pid=20265/tid=20273] ppid=20263 vsize=7664112 CPUtime=1294.24 cores=1,3
/proc/20265/task/20273/stat : 20273 (java) R 20263 20265 19057 0 -1 4202560 9854 0 1 0 129422 2 0 0 25 0 19 0 450086561 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 46912505574496 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20265/tid=20289] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20289/stat : 20289 (java) S 20263 20265 19057 0 -1 4202560 460 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20290] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20290/stat : 20290 (java) S 20263 20265 19057 0 -1 4202560 91 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20291] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20291/stat : 20291 (java) S 20263 20265 19057 0 -1 4202560 73 0 0 0 9 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20292] ppid=20263 vsize=7664112 CPUtime=0.13 cores=1,3
/proc/20265/task/20292/stat : 20292 (java) S 20263 20265 19057 0 -1 4202560 108 0 0 0 13 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20293] ppid=20263 vsize=7664112 CPUtime=0.08 cores=1,3
/proc/20265/task/20293/stat : 20293 (java) S 20263 20265 19057 0 -1 4202560 29 0 0 0 8 0 0 0 16 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20294] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20294/stat : 20294 (java) S 20263 20265 19057 0 -1 4202560 32 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20295] ppid=20263 vsize=7664112 CPUtime=0.09 cores=1,3
/proc/20265/task/20295/stat : 20295 (java) S 20263 20265 19057 0 -1 4202560 179 0 0 0 9 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20296] ppid=20263 vsize=7664112 CPUtime=0.1 cores=1,3
/proc/20265/task/20296/stat : 20296 (java) S 20263 20265 19057 0 -1 4202560 822 0 0 0 10 0 0 0 15 0 19 0 450086563 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20297] ppid=20263 vsize=7664112 CPUtime=5.1 cores=1,3
/proc/20265/task/20297/stat : 20297 (java) S 20263 20265 19057 0 -1 4202560 1869 0 0 0 508 2 0 0 15 0 19 0 450086564 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 0 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20300] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20300/stat : 20300 (java) S 20263 20265 19057 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20302] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20302/stat : 20302 (java) S 20263 20265 19057 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 450086564 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20314] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20314/stat : 20314 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828060081 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20315] ppid=20263 vsize=7664112 CPUtime=0.46 cores=1,3
/proc/20265/task/20315/stat : 20315 (java) S 20263 20265 19057 0 -1 4202560 9356 0 0 0 45 1 0 0 15 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20318] ppid=20263 vsize=7664112 CPUtime=1.02 cores=1,3
/proc/20265/task/20318/stat : 20318 (java) S 20263 20265 19057 0 -1 4202560 2039 0 0 0 102 0 0 0 15 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 1 0 0 0
[pid=20265/tid=20319] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20319/stat : 20319 (java) S 20263 20265 19057 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052377 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20322] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20322/stat : 20322 (java) S 20263 20265 19057 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450086567 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
[pid=20265/tid=20334] ppid=20263 vsize=7664112 CPUtime=0 cores=1,3
/proc/20265/task/20334/stat : 20334 (java) S 20263 20265 19057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 450086578 7848050688 21606 33554432000 1073741824 1073778376 140734477593248 18446744073709551615 220828052992 0 4 0 16800975 18446604471131568128 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 7664112

Child status: 143
Real time (s): 1300.03
CPU time (s): 1301.74
CPU user time (s): 1301.66
CPU system time (s): 0.087986
CPU usage (%): 100.132
Max. virtual memory (cumulated for all children) (KiB): 7670664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.66
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26176
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= 34697
involuntary context switches= 11562

runsolver used 2.06369 second user time and 5.05723 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-23 18:38:27
IDJOB=3264504
IDBENCH=84643
IDSOLVER=1611
FILE ID=node147/3264504-1303576707
RUNJOBID= node147-1303576707-20246
PBS_JOBID= 13150315
Free space on /tmp= 72288 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT04/handmade/connamacher/connm-d-0.02/connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.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-3264504-1303576707/watcher-3264504-1303576707 -o /tmp/evaluation-result-3264504-1303576707/solver-3264504-1303576707 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3264504-1303576707.cnf

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

MD5SUM BENCH= 287d3b23c6f72107e24ae4186653564e
RANDOM SEED=1569476734

node147.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.836
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.67
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.836
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.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17456696 kB
Buffers:       1728752 kB
Cached:       13157472 kB
SwapCached:          0 kB
Active:        7704228 kB
Inactive:      7246420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17456696 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             564 kB
Writeback:           0 kB
AnonPages:       64096 kB
Mapped:          14488 kB
Slab:           479752 kB
PageTables:       5524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189784 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= 72288 MiB
End job on node147 at 2011-04-23 19:00:09