Trace number 3190336

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

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf
MD5SUM3c4691c1028b5642345f341166405cb7
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.07/0.09	c --- Begin Solver configuration ---
0.07/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.07/0.09	c Learn all clauses as in MiniSAT
0.07/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.09	c Expensive reason simplification
0.07/0.09	c Armin Biere (Picosat) restarts strategy
0.07/0.09	c Glucose learned constraints deletion strategy
0.07/0.09	c timeout=2147483647s
0.07/0.09	c DB Simplification allowed=true
0.07/0.09	c --- End Solver configuration ---
0.07/0.09	c solving HOME/instance-3190336-1302598832.cnf
0.07/0.09	c reading problem ... 
0.09/0.19	c ... done. Wall clock time 0.1s.
0.09/0.19	c #vars     250
0.09/0.19	c #constraints  21250
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1.40/1.03	c cleaning 2499 clauses out of 5000 with flag 5000/5000
2.40/1.80	c cleaning 4248 clauses out of 8501 with flag 11000/11000
3.19/2.69	c cleaning 5625 clauses out of 11253 with flag 18000/18000
4.28/3.74	c cleaning 6810 clauses out of 13628 with flag 26000/26000
5.50/4.93	c cleaning 7903 clauses out of 15818 with flag 35000/35000
6.90/6.35	c cleaning 8957 clauses out of 17915 with flag 45000/45000
8.50/7.96	c cleaning 9977 clauses out of 19959 with flag 56001/56001
10.30/9.79	c cleaning 10990 clauses out of 21982 with flag 68001/68001
12.30/11.74	c cleaning 11989 clauses out of 23993 with flag 81002/81002
14.50/13.99	c cleaning 12998 clauses out of 26002 with flag 95000/95000
17.11/16.51	c cleaning 13998 clauses out of 28005 with flag 110001/110001
19.81/19.25	c cleaning 14998 clauses out of 30006 with flag 126000/126000
22.81/22.22	c cleaning 16001 clauses out of 32008 with flag 143000/143000
26.11/25.53	c cleaning 16992 clauses out of 34008 with flag 161001/161001
29.71/29.11	c cleaning 18001 clauses out of 36015 with flag 180000/180000
33.62/33.06	c cleaning 18996 clauses out of 38014 with flag 200000/200000
37.72/37.18	c cleaning 20006 clauses out of 40018 with flag 221000/221000
42.32/41.76	c cleaning 21001 clauses out of 42012 with flag 243000/243000
46.83/46.22	c cleaning 21502 clauses out of 43012 with flag 265001/265001
51.43/50.81	c cleaning 21748 clauses out of 43510 with flag 287001/287001
56.13/55.52	c cleaning 21877 clauses out of 43761 with flag 309000/309000
60.63/60.08	c cleaning 21937 clauses out of 43885 with flag 331001/331001
65.13/64.58	c cleaning 21968 clauses out of 43947 with flag 353000/353000
69.84/69.27	c cleaning 21985 clauses out of 43979 with flag 375000/375000
74.34/73.75	c cleaning 21995 clauses out of 43996 with flag 397002/397002
79.03/78.46	c cleaning 21992 clauses out of 43999 with flag 419000/419000
83.44/82.80	c cleaning 22000 clauses out of 44009 with flag 441002/441002
88.14/87.52	c cleaning 22000 clauses out of 44007 with flag 463000/463000
92.54/91.98	c cleaning 22001 clauses out of 44007 with flag 485000/485000
97.24/96.62	c cleaning 21997 clauses out of 44008 with flag 507002/507002
101.64/101.06	c cleaning 21995 clauses out of 44010 with flag 529001/529001
106.04/105.44	c cleaning 22004 clauses out of 44014 with flag 551000/551000
110.74/110.14	c cleaning 22000 clauses out of 44010 with flag 573000/573000
115.14/114.51	c cleaning 21999 clauses out of 44011 with flag 595001/595001
119.75/119.16	c cleaning 21999 clauses out of 44011 with flag 617000/617000
124.25/123.60	c cleaning 21998 clauses out of 44014 with flag 639002/639002
128.66/128.05	c cleaning 21996 clauses out of 44014 with flag 661000/661000
133.46/132.89	c cleaning 22005 clauses out of 44019 with flag 683001/683001
137.96/137.39	c cleaning 22001 clauses out of 44013 with flag 705000/705000
142.36/141.78	c cleaning 21999 clauses out of 44014 with flag 727002/727002
147.26/146.65	c cleaning 22004 clauses out of 44013 with flag 749000/749000
151.76/151.17	c cleaning 22001 clauses out of 44010 with flag 771001/771001
156.26/155.63	c cleaning 21997 clauses out of 44010 with flag 793002/793002
160.86/160.20	c cleaning 21999 clauses out of 44011 with flag 815000/815000
165.57/164.95	c cleaning 22002 clauses out of 44013 with flag 837001/837001
170.07/169.48	c cleaning 22000 clauses out of 44014 with flag 859004/859004
174.57/173.95	c cleaning 21994 clauses out of 44010 with flag 881000/881000
179.07/178.49	c cleaning 21999 clauses out of 44016 with flag 903000/903000
183.97/183.39	c cleaning 22006 clauses out of 44017 with flag 925000/925000
188.47/187.88	c cleaning 22003 clauses out of 44011 with flag 947000/947000
192.97/192.39	c cleaning 21993 clauses out of 44009 with flag 969001/969001
197.37/196.79	c cleaning 21997 clauses out of 44015 with flag 991000/991000
202.07/201.41	c cleaning 22005 clauses out of 44018 with flag 1013000/1013000
206.57/205.91	c cleaning 22003 clauses out of 44014 with flag 1035001/1035001
211.07/210.41	c cleaning 22001 clauses out of 44012 with flag 1057002/1057002
215.47/214.87	c cleaning 21993 clauses out of 44009 with flag 1079000/1079000
219.97/219.32	c cleaning 21998 clauses out of 44016 with flag 1101000/1101000
224.77/224.11	c cleaning 22006 clauses out of 44018 with flag 1123000/1123000
229.28/228.65	c cleaning 22002 clauses out of 44013 with flag 1145001/1145001
233.68/233.03	c cleaning 21998 clauses out of 44011 with flag 1167001/1167001
238.18/237.50	c cleaning 22001 clauses out of 44013 with flag 1189001/1189001
242.78/242.11	c cleaning 22001 clauses out of 44011 with flag 1211000/1211000
247.38/246.70	c cleaning 22005 clauses out of 44011 with flag 1233001/1233001
251.98/251.37	c cleaning 21998 clauses out of 44006 with flag 1255001/1255001
256.48/255.83	c cleaning 21995 clauses out of 44007 with flag 1277000/1277000
260.98/260.30	c cleaning 22003 clauses out of 44013 with flag 1299001/1299001
265.48/264.81	c cleaning 21998 clauses out of 44010 with flag 1321001/1321001
269.78/269.13	c cleaning 21995 clauses out of 44012 with flag 1343001/1343001
274.59/273.98	c cleaning 22004 clauses out of 44016 with flag 1365000/1365000
279.09/278.40	c cleaning 22000 clauses out of 44012 with flag 1387000/1387000
283.49/282.86	c cleaning 22002 clauses out of 44014 with flag 1409002/1409002
287.89/287.20	c cleaning 21992 clauses out of 44010 with flag 1431000/1431000
292.69/292.05	c cleaning 21995 clauses out of 44019 with flag 1453001/1453001
297.11/296.40	c cleaning 22003 clauses out of 44025 with flag 1475002/1475002
301.61/300.92	c cleaning 21994 clauses out of 44020 with flag 1497000/1497000
306.11/305.48	c cleaning 22011 clauses out of 44026 with flag 1519000/1519000
310.41/309.79	c cleaning 22002 clauses out of 44015 with flag 1541000/1541000
314.71/314.07	c cleaning 21998 clauses out of 44014 with flag 1563001/1563001
319.11/318.46	c cleaning 22000 clauses out of 44016 with flag 1585001/1585001
323.52/322.84	c cleaning 22004 clauses out of 44015 with flag 1607000/1607000
328.02/327.35	c cleaning 21997 clauses out of 44011 with flag 1629000/1629000
332.52/331.83	c cleaning 22001 clauses out of 44017 with flag 1651003/1651003
337.12/336.43	c cleaning 21997 clauses out of 44013 with flag 1673000/1673000
341.52/340.89	c cleaning 22000 clauses out of 44017 with flag 1695001/1695001
345.92/345.25	c cleaning 21998 clauses out of 44016 with flag 1717000/1717000
350.43/349.79	c cleaning 22000 clauses out of 44018 with flag 1739000/1739000
355.03/354.38	c cleaning 22002 clauses out of 44019 with flag 1761001/1761001
359.73/359.01	c cleaning 21999 clauses out of 44018 with flag 1783002/1783002
364.43/363.77	c cleaning 22003 clauses out of 44017 with flag 1805000/1805000
369.24/368.52	c cleaning 22003 clauses out of 44017 with flag 1827003/1827003
373.84/373.12	c cleaning 22002 clauses out of 44012 with flag 1849001/1849001
378.24/377.54	c cleaning 21999 clauses out of 44009 with flag 1871000/1871000
382.64/381.97	c cleaning 22000 clauses out of 44011 with flag 1893001/1893001
387.24/386.54	c cleaning 21999 clauses out of 44010 with flag 1915000/1915000
391.64/390.90	c cleaning 21996 clauses out of 44012 with flag 1937001/1937001
396.14/395.44	c cleaning 22003 clauses out of 44015 with flag 1959000/1959000
400.64/399.96	c cleaning 22000 clauses out of 44012 with flag 1981000/1981000
405.34/404.66	c cleaning 22001 clauses out of 44012 with flag 2003000/2003000
410.14/409.41	c cleaning 21999 clauses out of 44013 with flag 2025002/2025002
414.65/413.93	c cleaning 22004 clauses out of 44013 with flag 2047001/2047001
419.15/418.49	c cleaning 21994 clauses out of 44008 with flag 2069000/2069000
423.75/423.04	c cleaning 21999 clauses out of 44014 with flag 2091000/2091000
428.35/427.60	c cleaning 22003 clauses out of 44015 with flag 2113000/2113000
432.85/432.17	c cleaning 22000 clauses out of 44013 with flag 2135001/2135001
437.55/436.86	c cleaning 21995 clauses out of 44014 with flag 2157002/2157002
442.15/441.43	c cleaning 21996 clauses out of 44017 with flag 2179000/2179000
446.65/445.94	c cleaning 22004 clauses out of 44023 with flag 2201002/2201002
451.45/450.76	c cleaning 22008 clauses out of 44019 with flag 2223002/2223002
456.16/455.43	c cleaning 22002 clauses out of 44009 with flag 2245000/2245000
460.76/460.05	c cleaning 21997 clauses out of 44008 with flag 2267001/2267001
465.46/464.76	c cleaning 21997 clauses out of 44010 with flag 2289000/2289000
469.96/469.22	c cleaning 21996 clauses out of 44015 with flag 2311002/2311002
474.36/473.66	c cleaning 22004 clauses out of 44017 with flag 2333000/2333000
478.96/478.23	c cleaning 21997 clauses out of 44016 with flag 2355003/2355003
483.46/482.79	c cleaning 22001 clauses out of 44016 with flag 2377000/2377000
488.26/487.58	c cleaning 21998 clauses out of 44015 with flag 2399000/2399000
493.07/492.39	c cleaning 22001 clauses out of 44019 with flag 2421002/2421002
497.77/497.01	c cleaning 22003 clauses out of 44016 with flag 2443000/2443000
502.37/501.66	c cleaning 22001 clauses out of 44014 with flag 2465001/2465001
506.87/506.12	c cleaning 21999 clauses out of 44013 with flag 2487001/2487001
511.47/510.72	c cleaning 21995 clauses out of 44014 with flag 2509001/2509001
516.07/515.34	c cleaning 22002 clauses out of 44018 with flag 2531000/2531000
520.67/519.97	c cleaning 21998 clauses out of 44016 with flag 2553000/2553000
525.27/524.59	c cleaning 22003 clauses out of 44019 with flag 2575001/2575001
529.78/529.06	c cleaning 22001 clauses out of 44015 with flag 2597000/2597000
534.37/533.66	c cleaning 21995 clauses out of 44015 with flag 2619001/2619001
539.18/538.42	c cleaning 21998 clauses out of 44020 with flag 2641001/2641001
543.98/543.28	c cleaning 22004 clauses out of 44021 with flag 2663000/2663000
548.59/547.82	c cleaning 22002 clauses out of 44017 with flag 2685000/2685000
553.38/552.63	c cleaning 22003 clauses out of 44015 with flag 2707000/2707000
557.88/557.12	c cleaning 22001 clauses out of 44014 with flag 2729002/2729002
562.28/561.53	c cleaning 21999 clauses out of 44011 with flag 2751000/2751000
566.88/566.15	c cleaning 21997 clauses out of 44012 with flag 2773000/2773000
571.48/570.76	c cleaning 22000 clauses out of 44015 with flag 2795000/2795000
575.89/575.16	c cleaning 22002 clauses out of 44015 with flag 2817000/2817000
580.59/579.86	c cleaning 22001 clauses out of 44014 with flag 2839001/2839001
585.09/584.39	c cleaning 22000 clauses out of 44013 with flag 2861001/2861001
589.69/588.99	c cleaning 21996 clauses out of 44012 with flag 2883000/2883000
594.49/593.72	c cleaning 21996 clauses out of 44016 with flag 2905000/2905000
599.39/598.60	c cleaning 22003 clauses out of 44023 with flag 2927003/2927003
604.09/603.32	c cleaning 21996 clauses out of 44017 with flag 2949000/2949000
608.90/608.14	c cleaning 21998 clauses out of 44021 with flag 2971000/2971000
613.50/612.73	c cleaning 22008 clauses out of 44024 with flag 2993001/2993001
617.80/617.09	c cleaning 22000 clauses out of 44016 with flag 3015001/3015001
622.40/621.63	c cleaning 22001 clauses out of 44016 with flag 3037001/3037001
626.71/625.96	c cleaning 22001 clauses out of 44015 with flag 3059001/3059001
631.30/630.55	c cleaning 22003 clauses out of 44015 with flag 3081002/3081002
635.70/634.96	c cleaning 21996 clauses out of 44010 with flag 3103000/3103000
640.20/639.47	c cleaning 22002 clauses out of 44015 with flag 3125001/3125001
645.00/644.22	c cleaning 21998 clauses out of 44013 with flag 3147001/3147001
649.71/648.97	c cleaning 22000 clauses out of 44015 with flag 3169001/3169001
654.52/653.74	c cleaning 21992 clauses out of 44014 with flag 3191000/3191000
659.22/658.42	c cleaning 21995 clauses out of 44022 with flag 3213000/3213000
663.82/663.05	c cleaning 22007 clauses out of 44028 with flag 3235001/3235001
668.53/667.79	c cleaning 22002 clauses out of 44021 with flag 3257001/3257001
673.42/672.69	c cleaning 22002 clauses out of 44020 with flag 3279002/3279002
678.02/677.29	c cleaning 22003 clauses out of 44018 with flag 3301002/3301002
682.52/681.78	c cleaning 22002 clauses out of 44014 with flag 3323001/3323001
687.02/686.23	c cleaning 22002 clauses out of 44011 with flag 3345000/3345000
691.43/690.65	c cleaning 22003 clauses out of 44011 with flag 3367002/3367002
695.93/695.16	c cleaning 21992 clauses out of 44006 with flag 3389000/3389000
700.63/699.81	c cleaning 21994 clauses out of 44014 with flag 3411000/3411000
705.03/704.29	c cleaning 21998 clauses out of 44020 with flag 3433000/3433000
709.63/708.89	c cleaning 22002 clauses out of 44025 with flag 3455003/3455003
714.23/713.42	c cleaning 22006 clauses out of 44021 with flag 3477001/3477001
718.83/718.02	c cleaning 21997 clauses out of 44014 with flag 3499000/3499000
723.23/722.48	c cleaning 22005 clauses out of 44017 with flag 3521000/3521000
727.73/726.93	c cleaning 22000 clauses out of 44012 with flag 3543000/3543000
732.34/731.54	c cleaning 21997 clauses out of 44013 with flag 3565001/3565001
736.83/736.07	c cleaning 22005 clauses out of 44018 with flag 3587003/3587003
741.84/741.04	c cleaning 22000 clauses out of 44013 with flag 3609003/3609003
746.54/745.71	c cleaning 22004 clauses out of 44014 with flag 3631004/3631004
751.05/750.23	c cleaning 21994 clauses out of 44006 with flag 3653000/3653000
755.45/754.68	c cleaning 22001 clauses out of 44013 with flag 3675001/3675001
759.94/759.17	c cleaning 22002 clauses out of 44016 with flag 3697005/3697005
764.54/763.73	c cleaning 21996 clauses out of 44010 with flag 3719001/3719001
769.05/768.25	c cleaning 21996 clauses out of 44013 with flag 3741000/3741000
773.65/772.88	c cleaning 21999 clauses out of 44018 with flag 3763001/3763001
778.25/777.47	c cleaning 22000 clauses out of 44018 with flag 3785000/3785000
783.05/782.21	c cleaning 22001 clauses out of 44019 with flag 3807001/3807001
787.55/786.77	c cleaning 22004 clauses out of 44017 with flag 3829000/3829000
792.05/791.22	c cleaning 21999 clauses out of 44013 with flag 3851000/3851000
796.55/795.70	c cleaning 21992 clauses out of 44014 with flag 3873000/3873000
801.15/800.31	c cleaning 21999 clauses out of 44022 with flag 3895000/3895000
805.75/804.94	c cleaning 22007 clauses out of 44024 with flag 3917001/3917001
810.66/809.89	c cleaning 22000 clauses out of 44018 with flag 3939002/3939002
815.26/814.42	c cleaning 21999 clauses out of 44017 with flag 3961001/3961001
820.16/819.35	c cleaning 22005 clauses out of 44017 with flag 3983000/3983000
824.67/823.81	c cleaning 21999 clauses out of 44014 with flag 4005002/4005002
828.96/828.18	c cleaning 22001 clauses out of 44013 with flag 4027000/4027000
833.36/832.51	c cleaning 21997 clauses out of 44012 with flag 4049000/4049000
837.76/836.94	c cleaning 21995 clauses out of 44015 with flag 4071000/4071000
842.27/841.47	c cleaning 22002 clauses out of 44022 with flag 4093002/4093002
846.56/845.79	c cleaning 22004 clauses out of 44019 with flag 4115001/4115001
851.26/850.43	c cleaning 22004 clauses out of 44014 with flag 4137000/4137000
855.97/855.13	c cleaning 21992 clauses out of 44010 with flag 4159000/4159000
860.38/859.51	c cleaning 22001 clauses out of 44018 with flag 4181000/4181000
864.78/863.91	c cleaning 22000 clauses out of 44019 with flag 4203002/4203002
869.38/868.51	c cleaning 22001 clauses out of 44018 with flag 4225001/4225001
873.98/873.16	c cleaning 22000 clauses out of 44017 with flag 4247001/4247001
878.59/877.79	c cleaning 22005 clauses out of 44017 with flag 4269001/4269001
883.38/882.50	c cleaning 21996 clauses out of 44011 with flag 4291000/4291000
888.18/887.39	c cleaning 21999 clauses out of 44016 with flag 4313001/4313001
893.09/892.25	c cleaning 21998 clauses out of 44016 with flag 4335000/4335000
897.59/896.77	c cleaning 22003 clauses out of 44018 with flag 4357000/4357000
902.29/901.40	c cleaning 21999 clauses out of 44015 with flag 4379000/4379000
906.89/906.03	c cleaning 22001 clauses out of 44018 with flag 4401002/4401002
911.29/910.46	c cleaning 21996 clauses out of 44015 with flag 4423000/4423000
915.69/914.84	c cleaning 22005 clauses out of 44019 with flag 4445000/4445000
919.99/919.13	c cleaning 22000 clauses out of 44015 with flag 4467001/4467001
924.49/923.62	c cleaning 21992 clauses out of 44014 with flag 4489000/4489000
928.89/928.02	c cleaning 22002 clauses out of 44022 with flag 4511000/4511000
933.29/932.41	c cleaning 22004 clauses out of 44021 with flag 4533001/4533001
937.89/937.07	c cleaning 21998 clauses out of 44016 with flag 4555000/4555000
942.60/941.77	c cleaning 22003 clauses out of 44019 with flag 4577001/4577001
947.20/946.31	c cleaning 21998 clauses out of 44015 with flag 4599000/4599000
951.70/950.89	c cleaning 22000 clauses out of 44019 with flag 4621002/4621002
956.30/955.42	c cleaning 21997 clauses out of 44017 with flag 4643000/4643000
960.90/960.00	c cleaning 22000 clauses out of 44021 with flag 4665001/4665001
965.70/964.85	c cleaning 22000 clauses out of 44020 with flag 4687000/4687000
970.30/969.49	c cleaning 22006 clauses out of 44021 with flag 4709001/4709001
974.70/973.85	c cleaning 21997 clauses out of 44016 with flag 4731002/4731002
979.51/978.67	c cleaning 22003 clauses out of 44017 with flag 4753000/4753000
984.61/983.72	c cleaning 21998 clauses out of 44015 with flag 4775001/4775001
989.01/988.17	c cleaning 22002 clauses out of 44016 with flag 4797000/4797000
993.91/993.08	c cleaning 21992 clauses out of 44014 with flag 4819000/4819000
998.71/997.83	c cleaning 22006 clauses out of 44022 with flag 4841000/4841000
1003.21/1002.35	c cleaning 22008 clauses out of 44019 with flag 4863003/4863003
1007.61/1006.71	c cleaning 21999 clauses out of 44009 with flag 4885001/4885001
1011.92/1011.02	c cleaning 21995 clauses out of 44011 with flag 4907002/4907002
1016.42/1015.57	c cleaning 21998 clauses out of 44014 with flag 4929000/4929000
1021.12/1020.26	c cleaning 21995 clauses out of 44016 with flag 4951000/4951000
1026.02/1025.10	c cleaning 22001 clauses out of 44021 with flag 4973000/4973000
1030.72/1029.84	c cleaning 22001 clauses out of 44020 with flag 4995000/4995000
1035.52/1034.67	c cleaning 22002 clauses out of 44020 with flag 5017001/5017001
1040.33/1039.49	c cleaning 22001 clauses out of 44018 with flag 5039001/5039001
1045.22/1044.35	c cleaning 22005 clauses out of 44019 with flag 5061003/5061003
1050.12/1049.20	c cleaning 22000 clauses out of 44011 with flag 5083000/5083000
1054.83/1053.91	c cleaning 21997 clauses out of 44013 with flag 5105002/5105002
1059.63/1058.79	c cleaning 21991 clauses out of 44014 with flag 5127000/5127000
1064.43/1063.50	c cleaning 21996 clauses out of 44023 with flag 5149000/5149000
1068.93/1068.08	c cleaning 22004 clauses out of 44027 with flag 5171000/5171000
1074.03/1073.12	c cleaning 21997 clauses out of 44024 with flag 5193001/5193001
1078.73/1077.85	c cleaning 22001 clauses out of 44026 with flag 5215000/5215000
1083.53/1082.60	c cleaning 22002 clauses out of 44026 with flag 5237001/5237001
1088.23/1087.36	c cleaning 22002 clauses out of 44023 with flag 5259000/5259000
1093.04/1092.11	c cleaning 22000 clauses out of 44022 with flag 5281001/5281001
1097.74/1096.89	c cleaning 22007 clauses out of 44023 with flag 5303002/5303002
1102.64/1101.79	c cleaning 22001 clauses out of 44014 with flag 5325000/5325000
1107.24/1106.30	c cleaning 21999 clauses out of 44013 with flag 5347000/5347000
1111.85/1110.97	c cleaning 21997 clauses out of 44014 with flag 5369000/5369000
1116.35/1115.45	c cleaning 21995 clauses out of 44017 with flag 5391000/5391000
1120.84/1119.98	c cleaning 22005 clauses out of 44022 with flag 5413000/5413000
1125.54/1124.67	c cleaning 21998 clauses out of 44019 with flag 5435002/5435002
1129.95/1129.03	c cleaning 21995 clauses out of 44020 with flag 5457001/5457001
1134.55/1133.64	c cleaning 22003 clauses out of 44025 with flag 5479001/5479001
1139.25/1138.32	c cleaning 22002 clauses out of 44024 with flag 5501003/5501003
1143.65/1142.74	c cleaning 21998 clauses out of 44019 with flag 5523000/5523000
1148.05/1147.19	c cleaning 22003 clauses out of 44021 with flag 5545000/5545000
1152.85/1151.92	c cleaning 22000 clauses out of 44018 with flag 5567000/5567000
1157.25/1156.39	c cleaning 21998 clauses out of 44018 with flag 5589000/5589000
1161.65/1160.77	c cleaning 22001 clauses out of 44022 with flag 5611002/5611002
1166.06/1165.14	c cleaning 22003 clauses out of 44019 with flag 5633000/5633000
1170.76/1169.89	c cleaning 22005 clauses out of 44017 with flag 5655001/5655001
1175.66/1174.71	c cleaning 22000 clauses out of 44012 with flag 5677001/5677001
1180.07/1179.19	c cleaning 22003 clauses out of 44014 with flag 5699003/5699003
1184.96/1184.06	c cleaning 21995 clauses out of 44009 with flag 5721001/5721001
1189.66/1188.79	c cleaning 21996 clauses out of 44015 with flag 5743002/5743002
1194.56/1193.68	c cleaning 22005 clauses out of 44017 with flag 5765000/5765000
1199.37/1198.42	c cleaning 21994 clauses out of 44012 with flag 5787000/5787000
1204.07/1203.10	c cleaning 22004 clauses out of 44018 with flag 5809000/5809000
1209.07/1208.14	c cleaning 21999 clauses out of 44015 with flag 5831001/5831001
1213.87/1212.95	c cleaning 22000 clauses out of 44016 with flag 5853001/5853001
1218.57/1217.60	c cleaning 21998 clauses out of 44017 with flag 5875002/5875002
1223.17/1222.20	c cleaning 21999 clauses out of 44018 with flag 5897001/5897001
1227.57/1226.69	c cleaning 21995 clauses out of 44018 with flag 5919000/5919000
1231.97/1231.04	c cleaning 22009 clauses out of 44025 with flag 5941002/5941002
1236.48/1235.52	c cleaning 22000 clauses out of 44014 with flag 5963000/5963000
1240.98/1240.08	c cleaning 22003 clauses out of 44015 with flag 5985001/5985001
1245.58/1244.66	c cleaning 21998 clauses out of 44011 with flag 6007000/6007000
1250.08/1249.19	c cleaning 22005 clauses out of 44014 with flag 6029001/6029001
1254.89/1253.90	c cleaning 21998 clauses out of 44009 with flag 6051001/6051001
1259.58/1258.62	c cleaning 21995 clauses out of 44011 with flag 6073001/6073001
1264.08/1263.17	c cleaning 21999 clauses out of 44015 with flag 6095000/6095000
1268.49/1267.51	c cleaning 21997 clauses out of 44016 with flag 6117000/6117000
1273.09/1272.15	c cleaning 22000 clauses out of 44019 with flag 6139000/6139000
1277.80/1276.85	c cleaning 21998 clauses out of 44019 with flag 6161000/6161000
1282.60/1281.63	c cleaning 21997 clauses out of 44022 with flag 6183001/6183001
1287.20/1286.21	c cleaning 22003 clauses out of 44024 with flag 6205000/6205000
1292.00/1291.03	c cleaning 22002 clauses out of 44021 with flag 6227000/6227000
1296.81/1295.82	c cleaning 21994 clauses out of 44019 with flag 6249000/6249000
1301.01/1300.01	c starts		: 2275
1301.01/1300.01	c conflicts		: 6270135
1301.01/1300.01	c decisions		: 7407235
1301.01/1300.01	c propagations		: 163962151
1301.01/1300.01	c inspects		: 15508697935
1301.01/1300.01	c shortcuts		: 0
1301.01/1300.01	c learnt literals	: 0
1301.01/1300.01	c learnt binary clauses	: 0
1301.01/1300.01	c learnt ternary clauses	: 0
1301.01/1300.01	c learnt constraints	: 6270135
1301.01/1300.01	c ignored constraints	: 0
1301.01/1300.01	c root simplifications	: 2275
1301.01/1300.01	c removed literals (reason simplification)	: 35904531
1301.01/1300.01	c reason swapping (by a shorter reason)	: 0
1301.01/1300.01	c Calls to reduceDB	: 291
1301.01/1300.01	c speed (assignments/second)	: 126142.20122786233
1301.01/1300.01	c non guided choices	111
1301.01/1300.03	c learnt constraints type 
1301.01/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 43180
1301.01/1300.03	c constraints type 
1301.01/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1301.01/1300.03	s UNKNOWN
1301.01/1300.03	c Total wall clock time (in seconds) : 1299.921

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.00 4.06 4.40 1/174 22879
/proc/meminfo: memFree=16787096/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=23028 CPUtime=0 cores=1,3
/proc/22879/stat : 22879 (java) R 22877 22879 22624 0 -1 4202496 954 0 0 0 0 0 0 0 22 0 1 0 371482837 23580672 695 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274469004776 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22879/statm: 5757 696 512 9 0 124 0

