Trace number 3249146

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.99 1300.05

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-6x34.cnf
MD5SUM1633295f58c28a5b4150be8640bdf9df
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables816
Number of clauses35088
Sum of the clauses size137904
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21224
Number of clauses of size 30
Number of clauses of size 433864
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	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.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3249146-1303509894.cnf
0.00/0.09	c reading problem ... 
0.28/0.23	c ... done. Wall clock time 0.136s.
0.28/0.23	c #vars     816
0.28/0.23	c #constraints  35088
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33864
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1224
1.16/0.74	c cleaning 2497 clauses out of 5003 with flag 5003/5003
1.69/1.06	c cleaning 4249 clauses out of 8504 with flag 11001/11001
2.00/1.39	c cleaning 5622 clauses out of 11256 with flag 18002/18002
2.41/1.77	c cleaning 6801 clauses out of 13632 with flag 26000/26000
2.82/2.20	c cleaning 7911 clauses out of 15832 with flag 35001/35001
3.32/2.69	c cleaning 8942 clauses out of 17920 with flag 45000/45000
3.92/3.21	c cleaning 9982 clauses out of 19980 with flag 56002/56002
4.53/3.83	c cleaning 10993 clauses out of 21997 with flag 68001/68001
5.14/4.46	c cleaning 11989 clauses out of 24003 with flag 81000/81000
5.84/5.15	c cleaning 12998 clauses out of 26015 with flag 95001/95001
6.64/5.92	c cleaning 14001 clauses out of 28018 with flag 110002/110002
7.45/6.72	c cleaning 14996 clauses out of 30016 with flag 126001/126001
8.34/7.62	c cleaning 15996 clauses out of 32019 with flag 143000/143000
9.24/8.57	c cleaning 16985 clauses out of 34023 with flag 161000/161000
10.25/9.57	c cleaning 18008 clauses out of 36038 with flag 180000/180000
11.36/10.65	c cleaning 19003 clauses out of 38033 with flag 200003/200003
12.56/11.81	c cleaning 19996 clauses out of 40028 with flag 221001/221001
13.76/13.02	c cleaning 21007 clauses out of 42032 with flag 243001/243001
14.96/14.28	c cleaning 22001 clauses out of 44027 with flag 266003/266003
16.27/15.52	c cleaning 23000 clauses out of 46023 with flag 290000/290000
17.47/16.79	c cleaning 23973 clauses out of 48023 with flag 315000/315000
19.08/18.30	c cleaning 25012 clauses out of 50050 with flag 341000/341000
20.58/19.88	c cleaning 26012 clauses out of 52038 with flag 368000/368000
22.08/21.37	c cleaning 27008 clauses out of 54026 with flag 396000/396000
23.79/23.04	c cleaning 27995 clauses out of 56020 with flag 425002/425002
25.69/24.95	c cleaning 29011 clauses out of 58025 with flag 455002/455002
27.49/26.74	c cleaning 29969 clauses out of 60012 with flag 486000/486000
29.40/28.70	c cleaning 31007 clauses out of 62047 with flag 518004/518004
31.60/30.85	c cleaning 32011 clauses out of 64036 with flag 551000/551000
33.60/32.83	c cleaning 32986 clauses out of 66025 with flag 585000/585000
35.90/35.13	c cleaning 34000 clauses out of 68040 with flag 620001/620001
37.91/37.12	c cleaning 34993 clauses out of 70040 with flag 656001/656001
40.31/39.51	c cleaning 35511 clauses out of 71047 with flag 692001/692001
42.52/41.71	c cleaning 35735 clauses out of 71535 with flag 728000/728000
44.93/44.17	c cleaning 35873 clauses out of 71802 with flag 764002/764002
47.33/46.52	c cleaning 35947 clauses out of 71927 with flag 800000/800000
49.93/49.19	c cleaning 35978 clauses out of 71981 with flag 836001/836001
52.14/51.36	c cleaning 35983 clauses out of 72002 with flag 872000/872000
54.74/53.93	c cleaning 35961 clauses out of 72020 with flag 908001/908001
56.84/56.08	c cleaning 36006 clauses out of 72059 with flag 944001/944001
59.34/58.50	c cleaning 36011 clauses out of 72053 with flag 980001/980001
62.25/61.45	c cleaning 35996 clauses out of 72041 with flag 1016000/1016000
64.35/63.52	c cleaning 36012 clauses out of 72045 with flag 1052000/1052000
66.75/65.99	c cleaning 36001 clauses out of 72035 with flag 1088002/1088002
69.76/68.90	c cleaning 35998 clauses out of 72033 with flag 1124001/1124001
71.76/70.98	c cleaning 35993 clauses out of 72034 with flag 1160000/1160000
74.36/73.56	c cleaning 36000 clauses out of 72042 with flag 1196001/1196001
77.37/76.59	c cleaning 36014 clauses out of 72041 with flag 1232000/1232000
79.57/78.76	c cleaning 36001 clauses out of 72030 with flag 1268003/1268003
82.07/81.27	c cleaning 35977 clauses out of 72026 with flag 1304000/1304000
84.98/84.18	c cleaning 35997 clauses out of 72049 with flag 1340000/1340000
87.79/86.93	c cleaning 36000 clauses out of 72052 with flag 1376000/1376000
89.89/89.07	c cleaning 36004 clauses out of 72054 with flag 1412002/1412002
92.39/91.50	c cleaning 36009 clauses out of 72048 with flag 1448000/1448000
95.39/94.51	c cleaning 35996 clauses out of 72039 with flag 1484000/1484000
98.00/97.19	c cleaning 36002 clauses out of 72043 with flag 1520000/1520000
100.40/99.55	c cleaning 36002 clauses out of 72041 with flag 1556000/1556000
102.90/102.02	c cleaning 35998 clauses out of 72039 with flag 1592000/1592000
105.70/104.84	c cleaning 35979 clauses out of 72041 with flag 1628000/1628000
108.71/107.90	c cleaning 36021 clauses out of 72062 with flag 1664000/1664000
110.81/109.97	c cleaning 36009 clauses out of 72042 with flag 1700001/1700001
113.42/112.56	c cleaning 35984 clauses out of 72032 with flag 1736000/1736000
116.02/115.19	c cleaning 36007 clauses out of 72048 with flag 1772000/1772000
119.12/118.28	c cleaning 35988 clauses out of 72041 with flag 1808000/1808000
121.73/120.86	c cleaning 36012 clauses out of 72053 with flag 1844000/1844000
123.93/123.03	c cleaning 36004 clauses out of 72041 with flag 1880000/1880000
126.34/125.50	c cleaning 36003 clauses out of 72037 with flag 1916000/1916000
129.34/128.46	c cleaning 35965 clauses out of 72034 with flag 1952000/1952000
132.54/131.60	c cleaning 36020 clauses out of 72070 with flag 1988001/1988001
135.65/134.74	c cleaning 36002 clauses out of 72049 with flag 2024000/2024000
137.75/136.80	c cleaning 36002 clauses out of 72048 with flag 2060001/2060001
140.16/139.20	c cleaning 35996 clauses out of 72045 with flag 2096000/2096000
142.88/141.96	c cleaning 35991 clauses out of 72049 with flag 2132000/2132000
146.19/145.30	c cleaning 36012 clauses out of 72059 with flag 2168001/2168001
149.69/148.71	c cleaning 36007 clauses out of 72047 with flag 2204001/2204001
152.39/151.40	c cleaning 36005 clauses out of 72040 with flag 2240001/2240001
154.50/153.58	c cleaning 35997 clauses out of 72035 with flag 2276001/2276001
156.90/155.93	c cleaning 35999 clauses out of 72038 with flag 2312001/2312001
159.51/158.54	c cleaning 35997 clauses out of 72038 with flag 2348000/2348000
162.51/161.59	c cleaning 35999 clauses out of 72041 with flag 2384000/2384000
165.71/164.76	c cleaning 35982 clauses out of 72042 with flag 2420000/2420000
168.82/167.83	c cleaning 36015 clauses out of 72060 with flag 2456000/2456000
170.92/169.90	c cleaning 36007 clauses out of 72046 with flag 2492001/2492001
173.42/172.41	c cleaning 36000 clauses out of 72039 with flag 2528001/2528001
176.03/175.04	c cleaning 35986 clauses out of 72039 with flag 2564001/2564001
178.83/177.84	c cleaning 35992 clauses out of 72052 with flag 2600000/2600000
182.64/181.66	c cleaning 35993 clauses out of 72061 with flag 2636001/2636001
186.24/185.27	c cleaning 36009 clauses out of 72068 with flag 2672001/2672001
189.75/188.71	c cleaning 36020 clauses out of 72058 with flag 2708000/2708000
191.85/190.84	c cleaning 36006 clauses out of 72039 with flag 2744001/2744001
194.36/193.34	c cleaning 36006 clauses out of 72032 with flag 2780000/2780000
197.06/196.05	c cleaning 35990 clauses out of 72026 with flag 2816000/2816000
199.97/198.95	c cleaning 35991 clauses out of 72038 with flag 2852002/2852002
203.58/202.56	c cleaning 36002 clauses out of 72045 with flag 2888000/2888000
207.18/206.13	c cleaning 35993 clauses out of 72044 with flag 2924001/2924001
210.29/209.22	c cleaning 36001 clauses out of 72053 with flag 2960003/2960003
213.29/212.29	c cleaning 35993 clauses out of 72050 with flag 2996001/2996001
215.60/214.60	c cleaning 36003 clauses out of 72058 with flag 3032002/3032002
218.40/217.31	c cleaning 36010 clauses out of 72053 with flag 3068000/3068000
221.30/220.28	c cleaning 35988 clauses out of 72043 with flag 3104000/3104000
224.41/223.40	c cleaning 35998 clauses out of 72056 with flag 3140001/3140001
227.71/226.68	c cleaning 36013 clauses out of 72058 with flag 3176001/3176001
231.32/230.24	c cleaning 35998 clauses out of 72045 with flag 3212001/3212001
234.62/233.55	c cleaning 35997 clauses out of 72047 with flag 3248001/3248001
238.03/236.92	c cleaning 36004 clauses out of 72049 with flag 3284000/3284000
240.23/239.10	c cleaning 36005 clauses out of 72045 with flag 3320000/3320000
242.74/241.61	c cleaning 35979 clauses out of 72040 with flag 3356000/3356000
245.54/244.42	c cleaning 35990 clauses out of 72061 with flag 3392000/3392000
248.65/247.60	c cleaning 36006 clauses out of 72073 with flag 3428002/3428002
251.75/250.68	c cleaning 36003 clauses out of 72066 with flag 3464001/3464001
255.75/254.62	c cleaning 36012 clauses out of 72062 with flag 3500000/3500000
259.46/258.39	c cleaning 36016 clauses out of 72051 with flag 3536001/3536001
263.26/262.11	c cleaning 35993 clauses out of 72034 with flag 3572000/3572000
266.57/265.44	c cleaning 35971 clauses out of 72041 with flag 3608000/3608000
268.87/267.79	c cleaning 36011 clauses out of 72070 with flag 3644000/3644000
271.38/270.22	c cleaning 36006 clauses out of 72059 with flag 3680000/3680000
274.18/273.01	c cleaning 36019 clauses out of 72054 with flag 3716001/3716001
277.18/276.07	c cleaning 35960 clauses out of 72034 with flag 3752000/3752000
280.39/279.25	c cleaning 36013 clauses out of 72077 with flag 3788003/3788003
284.39/283.22	c cleaning 35996 clauses out of 72062 with flag 3824001/3824001
287.70/286.59	c cleaning 36012 clauses out of 72065 with flag 3860000/3860000
291.50/290.34	c cleaning 36010 clauses out of 72053 with flag 3896000/3896000
295.02/293.83	c cleaning 35997 clauses out of 72044 with flag 3932001/3932001
299.21/298.06	c cleaning 35982 clauses out of 72046 with flag 3968000/3968000
302.02/300.85	c cleaning 36012 clauses out of 72064 with flag 4004000/4004000
304.43/303.21	c cleaning 35977 clauses out of 72053 with flag 4040001/4040001
306.93/305.72	c cleaning 36004 clauses out of 72076 with flag 4076001/4076001
309.63/308.50	c cleaning 36023 clauses out of 72073 with flag 4112002/4112002
312.93/311.73	c cleaning 36011 clauses out of 72048 with flag 4148000/4148000
316.24/315.01	c cleaning 35995 clauses out of 72038 with flag 4184001/4184001
319.25/318.05	c cleaning 36010 clauses out of 72044 with flag 4220002/4220002
322.35/321.14	c cleaning 35989 clauses out of 72034 with flag 4256002/4256002
327.16/325.92	c cleaning 36004 clauses out of 72044 with flag 4292001/4292001
330.96/329.78	c cleaning 35983 clauses out of 72040 with flag 4328001/4328001
333.87/332.62	c cleaning 35988 clauses out of 72056 with flag 4364000/4364000
337.57/336.31	c cleaning 36021 clauses out of 72069 with flag 4400001/4400001
339.78/338.56	c cleaning 36005 clauses out of 72048 with flag 4436001/4436001
342.48/341.23	c cleaning 36009 clauses out of 72044 with flag 4472002/4472002
345.59/344.40	c cleaning 35979 clauses out of 72033 with flag 4508000/4508000
348.59/347.31	c cleaning 35999 clauses out of 72054 with flag 4544000/4544000
351.39/350.19	c cleaning 36006 clauses out of 72055 with flag 4580000/4580000
354.60/353.30	c cleaning 35992 clauses out of 72050 with flag 4616001/4616001
357.90/356.68	c cleaning 36005 clauses out of 72058 with flag 4652001/4652001
362.11/360.87	c cleaning 36012 clauses out of 72053 with flag 4688001/4688001
366.01/364.72	c cleaning 36001 clauses out of 72043 with flag 4724003/4724003
369.62/368.32	c cleaning 35989 clauses out of 72039 with flag 4760000/4760000
373.83/372.53	c cleaning 35999 clauses out of 72051 with flag 4796001/4796001
378.83/377.53	c cleaning 36014 clauses out of 72051 with flag 4832000/4832000
380.95/379.64	c cleaning 35995 clauses out of 72037 with flag 4868000/4868000
383.45/382.14	c cleaning 36008 clauses out of 72042 with flag 4904000/4904000
386.05/384.72	c cleaning 35990 clauses out of 72035 with flag 4940001/4940001
389.15/387.80	c cleaning 36002 clauses out of 72044 with flag 4976000/4976000
392.46/391.14	c cleaning 35961 clauses out of 72042 with flag 5012000/5012000
395.76/394.48	c cleaning 36024 clauses out of 72081 with flag 5048000/5048000
399.17/397.83	c cleaning 35999 clauses out of 72058 with flag 5084001/5084001
402.27/400.95	c cleaning 35991 clauses out of 72060 with flag 5120002/5120002
406.18/404.81	c cleaning 35997 clauses out of 72067 with flag 5156000/5156000
410.79/409.43	c cleaning 36008 clauses out of 72071 with flag 5192001/5192001
414.70/413.32	c cleaning 36010 clauses out of 72063 with flag 5228001/5228001
419.11/417.73	c cleaning 36004 clauses out of 72055 with flag 5264003/5264003
423.41/422.04	c cleaning 36004 clauses out of 72050 with flag 5300002/5300002
426.42/425.08	c cleaning 36006 clauses out of 72044 with flag 5336000/5336000
428.62/427.28	c cleaning 36003 clauses out of 72038 with flag 5372000/5372000
431.13/429.76	c cleaning 35990 clauses out of 72036 with flag 5408001/5408001
434.03/432.68	c cleaning 35988 clauses out of 72045 with flag 5444000/5444000
437.23/435.90	c cleaning 35998 clauses out of 72058 with flag 5480001/5480001
440.14/438.70	c cleaning 35995 clauses out of 72060 with flag 5516001/5516001
443.75/442.31	c cleaning 36026 clauses out of 72065 with flag 5552001/5552001
447.45/446.08	c cleaning 36000 clauses out of 72041 with flag 5588003/5588003
451.46/450.06	c cleaning 36005 clauses out of 72039 with flag 5624001/5624001
456.06/454.64	c cleaning 35981 clauses out of 72033 with flag 5660000/5660000
460.57/459.16	c cleaning 35993 clauses out of 72052 with flag 5696000/5696000
464.17/462.70	c cleaning 36002 clauses out of 72060 with flag 5732001/5732001
468.48/467.00	c cleaning 36004 clauses out of 72057 with flag 5768000/5768000
474.19/472.70	c cleaning 35994 clauses out of 72055 with flag 5804002/5804002
478.90/477.41	c cleaning 36015 clauses out of 72059 with flag 5840000/5840000
482.21/480.73	c cleaning 35995 clauses out of 72047 with flag 5876003/5876003
484.51/483.03	c cleaning 35998 clauses out of 72049 with flag 5912000/5912000
487.21/485.75	c cleaning 36010 clauses out of 72052 with flag 5948001/5948001
490.22/488.71	c cleaning 35986 clauses out of 72042 with flag 5984001/5984001
493.22/491.74	c cleaning 36006 clauses out of 72056 with flag 6020001/6020001
495.82/494.32	c cleaning 35988 clauses out of 72049 with flag 6056000/6056000
499.53/498.08	c cleaning 35990 clauses out of 72061 with flag 6092000/6092000
503.24/501.79	c cleaning 36009 clauses out of 72071 with flag 6128000/6128000
506.64/505.19	c cleaning 36002 clauses out of 72062 with flag 6164000/6164000
510.75/509.26	c cleaning 36003 clauses out of 72060 with flag 6200000/6200000
514.56/513.04	c cleaning 35998 clauses out of 72057 with flag 6236000/6236000
518.67/517.14	c cleaning 36001 clauses out of 72059 with flag 6272000/6272000
523.57/522.00	c cleaning 35990 clauses out of 72059 with flag 6308001/6308001
528.58/527.02	c cleaning 36006 clauses out of 72068 with flag 6344000/6344000
533.48/531.99	c cleaning 35996 clauses out of 72062 with flag 6380000/6380000
537.40/535.82	c cleaning 36013 clauses out of 72066 with flag 6416000/6416000
540.80/539.20	c cleaning 36013 clauses out of 72053 with flag 6452000/6452000
542.81/541.21	c cleaning 35993 clauses out of 72042 with flag 6488002/6488002
545.12/543.59	c cleaning 35994 clauses out of 72048 with flag 6524001/6524001
548.11/546.56	c cleaning 35993 clauses out of 72054 with flag 6560001/6560001
550.92/549.30	c cleaning 36000 clauses out of 72060 with flag 6596000/6596000
554.02/552.43	c cleaning 36016 clauses out of 72062 with flag 6632002/6632002
557.33/555.70	c cleaning 35986 clauses out of 72044 with flag 6668000/6668000
560.64/559.04	c cleaning 36017 clauses out of 72058 with flag 6704000/6704000
564.74/563.12	c cleaning 35999 clauses out of 72041 with flag 6740000/6740000
568.85/567.23	c cleaning 35996 clauses out of 72042 with flag 6776000/6776000
572.16/570.54	c cleaning 35982 clauses out of 72046 with flag 6812000/6812000
576.26/574.61	c cleaning 36010 clauses out of 72065 with flag 6848001/6848001
580.97/579.35	c cleaning 35991 clauses out of 72055 with flag 6884001/6884001
584.88/583.26	c cleaning 36000 clauses out of 72063 with flag 6920000/6920000
588.68/587.01	c cleaning 35976 clauses out of 72063 with flag 6956000/6956000
594.09/592.49	c cleaning 36020 clauses out of 72090 with flag 6992003/6992003
599.20/597.50	c cleaning 36009 clauses out of 72067 with flag 7028000/7028000
602.60/600.97	c cleaning 36003 clauses out of 72058 with flag 7064000/7064000
607.92/606.22	c cleaning 36005 clauses out of 72056 with flag 7100001/7100001
610.02/608.38	c cleaning 36006 clauses out of 72052 with flag 7136002/7136002
612.52/610.83	c cleaning 35996 clauses out of 72044 with flag 7172000/7172000
615.53/613.90	c cleaning 36004 clauses out of 72049 with flag 7208001/7208001
618.13/616.45	c cleaning 36013 clauses out of 72044 with flag 7244000/7244000
621.84/620.12	c cleaning 35990 clauses out of 72031 with flag 7280000/7280000
624.84/623.13	c cleaning 36004 clauses out of 72041 with flag 7316000/7316000
627.95/626.29	c cleaning 35994 clauses out of 72038 with flag 7352001/7352001
631.15/629.48	c cleaning 36003 clauses out of 72043 with flag 7388000/7388000
634.56/632.80	c cleaning 35998 clauses out of 72040 with flag 7424000/7424000
638.67/636.98	c cleaning 35993 clauses out of 72042 with flag 7460000/7460000
642.58/640.87	c cleaning 36000 clauses out of 72052 with flag 7496003/7496003
645.98/644.24	c cleaning 35988 clauses out of 72049 with flag 7532000/7532000
649.50/647.73	c cleaning 35978 clauses out of 72061 with flag 7568000/7568000
652.90/651.20	c cleaning 36023 clauses out of 72084 with flag 7604001/7604001
656.50/654.78	c cleaning 36016 clauses out of 72064 with flag 7640004/7640004
660.91/659.13	c cleaning 35999 clauses out of 72046 with flag 7676002/7676002
664.52/662.73	c cleaning 35988 clauses out of 72046 with flag 7712001/7712001
668.62/666.90	c cleaning 35997 clauses out of 72057 with flag 7748000/7748000
672.93/671.19	c cleaning 35988 clauses out of 72060 with flag 7784000/7784000
678.03/676.26	c cleaning 36029 clauses out of 72072 with flag 7820000/7820000
680.14/678.39	c cleaning 35985 clauses out of 72044 with flag 7856001/7856001
682.54/680.78	c cleaning 35997 clauses out of 72059 with flag 7892001/7892001
685.55/683.78	c cleaning 36019 clauses out of 72061 with flag 7928000/7928000
688.75/686.90	c cleaning 35983 clauses out of 72042 with flag 7964000/7964000
692.06/690.21	c cleaning 35989 clauses out of 72059 with flag 8000000/8000000
694.87/693.02	c cleaning 36000 clauses out of 72070 with flag 8036000/8036000
698.57/696.75	c cleaning 36007 clauses out of 72070 with flag 8072000/8072000
702.38/700.53	c cleaning 35999 clauses out of 72064 with flag 8108001/8108001
705.58/703.75	c cleaning 35990 clauses out of 72066 with flag 8144002/8144002
709.09/707.21	c cleaning 36020 clauses out of 72076 with flag 8180002/8180002
713.50/711.70	c cleaning 35995 clauses out of 72054 with flag 8216000/8216000
717.50/715.69	c cleaning 35968 clauses out of 72059 with flag 8252000/8252000
721.21/719.36	c cleaning 36009 clauses out of 72091 with flag 8288000/8288000
724.72/722.89	c cleaning 36011 clauses out of 72084 with flag 8324002/8324002
730.12/728.29	c cleaning 36010 clauses out of 72074 with flag 8360003/8360003
735.33/733.48	c cleaning 35980 clauses out of 72061 with flag 8396000/8396000
738.83/736.93	c cleaning 36001 clauses out of 72081 with flag 8432000/8432000
742.94/741.10	c cleaning 36003 clauses out of 72081 with flag 8468001/8468001
748.24/746.36	c cleaning 36014 clauses out of 72078 with flag 8504001/8504001
752.45/750.56	c cleaning 36011 clauses out of 72065 with flag 8540002/8540002
757.66/755.72	c cleaning 35974 clauses out of 72054 with flag 8576002/8576002
762.27/760.35	c cleaning 36020 clauses out of 72079 with flag 8612001/8612001
764.38/762.47	c cleaning 36002 clauses out of 72060 with flag 8648002/8648002
766.78/764.84	c cleaning 36011 clauses out of 72058 with flag 8684002/8684002
769.79/767.86	c cleaning 36006 clauses out of 72046 with flag 8720001/8720001
772.69/770.75	c cleaning 35988 clauses out of 72039 with flag 8756000/8756000
776.19/774.24	c cleaning 35980 clauses out of 72052 with flag 8792001/8792001
779.40/777.42	c cleaning 36007 clauses out of 72071 with flag 8828000/8828000
782.70/780.74	c cleaning 35990 clauses out of 72064 with flag 8864000/8864000
786.62/784.65	c cleaning 35983 clauses out of 72074 with flag 8900000/8900000
790.73/788.71	c cleaning 36023 clauses out of 72092 with flag 8936001/8936001
794.43/792.49	c cleaning 36013 clauses out of 72070 with flag 8972002/8972002
798.04/796.07	c cleaning 36006 clauses out of 72056 with flag 9008001/9008001
802.35/800.38	c cleaning 35997 clauses out of 72050 with flag 9044001/9044001
806.46/804.41	c cleaning 35998 clauses out of 72053 with flag 9080001/9080001
810.36/808.30	c cleaning 35991 clauses out of 72054 with flag 9116000/9116000
813.67/811.66	c cleaning 36010 clauses out of 72064 with flag 9152001/9152001
818.77/816.79	c cleaning 35984 clauses out of 72054 with flag 9188001/9188001
822.69/820.67	c cleaning 36023 clauses out of 72069 with flag 9224000/9224000
827.49/825.43	c cleaning 36008 clauses out of 72047 with flag 9260001/9260001
832.20/830.10	c cleaning 35986 clauses out of 72040 with flag 9296002/9296002
836.01/833.98	c cleaning 36003 clauses out of 72053 with flag 9332001/9332001
840.82/838.79	c cleaning 36000 clauses out of 72050 with flag 9368001/9368001
845.42/843.39	c cleaning 35995 clauses out of 72049 with flag 9404000/9404000
849.93/847.87	c cleaning 36004 clauses out of 72055 with flag 9440001/9440001
855.54/853.41	c cleaning 36020 clauses out of 72050 with flag 9476000/9476000
857.65/855.52	c cleaning 35996 clauses out of 72031 with flag 9512001/9512001
860.16/858.09	c cleaning 36002 clauses out of 72036 with flag 9548002/9548002
862.96/860.89	c cleaning 35992 clauses out of 72033 with flag 9584001/9584001
866.17/864.02	c cleaning 35981 clauses out of 72041 with flag 9620001/9620001
869.37/867.28	c cleaning 35981 clauses out of 72060 with flag 9656001/9656001
872.48/870.32	c cleaning 36023 clauses out of 72079 with flag 9692001/9692001
875.48/873.36	c cleaning 36010 clauses out of 72055 with flag 9728000/9728000
879.00/876.86	c cleaning 35993 clauses out of 72046 with flag 9764001/9764001
882.60/880.47	c cleaning 35991 clauses out of 72052 with flag 9800000/9800000
886.41/884.29	c cleaning 36003 clauses out of 72061 with flag 9836000/9836000
890.61/888.44	c cleaning 36008 clauses out of 72059 with flag 9872001/9872001
895.02/892.85	c cleaning 35993 clauses out of 72053 with flag 9908003/9908003
899.23/897.05	c cleaning 36002 clauses out of 72058 with flag 9944001/9944001
902.93/900.79	c cleaning 35991 clauses out of 72055 with flag 9980000/9980000
906.94/904.76	c cleaning 36016 clauses out of 72066 with flag 10016002/10016002
913.35/911.19	c cleaning 36010 clauses out of 72050 with flag 10052002/10052002
917.16/914.95	c cleaning 35996 clauses out of 72039 with flag 10088001/10088001
922.46/920.26	c cleaning 35983 clauses out of 72042 with flag 10124000/10124000
926.97/924.79	c cleaning 36000 clauses out of 72060 with flag 10160001/10160001
930.88/928.69	c cleaning 35994 clauses out of 72060 with flag 10196001/10196001
936.19/933.93	c cleaning 36003 clauses out of 72066 with flag 10232001/10232001
940.79/938.52	c cleaning 36005 clauses out of 72062 with flag 10268000/10268000
946.50/944.28	c cleaning 36005 clauses out of 72058 with flag 10304001/10304001
951.61/949.40	c cleaning 36003 clauses out of 72052 with flag 10340000/10340000
956.91/954.68	c cleaning 35984 clauses out of 72049 with flag 10376000/10376000
962.32/960.06	c cleaning 35994 clauses out of 72065 with flag 10412000/10412000
965.83/963.57	c cleaning 36003 clauses out of 72072 with flag 10448001/10448001
968.24/965.97	c cleaning 36023 clauses out of 72068 with flag 10484000/10484000
971.04/968.72	c cleaning 35998 clauses out of 72046 with flag 10520001/10520001
974.14/971.83	c cleaning 36008 clauses out of 72047 with flag 10556000/10556000
977.45/975.16	c cleaning 35988 clauses out of 72039 with flag 10592000/10592000
980.66/978.31	c cleaning 36018 clauses out of 72051 with flag 10628000/10628000
983.57/981.21	c cleaning 36001 clauses out of 72035 with flag 10664002/10664002
987.47/985.10	c cleaning 35980 clauses out of 72035 with flag 10700003/10700003
991.78/989.41	c cleaning 35992 clauses out of 72052 with flag 10736000/10736000
995.98/993.64	c cleaning 36006 clauses out of 72061 with flag 10772001/10772001
999.69/997.32	c cleaning 35987 clauses out of 72055 with flag 10808001/10808001
1002.90/1000.59	c cleaning 36018 clauses out of 72068 with flag 10844001/10844001
1007.40/1005.01	c cleaning 36011 clauses out of 72049 with flag 10880000/10880000
1011.41/1009.03	c cleaning 35988 clauses out of 72038 with flag 10916000/10916000
1016.22/1013.85	c cleaning 35986 clauses out of 72051 with flag 10952001/10952001
1020.03/1017.62	c cleaning 36013 clauses out of 72065 with flag 10988001/10988001
1024.83/1022.40	c cleaning 36000 clauses out of 72051 with flag 11024000/11024000
1028.94/1026.50	c cleaning 35998 clauses out of 72051 with flag 11060000/11060000
1032.55/1030.19	c cleaning 35997 clauses out of 72056 with flag 11096003/11096003
1036.56/1034.16	c cleaning 35985 clauses out of 72056 with flag 11132000/11132000
1040.46/1038.07	c cleaning 36018 clauses out of 72071 with flag 11168000/11168000
1044.67/1042.23	c cleaning 35995 clauses out of 72053 with flag 11204000/11204000
1048.37/1046.00	c cleaning 36002 clauses out of 72058 with flag 11240000/11240000
1052.99/1050.60	c cleaning 35996 clauses out of 72057 with flag 11276001/11276001
1056.30/1053.89	c cleaning 36005 clauses out of 72061 with flag 11312001/11312001
1061.70/1059.24	c cleaning 35998 clauses out of 72056 with flag 11348001/11348001
1067.11/1064.64	c cleaning 35999 clauses out of 72058 with flag 11384001/11384001
1072.12/1069.64	c cleaning 35976 clauses out of 72058 with flag 11420000/11420000
1077.02/1074.57	c cleaning 36007 clauses out of 72082 with flag 11456000/11456000
1080.63/1078.13	c cleaning 36021 clauses out of 72076 with flag 11492001/11492001
1082.74/1080.28	c cleaning 36002 clauses out of 72054 with flag 11528000/11528000
1085.44/1082.90	c cleaning 36014 clauses out of 72052 with flag 11564000/11564000
1088.14/1085.60	c cleaning 35986 clauses out of 72039 with flag 11600001/11600001
1091.45/1088.92	c cleaning 35994 clauses out of 72053 with flag 11636001/11636001
1094.96/1092.44	c cleaning 36005 clauses out of 72059 with flag 11672001/11672001
1098.76/1096.20	c cleaning 36011 clauses out of 72053 with flag 11708000/11708000
1102.57/1100.07	c cleaning 35980 clauses out of 72042 with flag 11744000/11744000
1106.37/1103.84	c cleaning 35992 clauses out of 72062 with flag 11780000/11780000
1109.88/1107.36	c cleaning 36016 clauses out of 72071 with flag 11816001/11816001
1113.49/1110.93	c cleaning 36011 clauses out of 72058 with flag 11852004/11852004
1118.89/1116.32	c cleaning 36013 clauses out of 72043 with flag 11888000/11888000
1125.00/1122.46	c cleaning 35998 clauses out of 72030 with flag 11924000/11924000
1129.81/1127.27	c cleaning 35997 clauses out of 72032 with flag 11960000/11960000
1133.53/1130.99	c cleaning 35990 clauses out of 72036 with flag 11996001/11996001
1137.73/1135.12	c cleaning 35992 clauses out of 72045 with flag 12032000/12032000
1142.94/1140.34	c cleaning 35989 clauses out of 72053 with flag 12068000/12068000
1147.35/1144.71	c cleaning 36012 clauses out of 72065 with flag 12104001/12104001
1151.85/1149.24	c cleaning 36007 clauses out of 72052 with flag 12140000/12140000
1157.16/1154.58	c cleaning 35995 clauses out of 72046 with flag 12176001/12176001
1161.17/1158.53	c cleaning 35994 clauses out of 72052 with flag 12212002/12212002
1167.07/1164.44	c cleaning 35977 clauses out of 72057 with flag 12248001/12248001
1170.89/1168.27	c cleaning 35988 clauses out of 72079 with flag 12284000/12284000
1175.79/1173.19	c cleaning 36020 clauses out of 72093 with flag 12320002/12320002
1179.90/1177.29	c cleaning 36003 clauses out of 72072 with flag 12356001/12356001
1185.10/1182.41	c cleaning 36021 clauses out of 72071 with flag 12392003/12392003
1190.50/1187.88	c cleaning 35991 clauses out of 72047 with flag 12428000/12428000
1195.11/1192.42	c cleaning 36011 clauses out of 72057 with flag 12464001/12464001
1200.32/1197.69	c cleaning 35986 clauses out of 72045 with flag 12500000/12500000
1205.03/1202.36	c cleaning 35991 clauses out of 72060 with flag 12536001/12536001
1208.44/1205.73	c cleaning 35992 clauses out of 72069 with flag 12572001/12572001
1214.04/1211.37	c cleaning 36003 clauses out of 72077 with flag 12608001/12608001
1218.45/1215.74	c cleaning 36014 clauses out of 72074 with flag 12644001/12644001
1220.65/1217.97	c cleaning 36012 clauses out of 72062 with flag 12680003/12680003
1223.56/1220.88	c cleaning 36008 clauses out of 72047 with flag 12716000/12716000
1226.47/1223.76	c cleaning 35991 clauses out of 72041 with flag 12752002/12752002
1228.98/1226.25	c cleaning 35976 clauses out of 72049 with flag 12788001/12788001
1232.49/1229.70	c cleaning 36020 clauses out of 72074 with flag 12824002/12824002
1235.79/1233.02	c cleaning 35988 clauses out of 72053 with flag 12860001/12860001
1239.60/1236.85	c cleaning 36006 clauses out of 72064 with flag 12896000/12896000
1243.01/1240.27	c cleaning 36001 clauses out of 72059 with flag 12932001/12932001
1246.72/1243.91	c cleaning 35978 clauses out of 72058 with flag 12968001/12968001
1251.43/1248.65	c cleaning 36011 clauses out of 72079 with flag 13004000/13004000
1256.13/1253.39	c cleaning 36010 clauses out of 72068 with flag 13040000/13040000
1261.84/1259.01	c cleaning 36006 clauses out of 72058 with flag 13076000/13076000
1266.75/1263.91	c cleaning 36007 clauses out of 72052 with flag 13112000/13112000
1270.76/1267.97	c cleaning 36001 clauses out of 72045 with flag 13148000/13148000
1274.96/1272.14	c cleaning 36005 clauses out of 72045 with flag 13184001/13184001
1278.98/1276.18	c cleaning 35983 clauses out of 72039 with flag 13220000/13220000
1283.48/1280.65	c cleaning 36020 clauses out of 72057 with flag 13256001/13256001
1287.98/1285.20	c cleaning 35997 clauses out of 72037 with flag 13292001/13292001
1294.30/1291.48	c cleaning 35968 clauses out of 72039 with flag 13328000/13328000
1298.30/1295.47	c cleaning 36006 clauses out of 72071 with flag 13364000/13364000
1302.91/1300.01	c starts		: 2845
1302.91/1300.01	c conflicts		: 13393547
1302.91/1300.01	c decisions		: 19452751
1302.91/1300.01	c propagations		: 442974316
1302.91/1300.01	c inspects		: 13971848675
1302.91/1300.01	c shortcuts		: 0
1302.91/1300.01	c learnt literals	: 0
1302.91/1300.01	c learnt binary clauses	: 0
1302.91/1300.01	c learnt ternary clauses	: 0
1302.91/1300.01	c learnt constraints	: 13393547
1302.91/1300.01	c ignored constraints	: 0
1302.91/1300.01	c root simplifications	: 2845
1302.91/1300.01	c removed literals (reason simplification)	: 72985545
1302.91/1300.01	c reason swapping (by a shorter reason)	: 0
1302.91/1300.01	c Calls to reduceDB	: 385
1302.91/1300.01	c speed (assignments/second)	: 340806.8866986054
1302.91/1300.01	c non guided choices	205879
1302.91/1300.04	c learnt constraints type 
1302.91/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 65688
1302.91/1300.04	c constraints type 
1302.91/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 33864
1302.91/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1224
1302.91/1300.04	s UNKNOWN
1302.91/1300.04	c Total wall clock time (in seconds) : 1299.918

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

