Trace number 3731307

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 NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (exit code) 703.53 697.366

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
MD5SUM97ebaccbda37d5c570b4e2ec3cd7f8f0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark425
Best CPU time to get the best result obtained on this benchmark1789.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 425
Optimality of the best value was proved NO
Number of variables1372
Total number of constraints4944
Number of constraints which are clauses4944
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19
Number of terms in the objective function 1372
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1372
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1372
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3731307-1338684708.opb
0.08/0.11	c reading problem ... 
0.71/0.40	c ... done. Wall clock time 0.283s.
0.71/0.40	c CPU time (experimental) 0.36s.
0.71/0.40	c #vars     1372
0.71/0.40	c #constraints  4827
0.71/0.43	c SATISFIABLE
0.71/0.43	c OPTIMIZING...
0.71/0.43	c Got one! Elapsed wall clock time (in seconds):0.32
0.71/0.44	o 490
136.98/134.38	c cleaning 438489 clauses out of 877000 for limit 1.329922152698355E-5
142.19/139.51	c cleaning 219500 clauses out of 439011 for limit 4.381333360073217E-5
143.29/140.65	c cleaning 110001 clauses out of 220012 for limit 1.4431973753478128E-4
144.70/142.07	c cleaning 55250 clauses out of 110512 for limit 4.742999288045107E-4
145.19/142.51	c cleaning 27876 clauses out of 55761 for limit 0.001548650152741834
145.39/142.77	c cleaning 14185 clauses out of 28385 for limit 0.005017078101585373
145.49/142.86	c cleaning 7340 clauses out of 14700 for limit 0.015976377457991263
145.59/142.94	c cleaning 3924 clauses out of 7860 for limit 0.04927526724345627
145.59/143.00	c cleaning 2209 clauses out of 4436 for limit 0.14398454685044315
145.70/143.05	c cleaning 1352 clauses out of 2726 for limit 0.38601390145594416
145.70/143.10	c cleaning 927 clauses out of 1875 for limit 0.926441334212377
145.80/143.15	c cleaning 715 clauses out of 1447 for limit 1.9777529434044885
145.89/143.21	c cleaning 605 clauses out of 1232 for limit 3.8307671082867234
145.89/143.26	c cleaning 552 clauses out of 1129 for limit 6.907603904049676
145.99/143.31	c cleaning 529 clauses out of 1075 for limit 11.93987465045554
145.99/143.36	c cleaning 514 clauses out of 1047 for limit 20.237271063269063
146.09/143.40	c cleaning 508 clauses out of 1033 for limit 33.826276610878956
146.09/143.45	c cleaning 502 clauses out of 1024 for limit 56.21807053358271
146.09/143.50	c cleaning 502 clauses out of 1022 for limit 92.89254979011174
146.19/143.55	c cleaning 500 clauses out of 1020 for limit 153.49261849108842
146.29/143.60	c cleaning 498 clauses out of 1022 for limit 253.14052791753758
146.29/143.65	c cleaning 501 clauses out of 1023 for limit 416.63746372371673
146.29/143.69	c cleaning 501 clauses out of 1022 for limit 687.763214750809
146.39/143.74	c cleaning 500 clauses out of 1021 for limit 1135.324433405067
146.39/143.79	c cleaning 500 clauses out of 1020 for limit 1872.2633242789216
146.49/143.84	c cleaning 500 clauses out of 1020 for limit 3087.612688642432
146.49/143.88	c cleaning 499 clauses out of 1021 for limit 5091.991212120219
146.59/143.93	c cleaning 500 clauses out of 1022 for limit 8389.158093884917
146.59/143.98	c cleaning 498 clauses out of 1022 for limit 13834.843978307612
146.69/144.04	c cleaning 503 clauses out of 1023 for limit 22770.41275671638
146.69/144.10	c cleaning 505 clauses out of 1022 for limit 37663.489230539424
146.80/144.16	c cleaning 501 clauses out of 1015 for limit 62415.47336240101
146.90/144.24	c cleaning 500 clauses out of 1014 for limit 103032.97568811687
146.99/144.31	c cleaning 503 clauses out of 1014 for limit 169915.16041459533
146.99/144.37	c cleaning 498 clauses out of 1011 for limit 281044.32244539843
147.09/144.43	c cleaning 498 clauses out of 1013 for limit 462564.62160505046
147.09/144.48	c cleaning 500 clauses out of 1015 for limit 761327.826658429
147.19/144.53	c cleaning 501 clauses out of 1015 for limit 1255531.4347742554
147.19/144.59	c cleaning 502 clauses out of 1014 for limit 2072581.2499034787
147.29/144.64	c cleaning 501 clauses out of 1012 for limit 3424718.6151133194
147.29/144.68	c cleaning 505 clauses out of 1011 for limit 5653405.516068582
147.39/144.73	c cleaning 503 clauses out of 1007 for limit 9369625.272742363
147.39/144.77	c cleaning 496 clauses out of 1003 for limit 1.5497874328576526E7
147.49/144.82	c cleaning 504 clauses out of 1008 for limit 2.5456748653879266E7
147.49/144.87	c cleaning 502 clauses out of 1004 for limit 4.214884138021858E7
147.59/144.91	c cleaning 493 clauses out of 1001 for limit 6.964767952528621E7
147.59/144.96	c cleaning 504 clauses out of 1009 for limit 1.1406173187846704E8
147.69/145.02	c cleaning 502 clauses out of 1005 for limit 1.8885172364780864E8
147.69/145.07	c cleaning 501 clauses out of 1003 for limit 3.120627768783318E8
147.79/145.12	c cleaning 501 clauses out of 1002 for limit 5.1514687213775206E8
147.79/145.17	c cleaning 492 clauses out of 1002 for limit 8.503965037745421E8
147.90/145.22	c cleaning 504 clauses out of 1009 for limit 1.3912955515329144E9
147.90/145.28	c cleaning 502 clauses out of 1005 for limit 2.3035645582734E9
148.00/145.33	c cleaning 501 clauses out of 1003 for limit 3.8064611690487266E9
148.00/145.39	c cleaning 501 clauses out of 1002 for limit 6.283628521045225E9
148.09/145.45	c cleaning 500 clauses out of 1001 for limit 1.0372896231836163E10
148.19/145.50	c cleaning 490 clauses out of 1001 for limit 1.710629354752948E10
148.19/145.55	c cleaning 498 clauses out of 1011 for limit 2.79315302328229E10
148.29/145.61	c cleaning 499 clauses out of 1013 for limit 4.5971886571399704E10
148.29/145.67	c cleaning 507 clauses out of 1014 for limit 7.57390239129617E10
148.39/145.73	c cleaning 503 clauses out of 1007 for limit 1.2577203135498552E11
148.39/145.77	c cleaning 502 clauses out of 1004 for limit 2.080346708386514E11
148.49/145.82	c cleaning 493 clauses out of 1002 for limit 3.437617870296095E11
148.49/145.86	c cleaning 497 clauses out of 1009 for limit 5.629762069274778E11
148.59/145.91	c cleaning 497 clauses out of 1012 for limit 9.256708365044025E11
148.59/145.96	c cleaning 507 clauses out of 1015 for limit 1.5220430580747651E12
148.69/146.01	c cleaning 495 clauses out of 1008 for limit 2.527483539001402E12
148.69/146.06	c cleaning 506 clauses out of 1013 for limit 4.1475851375360693E12
148.81/146.12	c cleaning 503 clauses out of 1007 for limit 6.880677002488048E12
148.81/146.17	c cleaning 501 clauses out of 1003 for limit 1.1381017316701635E13
148.91/146.22	c cleaning 492 clauses out of 1002 for limit 1.8787551437864332E13
148.91/146.27	c cleaning 496 clauses out of 1010 for limit 3.073777430302313E13
149.02/146.32	c cleaning 498 clauses out of 1014 for limit 5.0490738530650805E13
149.02/146.37	c cleaning 508 clauses out of 1017 for limit 8.310346346379922E13
149.12/146.42	c cleaning 504 clauses out of 1008 for limit 1.3813410561905781E14
149.12/146.47	c cleaning 502 clauses out of 1004 for limit 2.2870919558884066E14
149.21/146.52	c cleaning 501 clauses out of 1002 for limit 3.779248981373005E14
149.21/146.57	c cleaning 494 clauses out of 1001 for limit 6.238713410055922E14
149.31/146.63	c cleaning 496 clauses out of 1007 for limit 1.0227171287332639E15
149.31/146.68	c cleaning 498 clauses out of 1011 for limit 1.6799243753357122E15
149.41/146.74	c cleaning 500 clauses out of 1013 for limit 2.7649502976642915E15
149.51/146.80	c cleaning 498 clauses out of 1013 for limit 4.559772929281678E15
149.51/146.85	c cleaning 507 clauses out of 1015 for limit 7.504858461203297E15
149.51/146.90	c cleaning 504 clauses out of 1008 for limit 1.2462463609419786E16
149.61/146.95	c cleaning 502 clauses out of 1004 for limit 2.063415124303926E16
149.71/147.00	c cleaning 501 clauses out of 1003 for limit 3.4096498981821552E16
149.71/147.05	c cleaning 501 clauses out of 1002 for limit 5.628580562231436E16
149.71/147.09	c cleaning 500 clauses out of 1001 for limit 9.2915553344717856E16
149.81/147.14	c cleaning 491 clauses out of 1001 for limit 0.0015323017748578413
149.81/147.19	c cleaning 495 clauses out of 1009 for limit 0.002504428233334026
149.91/147.25	c cleaning 495 clauses out of 1014 for limit 0.004109771625169103
150.01/147.30	c cleaning 501 clauses out of 1021 for limit 0.006744578485055723
150.01/147.36	c cleaning 502 clauses out of 1020 for limit 0.011133616815223742
150.12/147.42	c cleaning 500 clauses out of 1016 for limit 0.018396262476414155
150.12/147.47	c cleaning 499 clauses out of 1016 for limit 0.030337897831571866
150.22/147.52	c cleaning 497 clauses out of 1017 for limit 0.049982057117516125
150.22/147.57	c cleaning 500 clauses out of 1020 for limit 0.08218466602362193
150.31/147.62	c cleaning 501 clauses out of 1021 for limit 0.13553629919409296
150.31/147.67	c cleaning 499 clauses out of 1019 for limit 0.2237322325881849
150.41/147.73	c cleaning 501 clauses out of 1020 for limit 0.3686026521143401
150.41/147.78	c cleaning 501 clauses out of 1020 for limit 0.6084835676848264
150.51/147.84	c cleaning 502 clauses out of 1019 for limit 1.0044555649454214
150.51/147.89	c cleaning 501 clauses out of 1018 for limit 1.6597685609591046
150.61/147.94	c cleaning 499 clauses out of 1017 for limit 2.7398718230394947
150.71/148.00	c cleaning 499 clauses out of 1016 for limit 4.513821226717349
150.71/148.05	c cleaning 501 clauses out of 1017 for limit 7.4365755868970265
150.81/148.11	c cleaning 500 clauses out of 1017 for limit 12.276184174250927
150.81/148.16	c cleaning 499 clauses out of 1016 for limit 20.244731235627352
150.91/148.22	c cleaning 498 clauses out of 1018 for limit 33.35403224524015
150.91/148.27	c cleaning 500 clauses out of 1020 for limit 54.897407741682436
151.01/148.32	c cleaning 498 clauses out of 1020 for limit 90.53316940985187
151.01/148.37	c cleaning 500 clauses out of 1021 for limit 149.0059221225267
151.11/148.42	c cleaning 501 clauses out of 1022 for limit 245.735994232618
151.11/148.47	c cleaning 501 clauses out of 1020 for limit 405.6400931635765
317.92/314.30	c cleaning 443249 clauses out of 886519 for limit 44308.26835401966
326.42/322.87	c cleaning 221880 clauses out of 443770 for limit 145972.40816474584
329.92/326.35	c cleaning 111190 clauses out of 222391 for limit 480841.45580761274
330.71/327.12	c cleaning 55842 clauses out of 111700 for limit 1577201.9784045306
330.92/327.33	c cleaning 28173 clauses out of 56358 for limit 5155143.994336579
331.11/327.58	c cleaning 14334 clauses out of 28685 for limit 1.6703112495006945E7
331.31/327.72	c cleaning 7420 clauses out of 14851 for limit 5.320500020783731E7
331.31/327.79	c cleaning 3955 clauses out of 7931 for limit 1.6429944047668797E8
331.42/327.85	c cleaning 2228 clauses out of 4476 for limit 4.800979410695926E8
331.42/327.90	c cleaning 1363 clauses out of 2748 for limit 1.2896120424852295E9
331.52/327.94	c cleaning 943 clauses out of 1887 for limit 3.1033361377978387E9
331.52/327.98	c cleaning 721 clauses out of 1442 for limit 6.6837827015447E9
331.61/328.03	c cleaning 611 clauses out of 1223 for limit 1.3022250217074284E10
331.61/328.07	c cleaning 545 clauses out of 1111 for limit 2.3616732430127365E10
331.71/328.12	c cleaning 520 clauses out of 1065 for limit 4.058874616134788E10
331.71/328.16	c cleaning 516 clauses out of 1045 for limit 6.821734926691824E10
331.81/328.20	c cleaning 509 clauses out of 1029 for limit 1.1424879879993388E11
331.81/328.25	c cleaning 500 clauses out of 1021 for limit 1.900779214016765E11
331.81/328.29	c cleaning 500 clauses out of 1020 for limit 3.134574668918089E11
331.91/328.34	c cleaning 510 clauses out of 1021 for limit 5.1694393945775195E11
331.91/328.38	c cleaning 506 clauses out of 1012 for limit 8.609522720687849E11
332.01/328.43	c cleaning 492 clauses out of 1004 for limit 1.4282779766489946E12
332.01/328.47	c cleaning 506 clauses out of 1012 for limit 2.3368015226520894E12
332.11/328.52	c cleaning 493 clauses out of 1007 for limit 3.8767095819145547E12
332.11/328.56	c cleaning 495 clauses out of 1013 for limit 6.348990366557314E12
332.21/328.61	c cleaning 510 clauses out of 1020 for limit 1.041930742619415E13
332.21/328.65	c cleaning 505 clauses out of 1010 for limit 1.7352958863485531E13
332.21/328.70	c cleaning 502 clauses out of 1004 for limit 2.8759582256090586E13
332.31/328.74	c cleaning 500 clauses out of 1001 for limit 4.752297103932677E13
332.31/328.79	c cleaning 493 clauses out of 1001 for limit 7.83717367531751E13
332.41/328.84	c cleaning 491 clauses out of 1008 for limit 1.2834794024567945E14
332.41/328.88	c cleaning 495 clauses out of 1017 for limit 2.097898003281709E14
332.52/328.93	c cleaning 511 clauses out of 1022 for limit 3.4427882632010875E14
332.52/328.97	c cleaning 500 clauses out of 1011 for limit 5.739392699406905E14
332.62/329.02	c cleaning 493 clauses out of 1011 for limit 9.465026363540785E14
332.62/329.07	c cleaning 502 clauses out of 1019 for limit 1.5502052320775E15
332.71/329.11	c cleaning 496 clauses out of 1016 for limit 2.5614804740246745E15
332.71/329.16	c cleaning 509 clauses out of 1021 for limit 4.207745016240744E15
332.81/329.20	c cleaning 505 clauses out of 1011 for limit 7.000763007608498E15
332.81/329.25	c cleaning 503 clauses out of 1006 for limit 1.1602576428488686E16
332.81/329.29	c cleaning 501 clauses out of 1003 for limit 1.919143160484148E16
332.91/329.34	c cleaning 501 clauses out of 1002 for limit 3.1680824166139592E16
332.91/329.38	c cleaning 493 clauses out of 1001 for limit 5.229811095830827E-4
333.01/329.43	c cleaning 493 clauses out of 1009 for limit 8.56484114120578E-4
333.01/329.48	c cleaning 499 clauses out of 1016 for limit 0.0014027253883099875
333.11/329.53	c cleaning 502 clauses out of 1016 for limit 0.0023109685367497966
333.11/329.57	c cleaning 500 clauses out of 1015 for limit 0.003818669717310692
333.21/329.62	c cleaning 496 clauses out of 1014 for limit 0.006297404058097743
333.21/329.67	c cleaning 499 clauses out of 1018 for limit 0.010344455214002226
333.31/329.71	c cleaning 501 clauses out of 1020 for limit 0.017042983702750134
333.31/329.76	c cleaning 499 clauses out of 1018 for limit 0.02813321710610536
333.41/329.80	c cleaning 502 clauses out of 1020 for limit 0.04635081797215087
333.41/329.85	c cleaning 498 clauses out of 1018 for limit 0.07658887379992288
333.51/329.90	c cleaning 499 clauses out of 1019 for limit 0.12605516717964182
333.51/329.95	c cleaning 499 clauses out of 1020 for limit 0.20767802831815246
333.51/330.00	c cleaning 502 clauses out of 1021 for limit 0.34215340684969053
333.62/330.04	c cleaning 501 clauses out of 1021 for limit 0.5653869488697965
333.62/330.09	c cleaning 500 clauses out of 1019 for limit 0.9332945129755664
333.72/330.14	c cleaning 500 clauses out of 1018 for limit 1.539098779454588
333.72/330.18	c cleaning 499 clauses out of 1018 for limit 2.5381797842716876
333.81/330.23	c cleaning 497 clauses out of 1019 for limit 4.181690265129135
333.81/330.27	c cleaning 500 clauses out of 1022 for limit 6.875923513036988
333.91/330.32	c cleaning 504 clauses out of 1023 for limit 11.339572913456811
333.91/330.36	c cleaning 496 clauses out of 1018 for limit 18.773529473553072
334.01/330.41	c cleaning 500 clauses out of 1022 for limit 30.838887170415898
334.01/330.45	c cleaning 502 clauses out of 1023 for limit 50.85859506374027
334.11/330.50	c cleaning 501 clauses out of 1021 for limit 84.0369220590205
334.11/330.55	c cleaning 502 clauses out of 1019 for limit 138.7212746983677
334.11/330.59	c cleaning 499 clauses out of 1017 for limit 229.2198314980353
334.21/330.64	c cleaning 500 clauses out of 1018 for limit 377.6428363980947
334.21/330.69	c cleaning 496 clauses out of 1018 for limit 622.7835573752704
334.31/330.73	c cleaning 503 clauses out of 1022 for limit 1023.03362212962
334.31/330.78	c cleaning 498 clauses out of 1020 for limit 1692.1194984421595
334.41/330.83	c cleaning 501 clauses out of 1022 for limit 2785.0704980824835
334.41/330.87	c cleaning 494 clauses out of 1020 for limit 4597.357663606582
334.51/330.92	c cleaning 506 clauses out of 1027 for limit 7537.518986375003
334.51/330.96	c cleaning 500 clauses out of 1021 for limit 12503.425409496966
334.61/331.01	c cleaning 500 clauses out of 1022 for limit 20620.26549380762
334.61/331.05	c cleaning 499 clauses out of 1020 for limit 34004.14349409417
334.61/331.10	c cleaning 502 clauses out of 1022 for limit 56023.66480667264
334.72/331.14	c cleaning 497 clauses out of 1019 for limit 92569.8589441978
334.72/331.19	c cleaning 504 clauses out of 1023 for limit 152215.3851950163
334.82/331.24	c cleaning 500 clauses out of 1018 for limit 252004.20175399247
334.82/331.28	c cleaning 503 clauses out of 1019 for limit 415596.3979220711
334.91/331.33	c cleaning 501 clauses out of 1015 for limit 687386.9641337966
334.91/331.37	c cleaning 500 clauses out of 1015 for limit 1134727.7886281458
335.01/331.42	c cleaning 501 clauses out of 1015 for limit 1871317.924615542
335.01/331.46	c cleaning 498 clauses out of 1015 for limit 3089142.740865083
335.11/331.51	c cleaning 508 clauses out of 1017 for limit 5084391.133113125
335.11/331.55	c cleaning 503 clauses out of 1007 for limit 8451178.963562375
335.11/331.59	c cleaning 493 clauses out of 1004 for limit 1.3978769484297905E7
335.21/331.63	c cleaning 498 clauses out of 1012 for limit 2.289351838957154E7
335.21/331.67	c cleaning 494 clauses out of 1013 for limit 3.767948729508066E7
335.31/331.72	c cleaning 509 clauses out of 1019 for limit 6.1772635838167675E7
335.31/331.76	c cleaning 505 clauses out of 1010 for limit 1.0277910471096396E8
335.41/331.81	c cleaning 503 clauses out of 1006 for limit 1.703407763062552E8
335.41/331.85	c cleaning 501 clauses out of 1002 for limit 2.8175410784587204E8
335.41/331.89	c cleaning 493 clauses out of 1001 for limit 4.651144022582441E8
335.51/331.94	c cleaning 496 clauses out of 1009 for limit 7.617160342568544E8
335.51/331.98	c cleaning 498 clauses out of 1012 for limit 1.251195364250073E9
335.61/332.02	c cleaning 495 clauses out of 1014 for limit 2.0593187376927552E9
335.61/332.07	c cleaning 498 clauses out of 1019 for limit 3.3794282418410068E9
335.71/332.11	c cleaning 504 clauses out of 1022 for limit 5.562332115488775E9
335.71/332.15	c cleaning 497 clauses out of 1018 for limit 9.209073112912437E9
335.71/332.19	c cleaning 510 clauses out of 1020 for limit 1.5142057897152481E10
335.82/332.24	c cleaning 505 clauses out of 1011 for limit 2.5218794188335335E10
335.82/332.28	c cleaning 502 clauses out of 1005 for limit 4.179562139197982E10
335.92/332.32	c cleaning 501 clauses out of 1003 for limit 6.906401181310031E10
335.92/332.37	c cleaning 493 clauses out of 1002 for limit 1.1400946315578896E11
336.01/332.41	c cleaning 495 clauses out of 1009 for limit 1.8671247806771362E11
336.01/332.45	c cleaning 506 clauses out of 1014 for limit 3.063955413911648E11
336.01/332.49	c cleaning 495 clauses out of 1008 for limit 5.0829489873895416E11
336.11/332.53	c cleaning 495 clauses out of 1013 for limit 8.341088418435455E11
336.11/332.58	c cleaning 501 clauses out of 1018 for limit 1.3688008910935479E12
491.38/486.82	c cleaning 366002 clauses out of 732018 for limit 1.3346380513840128E7
511.68/507.16	c cleaning 183252 clauses out of 366515 for limit 4.391520202068773E7
522.58/518.03	c cleaning 91876 clauses out of 183763 for limit 1.4444564515787923E8
524.89/520.35	c cleaning 46187 clauses out of 92387 for limit 4.738136274223275E8
525.28/520.71	c cleaning 23340 clauses out of 46700 for limit 1.5458146493625822E9
525.58/521.04	c cleaning 11921 clauses out of 23860 for limit 4.989531249243277E9
525.68/521.15	c cleaning 6208 clauses out of 12440 for limit 1.5797930711158411E10
525.78/521.22	c cleaning 3365 clauses out of 6731 for limit 4.810191535303808E10
525.78/521.27	c cleaning 1933 clauses out of 3866 for limit 1.3811345755708008E11
525.88/521.33	c cleaning 1209 clauses out of 2434 for limit 3.621326412220582E11
525.88/521.38	c cleaning 863 clauses out of 1726 for limit 8.430199523234268E11
525.99/521.44	c cleaning 680 clauses out of 1361 for limit 1.7595733802692852E12
525.99/521.49	c cleaning 583 clauses out of 1182 for limit 3.3445556807939497E12
526.09/521.53	c cleaning 541 clauses out of 1100 for limit 5.932716842062967E12
526.09/521.58	c cleaning 529 clauses out of 1058 for limit 1.0162066051827012E13
526.18/521.62	c cleaning 514 clauses out of 1028 for limit 1.723042309398725E13
526.18/521.67	c cleaning 499 clauses out of 1014 for limit 2.8807594046446336E13
526.28/521.71	c cleaning 501 clauses out of 1016 for limit 4.746151906146714E13
526.28/521.76	c cleaning 498 clauses out of 1015 for limit 7.83475079096736E13
526.38/521.81	c cleaning 500 clauses out of 1016 for limit 1.2894927254518853E14
526.38/521.85	c cleaning 508 clauses out of 1016 for limit 2.1265460095207306E14
526.48/521.90	c cleaning 504 clauses out of 1009 for limit 3.534823421635882E14
526.48/521.95	c cleaning 502 clauses out of 1004 for limit 5.852569135004368E14
526.58/522.00	c cleaning 492 clauses out of 1003 for limit 9.670963210567444E14
526.58/522.05	c cleaning 499 clauses out of 1012 for limit 1.5822698418591902E15
526.68/522.10	c cleaning 494 clauses out of 1011 for limit 2.6067343260227505E15
526.68/522.15	c cleaning 500 clauses out of 1017 for limit 4.2734916579940585E15
526.68/522.19	c cleaning 500 clauses out of 1017 for limit 7.047559441518135E15
526.78/522.23	c cleaning 509 clauses out of 1018 for limit 1.1622574033972982E16
526.78/522.27	c cleaning 504 clauses out of 1009 for limit 1.93381453436644E16
526.88/522.31	c cleaning 503 clauses out of 1006 for limit 3.201830994080136E16
526.88/522.35	c cleaning 496 clauses out of 1001 for limit 5.29601456748537E-4
526.88/522.39	c cleaning 491 clauses out of 1005 for limit 8.699074971588848E-4
526.98/522.44	c cleaning 502 clauses out of 1015 for limit 0.0014218817893191173
526.98/522.48	c cleaning 501 clauses out of 1013 for limit 0.0023495028487935314
527.09/522.53	c cleaning 496 clauses out of 1011 for limit 0.0038784271733453323
527.09/522.57	c cleaning 499 clauses out of 1015 for limit 0.006370839165874115
527.19/522.61	c cleaning 501 clauses out of 1017 for limit 0.010496200774072343
527.19/522.65	c cleaning 499 clauses out of 1016 for limit 0.017326676279552713
527.28/522.70	c cleaning 497 clauses out of 1016 for limit 0.02854543309915954
527.28/522.74	c cleaning 501 clauses out of 1020 for limit 0.04693756671078707
527.28/522.79	c cleaning 498 clauses out of 1018 for limit 0.07748084359746192
527.38/522.84	c cleaning 502 clauses out of 1020 for limit 0.127525734575807
527.38/522.89	c cleaning 500 clauses out of 1018 for limit 0.21072017321328204
527.48/522.93	c cleaning 501 clauses out of 1018 for limit 0.34750575526914174
527.48/522.98	c cleaning 500 clauses out of 1017 for limit 0.5736469828394578
527.58/523.02	c cleaning 503 clauses out of 1018 for limit 0.9460373598467455
527.58/523.07	c cleaning 500 clauses out of 1014 for limit 1.5647302753916243
527.68/523.12	c cleaning 499 clauses out of 1014 for limit 2.580449549992041
679.60/673.37	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
683.80/677.53		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
685.70/679.42		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(Unknown Source)
687.60/681.31		at org.sat4j.minisat.constraints.AbstractPBDataStructureFactory.createUnregisteredClause(Unknown Source)
690.39/684.15		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
692.30/686.05		at org.sat4j.minisat.core.Solver.search(Unknown Source)
694.70/688.42		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
696.99/690.78		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3731307-1338684708/watcher-3731307-1338684708 -o /tmp/evaluation-result-3731307-1338684708/solver-3731307-1338684708 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731307-1338684708.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 28780
/proc/meminfo: memFree=28425944/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28780/stat : 28780 (java) D 28778 28780 28047 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334599424 9515008 182 33554432000 1073741824 1073778376 140734535751632 140734535742664 245294251701 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/28780/statm: 2323 182 140 9 0 71 0

