Trace number 3249630

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) 1303.03 1300.05

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-6x40.cnf
MD5SUM3a7a68cedc6ab84c0df9c27d166b0b6b
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 variables960
Number of clauses48480
Sum of the clauses size191040
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21440
Number of clauses of size 30
Number of clauses of size 447040
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.15	c no version file found!!!
0.02/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.15	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.15	c java.vm.version	19.1-b02
0.02/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.15	c sun.arch.data.model	64
0.02/0.15	c java.version		1.6.0_24
0.02/0.15	c os.name		Linux
0.02/0.15	c os.version		2.6.18-164.el5
0.02/0.15	c os.arch		amd64
0.02/0.15	c Free memory 		6997539544
0.02/0.15	c Max memory 		7034241024
0.02/0.15	c Total memory 		7034241024
0.02/0.15	c Number of processors 	8
0.02/0.15	c --- Begin Solver configuration ---
0.02/0.15	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.02/0.15	c Learn all clauses as in MiniSAT
0.02/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.02/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.02/0.15	c Expensive reason simplification
0.02/0.15	c Armin Biere (Picosat) restarts strategy
0.02/0.15	c Glucose learned constraints deletion strategy
0.02/0.15	c timeout=2147483647s
0.02/0.15	c DB Simplification allowed=true
0.02/0.15	c --- End Solver configuration ---
0.02/0.15	c solving HOME/instance-3249630-1303513023.cnf
0.02/0.15	c reading problem ... 
0.25/0.27	c ... done. Wall clock time 0.184s.
0.25/0.27	c #vars     960
0.25/0.27	c #constraints  48480
0.25/0.27	c constraints type 
0.25/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 47040
0.25/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1440
1.31/0.80	c cleaning 2495 clauses out of 5002 with flag 5002/5002
1.82/1.15	c cleaning 4249 clauses out of 8505 with flag 11000/11000
2.12/1.47	c cleaning 5627 clauses out of 11257 with flag 18001/18001
2.53/1.84	c cleaning 6806 clauses out of 13630 with flag 26001/26001
2.94/2.27	c cleaning 7894 clauses out of 15824 with flag 35001/35001
3.44/2.73	c cleaning 8961 clauses out of 17930 with flag 45001/45001
3.94/3.23	c cleaning 9978 clauses out of 19968 with flag 56000/56000
4.54/3.80	c cleaning 10980 clauses out of 21990 with flag 68000/68000
5.04/4.40	c cleaning 11997 clauses out of 24010 with flag 81000/81000
5.74/5.05	c cleaning 12990 clauses out of 26013 with flag 95000/95000
6.44/5.78	c cleaning 13999 clauses out of 28023 with flag 110000/110000
7.24/6.56	c cleaning 14997 clauses out of 30026 with flag 126002/126002
8.04/7.39	c cleaning 16001 clauses out of 32027 with flag 143000/143000
8.94/8.29	c cleaning 16996 clauses out of 34026 with flag 161000/161000
10.05/9.30	c cleaning 18007 clauses out of 36031 with flag 180001/180001
10.95/10.28	c cleaning 18996 clauses out of 38023 with flag 200000/200000
12.05/11.30	c cleaning 19995 clauses out of 40028 with flag 221001/221001
13.15/12.45	c cleaning 21002 clauses out of 42033 with flag 243001/243001
14.35/13.65	c cleaning 22003 clauses out of 44031 with flag 266001/266001
15.56/14.85	c cleaning 23002 clauses out of 46028 with flag 290001/290001
16.87/16.11	c cleaning 23988 clauses out of 48025 with flag 315000/315000
18.17/17.48	c cleaning 24998 clauses out of 50038 with flag 341001/341001
19.67/18.99	c cleaning 26000 clauses out of 52040 with flag 368001/368001
21.08/20.39	c cleaning 27006 clauses out of 54040 with flag 396001/396001
22.79/22.01	c cleaning 28000 clauses out of 56035 with flag 425002/425002
24.58/23.82	c cleaning 28992 clauses out of 58036 with flag 455003/455003
26.19/25.49	c cleaning 29994 clauses out of 60043 with flag 486002/486002
28.09/27.33	c cleaning 31007 clauses out of 62048 with flag 518001/518001
30.19/29.41	c cleaning 32015 clauses out of 64040 with flag 551000/551000
32.00/31.22	c cleaning 32995 clauses out of 66025 with flag 585000/585000
34.20/33.41	c cleaning 33997 clauses out of 68031 with flag 620001/620001
36.20/35.41	c cleaning 34998 clauses out of 70033 with flag 656000/656000
38.60/37.82	c cleaning 36007 clauses out of 72035 with flag 693000/693000
40.81/40.04	c cleaning 36996 clauses out of 74029 with flag 731001/731001
43.11/42.37	c cleaning 37996 clauses out of 76033 with flag 770001/770001
45.41/44.64	c cleaning 38994 clauses out of 78036 with flag 810000/810000
48.21/47.41	c cleaning 39990 clauses out of 80042 with flag 851000/851000
50.82/50.06	c cleaning 41011 clauses out of 82053 with flag 893001/893001
53.72/52.98	c cleaning 42001 clauses out of 84041 with flag 936000/936000
56.54/55.70	c cleaning 43000 clauses out of 86040 with flag 980000/980000
59.44/58.65	c cleaning 43989 clauses out of 88040 with flag 1025000/1025000
62.24/61.49	c cleaning 45003 clauses out of 90052 with flag 1071001/1071001
66.05/65.20	c cleaning 46009 clauses out of 92050 with flag 1118002/1118002
68.96/68.15	c cleaning 46996 clauses out of 94040 with flag 1166001/1166001
72.56/71.74	c cleaning 48008 clauses out of 96046 with flag 1215003/1215003
75.96/75.20	c cleaning 48497 clauses out of 97038 with flag 1264003/1264003
79.47/78.65	c cleaning 48740 clauses out of 97540 with flag 1313002/1313002
83.57/82.77	c cleaning 48884 clauses out of 97799 with flag 1362001/1362001
86.58/85.77	c cleaning 48928 clauses out of 97914 with flag 1411000/1411000
90.18/89.38	c cleaning 48980 clauses out of 97986 with flag 1460000/1460000
94.39/93.54	c cleaning 48970 clauses out of 98007 with flag 1509001/1509001
97.39/96.52	c cleaning 48983 clauses out of 98036 with flag 1558000/1558000
100.90/100.06	c cleaning 49016 clauses out of 98058 with flag 1607005/1607005
105.31/104.45	c cleaning 49015 clauses out of 98037 with flag 1656000/1656000
108.21/107.36	c cleaning 49001 clauses out of 98023 with flag 1705001/1705001
111.51/110.62	c cleaning 48990 clauses out of 98021 with flag 1754000/1754000
115.62/114.76	c cleaning 48986 clauses out of 98031 with flag 1803000/1803000
119.33/118.44	c cleaning 49009 clauses out of 98045 with flag 1852000/1852000
122.23/121.39	c cleaning 49006 clauses out of 98038 with flag 1901002/1901002
126.03/125.10	c cleaning 48984 clauses out of 98030 with flag 1950000/1950000
130.24/129.34	c cleaning 49004 clauses out of 98047 with flag 1999001/1999001
133.75/132.89	c cleaning 49009 clauses out of 98043 with flag 2048001/2048001
137.05/136.18	c cleaning 48995 clauses out of 98033 with flag 2097000/2097000
141.26/140.35	c cleaning 48985 clauses out of 98038 with flag 2146000/2146000
145.86/144.94	c cleaning 49007 clauses out of 98054 with flag 2195001/2195001
150.17/149.21	c cleaning 49007 clauses out of 98046 with flag 2244000/2244000
153.18/152.29	c cleaning 48996 clauses out of 98039 with flag 2293000/2293000
157.09/156.15	c cleaning 48974 clauses out of 98043 with flag 2342000/2342000
161.59/160.61	c cleaning 49023 clauses out of 98069 with flag 2391000/2391000
166.00/165.06	c cleaning 48988 clauses out of 98047 with flag 2440001/2440001
169.11/168.15	c cleaning 48996 clauses out of 98058 with flag 2489000/2489000
172.71/171.78	c cleaning 49020 clauses out of 98062 with flag 2538000/2538000
176.83/175.81	c cleaning 48998 clauses out of 98043 with flag 2587001/2587001
180.94/179.96	c cleaning 48986 clauses out of 98046 with flag 2636002/2636002
185.04/184.08	c cleaning 48996 clauses out of 98059 with flag 2685001/2685001
188.74/187.72	c cleaning 49006 clauses out of 98062 with flag 2734000/2734000
191.94/190.96	c cleaning 49003 clauses out of 98058 with flag 2783002/2783002
195.75/194.74	c cleaning 48989 clauses out of 98053 with flag 2832000/2832000
199.65/198.66	c cleaning 48993 clauses out of 98065 with flag 2881001/2881001
203.96/202.90	c cleaning 49009 clauses out of 98072 with flag 2930001/2930001
209.26/208.24	c cleaning 49022 clauses out of 98062 with flag 2979000/2979000
212.07/211.06	c cleaning 49000 clauses out of 98041 with flag 3028001/3028001
215.48/214.45	c cleaning 48990 clauses out of 98040 with flag 3077000/3077000
219.18/218.12	c cleaning 48985 clauses out of 98051 with flag 3126001/3126001
223.29/222.24	c cleaning 49006 clauses out of 98066 with flag 3175001/3175001
228.29/227.30	c cleaning 48993 clauses out of 98059 with flag 3224000/3224000
233.60/232.51	c cleaning 49007 clauses out of 98067 with flag 3273001/3273001
236.60/235.54	c cleaning 49012 clauses out of 98061 with flag 3322002/3322002
240.21/239.12	c cleaning 48988 clauses out of 98048 with flag 3371001/3371001
243.91/242.81	c cleaning 49014 clauses out of 98060 with flag 3420001/3420001
248.11/247.01	c cleaning 48995 clauses out of 98045 with flag 3469000/3469000
252.22/251.15	c cleaning 49003 clauses out of 98050 with flag 3518000/3518000
257.14/256.00	c cleaning 48979 clauses out of 98047 with flag 3567000/3567000
263.24/262.16	c cleaning 49013 clauses out of 98068 with flag 3616000/3616000
266.16/265.04	c cleaning 49001 clauses out of 98055 with flag 3665000/3665000
269.66/268.53	c cleaning 48991 clauses out of 98056 with flag 3714002/3714002
273.66/272.53	c cleaning 49003 clauses out of 98063 with flag 3763000/3763000
277.97/276.81	c cleaning 49005 clauses out of 98062 with flag 3812002/3812002
282.27/281.15	c cleaning 49007 clauses out of 98056 with flag 3861001/3861001
286.78/285.61	c cleaning 49006 clauses out of 98050 with flag 3910002/3910002
291.99/290.81	c cleaning 48993 clauses out of 98042 with flag 3959000/3959000
296.20/295.07	c cleaning 49017 clauses out of 98049 with flag 4008000/4008000
299.40/298.28	c cleaning 49001 clauses out of 98033 with flag 4057001/4057001
303.41/302.24	c cleaning 48987 clauses out of 98034 with flag 4106003/4106003
307.71/306.58	c cleaning 49012 clauses out of 98044 with flag 4155000/4155000
312.02/310.86	c cleaning 48993 clauses out of 98033 with flag 4204001/4204001
318.03/316.85	c cleaning 48981 clauses out of 98039 with flag 4253000/4253000
322.74/321.53	c cleaning 49002 clauses out of 98058 with flag 4302000/4302000
328.04/326.83	c cleaning 49012 clauses out of 98056 with flag 4351000/4351000
333.36/332.19	c cleaning 49003 clauses out of 98044 with flag 4400000/4400000
336.36/335.17	c cleaning 48995 clauses out of 98042 with flag 4449001/4449001
340.07/338.88	c cleaning 48981 clauses out of 98049 with flag 4498003/4498003
344.07/342.86	c cleaning 48995 clauses out of 98066 with flag 4547001/4547001
348.28/347.06	c cleaning 48996 clauses out of 98071 with flag 4596001/4596001
352.58/351.37	c cleaning 49001 clauses out of 98075 with flag 4645001/4645001
357.79/356.55	c cleaning 49016 clauses out of 98073 with flag 4694000/4694000
363.10/361.82	c cleaning 48998 clauses out of 98059 with flag 4743002/4743002
368.91/367.63	c cleaning 49018 clauses out of 98059 with flag 4792000/4792000
376.51/375.27	c cleaning 49019 clauses out of 98042 with flag 4841001/4841001
379.63/378.31	c cleaning 48989 clauses out of 98023 with flag 4890001/4890001
383.04/381.73	c cleaning 48979 clauses out of 98033 with flag 4939000/4939000
387.14/385.89	c cleaning 49004 clauses out of 98054 with flag 4988000/4988000
392.14/390.82	c cleaning 49023 clauses out of 98052 with flag 5037002/5037002
397.25/395.92	c cleaning 49003 clauses out of 98029 with flag 5086002/5086002
402.36/401.08	c cleaning 48969 clauses out of 98024 with flag 5135000/5135000
407.77/406.40	c cleaning 49010 clauses out of 98056 with flag 5184001/5184001
414.98/413.61	c cleaning 48996 clauses out of 98046 with flag 5233001/5233001
420.99/419.67	c cleaning 48999 clauses out of 98049 with flag 5282000/5282000
427.69/426.36	c cleaning 48995 clauses out of 98050 with flag 5331000/5331000
430.51/429.19	c cleaning 49005 clauses out of 98055 with flag 5380000/5380000
434.41/433.02	c cleaning 48996 clauses out of 98053 with flag 5429003/5429003
438.71/437.33	c cleaning 49006 clauses out of 98056 with flag 5478002/5478002
443.42/442.03	c cleaning 48999 clauses out of 98048 with flag 5527000/5527000
448.52/447.12	c cleaning 48999 clauses out of 98049 with flag 5576000/5576000
453.13/451.74	c cleaning 49015 clauses out of 98051 with flag 5625001/5625001
458.95/457.60	c cleaning 48994 clauses out of 98036 with flag 5674001/5674001
465.15/463.77	c cleaning 48993 clauses out of 98042 with flag 5723001/5723001
471.35/469.90	c cleaning 49008 clauses out of 98048 with flag 5772000/5772000
477.77/476.36	c cleaning 48994 clauses out of 98041 with flag 5821001/5821001
484.07/482.68	c cleaning 49013 clauses out of 98046 with flag 5870000/5870000
487.28/485.84	c cleaning 48983 clauses out of 98033 with flag 5919000/5919000
490.79/489.30	c cleaning 49014 clauses out of 98052 with flag 5968002/5968002
494.69/493.27	c cleaning 49002 clauses out of 98036 with flag 6017000/6017000
498.90/497.47	c cleaning 48989 clauses out of 98034 with flag 6066000/6066000
503.21/501.70	c cleaning 49009 clauses out of 98047 with flag 6115002/6115002
508.92/507.45	c cleaning 49002 clauses out of 98036 with flag 6164000/6164000
514.33/512.84	c cleaning 48995 clauses out of 98034 with flag 6213000/6213000
520.75/519.24	c cleaning 48991 clauses out of 98039 with flag 6262000/6262000
525.95/524.44	c cleaning 48977 clauses out of 98048 with flag 6311000/6311000
531.67/530.20	c cleaning 49020 clauses out of 98073 with flag 6360002/6360002
536.57/535.02	c cleaning 48992 clauses out of 98051 with flag 6409000/6409000
542.18/540.68	c cleaning 49019 clauses out of 98060 with flag 6458001/6458001
545.19/543.62	c cleaning 48988 clauses out of 98040 with flag 6507000/6507000
548.90/547.30	c cleaning 49026 clauses out of 98053 with flag 6556001/6556001
553.60/552.07	c cleaning 48983 clauses out of 98028 with flag 6605002/6605002
558.41/556.87	c cleaning 48991 clauses out of 98044 with flag 6654001/6654001
563.02/561.41	c cleaning 49010 clauses out of 98056 with flag 6703004/6703004
568.13/566.56	c cleaning 49000 clauses out of 98043 with flag 6752001/6752001
573.54/571.92	c cleaning 48991 clauses out of 98043 with flag 6801001/6801001
578.44/576.86	c cleaning 48984 clauses out of 98053 with flag 6850002/6850002
583.35/581.70	c cleaning 49007 clauses out of 98068 with flag 6899001/6899001
591.36/589.74	c cleaning 48997 clauses out of 98060 with flag 6948000/6948000
598.77/597.16	c cleaning 48996 clauses out of 98063 with flag 6997000/6997000
607.38/605.75	c cleaning 49011 clauses out of 98067 with flag 7046000/7046000
615.40/613.76	c cleaning 49020 clauses out of 98057 with flag 7095001/7095001
618.50/616.81	c cleaning 48995 clauses out of 98037 with flag 7144001/7144001
621.91/620.21	c cleaning 48994 clauses out of 98041 with flag 7193000/7193000
626.11/624.46	c cleaning 48971 clauses out of 98050 with flag 7242003/7242003
630.22/628.58	c cleaning 49017 clauses out of 98076 with flag 7291000/7291000
634.53/632.83	c cleaning 49001 clauses out of 98059 with flag 7340000/7340000
638.43/636.70	c cleaning 49009 clauses out of 98059 with flag 7389001/7389001
643.44/641.72	c cleaning 48998 clauses out of 98049 with flag 7438000/7438000
649.35/647.68	c cleaning 48987 clauses out of 98051 with flag 7487000/7487000
656.27/654.57	c cleaning 49005 clauses out of 98064 with flag 7536000/7536000
661.47/659.70	c cleaning 48986 clauses out of 98061 with flag 7585002/7585002
667.19/665.49	c cleaning 49021 clauses out of 98075 with flag 7634002/7634002
674.09/672.35	c cleaning 48986 clauses out of 98052 with flag 7683000/7683000
679.60/677.82	c cleaning 48992 clauses out of 98066 with flag 7732000/7732000
684.71/682.97	c cleaning 49014 clauses out of 98077 with flag 7781003/7781003
690.42/688.69	c cleaning 49008 clauses out of 98060 with flag 7830000/7830000
693.43/691.62	c cleaning 49017 clauses out of 98052 with flag 7879000/7879000
697.13/695.35	c cleaning 49001 clauses out of 98037 with flag 7928002/7928002
701.35/699.60	c cleaning 48984 clauses out of 98034 with flag 7977000/7977000
706.85/705.00	c cleaning 49014 clauses out of 98051 with flag 8026001/8026001
711.05/709.21	c cleaning 48991 clauses out of 98037 with flag 8075001/8075001
715.06/713.29	c cleaning 49007 clauses out of 98045 with flag 8124000/8124000
719.17/717.30	c cleaning 49000 clauses out of 98039 with flag 8173001/8173001
722.98/721.16	c cleaning 48998 clauses out of 98040 with flag 8222002/8222002
728.69/726.87	c cleaning 49005 clauses out of 98040 with flag 8271000/8271000
733.20/731.34	c cleaning 48990 clauses out of 98037 with flag 8320002/8320002
739.11/737.26	c cleaning 48992 clauses out of 98045 with flag 8369000/8369000
745.92/744.00	c cleaning 49007 clauses out of 98053 with flag 8418000/8418000
751.84/749.93	c cleaning 49001 clauses out of 98048 with flag 8467002/8467002
758.05/756.17	c cleaning 48983 clauses out of 98046 with flag 8516001/8516001
764.26/762.38	c cleaning 49013 clauses out of 98064 with flag 8565002/8565002
771.97/770.06	c cleaning 49013 clauses out of 98052 with flag 8614003/8614003
774.98/773.02	c cleaning 48990 clauses out of 98038 with flag 8663002/8663002
778.68/776.73	c cleaning 48980 clauses out of 98046 with flag 8712000/8712000
782.90/780.97	c cleaning 48989 clauses out of 98066 with flag 8761000/8761000
787.31/785.40	c cleaning 49015 clauses out of 98077 with flag 8810000/8810000
792.61/790.69	c cleaning 49008 clauses out of 98062 with flag 8859000/8859000
797.62/795.68	c cleaning 48990 clauses out of 98055 with flag 8908001/8908001
802.53/800.53	c cleaning 48997 clauses out of 98066 with flag 8957002/8957002
808.54/806.55	c cleaning 49028 clauses out of 98067 with flag 9006000/9006000
813.86/811.86	c cleaning 48989 clauses out of 98039 with flag 9055000/9055000
820.26/818.21	c cleaning 49002 clauses out of 98051 with flag 9104001/9104001
826.98/824.97	c cleaning 49002 clauses out of 98049 with flag 9153001/9153001
833.29/831.22	c cleaning 49003 clauses out of 98046 with flag 9202000/9202000
840.70/838.69	c cleaning 48985 clauses out of 98044 with flag 9251001/9251001
847.41/845.33	c cleaning 48985 clauses out of 98060 with flag 9300002/9300002
852.72/850.67	c cleaning 48997 clauses out of 98074 with flag 9349001/9349001
859.53/857.40	c cleaning 49011 clauses out of 98076 with flag 9398000/9398000
867.24/865.17	c cleaning 49001 clauses out of 98065 with flag 9447000/9447000
872.05/869.91	c cleaning 49002 clauses out of 98066 with flag 9496002/9496002
875.16/873.09	c cleaning 49013 clauses out of 98065 with flag 9545003/9545003
878.77/876.63	c cleaning 49014 clauses out of 98049 with flag 9594000/9594000
882.97/880.81	c cleaning 48986 clauses out of 98035 with flag 9643000/9643000
887.48/885.33	c cleaning 48988 clauses out of 98049 with flag 9692000/9692000
891.99/889.89	c cleaning 49013 clauses out of 98062 with flag 9741001/9741001
897.00/894.86	c cleaning 48988 clauses out of 98051 with flag 9790003/9790003
902.50/900.35	c cleaning 49002 clauses out of 98061 with flag 9839001/9839001
907.62/905.42	c cleaning 49016 clauses out of 98060 with flag 9888002/9888002
912.33/910.10	c cleaning 48991 clauses out of 98042 with flag 9937000/9937000
917.94/915.71	c cleaning 49004 clauses out of 98051 with flag 9986000/9986000
923.15/920.94	c cleaning 48994 clauses out of 98047 with flag 10035000/10035000
928.75/926.58	c cleaning 49005 clauses out of 98054 with flag 10084001/10084001
936.77/934.55	c cleaning 49003 clauses out of 98049 with flag 10133001/10133001
943.48/941.21	c cleaning 48978 clauses out of 98045 with flag 10182000/10182000
949.79/947.54	c cleaning 49017 clauses out of 98067 with flag 10231000/10231000
955.70/953.45	c cleaning 49002 clauses out of 98052 with flag 10280002/10280002
962.51/960.29	c cleaning 48976 clauses out of 98048 with flag 10329000/10329000
968.12/965.88	c cleaning 49013 clauses out of 98074 with flag 10378002/10378002
978.73/976.43	c cleaning 49003 clauses out of 98059 with flag 10427000/10427000
981.74/979.47	c cleaning 48999 clauses out of 98056 with flag 10476000/10476000
985.44/983.17	c cleaning 48995 clauses out of 98057 with flag 10525000/10525000
989.35/987.02	c cleaning 49015 clauses out of 98062 with flag 10574000/10574000
994.16/991.84	c cleaning 49011 clauses out of 98048 with flag 10623001/10623001
998.77/996.47	c cleaning 49000 clauses out of 98037 with flag 10672001/10672001
1003.38/1001.03	c cleaning 48990 clauses out of 98036 with flag 10721000/10721000
1008.79/1006.42	c cleaning 48998 clauses out of 98046 with flag 10770000/10770000
1013.49/1011.19	c cleaning 48985 clauses out of 98049 with flag 10819001/10819001
1017.61/1015.25	c cleaning 49019 clauses out of 98065 with flag 10868002/10868002
1023.22/1020.86	c cleaning 48996 clauses out of 98044 with flag 10917000/10917000
1030.73/1028.31	c cleaning 48981 clauses out of 98048 with flag 10966000/10966000
1038.34/1035.96	c cleaning 48987 clauses out of 98069 with flag 11015002/11015002
1045.56/1043.11	c cleaning 49016 clauses out of 98081 with flag 11064001/11064001
1052.17/1049.73	c cleaning 49007 clauses out of 98064 with flag 11113000/11113000
1058.39/1055.95	c cleaning 48988 clauses out of 98057 with flag 11162000/11162000
1064.39/1061.94	c cleaning 49001 clauses out of 98069 with flag 11211000/11211000
1069.41/1066.90	c cleaning 49012 clauses out of 98068 with flag 11260000/11260000
1073.82/1071.40	c cleaning 48998 clauses out of 98057 with flag 11309001/11309001
1080.12/1077.67	c cleaning 49003 clauses out of 98059 with flag 11358001/11358001
1085.13/1082.70	c cleaning 49012 clauses out of 98056 with flag 11407001/11407001
1093.04/1090.51	c cleaning 48986 clauses out of 98044 with flag 11456001/11456001
1097.55/1095.07	c cleaning 49028 clauses out of 98057 with flag 11505000/11505000
1100.76/1098.25	c cleaning 48981 clauses out of 98029 with flag 11554000/11554000
1104.37/1101.87	c cleaning 48988 clauses out of 98048 with flag 11603000/11603000
1108.57/1106.05	c cleaning 49008 clauses out of 98060 with flag 11652000/11652000
1112.98/1110.49	c cleaning 49000 clauses out of 98054 with flag 11701002/11701002
1117.90/1115.39	c cleaning 49015 clauses out of 98052 with flag 11750000/11750000
1123.00/1120.49	c cleaning 49005 clauses out of 98038 with flag 11799001/11799001
1127.82/1125.26	c cleaning 49011 clauses out of 98032 with flag 11848000/11848000
1133.32/1130.76	c cleaning 48959 clauses out of 98022 with flag 11897001/11897001
1139.13/1136.52	c cleaning 49012 clauses out of 98062 with flag 11946000/11946000
1145.14/1142.53	c cleaning 48998 clauses out of 98052 with flag 11995002/11995002
1151.06/1148.46	c cleaning 48983 clauses out of 98052 with flag 12044000/12044000
1156.36/1153.74	c cleaning 49011 clauses out of 98069 with flag 12093000/12093000
1160.98/1158.38	c cleaning 49000 clauses out of 98058 with flag 12142000/12142000
1168.49/1165.86	c cleaning 48989 clauses out of 98058 with flag 12191000/12191000
1174.10/1171.45	c cleaning 49008 clauses out of 98070 with flag 12240001/12240001
1179.31/1176.61	c cleaning 48998 clauses out of 98062 with flag 12289001/12289001
1184.92/1182.27	c cleaning 48997 clauses out of 98063 with flag 12338000/12338000
1191.53/1188.85	c cleaning 48993 clauses out of 98066 with flag 12387000/12387000
1200.74/1198.02	c cleaning 49011 clauses out of 98075 with flag 12436002/12436002
1207.75/1205.08	c cleaning 48977 clauses out of 98062 with flag 12485000/12485000
1216.26/1213.50	c cleaning 49017 clauses out of 98085 with flag 12534000/12534000
1222.48/1219.76	c cleaning 49005 clauses out of 98070 with flag 12583002/12583002
1230.59/1227.86	c cleaning 49001 clauses out of 98063 with flag 12632000/12632000
1233.70/1230.93	c cleaning 49013 clauses out of 98062 with flag 12681000/12681000
1237.41/1234.64	c cleaning 48999 clauses out of 98051 with flag 12730002/12730002
1241.12/1238.39	c cleaning 48986 clauses out of 98054 with flag 12779004/12779004
1245.42/1242.67	c cleaning 49003 clauses out of 98064 with flag 12828000/12828000
1249.83/1247.02	c cleaning 48989 clauses out of 98061 with flag 12877000/12877000
1254.65/1251.81	c cleaning 49012 clauses out of 98073 with flag 12926001/12926001
1260.15/1257.35	c cleaning 48988 clauses out of 98062 with flag 12975002/12975002
1266.36/1263.51	c cleaning 49019 clauses out of 98072 with flag 13024000/13024000
1271.57/1268.78	c cleaning 49001 clauses out of 98053 with flag 13073000/13073000
1278.18/1275.33	c cleaning 48989 clauses out of 98052 with flag 13122000/13122000
1285.09/1282.21	c cleaning 49018 clauses out of 98065 with flag 13171002/13171002
1291.01/1288.19	c cleaning 48989 clauses out of 98046 with flag 13220001/13220001
1295.62/1292.70	c cleaning 48995 clauses out of 98056 with flag 13269000/13269000
1301.23/1298.30	c cleaning 48995 clauses out of 98062 with flag 13318001/13318001
1302.94/1300.01	c starts		: 2844
1302.94/1300.01	c conflicts		: 13335911
1302.94/1300.01	c decisions		: 19445328
1302.94/1300.01	c propagations		: 427619446
1302.94/1300.01	c inspects		: 14825613393
1302.94/1300.01	c shortcuts		: 0
1302.94/1300.01	c learnt literals	: 0
1302.94/1300.01	c learnt binary clauses	: 0
1302.94/1300.01	c learnt ternary clauses	: 0
1302.94/1300.01	c learnt constraints	: 13335913
1302.94/1300.01	c ignored constraints	: 0
1302.94/1300.01	c root simplifications	: 2844
1302.94/1300.01	c removed literals (reason simplification)	: 70457583
1302.94/1300.01	c reason swapping (by a shorter reason)	: 0
1302.94/1300.01	c Calls to reduceDB	: 292
1302.94/1300.01	c speed (assignments/second)	: 329004.9386952427
1302.94/1300.01	c non guided choices	245967
1302.94/1300.04	c learnt constraints type 
1302.94/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 67021
1302.94/1300.04	c constraints type 
1302.94/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 47040
1302.94/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1440
1302.94/1300.04	s UNKNOWN
1302.94/1300.04	c Total wall clock time (in seconds) : 1299.92

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-3249630-1303513023/watcher-3249630-1303513023 -o /tmp/evaluation-result-3249630-1303513023/solver-3249630-1303513023 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249630-1303513023.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.39 3.84 3.61 7/219 18138
/proc/meminfo: memFree=16212484/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=9020 CPUtime=0 cores=4,6
/proc/18138/stat : 18138 (java) R 18136 18138 16143 0 -1 4194304 330 0 0 0 0 0 0 0 25 0 1 0 462902713 9236480 90 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253635936359 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18138/statm: 2242 83 63 9 0 34 0

