Trace number 3190199

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) 1300.77 1300.03

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf
MD5SUM13d193ddef22075908d36a7c0d4a2be1
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.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3190199-1302596815.cnf
0.00/0.09	c reading problem ... 
0.18/0.28	c ... done. Wall clock time 0.183s.
0.18/0.28	c #vars     250
0.18/0.28	c #constraints  21250
0.18/0.28	c constraints type 
0.18/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1.28/1.10	c cleaning 2496 clauses out of 5000 with flag 5000/5000
2.09/1.83	c cleaning 4246 clauses out of 8504 with flag 11000/11000
2.99/2.72	c cleaning 5626 clauses out of 11259 with flag 18001/18001
4.09/3.83	c cleaning 6815 clauses out of 13633 with flag 26001/26001
5.30/5.09	c cleaning 7906 clauses out of 15819 with flag 35002/35002
6.80/6.56	c cleaning 8955 clauses out of 17911 with flag 45000/45000
8.50/8.26	c cleaning 9978 clauses out of 19957 with flag 56001/56001
10.40/10.19	c cleaning 10984 clauses out of 21978 with flag 68000/68000
12.50/12.24	c cleaning 11993 clauses out of 23994 with flag 81000/81000
14.80/14.57	c cleaning 13001 clauses out of 26003 with flag 95002/95002
17.40/17.17	c cleaning 13995 clauses out of 28001 with flag 110001/110001
20.30/20.08	c cleaning 14999 clauses out of 30005 with flag 126000/126000
23.41/23.18	c cleaning 15995 clauses out of 32006 with flag 143000/143000
26.81/26.54	c cleaning 16999 clauses out of 34011 with flag 161000/161000
30.52/30.23	c cleaning 18004 clauses out of 36012 with flag 180000/180000
34.52/34.23	c cleaning 19001 clauses out of 38010 with flag 200002/200002
38.83/38.51	c cleaning 19998 clauses out of 40007 with flag 221000/221000
43.42/43.14	c cleaning 21000 clauses out of 42009 with flag 243000/243000
48.13/47.84	c cleaning 21498 clauses out of 43010 with flag 265001/265001
52.73/52.48	c cleaning 21754 clauses out of 43514 with flag 287003/287003
57.63/57.37	c cleaning 21873 clauses out of 43758 with flag 309001/309001
62.53/62.27	c cleaning 21940 clauses out of 43886 with flag 331002/331002
67.13/66.89	c cleaning 21966 clauses out of 43945 with flag 353001/353001
72.04/71.79	c cleaning 21987 clauses out of 43979 with flag 375001/375001
76.64/76.36	c cleaning 21987 clauses out of 43991 with flag 397000/397000
81.54/81.23	c cleaning 21994 clauses out of 44005 with flag 419001/419001
86.14/85.82	c cleaning 21996 clauses out of 44010 with flag 441000/441000
91.04/90.72	c cleaning 21998 clauses out of 44014 with flag 463000/463000
95.64/95.34	c cleaning 22004 clauses out of 44017 with flag 485001/485001
100.45/100.17	c cleaning 22003 clauses out of 44013 with flag 507001/507001
105.14/104.81	c cleaning 21996 clauses out of 44009 with flag 529000/529000
109.75/109.44	c cleaning 21999 clauses out of 44013 with flag 551000/551000
114.45/114.13	c cleaning 22001 clauses out of 44014 with flag 573000/573000
119.05/118.71	c cleaning 21999 clauses out of 44014 with flag 595001/595001
123.95/123.60	c cleaning 21997 clauses out of 44014 with flag 617000/617000
128.55/128.27	c cleaning 22004 clauses out of 44019 with flag 639002/639002
133.25/132.94	c cleaning 21999 clauses out of 44013 with flag 661000/661000
138.05/137.75	c cleaning 22001 clauses out of 44015 with flag 683001/683001
142.75/142.47	c cleaning 21997 clauses out of 44013 with flag 705000/705000
147.55/147.21	c cleaning 22003 clauses out of 44017 with flag 727001/727001
152.25/151.96	c cleaning 22005 clauses out of 44016 with flag 749003/749003
156.85/156.58	c cleaning 21997 clauses out of 44008 with flag 771000/771000
161.56/161.26	c cleaning 22000 clauses out of 44012 with flag 793001/793001
166.16/165.84	c cleaning 22002 clauses out of 44011 with flag 815000/815000
170.96/170.68	c cleaning 22000 clauses out of 44010 with flag 837001/837001
175.66/175.39	c cleaning 22001 clauses out of 44010 with flag 859001/859001
180.26/179.99	c cleaning 22001 clauses out of 44009 with flag 881001/881001
184.96/184.64	c cleaning 21995 clauses out of 44007 with flag 903000/903000
189.66/189.37	c cleaning 21999 clauses out of 44012 with flag 925000/925000
194.16/193.86	c cleaning 22003 clauses out of 44014 with flag 947001/947001
198.66/198.39	c cleaning 21998 clauses out of 44010 with flag 969000/969000
203.26/202.96	c cleaning 22001 clauses out of 44013 with flag 991001/991001
208.07/207.78	c cleaning 21999 clauses out of 44011 with flag 1013000/1013000
212.77/212.43	c cleaning 22003 clauses out of 44013 with flag 1035001/1035001
217.27/216.97	c cleaning 21996 clauses out of 44011 with flag 1057002/1057002
221.97/221.60	c cleaning 21999 clauses out of 44013 with flag 1079000/1079000
226.67/226.34	c cleaning 22003 clauses out of 44015 with flag 1101001/1101001
231.57/231.21	c cleaning 22000 clauses out of 44011 with flag 1123000/1123000
236.17/235.85	c cleaning 22003 clauses out of 44013 with flag 1145002/1145002
240.67/240.38	c cleaning 21990 clauses out of 44008 with flag 1167000/1167000
245.58/245.28	c cleaning 22002 clauses out of 44019 with flag 1189001/1189001
250.38/250.00	c cleaning 22003 clauses out of 44016 with flag 1211000/1211000
255.28/254.94	c cleaning 22004 clauses out of 44014 with flag 1233001/1233001
259.98/259.64	c cleaning 21999 clauses out of 44012 with flag 1255003/1255003
264.48/264.12	c cleaning 22001 clauses out of 44012 with flag 1277002/1277002
268.88/268.52	c cleaning 22000 clauses out of 44010 with flag 1299001/1299001
273.19/272.89	c cleaning 21999 clauses out of 44009 with flag 1321000/1321000
277.68/277.39	c cleaning 21994 clauses out of 44012 with flag 1343002/1343002
282.59/282.23	c cleaning 22004 clauses out of 44016 with flag 1365000/1365000
287.09/286.79	c cleaning 21999 clauses out of 44012 with flag 1387000/1387000
291.69/291.34	c cleaning 22000 clauses out of 44015 with flag 1409002/1409002
296.19/295.90	c cleaning 21995 clauses out of 44013 with flag 1431000/1431000
300.99/300.63	c cleaning 21999 clauses out of 44019 with flag 1453001/1453001
305.72/305.35	c cleaning 22005 clauses out of 44019 with flag 1475000/1475000
310.42/310.07	c cleaning 21998 clauses out of 44015 with flag 1497001/1497001
315.32/314.92	c cleaning 22002 clauses out of 44016 with flag 1519000/1519000
319.92/319.55	c cleaning 22001 clauses out of 44014 with flag 1541000/1541000
324.32/323.97	c cleaning 21997 clauses out of 44013 with flag 1563000/1563000
328.82/328.41	c cleaning 22005 clauses out of 44017 with flag 1585001/1585001
333.32/332.99	c cleaning 21996 clauses out of 44011 with flag 1607000/1607000
338.12/337.73	c cleaning 22003 clauses out of 44016 with flag 1629001/1629001
342.72/342.37	c cleaning 22001 clauses out of 44013 with flag 1651001/1651001
347.52/347.10	c cleaning 21999 clauses out of 44011 with flag 1673000/1673000
351.92/351.59	c cleaning 21997 clauses out of 44012 with flag 1695000/1695000
356.52/356.13	c cleaning 21998 clauses out of 44018 with flag 1717003/1717003
361.13/360.77	c cleaning 21999 clauses out of 44017 with flag 1739000/1739000
365.72/365.35	c cleaning 22005 clauses out of 44018 with flag 1761000/1761000
370.42/370.02	c cleaning 21999 clauses out of 44014 with flag 1783001/1783001
375.12/374.78	c cleaning 21996 clauses out of 44014 with flag 1805000/1805000
380.02/379.66	c cleaning 22008 clauses out of 44019 with flag 1827001/1827001
384.73/384.34	c cleaning 22000 clauses out of 44010 with flag 1849000/1849000
389.33/388.92	c cleaning 22000 clauses out of 44010 with flag 1871000/1871000
393.83/393.47	c cleaning 21995 clauses out of 44010 with flag 1893000/1893000
398.43/398.04	c cleaning 22004 clauses out of 44015 with flag 1915000/1915000
403.04/402.68	c cleaning 21998 clauses out of 44011 with flag 1937000/1937000
407.73/407.37	c cleaning 22001 clauses out of 44016 with flag 1959003/1959003
412.53/412.13	c cleaning 21999 clauses out of 44013 with flag 1981001/1981001
417.13/416.79	c cleaning 21996 clauses out of 44013 with flag 2003000/2003000
422.03/421.64	c cleaning 22004 clauses out of 44019 with flag 2025002/2025002
426.73/426.37	c cleaning 21997 clauses out of 44014 with flag 2047001/2047001
431.33/430.92	c cleaning 22005 clauses out of 44018 with flag 2069002/2069002
435.94/435.52	c cleaning 21999 clauses out of 44013 with flag 2091002/2091002
440.64/440.22	c cleaning 22000 clauses out of 44012 with flag 2113000/2113000
445.34/444.92	c cleaning 22000 clauses out of 44013 with flag 2135001/2135001
450.14/449.75	c cleaning 22002 clauses out of 44012 with flag 2157000/2157000
454.94/454.50	c cleaning 21996 clauses out of 44010 with flag 2179000/2179000
459.64/459.25	c cleaning 21994 clauses out of 44014 with flag 2201000/2201000
464.65/464.26	c cleaning 22008 clauses out of 44020 with flag 2223000/2223000
469.45/469.09	c cleaning 22000 clauses out of 44013 with flag 2245001/2245001
474.15/473.75	c cleaning 21996 clauses out of 44012 with flag 2267000/2267000
478.75/478.35	c cleaning 21999 clauses out of 44019 with flag 2289003/2289003
483.65/483.22	c cleaning 21999 clauses out of 44017 with flag 2311000/2311000
488.35/487.91	c cleaning 22004 clauses out of 44018 with flag 2333000/2333000
492.95/492.57	c cleaning 21999 clauses out of 44014 with flag 2355000/2355000
497.75/497.36	c cleaning 22004 clauses out of 44016 with flag 2377001/2377001
502.56/502.13	c cleaning 21995 clauses out of 44011 with flag 2399000/2399000
507.46/507.05	c cleaning 22002 clauses out of 44017 with flag 2421001/2421001
512.26/511.85	c cleaning 22000 clauses out of 44016 with flag 2443002/2443002
517.16/516.70	c cleaning 21999 clauses out of 44014 with flag 2465000/2465000
521.56/521.17	c cleaning 22004 clauses out of 44015 with flag 2487000/2487000
526.06/525.65	c cleaning 22005 clauses out of 44013 with flag 2509002/2509002
530.76/530.34	c cleaning 21994 clauses out of 44006 with flag 2531000/2531000
535.17/534.77	c cleaning 22001 clauses out of 44014 with flag 2553002/2553002
539.57/539.19	c cleaning 22001 clauses out of 44013 with flag 2575002/2575002
544.27/543.89	c cleaning 21999 clauses out of 44012 with flag 2597002/2597002
549.07/548.64	c cleaning 21998 clauses out of 44012 with flag 2619001/2619001
553.68/553.29	c cleaning 22003 clauses out of 44013 with flag 2641000/2641000
558.47/558.09	c cleaning 21998 clauses out of 44011 with flag 2663001/2663001
563.38/562.92	c cleaning 21992 clauses out of 44013 with flag 2685001/2685001
568.29/567.85	c cleaning 21999 clauses out of 44020 with flag 2707000/2707000
572.99/572.50	c cleaning 22005 clauses out of 44022 with flag 2729001/2729001
577.79/577.33	c cleaning 21996 clauses out of 44016 with flag 2751000/2751000
582.49/582.05	c cleaning 22004 clauses out of 44020 with flag 2773000/2773000
586.99/586.53	c cleaning 21994 clauses out of 44016 with flag 2795000/2795000
591.69/591.27	c cleaning 22003 clauses out of 44023 with flag 2817001/2817001
596.60/596.14	c cleaning 22004 clauses out of 44020 with flag 2839001/2839001
601.19/600.74	c cleaning 21995 clauses out of 44015 with flag 2861000/2861000
605.90/605.46	c cleaning 22008 clauses out of 44021 with flag 2883001/2883001
610.70/610.22	c cleaning 22001 clauses out of 44015 with flag 2905003/2905003
615.50/615.03	c cleaning 21998 clauses out of 44011 with flag 2927000/2927000
620.20/619.79	c cleaning 21993 clauses out of 44014 with flag 2949001/2949001
625.10/624.65	c cleaning 21992 clauses out of 44020 with flag 2971000/2971000
630.01/629.55	c cleaning 22013 clauses out of 44031 with flag 2993003/2993003
634.51/634.09	c cleaning 22005 clauses out of 44017 with flag 3015002/3015002
639.11/638.61	c cleaning 21996 clauses out of 44011 with flag 3037001/3037001
643.51/643.10	c cleaning 21997 clauses out of 44014 with flag 3059000/3059000
648.11/647.63	c cleaning 22000 clauses out of 44018 with flag 3081001/3081001
653.11/652.65	c cleaning 21996 clauses out of 44017 with flag 3103000/3103000
658.01/657.58	c cleaning 22004 clauses out of 44024 with flag 3125003/3125003
662.81/662.33	c cleaning 22006 clauses out of 44019 with flag 3147002/3147002
667.71/667.23	c cleaning 21998 clauses out of 44013 with flag 3169002/3169002
672.52/672.08	c cleaning 21999 clauses out of 44013 with flag 3191000/3191000
677.32/676.86	c cleaning 22001 clauses out of 44016 with flag 3213002/3213002
682.12/681.61	c cleaning 21997 clauses out of 44014 with flag 3235001/3235001
686.72/686.28	c cleaning 22001 clauses out of 44017 with flag 3257001/3257001
691.52/691.07	c cleaning 21996 clauses out of 44015 with flag 3279000/3279000
696.32/695.87	c cleaning 21998 clauses out of 44020 with flag 3301001/3301001
700.93/700.46	c cleaning 22004 clauses out of 44021 with flag 3323000/3323000
705.53/705.02	c cleaning 22004 clauses out of 44017 with flag 3345000/3345000
710.13/709.68	c cleaning 22003 clauses out of 44013 with flag 3367000/3367000
714.93/714.44	c cleaning 21998 clauses out of 44011 with flag 3389001/3389001
719.83/719.31	c cleaning 21998 clauses out of 44013 with flag 3411001/3411001
724.43/723.96	c cleaning 21999 clauses out of 44014 with flag 3433000/3433000
729.03/728.59	c cleaning 21997 clauses out of 44015 with flag 3455000/3455000
733.83/733.36	c cleaning 21998 clauses out of 44019 with flag 3477001/3477001
738.83/738.30	c cleaning 21999 clauses out of 44020 with flag 3499000/3499000
743.43/742.90	c cleaning 22007 clauses out of 44022 with flag 3521001/3521001
747.93/747.48	c cleaning 21993 clauses out of 44014 with flag 3543000/3543000
752.43/751.95	c cleaning 22007 clauses out of 44022 with flag 3565001/3565001
757.14/756.60	c cleaning 21996 clauses out of 44014 with flag 3587000/3587000
761.94/761.48	c cleaning 22004 clauses out of 44019 with flag 3609001/3609001
766.64/766.17	c cleaning 22005 clauses out of 44016 with flag 3631002/3631002
771.24/770.71	c cleaning 22003 clauses out of 44012 with flag 3653003/3653003
775.84/775.40	c cleaning 21997 clauses out of 44006 with flag 3675000/3675000
780.54/780.04	c cleaning 21996 clauses out of 44011 with flag 3697002/3697002
785.14/784.65	c cleaning 21993 clauses out of 44013 with flag 3719000/3719000
789.94/789.40	c cleaning 22000 clauses out of 44021 with flag 3741001/3741001
795.05/794.54	c cleaning 22004 clauses out of 44020 with flag 3763000/3763000
800.05/799.57	c cleaning 21999 clauses out of 44016 with flag 3785000/3785000
805.15/804.64	c cleaning 21998 clauses out of 44018 with flag 3807001/3807001
810.16/809.62	c cleaning 22000 clauses out of 44019 with flag 3829000/3829000
814.85/814.37	c cleaning 21997 clauses out of 44020 with flag 3851001/3851001
819.75/819.23	c cleaning 22006 clauses out of 44022 with flag 3873000/3873000
824.75/824.20	c cleaning 21996 clauses out of 44018 with flag 3895002/3895002
829.96/829.44	c cleaning 22008 clauses out of 44020 with flag 3917000/3917000
835.15/834.60	c cleaning 22001 clauses out of 44013 with flag 3939001/3939001
839.76/839.27	c cleaning 21992 clauses out of 44012 with flag 3961001/3961001
844.76/844.29	c cleaning 22007 clauses out of 44021 with flag 3983002/3983002
849.46/848.96	c cleaning 21996 clauses out of 44014 with flag 4005002/4005002
853.96/853.43	c cleaning 22004 clauses out of 44018 with flag 4027002/4027002
858.47/857.92	c cleaning 21997 clauses out of 44012 with flag 4049000/4049000
862.97/862.42	c cleaning 22002 clauses out of 44016 with flag 4071001/4071001
867.57/867.07	c cleaning 21993 clauses out of 44014 with flag 4093001/4093001
872.37/871.85	c cleaning 21998 clauses out of 44020 with flag 4115000/4115000
877.28/876.78	c cleaning 22006 clauses out of 44023 with flag 4137001/4137001
882.37/881.81	c cleaning 21999 clauses out of 44016 with flag 4159000/4159000
887.08/886.59	c cleaning 22002 clauses out of 44020 with flag 4181003/4181003
891.68/891.20	c cleaning 22001 clauses out of 44015 with flag 4203000/4203000
896.58/896.06	c cleaning 22001 clauses out of 44014 with flag 4225000/4225000
901.38/900.84	c cleaning 21997 clauses out of 44013 with flag 4247000/4247000
905.89/905.33	c cleaning 21996 clauses out of 44016 with flag 4269000/4269000
910.38/909.87	c cleaning 22006 clauses out of 44020 with flag 4291000/4291000
915.18/914.67	c cleaning 22003 clauses out of 44014 with flag 4313000/4313000
920.09/919.53	c cleaning 21996 clauses out of 44011 with flag 4335000/4335000
924.39/923.87	c cleaning 21997 clauses out of 44015 with flag 4357000/4357000
929.19/928.62	c cleaning 21999 clauses out of 44019 with flag 4379001/4379001
933.79/933.24	c cleaning 22005 clauses out of 44021 with flag 4401002/4401002
938.39/937.88	c cleaning 21996 clauses out of 44015 with flag 4423001/4423001
942.89/942.37	c cleaning 22005 clauses out of 44020 with flag 4445002/4445002
947.60/947.03	c cleaning 21999 clauses out of 44013 with flag 4467000/4467000
952.00/951.47	c cleaning 21993 clauses out of 44016 with flag 4489002/4489002
956.80/956.28	c cleaning 22002 clauses out of 44022 with flag 4511001/4511001
961.60/961.07	c cleaning 22003 clauses out of 44019 with flag 4533000/4533000
966.30/965.70	c cleaning 21999 clauses out of 44017 with flag 4555001/4555001
971.40/970.84	c cleaning 22005 clauses out of 44017 with flag 4577000/4577000
976.31/975.76	c cleaning 22002 clauses out of 44013 with flag 4599001/4599001
981.00/980.43	c cleaning 21994 clauses out of 44010 with flag 4621000/4621000
985.70/985.16	c cleaning 22004 clauses out of 44016 with flag 4643000/4643000
990.80/990.23	c cleaning 21994 clauses out of 44012 with flag 4665000/4665000
995.91/995.36	c cleaning 21999 clauses out of 44019 with flag 4687001/4687001
1000.91/1000.31	c cleaning 22005 clauses out of 44019 with flag 4709000/4709000
1005.61/1005.01	c cleaning 22002 clauses out of 44016 with flag 4731002/4731002
1010.71/1010.14	c cleaning 22002 clauses out of 44013 with flag 4753001/4753001
1015.83/1015.20	c cleaning 21995 clauses out of 44011 with flag 4775001/4775001
1020.33/1019.74	c cleaning 21997 clauses out of 44015 with flag 4797000/4797000
1025.33/1024.77	c cleaning 22002 clauses out of 44019 with flag 4819001/4819001
1030.23/1029.67	c cleaning 22005 clauses out of 44017 with flag 4841001/4841001
1034.83/1034.23	c cleaning 21998 clauses out of 44012 with flag 4863001/4863001
1039.43/1038.82	c cleaning 22005 clauses out of 44015 with flag 4885002/4885002
1044.03/1043.45	c cleaning 21994 clauses out of 44008 with flag 4907000/4907000
1048.73/1048.16	c cleaning 22000 clauses out of 44014 with flag 4929000/4929000
1053.43/1052.84	c cleaning 22002 clauses out of 44016 with flag 4951002/4951002
1058.03/1057.48	c cleaning 21998 clauses out of 44012 with flag 4973000/4973000
1062.93/1062.35	c cleaning 21997 clauses out of 44014 with flag 4995000/4995000
1067.54/1066.95	c cleaning 22000 clauses out of 44018 with flag 5017001/5017001
1072.43/1071.85	c cleaning 22003 clauses out of 44017 with flag 5039000/5039000
1077.34/1076.74	c cleaning 21996 clauses out of 44014 with flag 5061000/5061000
1082.54/1081.99	c cleaning 21999 clauses out of 44021 with flag 5083003/5083003
1087.74/1087.18	c cleaning 22001 clauses out of 44019 with flag 5105000/5105000
1092.44/1091.85	c cleaning 22003 clauses out of 44020 with flag 5127002/5127002
1096.94/1096.31	c cleaning 21993 clauses out of 44015 with flag 5149000/5149000
1101.65/1101.02	c cleaning 22002 clauses out of 44022 with flag 5171000/5171000
1106.55/1105.94	c cleaning 22006 clauses out of 44020 with flag 5193000/5193000
1111.35/1110.74	c cleaning 21993 clauses out of 44015 with flag 5215001/5215001
1116.25/1115.68	c cleaning 22005 clauses out of 44021 with flag 5237000/5237000
1121.46/1120.83	c cleaning 22001 clauses out of 44017 with flag 5259001/5259001
1126.15/1125.54	c cleaning 21996 clauses out of 44015 with flag 5281000/5281000
1130.96/1130.33	c cleaning 22002 clauses out of 44020 with flag 5303001/5303001
1135.86/1135.23	c cleaning 22005 clauses out of 44017 with flag 5325000/5325000
1140.56/1139.97	c cleaning 21996 clauses out of 44012 with flag 5347000/5347000
1144.96/1144.40	c cleaning 22002 clauses out of 44016 with flag 5369000/5369000
1149.36/1148.75	c cleaning 21994 clauses out of 44014 with flag 5391000/5391000
1153.76/1153.18	c cleaning 21999 clauses out of 44020 with flag 5413000/5413000
1158.16/1157.58	c cleaning 22000 clauses out of 44021 with flag 5435000/5435000
1162.96/1162.32	c cleaning 22001 clauses out of 44022 with flag 5457001/5457001
1167.56/1166.91	c cleaning 22005 clauses out of 44023 with flag 5479003/5479003
1172.17/1171.58	c cleaning 21998 clauses out of 44016 with flag 5501001/5501001
1176.97/1176.31	c cleaning 22000 clauses out of 44018 with flag 5523001/5523001
1182.07/1181.40	c cleaning 22001 clauses out of 44017 with flag 5545000/5545000
1186.77/1186.19	c cleaning 22004 clauses out of 44021 with flag 5567005/5567005
1191.47/1190.84	c cleaning 21997 clauses out of 44012 with flag 5589000/5589000
1195.97/1195.39	c cleaning 21998 clauses out of 44016 with flag 5611001/5611001
1200.57/1199.93	c cleaning 22002 clauses out of 44017 with flag 5633000/5633000
1205.47/1204.86	c cleaning 22003 clauses out of 44015 with flag 5655000/5655000
1210.58/1209.93	c cleaning 21996 clauses out of 44014 with flag 5677002/5677002
1215.08/1214.44	c cleaning 21993 clauses out of 44017 with flag 5699001/5699001
1219.78/1219.18	c cleaning 22004 clauses out of 44023 with flag 5721000/5721000
1224.58/1223.98	c cleaning 22001 clauses out of 44021 with flag 5743002/5743002
1229.48/1228.86	c cleaning 22008 clauses out of 44021 with flag 5765003/5765003
1234.49/1233.83	c cleaning 21994 clauses out of 44010 with flag 5787000/5787000
1239.19/1238.58	c cleaning 22006 clauses out of 44017 with flag 5809001/5809001
1244.29/1243.64	c cleaning 21996 clauses out of 44011 with flag 5831001/5831001
1248.89/1248.27	c cleaning 21993 clauses out of 44014 with flag 5853000/5853000
1253.79/1253.14	c cleaning 22003 clauses out of 44022 with flag 5875001/5875001
1258.39/1257.75	c cleaning 22008 clauses out of 44023 with flag 5897005/5897005
1262.90/1262.25	c cleaning 22001 clauses out of 44011 with flag 5919001/5919001
1267.20/1266.59	c cleaning 22004 clauses out of 44009 with flag 5941000/5941000
1272.00/1271.33	c cleaning 21992 clauses out of 44006 with flag 5963001/5963001
1276.71/1276.04	c cleaning 21994 clauses out of 44013 with flag 5985000/5985000
1281.20/1280.52	c cleaning 21995 clauses out of 44020 with flag 6007001/6007001
1285.80/1285.19	c cleaning 22007 clauses out of 44024 with flag 6029000/6029000
1290.70/1290.02	c cleaning 22002 clauses out of 44017 with flag 6051000/6051000
1295.21/1294.52	c cleaning 21993 clauses out of 44015 with flag 6073000/6073000
1299.61/1298.99	c cleaning 22005 clauses out of 44024 with flag 6095002/6095002
1300.71/1300.01	c starts		: 2269
1300.71/1300.01	c conflicts		: 6101736
1300.71/1300.01	c decisions		: 7214397
1300.71/1300.01	c propagations		: 159678362
1300.71/1300.01	c inspects		: 14918836537
1300.71/1300.01	c shortcuts		: 0
1300.71/1300.01	c learnt literals	: 0
1300.71/1300.01	c learnt binary clauses	: 0
1300.71/1300.01	c learnt ternary clauses	: 0
1300.71/1300.01	c learnt constraints	: 6101736
1300.71/1300.01	c ignored constraints	: 0
1300.71/1300.01	c root simplifications	: 2269
1300.71/1300.01	c removed literals (reason simplification)	: 34899342
1300.71/1300.01	c reason swapping (by a shorter reason)	: 0
1300.71/1300.01	c Calls to reduceDB	: 284
1300.71/1300.01	c speed (assignments/second)	: 122854.77478836039
1300.71/1300.01	c non guided choices	102
1300.71/1300.02	c learnt constraints type 
1300.71/1300.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28796
1300.71/1300.02	c constraints type 
1300.71/1300.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21250
1300.71/1300.02	s UNKNOWN
1300.71/1300.02	c Total wall clock time (in seconds) : 1299.916

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-3190199-1302596815/watcher-3190199-1302596815 -o /tmp/evaluation-result-3190199-1302596815/solver-3190199-1302596815 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190199-1302596815.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.03 1.40 9/241 5664
/proc/meminfo: memFree=18276040/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=11760 CPUtime=0 cores=5,7
/proc/5664/stat : 5664 (runsolver) R 5662 5664 5552 0 -1 4202560 47 0 0 0 0 0 0 0 21 0 1 0 371284106 12042240 55 33554432000 4194304 5392636 140733460276656 18446744073709551615 5012135 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/5664/statm: 2940 55 36 293 0 2644 0

