Trace number 3190250

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

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf
MD5SUM6f9c7c042784ec486e9e8bc570309805
Bench CategoryRANDOM (random 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 variables250
Number of clauses21250
Sum of the clauses size148750
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521250

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c no version file found!!!
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.18-164.el5
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		6997539544
0.03/0.07	c Max memory 		7034241024
0.03/0.07	c Total memory 		7034241024
0.03/0.07	c Number of processors 	8
0.03/0.09	c --- Begin Solver configuration ---
0.03/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.03/0.09	c Learn all clauses as in MiniSAT
0.03/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.09	c Expensive reason simplification
0.03/0.09	c Armin Biere (Picosat) restarts strategy
0.03/0.09	c Glucose learned constraints deletion strategy
0.03/0.09	c timeout=2147483647s
0.03/0.09	c DB Simplification allowed=true
0.03/0.09	c --- End Solver configuration ---
0.03/0.09	c solving HOME/instance-3190250-1302597588.cnf
0.03/0.09	c reading problem ... 
0.03/0.21	c ... done. Wall clock time 0.124s.
0.03/0.21	c #vars     250
0.03/0.21	c #constraints  21250
0.03/0.21	c constraints type 
0.03/0.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1.41/1.01	c cleaning 2497 clauses out of 5000 with flag 5000/5000
2.31/1.73	c cleaning 4248 clauses out of 8504 with flag 11001/11001
3.11/2.57	c cleaning 5627 clauses out of 11255 with flag 18000/18000
4.11/3.58	c cleaning 6811 clauses out of 13628 with flag 26000/26000
5.32/4.76	c cleaning 7905 clauses out of 15819 with flag 35002/35002
6.72/6.15	c cleaning 8954 clauses out of 17912 with flag 45000/45000
8.33/7.71	c cleaning 9976 clauses out of 19958 with flag 56000/56000
10.13/9.52	c cleaning 10984 clauses out of 21982 with flag 68000/68000
12.03/11.45	c cleaning 11993 clauses out of 24000 with flag 81002/81002
14.23/13.61	c cleaning 12997 clauses out of 26005 with flag 95000/95000
16.63/16.04	c cleaning 14000 clauses out of 28008 with flag 110000/110000
19.34/18.74	c cleaning 14999 clauses out of 30010 with flag 126002/126002
22.23/21.65	c cleaning 16001 clauses out of 32010 with flag 143001/143001
25.34/24.77	c cleaning 17000 clauses out of 34009 with flag 161001/161001
28.84/28.22	c cleaning 17995 clauses out of 36008 with flag 180000/180000
32.55/31.91	c cleaning 19001 clauses out of 38013 with flag 200000/200000
36.44/35.86	c cleaning 20001 clauses out of 40013 with flag 221001/221001
40.74/40.14	c cleaning 21001 clauses out of 42012 with flag 243001/243001
44.95/44.34	c cleaning 21501 clauses out of 43010 with flag 265000/265000
49.25/48.63	c cleaning 21753 clauses out of 43511 with flag 287002/287002
53.65/53.08	c cleaning 21873 clauses out of 43757 with flag 309001/309001
57.96/57.37	c cleaning 21935 clauses out of 43884 with flag 331001/331001
62.26/61.64	c cleaning 21966 clauses out of 43948 with flag 353000/353000
66.55/66.00	c cleaning 21989 clauses out of 43983 with flag 375001/375001
70.76/70.12	c cleaning 21990 clauses out of 43994 with flag 397001/397001
75.16/74.50	c cleaning 21995 clauses out of 44003 with flag 419000/419000
79.16/78.57	c cleaning 21998 clauses out of 44008 with flag 441000/441000
83.56/82.97	c cleaning 21999 clauses out of 44011 with flag 463001/463001
87.67/87.03	c cleaning 21998 clauses out of 44011 with flag 485000/485000
91.97/91.38	c cleaning 22000 clauses out of 44014 with flag 507001/507001
96.06/95.47	c cleaning 21998 clauses out of 44013 with flag 529000/529000
100.27/99.66	c cleaning 22008 clauses out of 44015 with flag 551000/551000
104.57/103.93	c cleaning 22000 clauses out of 44008 with flag 573001/573001
108.67/108.09	c cleaning 22001 clauses out of 44010 with flag 595003/595003
113.07/112.45	c cleaning 22000 clauses out of 44007 with flag 617001/617001
117.27/116.61	c cleaning 21996 clauses out of 44008 with flag 639002/639002
121.37/120.77	c cleaning 21998 clauses out of 44010 with flag 661000/661000
125.78/125.19	c cleaning 21999 clauses out of 44012 with flag 683000/683000
130.08/129.41	c cleaning 22002 clauses out of 44013 with flag 705000/705000
134.18/133.58	c cleaning 21996 clauses out of 44011 with flag 727000/727000
138.58/137.95	c cleaning 22003 clauses out of 44015 with flag 749000/749000
142.79/142.15	c cleaning 21999 clauses out of 44012 with flag 771000/771000
146.89/146.22	c cleaning 22003 clauses out of 44013 with flag 793000/793000
151.09/150.46	c cleaning 21996 clauses out of 44011 with flag 815001/815001
155.39/154.74	c cleaning 22003 clauses out of 44015 with flag 837001/837001
159.49/158.88	c cleaning 22004 clauses out of 44011 with flag 859000/859000
163.79/163.13	c cleaning 21998 clauses out of 44007 with flag 881000/881000
167.79/167.18	c cleaning 21998 clauses out of 44009 with flag 903000/903000
172.30/171.62	c cleaning 22000 clauses out of 44011 with flag 925000/925000
176.49/175.85	c cleaning 22006 clauses out of 44013 with flag 947002/947002
180.69/180.06	c cleaning 21994 clauses out of 44006 with flag 969001/969001
184.89/184.22	c cleaning 22000 clauses out of 44011 with flag 991000/991000
189.30/188.61	c cleaning 22002 clauses out of 44012 with flag 1013001/1013001
193.40/192.79	c cleaning 21999 clauses out of 44010 with flag 1035001/1035001
197.60/196.95	c cleaning 21999 clauses out of 44010 with flag 1057000/1057000
201.70/201.09	c cleaning 21995 clauses out of 44011 with flag 1079000/1079000
205.90/205.27	c cleaning 21999 clauses out of 44016 with flag 1101000/1101000
210.30/209.68	c cleaning 22005 clauses out of 44017 with flag 1123000/1123000
214.50/213.82	c cleaning 22003 clauses out of 44012 with flag 1145000/1145000
218.70/218.09	c cleaning 21996 clauses out of 44009 with flag 1167000/1167000
223.01/222.39	c cleaning 21999 clauses out of 44013 with flag 1189000/1189000
227.31/226.61	c cleaning 22004 clauses out of 44014 with flag 1211000/1211000
231.50/230.87	c cleaning 22004 clauses out of 44012 with flag 1233002/1233002
235.90/235.21	c cleaning 21999 clauses out of 44008 with flag 1255002/1255002
240.00/239.39	c cleaning 21996 clauses out of 44007 with flag 1277000/1277000
244.10/243.44	c cleaning 22001 clauses out of 44012 with flag 1299001/1299001
248.31/247.65	c cleaning 21997 clauses out of 44012 with flag 1321002/1321002
252.61/251.90	c cleaning 21998 clauses out of 44014 with flag 1343001/1343001
257.01/256.39	c cleaning 22003 clauses out of 44016 with flag 1365001/1365001
261.21/260.59	c cleaning 21999 clauses out of 44014 with flag 1387002/1387002
265.31/264.68	c cleaning 22001 clauses out of 44016 with flag 1409003/1409003
269.61/268.94	c cleaning 22000 clauses out of 44012 with flag 1431000/1431000
273.81/273.12	c cleaning 21998 clauses out of 44012 with flag 1453000/1453000
277.91/277.24	c cleaning 21996 clauses out of 44014 with flag 1475000/1475000
282.11/281.46	c cleaning 21998 clauses out of 44018 with flag 1497000/1497000
286.41/285.70	c cleaning 22002 clauses out of 44020 with flag 1519000/1519000
290.41/289.73	c cleaning 21999 clauses out of 44019 with flag 1541001/1541001
294.61/293.92	c cleaning 22000 clauses out of 44019 with flag 1563000/1563000
299.01/298.33	c cleaning 22004 clauses out of 44022 with flag 1585003/1585003
303.41/302.76	c cleaning 21999 clauses out of 44015 with flag 1607000/1607000
307.72/307.03	c cleaning 22001 clauses out of 44016 with flag 1629000/1629000
311.81/311.16	c cleaning 22004 clauses out of 44015 with flag 1651000/1651000
316.11/315.43	c cleaning 21998 clauses out of 44011 with flag 1673000/1673000
320.31/319.66	c cleaning 22001 clauses out of 44013 with flag 1695000/1695000
324.41/323.77	c cleaning 22002 clauses out of 44015 with flag 1717003/1717003
328.62/327.99	c cleaning 21994 clauses out of 44010 with flag 1739000/1739000
332.92/332.24	c cleaning 21998 clauses out of 44016 with flag 1761000/1761000
337.02/336.36	c cleaning 21999 clauses out of 44018 with flag 1783000/1783000
341.22/340.57	c cleaning 22000 clauses out of 44019 with flag 1805000/1805000
345.53/344.82	c cleaning 22002 clauses out of 44019 with flag 1827000/1827000
349.93/349.20	c cleaning 22006 clauses out of 44018 with flag 1849001/1849001
354.03/353.36	c cleaning 22002 clauses out of 44013 with flag 1871002/1871002
358.13/357.47	c cleaning 22000 clauses out of 44010 with flag 1893001/1893001
362.43/361.72	c cleaning 21996 clauses out of 44009 with flag 1915000/1915000
366.53/365.89	c cleaning 22000 clauses out of 44014 with flag 1937001/1937001
370.73/370.03	c cleaning 21997 clauses out of 44013 with flag 1959000/1959000
374.84/374.17	c cleaning 22003 clauses out of 44016 with flag 1981000/1981000
379.14/378.49	c cleaning 21997 clauses out of 44013 with flag 2003000/2003000
383.64/382.98	c cleaning 22006 clauses out of 44016 with flag 2025000/2025000
387.84/387.12	c cleaning 21995 clauses out of 44011 with flag 2047001/2047001
391.94/391.24	c cleaning 22004 clauses out of 44015 with flag 2069000/2069000
396.04/395.37	c cleaning 21994 clauses out of 44011 with flag 2091000/2091000
400.34/399.62	c cleaning 22001 clauses out of 44018 with flag 2113001/2113001
404.64/403.91	c cleaning 22002 clauses out of 44016 with flag 2135000/2135000
408.85/408.19	c cleaning 21999 clauses out of 44015 with flag 2157001/2157001
413.25/412.55	c cleaning 22003 clauses out of 44017 with flag 2179002/2179002
417.54/416.85	c cleaning 22000 clauses out of 44013 with flag 2201001/2201001
422.15/421.41	c cleaning 22007 clauses out of 44013 with flag 2223001/2223001
426.45/425.78	c cleaning 21994 clauses out of 44006 with flag 2245001/2245001
430.45/429.78	c cleaning 21998 clauses out of 44013 with flag 2267002/2267002
434.65/433.96	c cleaning 21999 clauses out of 44014 with flag 2289001/2289001
438.85/438.13	c cleaning 22000 clauses out of 44014 with flag 2311000/2311000
442.95/442.21	c cleaning 22002 clauses out of 44015 with flag 2333001/2333001
447.46/446.71	c cleaning 22001 clauses out of 44013 with flag 2355001/2355001
451.76/451.04	c cleaning 22002 clauses out of 44012 with flag 2377001/2377001
456.16/455.42	c cleaning 22000 clauses out of 44012 with flag 2399003/2399003
460.35/459.63	c cleaning 22002 clauses out of 44009 with flag 2421000/2421000
464.65/463.93	c cleaning 21997 clauses out of 44008 with flag 2443001/2443001
469.05/468.35	c cleaning 22002 clauses out of 44012 with flag 2465002/2465002
473.26/472.52	c cleaning 22000 clauses out of 44009 with flag 2487001/2487001
477.56/476.85	c cleaning 22001 clauses out of 44009 with flag 2509001/2509001
481.56/480.88	c cleaning 21997 clauses out of 44008 with flag 2531001/2531001
485.66/484.98	c cleaning 21992 clauses out of 44010 with flag 2553000/2553000
489.86/489.15	c cleaning 21994 clauses out of 44018 with flag 2575000/2575000
494.16/493.46	c cleaning 22004 clauses out of 44024 with flag 2597000/2597000
498.36/497.60	c cleaning 21995 clauses out of 44020 with flag 2619000/2619000
502.76/502.01	c cleaning 22008 clauses out of 44025 with flag 2641000/2641000
506.96/506.29	c cleaning 22000 clauses out of 44019 with flag 2663002/2663002
511.27/510.58	c cleaning 21994 clauses out of 44017 with flag 2685000/2685000
515.76/515.06	c cleaning 22008 clauses out of 44023 with flag 2707000/2707000
519.97/519.23	c cleaning 21999 clauses out of 44016 with flag 2729001/2729001
524.17/523.46	c cleaning 21999 clauses out of 44016 with flag 2751000/2751000
528.26/527.56	c cleaning 22003 clauses out of 44019 with flag 2773002/2773002
532.66/531.91	c cleaning 21994 clauses out of 44015 with flag 2795001/2795001
537.06/536.33	c cleaning 22005 clauses out of 44020 with flag 2817000/2817000
541.37/540.65	c cleaning 22001 clauses out of 44015 with flag 2839000/2839000
545.47/544.75	c cleaning 21998 clauses out of 44015 with flag 2861001/2861001
549.97/549.23	c cleaning 21996 clauses out of 44016 with flag 2883000/2883000
554.47/553.76	c cleaning 21998 clauses out of 44022 with flag 2905002/2905002
559.07/558.31	c cleaning 22003 clauses out of 44025 with flag 2927003/2927003
563.67/562.95	c cleaning 22002 clauses out of 44020 with flag 2949001/2949001
568.17/567.46	c cleaning 22000 clauses out of 44017 with flag 2971000/2971000
572.57/571.82	c cleaning 22003 clauses out of 44018 with flag 2993001/2993001
576.57/575.81	c cleaning 22003 clauses out of 44014 with flag 3015000/3015000
580.87/580.15	c cleaning 21996 clauses out of 44013 with flag 3037002/3037002
585.07/584.31	c cleaning 22003 clauses out of 44016 with flag 3059001/3059001
589.08/588.38	c cleaning 21998 clauses out of 44012 with flag 3081000/3081000
593.19/592.44	c cleaning 21997 clauses out of 44014 with flag 3103000/3103000
597.39/596.62	c cleaning 22002 clauses out of 44019 with flag 3125002/3125002
601.69/600.95	c cleaning 22002 clauses out of 44015 with flag 3147000/3147000
606.09/605.32	c cleaning 21998 clauses out of 44013 with flag 3169000/3169000
610.30/609.59	c cleaning 22002 clauses out of 44015 with flag 3191000/3191000
614.60/613.80	c cleaning 21993 clauses out of 44014 with flag 3213001/3213001
618.79/618.07	c cleaning 22002 clauses out of 44020 with flag 3235000/3235000
623.30/622.52	c cleaning 22000 clauses out of 44018 with flag 3257000/3257000
628.20/627.42	c cleaning 21999 clauses out of 44018 with flag 3279000/3279000
632.50/631.76	c cleaning 22000 clauses out of 44019 with flag 3301000/3301000
636.61/635.88	c cleaning 22003 clauses out of 44020 with flag 3323001/3323001
640.80/640.04	c cleaning 21999 clauses out of 44017 with flag 3345001/3345001
644.80/644.05	c cleaning 22003 clauses out of 44017 with flag 3367000/3367000
648.90/648.12	c cleaning 22001 clauses out of 44014 with flag 3389000/3389000
653.21/652.41	c cleaning 21996 clauses out of 44013 with flag 3411000/3411000
657.30/656.58	c cleaning 21994 clauses out of 44017 with flag 3433000/3433000
661.70/660.94	c cleaning 21996 clauses out of 44023 with flag 3455000/3455000
665.90/665.18	c cleaning 22001 clauses out of 44027 with flag 3477000/3477000
670.31/669.58	c cleaning 22005 clauses out of 44028 with flag 3499002/3499002
674.31/673.59	c cleaning 22003 clauses out of 44022 with flag 3521001/3521001
678.51/677.79	c cleaning 22004 clauses out of 44020 with flag 3543002/3543002
682.82/682.10	c cleaning 21991 clauses out of 44015 with flag 3565001/3565001
687.31/686.58	c cleaning 22001 clauses out of 44024 with flag 3587001/3587001
692.01/691.24	c cleaning 22003 clauses out of 44022 with flag 3609000/3609000
696.41/695.64	c cleaning 22005 clauses out of 44020 with flag 3631001/3631001
700.52/699.73	c cleaning 21998 clauses out of 44014 with flag 3653000/3653000
704.61/703.81	c cleaning 22000 clauses out of 44017 with flag 3675001/3675001
708.71/707.99	c cleaning 22001 clauses out of 44016 with flag 3697000/3697000
712.91/712.12	c cleaning 22000 clauses out of 44017 with flag 3719002/3719002
717.11/716.37	c cleaning 21997 clauses out of 44015 with flag 3741000/3741000
721.32/720.59	c cleaning 21999 clauses out of 44020 with flag 3763002/3763002
725.72/724.91	c cleaning 22007 clauses out of 44019 with flag 3785000/3785000
730.12/729.34	c cleaning 21996 clauses out of 44012 with flag 3807000/3807000
734.42/733.65	c cleaning 22005 clauses out of 44016 with flag 3829000/3829000
738.62/737.81	c cleaning 21997 clauses out of 44011 with flag 3851000/3851000
742.72/741.99	c cleaning 21998 clauses out of 44014 with flag 3873000/3873000
747.12/746.39	c cleaning 21999 clauses out of 44016 with flag 3895000/3895000
751.82/751.09	c cleaning 22002 clauses out of 44017 with flag 3917000/3917000
756.72/755.93	c cleaning 22000 clauses out of 44017 with flag 3939002/3939002
761.33/760.51	c cleaning 21994 clauses out of 44015 with flag 3961000/3961000
766.03/765.21	c cleaning 22009 clauses out of 44021 with flag 3983000/3983000
770.23/769.44	c cleaning 21995 clauses out of 44012 with flag 4005000/4005000
774.24/773.43	c cleaning 21998 clauses out of 44019 with flag 4027002/4027002
778.43/777.65	c cleaning 22006 clauses out of 44019 with flag 4049000/4049000
782.73/781.90	c cleaning 21995 clauses out of 44013 with flag 4071000/4071000
786.83/786.05	c cleaning 22002 clauses out of 44019 with flag 4093001/4093001
791.03/790.20	c cleaning 22000 clauses out of 44016 with flag 4115000/4115000
795.23/794.42	c cleaning 22001 clauses out of 44017 with flag 4137001/4137001
799.54/798.73	c cleaning 21999 clauses out of 44015 with flag 4159000/4159000
803.74/802.98	c cleaning 21993 clauses out of 44017 with flag 4181001/4181001
808.14/807.31	c cleaning 22000 clauses out of 44024 with flag 4203001/4203001
812.44/811.63	c cleaning 21997 clauses out of 44023 with flag 4225000/4225000
816.74/815.93	c cleaning 22003 clauses out of 44027 with flag 4247001/4247001
820.94/820.19	c cleaning 22005 clauses out of 44023 with flag 4269000/4269000
825.24/824.44	c cleaning 21997 clauses out of 44018 with flag 4291000/4291000
829.64/828.85	c cleaning 22000 clauses out of 44021 with flag 4313000/4313000
833.94/833.13	c cleaning 22005 clauses out of 44023 with flag 4335002/4335002
838.05/837.25	c cleaning 21998 clauses out of 44016 with flag 4357000/4357000
842.35/841.60	c cleaning 21993 clauses out of 44018 with flag 4379000/4379000
846.65/845.82	c cleaning 22003 clauses out of 44025 with flag 4401000/4401000
850.65/849.83	c cleaning 22005 clauses out of 44022 with flag 4423000/4423000
854.95/854.12	c cleaning 22003 clauses out of 44018 with flag 4445001/4445001
859.36/858.59	c cleaning 21995 clauses out of 44015 with flag 4467001/4467001
863.76/862.99	c cleaning 21998 clauses out of 44019 with flag 4489000/4489000
868.16/867.36	c cleaning 22006 clauses out of 44021 with flag 4511000/4511000
872.76/871.96	c cleaning 22002 clauses out of 44015 with flag 4533000/4533000
877.16/876.38	c cleaning 22004 clauses out of 44013 with flag 4555000/4555000
881.97/881.14	c cleaning 21995 clauses out of 44009 with flag 4577000/4577000
886.56/885.70	c cleaning 22001 clauses out of 44015 with flag 4599001/4599001
890.96/890.11	c cleaning 21999 clauses out of 44014 with flag 4621001/4621001
895.36/894.54	c cleaning 21997 clauses out of 44014 with flag 4643000/4643000
899.86/899.09	c cleaning 21991 clauses out of 44017 with flag 4665000/4665000
904.46/903.67	c cleaning 22002 clauses out of 44026 with flag 4687000/4687000
908.86/908.06	c cleaning 22002 clauses out of 44024 with flag 4709000/4709000
912.87/912.05	c cleaning 21999 clauses out of 44022 with flag 4731000/4731000
917.47/916.66	c cleaning 22006 clauses out of 44024 with flag 4753001/4753001
921.97/921.18	c cleaning 22000 clauses out of 44017 with flag 4775000/4775000
926.27/925.43	c cleaning 21996 clauses out of 44017 with flag 4797000/4797000
930.77/929.95	c cleaning 21996 clauses out of 44021 with flag 4819000/4819000
935.07/934.29	c cleaning 22011 clauses out of 44026 with flag 4841001/4841001
939.28/938.41	c cleaning 21995 clauses out of 44015 with flag 4863001/4863001
943.38/942.51	c cleaning 22005 clauses out of 44019 with flag 4885000/4885000
947.28/946.48	c cleaning 21995 clauses out of 44014 with flag 4907000/4907000
951.28/950.44	c cleaning 22005 clauses out of 44019 with flag 4929000/4929000
955.38/954.57	c cleaning 21998 clauses out of 44015 with flag 4951001/4951001
959.58/958.70	c cleaning 22002 clauses out of 44016 with flag 4973000/4973000
963.78/962.99	c cleaning 22000 clauses out of 44014 with flag 4995000/4995000
968.18/967.31	c cleaning 21997 clauses out of 44015 with flag 5017001/5017001
972.48/971.69	c cleaning 22001 clauses out of 44017 with flag 5039000/5039000
977.18/976.36	c cleaning 22002 clauses out of 44016 with flag 5061000/5061000
981.69/980.87	c cleaning 21996 clauses out of 44015 with flag 5083001/5083001
986.29/985.48	c cleaning 21993 clauses out of 44018 with flag 5105000/5105000
990.69/989.88	c cleaning 22001 clauses out of 44025 with flag 5127000/5127000
994.89/994.00	c cleaning 22005 clauses out of 44025 with flag 5149001/5149001
999.19/998.34	c cleaning 22001 clauses out of 44020 with flag 5171001/5171001
1003.49/1002.68	c cleaning 22001 clauses out of 44018 with flag 5193000/5193000
1007.89/1007.07	c cleaning 21999 clauses out of 44017 with flag 5215000/5215000
1012.39/1011.59	c cleaning 22004 clauses out of 44018 with flag 5237000/5237000
1016.80/1015.98	c cleaning 21998 clauses out of 44014 with flag 5259000/5259000
1021.10/1020.26	c cleaning 22003 clauses out of 44016 with flag 5281000/5281000
1025.60/1024.77	c cleaning 21997 clauses out of 44014 with flag 5303001/5303001
1030.10/1029.27	c cleaning 22002 clauses out of 44016 with flag 5325000/5325000
1034.30/1033.47	c cleaning 22000 clauses out of 44014 with flag 5347000/5347000
1038.31/1037.49	c cleaning 21992 clauses out of 44014 with flag 5369000/5369000
1042.40/1041.56	c cleaning 22005 clauses out of 44024 with flag 5391002/5391002
1046.70/1045.83	c cleaning 22000 clauses out of 44018 with flag 5413001/5413001
1050.80/1049.99	c cleaning 22002 clauses out of 44017 with flag 5435000/5435000
1055.20/1054.34	c cleaning 22000 clauses out of 44016 with flag 5457001/5457001
1059.41/1058.57	c cleaning 22002 clauses out of 44017 with flag 5479002/5479002
1063.91/1063.00	c cleaning 21994 clauses out of 44016 with flag 5501003/5501003
1068.11/1067.24	c cleaning 22000 clauses out of 44019 with flag 5523000/5523000
1072.41/1071.54	c cleaning 21997 clauses out of 44020 with flag 5545001/5545001
1076.72/1075.86	c cleaning 22006 clauses out of 44023 with flag 5567001/5567001
1080.91/1080.05	c cleaning 21996 clauses out of 44018 with flag 5589002/5589002
1085.11/1084.21	c cleaning 22005 clauses out of 44020 with flag 5611000/5611000
1089.11/1088.29	c cleaning 22001 clauses out of 44016 with flag 5633001/5633001
1093.62/1092.73	c cleaning 21998 clauses out of 44014 with flag 5655000/5655000
1098.22/1097.35	c cleaning 22004 clauses out of 44017 with flag 5677001/5677001
1102.52/1101.60	c cleaning 21997 clauses out of 44013 with flag 5699001/5699001
1107.02/1106.17	c cleaning 21999 clauses out of 44019 with flag 5721004/5721004
1111.42/1110.58	c cleaning 21998 clauses out of 44016 with flag 5743000/5743000
1115.92/1115.09	c cleaning 22007 clauses out of 44019 with flag 5765001/5765001
1120.52/1119.61	c cleaning 21998 clauses out of 44011 with flag 5787000/5787000
1125.03/1124.16	c cleaning 21996 clauses out of 44013 with flag 5809000/5809000
1129.43/1128.58	c cleaning 22002 clauses out of 44017 with flag 5831000/5831000
1133.83/1132.96	c cleaning 21995 clauses out of 44016 with flag 5853001/5853001
1138.13/1137.22	c cleaning 22003 clauses out of 44021 with flag 5875001/5875001
1142.13/1141.29	c cleaning 21997 clauses out of 44017 with flag 5897000/5897000
1146.33/1145.42	c cleaning 22004 clauses out of 44023 with flag 5919003/5919003
1150.23/1149.30	c cleaning 22001 clauses out of 44016 with flag 5941000/5941000
1154.23/1153.39	c cleaning 21999 clauses out of 44015 with flag 5963000/5963000
1158.33/1157.45	c cleaning 21999 clauses out of 44016 with flag 5985000/5985000
1162.54/1161.60	c cleaning 22001 clauses out of 44017 with flag 6007000/6007000
1166.94/1166.06	c cleaning 22000 clauses out of 44016 with flag 6029000/6029000
1171.03/1170.18	c cleaning 21995 clauses out of 44016 with flag 6051000/6051000
1175.34/1174.40	c cleaning 22000 clauses out of 44021 with flag 6073000/6073000
1179.34/1178.48	c cleaning 22001 clauses out of 44022 with flag 6095001/6095001
1183.64/1182.74	c cleaning 22004 clauses out of 44020 with flag 6117000/6117000
1187.94/1187.03	c cleaning 21999 clauses out of 44016 with flag 6139000/6139000
1192.25/1191.39	c cleaning 21998 clauses out of 44018 with flag 6161001/6161001
1196.84/1195.92	c cleaning 22006 clauses out of 44019 with flag 6183000/6183000
1201.05/1200.12	c cleaning 21997 clauses out of 44013 with flag 6205000/6205000
1205.45/1204.57	c cleaning 22002 clauses out of 44017 with flag 6227001/6227001
1209.95/1209.02	c cleaning 21997 clauses out of 44015 with flag 6249001/6249001
1214.16/1213.26	c cleaning 22007 clauses out of 44021 with flag 6271004/6271004
1218.66/1217.74	c cleaning 21995 clauses out of 44010 with flag 6293000/6293000
1222.76/1221.88	c cleaning 21996 clauses out of 44015 with flag 6315000/6315000
1226.96/1226.03	c cleaning 21993 clauses out of 44019 with flag 6337000/6337000
1231.05/1230.12	c cleaning 22002 clauses out of 44026 with flag 6359000/6359000
1235.45/1234.55	c cleaning 22005 clauses out of 44024 with flag 6381000/6381000
1239.66/1238.70	c cleaning 22004 clauses out of 44020 with flag 6403001/6403001
1244.16/1243.20	c cleaning 22003 clauses out of 44017 with flag 6425002/6425002
1248.66/1247.75	c cleaning 21996 clauses out of 44012 with flag 6447000/6447000
1252.96/1252.00	c cleaning 22000 clauses out of 44016 with flag 6469000/6469000
1257.06/1256.10	c cleaning 22001 clauses out of 44017 with flag 6491001/6491001
1260.96/1260.08	c cleaning 22004 clauses out of 44015 with flag 6513000/6513000
1265.07/1264.16	c cleaning 21994 clauses out of 44011 with flag 6535000/6535000
1269.17/1268.21	c cleaning 22001 clauses out of 44017 with flag 6557000/6557000
1273.37/1272.41	c cleaning 22003 clauses out of 44016 with flag 6579000/6579000
1277.47/1276.51	c cleaning 21998 clauses out of 44013 with flag 6601000/6601000
1281.57/1280.63	c cleaning 21996 clauses out of 44016 with flag 6623001/6623001
1285.87/1284.92	c cleaning 22004 clauses out of 44020 with flag 6645001/6645001
1290.07/1289.14	c cleaning 22002 clauses out of 44016 with flag 6667001/6667001
1294.27/1293.35	c cleaning 21999 clauses out of 44015 with flag 6689002/6689002
1298.37/1297.48	c cleaning 21994 clauses out of 44014 with flag 6711000/6711000
1300.98/1300.01	c starts		: 2337
1300.98/1300.01	c conflicts		: 6725380
1300.98/1300.01	c decisions		: 7948318
1300.98/1300.01	c propagations		: 175379211
1300.98/1300.01	c inspects		: 16504910961
1300.98/1300.01	c shortcuts		: 0
1300.98/1300.01	c learnt literals	: 0
1300.98/1300.01	c learnt binary clauses	: 0
1300.98/1300.01	c learnt ternary clauses	: 0
1300.98/1300.01	c learnt constraints	: 6725379
1300.98/1300.01	c ignored constraints	: 0
1300.98/1300.01	c root simplifications	: 2337
1300.98/1300.01	c removed literals (reason simplification)	: 37842332
1300.98/1300.01	c reason swapping (by a shorter reason)	: 0
1300.98/1300.01	c Calls to reduceDB	: 312
1300.98/1300.01	c speed (assignments/second)	: 134928.15493496292
1300.98/1300.01	c non guided choices	113
1300.98/1300.04	c learnt constraints type 
1300.98/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 36504
1300.98/1300.04	c constraints type 
1300.98/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1300.98/1300.04	s UNKNOWN
1300.98/1300.04	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 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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-3190250-1302597588/watcher-3190250-1302597588 -o /tmp/evaluation-result-3190250-1302597588/solver-3190250-1302597588 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190250-1302597588.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: 0.92 1.09 1.48 4/212 25034
/proc/meminfo: memFree=12942268/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=22976 CPUtime=0 cores=5,7
/proc/25033/stat : 25033 (java) R 25031 25033 24951 0 -1 4202496 1113 0 0 0 0 0 0 0 18 0 1 0 352174887 23527424 849 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118572912 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25033/statm: 6001 851 642 9 0 381 0
[pid=25033/tid=25037] ppid=25031 vsize=24004 CPUtime=0 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 2 0 352174888 24580096 863 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255106768640 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0411601 s]
/proc/loadavg: 0.92 1.09 1.48 4/212 25034
/proc/meminfo: memFree=12942268/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7630024 CPUtime=0.03 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 8920 0 1 0 2 1 0 0 18 0 13 0 352174887 7813144576 8615 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1907506 8617 1686 9 0 1898254 0
[pid=25033/tid=25037] ppid=25031 vsize=7630024 CPUtime=0.03 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 7772 0 1 0 2 1 0 0 18 0 13 0 352174888 7813144576 8617 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118595531 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7630024