[startup+0.0311421 s]
/proc/loadavg: 3.39 3.84 3.61 7/219 18138
/proc/meminfo: memFree=16212484/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7562296 CPUtime=0.02 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 8404 0 1 0 1 1 0 0 25 0 11 0 462902713 7743791104 8102 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1890574 8102 1566 9 0 1881322 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296

[startup+0.159469 s]
/proc/loadavg: 3.39 3.84 3.61 7/219 18138
/proc/meminfo: memFree=16212484/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7572328 CPUtime=0.17 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 10946 0 1 0 16 1 0 0 25 0 18 0 462902713 7754063872 10614 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1893082 10614 2156 9 0 1883820 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7572328

[startup+0.300345 s]
/proc/loadavg: 3.39 3.84 3.61 7/219 18138
/proc/meminfo: memFree=16212484/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7576088 CPUtime=0.45 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 13150 0 1 0 43 2 0 0 25 0 19 0 462902713 7757914112 12486 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1894022 12486 2204 9 0 1884760 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 7576088

[startup+0.700254 s]
/proc/loadavg: 3.39 3.84 3.61 7/219 18138
/proc/meminfo: memFree=16212484/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7578852 CPUtime=1.18 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 14987 0 1 0 116 2 0 0 25 0 19 0 462902713 7760744448 13570 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1894713 13570 2228 9 0 1885451 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 7578852