[startup+0.023448 s]
/proc/loadavg: 0.92 1.03 1.40 9/241 5664
/proc/meminfo: memFree=18276040/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7542380 CPUtime=0 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 7348 0 1 0 0 0 0 0 21 0 3 0 371284106 7723397120 7048 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1885595 7048 930 9 0 1876751 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7542380

[startup+0.100619 s]
/proc/loadavg: 0.92 1.03 1.40 9/241 5664
/proc/meminfo: memFree=18276040/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 9737 0 1 0 7 1 0 0 21 0 18 0 371284106 7751618560 9432 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1892485 9432 1757 9 0 1883223 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940

[startup+0.318671 s]
/proc/loadavg: 0.92 1.03 1.40 9/241 5664
/proc/meminfo: memFree=18276040/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7640352 CPUtime=0.38 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 12453 0 1 0 37 1 0 0 21 0 19 0 371284106 7823720448 11889 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910088 11889 2209 9 0 1900826 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 7640352

[startup+0.700517 s]
/proc/loadavg: 0.92 1.03 1.40 9/241 5664
/proc/meminfo: memFree=18276040/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7641248 CPUtime=0.93 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 14083 0 1 0 91 2 0 0 21 0 19 0 371284106 7824637952 12714 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910312 12714 2223 9 0 1901050 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 7641248

