Trace number 3741345

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-23SAT (TO)-54 1800.57 1796.52

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
MD5SUMf076140978d89a37e97e041a8b1e6b8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-63
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables462
Total number of constraints5852
Number of constraints which are clauses5852
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 462
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 462
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 462
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.01/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.07	c no version file found!!!
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version	1.6.0_24
0.01/0.07	c os.name	Linux
0.01/0.07	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.07	c os.arch	amd64
0.01/0.07	c Free memory 1599470296
0.01/0.07	c Max memory 1607860224
0.01/0.07	c Total memory 1607860224
0.01/0.07	c Number of processors 8
0.01/0.09	--- Begin Solver configuration ---
0.01/0.09	c Stops conflict analysis at the first Unique Implication Point
0.01/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.01/0.09	c Learn all clauses as in MiniSAT
0.01/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.01/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.01/0.09	c No reason simplification
0.01/0.09	c --- End Solver configuration ---
0.01/0.09	c solving HOME/instance-3741345-1338742675.opb
0.01/0.09	c reading problem ... 
0.46/0.36	c ... done. Wall clock time 0.278s.
0.46/0.36	c CPU time (experimental) 0.34s.
0.46/0.36	c #vars     462
0.46/0.36	c #constraints  5852
0.46/0.38	c SATISFIABLE
0.46/0.38	c OPTIMIZING...
0.46/0.38	c Got one! Elapsed wall clock time (in seconds):0.289
0.46/0.38	o -53
0.76/0.40	c Got one! Elapsed wall clock time (in seconds):0.313
0.76/0.40	o -54
585.69/583.22	c cleaning 390246 clauses out of 780502 for limit 1.7576590074614652E13
608.40/605.94	c cleaning 195373 clauses out of 390757 for limit 5.795518232989326E-7
611.30/608.89	c cleaning 97937 clauses out of 195883 for limit 1.9046872370208462E-6
613.11/610.65	c cleaning 49216 clauses out of 98448 for limit 6.262365785567758E-6
613.71/611.23	c cleaning 24860 clauses out of 49730 for limit 2.040392569020599E-5
613.91/611.42	c cleaning 12678 clauses out of 25370 for limit 6.595802032916064E-5
614.01/611.51	c cleaning 6589 clauses out of 13192 for limit 2.0918634114893618E-4
614.01/611.59	c cleaning 3545 clauses out of 7104 for limit 6.412559568502908E-4
614.12/611.68	c cleaning 2020 clauses out of 4059 for limit 0.0018508499046613314
614.21/611.74	c cleaning 1261 clauses out of 2539 for limit 0.004879591188198645
614.21/611.77	c cleaning 878 clauses out of 1778 for limit 0.011491329286136383
614.31/611.80	c cleaning 689 clauses out of 1400 for limit 0.024067438879717004
614.31/611.83	c cleaning 597 clauses out of 1210 for limit 0.04587688459411411
614.31/611.86	c cleaning 547 clauses out of 1113 for limit 0.0822507773536142
614.31/611.90	c cleaning 524 clauses out of 1066 for limit 0.14162302217847939
614.41/611.94	c cleaning 511 clauses out of 1042 for limit 0.23893470248781737
614.41/611.98	c cleaning 501 clauses out of 1031 for limit 0.3982393507591478
614.51/612.01	c cleaning 504 clauses out of 1030 for limit 0.6573875862341961
614.51/612.05	c cleaning 505 clauses out of 1026 for limit 1.088346662418363
614.51/612.08	c cleaning 504 clauses out of 1023 for limit 1.803698264434501
614.61/612.11	c cleaning 499 clauses out of 1017 for limit 2.9861074542754227
614.61/612.14	c cleaning 508 clauses out of 1022 for limit 4.920048941465955
614.61/612.18	c cleaning 503 clauses out of 1014 for limit 8.177833247120217
614.71/612.21	c cleaning 492 clauses out of 1007 for limit 13.525850255142982
614.71/612.25	c cleaning 502 clauses out of 1015 for limit 22.130126189449964
614.71/612.28	c cleaning 499 clauses out of 1014 for limit 36.56809835550015
614.81/612.31	c cleaning 498 clauses out of 1014 for limit 60.24538049471561
614.81/612.35	c cleaning 498 clauses out of 1016 for limit 99.15711575340472
614.81/612.38	c cleaning 503 clauses out of 1019 for limit 163.20513100053273
614.91/612.41	c cleaning 502 clauses out of 1017 for limit 269.9463367022032
614.91/612.44	c cleaning 497 clauses out of 1013 for limit 446.04205630130195
614.91/612.48	c cleaning 498 clauses out of 1016 for limit 733.411024169514
615.01/612.51	c cleaning 502 clauses out of 1019 for limit 1207.1392089952997
615.01/612.54	c cleaning 496 clauses out of 1017 for limit 1994.6489583679565
615.01/612.58	c cleaning 503 clauses out of 1022 for limit 3276.6264329217424
615.12/612.61	c cleaning 499 clauses out of 1017 for limit 5419.306782647563
615.12/612.64	c cleaning 502 clauses out of 1020 for limit 8928.724616790218
615.12/612.67	c cleaning 500 clauses out of 1016 for limit 14753.081981903311
615.22/612.71	c cleaning 499 clauses out of 1016 for limit 24329.805820156445
615.22/612.74	c cleaning 501 clauses out of 1017 for limit 40083.65216707994
615.22/612.77	c cleaning 499 clauses out of 1019 for limit 66171.88038971969
615.31/612.80	c cleaning 497 clauses out of 1018 for limit 109015.12209399896
615.31/612.83	c cleaning 500 clauses out of 1020 for limit 179248.58128207707
615.31/612.86	c cleaning 503 clauses out of 1023 for limit 295623.9988904319
615.41/612.90	c cleaning 498 clauses out of 1017 for limit 488930.0384170228
615.41/612.93	c cleaning 501 clauses out of 1020 for limit 804744.2824600051
615.41/612.96	c cleaning 498 clauses out of 1018 for limit 1328408.5702488201
615.51/613.00	c cleaning 504 clauses out of 1021 for limit 2186472.923114415
615.51/613.04	c cleaning 499 clauses out of 1017 for limit 3619968.4018763057
615.51/613.07	c cleaning 508 clauses out of 1017 for limit 5963842.353237477
615.61/613.10	c cleaning 504 clauses out of 1009 for limit 9913153.443824254
615.61/613.13	c cleaning 494 clauses out of 1005 for limit 1.641318331590975E7
615.61/613.17	c cleaning 495 clauses out of 1011 for limit 2.6906896814379614E7
615.71/613.20	c cleaning 510 clauses out of 1020 for limit 4.4157912155607894E7
615.71/613.23	c cleaning 504 clauses out of 1009 for limit 7.354258852677202E7
615.71/613.26	c cleaning 501 clauses out of 1002 for limit 1.217628229817794E8
615.71/613.29	c cleaning 494 clauses out of 1003 for limit 2.010047902351622E8
615.81/613.33	c cleaning 495 clauses out of 1007 for limit 3.295070669335484E8
615.81/613.37	c cleaning 506 clauses out of 1013 for limit 5.407233913859397E8
615.91/613.40	c cleaning 504 clauses out of 1008 for limit 8.970454946956414E8
615.91/613.43	c cleaning 494 clauses out of 1002 for limit 1.4852314721745903E9
615.91/613.46	c cleaning 504 clauses out of 1009 for limit 2.434787690668057E9
616.01/613.50	c cleaning 491 clauses out of 1004 for limit 4.031251802133233E9
616.01/613.53	c cleaning 507 clauses out of 1014 for limit 6.58909975753587E9
616.01/613.56	c cleaning 503 clauses out of 1006 for limit 1.094176623910398E10
616.01/613.60	c cleaning 501 clauses out of 1003 for limit 1.8098407686272835E10
616.12/613.63	c cleaning 501 clauses out of 1002 for limit 2.9876482557521797E10
616.12/613.65	c cleaning 493 clauses out of 1002 for limit 4.93196361778623E10
616.12/613.68	c cleaning 500 clauses out of 1009 for limit 8.077041355403629E10
616.23/613.72	c cleaning 504 clauses out of 1009 for limit 1.3320121722321724E11
616.23/613.75	c cleaning 502 clauses out of 1004 for limit 2.205398232607717E11
616.23/613.79	c cleaning 501 clauses out of 1003 for limit 3.644267103934651E11
616.33/613.81	c cleaning 500 clauses out of 1001 for limit 6.015869844174634E11
616.33/613.85	c cleaning 493 clauses out of 1002 for limit 9.920993983879285E11
616.33/613.88	c cleaning 498 clauses out of 1011 for limit 1.6247878499050266E12
616.43/613.91	c cleaning 505 clauses out of 1011 for limit 2.674136219166302E12
616.43/613.94	c cleaning 495 clauses out of 1006 for limit 4.43192689558931E12
616.43/613.97	c cleaning 502 clauses out of 1010 for limit 7.272614546608442E12
616.53/614.00	c cleaning 498 clauses out of 1010 for limit 1.2017537357502904E13
616.53/614.03	c cleaning 506 clauses out of 1013 for limit 1.9779613816883547E13
616.53/614.06	c cleaning 502 clauses out of 1004 for limit 3.281299650679804E13
616.53/614.09	c cleaning 501 clauses out of 1002 for limit 5.422103090557308E13
616.63/614.12	c cleaning 493 clauses out of 1002 for limit 8.950724076379677E13
616.63/614.16	c cleaning 497 clauses out of 1008 for limit 1.4658405583254112E14
616.63/614.19	c cleaning 490 clauses out of 1011 for limit 2.4101939809483147E14
616.73/614.22	c cleaning 510 clauses out of 1021 for limit 3.935802507263726E14
616.73/614.26	c cleaning 496 clauses out of 1011 for limit 6.554865300404069E14
616.73/614.29	c cleaning 508 clauses out of 1016 for limit 1.0767419114072804E15
616.83/614.32	c cleaning 503 clauses out of 1007 for limit 1.789770026455973E15
616.83/614.36	c cleaning 502 clauses out of 1004 for limit 2.9603896376592385E15
616.83/614.39	c cleaning 488 clauses out of 1002 for limit 4.891823214097651E15
616.93/614.42	c cleaning 507 clauses out of 1014 for limit 7.971800234952175E15
616.93/614.46	c cleaning 496 clauses out of 1008 for limit 1.323805645555588E16
616.93/614.49	c cleaning 488 clauses out of 1011 for limit 2.1744778123112996E16
617.03/614.52	c cleaning 511 clauses out of 1023 for limit 3.5439402363998548E16
617.03/614.56	c cleaning 502 clauses out of 1012 for limit 5.907957979553864E-4
617.03/614.59	c cleaning 498 clauses out of 1010 for limit 9.762306155932679E-4
617.13/614.62	c cleaning 500 clauses out of 1012 for limit 0.0016067531934166517
617.13/614.66	c cleaning 500 clauses out of 1014 for limit 0.0026498216237050764
617.23/614.70	c cleaning 501 clauses out of 1012 for limit 0.0043697938162206825
617.23/614.73	c cleaning 498 clauses out of 1013 for limit 0.0072136808375383174
617.23/614.76	c cleaning 500 clauses out of 1015 for limit 0.011872883696107235
617.23/614.79	c cleaning 500 clauses out of 1013 for limit 0.019579413298463286
617.33/614.83	c cleaning 496 clauses out of 1013 for limit 0.03228907181621612
617.33/614.86	c cleaning 505 clauses out of 1019 for limit 0.05304149212767383
617.33/614.89	c cleaning 501 clauses out of 1013 for limit 0.08790262546661057
617.43/614.93	c cleaning 498 clauses out of 1012 for limit 0.14510643305499638
617.43/614.96	c cleaning 499 clauses out of 1013 for limit 0.23882462746402408
617.43/614.99	c cleaning 501 clauses out of 1014 for limit 0.39346534413828366
617.53/615.02	c cleaning 499 clauses out of 1013 for limit 0.6495175391774546
617.53/615.05	c cleaning 501 clauses out of 1014 for limit 1.0700849606257825
617.53/615.08	c cleaning 497 clauses out of 1013 for limit 1.7664553198672328
617.63/615.11	c cleaning 501 clauses out of 1016 for limit 2.9045193989922264
617.63/615.15	c cleaning 499 clauses out of 1019 for limit 4.794990372025486
617.63/615.19	c cleaning 498 clauses out of 1016 for limit 7.8992535759771725
617.73/615.23	c cleaning 504 clauses out of 1020 for limit 13.001830565441727
1522.85/1519.67	c cleaning 393248 clauses out of 786515 for limit 0.5658711209745357
1577.26/1574.06	c cleaning 196877 clauses out of 393767 for limit 1.863979407957404
1591.55/1588.32	c cleaning 98690 clauses out of 197389 for limit 6.12602627936258
1595.35/1592.18	c cleaning 49589 clauses out of 99199 for limit 20.102515016477856
1596.05/1592.86	c cleaning 25049 clauses out of 50110 for limit 65.6280006364489
1596.25/1593.05	c cleaning 12775 clauses out of 25561 for limit 212.1737357343038
1596.45/1593.20	c cleaning 6636 clauses out of 13288 for limit 674.4266987257427
1596.45/1593.26	c cleaning 3566 clauses out of 7150 for limit 2062.8858437947365
1596.55/1593.32	c cleaning 2038 clauses out of 4086 for limit 5964.963433045925
1596.55/1593.36	c cleaning 1265 clauses out of 2548 for limit 15774.754579648841
1596.65/1593.40	c cleaning 882 clauses out of 1781 for limit 37143.68426120951
1596.65/1593.43	c cleaning 694 clauses out of 1401 for limit 78025.34069987822
1596.65/1593.47	c cleaning 596 clauses out of 1205 for limit 149304.75030689078
1596.75/1593.50	c cleaning 546 clauses out of 1109 for limit 267537.7148785399
1596.75/1593.54	c cleaning 526 clauses out of 1063 for limit 460298.0996899228
1596.75/1593.57	c cleaning 506 clauses out of 1037 for limit 778125.3732272905
1596.85/1593.60	c cleaning 508 clauses out of 1031 for limit 1290700.7285561147
1596.85/1593.63	c cleaning 507 clauses out of 1027 for limit 2145397.2074592505
1596.85/1593.67	c cleaning 508 clauses out of 1016 for limit 3562068.6614867006
1596.95/1593.70	c cleaning 504 clauses out of 1008 for limit 5920949.396603886
1596.95/1593.73	c cleaning 496 clauses out of 1005 for limit 9803388.609109132
1596.95/1593.77	c cleaning 497 clauses out of 1008 for limit 1.6102863940427136E7
1596.95/1593.80	c cleaning 505 clauses out of 1011 for limit 2.647697631561326E7
1597.05/1593.83	c cleaning 503 clauses out of 1007 for limit 4.3881399578972355E7
1597.05/1593.86	c cleaning 502 clauses out of 1005 for limit 7.258289368185773E7
1597.05/1593.90	c cleaning 489 clauses out of 1001 for limit 1.1993698467582719E8
1597.15/1593.93	c cleaning 499 clauses out of 1012 for limit 1.956422181282683E8
1597.15/1593.96	c cleaning 499 clauses out of 1013 for limit 3.223216905469939E8
1597.15/1593.99	c cleaning 499 clauses out of 1014 for limit 5.3102737452572846E8
1597.25/1594.02	c cleaning 503 clauses out of 1016 for limit 8.748861781924039E8
1597.25/1594.05	c cleaning 506 clauses out of 1012 for limit 1.4470586248705208E9
1597.25/1594.09	c cleaning 504 clauses out of 1009 for limit 2.4006834289607472E9
1597.35/1594.13	c cleaning 501 clauses out of 1002 for limit 3.9747579905951576E9
1597.35/1594.17	c cleaning 490 clauses out of 1001 for limit 6.561456019403101E9
1597.45/1594.20	c cleaning 497 clauses out of 1011 for limit 1.0713688892808928E10
1597.45/1594.24	c cleaning 500 clauses out of 1015 for limit 1.7616293736588814E10
1597.45/1594.27	c cleaning 498 clauses out of 1015 for limit 2.9051625037248623E10
1597.55/1594.30	c cleaning 498 clauses out of 1017 for limit 4.7815797822456566E10
1597.55/1594.34	c cleaning 509 clauses out of 1018 for limit 7.86984097444931E10
1597.55/1594.37	c cleaning 505 clauses out of 1011 for limit 1.3094456873408067E11
1597.65/1594.40	c cleaning 502 clauses out of 1004 for limit 2.1701602074024414E11
1597.65/1594.43	c cleaning 501 clauses out of 1002 for limit 3.586027982882778E11
1597.65/1594.46	c cleaning 491 clauses out of 1001 for limit 5.919747805956598E11
1597.65/1594.49	c cleaning 498 clauses out of 1011 for limit 9.675569256474508E11
1597.75/1594.52	c cleaning 499 clauses out of 1013 for limit 1.5924805002257637E12
1597.75/1594.55	c cleaning 506 clauses out of 1013 for limit 2.623587169719092E12
1597.75/1594.58	c cleaning 494 clauses out of 1008 for limit 4.352460219088285E12
1597.85/1594.61	c cleaning 506 clauses out of 1015 for limit 7.135422591351473E12
1597.85/1594.64	c cleaning 491 clauses out of 1007 for limit 1.1837040518416822E13
1597.85/1594.67	c cleaning 508 clauses out of 1016 for limit 1.9347942312244223E13
1597.95/1594.71	c cleaning 504 clauses out of 1009 for limit 3.216086524325636E13
1597.95/1594.74	c cleaning 495 clauses out of 1004 for limit 5.324839880986443E13
1597.95/1594.79	c cleaning 493 clauses out of 1010 for limit 8.737944678652803E13
1598.05/1594.82	c cleaning 508 clauses out of 1016 for limit 1.431061611562503E14
1598.05/1594.85	c cleaning 494 clauses out of 1008 for limit 2.378742295761227E14
1598.05/1594.89	c cleaning 497 clauses out of 1014 for limit 3.899652053556856E14
1598.15/1594.92	c cleaning 498 clauses out of 1018 for limit 6.412190769696729E14
1598.15/1594.95	c cleaning 502 clauses out of 1019 for limit 1.0553618813790309E15
1598.15/1594.98	c cleaning 505 clauses out of 1017 for limit 1.743855606468109E15
1598.25/1595.02	c cleaning 499 clauses out of 1013 for limit 2.89009706055657E15
1598.25/1595.05	c cleaning 497 clauses out of 1013 for limit 4.761390526442328E15
1598.25/1595.08	c cleaning 508 clauses out of 1017 for limit 7.829115403332682E15
1598.35/1595.11	c cleaning 504 clauses out of 1009 for limit 1.301362741094476E16
1598.35/1595.14	c cleaning 502 clauses out of 1004 for limit 2.1546522989964404E16
1598.35/1595.17	c cleaning 501 clauses out of 1002 for limit 3.5604023201735372E16
1598.45/1595.20	c cleaning 496 clauses out of 1002 for limit 5.877457185252432E-4
1598.45/1595.23	c cleaning 496 clauses out of 1006 for limit 9.654173555643942E-4
1598.45/1595.26	c cleaning 500 clauses out of 1011 for limit 0.0015858142858706356
1598.45/1595.29	c cleaning 496 clauses out of 1009 for limit 0.0026151655026009834
1598.55/1595.33	c cleaning 496 clauses out of 1014 for limit 0.004295787487931942
1598.55/1595.36	c cleaning 500 clauses out of 1018 for limit 0.007056491987462892
1598.55/1595.39	c cleaning 501 clauses out of 1018 for limit 0.011637099287935545
1598.65/1595.42	c cleaning 503 clauses out of 1017 for limit 0.019210003846863572
1598.65/1595.45	c cleaning 500 clauses out of 1013 for limit 0.031773154504915385
1598.65/1595.49	c cleaning 495 clauses out of 1013 for limit 0.05239818231516999
1598.75/1595.52	c cleaning 505 clauses out of 1020 for limit 0.08599048645455168
1598.75/1595.56	c cleaning 501 clauses out of 1013 for limit 0.14250430868921815
1598.75/1595.59	c cleaning 500 clauses out of 1013 for limit 0.23524391282669727
1598.85/1595.63	c cleaning 500 clauses out of 1012 for limit 0.387943699088346
1598.85/1595.66	c cleaning 499 clauses out of 1012 for limit 0.639771057976252
1598.95/1595.70	c cleaning 496 clauses out of 1013 for limit 1.0540265334486563
1598.95/1595.73	c cleaning 502 clauses out of 1018 for limit 1.7314247043391606
1598.95/1595.76	c cleaning 503 clauses out of 1016 for limit 2.860971732921085
1598.95/1595.79	c cleaning 501 clauses out of 1013 for limit 4.732097851414142
1599.05/1595.82	c cleaning 497 clauses out of 1011 for limit 7.811481013218601
1599.05/1595.86	c cleaning 501 clauses out of 1014 for limit 12.844064241759307
1599.05/1595.89	c cleaning 494 clauses out of 1014 for limit 21.20278296580049
1599.15/1595.92	c cleaning 502 clauses out of 1019 for limit 34.75985964022771
1599.15/1595.95	c cleaning 500 clauses out of 1017 for limit 57.43638952967406
1599.15/1595.99	c cleaning 500 clauses out of 1017 for limit 94.72029003715684
1599.25/1596.02	c cleaning 500 clauses out of 1018 for limit 156.20919448947578
1599.25/1596.04	c cleaning 499 clauses out of 1017 for limit 257.6052995387862
1599.25/1596.08	c cleaning 505 clauses out of 1020 for limit 424.42453835098985
1599.35/1596.12	c cleaning 502 clauses out of 1014 for limit 703.3703822341449
1599.35/1596.16	c cleaning 497 clauses out of 1011 for limit 1162.2304552977919
1599.35/1596.19	c cleaning 501 clauses out of 1016 for limit 1911.0612643294546
1599.45/1596.22	c cleaning 499 clauses out of 1014 for limit 3154.654035287596
1599.45/1596.25	c cleaning 499 clauses out of 1014 for limit 5197.244079729558
1599.45/1596.29	c cleaning 499 clauses out of 1015 for limit 8562.506475882688
1599.55/1596.33	c cleaning 502 clauses out of 1021 for limit 14108.136697203267
1599.55/1596.36	c cleaning 497 clauses out of 1014 for limit 23309.919528336904
1599.65/1596.40	c cleaning 501 clauses out of 1017 for limit 38327.779849102495
1599.65/1596.43	c cleaning 500 clauses out of 1017 for limit 63270.90727710252
1599.65/1596.46	c cleaning 496 clauses out of 1016 for limit 104340.44444738053
1599.65/1596.49	c cleaning 504 clauses out of 1022 for limit 171403.7838445328
1800.06/1796.51	c starts		: 25
1800.06/1796.51	c conflicts		: 2026403
1800.06/1796.51	c decisions		: 2098882
1800.06/1796.51	c propagations		: 10512923
1800.06/1796.51	c inspects		: 2800436759
1800.06/1796.51	c learnt literals	: 0
1800.06/1796.51	c learnt binary clauses	: 0
1800.06/1796.51	c learnt ternary clauses	: 0
1800.06/1796.51	c learnt clauses	: 2026403
1800.06/1796.51	c root simplifications	: 0
1800.06/1796.51	c removed literals (reason simplification)	: 0
1800.06/1796.51	c reason swapping (by a shorter reason)	: 0
1800.06/1796.51	c Calls to reduceDB	: 221
1800.06/1796.51	c speed (decisions/second)	: 1168.5735697113644
1800.06/1796.51	c non guided choices	0
1800.06/1796.51	s SATISFIABLE
1800.06/1796.51	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 x462 
1800.06/1796.51	c objective function=-54
1800.06/1796.51	c Total wall clock time (ms): 1796.428