[startup+0.090999 s]
/proc/loadavg: 4.00 4.06 4.40 1/174 22879
/proc/meminfo: memFree=16787096/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7635476 CPUtime=0.07 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 9643 0 1 0 6 1 0 0 22 0 18 0 371482837 7818727424 9337 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1908869 9337 1754 9 0 1899607 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7635476

[startup+0.100998 s]
/proc/loadavg: 4.00 4.06 4.40 1/174 22879
/proc/meminfo: memFree=16787096/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7636936 CPUtime=0.09 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 10459 0 1 0 8 1 0 0 22 0 18 0 371482837 7820222464 10153 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1909234 10154 2078 9 0 1899972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636936

[startup+0.300964 s]
/proc/loadavg: 4.00 4.06 4.40 1/174 22879
/proc/meminfo: memFree=16787096/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7641320 CPUtime=0.48 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 13324 0 1 0 47 1 0 0 22 0 19 0 371482837 7824711680 12265 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1910330 12265 2213 9 0 1901068 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 7641320

[startup+0.700894 s]
/proc/loadavg: 4.00 4.06 4.40 1/174 22879
/proc/meminfo: memFree=16787096/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7641248 CPUtime=1.06 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 14693 0 1 0 105 1 0 0 22 0 19 0 371482837 7824637952 13050 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1910312 13050 2224 9 0 1901050 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7641248