running on 2 cores: 4,6

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.20 3.83 3.87 13/242 2616
/proc/meminfo: memFree=12780336/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=11800 CPUtime=0 cores=4,6
/proc/2616/stat : 2616 (runsolver) R 2614 2616 1417 0 -1 4202560 46 0 0 0 0 0 0 0 23 0 1 0 443405043 12083200 54 33554432000 4194304 5434984 140735320308448 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/2616/statm: 2950 54 34 303 0 2644 0

[startup+0.103762 s]
/proc/loadavg: 3.20 3.83 3.87 13/242 2616
/proc/meminfo: memFree=12780336/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7636332 CPUtime=0.09 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 10324 0 1 0 8 1 0 0 23 0 18 0 443405043 7819603968 10020 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1909083 10021 2061 9 0 1899821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636332

[startup+0.200771 s]
/proc/loadavg: 3.20 3.83 3.87 13/242 2616
/proc/meminfo: memFree=12780336/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7641332 CPUtime=0.28 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 12288 0 1 0 27 1 0 0 23 0 18 0 443405043 7824723968 11691 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1910333 11692 2189 9 0 1901071 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7641332

[startup+0.300758 s]
/proc/loadavg: 3.20 3.83 3.87 13/242 2616
/proc/meminfo: memFree=12780336/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7641616 CPUtime=0.48 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 12876 0 1 0 47 1 0 0 23 0 19 0 443405043 7825014784 12167 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1910404 12167 2209 9 0 1901142 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7641616