[startup+0.219036 s]
/proc/loadavg: 0.92 1.09 1.48 4/212 25034
/proc/meminfo: memFree=12942268/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7641220 CPUtime=0.33 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 12728 0 1 0 32 1 0 0 18 0 19 0 352174887 7824609280 12004 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1910305 12004 2202 9 0 1901043 0
[pid=25033/tid=25037] ppid=25031 vsize=7641220 CPUtime=0.2 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) S 25031 25033 24951 0 -1 4202560 9479 0 1 0 19 1 0 0 18 0 19 0 352174888 7824609280 12004 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 7641220

[startup+0.301073 s]
/proc/loadavg: 0.92 1.09 1.48 4/212 25034
/proc/meminfo: memFree=12942268/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7641220 CPUtime=0.49 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 12851 0 1 0 48 1 0 0 18 0 19 0 352174887 7824609280 12126 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1910305 12126 2209 9 0 1901043 0
[pid=25033/tid=25037] ppid=25031 vsize=7641220 CPUtime=0.28 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 9559 0 1 0 27 1 0 0 19 0 19 0 352174888 7824609280 12126 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505600078 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7641220

[startup+0.701003 s]
/proc/loadavg: 0.92 1.09 1.48 4/212 25034
/proc/meminfo: memFree=12942268/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7641220 CPUtime=1.06 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 13442 0 1 0 104 2 0 0 18 0 19 0 352174887 7824609280 12562 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1910305 12562 2223 9 0 1901043 0
[pid=25033/tid=25037] ppid=25031 vsize=7641220 CPUtime=0.68 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 9937 0 1 0 67 1 0 0 19 0 19 0 352174888 7824609280 12562 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505684258 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7641220