[startup+1.50111 s]
/proc/loadavg: 3.39 3.84 3.61 10/241 18208
/proc/meminfo: memFree=16059384/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7650016 CPUtime=2.23 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 25707 0 1 0 219 4 0 0 25 0 19 0 462902713 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1912504 21327 2255 9 0 1903242 0
[pid=18138/tid=18140] ppid=18136 vsize=7650016 CPUtime=1.38 cores=4,6
/proc/18138/task/18140/stat : 18140 (java) R 18136 18138 16143 0 -1 4202560 10324 0 1 0 136 2 0 0 25 0 19 0 462902714 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 46912505433008 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18138/tid=18141] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18141/stat : 18141 (java) S 18136 18138 16143 0 -1 4202560 480 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18142] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18142/stat : 18142 (java) S 18136 18138 16143 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18143] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18143/stat : 18143 (java) S 18136 18138 16143 0 -1 4202560 462 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18144] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18144/stat : 18144 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18145] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18145/stat : 18145 (java) S 18136 18138 16143 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18146] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18146/stat : 18146 (java) S 18136 18138 16143 0 -1 4202560 95 0 0 0 0 0 0 0 16 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18147] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18147/stat : 18147 (java) S 18136 18138 16143 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18148] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18148/stat : 18148 (java) S 18136 18138 16143 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18149] ppid=18136 vsize=7650016 CPUtime=0.06 cores=4,6
/proc/18138/task/18149/stat : 18149 (java) S 18136 18138 16143 0 -1 4202560 1436 0 0 0 6 0 0 0 16 0 19 0 462902716 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 0 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18150] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18150/stat : 18150 (java) S 18136 18138 16143 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462902717 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18151] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18151/stat : 18151 (java) S 18136 18138 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902717 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18152] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18152/stat : 18152 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652683185 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18153] ppid=18136 vsize=7650016 CPUtime=0.12 cores=4,6
/proc/18138/task/18153/stat : 18153 (java) R 18136 18138 16143 0 -1 4202560 781 0 0 0 12 0 0 0 19 0 19 0 462902719 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652685493 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18138/tid=18154] ppid=18136 vsize=7650016 CPUtime=0.62 cores=4,6
/proc/18138/task/18154/stat : 18154 (java) R 18136 18138 16143 0 -1 4202560 10478 0 0 0 61 1 0 0 15 0 19 0 462902719 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 47556327041574 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18138/tid=18155] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18155/stat : 18155 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18156] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18156/stat : 18156 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462902719 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18185] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18185/stat : 18185 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902741 7833616384 21327 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 7650016

