Trace number 3265648

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
MD5SUMf2a1eb7937a7cda114ce344a30ca1145
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark824.93
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18718
Sum of the clauses size134151
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2435
Number of clauses of size 32341
Number of clauses of size 4498
Number of clauses of size 5677
Number of clauses of size over 514725

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.09/0.15	c no version file found!!!
0.09/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.15	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.15	c java.vm.version	19.1-b02
0.09/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.15	c sun.arch.data.model	64
0.09/0.15	c java.version		1.6.0_24
0.09/0.15	c os.name		Linux
0.09/0.15	c os.version		2.6.18-164.el5
0.09/0.15	c os.arch		amd64
0.09/0.15	c Free memory 		6997539544
0.09/0.15	c Max memory 		7034241024
0.09/0.15	c Total memory 		7034241024
0.09/0.15	c Number of processors 	8
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Armin Biere (Picosat) restarts strategy
0.09/0.15	c Glucose learned constraints deletion strategy
0.09/0.15	c timeout=2147483647s
0.09/0.15	c DB Simplification allowed=true
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-3265648-1303580890.cnf
0.09/0.15	c reading problem ... 
0.28/0.21	c ... done. Wall clock time 0.124s.
0.28/0.21	c #vars     2969
0.28/0.21	c #constraints  18422
0.28/0.21	c constraints type 
0.28/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17456
0.28/0.21	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 921
1.03/0.63	c cleaning 2495 clauses out of 5000 with flag 5000/5000
1.60/0.93	c cleaning 4238 clauses out of 8505 with flag 11000/11000
2.11/1.29	c cleaning 5624 clauses out of 11267 with flag 18000/18000
2.62/1.74	c cleaning 6819 clauses out of 13643 with flag 26000/26000
3.14/2.25	c cleaning 7885 clauses out of 15824 with flag 35000/35000
3.75/2.86	c cleaning 8957 clauses out of 17936 with flag 45000/45000
4.47/3.59	c cleaning 9977 clauses out of 19980 with flag 56001/56001
5.38/4.42	c cleaning 10979 clauses out of 22003 with flag 68001/68001
6.38/5.47	c cleaning 11999 clauses out of 24023 with flag 81000/81000
7.58/6.65	c cleaning 13005 clauses out of 26025 with flag 95001/95001
9.07/8.11	c cleaning 13996 clauses out of 28019 with flag 110000/110000
10.78/9.88	c cleaning 14992 clauses out of 30023 with flag 126000/126000
12.68/11.74	c cleaning 15995 clauses out of 32032 with flag 143001/143001
14.98/14.06	c cleaning 16990 clauses out of 34036 with flag 161000/161000
17.58/16.62	c cleaning 17999 clauses out of 36047 with flag 180001/180001
20.38/19.40	c cleaning 18510 clauses out of 37047 with flag 199000/199000
23.19/22.28	c cleaning 18741 clauses out of 37537 with flag 218000/218000
26.09/25.20	c cleaning 18893 clauses out of 37796 with flag 237000/237000
29.19/28.28	c cleaning 18942 clauses out of 37906 with flag 256003/256003
31.99/31.09	c cleaning 18957 clauses out of 37961 with flag 275000/275000
34.99/34.01	c cleaning 18995 clauses out of 38005 with flag 294001/294001
38.09/37.14	c cleaning 18991 clauses out of 38011 with flag 313002/313002
41.19/40.27	c cleaning 18980 clauses out of 38018 with flag 332000/332000
44.19/43.24	c cleaning 19006 clauses out of 38038 with flag 351000/351000
47.39/46.43	c cleaning 18984 clauses out of 38033 with flag 370001/370001
50.80/49.84	c cleaning 18993 clauses out of 38048 with flag 389000/389000
54.10/53.17	c cleaning 19004 clauses out of 38055 with flag 408000/408000
57.20/56.20	c cleaning 19018 clauses out of 38051 with flag 427000/427000
60.41/59.42	c cleaning 19004 clauses out of 38034 with flag 446001/446001
63.90/62.92	c cleaning 18989 clauses out of 38029 with flag 465000/465000
67.50/66.51	c cleaning 19010 clauses out of 38041 with flag 484001/484001
70.90/69.99	c cleaning 18999 clauses out of 38030 with flag 503000/503000
74.51/73.59	c cleaning 18992 clauses out of 38033 with flag 522002/522002
77.91/76.91	c cleaning 19010 clauses out of 38040 with flag 541001/541001
81.71/80.74	c cleaning 19002 clauses out of 38030 with flag 560001/560001
84.81/83.86	c cleaning 19001 clauses out of 38027 with flag 579000/579000
88.41/87.48	c cleaning 18995 clauses out of 38026 with flag 598000/598000
91.91/90.90	c cleaning 18984 clauses out of 38031 with flag 617000/617000
95.71/94.73	c cleaning 19005 clauses out of 38048 with flag 636001/636001
99.41/98.44	c cleaning 19006 clauses out of 38042 with flag 655000/655000
102.92/101.94	c cleaning 18981 clauses out of 38036 with flag 674000/674000
106.12/105.19	c cleaning 19016 clauses out of 38055 with flag 693000/693000
110.02/109.08	c cleaning 19011 clauses out of 38039 with flag 712000/712000
113.72/112.70	c cleaning 18994 clauses out of 38029 with flag 731001/731001
117.02/116.03	c cleaning 19001 clauses out of 38034 with flag 750000/750000
120.22/119.24	c cleaning 18987 clauses out of 38033 with flag 769000/769000
123.72/122.71	c cleaning 19002 clauses out of 38047 with flag 788001/788001
127.22/126.26	c cleaning 19002 clauses out of 38045 with flag 807001/807001
130.73/129.79	c cleaning 19012 clauses out of 38042 with flag 826000/826000
133.92/132.98	c cleaning 19002 clauses out of 38032 with flag 845002/845002
137.13/136.13	c cleaning 19009 clauses out of 38028 with flag 864000/864000
140.33/139.35	c cleaning 18985 clauses out of 38022 with flag 883003/883003
143.83/142.89	c cleaning 18988 clauses out of 38034 with flag 902000/902000
147.23/146.25	c cleaning 19009 clauses out of 38046 with flag 921000/921000
150.53/149.57	c cleaning 19014 clauses out of 38039 with flag 940002/940002
154.03/153.04	c cleaning 18990 clauses out of 38023 with flag 959000/959000
157.43/156.45	c cleaning 19003 clauses out of 38033 with flag 978000/978000
160.73/159.79	c cleaning 18989 clauses out of 38032 with flag 997002/997002
164.33/163.33	c cleaning 19000 clauses out of 38041 with flag 1016000/1016000
167.23/166.25	c cleaning 18998 clauses out of 38041 with flag 1035000/1035000
170.44/169.45	c cleaning 19016 clauses out of 38043 with flag 1054000/1054000
173.94/172.99	c cleaning 18971 clauses out of 38029 with flag 1073002/1073002
177.54/176.53	c cleaning 19021 clauses out of 38058 with flag 1092002/1092002
181.14/180.16	c cleaning 18995 clauses out of 38036 with flag 1111001/1111001
184.54/183.52	c cleaning 19011 clauses out of 38040 with flag 1130000/1130000
187.74/186.75	c cleaning 19009 clauses out of 38029 with flag 1149000/1149000
191.04/190.03	c cleaning 18995 clauses out of 38022 with flag 1168002/1168002
194.24/193.22	c cleaning 18997 clauses out of 38025 with flag 1187000/1187000
197.55/196.58	c cleaning 18996 clauses out of 38028 with flag 1206000/1206000
201.25/200.22	c cleaning 19003 clauses out of 38033 with flag 1225001/1225001
204.55/203.53	c cleaning 18979 clauses out of 38029 with flag 1244000/1244000
207.95/206.90	c cleaning 19010 clauses out of 38052 with flag 1263002/1263002
211.37/210.35	c cleaning 18993 clauses out of 38043 with flag 1282003/1282003
214.87/213.83	c cleaning 19010 clauses out of 38047 with flag 1301000/1301000
218.37/217.37	c cleaning 19000 clauses out of 38037 with flag 1320000/1320000
222.07/221.06	c cleaning 19003 clauses out of 38037 with flag 1339000/1339000
226.07/225.08	c cleaning 18994 clauses out of 38034 with flag 1358000/1358000
229.68/228.64	c cleaning 18999 clauses out of 38040 with flag 1377000/1377000
233.08/232.07	c cleaning 19012 clauses out of 38041 with flag 1396000/1396000
236.48/235.41	c cleaning 18997 clauses out of 38029 with flag 1415000/1415000
240.18/239.12	c cleaning 18972 clauses out of 38032 with flag 1434000/1434000
243.68/242.65	c cleaning 18990 clauses out of 38061 with flag 1453001/1453001
247.38/246.39	c cleaning 19001 clauses out of 38070 with flag 1472000/1472000
251.28/250.26	c cleaning 19019 clauses out of 38069 with flag 1491000/1491000
255.29/254.20	c cleaning 19010 clauses out of 38050 with flag 1510000/1510000
259.09/258.00	c cleaning 18998 clauses out of 38041 with flag 1529001/1529001
262.90/261.83	c cleaning 19006 clauses out of 38042 with flag 1548000/1548000
266.30/265.26	c cleaning 18993 clauses out of 38036 with flag 1567000/1567000
270.00/268.97	c cleaning 19003 clauses out of 38043 with flag 1586000/1586000
273.60/272.56	c cleaning 18983 clauses out of 38040 with flag 1605000/1605000
277.10/276.01	c cleaning 19010 clauses out of 38057 with flag 1624000/1624000
281.00/279.93	c cleaning 19005 clauses out of 38047 with flag 1643000/1643000
285.10/284.05	c cleaning 18995 clauses out of 38042 with flag 1662000/1662000
289.01/287.94	c cleaning 19012 clauses out of 38048 with flag 1681001/1681001
292.91/291.86	c cleaning 19003 clauses out of 38035 with flag 1700000/1700000
296.71/295.63	c cleaning 19004 clauses out of 38032 with flag 1719000/1719000
300.81/299.77	c cleaning 18996 clauses out of 38030 with flag 1738002/1738002
304.51/303.50	c cleaning 19002 clauses out of 38033 with flag 1757001/1757001
308.71/307.65	c cleaning 19002 clauses out of 38030 with flag 1776000/1776000
313.01/311.97	c cleaning 18984 clauses out of 38028 with flag 1795000/1795000
317.41/316.32	c cleaning 19005 clauses out of 38044 with flag 1814000/1814000
321.51/320.46	c cleaning 19010 clauses out of 38040 with flag 1833001/1833001
325.32/324.29	c cleaning 19006 clauses out of 38029 with flag 1852000/1852000
329.02/327.99	c cleaning 18988 clauses out of 38023 with flag 1871000/1871000
333.42/332.36	c cleaning 19002 clauses out of 38036 with flag 1890001/1890001
337.52/336.47	c cleaning 18997 clauses out of 38033 with flag 1909000/1909000
341.92/340.86	c cleaning 19005 clauses out of 38036 with flag 1928000/1928000
346.12/345.07	c cleaning 18987 clauses out of 38032 with flag 1947001/1947001
350.32/349.25	c cleaning 19014 clauses out of 38044 with flag 1966000/1966000
354.52/353.47	c cleaning 19004 clauses out of 38030 with flag 1985000/1985000
358.53/357.49	c cleaning 18998 clauses out of 38027 with flag 2004001/2004001
362.83/361.74	c cleaning 18996 clauses out of 38030 with flag 2023002/2023002
367.13/366.09	c cleaning 19008 clauses out of 38032 with flag 2042000/2042000
371.23/370.10	c cleaning 19008 clauses out of 38025 with flag 2061001/2061001
375.23/374.14	c cleaning 18985 clauses out of 38016 with flag 2080000/2080000
379.54/378.49	c cleaning 19003 clauses out of 38031 with flag 2099000/2099000
383.83/382.78	c cleaning 19001 clauses out of 38031 with flag 2118003/2118003
388.34/387.22	c cleaning 19001 clauses out of 38028 with flag 2137001/2137001
392.34/391.26	c cleaning 19003 clauses out of 38027 with flag 2156001/2156001
396.74/395.60	c cleaning 18992 clauses out of 38024 with flag 2175001/2175001
400.84/399.71	c cleaning 18989 clauses out of 38031 with flag 2194000/2194000
405.04/403.93	c cleaning 19009 clauses out of 38042 with flag 2213000/2213000
409.25/408.14	c cleaning 19003 clauses out of 38033 with flag 2232000/2232000
413.44/412.33	c cleaning 19011 clauses out of 38031 with flag 2251001/2251001
417.64/416.53	c cleaning 18987 clauses out of 38020 with flag 2270001/2270001
421.94/420.84	c cleaning 18998 clauses out of 38033 with flag 2289001/2289001
426.54/425.42	c cleaning 18993 clauses out of 38035 with flag 2308001/2308001
430.95/429.81	c cleaning 18990 clauses out of 38041 with flag 2327000/2327000
435.25/434.17	c cleaning 18998 clauses out of 38051 with flag 2346000/2346000
439.45/438.31	c cleaning 19000 clauses out of 38054 with flag 2365001/2365001
443.85/442.80	c cleaning 19021 clauses out of 38054 with flag 2384001/2384001
448.25/447.12	c cleaning 18996 clauses out of 38033 with flag 2403001/2403001
452.65/451.54	c cleaning 19005 clauses out of 38041 with flag 2422005/2422005
456.85/455.78	c cleaning 18997 clauses out of 38032 with flag 2441001/2441001
461.05/459.97	c cleaning 19014 clauses out of 38035 with flag 2460001/2460001
465.45/464.33	c cleaning 19000 clauses out of 38022 with flag 2479002/2479002
469.45/468.38	c cleaning 18997 clauses out of 38021 with flag 2498001/2498001
473.45/472.37	c cleaning 19006 clauses out of 38024 with flag 2517001/2517001
477.85/476.79	c cleaning 18988 clauses out of 38018 with flag 2536001/2536001
482.26/481.15	c cleaning 18998 clauses out of 38029 with flag 2555000/2555000
486.26/485.16	c cleaning 19006 clauses out of 38031 with flag 2574000/2574000
490.15/489.08	c cleaning 19003 clauses out of 38025 with flag 2593000/2593000
494.46/493.33	c cleaning 19004 clauses out of 38022 with flag 2612000/2612000
498.56/497.41	c cleaning 18999 clauses out of 38019 with flag 2631001/2631001
502.76/501.64	c cleaning 18988 clauses out of 38020 with flag 2650001/2650001
506.76/505.62	c cleaning 19002 clauses out of 38032 with flag 2669001/2669001
510.86/509.79	c cleaning 19002 clauses out of 38029 with flag 2688000/2688000
515.16/514.07	c cleaning 19000 clauses out of 38027 with flag 2707000/2707000
519.46/518.33	c cleaning 18991 clauses out of 38027 with flag 2726000/2726000
524.07/522.94	c cleaning 19004 clauses out of 38036 with flag 2745000/2745000
528.27/527.11	c cleaning 19012 clauses out of 38035 with flag 2764003/2764003
532.37/531.22	c cleaning 18980 clauses out of 38020 with flag 2783000/2783000
536.47/535.36	c cleaning 19011 clauses out of 38040 with flag 2802000/2802000
540.67/539.54	c cleaning 19001 clauses out of 38029 with flag 2821000/2821000
545.48/544.38	c cleaning 18996 clauses out of 38028 with flag 2840000/2840000
549.68/548.57	c cleaning 18998 clauses out of 38033 with flag 2859001/2859001
553.88/552.79	c cleaning 19009 clauses out of 38034 with flag 2878000/2878000
558.28/557.16	c cleaning 18983 clauses out of 38028 with flag 2897003/2897003
562.68/561.55	c cleaning 19001 clauses out of 38042 with flag 2916000/2916000
566.69/565.54	c cleaning 19013 clauses out of 38043 with flag 2935002/2935002
570.89/569.72	c cleaning 19008 clauses out of 38028 with flag 2954000/2954000
574.99/573.84	c cleaning 19001 clauses out of 38020 with flag 2973000/2973000
579.39/578.21	c cleaning 18990 clauses out of 38020 with flag 2992001/2992001
583.59/582.41	c cleaning 18996 clauses out of 38029 with flag 3011000/3011000
587.89/586.76	c cleaning 19005 clauses out of 38034 with flag 3030001/3030001
592.59/591.48	c cleaning 18993 clauses out of 38028 with flag 3049000/3049000
597.19/596.04	c cleaning 19004 clauses out of 38035 with flag 3068000/3068000
601.89/600.76	c cleaning 18994 clauses out of 38031 with flag 3087000/3087000
606.50/605.37	c cleaning 19003 clauses out of 38038 with flag 3106001/3106001
610.90/609.78	c cleaning 18993 clauses out of 38034 with flag 3125000/3125000
615.30/614.17	c cleaning 19005 clauses out of 38041 with flag 3144000/3144000
619.90/618.78	c cleaning 19008 clauses out of 38036 with flag 3163000/3163000
624.70/623.59	c cleaning 18985 clauses out of 38028 with flag 3182000/3182000
629.40/628.30	c cleaning 19010 clauses out of 38044 with flag 3201001/3201001
634.00/632.81	c cleaning 19000 clauses out of 38033 with flag 3220000/3220000
638.81/637.63	c cleaning 19009 clauses out of 38033 with flag 3239000/3239000
643.81/642.66	c cleaning 19004 clauses out of 38024 with flag 3258000/3258000
648.91/647.73	c cleaning 18987 clauses out of 38020 with flag 3277000/3277000
653.41/652.29	c cleaning 19007 clauses out of 38033 with flag 3296000/3296000
658.01/656.81	c cleaning 19006 clauses out of 38026 with flag 3315000/3315000
662.61/661.42	c cleaning 18998 clauses out of 38020 with flag 3334000/3334000
667.21/666.00	c cleaning 18986 clauses out of 38023 with flag 3353001/3353001
671.71/670.58	c cleaning 18992 clauses out of 38036 with flag 3372000/3372000
676.11/674.98	c cleaning 18992 clauses out of 38044 with flag 3391000/3391000
680.82/679.61	c cleaning 18991 clauses out of 38052 with flag 3410000/3410000
685.42/684.23	c cleaning 19008 clauses out of 38061 with flag 3429000/3429000
690.02/688.80	c cleaning 19009 clauses out of 38053 with flag 3448000/3448000
694.52/693.31	c cleaning 18978 clauses out of 38044 with flag 3467000/3467000
698.82/697.68	c cleaning 18997 clauses out of 38066 with flag 3486000/3486000
703.42/702.23	c cleaning 19014 clauses out of 38071 with flag 3505002/3505002
708.32/707.11	c cleaning 19009 clauses out of 38056 with flag 3524001/3524001
712.83/711.68	c cleaning 19006 clauses out of 38047 with flag 3543001/3543001
717.12/715.93	c cleaning 18981 clauses out of 38040 with flag 3562000/3562000
721.83/720.60	c cleaning 18983 clauses out of 38059 with flag 3581000/3581000
726.63/725.40	c cleaning 19028 clauses out of 38076 with flag 3600000/3600000
731.13/729.98	c cleaning 19006 clauses out of 38050 with flag 3619002/3619002
735.73/734.55	c cleaning 19014 clauses out of 38042 with flag 3638000/3638000
740.13/738.93	c cleaning 18984 clauses out of 38030 with flag 3657002/3657002
744.63/743.49	c cleaning 18998 clauses out of 38044 with flag 3676000/3676000
749.13/747.96	c cleaning 19004 clauses out of 38046 with flag 3695000/3695000
753.83/752.65	c cleaning 19012 clauses out of 38044 with flag 3714002/3714002
758.33/757.15	c cleaning 19005 clauses out of 38032 with flag 3733002/3733002
762.64/761.44	c cleaning 18994 clauses out of 38025 with flag 3752000/3752000
766.94/765.75	c cleaning 18987 clauses out of 38031 with flag 3771000/3771000
771.25/770.03	c cleaning 18994 clauses out of 38044 with flag 3790000/3790000
775.85/774.65	c cleaning 19012 clauses out of 38051 with flag 3809001/3809001
780.35/779.17	c cleaning 19010 clauses out of 38038 with flag 3828000/3828000
784.85/783.66	c cleaning 18990 clauses out of 38028 with flag 3847000/3847000
789.35/788.19	c cleaning 18990 clauses out of 38038 with flag 3866000/3866000
794.35/793.18	c cleaning 19004 clauses out of 38048 with flag 3885000/3885000
798.76/797.58	c cleaning 19007 clauses out of 38045 with flag 3904001/3904001
803.16/801.98	c cleaning 19007 clauses out of 38037 with flag 3923000/3923000
807.56/806.32	c cleaning 18987 clauses out of 38030 with flag 3942000/3942000
812.05/810.87	c cleaning 18991 clauses out of 38043 with flag 3961000/3961000
816.85/815.63	c cleaning 19009 clauses out of 38052 with flag 3980000/3980000
821.36/820.14	c cleaning 19000 clauses out of 38045 with flag 3999002/3999002
825.96/824.70	c cleaning 19011 clauses out of 38044 with flag 4018001/4018001
830.56/829.40	c cleaning 19007 clauses out of 38032 with flag 4037000/4037000
835.06/833.83	c cleaning 18995 clauses out of 38025 with flag 4056000/4056000
839.47/838.25	c cleaning 18989 clauses out of 38031 with flag 4075001/4075001
843.87/842.61	c cleaning 19009 clauses out of 38042 with flag 4094001/4094001
848.27/847.03	c cleaning 19006 clauses out of 38033 with flag 4113001/4113001
852.86/851.69	c cleaning 19004 clauses out of 38026 with flag 4132000/4132000
857.36/856.13	c cleaning 18997 clauses out of 38022 with flag 4151000/4151000
861.67/860.47	c cleaning 18980 clauses out of 38025 with flag 4170000/4170000
866.27/865.00	c cleaning 19014 clauses out of 38045 with flag 4189000/4189000
870.97/869.79	c cleaning 19004 clauses out of 38032 with flag 4208001/4208001
876.07/874.81	c cleaning 18994 clauses out of 38027 with flag 4227000/4227000
880.87/879.66	c cleaning 19003 clauses out of 38033 with flag 4246000/4246000
885.47/884.23	c cleaning 18990 clauses out of 38030 with flag 4265000/4265000
890.37/889.13	c cleaning 18978 clauses out of 38040 with flag 4284000/4284000
895.07/893.83	c cleaning 18999 clauses out of 38064 with flag 4303002/4303002
899.28/898.05	c cleaning 19013 clauses out of 38063 with flag 4322000/4322000
903.48/902.25	c cleaning 19011 clauses out of 38050 with flag 4341000/4341000
907.58/906.35	c cleaning 19018 clauses out of 38041 with flag 4360002/4360002
911.78/910.59	c cleaning 18991 clauses out of 38023 with flag 4379002/4379002
915.88/914.65	c cleaning 19006 clauses out of 38030 with flag 4398000/4398000
920.38/919.12	c cleaning 18997 clauses out of 38024 with flag 4417000/4417000
924.59/923.38	c cleaning 19008 clauses out of 38027 with flag 4436000/4436000
928.79/927.52	c cleaning 18983 clauses out of 38019 with flag 4455000/4455000
933.09/931.87	c cleaning 19010 clauses out of 38036 with flag 4474000/4474000
937.49/936.28	c cleaning 19008 clauses out of 38027 with flag 4493001/4493001
942.29/941.05	c cleaning 18995 clauses out of 38019 with flag 4512001/4512001
946.49/945.26	c cleaning 18993 clauses out of 38023 with flag 4531000/4531000
950.60/949.38	c cleaning 18990 clauses out of 38030 with flag 4550000/4550000
955.19/953.93	c cleaning 18996 clauses out of 38040 with flag 4569000/4569000
959.50/958.28	c cleaning 19015 clauses out of 38045 with flag 4588001/4588001
964.30/963.01	c cleaning 18994 clauses out of 38029 with flag 4607000/4607000
969.00/967.76	c cleaning 18998 clauses out of 38037 with flag 4626002/4626002
973.30/972.02	c cleaning 19003 clauses out of 38037 with flag 4645000/4645000
977.40/976.16	c cleaning 18984 clauses out of 38034 with flag 4664000/4664000
982.30/981.06	c cleaning 19005 clauses out of 38050 with flag 4683000/4683000
986.70/985.43	c cleaning 18999 clauses out of 38045 with flag 4702000/4702000
991.31/990.08	c cleaning 19012 clauses out of 38046 with flag 4721000/4721000
995.81/994.59	c cleaning 18998 clauses out of 38034 with flag 4740000/4740000
1000.51/999.28	c cleaning 19004 clauses out of 38037 with flag 4759001/4759001
1005.31/1004.07	c cleaning 18997 clauses out of 38032 with flag 4778000/4778000
1009.81/1008.50	c cleaning 18995 clauses out of 38035 with flag 4797000/4797000
1014.42/1013.14	c cleaning 19008 clauses out of 38040 with flag 4816000/4816000
1019.01/1017.76	c cleaning 19005 clauses out of 38032 with flag 4835000/4835000
1023.12/1021.83	c cleaning 18996 clauses out of 38027 with flag 4854000/4854000
1027.31/1026.05	c cleaning 19005 clauses out of 38032 with flag 4873001/4873001
1031.62/1030.38	c cleaning 18999 clauses out of 38026 with flag 4892000/4892000
1035.92/1034.62	c cleaning 18998 clauses out of 38027 with flag 4911000/4911000
1040.42/1039.15	c cleaning 19009 clauses out of 38030 with flag 4930001/4930001
1044.93/1043.62	c cleaning 18998 clauses out of 38020 with flag 4949000/4949000
1049.23/1047.92	c cleaning 19003 clauses out of 38023 with flag 4968001/4968001
1053.53/1052.26	c cleaning 18994 clauses out of 38020 with flag 4987001/4987001
1058.23/1056.90	c cleaning 19004 clauses out of 38026 with flag 5006001/5006001
1062.74/1061.46	c cleaning 18989 clauses out of 38023 with flag 5025002/5025002
1067.14/1065.90	c cleaning 18995 clauses out of 38032 with flag 5044000/5044000
1071.84/1070.50	c cleaning 19003 clauses out of 38037 with flag 5063000/5063000
1076.64/1075.34	c cleaning 19009 clauses out of 38036 with flag 5082002/5082002
1081.34/1080.02	c cleaning 18978 clauses out of 38025 with flag 5101000/5101000
1086.04/1084.77	c cleaning 19008 clauses out of 38047 with flag 5120000/5120000
1090.74/1089.42	c cleaning 19006 clauses out of 38040 with flag 5139001/5139001
1095.34/1094.06	c cleaning 18987 clauses out of 38034 with flag 5158001/5158001
1099.74/1098.43	c cleaning 18984 clauses out of 38046 with flag 5177000/5177000
1104.04/1102.79	c cleaning 19016 clauses out of 38062 with flag 5196000/5196000
1108.74/1107.42	c cleaning 19010 clauses out of 38047 with flag 5215001/5215001
1113.14/1111.81	c cleaning 18989 clauses out of 38036 with flag 5234000/5234000
1117.44/1116.19	c cleaning 19011 clauses out of 38047 with flag 5253000/5253000
1122.15/1120.81	c cleaning 18982 clauses out of 38036 with flag 5272000/5272000
1126.34/1125.06	c cleaning 19002 clauses out of 38055 with flag 5291001/5291001
1130.85/1129.52	c cleaning 19006 clauses out of 38053 with flag 5310001/5310001
1135.05/1133.71	c cleaning 19021 clauses out of 38047 with flag 5329001/5329001
1139.35/1138.09	c cleaning 18990 clauses out of 38026 with flag 5348001/5348001
1144.05/1142.71	c cleaning 18998 clauses out of 38037 with flag 5367002/5367002
1148.55/1147.30	c cleaning 18977 clauses out of 38037 with flag 5386000/5386000
1153.35/1152.03	c cleaning 19015 clauses out of 38060 with flag 5405000/5405000
1157.65/1156.37	c cleaning 19007 clauses out of 38046 with flag 5424001/5424001
1162.05/1160.76	c cleaning 19004 clauses out of 38038 with flag 5443000/5443000
1166.45/1165.10	c cleaning 18990 clauses out of 38034 with flag 5462000/5462000
1170.86/1169.55	c cleaning 19005 clauses out of 38044 with flag 5481000/5481000
1175.46/1174.13	c cleaning 19006 clauses out of 38040 with flag 5500001/5500001
1180.06/1178.74	c cleaning 18972 clauses out of 38033 with flag 5519000/5519000
1184.46/1183.11	c cleaning 19016 clauses out of 38061 with flag 5538000/5538000
1188.96/1187.67	c cleaning 19015 clauses out of 38046 with flag 5557001/5557001
1193.36/1192.10	c cleaning 19009 clauses out of 38031 with flag 5576001/5576001
1197.86/1196.52	c cleaning 18979 clauses out of 38021 with flag 5595000/5595000
1202.57/1201.22	c cleaning 19009 clauses out of 38042 with flag 5614000/5614000
1206.97/1205.66	c cleaning 18987 clauses out of 38033 with flag 5633000/5633000
1211.57/1210.23	c cleaning 18997 clauses out of 38046 with flag 5652000/5652000
1215.87/1214.57	c cleaning 19008 clauses out of 38049 with flag 5671000/5671000
1220.27/1218.92	c cleaning 18987 clauses out of 38041 with flag 5690000/5690000
1224.67/1223.32	c cleaning 19005 clauses out of 38055 with flag 5709001/5709001
1228.88/1227.57	c cleaning 19021 clauses out of 38049 with flag 5728000/5728000
1233.38/1232.05	c cleaning 18998 clauses out of 38030 with flag 5747002/5747002
1237.48/1236.19	c cleaning 18984 clauses out of 38030 with flag 5766000/5766000
1241.98/1240.69	c cleaning 18999 clauses out of 38046 with flag 5785000/5785000
1246.78/1245.47	c cleaning 18997 clauses out of 38047 with flag 5804000/5804000
1251.28/1249.96	c cleaning 19000 clauses out of 38050 with flag 5823000/5823000
1255.88/1254.57	c cleaning 19001 clauses out of 38050 with flag 5842000/5842000
1260.38/1259.07	c cleaning 19008 clauses out of 38049 with flag 5861000/5861000
1264.58/1263.26	c cleaning 18993 clauses out of 38041 with flag 5880000/5880000
1268.88/1267.56	c cleaning 19016 clauses out of 38049 with flag 5899001/5899001
1273.38/1272.01	c cleaning 19000 clauses out of 38033 with flag 5918001/5918001
1277.48/1276.13	c cleaning 19003 clauses out of 38032 with flag 5937000/5937000
1281.69/1280.35	c cleaning 19006 clauses out of 38030 with flag 5956001/5956001
1286.39/1285.03	c cleaning 19002 clauses out of 38024 with flag 5975001/5975001
1290.79/1289.46	c cleaning 19006 clauses out of 38021 with flag 5994000/5994000
1295.29/1293.92	c cleaning 19002 clauses out of 38015 with flag 6013000/6013000
1299.59/1298.27	c cleaning 18993 clauses out of 38014 with flag 6032001/6032001
1301.39/1300.01	c starts		: 2266
1301.39/1300.01	c conflicts		: 6039445
1301.39/1300.01	c decisions		: 9285469
1301.39/1300.01	c propagations		: 477340159
1301.39/1300.01	c inspects		: 16274124879
1301.39/1300.01	c shortcuts		: 0
1301.39/1300.01	c learnt literals	: 1
1301.39/1300.01	c learnt binary clauses	: 540
1301.39/1300.01	c learnt ternary clauses	: 3091
1301.39/1300.01	c learnt constraints	: 6039444
1301.39/1300.01	c ignored constraints	: 0
1301.39/1300.01	c root simplifications	: 2267
1301.39/1300.01	c removed literals (reason simplification)	: 120502525
1301.39/1300.01	c reason swapping (by a shorter reason)	: 0
1301.39/1300.01	c Calls to reduceDB	: 323
1301.39/1300.01	c speed (assignments/second)	: 367241.80141837423
1301.39/1300.01	c non guided choices	1189807
1301.39/1300.09	c learnt constraints type 
1301.39/1300.09	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 539
1301.39/1300.09	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26193
1301.39/1300.09	c constraints type 
1301.39/1300.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17456
1301.39/1300.09	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 921
1301.39/1300.09	s UNKNOWN
1301.39/1300.09	c Total wall clock time (in seconds) : 1299.922

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

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.67 4.16 3.94 4/243 1778
/proc/meminfo: memFree=14043252/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=23028 CPUtime=0 cores=5,7
/proc/1778/stat : 1778 (java) R 1776 1778 1299 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 450504581 23580672 692 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264721442280 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/1778/statm: 5757 692 509 9 0 124 0
[pid=1778/tid=1779] ppid=1776 vsize=31604 CPUtime=0 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 140 0 0 0 0 0 0 0 25 0 2 0 450504582 32362496 972 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264721481399 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.034385 s]
/proc/loadavg: 4.67 4.16 3.94 4/243 1778
/proc/meminfo: memFree=14043252/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7564352 CPUtime=0.02 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 8654 0 1 0 1 1 0 0 25 0 13 0 450504581 7745896448 8350 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1891088 8351 1655 9 0 1881836 0
[pid=1778/tid=1779] ppid=1776 vsize=7564352 CPUtime=0.01 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 7508 0 1 0 1 0 0 0 25 0 13 0 450504582 7745896448 8351 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 47113630308371 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7564352