[startup+1.50086 s]
/proc/loadavg: 0.92 1.09 1.48 10/262 25084
/proc/meminfo: memFree=12751576/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7729280 CPUtime=2.09 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 22740 0 1 0 206 3 0 0 18 0 19 0 352174887 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1932320 19924 2253 9 0 1923058 0
[pid=25033/tid=25037] ppid=25031 vsize=7729280 CPUtime=1.44 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 10150 0 1 0 143 1 0 0 20 0 19 0 352174888 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505624336 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25033/tid=25048] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25048/stat : 25048 (java) S 25031 25033 24951 0 -1 4202560 285 0 0 0 0 0 0 0 18 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25049] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25049/stat : 25049 (java) S 25031 25033 24951 0 -1 4202560 238 0 0 0 0 0 0 0 17 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25050] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25050/stat : 25050 (java) S 25031 25033 24951 0 -1 4202560 329 0 0 0 0 0 0 0 17 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25051] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25051/stat : 25051 (java) S 25031 25033 24951 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25052] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25052/stat : 25052 (java) S 25031 25033 24951 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25053] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25053/stat : 25053 (java) S 25031 25033 24951 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25054] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25054/stat : 25054 (java) S 25031 25033 24951 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25055] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25055/stat : 25055 (java) S 25031 25033 24951 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 19 0 352174889 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25068] ppid=25031 vsize=7729280 CPUtime=0.01 cores=5,7
/proc/25033/task/25068/stat : 25068 (java) S 25031 25033 24951 0 -1 4202560 882 0 0 0 1 0 0 0 15 0 19 0 352174890 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 0 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25069] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25069/stat : 25069 (java) S 25031 25033 24951 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 352174891 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25070] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25070/stat : 25070 (java) S 25031 25033 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174891 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25076] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25076/stat : 25076 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174893 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118592433 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25077] ppid=25031 vsize=7729280 CPUtime=0.28 cores=5,7
/proc/25033/task/25077/stat : 25077 (java) S 25031 25033 24951 0 -1 4202560 1598 0 0 0 28 0 0 0 16 0 19 0 352174893 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25078] ppid=25031 vsize=7729280 CPUtime=0.31 cores=5,7
/proc/25033/task/25078/stat : 25078 (java) S 25031 25033 24951 0 -1 4202560 8069 0 0 0 31 0 0 0 16 0 19 0 352174893 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25079] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25079/stat : 25079 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174893 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25080] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25080/stat : 25080 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174893 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25084] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25084/stat : 25084 (java) S 25031 25033 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174909 7914782720 19924 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 7729280