[startup+1.50076 s]
/proc/loadavg: 4.00 4.06 4.40 11/262 22984
/proc/meminfo: memFree=16550596/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7659052 CPUtime=2.09 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 23533 0 1 0 206 3 0 0 22 0 19 0 371482837 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1914763 19777 2253 9 0 1905501 0
[pid=22879/tid=22881] ppid=22877 vsize=7659052 CPUtime=1.43 cores=1,3
/proc/22879/task/22881/stat : 22881 (java) R 22877 22879 22624 0 -1 4202560 10159 0 1 0 142 1 0 0 25 0 19 0 371482838 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 46912505724154 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22624 0 -1 4202560 432 0 0 0 0 0 0 0 17 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22624 0 -1 4202560 442 0 0 0 0 0 0 0 17 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371482839 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=7659052 CPUtime=0.01 cores=1,3
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22624 0 -1 4202560 884 0 0 0 1 0 0 0 15 0 19 0 371482840 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 0 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22624 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485791153 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=7659052 CPUtime=0.17 cores=1,3
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22624 0 -1 4202560 1791 0 0 0 17 0 0 0 17 0 19 0 371482843 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=7659052 CPUtime=0.43 cores=1,3
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22624 0 -1 4202560 8665 0 0 0 43 0 0 0 20 0 19 0 371482843 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22624 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371482843 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22912] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22912/stat : 22912 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482857 7842869248 19777 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 7659052