[startup+1.50141 s]
/proc/loadavg: 0.92 1.03 1.40 5/262 5685
/proc/meminfo: memFree=18203216/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7641248 CPUtime=1.78 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 16096 0 1 0 176 2 0 0 21 0 19 0 371284106 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910312 14724 2252 9 0 1901050 0
[pid=5664/tid=5666] ppid=5662 vsize=7641248 CPUtime=1.31 cores=5,7
/proc/5664/task/5666/stat : 5666 (java) R 5662 5664 5552 0 -1 4202560 10126 0 1 0 130 1 0 0 25 0 19 0 371284107 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 46912505681857 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5664/tid=5667] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5667/stat : 5667 (java) S 5662 5664 5552 0 -1 4202560 404 0 0 0 0 0 0 0 18 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5668] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5668/stat : 5668 (java) S 5662 5664 5552 0 -1 4202560 459 0 0 0 0 0 0 0 17 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5669] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5669/stat : 5669 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5670] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5670/stat : 5670 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5671] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5671/stat : 5671 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5672] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5672/stat : 5672 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5673] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5673/stat : 5673 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5674] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5674/stat : 5674 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371284109 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5676] ppid=5662 vsize=7641248 CPUtime=0.01 cores=5,7
/proc/5664/task/5676/stat : 5676 (java) S 5662 5664 5552 0 -1 4202560 866 0 0 0 1 0 0 0 17 0 19 0 371284110 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 0 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5677] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5677/stat : 5677 (java) S 5662 5664 5552 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5678] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5678/stat : 5678 (java) S 5662 5664 5552 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5679] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5679/stat : 5679 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646338993 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5680] ppid=5662 vsize=7641248 CPUtime=0.22 cores=5,7
/proc/5664/task/5680/stat : 5680 (java) S 5662 5664 5552 0 -1 4202560 1925 0 0 0 22 0 0 0 15 0 19 0 371284112 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5681] ppid=5662 vsize=7641248 CPUtime=0.21 cores=5,7
/proc/5664/task/5681/stat : 5681 (java) S 5662 5664 5552 0 -1 4202560 1157 0 0 0 21 0 0 0 21 0 19 0 371284112 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5682] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5682/stat : 5682 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5683] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5683/stat : 5683 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284112 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5685] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5685/stat : 5685 (java) S 5662 5664 5552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371284135 7824637952 14724 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 7641248