[startup+0.100373 s]
/proc/loadavg: 4.67 4.16 3.94 4/243 1778
/proc/meminfo: memFree=14043252/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 9819 0 1 0 8 1 0 0 25 0 18 0 450504581 7751618560 9515 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1892485 9516 1757 9 0 1883223 0
[pid=1778/tid=1779] ppid=1776 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 8646 0 1 0 8 1 0 0 25 0 18 0 450504582 7751618560 9516 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 47113628767880 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.300305 s]
/proc/loadavg: 4.67 4.16 3.94 4/243 1778
/proc/meminfo: memFree=14043252/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7640732 CPUtime=0.48 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 12958 0 1 0 46 2 0 0 25 0 19 0 450504581 7824109568 12111 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910183 12111 2216 9 0 1900921 0
[pid=1778/tid=1779] ppid=1776 vsize=7640732 CPUtime=0.28 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9318 0 1 0 27 1 0 0 25 0 19 0 450504582 7824109568 12111 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 47113627927447 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7640732

[startup+0.700232 s]
/proc/loadavg: 4.67 4.16 3.94 4/243 1778
/proc/meminfo: memFree=14043252/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7643448 CPUtime=1.2 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 18979 0 1 0 118 2 0 0 25 0 19 0 450504581 7826890752 16604 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910862 16604 2252 9 0 1901600 0
[pid=1778/tid=1779] ppid=1776 vsize=7643448 CPUtime=0.66 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9597 0 1 0 65 1 0 0 25 0 19 0 450504582 7826890752 16604 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 46912505651038 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 7643448