Verifier Data 

OK	-54

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

running on 4 cores: 0,2,4,6

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.97 2.08 2.07 3/194 10970
/proc/meminfo: memFree=26809452/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 1276 0 0 0 0 0 0 0 20 0 2 0 340393435 98570240 978 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 24065 978 745 9 0 16771 0
[pid=10970/tid=10971] ppid=10968 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 340393436 98570240 978 33554432000 1073741824 1073778376 140735682203408 139644451806760 242167399808 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.02717 s]
/proc/loadavg: 1.97 2.08 2.07 3/194 10970
/proc/meminfo: memFree=26809452/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=2490788 CPUtime=0.01 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 3832 0 1 0 1 0 0 0 20 0 11 0 340393435 2550566912 5043 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 622697 5043 1645 9 0 613398 0
[pid=10970/tid=10971] ppid=10968 vsize=2490788 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 2675 0 1 0 0 0 0 0 20 0 11 0 340393436 2550566912 5043 33554432000 1073741824 1073778376 140735682203408 139644451814152 242170782989 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2490788

[startup+0.100295 s]
/proc/loadavg: 1.97 2.08 2.07 3/194 10970
/proc/meminfo: memFree=26809452/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 4918 0 1 0 9 1 0 0 20 0 18 0 340393435 3028844544 7130 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 739464 7130 2130 9 0 729885 0
[pid=10970/tid=10971] ppid=10968 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3019 0 1 0 7 0 0 0 20 0 18 0 340393436 3028844544 7130 33554432000 1073741824 1073778376 140735682203408 139644451811256 139644301800868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300198 s]
/proc/loadavg: 1.97 2.08 2.07 3/194 10970
/proc/meminfo: memFree=26809452/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=2958060 CPUtime=0.46 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 5869 0 1 0 45 1 0 0 20 0 18 0 340393435 3029053440 9259 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 739515 9208 2239 9 0 729936 0
[pid=10970/tid=10971] ppid=10968 vsize=2957856 CPUtime=0.27 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3030 0 1 0 27 0 0 0 20 0 18 0 340393436 3028844544 9208 33554432000 1073741824 1073778376 140735682203408 139644451811256 139644302162672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2958060