[startup+0.105646 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 28780
/proc/meminfo: memFree=28425944/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 4664 0 1 0 7 1 0 0 20 0 18 0 334599424 3028844544 5866 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 739464 5868 2048 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.200325 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 28780
/proc/meminfo: memFree=28425944/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=2957856 CPUtime=0.25 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 5489 0 1 0 24 1 0 0 20 0 18 0 334599424 3028844544 7052 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 739464 7052 2216 9 0 729885 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 2957856

[startup+0.300352 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 28780
/proc/meminfo: memFree=28425944/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 6109 0 1 0 44 1 0 0 20 0 18 0 334599424 3028844544 8993 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 739464 8993 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856

[startup+0.700307 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 28780
/proc/meminfo: memFree=28425944/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=3024420 CPUtime=1.25 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 8555 0 1 0 123 2 0 0 20 0 19 0 334599424 3097006080 15642 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 756105 15642 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 28800
/proc/meminfo: memFree=28366144/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=3024420 CPUtime=2.09 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 8574 0 1 0 207 2 0 0 20 0 19 0 334599424 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 756105 18726 2276 9 0 746526 0
[pid=28780/tid=28782] ppid=28778 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/28780/task/28782/stat : 28782 (java) R 28778 28780 28047 0 -1 4202560 3111 0 1 0 144 2 0 0 20 0 19 0 334599425 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197263340168 140197136330999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28783] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28783/stat : 28783 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197129263656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28784] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28784/stat : 28784 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197060667816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28785] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28785/stat : 28785 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197059615016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28780/tid=28786] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28786/stat : 28786 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197058562216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28787] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28787/stat : 28787 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197057510440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28788] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28788/stat : 28788 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197056457640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28789] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28789/stat : 28789 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197055404840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28790] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28790/stat : 28790 (java) S 28778 28780 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197054352040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28791] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28791/stat : 28791 (java) S 28778 28780 28047 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334599427 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197042153960 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28792] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28792/stat : 28792 (java) S 28778 28780 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334599428 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197041100024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28793] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28793/stat : 28793 (java) S 28778 28780 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334599428 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197040047112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28794] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28794/stat : 28794 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197038995600 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28795] ppid=28778 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28780/task/28795/stat : 28795 (java) S 28778 28780 28047 0 -1 4202560 2100 0 0 0 31 0 0 0 20 0 19 0 334599431 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197037943736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28796] ppid=28778 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/28780/task/28796/stat : 28796 (java) S 28778 28780 28047 0 -1 4202560 2164 0 0 0 29 0 0 0 20 0 19 0 334599431 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197036890936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28797] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28797/stat : 28797 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197035838328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28798] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28798/stat : 28798 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197034785736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28800] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28800/stat : 28800 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599470 3097006080 18726 33554432000 1073741824 1073778376 140735556528704 140197032584232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 3024420