[startup+3.10109 s]
/proc/loadavg: 0.92 1.03 1.40 5/262 5685
/proc/meminfo: memFree=18159884/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7641248 CPUtime=3.4 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 16796 0 1 0 338 2 0 0 21 0 19 0 371284106 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910312 15422 2254 9 0 1901050 0
[pid=5664/tid=5666] ppid=5662 vsize=7641248 CPUtime=2.85 cores=5,7
/proc/5664/task/5666/stat : 5666 (java) R 5662 5664 5552 0 -1 4202560 10128 0 1 0 284 1 0 0 18 0 19 0 371284107 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 46912505583467 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5664/tid=5667] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5667/stat : 5667 (java) S 5662 5664 5552 0 -1 4202560 405 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5668] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5668/stat : 5668 (java) S 5662 5664 5552 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5669] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5669/stat : 5669 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5670] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5670/stat : 5670 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5671] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5671/stat : 5671 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5672] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5672/stat : 5672 (java) S 5662 5664 5552 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5673] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5673/stat : 5673 (java) S 5662 5664 5552 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5674] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5674/stat : 5674 (java) S 5662 5664 5552 0 -1 4202560 309 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5676] ppid=5662 vsize=7641248 CPUtime=0.04 cores=5,7
/proc/5664/task/5676/stat : 5676 (java) S 5662 5664 5552 0 -1 4202560 1163 0 0 0 4 0 0 0 16 0 19 0 371284110 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 0 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5677] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5677/stat : 5677 (java) S 5662 5664 5552 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5678] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5678/stat : 5678 (java) S 5662 5664 5552 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5679] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5679/stat : 5679 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646338993 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5680] ppid=5662 vsize=7641248 CPUtime=0.25 cores=5,7
/proc/5664/task/5680/stat : 5680 (java) S 5662 5664 5552 0 -1 4202560 1931 0 0 0 25 0 0 0 15 0 19 0 371284112 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5681] ppid=5662 vsize=7641248 CPUtime=0.22 cores=5,7
/proc/5664/task/5681/stat : 5681 (java) S 5662 5664 5552 0 -1 4202560 1159 0 0 0 22 0 0 0 15 0 19 0 371284112 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5682] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5682/stat : 5682 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5683] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5683/stat : 5683 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284112 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5685] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5685/stat : 5685 (java) S 5662 5664 5552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371284135 7824637952 15422 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 7641248