[startup+1.50111 s]
/proc/loadavg: 4.67 4.16 3.94 6/262 1797
/proc/meminfo: memFree=13976612/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7642700 CPUtime=2.42 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 23973 0 1 0 239 3 0 0 25 0 19 0 450504581 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910675 18574 2254 9 0 1901413 0
[pid=1778/tid=1779] ppid=1776 vsize=7642700 CPUtime=1.42 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9599 0 1 0 141 1 0 0 25 0 19 0 450504582 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 46912505580187 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1778/tid=1781] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1781/stat : 1781 (java) S 1776 1778 1299 0 -1 4202560 449 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1782] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1782/stat : 1782 (java) S 1776 1778 1299 0 -1 4202560 351 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1783] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1783/stat : 1783 (java) S 1776 1778 1299 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1784] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1784/stat : 1784 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1785] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1785/stat : 1785 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1786] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1786/stat : 1786 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1787] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1787/stat : 1787 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1788] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1788/stat : 1788 (java) S 1776 1778 1299 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1789] ppid=1776 vsize=7642700 CPUtime=0.04 cores=5,7
/proc/1778/task/1789/stat : 1789 (java) S 1776 1778 1299 0 -1 4202560 1041 0 0 0 4 0 0 0 16 0 19 0 450504584 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 0 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1790] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1790/stat : 1790 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1791] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1791/stat : 1791 (java) S 1776 1778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1792] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1792/stat : 1792 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738228657 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1793] ppid=1776 vsize=7642700 CPUtime=0.64 cores=5,7
/proc/1778/task/1793/stat : 1793 (java) S 1776 1778 1299 0 -1 4202560 9337 0 0 0 63 1 0 0 24 0 19 0 450504587 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1794] ppid=1776 vsize=7642700 CPUtime=0.28 cores=5,7
/proc/1778/task/1794/stat : 1794 (java) S 1776 1778 1299 0 -1 4202560 1799 0 0 0 28 0 0 0 19 0 19 0 450504587 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1795] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1795/stat : 1795 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1796] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1796/stat : 1796 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504587 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1797] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1797/stat : 1797 (java) S 1776 1778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450504604 7826124800 18574 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 7642700