[startup+3.10082 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 28800
/proc/meminfo: memFree=28348900/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=3024420 CPUtime=3.74 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 8648 0 1 0 371 3 0 0 20 0 19 0 334599424 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 756105 24363 2276 9 0 746526 0
[pid=28780/tid=28782] ppid=28778 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/28780/task/28782/stat : 28782 (java) R 28778 28780 28047 0 -1 4202560 3123 0 1 0 303 2 0 0 20 0 19 0 334599425 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197263338136 140197136304854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28783] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28783/stat : 28783 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197129263656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28784] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28784/stat : 28784 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197060667816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28785] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28785/stat : 28785 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197059615016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28780/tid=28786] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28786/stat : 28786 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197058562216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28787] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28787/stat : 28787 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197057510440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28788] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28788/stat : 28788 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197056457640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28789] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28789/stat : 28789 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197055404840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28790] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28790/stat : 28790 (java) S 28778 28780 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197054352040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28791] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28791/stat : 28791 (java) S 28778 28780 28047 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334599427 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197042153960 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28792] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28792/stat : 28792 (java) S 28778 28780 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334599428 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197041100024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28793] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28793/stat : 28793 (java) S 28778 28780 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334599428 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197040047112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28794] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28794/stat : 28794 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197038995600 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28795] ppid=28778 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/28780/task/28795/stat : 28795 (java) S 28778 28780 28047 0 -1 4202560 2102 0 0 0 32 0 0 0 20 0 19 0 334599431 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197037943736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28796] ppid=28778 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28780/task/28796/stat : 28796 (java) S 28778 28780 28047 0 -1 4202560 2224 0 0 0 31 0 0 0 20 0 19 0 334599431 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197036890936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28797] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28797/stat : 28797 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197035838328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28798] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28798/stat : 28798 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197034785736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28800] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28800/stat : 28800 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599470 3097006080 24363 33554432000 1073741824 1073778376 140735556528704 140197032584232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 3024420