[startup+0.700731 s]
/proc/loadavg: 3.20 3.83 3.87 13/242 2616
/proc/meminfo: memFree=12780336/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7645136 CPUtime=1.16 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 14878 0 1 0 114 2 0 0 23 0 19 0 443405043 7828619264 13462 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1911284 13462 2226 9 0 1902022 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 7645136

[startup+1.50159 s]
/proc/loadavg: 3.20 3.83 3.87 5/262 2636
/proc/meminfo: memFree=12607832/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7665188 CPUtime=2.21 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 23689 0 1 0 218 3 0 0 23 0 19 0 443405043 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1916297 20330 2254 9 0 1907035 0
[pid=2616/tid=2618] ppid=2614 vsize=7665188 CPUtime=1.41 cores=4,6
/proc/2616/task/2618/stat : 2618 (java) R 2614 2616 1417 0 -1 4202560 9948 0 1 0 140 1 0 0 25 0 19 0 443405044 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 46912505599155 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2619/stat : 2619 (java) S 2614 2616 1417 0 -1 4202560 362 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2620/stat : 2620 (java) S 2614 2616 1417 0 -1 4202560 353 0 0 0 0 0 0 0 16 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2621] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2621/stat : 2621 (java) S 2614 2616 1417 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2622] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2622/stat : 2622 (java) S 2614 2616 1417 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2623] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2623/stat : 2623 (java) S 2614 2616 1417 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2624] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2624/stat : 2624 (java) S 2614 2616 1417 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2625] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2625/stat : 2625 (java) S 2614 2616 1417 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2626] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2626/stat : 2626 (java) S 2614 2616 1417 0 -1 4202560 236 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2627] ppid=2614 vsize=7665188 CPUtime=0.05 cores=4,6
/proc/2616/task/2627/stat : 2627 (java) S 2614 2616 1417 0 -1 4202560 1121 0 0 0 5 0 0 0 16 0 19 0 443405046 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 0 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2628] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2628/stat : 2628 (java) S 2614 2616 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405047 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2629] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2629/stat : 2629 (java) S 2614 2616 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405047 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2630] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2630/stat : 2630 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350207409 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2631] ppid=2614 vsize=7665188 CPUtime=0.55 cores=4,6
/proc/2616/task/2631/stat : 2631 (java) S 2614 2616 1417 0 -1 4202560 9164 0 0 0 54 1 0 0 21 0 19 0 443405049 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2632] ppid=2614 vsize=7665188 CPUtime=0.17 cores=4,6
/proc/2616/task/2632/stat : 2632 (java) S 2614 2616 1417 0 -1 4202560 1098 0 0 0 17 0 0 0 18 0 19 0 443405049 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2633] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2633/stat : 2633 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2634] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2634/stat : 2634 (java) S 2614 2616 1417 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 443405049 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2635] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2635/stat : 2635 (java) S 2614 2616 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405066 7849152512 20330 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 7665188