[startup+6.30156 s]
/proc/loadavg: 1.17 1.07 1.42 5/262 5685
/proc/meminfo: memFree=18070372/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7641248 CPUtime=6.6 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 17258 0 1 0 658 2 0 0 21 0 19 0 371284106 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910312 15767 2254 9 0 1901050 0
[pid=5664/tid=5666] ppid=5662 vsize=7641248 CPUtime=5.98 cores=5,7
/proc/5664/task/5666/stat : 5666 (java) R 5662 5664 5552 0 -1 4202560 10131 0 1 0 597 1 0 0 25 0 19 0 371284107 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 46912505598180 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5664/tid=5667] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5667/stat : 5667 (java) S 5662 5664 5552 0 -1 4202560 560 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5668] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5668/stat : 5668 (java) S 5662 5664 5552 0 -1 4202560 563 0 0 0 0 0 0 0 16 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5669] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5669/stat : 5669 (java) S 5662 5664 5552 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5670] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5670/stat : 5670 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5671] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5671/stat : 5671 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5672] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5672/stat : 5672 (java) S 5662 5664 5552 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5673] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5673/stat : 5673 (java) S 5662 5664 5552 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5674] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5674/stat : 5674 (java) S 5662 5664 5552 0 -1 4202560 310 0 0 0 0 0 0 0 15 0 19 0 371284109 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5676] ppid=5662 vsize=7641248 CPUtime=0.08 cores=5,7
/proc/5664/task/5676/stat : 5676 (java) S 5662 5664 5552 0 -1 4202560 1292 0 0 0 8 0 0 0 15 0 19 0 371284110 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 0 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5677] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5677/stat : 5677 (java) S 5662 5664 5552 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5678] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5678/stat : 5678 (java) S 5662 5664 5552 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5679] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5679/stat : 5679 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646338993 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5680] ppid=5662 vsize=7641248 CPUtime=0.27 cores=5,7
/proc/5664/task/5680/stat : 5680 (java) S 5662 5664 5552 0 -1 4202560 1999 0 0 0 27 0 0 0 15 0 19 0 371284112 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5681] ppid=5662 vsize=7641248 CPUtime=0.22 cores=5,7
/proc/5664/task/5681/stat : 5681 (java) S 5662 5664 5552 0 -1 4202560 1159 0 0 0 22 0 0 0 15 0 19 0 371284112 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5682] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5682/stat : 5682 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5683] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5683/stat : 5683 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371284112 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5685] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5685/stat : 5685 (java) S 5662 5664 5552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371284135 7824637952 15767 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 7641248