[startup+0.700205 s]
/proc/loadavg: 1.97 2.08 2.07 3/194 10970
/proc/meminfo: memFree=26809452/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=3024420 CPUtime=1.29 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 9571 0 1 0 128 1 0 0 20 0 19 0 340393435 3097006080 14153 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 756105 14153 2274 9 0 746526 0
[pid=10970/tid=10971] ppid=10968 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3052 0 1 0 66 1 0 0 20 0 19 0 340393436 3097006080 14153 33554432000 1073741824 1073778376 140735682203408 139644451811944 139644301814805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 3024420

[startup+1.50075 s]
/proc/loadavg: 1.97 2.08 2.07 4/213 10991
/proc/meminfo: memFree=26754984/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=3024420 CPUtime=2.21 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 9797 0 1 0 220 1 0 0 20 0 19 0 340393435 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 756105 18918 2277 9 0 746526 0
[pid=10970/tid=10971] ppid=10968 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3062 0 1 0 146 2 0 0 20 0 19 0 340393436 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644451811880 139644302378220 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10973] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10973/stat : 10973 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644435237672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10974] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10974/stat : 10974 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644434184872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10975] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10975/stat : 10975 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644433132584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10976] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10976/stat : 10976 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644432079784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10977] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10977/stat : 10977 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644431026472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10978] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10978/stat : 10978 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644429973672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10979] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10979/stat : 10979 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644428921384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10980] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10980/stat : 10980 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644427868584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10981] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10981/stat : 10981 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644297521896 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10982] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10982/stat : 10982 (java) S 10968 10970 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644296467960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10983] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10983/stat : 10983 (java) S 10968 10970 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644295415560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10984] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10984/stat : 10984 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644294364048 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10985] ppid=10968 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/10970/task/10985/stat : 10985 (java) S 10968 10970 4424 0 -1 4202560 2936 0 0 0 35 0 0 0 20 0 19 0 340393440 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644293310648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10986] ppid=10968 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/10970/task/10986/stat : 10986 (java) S 10968 10970 4424 0 -1 4202560 2600 0 0 0 36 0 0 0 20 0 19 0 340393440 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644292257848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10987] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10987/stat : 10987 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644291205752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10988] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10988/stat : 10988 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644290153160 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10991] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10991/stat : 10991 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393476 3097006080 18918 33554432000 1073741824 1073778376 140735682203408 139644288022184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 3024420