[startup+3.10126 s]
/proc/loadavg: 3.20 3.83 3.87 5/262 2636
/proc/meminfo: memFree=12603008/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7665188 CPUtime=3.82 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 24157 0 1 0 379 3 0 0 23 0 19 0 443405043 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1916297 20794 2254 9 0 1907035 0
[pid=2616/tid=2618] ppid=2614 vsize=7665188 CPUtime=2.94 cores=4,6
/proc/2616/task/2618/stat : 2618 (java) R 2614 2616 1417 0 -1 4202560 9951 0 1 0 293 1 0 0 25 0 19 0 443405044 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 46912505605888 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2619/stat : 2619 (java) S 2614 2616 1417 0 -1 4202560 365 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2620/stat : 2620 (java) S 2614 2616 1417 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2621] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2621/stat : 2621 (java) S 2614 2616 1417 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2622] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2622/stat : 2622 (java) S 2614 2616 1417 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2623] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2623/stat : 2623 (java) S 2614 2616 1417 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2624] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2624/stat : 2624 (java) S 2614 2616 1417 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2625] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2625/stat : 2625 (java) S 2614 2616 1417 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2626] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2626/stat : 2626 (java) S 2614 2616 1417 0 -1 4202560 236 0 0 0 0 0 0 0 15 0 19 0 443405045 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2627] ppid=2614 vsize=7665188 CPUtime=0.11 cores=4,6
/proc/2616/task/2627/stat : 2627 (java) S 2614 2616 1417 0 -1 4202560 1357 0 0 0 11 0 0 0 16 0 19 0 443405046 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 0 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2628] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2628/stat : 2628 (java) S 2614 2616 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405047 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2629] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2629/stat : 2629 (java) S 2614 2616 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405047 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2630] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2630/stat : 2630 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350207409 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2631] ppid=2614 vsize=7665188 CPUtime=0.56 cores=4,6
/proc/2616/task/2631/stat : 2631 (java) S 2614 2616 1417 0 -1 4202560 9165 0 0 0 55 1 0 0 18 0 19 0 443405049 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2632] ppid=2614 vsize=7665188 CPUtime=0.17 cores=4,6
/proc/2616/task/2632/stat : 2632 (java) S 2614 2616 1417 0 -1 4202560 1098 0 0 0 17 0 0 0 18 0 19 0 443405049 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2633] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2633/stat : 2633 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2634] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2634/stat : 2634 (java) S 2614 2616 1417 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 443405049 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2635] ppid=2614 vsize=7665188 CPUtime=0 cores=4,6
/proc/2616/task/2635/stat : 2635 (java) S 2614 2616 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405066 7849152512 20794 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 7665188