[startup+12.7014 s]

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

[pid=5664/tid=5672] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5672/stat : 5672 (java) S 5662 5664 5552 0 -1 4202560 467 0 0 0 11 0 0 0 15 0 19 0 371284109 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5673] ppid=5662 vsize=7641248 CPUtime=0.1 cores=5,7
/proc/5664/task/5673/stat : 5673 (java) S 5662 5664 5552 0 -1 4202560 12 0 0 0 10 0 0 0 16 0 19 0 371284109 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5674] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5674/stat : 5674 (java) S 5662 5664 5552 0 -1 4202560 311 0 0 0 11 0 0 0 15 0 19 0 371284109 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5676] ppid=5662 vsize=7641248 CPUtime=5.84 cores=5,7
/proc/5664/task/5676/stat : 5676 (java) S 5662 5664 5552 0 -1 4202560 2641 0 0 0 583 1 0 0 15 0 19 0 371284110 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 0 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5677] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5677/stat : 5677 (java) S 5662 5664 5552 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5678] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5678/stat : 5678 (java) S 5662 5664 5552 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5679] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5679/stat : 5679 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646338993 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5680] ppid=5662 vsize=7641248 CPUtime=0.29 cores=5,7
/proc/5664/task/5680/stat : 5680 (java) S 5662 5664 5552 0 -1 4202560 2632 0 0 0 29 0 0 0 15 0 19 0 371284112 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5681] ppid=5662 vsize=7641248 CPUtime=0.22 cores=5,7
/proc/5664/task/5681/stat : 5681 (java) S 5662 5664 5552 0 -1 4202560 1159 0 0 0 22 0 0 0 15 0 19 0 371284112 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5682] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5682/stat : 5682 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5683] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5683/stat : 5683 (java) S 5662 5664 5552 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 371284112 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5685] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5685/stat : 5685 (java) S 5662 5664 5552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371284135 7824637952 18055 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1122.95
Current children cumulated vsize (KiB) 7641248