[startup+3.10081 s]
/proc/loadavg: 4.61 4.15 3.94 5/262 1797
/proc/meminfo: memFree=13981200/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7642700 CPUtime=4.06 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 24224 0 1 0 402 4 0 0 25 0 19 0 450504581 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910675 18822 2254 9 0 1901413 0
[pid=1778/tid=1779] ppid=1776 vsize=7642700 CPUtime=2.96 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9603 0 1 0 295 1 0 0 25 0 19 0 450504582 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 46912505587363 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1778/tid=1781] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1781/stat : 1781 (java) S 1776 1778 1299 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1782] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1782/stat : 1782 (java) S 1776 1778 1299 0 -1 4202560 351 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1783] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1783/stat : 1783 (java) S 1776 1778 1299 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1784] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1784/stat : 1784 (java) S 1776 1778 1299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1785] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1785/stat : 1785 (java) S 1776 1778 1299 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1786] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1786/stat : 1786 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1787] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1787/stat : 1787 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1788] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1788/stat : 1788 (java) S 1776 1778 1299 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1789] ppid=1776 vsize=7642700 CPUtime=0.09 cores=5,7
/proc/1778/task/1789/stat : 1789 (java) S 1776 1778 1299 0 -1 4202560 1211 0 0 0 9 0 0 0 16 0 19 0 450504584 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 0 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1790] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1790/stat : 1790 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1791] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1791/stat : 1791 (java) S 1776 1778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1792] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1792/stat : 1792 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738228657 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1793] ppid=1776 vsize=7642700 CPUtime=0.67 cores=5,7
/proc/1778/task/1793/stat : 1793 (java) S 1776 1778 1299 0 -1 4202560 9338 0 0 0 66 1 0 0 15 0 19 0 450504587 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1794] ppid=1776 vsize=7642700 CPUtime=0.28 cores=5,7
/proc/1778/task/1794/stat : 1794 (java) S 1776 1778 1299 0 -1 4202560 1799 0 0 0 28 0 0 0 19 0 19 0 450504587 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1795] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1795/stat : 1795 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1796] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1796/stat : 1796 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504587 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1797] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1797/stat : 1797 (java) S 1776 1778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450504604 7826124800 18822 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 7642700