[startup+3.10058 s]
/proc/loadavg: 0.92 1.09 1.48 5/262 25084
/proc/meminfo: memFree=12712392/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7729280 CPUtime=3.72 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 23459 0 1 0 369 3 0 0 18 0 19 0 352174887 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1932320 20639 2255 9 0 1923058 0
[pid=25033/tid=25037] ppid=25031 vsize=7729280 CPUtime=3 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 10152 0 1 0 299 1 0 0 25 0 19 0 352174888 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505600265 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25033/tid=25048] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25048/stat : 25048 (java) S 25031 25033 24951 0 -1 4202560 396 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25049] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25049/stat : 25049 (java) S 25031 25033 24951 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25050] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25050/stat : 25050 (java) S 25031 25033 24951 0 -1 4202560 348 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25051] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25051/stat : 25051 (java) S 25031 25033 24951 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25052] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25052/stat : 25052 (java) S 25031 25033 24951 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25053] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25053/stat : 25053 (java) S 25031 25033 24951 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25054] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25054/stat : 25054 (java) S 25031 25033 24951 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25055] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25055/stat : 25055 (java) S 25031 25033 24951 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 352174889 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25068] ppid=25031 vsize=7729280 CPUtime=0.04 cores=5,7
/proc/25033/task/25068/stat : 25068 (java) S 25031 25033 24951 0 -1 4202560 1177 0 0 0 4 0 0 0 16 0 19 0 352174890 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 0 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25069] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25069/stat : 25069 (java) S 25031 25033 24951 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 352174891 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25070] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25070/stat : 25070 (java) S 25031 25033 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174891 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25076] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25076/stat : 25076 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174893 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118592433 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25077] ppid=25031 vsize=7729280 CPUtime=0.29 cores=5,7
/proc/25033/task/25077/stat : 25077 (java) S 25031 25033 24951 0 -1 4202560 1598 0 0 0 29 0 0 0 15 0 19 0 352174893 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25078] ppid=25031 vsize=7729280 CPUtime=0.33 cores=5,7
/proc/25033/task/25078/stat : 25078 (java) S 25031 25033 24951 0 -1 4202560 8071 0 0 0 33 0 0 0 15 0 19 0 352174893 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25079] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25079/stat : 25079 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174893 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25080] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25080/stat : 25080 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 352174893 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25084] ppid=25031 vsize=7729280 CPUtime=0 cores=5,7
/proc/25033/task/25084/stat : 25084 (java) S 25031 25033 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174909 7914782720 20639 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 7729280