[startup+1182.3 s]
/proc/loadavg: 4.02 3.97 3.27 5/262 5716
/proc/meminfo: memFree=17591192/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7641248 CPUtime=1182.97 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 20411 0 1 0 118291 6 0 0 21 0 19 0 371284106 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910312 18084 2255 9 0 1901050 0
[pid=5664/tid=5666] ppid=5662 vsize=7641248 CPUtime=1175.34 cores=5,7
/proc/5664/task/5666/stat : 5666 (java) R 5662 5664 5552 0 -1 4202560 10426 0 1 0 117532 2 0 0 25 0 19 0 371284107 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 46912505598287 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5664/tid=5667] ppid=5662 vsize=7641248 CPUtime=0.13 cores=5,7
/proc/5664/task/5667/stat : 5667 (java) S 5662 5664 5552 0 -1 4202560 569 0 0 0 13 0 0 0 15 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5668] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5668/stat : 5668 (java) S 5662 5664 5552 0 -1 4202560 774 0 0 0 11 0 0 0 16 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5669] ppid=5662 vsize=7641248 CPUtime=0.09 cores=5,7
/proc/5664/task/5669/stat : 5669 (java) S 5662 5664 5552 0 -1 4202560 12 0 0 0 9 0 0 0 15 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5670] ppid=5662 vsize=7641248 CPUtime=0.1 cores=5,7
/proc/5664/task/5670/stat : 5670 (java) S 5662 5664 5552 0 -1 4202560 87 0 0 0 10 0 0 0 15 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5671] ppid=5662 vsize=7641248 CPUtime=0.1 cores=5,7
/proc/5664/task/5671/stat : 5671 (java) S 5662 5664 5552 0 -1 4202560 70 0 0 0 10 0 0 0 15 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5672] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5672/stat : 5672 (java) S 5662 5664 5552 0 -1 4202560 467 0 0 0 11 0 0 0 16 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5673] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5673/stat : 5673 (java) S 5662 5664 5552 0 -1 4202560 12 0 0 0 11 0 0 0 15 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5674] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5674/stat : 5674 (java) S 5662 5664 5552 0 -1 4202560 311 0 0 0 11 0 0 0 15 0 19 0 371284109 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5676] ppid=5662 vsize=7641248 CPUtime=6.17 cores=5,7
/proc/5664/task/5676/stat : 5676 (java) S 5662 5664 5552 0 -1 4202560 2672 0 0 0 616 1 0 0 16 0 19 0 371284110 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 0 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5677] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5677/stat : 5677 (java) S 5662 5664 5552 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5678] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5678/stat : 5678 (java) S 5662 5664 5552 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5679] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5679/stat : 5679 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646338993 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5680] ppid=5662 vsize=7641248 CPUtime=0.29 cores=5,7
/proc/5664/task/5680/stat : 5680 (java) S 5662 5664 5552 0 -1 4202560 2632 0 0 0 29 0 0 0 15 0 19 0 371284112 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5681] ppid=5662 vsize=7641248 CPUtime=0.22 cores=5,7
/proc/5664/task/5681/stat : 5681 (java) S 5662 5664 5552 0 -1 4202560 1159 0 0 0 22 0 0 0 15 0 19 0 371284112 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5682] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5682/stat : 5682 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5683] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5683/stat : 5683 (java) S 5662 5664 5552 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 371284112 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5685] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5685/stat : 5685 (java) S 5662 5664 5552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371284135 7824637952 18084 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1182.97
Current children cumulated vsize (KiB) 7641248