[startup+3.10085 s]
/proc/loadavg: 3.39 3.84 3.61 5/262 18232
/proc/meminfo: memFree=15985364/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7650016 CPUtime=3.84 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 26104 0 1 0 380 4 0 0 25 0 19 0 462902713 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1912504 21721 2255 9 0 1903242 0
[pid=18138/tid=18140] ppid=18136 vsize=7650016 CPUtime=2.9 cores=4,6
/proc/18138/task/18140/stat : 18140 (java) R 18136 18138 16143 0 -1 4202560 10327 0 1 0 288 2 0 0 25 0 19 0 462902714 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 46912505624982 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18138/tid=18141] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18141/stat : 18141 (java) S 18136 18138 16143 0 -1 4202560 480 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18142] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18142/stat : 18142 (java) S 18136 18138 16143 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18143] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18143/stat : 18143 (java) S 18136 18138 16143 0 -1 4202560 462 0 0 0 0 0 0 0 16 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18144] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18144/stat : 18144 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18145] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18145/stat : 18145 (java) S 18136 18138 16143 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18146] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18146/stat : 18146 (java) S 18136 18138 16143 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18147] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18147/stat : 18147 (java) S 18136 18138 16143 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18148] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18148/stat : 18148 (java) S 18136 18138 16143 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18149] ppid=18136 vsize=7650016 CPUtime=0.12 cores=4,6
/proc/18138/task/18149/stat : 18149 (java) S 18136 18138 16143 0 -1 4202560 1638 0 0 0 12 0 0 0 15 0 19 0 462902716 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 0 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18150] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18150/stat : 18150 (java) S 18136 18138 16143 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462902717 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18151] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18151/stat : 18151 (java) S 18136 18138 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902717 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18152] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18152/stat : 18152 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652683185 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18153] ppid=18136 vsize=7650016 CPUtime=0.13 cores=4,6
/proc/18138/task/18153/stat : 18153 (java) S 18136 18138 16143 0 -1 4202560 782 0 0 0 13 0 0 0 15 0 19 0 462902719 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18154] ppid=18136 vsize=7650016 CPUtime=0.63 cores=4,6
/proc/18138/task/18154/stat : 18154 (java) S 18136 18138 16143 0 -1 4202560 10478 0 0 0 62 1 0 0 15 0 19 0 462902719 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18155] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18155/stat : 18155 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18156] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18156/stat : 18156 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462902719 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18185] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18185/stat : 18185 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902741 7833616384 21721 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 7650016