[startup+3.10064 s]
/proc/loadavg: 1.97 2.08 2.07 3/213 10992
/proc/meminfo: memFree=26730424/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=3024420 CPUtime=3.81 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 9811 0 1 0 379 2 0 0 20 0 19 0 340393435 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 756105 25574 2277 9 0 746526 0
[pid=10970/tid=10971] ppid=10968 vsize=3024420 CPUtime=3.08 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3076 0 1 0 306 2 0 0 20 0 19 0 340393436 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644451809840 139644302352395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10973] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10973/stat : 10973 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644435237672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10974] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10974/stat : 10974 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644434184872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10975] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10975/stat : 10975 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644433132584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10976] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10976/stat : 10976 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644432079784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10977] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10977/stat : 10977 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644431026472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10978] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10978/stat : 10978 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644429973672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10979] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10979/stat : 10979 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644428921384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10980] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10980/stat : 10980 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644427868584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10981] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10981/stat : 10981 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644297521896 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10982] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10982/stat : 10982 (java) S 10968 10970 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644296467960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10983] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10983/stat : 10983 (java) S 10968 10970 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644295415560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10984] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10984/stat : 10984 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644294364048 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10985] ppid=10968 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/10970/task/10985/stat : 10985 (java) S 10968 10970 4424 0 -1 4202560 2936 0 0 0 35 0 0 0 20 0 19 0 340393440 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644293310648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10986] ppid=10968 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/10970/task/10986/stat : 10986 (java) S 10968 10970 4424 0 -1 4202560 2600 0 0 0 36 0 0 0 20 0 19 0 340393440 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644292257848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10987] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10987/stat : 10987 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644291205752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10988] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10988/stat : 10988 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644290153160 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10991] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10991/stat : 10991 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393476 3097006080 25574 33554432000 1073741824 1073778376 140735682203408 139644288022184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 3024420