[startup+6.3012 s]
/proc/loadavg: 4.61 4.15 3.94 5/262 1798
/proc/meminfo: memFree=13983804/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7642700 CPUtime=7.27 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 24317 0 1 0 723 4 0 0 25 0 19 0 450504581 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910675 17741 2254 9 0 1901413 0
[pid=1778/tid=1779] ppid=1776 vsize=7642700 CPUtime=6.1 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9607 0 1 0 609 1 0 0 25 0 19 0 450504582 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 46912505586586 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1778/tid=1781] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1781/stat : 1781 (java) S 1776 1778 1299 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1782] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1782/stat : 1782 (java) S 1776 1778 1299 0 -1 4202560 351 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1783] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1783/stat : 1783 (java) S 1776 1778 1299 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1784] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1784/stat : 1784 (java) S 1776 1778 1299 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1785] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1785/stat : 1785 (java) S 1776 1778 1299 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1786] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1786/stat : 1786 (java) S 1776 1778 1299 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1787] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1787/stat : 1787 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1788] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1788/stat : 1788 (java) S 1776 1778 1299 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 450504583 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1789] ppid=1776 vsize=7642700 CPUtime=0.15 cores=5,7
/proc/1778/task/1789/stat : 1789 (java) S 1776 1778 1299 0 -1 4202560 1297 0 0 0 15 0 0 0 16 0 19 0 450504584 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 0 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1790] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1790/stat : 1790 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1791] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1791/stat : 1791 (java) S 1776 1778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1792] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1792/stat : 1792 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738228657 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1793] ppid=1776 vsize=7642700 CPUtime=0.68 cores=5,7
/proc/1778/task/1793/stat : 1793 (java) S 1776 1778 1299 0 -1 4202560 9338 0 0 0 67 1 0 0 15 0 19 0 450504587 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1794] ppid=1776 vsize=7642700 CPUtime=0.28 cores=5,7
/proc/1778/task/1794/stat : 1794 (java) S 1776 1778 1299 0 -1 4202560 1799 0 0 0 28 0 0 0 19 0 19 0 450504587 7826124800 17741 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0

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