[startup+6.3013 s]
/proc/loadavg: 3.76 3.91 3.63 5/262 18233
/proc/meminfo: memFree=15911520/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7650016 CPUtime=7.04 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 26677 0 1 0 700 4 0 0 25 0 19 0 462902713 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1912504 21977 2255 9 0 1903242 0
[pid=18138/tid=18140] ppid=18136 vsize=7650016 CPUtime=5.96 cores=4,6
/proc/18138/task/18140/stat : 18140 (java) R 18136 18138 16143 0 -1 4202560 10332 0 1 0 594 2 0 0 25 0 19 0 462902714 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 46912505654684 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18138/tid=18141] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18141/stat : 18141 (java) S 18136 18138 16143 0 -1 4202560 481 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18142] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18142/stat : 18142 (java) S 18136 18138 16143 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18143] ppid=18136 vsize=7650016 CPUtime=0.01 cores=4,6
/proc/18138/task/18143/stat : 18143 (java) S 18136 18138 16143 0 -1 4202560 463 0 0 0 1 0 0 0 16 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18144] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18144/stat : 18144 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18145] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18145/stat : 18145 (java) S 18136 18138 16143 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18146] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18146/stat : 18146 (java) S 18136 18138 16143 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18147] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18147/stat : 18147 (java) S 18136 18138 16143 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18148] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18148/stat : 18148 (java) S 18136 18138 16143 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 462902715 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18149] ppid=18136 vsize=7650016 CPUtime=0.24 cores=4,6
/proc/18138/task/18149/stat : 18149 (java) S 18136 18138 16143 0 -1 4202560 1824 0 0 0 24 0 0 0 16 0 19 0 462902716 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 0 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18150] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18150/stat : 18150 (java) S 18136 18138 16143 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462902717 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18151] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18151/stat : 18151 (java) S 18136 18138 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902717 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18152] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18152/stat : 18152 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652683185 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18153] ppid=18136 vsize=7650016 CPUtime=0.13 cores=4,6
/proc/18138/task/18153/stat : 18153 (java) S 18136 18138 16143 0 -1 4202560 783 0 0 0 13 0 0 0 15 0 19 0 462902719 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18154] ppid=18136 vsize=7650016 CPUtime=0.63 cores=4,6
/proc/18138/task/18154/stat : 18154 (java) S 18136 18138 16143 0 -1 4202560 10478 0 0 0 62 1 0 0 15 0 19 0 462902719 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18155] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18155/stat : 18155 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18156] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18156/stat : 18156 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462902719 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18185] ppid=18136 vsize=7650016 CPUtime=0 cores=4,6
/proc/18138/task/18185/stat : 18185 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902741 7833616384 21977 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 7650016