[startup+6.30085 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 28800
/proc/meminfo: memFree=28301300/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=3024420 CPUtime=6.95 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 8671 0 1 0 692 3 0 0 20 0 19 0 334599424 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 756105 35571 2276 9 0 746526 0
[pid=28780/tid=28782] ppid=28778 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/28780/task/28782/stat : 28782 (java) R 28778 28780 28047 0 -1 4202560 3146 0 1 0 622 2 0 0 20 0 19 0 334599425 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197263339944 140197136345144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28783] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28783/stat : 28783 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197129263656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28784] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28784/stat : 28784 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197060667816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28785] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28785/stat : 28785 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197059615016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28780/tid=28786] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28786/stat : 28786 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197058562216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28787] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28787/stat : 28787 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197057510440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28788] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28788/stat : 28788 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197056457640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28789] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28789/stat : 28789 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197055404840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28790] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28790/stat : 28790 (java) S 28778 28780 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334599426 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197054352040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28791] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28791/stat : 28791 (java) S 28778 28780 28047 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334599427 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197042153960 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28792] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28792/stat : 28792 (java) S 28778 28780 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334599428 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197041100024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28793] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28793/stat : 28793 (java) S 28778 28780 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334599428 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197040047112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28794] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28794/stat : 28794 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197038995600 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28795] ppid=28778 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/28780/task/28795/stat : 28795 (java) S 28778 28780 28047 0 -1 4202560 2102 0 0 0 32 0 0 0 20 0 19 0 334599431 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197037943736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28796] ppid=28778 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/28780/task/28796/stat : 28796 (java) S 28778 28780 28047 0 -1 4202560 2224 0 0 0 32 0 0 0 20 0 19 0 334599431 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197036890936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28797] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28797/stat : 28797 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197035838328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28798] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28798/stat : 28798 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197034785736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28800] ppid=28778 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28800/stat : 28800 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599470 3097006080 35571 33554432000 1073741824 1073778376 140735556528704 140197032584232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 3024420