[startup+6.30106 s]
/proc/loadavg: 1.25 1.15 1.50 5/262 25084
/proc/meminfo: memFree=12710656/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7725948 CPUtime=6.93 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 24019 0 1 0 690 3 0 0 18 0 19 0 352174887 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1931487 20487 2255 9 0 1922225 0
[pid=25033/tid=25037] ppid=25031 vsize=7725948 CPUtime=6.13 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 10156 0 1 0 612 1 0 0 17 0 19 0 352174888 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505600183 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25033/tid=25048] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25048/stat : 25048 (java) S 25031 25033 24951 0 -1 4202560 396 0 0 0 0 0 0 0 15 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25049] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25049/stat : 25049 (java) S 25031 25033 24951 0 -1 4202560 419 0 0 0 0 0 0 0 15 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25050] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25050/stat : 25050 (java) S 25031 25033 24951 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25051] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25051/stat : 25051 (java) S 25031 25033 24951 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25052] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25052/stat : 25052 (java) S 25031 25033 24951 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25053] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25053/stat : 25053 (java) S 25031 25033 24951 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25054] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25054/stat : 25054 (java) S 25031 25033 24951 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25055] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25055/stat : 25055 (java) S 25031 25033 24951 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 352174889 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25068] ppid=25031 vsize=7725948 CPUtime=0.1 cores=5,7
/proc/25033/task/25068/stat : 25068 (java) S 25031 25033 24951 0 -1 4202560 1453 0 0 0 10 0 0 0 16 0 19 0 352174890 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 0 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25069] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25069/stat : 25069 (java) S 25031 25033 24951 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25070] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25070/stat : 25070 (java) S 25031 25033 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25076] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25076/stat : 25076 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174893 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118592433 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25077] ppid=25031 vsize=7725948 CPUtime=0.3 cores=5,7
/proc/25033/task/25077/stat : 25077 (java) S 25031 25033 24951 0 -1 4202560 1602 0 0 0 30 0 0 0 15 0 19 0 352174893 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25078] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25078/stat : 25078 (java) S 25031 25033 24951 0 -1 4202560 8071 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 20487 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0

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