[startup+3.10147 s]
/proc/loadavg: 4.00 4.06 4.40 5/262 22984
/proc/meminfo: memFree=16483884/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7659052 CPUtime=3.69 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 24279 0 1 0 366 3 0 0 22 0 19 0 371482837 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1914763 20494 2255 9 0 1905501 0
[pid=22879/tid=22881] ppid=22877 vsize=7659052 CPUtime=2.96 cores=1,3
/proc/22879/task/22881/stat : 22881 (java) R 22877 22879 22624 0 -1 4202560 10161 0 1 0 295 1 0 0 25 0 19 0 371482838 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 46912505509980 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22624 0 -1 4202560 432 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22624 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22624 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22624 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=7659052 CPUtime=0.04 cores=1,3
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22624 0 -1 4202560 1181 0 0 0 4 0 0 0 16 0 19 0 371482840 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 0 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22624 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485791153 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=7659052 CPUtime=0.2 cores=1,3
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22624 0 -1 4202560 1841 0 0 0 20 0 0 0 15 0 19 0 371482843 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=7659052 CPUtime=0.44 cores=1,3
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22624 0 -1 4202560 8665 0 0 0 44 0 0 0 16 0 19 0 371482843 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22624 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371482843 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22912] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22912/stat : 22912 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482857 7842869248 20494 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 7659052