[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.31 5/262 5718
/proc/meminfo: memFree=17555676/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7641248 CPUtime=1242.99 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 20526 0 1 0 124293 6 0 0 21 0 19 0 371284106 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910312 18179 2255 9 0 1901050 0
[pid=5664/tid=5666] ppid=5662 vsize=7641248 CPUtime=1235.01 cores=5,7
/proc/5664/task/5666/stat : 5666 (java) R 5662 5664 5552 0 -1 4202560 10438 0 1 0 123499 2 0 0 25 0 19 0 371284107 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 46912505598282 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5664/tid=5667] ppid=5662 vsize=7641248 CPUtime=0.13 cores=5,7
/proc/5664/task/5667/stat : 5667 (java) S 5662 5664 5552 0 -1 4202560 572 0 0 0 13 0 0 0 15 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5668] ppid=5662 vsize=7641248 CPUtime=0.12 cores=5,7
/proc/5664/task/5668/stat : 5668 (java) S 5662 5664 5552 0 -1 4202560 774 0 0 0 12 0 0 0 15 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5669] ppid=5662 vsize=7641248 CPUtime=0.09 cores=5,7
/proc/5664/task/5669/stat : 5669 (java) S 5662 5664 5552 0 -1 4202560 12 0 0 0 9 0 0 0 15 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5670] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5670/stat : 5670 (java) S 5662 5664 5552 0 -1 4202560 89 0 0 0 11 0 0 0 15 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5671] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5671/stat : 5671 (java) S 5662 5664 5552 0 -1 4202560 71 0 0 0 11 0 0 0 16 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5672] ppid=5662 vsize=7641248 CPUtime=0.12 cores=5,7
/proc/5664/task/5672/stat : 5672 (java) S 5662 5664 5552 0 -1 4202560 467 0 0 0 12 0 0 0 16 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5673] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5673/stat : 5673 (java) S 5662 5664 5552 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5674] ppid=5662 vsize=7641248 CPUtime=0.12 cores=5,7
/proc/5664/task/5674/stat : 5674 (java) S 5662 5664 5552 0 -1 4202560 312 0 0 0 12 0 0 0 15 0 19 0 371284109 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5676] ppid=5662 vsize=7641248 CPUtime=6.47 cores=5,7
/proc/5664/task/5676/stat : 5676 (java) S 5662 5664 5552 0 -1 4202560 2762 0 0 0 646 1 0 0 15 0 19 0 371284110 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 0 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5677] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5677/stat : 5677 (java) S 5662 5664 5552 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5678] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5678/stat : 5678 (java) S 5662 5664 5552 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5679] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5679/stat : 5679 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646338993 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5680] ppid=5662 vsize=7641248 CPUtime=0.29 cores=5,7
/proc/5664/task/5680/stat : 5680 (java) S 5662 5664 5552 0 -1 4202560 2632 0 0 0 29 0 0 0 15 0 19 0 371284112 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5681] ppid=5662 vsize=7641248 CPUtime=0.22 cores=5,7
/proc/5664/task/5681/stat : 5681 (java) S 5662 5664 5552 0 -1 4202560 1159 0 0 0 22 0 0 0 15 0 19 0 371284112 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5682] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5682/stat : 5682 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5683] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5683/stat : 5683 (java) S 5662 5664 5552 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 371284112 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5685] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5685/stat : 5685 (java) S 5662 5664 5552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371284135 7824637952 18179 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1242.99
Current children cumulated vsize (KiB) 7641248



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.97 3.35 2/202 5728
/proc/meminfo: memFree=18346840/32951124 swapFree=67111528/67111528
[pid=5664] ppid=5662 vsize=7641248 CPUtime=1300.71 cores=5,7
/proc/5664/stat : 5664 (java) S 5662 5664 5552 0 -1 4202496 20548 0 1 0 130065 6 0 0 21 0 19 0 371284106 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/5664/statm: 1910312 18180 2255 9 0 1901050 0
[pid=5664/tid=5666] ppid=5662 vsize=7641248 CPUtime=1292.35 cores=5,7
/proc/5664/task/5666/stat : 5666 (java) R 5662 5664 5552 0 -1 4202560 10451 0 1 0 129233 2 0 0 25 0 19 0 371284107 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 46912505584161 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5664/tid=5667] ppid=5662 vsize=7641248 CPUtime=0.14 cores=5,7
/proc/5664/task/5667/stat : 5667 (java) S 5662 5664 5552 0 -1 4202560 572 0 0 0 14 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5668] ppid=5662 vsize=7641248 CPUtime=0.13 cores=5,7
/proc/5664/task/5668/stat : 5668 (java) S 5662 5664 5552 0 -1 4202560 774 0 0 0 13 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5669] ppid=5662 vsize=7641248 CPUtime=0.1 cores=5,7
/proc/5664/task/5669/stat : 5669 (java) S 5662 5664 5552 0 -1 4202560 12 0 0 0 10 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5670] ppid=5662 vsize=7641248 CPUtime=0.11 cores=5,7
/proc/5664/task/5670/stat : 5670 (java) S 5662 5664 5552 0 -1 4202560 89 0 0 0 11 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5671] ppid=5662 vsize=7641248 CPUtime=0.12 cores=5,7
/proc/5664/task/5671/stat : 5671 (java) S 5662 5664 5552 0 -1 4202560 71 0 0 0 12 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5672] ppid=5662 vsize=7641248 CPUtime=0.13 cores=5,7
/proc/5664/task/5672/stat : 5672 (java) S 5662 5664 5552 0 -1 4202560 467 0 0 0 13 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5673] ppid=5662 vsize=7641248 CPUtime=0.12 cores=5,7
/proc/5664/task/5673/stat : 5673 (java) S 5662 5664 5552 0 -1 4202560 15 0 0 0 12 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5674] ppid=5662 vsize=7641248 CPUtime=0.13 cores=5,7
/proc/5664/task/5674/stat : 5674 (java) S 5662 5664 5552 0 -1 4202560 312 0 0 0 13 0 0 0 15 0 19 0 371284109 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5676] ppid=5662 vsize=7641248 CPUtime=6.79 cores=5,7
/proc/5664/task/5676/stat : 5676 (java) S 5662 5664 5552 0 -1 4202560 2766 0 0 0 678 1 0 0 16 0 19 0 371284110 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 0 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5677] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5677/stat : 5677 (java) S 5662 5664 5552 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5678] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5678/stat : 5678 (java) S 5662 5664 5552 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371284110 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5679] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5679/stat : 5679 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646338993 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5680] ppid=5662 vsize=7641248 CPUtime=0.29 cores=5,7
/proc/5664/task/5680/stat : 5680 (java) S 5662 5664 5552 0 -1 4202560 2632 0 0 0 29 0 0 0 15 0 19 0 371284112 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 5 0 0 0
[pid=5664/tid=5681] ppid=5662 vsize=7641248 CPUtime=0.22 cores=5,7
/proc/5664/task/5681/stat : 5681 (java) S 5662 5664 5552 0 -1 4202560 1159 0 0 0 22 0 0 0 15 0 19 0 371284112 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5682] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5682/stat : 5682 (java) S 5662 5664 5552 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371284112 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331289 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5683] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5683/stat : 5683 (java) S 5662 5664 5552 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 371284112 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
[pid=5664/tid=5685] ppid=5662 vsize=7641248 CPUtime=0 cores=5,7
/proc/5664/task/5685/stat : 5685 (java) S 5662 5664 5552 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371284135 7824637952 18180 33554432000 1073741824 1073778376 140734108108320 18446744073709551615 216646331904 0 4 0 16800975 18446604466323744896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1300.71
Current children cumulated vsize (KiB) 7641248

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.03
CPU time (s): 1300.77
CPU user time (s): 1300.69
CPU system time (s): 0.072988
CPU usage (%): 100.056
Max. virtual memory (cumulated for all children) (KiB): 7641248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.69
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20590
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= 34572
involuntary context switches= 9132

runsolver used 2.04969 second user time and 5.07423 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-12 10:26:55
IDJOB=3190199
IDBENCH=82530
IDSOLVER=1611
FILE ID=node103/3190199-1302596815
RUNJOBID= node103-1302596814-5573
PBS_JOBID= 12958092
Free space on /tmp= 71928 MiB

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

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

MD5SUM BENCH= 13d193ddef22075908d36a7c0d4a2be1
RANDOM SEED=1001271373

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18276576 kB
Buffers:        656748 kB
Cached:       13450668 kB
SwapCached:          0 kB
Active:        8586404 kB
Inactive:      5726024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18276576 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7328 kB
Writeback:           0 kB
AnonPages:      204124 kB
Mapped:          22620 kB
Slab:           296076 kB
PageTables:       5740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21992312 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= 71932 MiB
End job on node103 at 2011-04-12 10:48:37