[startup+6.30079 s]
/proc/loadavg: 1.97 2.08 2.07 3/213 10994
/proc/meminfo: memFree=26684888/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=3024420 CPUtime=7.01 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 9832 0 1 0 699 2 0 0 20 0 19 0 340393435 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 756105 35268 2278 9 0 746526 0
[pid=10970/tid=10971] ppid=10968 vsize=3024420 CPUtime=6.28 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3096 0 1 0 625 3 0 0 20 0 19 0 340393436 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644451811688 139644302377408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10973] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10973/stat : 10973 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644435237672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10974] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10974/stat : 10974 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644434184872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10975] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10975/stat : 10975 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644433132584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10976] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10976/stat : 10976 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644432079784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10977] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10977/stat : 10977 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644431026472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10978] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10978/stat : 10978 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644429973672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10979] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10979/stat : 10979 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644428921384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10980] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10980/stat : 10980 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393437 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644427868584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10981] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10981/stat : 10981 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644297521896 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10982] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10982/stat : 10982 (java) S 10968 10970 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644296467960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10983] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10983/stat : 10983 (java) S 10968 10970 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644295415560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10984] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10984/stat : 10984 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644294364048 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10985] ppid=10968 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/10970/task/10985/stat : 10985 (java) S 10968 10970 4424 0 -1 4202560 2936 0 0 0 35 0 0 0 20 0 19 0 340393440 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644293310648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10986] ppid=10968 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/10970/task/10986/stat : 10986 (java) S 10968 10970 4424 0 -1 4202560 2600 0 0 0 36 0 0 0 20 0 19 0 340393440 3097006080 35268 33554432000 1073741824 1073778376 140735682203408 139644292257848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=10970/tid=10978] ppid=10968 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/10970/task/10978/stat : 10978 (java) S 10968 10970 4424 0 -1 4202560 641 0 0 0 32 16 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644429973672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10979] ppid=10968 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10970/task/10979/stat : 10979 (java) S 10968 10970 4424 0 -1 4202560 357 0 0 0 26 11 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644428921384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10980] ppid=10968 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10970/task/10980/stat : 10980 (java) S 10968 10970 4424 0 -1 4202560 273 0 0 0 25 13 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644427868584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10981] ppid=10968 vsize=3024420 CPUtime=2.64 cores=0,2,4,6
/proc/10970/task/10981/stat : 10981 (java) S 10968 10970 4424 0 -1 4202560 163 0 0 0 258 6 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644297521896 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10982] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10982/stat : 10982 (java) S 10968 10970 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644296467960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10983] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10983/stat : 10983 (java) S 10968 10970 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644295415560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10984] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10984/stat : 10984 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644294364048 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10985] ppid=10968 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/10970/task/10985/stat : 10985 (java) S 10968 10970 4424 0 -1 4202560 2952 0 0 0 41 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644293310648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10986] ppid=10968 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10970/task/10986/stat : 10986 (java) S 10968 10970 4424 0 -1 4202560 2606 0 0 0 42 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644292257848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10987] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10987/stat : 10987 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644291205752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10988] ppid=10968 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/10970/task/10988/stat : 10988 (java) S 10968 10970 4424 0 -1 4202560 100 0 0 0 26 27 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644290153160 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10991] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10991/stat : 10991 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393476 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644288022184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.86
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11200
/proc/meminfo: memFree=25265188/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=3024420 CPUtime=1785.86 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 13127 0 1 0 178431 155 0 0 20 0 19 0 340393435 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 756105 419971 2306 9 0 746526 0
[pid=10970/tid=10971] ppid=10968 vsize=3024420 CPUtime=1778.6 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3259 0 1 0 177824 36 0 0 20 0 19 0 340393436 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644451810608 139644302352395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10973] ppid=10968 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/10970/task/10973/stat : 10973 (java) S 10968 10970 4424 0 -1 4202560 311 0 0 0 24 16 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644435237672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10974] ppid=10968 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/10970/task/10974/stat : 10974 (java) S 10968 10970 4424 0 -1 4202560 345 0 0 0 33 19 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644434184872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10975] ppid=10968 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10970/task/10975/stat : 10975 (java) S 10968 10970 4424 0 -1 4202560 264 0 0 0 35 11 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644433132584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10976] ppid=10968 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/10970/task/10976/stat : 10976 (java) S 10968 10970 4424 0 -1 4202560 402 0 0 0 28 15 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644432079784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10977] ppid=10968 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10970/task/10977/stat : 10977 (java) S 10968 10970 4424 0 -1 4202560 262 0 0 0 29 13 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644431026472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10978] ppid=10968 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/10970/task/10978/stat : 10978 (java) S 10968 10970 4424 0 -1 4202560 641 0 0 0 32 16 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644429973672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10979] ppid=10968 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10970/task/10979/stat : 10979 (java) S 10968 10970 4424 0 -1 4202560 357 0 0 0 26 11 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644428921384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10980] ppid=10968 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10970/task/10980/stat : 10980 (java) S 10968 10970 4424 0 -1 4202560 273 0 0 0 25 13 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644427868584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10981] ppid=10968 vsize=3024420 CPUtime=2.64 cores=0,2,4,6
/proc/10970/task/10981/stat : 10981 (java) S 10968 10970 4424 0 -1 4202560 163 0 0 0 258 6 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644297521896 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10982] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10982/stat : 10982 (java) S 10968 10970 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644296467960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10983] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10983/stat : 10983 (java) S 10968 10970 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644295415560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10984] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10984/stat : 10984 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644294364048 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10985] ppid=10968 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/10970/task/10985/stat : 10985 (java) S 10968 10970 4424 0 -1 4202560 2952 0 0 0 41 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644293310648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10986] ppid=10968 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10970/task/10986/stat : 10986 (java) S 10968 10970 4424 0 -1 4202560 2606 0 0 0 42 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644292257848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10987] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10987/stat : 10987 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644291205752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10988] ppid=10968 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/10970/task/10988/stat : 10988 (java) S 10968 10970 4424 0 -1 4202560 104 0 0 0 26 29 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644290153160 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10991] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10991/stat : 10991 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393476 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644288022184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.86
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11200
/proc/meminfo: memFree=25265436/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=3024420 CPUtime=1800.06 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 13127 0 1 0 179851 155 0 0 20 0 19 0 340393435 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 756105 419971 2306 9 0 746526 0
[pid=10970/tid=10971] ppid=10968 vsize=3024420 CPUtime=1792.8 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3259 0 1 0 179244 36 0 0 20 0 19 0 340393436 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644451810608 139644302352291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10973] ppid=10968 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/10970/task/10973/stat : 10973 (java) S 10968 10970 4424 0 -1 4202560 311 0 0 0 24 16 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644435237672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10974] ppid=10968 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/10970/task/10974/stat : 10974 (java) S 10968 10970 4424 0 -1 4202560 345 0 0 0 33 19 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644434184872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10975] ppid=10968 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10970/task/10975/stat : 10975 (java) S 10968 10970 4424 0 -1 4202560 264 0 0 0 35 11 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644433132584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10976] ppid=10968 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/10970/task/10976/stat : 10976 (java) S 10968 10970 4424 0 -1 4202560 402 0 0 0 28 15 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644432079784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10977] ppid=10968 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10970/task/10977/stat : 10977 (java) S 10968 10970 4424 0 -1 4202560 262 0 0 0 29 13 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644431026472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10978] ppid=10968 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/10970/task/10978/stat : 10978 (java) S 10968 10970 4424 0 -1 4202560 641 0 0 0 32 16 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644429973672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10979] ppid=10968 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10970/task/10979/stat : 10979 (java) S 10968 10970 4424 0 -1 4202560 357 0 0 0 26 11 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644428921384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10980] ppid=10968 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10970/task/10980/stat : 10980 (java) S 10968 10970 4424 0 -1 4202560 273 0 0 0 25 13 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644427868584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10981] ppid=10968 vsize=3024420 CPUtime=2.64 cores=0,2,4,6
/proc/10970/task/10981/stat : 10981 (java) S 10968 10970 4424 0 -1 4202560 163 0 0 0 258 6 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644297521896 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10982] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10982/stat : 10982 (java) S 10968 10970 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644296467960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10983] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10983/stat : 10983 (java) S 10968 10970 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644295415560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10984] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10984/stat : 10984 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644294364048 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10985] ppid=10968 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/10970/task/10985/stat : 10985 (java) S 10968 10970 4424 0 -1 4202560 2952 0 0 0 41 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644293310648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10986] ppid=10968 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10970/task/10986/stat : 10986 (java) S 10968 10970 4424 0 -1 4202560 2606 0 0 0 42 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644292257848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10987] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10987/stat : 10987 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644291205752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10988] ppid=10968 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/10970/task/10988/stat : 10988 (java) S 10968 10970 4424 0 -1 4202560 104 0 0 0 27 29 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644290153160 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10991] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10991/stat : 10991 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393476 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644288022184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11200
/proc/meminfo: memFree=25265436/32873648 swapFree=7112/7112
[pid=10970] ppid=10968 vsize=3024420 CPUtime=1800.06 cores=0,2,4,6
/proc/10970/stat : 10970 (java) S 10968 10970 4424 0 -1 4202496 13127 0 1 0 179851 155 0 0 20 0 19 0 340393435 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 140735682194544 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10970/statm: 756105 419971 2306 9 0 746526 0
[pid=10970/tid=10971] ppid=10968 vsize=3024420 CPUtime=1792.8 cores=0,2,4,6
/proc/10970/task/10971/stat : 10971 (java) R 10968 10970 4424 0 -1 4202560 3259 0 1 0 179244 36 0 0 20 0 19 0 340393436 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644451810608 139644302352291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10973] ppid=10968 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/10970/task/10973/stat : 10973 (java) S 10968 10970 4424 0 -1 4202560 311 0 0 0 24 16 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644435237672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10974] ppid=10968 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/10970/task/10974/stat : 10974 (java) S 10968 10970 4424 0 -1 4202560 345 0 0 0 33 19 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644434184872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10975] ppid=10968 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10970/task/10975/stat : 10975 (java) S 10968 10970 4424 0 -1 4202560 264 0 0 0 35 11 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644433132584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10976] ppid=10968 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/10970/task/10976/stat : 10976 (java) S 10968 10970 4424 0 -1 4202560 402 0 0 0 28 15 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644432079784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10977] ppid=10968 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10970/task/10977/stat : 10977 (java) S 10968 10970 4424 0 -1 4202560 262 0 0 0 29 13 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644431026472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10978] ppid=10968 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/10970/task/10978/stat : 10978 (java) S 10968 10970 4424 0 -1 4202560 641 0 0 0 32 16 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644429973672 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10979] ppid=10968 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/10970/task/10979/stat : 10979 (java) S 10968 10970 4424 0 -1 4202560 357 0 0 0 26 11 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644428921384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10980] ppid=10968 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10970/task/10980/stat : 10980 (java) S 10968 10970 4424 0 -1 4202560 273 0 0 0 25 13 0 0 20 0 19 0 340393437 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644427868584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10981] ppid=10968 vsize=3024420 CPUtime=2.64 cores=0,2,4,6
/proc/10970/task/10981/stat : 10981 (java) S 10968 10970 4424 0 -1 4202560 163 0 0 0 258 6 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644297521896 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10982] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10982/stat : 10982 (java) S 10968 10970 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644296467960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10983] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10983/stat : 10983 (java) S 10968 10970 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340393438 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644295415560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10984] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10984/stat : 10984 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644294364048 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10970/tid=10985] ppid=10968 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/10970/task/10985/stat : 10985 (java) S 10968 10970 4424 0 -1 4202560 2952 0 0 0 41 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644293310648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10970/tid=10986] ppid=10968 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/10970/task/10986/stat : 10986 (java) S 10968 10970 4424 0 -1 4202560 2606 0 0 0 42 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644292257848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10987] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10987/stat : 10987 (java) S 10968 10970 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644291205752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10970/tid=10988] ppid=10968 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/10970/task/10988/stat : 10988 (java) S 10968 10970 4424 0 -1 4202560 104 0 0 0 27 29 0 0 20 0 19 0 340393440 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644290153160 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10970/tid=10991] ppid=10968 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10970/task/10991/stat : 10991 (java) S 10968 10970 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340393476 3097006080 419971 33554432000 1073741824 1073778376 140735682203408 139644288022184 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1796.52
CPU time (s): 1800.57
CPU user time (s): 1798.59
CPU system time (s): 1.9807
CPU usage (%): 100.225
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.9807
maximum resident set size= 1680000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13161
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38120
involuntary context switches= 20571