[startup+12.7009 s]

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

/proc/28780/task/28790/stat : 28790 (java) S 28778 28780 28047 0 -1 4202560 577 0 0 0 83 18 0 0 20 0 20 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197054352040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28791] ppid=28778 vsize=3090984 CPUtime=31.19 cores=1,3,5,7
/proc/28780/task/28791/stat : 28791 (java) R 28778 28780 28047 0 -1 4202560 237 0 0 0 3113 6 0 0 20 0 20 0 334599427 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197042153776 140197269466255 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28792] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28792/stat : 28792 (java) S 28778 28780 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197041100024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28793] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28793/stat : 28793 (java) S 28778 28780 28047 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197040047112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28794] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28794/stat : 28794 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197038995600 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28795] ppid=28778 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/28780/task/28795/stat : 28795 (java) S 28778 28780 28047 0 -1 4202560 2136 0 0 0 39 0 0 0 20 0 20 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197037943736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28796] ppid=28778 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/28780/task/28796/stat : 28796 (java) S 28778 28780 28047 0 -1 4202560 2235 0 0 0 37 0 0 0 20 0 20 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197036890936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28797] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28797/stat : 28797 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197035838328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28798] ppid=28778 vsize=3090984 CPUtime=0.27 cores=1,3,5,7
/proc/28780/task/28798/stat : 28798 (java) S 28778 28780 28047 0 -1 4202560 41 0 0 0 14 13 0 0 20 0 20 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197034785736 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28800] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28800/stat : 28800 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 334599470 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197032584232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 3090984