[startup+6.30161 s]
/proc/loadavg: 3.26 3.83 3.87 5/262 2636
/proc/meminfo: memFree=12442560/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7660680 CPUtime=7.04 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 24745 0 1 0 701 3 0 0 23 0 19 0 443405043 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1915170 20670 2254 9 0 1905908 0
[pid=2616/tid=2618] ppid=2614 vsize=7660680 CPUtime=6.02 cores=4,6
/proc/2616/task/2618/stat : 2618 (java) R 2614 2616 1417 0 -1 4202560 9957 0 1 0 601 1 0 0 25 0 19 0 443405044 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 46912505678325 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=7660680 CPUtime=0.01 cores=4,6
/proc/2616/task/2619/stat : 2619 (java) S 2614 2616 1417 0 -1 4202560 365 0 0 0 1 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2620/stat : 2620 (java) S 2614 2616 1417 0 -1 4202560 488 0 0 0 0 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2621] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2621/stat : 2621 (java) S 2614 2616 1417 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2622] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2622/stat : 2622 (java) S 2614 2616 1417 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2623] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2623/stat : 2623 (java) S 2614 2616 1417 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2624] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2624/stat : 2624 (java) S 2614 2616 1417 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2625] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2625/stat : 2625 (java) S 2614 2616 1417 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2626] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2626/stat : 2626 (java) S 2614 2616 1417 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 19 0 443405045 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2627] ppid=2614 vsize=7660680 CPUtime=0.22 cores=4,6
/proc/2616/task/2627/stat : 2627 (java) S 2614 2616 1417 0 -1 4202560 1540 0 0 0 22 0 0 0 16 0 19 0 443405046 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 0 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2628] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2628/stat : 2628 (java) S 2614 2616 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2629] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2629/stat : 2629 (java) S 2614 2616 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2630] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2630/stat : 2630 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350207409 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2631] ppid=2614 vsize=7660680 CPUtime=0.57 cores=4,6
/proc/2616/task/2631/stat : 2631 (java) S 2614 2616 1417 0 -1 4202560 9165 0 0 0 56 1 0 0 15 0 19 0 443405049 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2632] ppid=2614 vsize=7660680 CPUtime=0.17 cores=4,6
/proc/2616/task/2632/stat : 2632 (java) S 2614 2616 1417 0 -1 4202560 1098 0 0 0 17 0 0 0 18 0 19 0 443405049 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2633] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2633/stat : 2633 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2634] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2634/stat : 2634 (java) S 2614 2616 1417 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 443405049 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2635] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2635/stat : 2635 (java) S 2614 2616 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405066 7844536320 20670 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 7660680