[startup+12.7011 s]

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

[pid=18138/tid=18146] ppid=18136 vsize=7646628 CPUtime=0.48 cores=4,6
/proc/18138/task/18146/stat : 18146 (java) S 18136 18138 16143 0 -1 4202560 582 0 0 0 48 0 0 0 15 0 19 0 462902715 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18147] ppid=18136 vsize=7646628 CPUtime=0.4 cores=4,6
/proc/18138/task/18147/stat : 18147 (java) S 18136 18138 16143 0 -1 4202560 2430 0 0 0 40 0 0 0 15 0 19 0 462902715 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18148] ppid=18136 vsize=7646628 CPUtime=0.43 cores=4,6
/proc/18138/task/18148/stat : 18148 (java) S 18136 18138 16143 0 -1 4202560 699 0 0 0 43 0 0 0 15 0 19 0 462902715 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18149] ppid=18136 vsize=7646628 CPUtime=12.57 cores=4,6
/proc/18138/task/18149/stat : 18149 (java) S 18136 18138 16143 0 -1 4202560 13597 0 0 0 1255 2 0 0 15 0 19 0 462902716 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 0 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18150] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18150/stat : 18150 (java) S 18136 18138 16143 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18151] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18151/stat : 18151 (java) S 18136 18138 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18152] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18152/stat : 18152 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652683185 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18153] ppid=18136 vsize=7646628 CPUtime=0.16 cores=4,6
/proc/18138/task/18153/stat : 18153 (java) S 18136 18138 16143 0 -1 4202560 791 0 0 0 16 0 0 0 15 0 19 0 462902719 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18154] ppid=18136 vsize=7646628 CPUtime=0.63 cores=4,6
/proc/18138/task/18154/stat : 18154 (java) S 18136 18138 16143 0 -1 4202560 10478 0 0 0 62 1 0 0 15 0 19 0 462902719 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18155] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18155/stat : 18155 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18156] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18156/stat : 18156 (java) S 18136 18138 16143 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 462902719 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18185] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18185/stat : 18185 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902741 7830147072 42707 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1124.91
Current children cumulated vsize (KiB) 7646628

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/262 18276
/proc/meminfo: memFree=15434380/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7646628 CPUtime=1185.03 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 48961 0 1 0 118492 11 0 0 25 0 19 0 462902713 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1911657 43069 2256 9 0 1902395 0
[pid=18138/tid=18140] ppid=18136 vsize=7646628 CPUtime=1166.79 cores=4,6
/proc/18138/task/18140/stat : 18140 (java) S 18136 18138 16143 0 -1 4202560 14156 0 1 0 116676 3 0 0 25 0 19 0 462902714 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18141] ppid=18136 vsize=7646628 CPUtime=0.51 cores=4,6
/proc/18138/task/18141/stat : 18141 (java) S 18136 18138 16143 0 -1 4202560 1509 0 0 0 51 0 0 0 15 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18142] ppid=18136 vsize=7646628 CPUtime=0.59 cores=4,6
/proc/18138/task/18142/stat : 18142 (java) S 18136 18138 16143 0 -1 4202560 571 0 0 0 59 0 0 0 15 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18143] ppid=18136 vsize=7646628 CPUtime=0.5 cores=4,6
/proc/18138/task/18143/stat : 18143 (java) S 18136 18138 16143 0 -1 4202560 721 0 0 0 50 0 0 0 15 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18144] ppid=18136 vsize=7646628 CPUtime=0.57 cores=4,6
/proc/18138/task/18144/stat : 18144 (java) S 18136 18138 16143 0 -1 4202560 700 0 0 0 57 0 0 0 16 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18145] ppid=18136 vsize=7646628 CPUtime=0.58 cores=4,6
/proc/18138/task/18145/stat : 18145 (java) S 18136 18138 16143 0 -1 4202560 1143 0 0 0 58 0 0 0 15 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18146] ppid=18136 vsize=7646628 CPUtime=0.52 cores=4,6
/proc/18138/task/18146/stat : 18146 (java) S 18136 18138 16143 0 -1 4202560 591 0 0 0 52 0 0 0 15 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18147] ppid=18136 vsize=7646628 CPUtime=0.42 cores=4,6
/proc/18138/task/18147/stat : 18147 (java) S 18136 18138 16143 0 -1 4202560 2432 0 0 0 42 0 0 0 15 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18148] ppid=18136 vsize=7646628 CPUtime=0.46 cores=4,6
/proc/18138/task/18148/stat : 18148 (java) S 18136 18138 16143 0 -1 4202560 706 0 0 0 46 0 0 0 15 0 19 0 462902715 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18149] ppid=18136 vsize=7646628 CPUtime=13.2 cores=4,6
/proc/18138/task/18149/stat : 18149 (java) R 18136 18138 16143 0 -1 4202560 13944 0 0 0 1317 3 0 0 15 0 19 0 462902716 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 47556329078000 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=18138/tid=18150] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18150/stat : 18150 (java) S 18136 18138 16143 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18151] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18151/stat : 18151 (java) S 18136 18138 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18152] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18152/stat : 18152 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652683185 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18153] ppid=18136 vsize=7646628 CPUtime=0.16 cores=4,6
/proc/18138/task/18153/stat : 18153 (java) S 18136 18138 16143 0 -1 4202560 791 0 0 0 16 0 0 0 15 0 19 0 462902719 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18154] ppid=18136 vsize=7646628 CPUtime=0.63 cores=4,6
/proc/18138/task/18154/stat : 18154 (java) S 18136 18138 16143 0 -1 4202560 10478 0 0 0 62 1 0 0 15 0 19 0 462902719 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18155] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18155/stat : 18155 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18156] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18156/stat : 18156 (java) S 18136 18138 16143 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 462902719 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18185] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18185/stat : 18185 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902741 7830147072 43069 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1185.03
Current children cumulated vsize (KiB) 7646628