[startup+696.801 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 28888
/proc/meminfo: memFree=27934828/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=3090984 CPUtime=703.03 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 13447 0 1 0 70127 176 0 0 20 0 19 0 334599424 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 772746 419604 2304 9 0 763167 0
[pid=28780/tid=28782] ppid=28778 vsize=3090984 CPUtime=661.03 cores=1,3,5,7
/proc/28780/task/28782/stat : 28782 (java) S 28778 28780 28047 0 -1 4202560 3361 0 1 0 66085 18 0 0 20 0 19 0 334599425 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197263342744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28783] ppid=28778 vsize=3090984 CPUtime=0.88 cores=1,3,5,7
/proc/28780/task/28783/stat : 28783 (java) S 28778 28780 28047 0 -1 4202560 506 0 0 0 67 21 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197129263656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28784] ppid=28778 vsize=3090984 CPUtime=0.82 cores=1,3,5,7
/proc/28780/task/28784/stat : 28784 (java) S 28778 28780 28047 0 -1 4202560 472 0 0 0 63 19 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197060667816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28785] ppid=28778 vsize=3090984 CPUtime=0.81 cores=1,3,5,7
/proc/28780/task/28785/stat : 28785 (java) S 28778 28780 28047 0 -1 4202560 392 0 0 0 63 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197059615016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28786] ppid=28778 vsize=3090984 CPUtime=0.95 cores=1,3,5,7
/proc/28780/task/28786/stat : 28786 (java) S 28778 28780 28047 0 -1 4202560 632 0 0 0 77 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197058562216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28787] ppid=28778 vsize=3090984 CPUtime=1 cores=1,3,5,7
/proc/28780/task/28787/stat : 28787 (java) S 28778 28780 28047 0 -1 4202560 468 0 0 0 82 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197057510440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28780/tid=28788] ppid=28778 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/28780/task/28788/stat : 28788 (java) S 28778 28780 28047 0 -1 4202560 618 0 0 0 60 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197056457640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28789] ppid=28778 vsize=3090984 CPUtime=0.89 cores=1,3,5,7
/proc/28780/task/28789/stat : 28789 (java) S 28778 28780 28047 0 -1 4202560 571 0 0 0 71 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197055404840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28790] ppid=28778 vsize=3090984 CPUtime=1.01 cores=1,3,5,7
/proc/28780/task/28790/stat : 28790 (java) S 28778 28780 28047 0 -1 4202560 577 0 0 0 83 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197054352040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28791] ppid=28778 vsize=3090984 CPUtime=31.99 cores=1,3,5,7
/proc/28780/task/28791/stat : 28791 (java) R 28778 28780 28047 0 -1 4202560 237 0 0 0 3193 6 0 0 20 0 19 0 334599427 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197042154120 140197269848180 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28792] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28792/stat : 28792 (java) S 28778 28780 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197041100024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28793] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28793/stat : 28793 (java) S 28778 28780 28047 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197040047112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28794] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28794/stat : 28794 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197038995144 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28795] ppid=28778 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/28780/task/28795/stat : 28795 (java) S 28778 28780 28047 0 -1 4202560 2136 0 0 0 39 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197037943736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28796] ppid=28778 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/28780/task/28796/stat : 28796 (java) S 28778 28780 28047 0 -1 4202560 2235 0 0 0 37 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197036890936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28797] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28797/stat : 28797 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197035838328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28800] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28800/stat : 28800 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599470 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197032584232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28888] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28888/stat : 28888 (java) S 28778 28780 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334669021 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197031530856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 703.03
Current children cumulated vsize (KiB) 3090984