[startup+12.7013 s]

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

[pid=2616/tid=2624] ppid=2614 vsize=7660680 CPUtime=0.49 cores=4,6
/proc/2616/task/2624/stat : 2624 (java) S 2614 2616 1417 0 -1 4202560 505 0 0 0 49 0 0 0 16 0 19 0 443405045 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2625] ppid=2614 vsize=7660680 CPUtime=0.41 cores=4,6
/proc/2616/task/2625/stat : 2625 (java) S 2614 2616 1417 0 -1 4202560 311 0 0 0 41 0 0 0 16 0 19 0 443405045 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2626] ppid=2614 vsize=7660680 CPUtime=0.55 cores=4,6
/proc/2616/task/2626/stat : 2626 (java) S 2614 2616 1417 0 -1 4202560 911 0 0 0 55 0 0 0 16 0 19 0 443405045 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2627] ppid=2614 vsize=7660680 CPUtime=14.2 cores=4,6
/proc/2616/task/2627/stat : 2627 (java) S 2614 2616 1417 0 -1 4202560 10679 0 0 0 1417 3 0 0 15 0 19 0 443405046 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 0 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2628] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2628/stat : 2628 (java) S 2614 2616 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2629] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2629/stat : 2629 (java) S 2614 2616 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2630] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2630/stat : 2630 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350207409 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2631] ppid=2614 vsize=7660680 CPUtime=0.59 cores=4,6
/proc/2616/task/2631/stat : 2631 (java) S 2614 2616 1417 0 -1 4202560 9174 0 0 0 58 1 0 0 15 0 19 0 443405049 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2632] ppid=2614 vsize=7660680 CPUtime=0.17 cores=4,6
/proc/2616/task/2632/stat : 2632 (java) S 2614 2616 1417 0 -1 4202560 1098 0 0 0 17 0 0 0 18 0 19 0 443405049 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2633] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2633/stat : 2633 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2634] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2634/stat : 2634 (java) S 2614 2616 1417 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 443405049 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2635] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2635/stat : 2635 (java) S 2614 2616 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405066 7844536320 37847 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1185
Current children cumulated vsize (KiB) 7660680