[pid=25033/tid=25053] ppid=25031 vsize=7725948 CPUtime=0.1 cores=5,7
/proc/25033/task/25053/stat : 25053 (java) S 25031 25033 24951 0 -1 4202560 14 0 0 0 10 0 0 0 15 0 19 0 352174889 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25054] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25054/stat : 25054 (java) S 25031 25033 24951 0 -1 4202560 25 0 0 0 13 0 0 0 16 0 19 0 352174889 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25055] ppid=25031 vsize=7725948 CPUtime=0.12 cores=5,7
/proc/25033/task/25055/stat : 25055 (java) S 25031 25033 24951 0 -1 4202560 160 0 0 0 12 0 0 0 15 0 19 0 352174889 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25068] ppid=25031 vsize=7725948 CPUtime=6.59 cores=5,7
/proc/25033/task/25068/stat : 25068 (java) S 25031 25033 24951 0 -1 4202560 2707 0 0 0 657 2 0 0 15 0 19 0 352174890 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 0 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25069] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25069/stat : 25069 (java) S 25031 25033 24951 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25070] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25070/stat : 25070 (java) S 25031 25033 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25076] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25076/stat : 25076 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174893 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118592433 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25077] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25077/stat : 25077 (java) S 25031 25033 24951 0 -1 4202560 1605 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25078] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25078/stat : 25078 (java) S 25031 25033 24951 0 -1 4202560 8071 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25079] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25079/stat : 25079 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174893 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25080] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25080/stat : 25080 (java) S 25031 25033 24951 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 352174893 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25084] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25084/stat : 25084 (java) S 25031 25033 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174909 7911370752 22386 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.24
Current children cumulated vsize (KiB) 7725948