[startup+697.201 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 28888
/proc/meminfo: memFree=27934828/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=3090984 CPUtime=703.43 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 13447 0 1 0 70167 176 0 0 20 0 19 0 334599424 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 772746 419604 2304 9 0 763167 0
[pid=28780/tid=28782] ppid=28778 vsize=3090984 CPUtime=661.03 cores=1,3,5,7
/proc/28780/task/28782/stat : 28782 (java) S 28778 28780 28047 0 -1 4202560 3361 0 1 0 66085 18 0 0 20 0 19 0 334599425 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197263342744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28783] ppid=28778 vsize=3090984 CPUtime=0.88 cores=1,3,5,7
/proc/28780/task/28783/stat : 28783 (java) S 28778 28780 28047 0 -1 4202560 506 0 0 0 67 21 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197129263656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28784] ppid=28778 vsize=3090984 CPUtime=0.82 cores=1,3,5,7
/proc/28780/task/28784/stat : 28784 (java) S 28778 28780 28047 0 -1 4202560 472 0 0 0 63 19 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197060667816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28785] ppid=28778 vsize=3090984 CPUtime=0.81 cores=1,3,5,7
/proc/28780/task/28785/stat : 28785 (java) S 28778 28780 28047 0 -1 4202560 392 0 0 0 63 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197059615016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28786] ppid=28778 vsize=3090984 CPUtime=0.95 cores=1,3,5,7
/proc/28780/task/28786/stat : 28786 (java) S 28778 28780 28047 0 -1 4202560 632 0 0 0 77 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197058562216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28787] ppid=28778 vsize=3090984 CPUtime=1 cores=1,3,5,7
/proc/28780/task/28787/stat : 28787 (java) S 28778 28780 28047 0 -1 4202560 468 0 0 0 82 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197057510440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28780/tid=28788] ppid=28778 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/28780/task/28788/stat : 28788 (java) S 28778 28780 28047 0 -1 4202560 618 0 0 0 60 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197056457640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28789] ppid=28778 vsize=3090984 CPUtime=0.89 cores=1,3,5,7
/proc/28780/task/28789/stat : 28789 (java) S 28778 28780 28047 0 -1 4202560 571 0 0 0 71 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197055404840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28790] ppid=28778 vsize=3090984 CPUtime=1.01 cores=1,3,5,7
/proc/28780/task/28790/stat : 28790 (java) S 28778 28780 28047 0 -1 4202560 577 0 0 0 83 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197054352040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28791] ppid=28778 vsize=3090984 CPUtime=32.39 cores=1,3,5,7
/proc/28780/task/28791/stat : 28791 (java) R 28778 28780 28047 0 -1 4202560 237 0 0 0 3233 6 0 0 20 0 19 0 334599427 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197042154120 245293924628 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28792] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28792/stat : 28792 (java) S 28778 28780 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197041100024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28793] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28793/stat : 28793 (java) S 28778 28780 28047 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197040047112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28794] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28794/stat : 28794 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197038995144 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28795] ppid=28778 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/28780/task/28795/stat : 28795 (java) S 28778 28780 28047 0 -1 4202560 2136 0 0 0 39 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197037943736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28796] ppid=28778 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/28780/task/28796/stat : 28796 (java) S 28778 28780 28047 0 -1 4202560 2235 0 0 0 37 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197036890936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28797] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28797/stat : 28797 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197035838328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28800] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28800/stat : 28800 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599470 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197032584232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28888] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28888/stat : 28888 (java) S 28778 28780 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334669021 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197031530856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 703.43
Current children cumulated vsize (KiB) 3090984