[pid=1778/tid=1786] ppid=1776 vsize=7642700 CPUtime=0.11 cores=5,7
/proc/1778/task/1786/stat : 1786 (java) S 1776 1778 1299 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1787] ppid=1776 vsize=7642700 CPUtime=0.11 cores=5,7
/proc/1778/task/1787/stat : 1787 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 11 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1788] ppid=1776 vsize=7642700 CPUtime=0.11 cores=5,7
/proc/1778/task/1788/stat : 1788 (java) S 1776 1778 1299 0 -1 4202560 166 0 0 0 11 0 0 0 16 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1789] ppid=1776 vsize=7642700 CPUtime=6.25 cores=5,7
/proc/1778/task/1789/stat : 1789 (java) S 1776 1778 1299 0 -1 4202560 2365 0 0 0 623 2 0 0 15 0 19 0 450504584 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 0 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1790] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1790/stat : 1790 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1791] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1791/stat : 1791 (java) S 1776 1778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1792] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1792/stat : 1792 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738228657 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1793] ppid=1776 vsize=7642700 CPUtime=0.69 cores=5,7
/proc/1778/task/1793/stat : 1793 (java) S 1776 1778 1299 0 -1 4202560 9346 0 0 0 68 1 0 0 15 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1794] ppid=1776 vsize=7642700 CPUtime=0.28 cores=5,7
/proc/1778/task/1794/stat : 1794 (java) S 1776 1778 1299 0 -1 4202560 1799 0 0 0 28 0 0 0 19 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1795] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1795/stat : 1795 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1796] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1796/stat : 1796 (java) S 1776 1778 1299 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1797] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1797/stat : 1797 (java) S 1776 1778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450504604 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.65
Current children cumulated vsize (KiB) 7642700

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/262 1838
/proc/meminfo: memFree=13974500/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7642700 CPUtime=1183.66 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 26063 0 1 0 118358 8 0 0 25 0 19 0 450504581 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910675 19063 2255 9 0 1901413 0
[pid=1778/tid=1779] ppid=1776 vsize=7642700 CPUtime=1175.11 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9894 0 1 0 117509 2 0 0 25 0 19 0 450504582 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 46912505586560 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1778/tid=1781] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1781/stat : 1781 (java) S 1776 1778 1299 0 -1 4202560 461 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1782] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1782/stat : 1782 (java) S 1776 1778 1299 0 -1 4202560 503 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1783] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1783/stat : 1783 (java) S 1776 1778 1299 0 -1 4202560 118 0 0 0 13 0 0 0 16 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1784] ppid=1776 vsize=7642700 CPUtime=0.11 cores=5,7
/proc/1778/task/1784/stat : 1784 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 11 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1785] ppid=1776 vsize=7642700 CPUtime=0.1 cores=5,7
/proc/1778/task/1785/stat : 1785 (java) S 1776 1778 1299 0 -1 4202560 140 0 0 0 10 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1786] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1786/stat : 1786 (java) S 1776 1778 1299 0 -1 4202560 14 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1787] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1787/stat : 1787 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1788] ppid=1776 vsize=7642700 CPUtime=0.11 cores=5,7
/proc/1778/task/1788/stat : 1788 (java) S 1776 1778 1299 0 -1 4202560 166 0 0 0 11 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1789] ppid=1776 vsize=7642700 CPUtime=6.56 cores=5,7
/proc/1778/task/1789/stat : 1789 (java) S 1776 1778 1299 0 -1 4202560 2369 0 0 0 653 3 0 0 15 0 19 0 450504584 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 0 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1790] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1790/stat : 1790 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1791] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1791/stat : 1791 (java) S 1776 1778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1792] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1792/stat : 1792 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738228657 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1793] ppid=1776 vsize=7642700 CPUtime=0.69 cores=5,7
/proc/1778/task/1793/stat : 1793 (java) S 1776 1778 1299 0 -1 4202560 9346 0 0 0 68 1 0 0 15 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1794] ppid=1776 vsize=7642700 CPUtime=0.28 cores=5,7
/proc/1778/task/1794/stat : 1794 (java) S 1776 1778 1299 0 -1 4202560 1799 0 0 0 28 0 0 0 19 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1795] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1795/stat : 1795 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1796] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1796/stat : 1796 (java) S 1776 1778 1299 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1797] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1797/stat : 1797 (java) S 1776 1778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450504604 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.66
Current children cumulated vsize (KiB) 7642700

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.99 5/262 1840
/proc/meminfo: memFree=13973232/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7642700 CPUtime=1243.67 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 26081 0 1 0 124359 8 0 0 25 0 19 0 450504581 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910675 19063 2255 9 0 1901413 0
[pid=1778/tid=1779] ppid=1776 vsize=7642700 CPUtime=1234.76 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9908 0 1 0 123474 2 0 0 25 0 19 0 450504582 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 46912505593792 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1778/tid=1781] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1781/stat : 1781 (java) S 1776 1778 1299 0 -1 4202560 461 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1782] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1782/stat : 1782 (java) S 1776 1778 1299 0 -1 4202560 503 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1783] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1783/stat : 1783 (java) S 1776 1778 1299 0 -1 4202560 118 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1784] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1784/stat : 1784 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1785] ppid=1776 vsize=7642700 CPUtime=0.11 cores=5,7
/proc/1778/task/1785/stat : 1785 (java) S 1776 1778 1299 0 -1 4202560 140 0 0 0 11 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1786] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1786/stat : 1786 (java) S 1776 1778 1299 0 -1 4202560 14 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1787] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1787/stat : 1787 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1788] ppid=1776 vsize=7642700 CPUtime=0.12 cores=5,7
/proc/1778/task/1788/stat : 1788 (java) S 1776 1778 1299 0 -1 4202560 166 0 0 0 12 0 0 0 15 0 19 0 450504583 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1789] ppid=1776 vsize=7642700 CPUtime=6.87 cores=5,7
/proc/1778/task/1789/stat : 1789 (java) S 1776 1778 1299 0 -1 4202560 2371 0 0 0 684 3 0 0 15 0 19 0 450504584 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 0 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1790] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1790/stat : 1790 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1791] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1791/stat : 1791 (java) S 1776 1778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1792] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1792/stat : 1792 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738228657 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1793] ppid=1776 vsize=7642700 CPUtime=0.69 cores=5,7
/proc/1778/task/1793/stat : 1793 (java) S 1776 1778 1299 0 -1 4202560 9346 0 0 0 68 1 0 0 15 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1794] ppid=1776 vsize=7642700 CPUtime=0.28 cores=5,7
/proc/1778/task/1794/stat : 1794 (java) S 1776 1778 1299 0 -1 4202560 1799 0 0 0 28 0 0 0 19 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1795] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1795/stat : 1795 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1796] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1796/stat : 1796 (java) S 1776 1778 1299 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 450504587 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1797] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1797/stat : 1797 (java) S 1776 1778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450504604 7826124800 19063 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.67
Current children cumulated vsize (KiB) 7642700



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.37 3.86 3.94 2/190 1901
/proc/meminfo: memFree=14678864/32951124 swapFree=67111528/67111528
[pid=1778] ppid=1776 vsize=7642700 CPUtime=1301.39 cores=5,7
/proc/1778/stat : 1778 (java) S 1776 1778 1299 0 -1 4202496 26115 0 1 0 130131 8 0 0 25 0 19 0 450504581 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/1778/statm: 1910675 19076 2255 9 0 1901413 0
[pid=1778/tid=1779] ppid=1776 vsize=7642700 CPUtime=1292.14 cores=5,7
/proc/1778/task/1779/stat : 1779 (java) R 1776 1778 1299 0 -1 4202560 9921 0 1 0 129212 2 0 0 25 0 19 0 450504582 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 46912505545869 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=1778/tid=1781] ppid=1776 vsize=7642700 CPUtime=0.14 cores=5,7
/proc/1778/task/1781/stat : 1781 (java) S 1776 1778 1299 0 -1 4202560 461 0 0 0 14 0 0 0 16 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1782] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1782/stat : 1782 (java) S 1776 1778 1299 0 -1 4202560 503 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1783] ppid=1776 vsize=7642700 CPUtime=0.14 cores=5,7
/proc/1778/task/1783/stat : 1783 (java) S 1776 1778 1299 0 -1 4202560 118 0 0 0 14 0 0 0 15 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1784] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1784/stat : 1784 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1785] ppid=1776 vsize=7642700 CPUtime=0.11 cores=5,7
/proc/1778/task/1785/stat : 1785 (java) S 1776 1778 1299 0 -1 4202560 140 0 0 0 11 0 0 0 15 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1786] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1786/stat : 1786 (java) S 1776 1778 1299 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1787] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1787/stat : 1787 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1788] ppid=1776 vsize=7642700 CPUtime=0.13 cores=5,7
/proc/1778/task/1788/stat : 1788 (java) S 1776 1778 1299 0 -1 4202560 166 0 0 0 13 0 0 0 15 0 19 0 450504583 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1789] ppid=1776 vsize=7642700 CPUtime=7.16 cores=5,7
/proc/1778/task/1789/stat : 1789 (java) S 1776 1778 1299 0 -1 4202560 2387 0 0 0 713 3 0 0 15 0 19 0 450504584 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 0 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1790] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1790/stat : 1790 (java) S 1776 1778 1299 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1791] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1791/stat : 1791 (java) S 1776 1778 1299 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 450504585 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1792] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1792/stat : 1792 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738228657 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1793] ppid=1776 vsize=7642700 CPUtime=0.69 cores=5,7
/proc/1778/task/1793/stat : 1793 (java) S 1776 1778 1299 0 -1 4202560 9346 0 0 0 68 1 0 0 15 0 19 0 450504587 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1794] ppid=1776 vsize=7642700 CPUtime=0.28 cores=5,7
/proc/1778/task/1794/stat : 1794 (java) S 1776 1778 1299 0 -1 4202560 1799 0 0 0 28 0 0 0 19 0 19 0 450504587 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1795] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1795/stat : 1795 (java) S 1776 1778 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450504587 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738220953 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
[pid=1778/tid=1796] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1796/stat : 1796 (java) S 1776 1778 1299 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 450504587 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 7 0 0 0
[pid=1778/tid=1797] ppid=1776 vsize=7642700 CPUtime=0 cores=5,7
/proc/1778/task/1797/stat : 1797 (java) S 1776 1778 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450504604 7826124800 19076 33554432000 1073741824 1073778376 140733849661344 18446744073709551615 264738221568 0 4 0 16800975 18446604466582043648 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1301.39
Current children cumulated vsize (KiB) 7642700

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.1
CPU time (s): 1301.52
CPU user time (s): 1301.43
CPU system time (s): 0.092985
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 7643448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.43
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26150
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= 35618
involuntary context switches= 9752

runsolver used 2.04069 second user time and 5.08423 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-23 19:48:10
IDJOB=3265648
IDBENCH=85793
IDSOLVER=1611
FILE ID=node141/3265648-1303580890
RUNJOBID= node141-1303579572-1320
PBS_JOBID= 13150342
Free space on /tmp= 70928 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.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-3265648-1303580890/watcher-3265648-1303580890 -o /tmp/evaluation-result-3265648-1303580890/solver-3265648-1303580890 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265648-1303580890.cnf

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

MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145
RANDOM SEED=2133054085

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14043416 kB
Buffers:       1626704 kB
Cached:       15978108 kB
SwapCached:          0 kB
Active:       10451844 kB
Inactive:      7881728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14043416 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           38732 kB
Writeback:           0 kB
AnonPages:      728888 kB
Mapped:          23436 kB
Slab:           509896 kB
PageTables:       6996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22057436 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= 70964 MiB
End job on node141 at 2011-04-23 20:09:52