runsolver used 6.00209 second user time and 15.1617 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 18:57:55
IDJOB=3741345
IDBENCH=89841
IDSOLVER=2319
FILE ID=node126/3741345-1338742675
RUNJOBID= node126-1338713124-4440
PBS_JOBID= 14636723
Free space on /tmp= 70780 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-p6b.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741345-1338742675/watcher-3741345-1338742675 -o /tmp/evaluation-result-3741345-1338742675/solver-3741345-1338742675 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741345-1338742675.opb           

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

MD5SUM BENCH= f076140978d89a37e97e041a8b1e6b8f
RANDOM SEED=94544022

node126.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		: 2666.456
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	: 5332.91
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		: 2666.456
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		: 2666.456
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.92
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		: 2666.456
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		: 2666.456
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.92
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		: 2666.456
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		: 2666.456
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.90
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		: 2666.456
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:       32873648 kB
MemFree:        26809980 kB
Buffers:          425184 kB
Cached:          3846288 kB
SwapCached:         9476 kB
Active:          2467512 kB
Inactive:        2723104 kB
Active(anon):     908944 kB
Inactive(anon):    12168 kB
Active(file):    1558568 kB
Inactive(file):  2710936 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:        983032 kB
Mapped:            18032 kB
Shmem:                 0 kB
Slab:             723972 kB
SReclaimable:     167960 kB
SUnreclaim:       556012 kB
KernelStack:        1768 kB
PageTables:         6064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1827808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    935936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70784 MiB
End job on node126 at 2012-06-03 19:27:54