[startup+1242.3 s]
/proc/loadavg: 4.04 4.01 3.90 5/262 18277
/proc/meminfo: memFree=15403348/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7646628 CPUtime=1245.12 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 49314 0 1 0 124501 11 0 0 25 0 19 0 462902713 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1911657 43405 2256 9 0 1902395 0
[pid=18138/tid=18140] ppid=18136 vsize=7646628 CPUtime=1226.08 cores=4,6
/proc/18138/task/18140/stat : 18140 (java) R 18136 18138 16143 0 -1 4202560 14165 0 1 0 122605 3 0 0 25 0 19 0 462902714 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 46912505625271 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18138/tid=18141] ppid=18136 vsize=7646628 CPUtime=0.54 cores=4,6
/proc/18138/task/18141/stat : 18141 (java) S 18136 18138 16143 0 -1 4202560 1511 0 0 0 54 0 0 0 15 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18142] ppid=18136 vsize=7646628 CPUtime=0.6 cores=4,6
/proc/18138/task/18142/stat : 18142 (java) S 18136 18138 16143 0 -1 4202560 571 0 0 0 60 0 0 0 15 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18143] ppid=18136 vsize=7646628 CPUtime=0.52 cores=4,6
/proc/18138/task/18143/stat : 18143 (java) S 18136 18138 16143 0 -1 4202560 721 0 0 0 52 0 0 0 15 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18144] ppid=18136 vsize=7646628 CPUtime=0.6 cores=4,6
/proc/18138/task/18144/stat : 18144 (java) S 18136 18138 16143 0 -1 4202560 700 0 0 0 60 0 0 0 15 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18145] ppid=18136 vsize=7646628 CPUtime=0.61 cores=4,6
/proc/18138/task/18145/stat : 18145 (java) S 18136 18138 16143 0 -1 4202560 1143 0 0 0 61 0 0 0 15 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18146] ppid=18136 vsize=7646628 CPUtime=0.56 cores=4,6
/proc/18138/task/18146/stat : 18146 (java) S 18136 18138 16143 0 -1 4202560 591 0 0 0 56 0 0 0 16 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18147] ppid=18136 vsize=7646628 CPUtime=0.43 cores=4,6
/proc/18138/task/18147/stat : 18147 (java) S 18136 18138 16143 0 -1 4202560 2432 0 0 0 43 0 0 0 15 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18148] ppid=18136 vsize=7646628 CPUtime=0.48 cores=4,6
/proc/18138/task/18148/stat : 18148 (java) S 18136 18138 16143 0 -1 4202560 706 0 0 0 48 0 0 0 15 0 19 0 462902715 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18149] ppid=18136 vsize=7646628 CPUtime=13.8 cores=4,6
/proc/18138/task/18149/stat : 18149 (java) S 18136 18138 16143 0 -1 4202560 14282 0 0 0 1377 3 0 0 15 0 19 0 462902716 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 0 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18150] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18150/stat : 18150 (java) S 18136 18138 16143 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18151] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18151/stat : 18151 (java) S 18136 18138 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18152] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18152/stat : 18152 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652683185 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18153] ppid=18136 vsize=7646628 CPUtime=0.16 cores=4,6
/proc/18138/task/18153/stat : 18153 (java) S 18136 18138 16143 0 -1 4202560 791 0 0 0 16 0 0 0 15 0 19 0 462902719 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18154] ppid=18136 vsize=7646628 CPUtime=0.63 cores=4,6
/proc/18138/task/18154/stat : 18154 (java) S 18136 18138 16143 0 -1 4202560 10478 0 0 0 62 1 0 0 15 0 19 0 462902719 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18155] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18155/stat : 18155 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18156] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18156/stat : 18156 (java) S 18136 18138 16143 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 462902719 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18185] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18185/stat : 18185 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902741 7830147072 43405 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1245.12
Current children cumulated vsize (KiB) 7646628



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.05 4.02 3.91 3/222 18285
/proc/meminfo: memFree=15854988/32951124 swapFree=67111528/67111528
[pid=18138] ppid=18136 vsize=7646628 CPUtime=1302.94 cores=4,6
/proc/18138/stat : 18138 (java) S 18136 18138 16143 0 -1 4202496 49672 0 1 0 130283 11 0 0 25 0 19 0 462902713 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/18138/statm: 1911657 43744 2256 9 0 1902395 0
[pid=18138/tid=18140] ppid=18136 vsize=7646628 CPUtime=1282.97 cores=4,6
/proc/18138/task/18140/stat : 18140 (java) R 18136 18138 16143 0 -1 4202560 14176 0 1 0 128294 3 0 0 25 0 19 0 462902714 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 46912505656287 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18138/tid=18141] ppid=18136 vsize=7646628 CPUtime=0.59 cores=4,6
/proc/18138/task/18141/stat : 18141 (java) S 18136 18138 16143 0 -1 4202560 1514 0 0 0 59 0 0 0 15 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18142] ppid=18136 vsize=7646628 CPUtime=0.62 cores=4,6
/proc/18138/task/18142/stat : 18142 (java) S 18136 18138 16143 0 -1 4202560 571 0 0 0 62 0 0 0 15 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18143] ppid=18136 vsize=7646628 CPUtime=0.55 cores=4,6
/proc/18138/task/18143/stat : 18143 (java) S 18136 18138 16143 0 -1 4202560 721 0 0 0 55 0 0 0 15 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18144] ppid=18136 vsize=7646628 CPUtime=0.64 cores=4,6
/proc/18138/task/18144/stat : 18144 (java) S 18136 18138 16143 0 -1 4202560 707 0 0 0 64 0 0 0 15 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18145] ppid=18136 vsize=7646628 CPUtime=0.64 cores=4,6
/proc/18138/task/18145/stat : 18145 (java) S 18136 18138 16143 0 -1 4202560 1145 0 0 0 64 0 0 0 15 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18146] ppid=18136 vsize=7646628 CPUtime=0.58 cores=4,6
/proc/18138/task/18146/stat : 18146 (java) S 18136 18138 16143 0 -1 4202560 591 0 0 0 58 0 0 0 15 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18147] ppid=18136 vsize=7646628 CPUtime=0.46 cores=4,6
/proc/18138/task/18147/stat : 18147 (java) S 18136 18138 16143 0 -1 4202560 2432 0 0 0 46 0 0 0 15 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18148] ppid=18136 vsize=7646628 CPUtime=0.51 cores=4,6
/proc/18138/task/18148/stat : 18148 (java) S 18136 18138 16143 0 -1 4202560 706 0 0 0 51 0 0 0 16 0 19 0 462902715 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18149] ppid=18136 vsize=7646628 CPUtime=14.49 cores=4,6
/proc/18138/task/18149/stat : 18149 (java) S 18136 18138 16143 0 -1 4202560 14613 0 0 0 1446 3 0 0 15 0 19 0 462902716 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 0 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18150] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18150/stat : 18150 (java) S 18136 18138 16143 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18151] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18151/stat : 18151 (java) S 18136 18138 16143 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462902717 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18152] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18152/stat : 18152 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652683185 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18153] ppid=18136 vsize=7646628 CPUtime=0.16 cores=4,6
/proc/18138/task/18153/stat : 18153 (java) S 18136 18138 16143 0 -1 4202560 791 0 0 0 16 0 0 0 15 0 19 0 462902719 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18154] ppid=18136 vsize=7646628 CPUtime=0.63 cores=4,6
/proc/18138/task/18154/stat : 18154 (java) S 18136 18138 16143 0 -1 4202560 10478 0 0 0 62 1 0 0 15 0 19 0 462902719 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
[pid=18138/tid=18155] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18155/stat : 18155 (java) S 18136 18138 16143 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462902719 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652675481 0 4 0 16800975 18446604453920925568 0 0 -1 6 0 0 0
[pid=18138/tid=18156] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18156/stat : 18156 (java) R 18136 18138 16143 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 462902719 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18138/tid=18185] ppid=18136 vsize=7646628 CPUtime=0 cores=4,6
/proc/18138/task/18185/stat : 18185 (java) S 18136 18138 16143 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462902741 7830147072 43744 33554432000 1073741824 1073778376 140735284227968 18446744073709551615 253652676096 0 4 0 16800975 18446604453920925568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1302.94
Current children cumulated vsize (KiB) 7646628

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1303.03
CPU user time (s): 1302.9
CPU system time (s): 0.12798
CPU usage (%): 100.229
Max. virtual memory (cumulated for all children) (KiB): 7650016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.9
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49708
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= 35218
involuntary context switches= 8709

runsolver used 2.30465 second user time and 4.83226 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-23 00:57:03
IDJOB=3249630
IDBENCH=83178
IDSOLVER=1611
FILE ID=node106/3249630-1303513023
RUNJOBID= node106-1303513022-17934
PBS_JOBID= 13134227
Free space on /tmp= 71348 MiB

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

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

MD5SUM BENCH= 3a7a68cedc6ab84c0df9c27d166b0b6b
RANDOM SEED=612116746

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16213880 kB
Buffers:       1571348 kB
Cached:       14418648 kB
SwapCached:          0 kB
Active:        9468384 kB
Inactive:      6713636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16213880 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7304 kB
Writeback:           0 kB
AnonPages:      191756 kB
Mapped:          23024 kB
Slab:           490316 kB
PageTables:       5072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14732004 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= 71348 MiB
End job on node106 at 2011-04-23 01:18:45