[startup+697.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 28888
/proc/meminfo: memFree=27934828/32873844 swapFree=7372/7372
[pid=28780] ppid=28778 vsize=3090984 CPUtime=703.53 cores=1,3,5,7
/proc/28780/stat : 28780 (java) S 28778 28780 28047 0 -1 4202496 13447 0 1 0 70177 176 0 0 20 0 19 0 334599424 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140735556519840 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28780/statm: 772746 419604 2304 9 0 763167 0
[pid=28780/tid=28782] ppid=28778 vsize=3090984 CPUtime=661.03 cores=1,3,5,7
/proc/28780/task/28782/stat : 28782 (java) S 28778 28780 28047 0 -1 4202560 3361 0 1 0 66085 18 0 0 20 0 19 0 334599425 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197263342744 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28783] ppid=28778 vsize=3090984 CPUtime=0.88 cores=1,3,5,7
/proc/28780/task/28783/stat : 28783 (java) S 28778 28780 28047 0 -1 4202560 506 0 0 0 67 21 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197129263656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28784] ppid=28778 vsize=3090984 CPUtime=0.82 cores=1,3,5,7
/proc/28780/task/28784/stat : 28784 (java) S 28778 28780 28047 0 -1 4202560 472 0 0 0 63 19 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197060667816 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28785] ppid=28778 vsize=3090984 CPUtime=0.81 cores=1,3,5,7
/proc/28780/task/28785/stat : 28785 (java) S 28778 28780 28047 0 -1 4202560 392 0 0 0 63 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197059615016 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28786] ppid=28778 vsize=3090984 CPUtime=0.95 cores=1,3,5,7
/proc/28780/task/28786/stat : 28786 (java) S 28778 28780 28047 0 -1 4202560 632 0 0 0 77 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197058562216 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28787] ppid=28778 vsize=3090984 CPUtime=1 cores=1,3,5,7
/proc/28780/task/28787/stat : 28787 (java) S 28778 28780 28047 0 -1 4202560 468 0 0 0 82 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197057510440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28780/tid=28788] ppid=28778 vsize=3090984 CPUtime=0.78 cores=1,3,5,7
/proc/28780/task/28788/stat : 28788 (java) S 28778 28780 28047 0 -1 4202560 618 0 0 0 60 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197056457640 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28789] ppid=28778 vsize=3090984 CPUtime=0.89 cores=1,3,5,7
/proc/28780/task/28789/stat : 28789 (java) S 28778 28780 28047 0 -1 4202560 571 0 0 0 71 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197055404840 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28790] ppid=28778 vsize=3090984 CPUtime=1.01 cores=1,3,5,7
/proc/28780/task/28790/stat : 28790 (java) S 28778 28780 28047 0 -1 4202560 577 0 0 0 83 18 0 0 20 0 19 0 334599426 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197054352040 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28791] ppid=28778 vsize=3090984 CPUtime=32.49 cores=1,3,5,7
/proc/28780/task/28791/stat : 28791 (java) R 28778 28780 28047 0 -1 4202560 237 0 0 0 3243 6 0 0 20 0 19 0 334599427 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197042154120 245293924670 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28780/tid=28792] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28792/stat : 28792 (java) S 28778 28780 28047 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197041100024 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28793] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28793/stat : 28793 (java) S 28778 28780 28047 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 334599428 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197040047112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28794] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28794/stat : 28794 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197038995144 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28795] ppid=28778 vsize=3090984 CPUtime=0.39 cores=1,3,5,7
/proc/28780/task/28795/stat : 28795 (java) S 28778 28780 28047 0 -1 4202560 2136 0 0 0 39 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197037943736 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28796] ppid=28778 vsize=3090984 CPUtime=0.37 cores=1,3,5,7
/proc/28780/task/28796/stat : 28796 (java) S 28778 28780 28047 0 -1 4202560 2235 0 0 0 37 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197036890936 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28797] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28797/stat : 28797 (java) S 28778 28780 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334599431 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197035838328 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28780/tid=28800] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28800/stat : 28800 (java) S 28778 28780 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334599470 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197032584232 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28780/tid=28888] ppid=28778 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/28780/task/28888/stat : 28888 (java) S 28778 28780 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334669021 3165167616 419604 33554432000 1073741824 1073778376 140735556528704 140197031530856 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 703.53
Current children cumulated vsize (KiB) 3090984

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28780 and gives
#  childrusage.ru_utime.tv_sec=700
#  childrusage.ru_utime.tv_usec=15581
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=991697
# CPU time returned by wait4() is 702.007
# while last known CPU time is 703.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 697.366
CPU time (s): 703.53
CPU user time (s): 701.77
CPU system time (s): 1.76
CPU usage (%): 100.884
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 700.016
system time used= 1.9917
maximum resident set size= 1678444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13456
page faults= 1
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15334
involuntary context switches= 6702

runsolver used 3.22451 second user time and 7.92179 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-03 02:51:48
IDJOB=3731307
IDBENCH=1873
IDSOLVER=2319
FILE ID=node109/3731307-1338684708
RUNJOBID= node109-1338678620-28067
PBS_JOBID= 14636704
Free space on /tmp= 70712 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731307-1338684708/watcher-3731307-1338684708 -o /tmp/evaluation-result-3731307-1338684708/solver-3731307-1338684708 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731307-1338684708.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0
RANDOM SEED=1538485545

node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28426968 kB
Buffers:          334056 kB
Cached:          1559556 kB
SwapCached:          944 kB
Active:          2571148 kB
Inactive:         998244 kB
Active(anon):    1670080 kB
Inactive(anon):     7796 kB
Active(file):     901068 kB
Inactive(file):   990448 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105492 kB
Dirty:              3924 kB
Writeback:             0 kB
AnonPages:       1759572 kB
Mapped:            18408 kB
Shmem:                 4 kB
Slab:             736100 kB
SReclaimable:     178456 kB
SUnreclaim:       557644 kB
KernelStack:        1760 kB
PageTables:         7524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1722368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70704 MiB
End job on node109 at 2012-06-03 03:03:26