[startup+6.30091 s]
/proc/loadavg: 4.08 4.08 4.40 5/262 22984
/proc/meminfo: memFree=16468744/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7659052 CPUtime=6.9 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 24803 0 1 0 687 3 0 0 22 0 19 0 371482837 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1914763 20754 2255 9 0 1905501 0
[pid=22879/tid=22881] ppid=22877 vsize=7659052 CPUtime=6.1 cores=1,3
/proc/22879/task/22881/stat : 22881 (java) R 22877 22879 22624 0 -1 4202560 10164 0 1 0 609 1 0 0 25 0 19 0 371482838 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 46912505633670 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22624 0 -1 4202560 432 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22624 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22624 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22624 0 -1 4202560 137 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22624 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22624 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22624 0 -1 4202560 151 0 0 0 0 0 0 0 15 0 19 0 371482839 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=7659052 CPUtime=0.08 cores=1,3
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22624 0 -1 4202560 1308 0 0 0 8 0 0 0 15 0 19 0 371482840 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 0 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22624 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485791153 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=7659052 CPUtime=0.22 cores=1,3
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22624 0 -1 4202560 1948 0 0 0 22 0 0 0 15 0 19 0 371482843 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=7659052 CPUtime=0.44 cores=1,3
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22624 0 -1 4202560 8665 0 0 0 44 0 0 0 16 0 19 0 371482843 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22624 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371482843 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22912] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22912/stat : 22912 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482857 7842869248 20754 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 7659052