[startup+1242.3 s]
/proc/loadavg: 4.01 3.97 3.33 5/262 25117
/proc/meminfo: memFree=12655864/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7725948 CPUtime=1243.26 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 26407 0 1 0 124318 8 0 0 18 0 19 0 352174887 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1931487 22438 2256 9 0 1922225 0
[pid=25033/tid=25037] ppid=25031 vsize=7725948 CPUtime=1234.62 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 10498 0 1 0 123460 2 0 0 25 0 19 0 352174888 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505600209 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25033/tid=25048] ppid=25031 vsize=7725948 CPUtime=0.11 cores=5,7
/proc/25033/task/25048/stat : 25048 (java) S 25031 25033 24951 0 -1 4202560 712 0 0 0 11 0 0 0 15 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25049] ppid=25031 vsize=7725948 CPUtime=0.12 cores=5,7
/proc/25033/task/25049/stat : 25049 (java) S 25031 25033 24951 0 -1 4202560 446 0 0 0 12 0 0 0 15 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25050] ppid=25031 vsize=7725948 CPUtime=0.12 cores=5,7
/proc/25033/task/25050/stat : 25050 (java) S 25031 25033 24951 0 -1 4202560 473 0 0 0 12 0 0 0 15 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25051] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25051/stat : 25051 (java) S 25031 25033 24951 0 -1 4202560 52 0 0 0 13 0 0 0 16 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25052] ppid=25031 vsize=7725948 CPUtime=0.11 cores=5,7
/proc/25033/task/25052/stat : 25052 (java) S 25031 25033 24951 0 -1 4202560 380 0 0 0 11 0 0 0 16 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25053] ppid=25031 vsize=7725948 CPUtime=0.1 cores=5,7
/proc/25033/task/25053/stat : 25053 (java) S 25031 25033 24951 0 -1 4202560 14 0 0 0 10 0 0 0 15 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25054] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25054/stat : 25054 (java) S 25031 25033 24951 0 -1 4202560 25 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25055] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25055/stat : 25055 (java) S 25031 25033 24951 0 -1 4202560 161 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25068] ppid=25031 vsize=7725948 CPUtime=6.93 cores=5,7
/proc/25033/task/25068/stat : 25068 (java) S 25031 25033 24951 0 -1 4202560 2744 0 0 0 691 2 0 0 15 0 19 0 352174890 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 0 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25069] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25069/stat : 25069 (java) S 25031 25033 24951 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25070] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25070/stat : 25070 (java) S 25031 25033 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25076] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25076/stat : 25076 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174893 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118592433 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25077] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25077/stat : 25077 (java) S 25031 25033 24951 0 -1 4202560 1605 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25078] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25078/stat : 25078 (java) S 25031 25033 24951 0 -1 4202560 8071 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25079] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25079/stat : 25079 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174893 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25080] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25080/stat : 25080 (java) S 25031 25033 24951 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 352174893 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25084] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25084/stat : 25084 (java) S 25031 25033 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174909 7911370752 22438 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.26
Current children cumulated vsize (KiB) 7725948



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.37 6/248 25137
/proc/meminfo: memFree=12752964/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7725948 CPUtime=1300.98 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 26451 0 1 0 130090 8 0 0 18 0 19 0 352174887 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1931487 22460 2256 9 0 1922225 0
[pid=25033/tid=25037] ppid=25031 vsize=7725948 CPUtime=1291.94 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 10512 0 1 0 129192 2 0 0 25 0 19 0 352174888 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505600036 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25033/tid=25048] ppid=25031 vsize=7725948 CPUtime=0.12 cores=5,7
/proc/25033/task/25048/stat : 25048 (java) S 25031 25033 24951 0 -1 4202560 712 0 0 0 12 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25049] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25049/stat : 25049 (java) S 25031 25033 24951 0 -1 4202560 446 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25050] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25050/stat : 25050 (java) S 25031 25033 24951 0 -1 4202560 473 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25051] ppid=25031 vsize=7725948 CPUtime=0.14 cores=5,7
/proc/25033/task/25051/stat : 25051 (java) S 25031 25033 24951 0 -1 4202560 52 0 0 0 14 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25052] ppid=25031 vsize=7725948 CPUtime=0.11 cores=5,7
/proc/25033/task/25052/stat : 25052 (java) S 25031 25033 24951 0 -1 4202560 380 0 0 0 11 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25053] ppid=25031 vsize=7725948 CPUtime=0.11 cores=5,7
/proc/25033/task/25053/stat : 25053 (java) S 25031 25033 24951 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25054] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25054/stat : 25054 (java) S 25031 25033 24951 0 -1 4202560 25 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25055] ppid=25031 vsize=7725948 CPUtime=0.14 cores=5,7
/proc/25033/task/25055/stat : 25055 (java) S 25031 25033 24951 0 -1 4202560 161 0 0 0 14 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25068] ppid=25031 vsize=7725948 CPUtime=7.27 cores=5,7
/proc/25033/task/25068/stat : 25068 (java) S 25031 25033 24951 0 -1 4202560 2770 0 0 0 725 2 0 0 15 0 19 0 352174890 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 0 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25069] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25069/stat : 25069 (java) S 25031 25033 24951 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25070] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25070/stat : 25070 (java) S 25031 25033 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25076] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25076/stat : 25076 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118592433 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25077] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25077/stat : 25077 (java) S 25031 25033 24951 0 -1 4202560 1605 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25078] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25078/stat : 25078 (java) S 25031 25033 24951 0 -1 4202560 8071 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25079] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25079/stat : 25079 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25080] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25080/stat : 25080 (java) S 25031 25033 24951 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25084] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25084/stat : 25084 (java) S 25031 25033 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174909 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1300.98
Current children cumulated vsize (KiB) 7725948

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

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

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.37 6/248 25137
/proc/meminfo: memFree=12752964/32951124 swapFree=67111528/67111528
[pid=25033] ppid=25031 vsize=7725948 CPUtime=1300.98 cores=5,7
/proc/25033/stat : 25033 (java) S 25031 25033 24951 0 -1 4202496 26451 0 1 0 130090 8 0 0 18 0 19 0 352174887 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25033/statm: 1931487 22460 2256 9 0 1922225 0
[pid=25033/tid=25037] ppid=25031 vsize=7725948 CPUtime=1291.94 cores=5,7
/proc/25033/task/25037/stat : 25037 (java) R 25031 25033 24951 0 -1 4202560 10512 0 1 0 129192 2 0 0 25 0 19 0 352174888 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 46912505600036 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25033/tid=25048] ppid=25031 vsize=7725948 CPUtime=0.12 cores=5,7
/proc/25033/task/25048/stat : 25048 (java) S 25031 25033 24951 0 -1 4202560 712 0 0 0 12 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25049] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25049/stat : 25049 (java) S 25031 25033 24951 0 -1 4202560 446 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25050] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25050/stat : 25050 (java) S 25031 25033 24951 0 -1 4202560 473 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25051] ppid=25031 vsize=7725948 CPUtime=0.14 cores=5,7
/proc/25033/task/25051/stat : 25051 (java) S 25031 25033 24951 0 -1 4202560 52 0 0 0 14 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25052] ppid=25031 vsize=7725948 CPUtime=0.11 cores=5,7
/proc/25033/task/25052/stat : 25052 (java) S 25031 25033 24951 0 -1 4202560 380 0 0 0 11 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25053] ppid=25031 vsize=7725948 CPUtime=0.11 cores=5,7
/proc/25033/task/25053/stat : 25053 (java) S 25031 25033 24951 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25054] ppid=25031 vsize=7725948 CPUtime=0.13 cores=5,7
/proc/25033/task/25054/stat : 25054 (java) S 25031 25033 24951 0 -1 4202560 25 0 0 0 13 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25055] ppid=25031 vsize=7725948 CPUtime=0.14 cores=5,7
/proc/25033/task/25055/stat : 25055 (java) S 25031 25033 24951 0 -1 4202560 161 0 0 0 14 0 0 0 15 0 19 0 352174889 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25068] ppid=25031 vsize=7725948 CPUtime=7.27 cores=5,7
/proc/25033/task/25068/stat : 25068 (java) S 25031 25033 24951 0 -1 4202560 2770 0 0 0 725 2 0 0 15 0 19 0 352174890 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 0 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25069] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25069/stat : 25069 (java) S 25031 25033 24951 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25070] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25070/stat : 25070 (java) S 25031 25033 24951 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352174891 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25076] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25076/stat : 25076 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118592433 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25077] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25077/stat : 25077 (java) S 25031 25033 24951 0 -1 4202560 1605 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25078] ppid=25031 vsize=7725948 CPUtime=0.33 cores=5,7
/proc/25033/task/25078/stat : 25078 (java) S 25031 25033 24951 0 -1 4202560 8071 0 0 0 33 0 0 0 15 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 5 0 0 0
[pid=25033/tid=25079] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25079/stat : 25079 (java) S 25031 25033 24951 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118584729 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25080] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25080/stat : 25080 (java) S 25031 25033 24951 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 352174893 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
[pid=25033/tid=25084] ppid=25031 vsize=7725948 CPUtime=0 cores=5,7
/proc/25033/task/25084/stat : 25084 (java) S 25031 25033 24951 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352174909 7911370752 22460 33554432000 1073741824 1073778376 140733295960304 18446744073709551615 255118585344 0 4 0 16800975 18446604457827826496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1300.98
Current children cumulated vsize (KiB) 7725948

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.06
CPU user time (s): 1300.97
CPU system time (s): 0.090986
CPU usage (%): 100.078
Max. virtual memory (cumulated for all children) (KiB): 7729280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.97
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26490
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= 35544
involuntary context switches= 9444

runsolver used 2.20566 second user time and 4.91825 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-12 10:39:48
IDJOB=3190250
IDBENCH=82581
IDSOLVER=1611
FILE ID=node144/3190250-1302597588
RUNJOBID= node144-1302597587-24972
PBS_JOBID= 12958105
Free space on /tmp= 72200 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.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-3190250-1302597588/watcher-3190250-1302597588 -o /tmp/evaluation-result-3190250-1302597588/solver-3190250-1302597588 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190250-1302597588.cnf

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

MD5SUM BENCH= 6f9c7c042784ec486e9e8bc570309805
RANDOM SEED=2119119767

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12947708 kB
Buffers:        751736 kB
Cached:       18711508 kB
SwapCached:          0 kB
Active:       10111456 kB
Inactive:      9471212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12947708 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:      119016 kB
Mapped:          20520 kB
Slab:           355688 kB
PageTables:       5336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 17116624 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= 72200 MiB
End job on node144 at 2011-04-12 11:01:30