[startup+1242.3 s]
/proc/loadavg: 4.06 4.03 3.95 5/262 2672
/proc/meminfo: memFree=12236800/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7660680 CPUtime=1245.12 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 42649 0 1 0 124501 11 0 0 23 0 19 0 443405043 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1915170 38062 2255 9 0 1905908 0
[pid=2616/tid=2618] ppid=2614 vsize=7660680 CPUtime=1224.9 cores=4,6
/proc/2616/task/2618/stat : 2618 (java) R 2614 2616 1417 0 -1 4202560 13206 0 1 0 122486 4 0 0 25 0 19 0 443405044 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 46912505605927 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=7660680 CPUtime=0.59 cores=4,6
/proc/2616/task/2619/stat : 2619 (java) S 2614 2616 1417 0 -1 4202560 553 0 0 0 59 0 0 0 15 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=7660680 CPUtime=0.57 cores=4,6
/proc/2616/task/2620/stat : 2620 (java) S 2614 2616 1417 0 -1 4202560 1481 0 0 0 57 0 0 0 15 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2621] ppid=2614 vsize=7660680 CPUtime=0.58 cores=4,6
/proc/2616/task/2621/stat : 2621 (java) S 2614 2616 1417 0 -1 4202560 1036 0 0 0 58 0 0 0 15 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2622] ppid=2614 vsize=7660680 CPUtime=0.54 cores=4,6
/proc/2616/task/2622/stat : 2622 (java) S 2614 2616 1417 0 -1 4202560 1165 0 0 0 54 0 0 0 15 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2623] ppid=2614 vsize=7660680 CPUtime=0.59 cores=4,6
/proc/2616/task/2623/stat : 2623 (java) S 2614 2616 1417 0 -1 4202560 1095 0 0 0 59 0 0 0 15 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2624] ppid=2614 vsize=7660680 CPUtime=0.51 cores=4,6
/proc/2616/task/2624/stat : 2624 (java) S 2614 2616 1417 0 -1 4202560 505 0 0 0 51 0 0 0 15 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2625] ppid=2614 vsize=7660680 CPUtime=0.44 cores=4,6
/proc/2616/task/2625/stat : 2625 (java) S 2614 2616 1417 0 -1 4202560 311 0 0 0 44 0 0 0 15 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2626] ppid=2614 vsize=7660680 CPUtime=0.58 cores=4,6
/proc/2616/task/2626/stat : 2626 (java) S 2614 2616 1417 0 -1 4202560 912 0 0 0 58 0 0 0 16 0 19 0 443405045 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2627] ppid=2614 vsize=7660680 CPUtime=14.98 cores=4,6
/proc/2616/task/2627/stat : 2627 (java) S 2614 2616 1417 0 -1 4202560 10890 0 0 0 1495 3 0 0 15 0 19 0 443405046 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 0 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2628] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2628/stat : 2628 (java) S 2614 2616 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2629] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2629/stat : 2629 (java) S 2614 2616 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2630] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2630/stat : 2630 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350207409 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2631] ppid=2614 vsize=7660680 CPUtime=0.59 cores=4,6
/proc/2616/task/2631/stat : 2631 (java) S 2614 2616 1417 0 -1 4202560 9174 0 0 0 58 1 0 0 15 0 19 0 443405049 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2632] ppid=2614 vsize=7660680 CPUtime=0.17 cores=4,6
/proc/2616/task/2632/stat : 2632 (java) S 2614 2616 1417 0 -1 4202560 1098 0 0 0 17 0 0 0 18 0 19 0 443405049 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2633] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2633/stat : 2633 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2634] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2634/stat : 2634 (java) S 2614 2616 1417 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 443405049 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2635] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2635/stat : 2635 (java) S 2614 2616 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405066 7844536320 38062 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1245.12
Current children cumulated vsize (KiB) 7660680



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.02 3.95 2/202 2682
/proc/meminfo: memFree=12765828/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7660680 CPUtime=1302.91 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 42831 0 1 0 130280 11 0 0 23 0 19 0 443405043 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1915170 38226 2255 9 0 1905908 0
[pid=2616/tid=2618] ppid=2614 vsize=7660680 CPUtime=1281.92 cores=4,6
/proc/2616/task/2618/stat : 2618 (java) R 2614 2616 1417 0 -1 4202560 13218 0 1 0 128188 4 0 0 25 0 19 0 443405044 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 46912505599097 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=7660680 CPUtime=0.61 cores=4,6
/proc/2616/task/2619/stat : 2619 (java) S 2614 2616 1417 0 -1 4202560 553 0 0 0 61 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=7660680 CPUtime=0.58 cores=4,6
/proc/2616/task/2620/stat : 2620 (java) S 2614 2616 1417 0 -1 4202560 1481 0 0 0 58 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2621] ppid=2614 vsize=7660680 CPUtime=0.6 cores=4,6
/proc/2616/task/2621/stat : 2621 (java) S 2614 2616 1417 0 -1 4202560 1037 0 0 0 60 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2622] ppid=2614 vsize=7660680 CPUtime=0.58 cores=4,6
/proc/2616/task/2622/stat : 2622 (java) S 2614 2616 1417 0 -1 4202560 1165 0 0 0 58 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2623] ppid=2614 vsize=7660680 CPUtime=0.62 cores=4,6
/proc/2616/task/2623/stat : 2623 (java) S 2614 2616 1417 0 -1 4202560 1095 0 0 0 62 0 0 0 16 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2624] ppid=2614 vsize=7660680 CPUtime=0.52 cores=4,6
/proc/2616/task/2624/stat : 2624 (java) S 2614 2616 1417 0 -1 4202560 505 0 0 0 52 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2625] ppid=2614 vsize=7660680 CPUtime=0.46 cores=4,6
/proc/2616/task/2625/stat : 2625 (java) S 2614 2616 1417 0 -1 4202560 320 0 0 0 46 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2626] ppid=2614 vsize=7660680 CPUtime=0.62 cores=4,6
/proc/2616/task/2626/stat : 2626 (java) S 2614 2616 1417 0 -1 4202560 916 0 0 0 62 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2627] ppid=2614 vsize=7660680 CPUtime=15.56 cores=4,6
/proc/2616/task/2627/stat : 2627 (java) S 2614 2616 1417 0 -1 4202560 11042 0 0 0 1553 3 0 0 15 0 19 0 443405046 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 0 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2628] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2628/stat : 2628 (java) S 2614 2616 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2629] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2629/stat : 2629 (java) S 2614 2616 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2630] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2630/stat : 2630 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350207409 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2631] ppid=2614 vsize=7660680 CPUtime=0.59 cores=4,6
/proc/2616/task/2631/stat : 2631 (java) S 2614 2616 1417 0 -1 4202560 9174 0 0 0 58 1 0 0 15 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2632] ppid=2614 vsize=7660680 CPUtime=0.17 cores=4,6
/proc/2616/task/2632/stat : 2632 (java) S 2614 2616 1417 0 -1 4202560 1098 0 0 0 17 0 0 0 18 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2633] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2633/stat : 2633 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2634] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2634/stat : 2634 (java) S 2614 2616 1417 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2635] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2635/stat : 2635 (java) S 2614 2616 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405066 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1302.91
Current children cumulated vsize (KiB) 7660680

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.02 4.02 3.95 2/202 2682
/proc/meminfo: memFree=12765828/32951124 swapFree=67111528/67111528
[pid=2616] ppid=2614 vsize=7660680 CPUtime=1302.91 cores=4,6
/proc/2616/stat : 2616 (java) S 2614 2616 1417 0 -1 4202496 42831 0 1 0 130280 11 0 0 23 0 19 0 443405043 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/2616/statm: 1915170 38226 2255 9 0 1905908 0
[pid=2616/tid=2618] ppid=2614 vsize=7660680 CPUtime=1281.92 cores=4,6
/proc/2616/task/2618/stat : 2618 (java) R 2614 2616 1417 0 -1 4202560 13218 0 1 0 128188 4 0 0 25 0 19 0 443405044 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 46912505599097 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2616/tid=2619] ppid=2614 vsize=7660680 CPUtime=0.61 cores=4,6
/proc/2616/task/2619/stat : 2619 (java) S 2614 2616 1417 0 -1 4202560 553 0 0 0 61 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2620] ppid=2614 vsize=7660680 CPUtime=0.58 cores=4,6
/proc/2616/task/2620/stat : 2620 (java) S 2614 2616 1417 0 -1 4202560 1481 0 0 0 58 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2621] ppid=2614 vsize=7660680 CPUtime=0.6 cores=4,6
/proc/2616/task/2621/stat : 2621 (java) S 2614 2616 1417 0 -1 4202560 1037 0 0 0 60 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2622] ppid=2614 vsize=7660680 CPUtime=0.58 cores=4,6
/proc/2616/task/2622/stat : 2622 (java) S 2614 2616 1417 0 -1 4202560 1165 0 0 0 58 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2623] ppid=2614 vsize=7660680 CPUtime=0.62 cores=4,6
/proc/2616/task/2623/stat : 2623 (java) S 2614 2616 1417 0 -1 4202560 1095 0 0 0 62 0 0 0 16 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2624] ppid=2614 vsize=7660680 CPUtime=0.52 cores=4,6
/proc/2616/task/2624/stat : 2624 (java) S 2614 2616 1417 0 -1 4202560 505 0 0 0 52 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2625] ppid=2614 vsize=7660680 CPUtime=0.46 cores=4,6
/proc/2616/task/2625/stat : 2625 (java) S 2614 2616 1417 0 -1 4202560 320 0 0 0 46 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2626] ppid=2614 vsize=7660680 CPUtime=0.62 cores=4,6
/proc/2616/task/2626/stat : 2626 (java) S 2614 2616 1417 0 -1 4202560 916 0 0 0 62 0 0 0 15 0 19 0 443405045 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2627] ppid=2614 vsize=7660680 CPUtime=15.56 cores=4,6
/proc/2616/task/2627/stat : 2627 (java) S 2614 2616 1417 0 -1 4202560 11042 0 0 0 1553 3 0 0 15 0 19 0 443405046 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 0 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2628] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2628/stat : 2628 (java) S 2614 2616 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2629] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2629/stat : 2629 (java) S 2614 2616 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405047 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2630] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2630/stat : 2630 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350207409 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2631] ppid=2614 vsize=7660680 CPUtime=0.59 cores=4,6
/proc/2616/task/2631/stat : 2631 (java) S 2614 2616 1417 0 -1 4202560 9174 0 0 0 58 1 0 0 15 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2632] ppid=2614 vsize=7660680 CPUtime=0.17 cores=4,6
/proc/2616/task/2632/stat : 2632 (java) S 2614 2616 1417 0 -1 4202560 1098 0 0 0 17 0 0 0 18 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2633] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2633/stat : 2633 (java) S 2614 2616 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350199705 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
[pid=2616/tid=2634] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2634/stat : 2634 (java) S 2614 2616 1417 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 443405049 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 6 0 0 0
[pid=2616/tid=2635] ppid=2614 vsize=7660680 CPUtime=0 cores=4,6
/proc/2616/task/2635/stat : 2635 (java) S 2614 2616 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405066 7844536320 38226 33554432000 1073741824 1073778376 140733307817552 18446744073709551615 270350200320 0 4 0 16800975 18446604453962204096 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1302.91
Current children cumulated vsize (KiB) 7660680