[startup+12.7008 s]

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

[pid=22879/tid=22889] ppid=22877 vsize=7659052 CPUtime=0.11 cores=1,3
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22624 0 -1 4202560 278 0 0 0 11 0 0 0 15 0 19 0 371482839 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=7659052 CPUtime=0.09 cores=1,3
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22624 0 -1 4202560 156 0 0 0 9 0 0 0 16 0 19 0 371482839 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=7659052 CPUtime=0.11 cores=1,3
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22624 0 -1 4202560 302 0 0 0 11 0 0 0 16 0 19 0 371482839 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=7659052 CPUtime=5.96 cores=1,3
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22624 0 -1 4202560 2607 0 0 0 595 1 0 0 15 0 19 0 371482840 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 0 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22624 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485791153 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=7659052 CPUtime=0.25 cores=1,3
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22624 0 -1 4202560 2201 0 0 0 25 0 0 0 15 0 19 0 371482843 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=7659052 CPUtime=0.44 cores=1,3
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22624 0 -1 4202560 8665 0 0 0 44 0 0 0 16 0 19 0 371482843 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22624 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371482843 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22912] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22912/stat : 22912 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482857 7842869248 22485 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1123.24
Current children cumulated vsize (KiB) 7659052

[startup+1182.3 s]
/proc/loadavg: 4.03 4.02 4.10 5/262 23028
/proc/meminfo: memFree=15982020/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7659052 CPUtime=1183.26 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 27423 0 1 0 118319 7 0 0 22 0 19 0 371482837 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1914763 22540 2256 9 0 1905501 0
[pid=22879/tid=22881] ppid=22877 vsize=7659052 CPUtime=1175.35 cores=1,3
/proc/22879/task/22881/stat : 22881 (java) R 22877 22879 22624 0 -1 4202560 10459 0 1 0 117533 2 0 0 25 0 19 0 371482838 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 46912505619713 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=7659052 CPUtime=0.13 cores=1,3
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22624 0 -1 4202560 446 0 0 0 13 0 0 0 15 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=7659052 CPUtime=0.12 cores=1,3
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22624 0 -1 4202560 535 0 0 0 12 0 0 0 15 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=7659052 CPUtime=0.09 cores=1,3
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22624 0 -1 4202560 255 0 0 0 9 0 0 0 15 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=7659052 CPUtime=0.09 cores=1,3
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22624 0 -1 4202560 227 0 0 0 9 0 0 0 15 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=7659052 CPUtime=0.08 cores=1,3
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22624 0 -1 4202560 15 0 0 0 8 0 0 0 15 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=7659052 CPUtime=0.12 cores=1,3
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22624 0 -1 4202560 278 0 0 0 12 0 0 0 15 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=7659052 CPUtime=0.1 cores=1,3
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22624 0 -1 4202560 157 0 0 0 10 0 0 0 15 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=7659052 CPUtime=0.11 cores=1,3
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22624 0 -1 4202560 302 0 0 0 11 0 0 0 16 0 19 0 371482839 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=7659052 CPUtime=6.28 cores=1,3
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22624 0 -1 4202560 2661 0 0 0 627 1 0 0 15 0 19 0 371482840 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 0 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22624 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485791153 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=7659052 CPUtime=0.25 cores=1,3
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22624 0 -1 4202560 2201 0 0 0 25 0 0 0 15 0 19 0 371482843 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=7659052 CPUtime=0.44 cores=1,3
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22624 0 -1 4202560 8665 0 0 0 44 0 0 0 16 0 19 0 371482843 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22624 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 371482843 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22912] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22912/stat : 22912 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482857 7842869248 22540 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1183.26
Current children cumulated vsize (KiB) 7659052

[startup+1242.3 s]
/proc/loadavg: 4.01 4.01 4.09 5/262 23029
/proc/meminfo: memFree=15945472/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7659052 CPUtime=1243.28 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 27510 0 1 0 124321 7 0 0 22 0 19 0 371482837 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1914763 22606 2256 9 0 1905501 0
[pid=22879/tid=22881] ppid=22877 vsize=7659052 CPUtime=1235.01 cores=1,3
/proc/22879/task/22881/stat : 22881 (java) R 22877 22879 22624 0 -1 4202560 10472 0 1 0 123499 2 0 0 25 0 19 0 371482838 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 46912505619839 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=7659052 CPUtime=0.13 cores=1,3
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22624 0 -1 4202560 446 0 0 0 13 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=7659052 CPUtime=0.13 cores=1,3
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22624 0 -1 4202560 535 0 0 0 13 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=7659052 CPUtime=0.1 cores=1,3
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22624 0 -1 4202560 255 0 0 0 10 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=7659052 CPUtime=0.1 cores=1,3
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22624 0 -1 4202560 227 0 0 0 10 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=7659052 CPUtime=0.09 cores=1,3
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22624 0 -1 4202560 15 0 0 0 9 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=7659052 CPUtime=0.12 cores=1,3
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22624 0 -1 4202560 278 0 0 0 12 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=7659052 CPUtime=0.1 cores=1,3
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22624 0 -1 4202560 157 0 0 0 10 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=7659052 CPUtime=0.11 cores=1,3
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22624 0 -1 4202560 304 0 0 0 11 0 0 0 15 0 19 0 371482839 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=7659052 CPUtime=6.6 cores=1,3
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22624 0 -1 4202560 2729 0 0 0 659 1 0 0 15 0 19 0 371482840 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 0 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22624 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485791153 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=7659052 CPUtime=0.25 cores=1,3
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22624 0 -1 4202560 2201 0 0 0 25 0 0 0 15 0 19 0 371482843 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=7659052 CPUtime=0.44 cores=1,3
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22624 0 -1 4202560 8665 0 0 0 44 0 0 0 16 0 19 0 371482843 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22624 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 371482843 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22912] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22912/stat : 22912 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482857 7842869248 22606 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1243.28
Current children cumulated vsize (KiB) 7659052



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.06 4.02 4.09 5/262 23030
/proc/meminfo: memFree=15939928/32950928 swapFree=67111528/67111528
[pid=22879] ppid=22877 vsize=7659052 CPUtime=1301.01 cores=1,3
/proc/22879/stat : 22879 (java) S 22877 22879 22624 0 -1 4202496 27530 0 1 0 130093 8 0 0 22 0 19 0 371482837 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22879/statm: 1914763 22608 2256 9 0 1905501 0
[pid=22879/tid=22881] ppid=22877 vsize=7659052 CPUtime=1292.39 cores=1,3
/proc/22879/task/22881/stat : 22881 (java) R 22877 22879 22624 0 -1 4202560 10484 0 1 0 129237 2 0 0 25 0 19 0 371482838 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 46912505578781 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=7659052 CPUtime=0.14 cores=1,3
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22624 0 -1 4202560 446 0 0 0 14 0 0 0 15 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=7659052 CPUtime=0.13 cores=1,3
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22624 0 -1 4202560 535 0 0 0 13 0 0 0 15 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=7659052 CPUtime=0.11 cores=1,3
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22624 0 -1 4202560 255 0 0 0 11 0 0 0 15 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=7659052 CPUtime=0.11 cores=1,3
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22624 0 -1 4202560 227 0 0 0 11 0 0 0 16 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=7659052 CPUtime=0.09 cores=1,3
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22624 0 -1 4202560 17 0 0 0 9 0 0 0 16 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=7659052 CPUtime=0.12 cores=1,3
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22624 0 -1 4202560 278 0 0 0 12 0 0 0 15 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=7659052 CPUtime=0.11 cores=1,3
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22624 0 -1 4202560 157 0 0 0 11 0 0 0 15 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=7659052 CPUtime=0.12 cores=1,3
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22624 0 -1 4202560 304 0 0 0 12 0 0 0 16 0 19 0 371482839 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=7659052 CPUtime=6.89 cores=1,3
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22624 0 -1 4202560 2731 0 0 0 688 1 0 0 15 0 19 0 371482840 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 0 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22624 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22624 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371482840 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485791153 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=7659052 CPUtime=0.25 cores=1,3
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22624 0 -1 4202560 2201 0 0 0 25 0 0 0 15 0 19 0 371482843 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=7659052 CPUtime=0.44 cores=1,3
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22624 0 -1 4202560 8665 0 0 0 44 0 0 0 16 0 19 0 371482843 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22624 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371482843 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485783449 0 4 0 16800975 18446604471125523392 0 0 -1 1 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22624 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 371482843 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
[pid=22879/tid=22912] ppid=22877 vsize=7659052 CPUtime=0 cores=1,3
/proc/22879/task/22912/stat : 22912 (java) S 22877 22879 22624 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371482857 7842869248 22608 33554432000 1073741824 1073778376 140733466902272 18446744073709551615 274485784064 0 4 0 16800975 18446604471125523392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1301.01
Current children cumulated vsize (KiB) 7659052

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.08
CPU user time (s): 1300.99
CPU system time (s): 0.090986
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 7659052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.99
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= 27610
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= 34971
involuntary context switches= 9741

runsolver used 2.07768 second user time and 5.05323 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-12 11:00:32
IDJOB=3190336
IDBENCH=82667
IDSOLVER=1611
FILE ID=node125/3190336-1302598832
RUNJOBID= node125-1302597529-22644
PBS_JOBID= 12958103
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= 3c4691c1028b5642345f341166405cb7
RANDOM SEED=131535317

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.74
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.828
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.828
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:     32950928 kB
MemFree:      16787376 kB
Buffers:        672664 kB
Cached:       15028332 kB
SwapCached:          0 kB
Active:        4781988 kB
Inactive:     10982644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16787376 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             860 kB
Writeback:           0 kB
AnonPages:       63188 kB
Mapped:          14680 kB
Slab:           334524 kB
PageTables:       5132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188864 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= 71864 MiB
End job on node125 at 2011-04-12 11:22:14