Child status: 143
Real time (s): 1300.05
CPU time (s): 1302.99
CPU user time (s): 1302.86
CPU system time (s): 0.120981
CPU usage (%): 100.226
Max. virtual memory (cumulated for all children) (KiB): 7665188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.86
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42869
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= 38024
involuntary context switches= 10747

runsolver used 2.22866 second user time and 4.90325 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-23 00:04:54
IDJOB=3249146
IDBENCH=83157
IDSOLVER=1611
FILE ID=node143/3249146-1303509894
RUNJOBID= node143-1303509894-2521
PBS_JOBID= 13134235
Free space on /tmp= 72108 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-6x34.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-3249146-1303509894/watcher-3249146-1303509894 -o /tmp/evaluation-result-3249146-1303509894/solver-3249146-1303509894 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249146-1303509894.cnf

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

MD5SUM BENCH= 1633295f58c28a5b4150be8640bdf9df
RANDOM SEED=1736990984

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12780616 kB
Buffers:       1818800 kB
Cached:       17599228 kB
SwapCached:          0 kB
Active:        9335300 kB
Inactive:     10285448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12780616 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           17236 kB
Writeback:           0 kB
AnonPages:      202192 kB
Mapped:          23300 kB
Slab:           485388 kB
PageTables:       6172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21993656 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= 72120 MiB
End job on node143 at 2011-04-23 00:26:36