Trace number 3687673

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)6091 1800.05 1788.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUM38f65eab3d9896915eed9a127435e25b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4561
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4561
Optimality of the best value was proved YES
Number of variables577
Total number of constraints1322
Number of constraints which are clauses1306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint2
Maximum length of a constraint17
Number of terms in the objective function 577
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 24510
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 24510
Number of bits of the biggest sum of numbers15
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c version 2.3.2.v20120418
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		501472288
0.01/0.08	c Max memory 		7480803328
0.01/0.08	c Total memory 		504102912
0.01/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3687673-1337875234.opb
0.10/0.11	c reading problem ... 
0.28/0.24	c ... done. Wall clock time 0.129s.
0.28/0.24	c declared #vars     577
0.28/0.24	c #constraints  1322
0.28/0.24	c constraints type 
0.28/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 955
0.28/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 367
0.28/0.24	c 1322 constraints processed.
0.28/0.24	c objective function length is 577 literals
0.28/0.25	c SATISFIABLE
0.28/0.25	c OPTIMIZING...
0.28/0.25	c Got one! Elapsed wall clock time (in seconds):0.147
0.28/0.25	o 6126
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.163
0.28/0.27	o 6092
1.24/0.76	c cleaning 2501 clauses out of 5001 with flag 5000/5001
1.70/1.15	c cleaning 4244 clauses out of 8501 with flag 11001/11002
2.10/1.59	c cleaning 5627 clauses out of 11256 with flag 18000/18001
2.62/2.09	c cleaning 6815 clauses out of 13630 with flag 26001/26002
3.27/2.68	c cleaning 7907 clauses out of 15815 with flag 35001/35002
3.88/3.27	c cleaning 8954 clauses out of 17907 with flag 45000/45001
4.57/3.93	c cleaning 9971 clauses out of 19954 with flag 56001/56002
5.28/4.67	c cleaning 10986 clauses out of 21982 with flag 68000/68001
6.10/5.44	c cleaning 11992 clauses out of 23996 with flag 81000/81001
6.90/6.26	c cleaning 13003 clauses out of 26005 with flag 95001/95002
7.91/7.23	c cleaning 13992 clauses out of 28001 with flag 110000/110001
8.93/8.22	c cleaning 15001 clauses out of 30009 with flag 126000/126001
9.94/9.23	c cleaning 16004 clauses out of 32008 with flag 143000/143001
11.06/10.34	c cleaning 17002 clauses out of 34005 with flag 161001/161002
12.27/11.53	c cleaning 18001 clauses out of 36002 with flag 180000/180001
13.48/12.77	c cleaning 18997 clauses out of 38001 with flag 200000/200001
14.89/14.14	c cleaning 19996 clauses out of 40004 with flag 221000/221001
16.30/15.59	c cleaning 21000 clauses out of 42008 with flag 243000/243001
17.92/17.14	c cleaning 21996 clauses out of 44009 with flag 266001/266002
19.45/18.69	c cleaning 22999 clauses out of 46013 with flag 290001/290002
21.18/20.35	c cleaning 24007 clauses out of 48013 with flag 315000/315001
22.90/22.03	c cleaning 24995 clauses out of 50006 with flag 341000/341001
24.74/23.82	c cleaning 26002 clauses out of 52011 with flag 368000/368001
26.76/25.84	c cleaning 26994 clauses out of 54009 with flag 396000/396001
28.78/27.84	c cleaning 28007 clauses out of 56015 with flag 425000/425001
30.80/29.80	c cleaning 28996 clauses out of 58008 with flag 455000/455001
32.83/31.82	c cleaning 30007 clauses out of 60013 with flag 486001/486002
35.14/34.13	c cleaning 31004 clauses out of 62007 with flag 518002/518003
37.46/36.49	c cleaning 31998 clauses out of 64001 with flag 551000/551001
39.89/38.85	c cleaning 32993 clauses out of 66004 with flag 585001/585002
42.21/41.14	c cleaning 33997 clauses out of 68010 with flag 620000/620001
44.52/43.46	c cleaning 35002 clauses out of 70013 with flag 656000/656001
47.03/45.94	c cleaning 36006 clauses out of 72011 with flag 693000/693001
49.54/48.49	c cleaning 36992 clauses out of 74005 with flag 731000/731001
52.27/51.16	c cleaning 38002 clauses out of 76014 with flag 770001/770002
55.00/53.86	c cleaning 39002 clauses out of 78011 with flag 810000/810001
57.92/56.78	c cleaning 40002 clauses out of 80010 with flag 851001/851002
60.93/59.77	c cleaning 40999 clauses out of 82007 with flag 893000/893001
63.87/62.61	c cleaning 42000 clauses out of 84008 with flag 936000/936001
66.80/65.56	c cleaning 43005 clauses out of 86009 with flag 980001/980002
69.82/68.55	c cleaning 43995 clauses out of 88004 with flag 1025001/1025002
73.15/71.86	c cleaning 45003 clauses out of 90008 with flag 1071000/1071001
76.66/75.32	c cleaning 46002 clauses out of 92006 with flag 1118001/1118002
80.51/79.12	c cleaning 47001 clauses out of 94003 with flag 1166000/1166001
84.34/82.98	c cleaning 47988 clauses out of 96003 with flag 1215001/1215002
88.20/86.74	c cleaning 49004 clauses out of 98014 with flag 1265000/1265001
92.15/90.64	c cleaning 50002 clauses out of 100010 with flag 1316000/1316001
95.60/94.00	c cleaning 50995 clauses out of 102009 with flag 1368001/1368002
99.41/97.85	c cleaning 52000 clauses out of 104014 with flag 1421001/1421002
103.71/102.18	c cleaning 52999 clauses out of 106013 with flag 1475000/1475001
108.05/106.44	c cleaning 54008 clauses out of 108015 with flag 1530001/1530002
112.41/110.71	c cleaning 54997 clauses out of 110006 with flag 1586000/1586001
116.32/114.64	c cleaning 55989 clauses out of 112010 with flag 1643001/1643002
120.54/118.88	c cleaning 57004 clauses out of 114020 with flag 1701000/1701001
124.97/123.30	c cleaning 58006 clauses out of 116016 with flag 1760000/1760001
129.29/127.53	c cleaning 59002 clauses out of 118010 with flag 1820000/1820001
133.83/132.03	c cleaning 60001 clauses out of 120008 with flag 1881000/1881001
138.55/136.77	c cleaning 60999 clauses out of 122008 with flag 1943001/1943002
143.07/141.24	c cleaning 62003 clauses out of 124009 with flag 2006001/2006002
147.48/145.62	c cleaning 63001 clauses out of 126006 with flag 2070001/2070002
152.21/150.36	c cleaning 63999 clauses out of 128004 with flag 2135000/2135001
157.33/155.41	c cleaning 64994 clauses out of 130006 with flag 2201001/2201002
162.17/160.21	c cleaning 66005 clauses out of 132012 with flag 2268001/2268002
167.04/165.06	c cleaning 66997 clauses out of 134007 with flag 2336001/2336002
172.27/170.23	c cleaning 68002 clauses out of 136010 with flag 2405001/2405002
176.92/174.88	c cleaning 68996 clauses out of 138007 with flag 2475000/2475001
182.14/180.07	c cleaning 69997 clauses out of 140012 with flag 2546001/2546002
187.38/185.25	c cleaning 70999 clauses out of 142015 with flag 2618001/2618002
192.41/190.26	c cleaning 72008 clauses out of 144015 with flag 2691000/2691001
198.75/196.57	c cleaning 73000 clauses out of 146007 with flag 2765000/2765001
206.04/203.77	c cleaning 74002 clauses out of 148009 with flag 2840002/2840003
213.53/211.19	c cleaning 75001 clauses out of 150006 with flag 2916001/2916002
220.88/218.45	c cleaning 75991 clauses out of 152005 with flag 2993001/2993002
226.70/224.29	c cleaning 77001 clauses out of 154014 with flag 3071001/3071002
232.91/230.48	c cleaning 78007 clauses out of 156014 with flag 3150002/3150003
239.44/236.93	c cleaning 78995 clauses out of 158006 with flag 3230001/3230002
246.27/243.71	c cleaning 80006 clauses out of 160013 with flag 3311003/3311004
253.01/250.49	c cleaning 80996 clauses out of 162005 with flag 3393001/3393002
259.87/257.23	c cleaning 81986 clauses out of 164008 with flag 3476000/3476001
267.32/264.62	c cleaning 83004 clauses out of 166023 with flag 3560001/3560002
274.78/272.04	c cleaning 84004 clauses out of 168019 with flag 3645001/3645002
281.72/278.91	c cleaning 85002 clauses out of 170014 with flag 3731000/3731001
288.54/285.71	c cleaning 86006 clauses out of 172012 with flag 3818000/3818001
295.71/292.82	c cleaning 86996 clauses out of 174006 with flag 3906000/3906001
302.57/299.63	c cleaning 87989 clauses out of 176010 with flag 3995000/3995001
310.49/307.52	c cleaning 89008 clauses out of 178023 with flag 4085002/4085003
317.94/314.96	c cleaning 90000 clauses out of 180013 with flag 4176000/4176001
325.59/322.52	c cleaning 90999 clauses out of 182013 with flag 4268000/4268001
333.23/330.10	c cleaning 92003 clauses out of 184014 with flag 4361000/4361001
342.38/338.61	c cleaning 92996 clauses out of 186011 with flag 4455000/4455001
349.22/345.48	c cleaning 94009 clauses out of 188019 with flag 4550004/4550005
357.05/353.21	c cleaning 94998 clauses out of 190006 with flag 4646000/4646001
364.00/360.17	c cleaning 95995 clauses out of 192008 with flag 4743000/4743001
371.52/367.61	c cleaning 97003 clauses out of 194013 with flag 4841000/4841001
380.28/376.32	c cleaning 97990 clauses out of 196010 with flag 4940000/4940001
388.94/384.95	c cleaning 99008 clauses out of 198021 with flag 5040001/5040002
397.49/393.33	c cleaning 100002 clauses out of 200012 with flag 5141000/5141001
405.84/401.63	c cleaning 101003 clauses out of 202010 with flag 5243000/5243001
415.27/411.05	c cleaning 101999 clauses out of 204008 with flag 5346001/5346002
424.35/420.09	c cleaning 103001 clauses out of 206008 with flag 5450000/5450001
432.90/428.53	c cleaning 103995 clauses out of 208007 with flag 5555000/5555001
441.08/436.64	c cleaning 105000 clauses out of 210013 with flag 5661001/5661002
449.51/445.08	c cleaning 106000 clauses out of 212013 with flag 5768001/5768002
458.97/454.47	c cleaning 107004 clauses out of 214013 with flag 5876001/5876002
467.91/463.37	c cleaning 107998 clauses out of 216009 with flag 5985001/5985002
477.55/472.92	c cleaning 109002 clauses out of 218011 with flag 6095001/6095002
482.51/477.89	c Got one! Elapsed wall clock time (in seconds):477.782
482.51/477.89	o 6091
483.71/479.03	c cleaning 95353 clauses out of 190716 with flag 5000/6176709
484.53/479.82	c cleaning 50676 clauses out of 101365 with flag 11002/6182711
485.16/480.40	c cleaning 28836 clauses out of 57688 with flag 18001/6189710
485.59/480.85	c cleaning 18417 clauses out of 36851 with flag 26000/6197709
486.12/481.33	c cleaning 13708 clauses out of 27435 with flag 35001/6206710
486.64/481.87	c cleaning 11854 clauses out of 23727 with flag 45001/6216710
487.35/482.50	c cleaning 11430 clauses out of 22873 with flag 56001/6227710
487.98/483.16	c cleaning 11712 clauses out of 23442 with flag 68000/6239709
488.71/483.88	c cleaning 12353 clauses out of 24730 with flag 81000/6252709
489.53/484.66	c cleaning 13179 clauses out of 26378 with flag 95001/6266710
490.35/485.47	c cleaning 14088 clauses out of 28198 with flag 110000/6281709
491.26/486.39	c cleaning 15044 clauses out of 30110 with flag 126000/6297709
492.27/487.32	c cleaning 16024 clauses out of 32066 with flag 143000/6314709
493.30/488.36	c cleaning 17015 clauses out of 34043 with flag 161001/6332710
494.41/489.48	c cleaning 18005 clauses out of 36027 with flag 180000/6351709
495.54/490.53	c cleaning 18996 clauses out of 38022 with flag 200000/6371709
496.75/491.79	c cleaning 20004 clauses out of 40026 with flag 221000/6392709
498.05/493.09	c cleaning 21002 clauses out of 42023 with flag 243001/6414710
499.56/494.51	c cleaning 21999 clauses out of 44021 with flag 266001/6437710
500.77/495.74	c cleaning 22999 clauses out of 46022 with flag 290001/6461710
502.29/497.22	c cleaning 24000 clauses out of 48023 with flag 315001/6486710
503.93/498.83	c cleaning 25002 clauses out of 50023 with flag 341001/6512710
505.35/500.30	c cleaning 26002 clauses out of 52020 with flag 368000/6539709
507.08/501.95	c cleaning 26998 clauses out of 54019 with flag 396001/6567710
508.91/503.77	c cleaning 27997 clauses out of 56020 with flag 425000/6596709
510.81/505.60	c cleaning 29001 clauses out of 58023 with flag 455000/6626709
512.93/507.78	c cleaning 30003 clauses out of 60023 with flag 486001/6657710
515.14/509.92	c cleaning 31002 clauses out of 62020 with flag 518001/6689710
517.15/511.92	c cleaning 31998 clauses out of 64018 with flag 551001/6722710
519.48/514.20	c cleaning 32998 clauses out of 66019 with flag 585000/6756709
521.80/516.53	c cleaning 34011 clauses out of 68023 with flag 620002/6791711
524.42/519.14	c cleaning 34993 clauses out of 70010 with flag 656000/6827709
526.95/521.68	c cleaning 36010 clauses out of 72021 with flag 693004/6864713
529.79/524.47	c cleaning 37000 clauses out of 74007 with flag 731000/6902709
532.71/527.39	c cleaning 37993 clauses out of 76008 with flag 770001/6941710
535.73/530.32	c cleaning 38997 clauses out of 78014 with flag 810000/6981709
538.76/533.31	c cleaning 40009 clauses out of 80018 with flag 851001/7022710
541.91/536.46	c cleaning 41002 clauses out of 82009 with flag 893001/7064710
545.23/539.77	c cleaning 42001 clauses out of 84007 with flag 936001/7107710
548.65/543.10	c cleaning 42999 clauses out of 86006 with flag 980001/7151710
551.75/546.25	c cleaning 43997 clauses out of 88006 with flag 1025000/7196709
555.38/549.80	c cleaning 45000 clauses out of 90009 with flag 1071000/7242709
558.81/553.29	c cleaning 46002 clauses out of 92009 with flag 1118000/7289709
562.31/556.79	c cleaning 46993 clauses out of 94007 with flag 1166000/7337709
566.23/560.69	c cleaning 48005 clauses out of 96015 with flag 1215001/7386710
570.14/564.55	c cleaning 48996 clauses out of 98009 with flag 1265000/7436709
574.26/568.68	c cleaning 50006 clauses out of 100016 with flag 1316003/7487712
578.47/572.88	c cleaning 51001 clauses out of 102007 with flag 1368000/7539709
582.81/577.11	c cleaning 52002 clauses out of 104007 with flag 1421001/7592710
587.34/581.67	c cleaning 53003 clauses out of 106006 with flag 1475002/7646711
592.27/586.57	c cleaning 53999 clauses out of 108002 with flag 1530001/7701710
596.69/590.92	c cleaning 54997 clauses out of 110002 with flag 1586000/7757709
601.12/595.34	c cleaning 55990 clauses out of 112006 with flag 1643001/7814710
605.74/599.93	c cleaning 57003 clauses out of 114015 with flag 1701000/7872709
610.37/604.50	c cleaning 58004 clauses out of 116012 with flag 1760000/7931709
615.11/609.22	c cleaning 58997 clauses out of 118008 with flag 1820000/7991709
619.92/614.04	c cleaning 60002 clauses out of 120012 with flag 1881001/8052710
625.14/619.30	c cleaning 61002 clauses out of 122010 with flag 1943001/8114710
630.47/624.57	c cleaning 62001 clauses out of 124007 with flag 2006000/8177709
635.59/629.69	c cleaning 63000 clauses out of 126009 with flag 2070003/8241712
641.20/635.20	c cleaning 64003 clauses out of 128006 with flag 2135000/8306709
646.72/640.72	c cleaning 64998 clauses out of 130004 with flag 2201001/8372710
652.25/646.20	c cleaning 65999 clauses out of 132005 with flag 2268000/8439709
658.09/652.04	c cleaning 66997 clauses out of 134007 with flag 2336001/8507710
663.84/657.78	c cleaning 68000 clauses out of 136009 with flag 2405000/8576709
669.66/663.53	c cleaning 69000 clauses out of 138009 with flag 2475000/8646709
675.88/669.79	c cleaning 70001 clauses out of 140011 with flag 2546002/8717711
682.03/675.82	c cleaning 71001 clauses out of 142009 with flag 2618001/8789710
688.35/682.18	c cleaning 71998 clauses out of 144007 with flag 2691000/8862709
695.06/688.83	c cleaning 72992 clauses out of 146009 with flag 2765000/8936709
701.61/695.38	c cleaning 74002 clauses out of 148017 with flag 2840000/9011709
708.33/702.00	c cleaning 75005 clauses out of 150019 with flag 2916004/9087713
715.36/709.02	c cleaning 76003 clauses out of 152012 with flag 2993002/9164711
722.27/715.95	c cleaning 76999 clauses out of 154007 with flag 3071000/9242709
729.15/722.78	c cleaning 77998 clauses out of 156008 with flag 3150000/9321709
736.37/729.92	c cleaning 79001 clauses out of 158011 with flag 3230001/9401710
743.52/737.00	c cleaning 79995 clauses out of 160009 with flag 3311000/9482709
751.13/744.61	c cleaning 81009 clauses out of 162017 with flag 3393003/9564712
758.55/752.04	c cleaning 82000 clauses out of 164005 with flag 3476000/9647709
765.79/759.26	c cleaning 83001 clauses out of 166007 with flag 3560002/9731711
773.64/767.05	c cleaning 83997 clauses out of 168004 with flag 3645000/9816709
781.59/774.96	c cleaning 85002 clauses out of 170007 with flag 3731000/9902709
789.42/782.76	c cleaning 86003 clauses out of 172005 with flag 3818000/9989709
798.35/791.65	c cleaning 87002 clauses out of 174003 with flag 3906001/10077710
805.97/799.20	c cleaning 87991 clauses out of 176000 with flag 3995000/10166709
812.81/806.01	c cleaning 88999 clauses out of 178009 with flag 4085000/10256709
820.27/813.47	c cleaning 90005 clauses out of 180010 with flag 4176000/10347709
829.15/822.20	c cleaning 90992 clauses out of 182007 with flag 4268002/10439711
837.78/830.89	c cleaning 92003 clauses out of 184013 with flag 4361000/10532709
845.84/838.88	c cleaning 92999 clauses out of 186010 with flag 4455000/10626709
854.50/847.42	c cleaning 94000 clauses out of 188011 with flag 4550000/10721709
863.12/856.06	c cleaning 95006 clauses out of 190012 with flag 4646001/10817710
873.55/866.49	c cleaning 96003 clauses out of 192006 with flag 4743001/10914710
883.92/876.77	c cleaning 96999 clauses out of 194003 with flag 4841001/11012710
894.47/887.28	c cleaning 97990 clauses out of 196004 with flag 4940001/11111710
904.24/896.99	c cleaning 99006 clauses out of 198013 with flag 5040000/11211709
913.47/906.16	c cleaning 99995 clauses out of 200008 with flag 5141001/11312710
922.69/915.31	c cleaning 101002 clauses out of 202012 with flag 5243000/11414709
932.85/925.44	c cleaning 102001 clauses out of 204011 with flag 5346001/11517710
941.87/934.41	c cleaning 102997 clauses out of 206010 with flag 5450001/11621710
951.90/944.49	c cleaning 104003 clauses out of 208012 with flag 5555000/11726709
961.84/954.35	c cleaning 105002 clauses out of 210010 with flag 5661001/11832710
971.72/964.10	c cleaning 106003 clauses out of 212007 with flag 5768000/11939709
981.89/974.26	c cleaning 107000 clauses out of 214004 with flag 5876000/12047709
992.63/984.99	c cleaning 107997 clauses out of 216004 with flag 5985000/12156709
1003.16/995.43	c cleaning 109000 clauses out of 218007 with flag 6095000/12266709
1013.72/1005.96	c cleaning 110004 clauses out of 220009 with flag 6206002/12377711
1024.86/1017.02	c cleaning 110996 clauses out of 222004 with flag 6318001/12489710
1036.12/1028.21	c cleaning 111995 clauses out of 224007 with flag 6431000/12602709
1047.50/1039.59	c cleaning 113005 clauses out of 226012 with flag 6545000/12716709
1059.83/1051.89	c cleaning 114004 clauses out of 228008 with flag 6660001/12831710
1072.52/1064.46	c cleaning 115002 clauses out of 230004 with flag 6776001/12947710
1086.20/1078.05	c cleaning 116000 clauses out of 232002 with flag 6893001/13064710
1100.20/1092.00	c cleaning 116996 clauses out of 234001 with flag 7011000/13182709
1116.18/1107.87	c cleaning 118003 clauses out of 236006 with flag 7130001/13301710
1130.73/1122.31	c cleaning 118995 clauses out of 238002 with flag 7250000/13421709
1142.16/1133.74	c cleaning 119988 clauses out of 240007 with flag 7371000/13542709
1153.00/1144.53	c cleaning 121007 clauses out of 242019 with flag 7493000/13664709
1164.24/1155.77	c cleaning 122002 clauses out of 244013 with flag 7616001/13787710
1174.89/1166.35	c cleaning 123003 clauses out of 246011 with flag 7740001/13911710
1186.24/1177.64	c cleaning 123993 clauses out of 248007 with flag 7865000/14036709
1198.61/1189.98	c cleaning 125007 clauses out of 250016 with flag 7991002/14162711
1209.96/1201.26	c cleaning 125993 clauses out of 252008 with flag 8118001/14289710
1220.98/1212.29	c cleaning 127001 clauses out of 254015 with flag 8246001/14417710
1233.30/1224.52	c cleaning 128000 clauses out of 256014 with flag 8375001/14546710
1246.15/1237.40	c cleaning 129003 clauses out of 258013 with flag 8505000/14676709
1258.73/1249.85	c cleaning 130000 clauses out of 260011 with flag 8636001/14807710
1271.70/1262.79	c cleaning 131001 clauses out of 262010 with flag 8768000/14939709
1283.64/1274.65	c cleaning 132000 clauses out of 264009 with flag 8901000/15072709
1294.16/1285.11	c cleaning 133002 clauses out of 266010 with flag 9035001/15206710
1305.84/1296.77	c cleaning 134001 clauses out of 268007 with flag 9170000/15341709
1318.79/1309.66	c cleaning 135001 clauses out of 270007 with flag 9306001/15477710
1334.78/1325.59	c cleaning 135988 clauses out of 272006 with flag 9443001/15614710
1348.51/1339.15	c cleaning 137002 clauses out of 274017 with flag 9581000/15752709
1361.74/1352.30	c cleaning 138001 clauses out of 276015 with flag 9720000/15891709
1375.58/1366.18	c cleaning 139003 clauses out of 278014 with flag 9860000/16031709
1388.75/1379.27	c cleaning 139994 clauses out of 280011 with flag 10001000/16172709
1403.02/1393.44	c cleaning 141006 clauses out of 282018 with flag 10143001/16314710
1416.20/1406.56	c cleaning 141991 clauses out of 284011 with flag 10286000/16457709
1430.16/1420.44	c cleaning 143006 clauses out of 286020 with flag 10430000/16601709
1442.84/1433.04	c cleaning 144006 clauses out of 288016 with flag 10575002/16746711
1458.07/1448.23	c cleaning 145002 clauses out of 290009 with flag 10721001/16892710
1473.05/1463.13	c cleaning 145997 clauses out of 292006 with flag 10868000/17039709
1486.86/1476.82	c cleaning 147001 clauses out of 294011 with flag 11016002/17187711
1501.84/1491.71	c cleaning 148000 clauses out of 296009 with flag 11165001/17336710
1517.46/1507.23	c cleaning 148998 clauses out of 298008 with flag 11315000/17486709
1532.17/1521.99	c cleaning 150003 clauses out of 300010 with flag 11466000/17637709
1547.09/1536.83	c cleaning 150999 clauses out of 302007 with flag 11618000/17789709
1563.13/1552.87	c cleaning 152004 clauses out of 304009 with flag 11771001/17942710
1579.69/1569.32	c cleaning 153002 clauses out of 306005 with flag 11925001/18096710
1597.51/1587.00	c cleaning 153997 clauses out of 308004 with flag 12080002/18251711
1613.79/1603.26	c cleaning 154999 clauses out of 310005 with flag 12236000/18407709
1630.46/1619.82	c cleaning 155992 clauses out of 312007 with flag 12393001/18564710
1647.14/1636.46	c cleaning 157002 clauses out of 314014 with flag 12551000/18722709
1665.69/1654.94	c cleaning 158001 clauses out of 316012 with flag 12710000/18881709
1683.68/1672.86	c cleaning 159000 clauses out of 318011 with flag 12870000/19041709
1699.93/1689.03	c cleaning 159998 clauses out of 320011 with flag 13031000/19202709
1718.28/1707.36	c cleaning 161004 clauses out of 322014 with flag 13193001/19364710
1736.86/1725.87	c cleaning 162000 clauses out of 324009 with flag 13356000/19527709
1755.74/1744.69	c cleaning 162996 clauses out of 326009 with flag 13520000/19691709
1775.11/1763.91	c cleaning 163998 clauses out of 328013 with flag 13685000/19856709
1793.01/1781.77	c cleaning 165005 clauses out of 330017 with flag 13851002/20022711
1800.05/1788.71	c starts		: 353
1800.05/1788.71	c conflicts		: 20113602
1800.05/1788.71	c decisions		: 32631780
1800.05/1788.71	c propagations		: 1798708300
1800.05/1788.71	c inspects		: 9878614877
1800.05/1788.71	c shortcuts		: 0
1800.05/1788.71	c learnt literals	: 0
1800.05/1788.71	c learnt binary clauses	: 3
1800.05/1788.71	c learnt ternary clauses	: 1
1800.05/1788.71	c learnt constraints	: 20113603
1800.05/1788.71	c ignored constraints	: 0
1800.05/1788.71	c root simplifications	: 0
1800.05/1788.71	c removed literals (reason simplification)	: 0
1800.05/1788.71	c reason swapping (by a shorter reason)	: 0
1800.05/1788.71	c Calls to reduceDB	: 268
1800.05/1788.71	c number of reductions to clauses (during analyze)	: 0
1800.05/1788.71	c number of learned constraints concerned by reduction	: 0
1800.05/1788.71	c number of learning phase by resolution	: 0
1800.05/1788.71	c number of learning phase by cutting planes	: 0
1800.05/1788.71	c speed (assignments/second)	: 1005726.3041476302
1800.05/1788.71	c non guided choices	0
1800.05/1788.75	c learnt constraints type 
1800.05/1788.75	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.05/1788.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 256031
1800.05/1788.75	c constraints type 
1800.05/1788.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 955
1800.05/1788.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 367
1800.05/1788.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.05/1788.75	c 1323 constraints processed.
1800.05/1788.75	s SATISFIABLE
1800.05/1788.75	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 x463 x464 x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 
1800.05/1788.75	c objective function=6091
1800.05/1788.75	c Total wall clock time (in seconds): 1788.642

Verifier Data 

OK	6091

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-3687673-1337875234/watcher-3687673-1337875234 -o /tmp/evaluation-result-3687673-1337875234/solver-3687673-1337875234 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687673-1337875234.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.99 1.91 3/197 22310
/proc/meminfo: memFree=28332400/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/22310/stat : 22310 (java) R 22308 22310 21531 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 253648747 23793664 715 33554432000 1073741824 1073778376 140734852652720 140734852641784 273579816296 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 5809 716 531 9 0 128 0

[startup+0.024892 s]
/proc/loadavg: 1.92 1.99 1.91 3/197 22310
/proc/meminfo: memFree=28332400/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 2854 0 1 0 1 0 0 0 20 0 11 0 253648747 9310650368 3555 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2273108 3555 1590 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100315 s]
/proc/loadavg: 1.92 1.99 1.91 3/197 22310
/proc/meminfo: memFree=28332400/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 4361 0 1 0 9 1 0 0 20 0 18 0 253648747 9787813888 5564 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2389603 5565 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300171 s]
/proc/loadavg: 1.92 1.99 1.91 3/197 22310
/proc/meminfo: memFree=28332400/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 5640 0 1 0 48 1 0 0 20 0 19 0 253648747 9855975424 7937 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 7941 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9624976

[startup+0.700247 s]
/proc/loadavg: 1.92 1.99 1.91 3/197 22310
/proc/meminfo: memFree=28332400/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 10772 0 1 0 122 2 0 0 20 0 19 0 253648747 9855975424 11086 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 11086 2244 9 0 2396937 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9624976

[startup+1.50064 s]
/proc/loadavg: 1.92 1.99 1.91 3/216 22329
/proc/meminfo: memFree=28286208/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=2.1 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 10941 0 1 0 207 3 0 0 20 0 19 0 253648747 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 14722 2272 9 0 2396937 0
[pid=22310/tid=22312] ppid=22308 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/22310/task/22312/stat : 22312 (java) R 22308 22310 21531 0 -1 4202560 2463 0 1 0 143 1 0 0 20 0 19 0 253648748 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726668501264 140726499916678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22313] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22313/stat : 22313 (java) S 22308 22310 21531 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726629992744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22314] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22314/stat : 22314 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726628939944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22315] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22315/stat : 22315 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726627887656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22316] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22316/stat : 22316 (java) S 22308 22310 21531 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726626834856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22317] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22317/stat : 22317 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726625782568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22318] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22318/stat : 22318 (java) S 22308 22310 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726624729768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22319] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22319/stat : 22319 (java) S 22308 22310 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726623677480 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22320] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22320/stat : 22320 (java) S 22308 22310 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726622624680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22321] ppid=22308 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22310/task/22321/stat : 22321 (java) S 22308 22310 21531 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 253648750 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726491904232 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22322] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22322/stat : 22322 (java) S 22308 22310 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726490850296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22323] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22323/stat : 22323 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726489797896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22324] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22324/stat : 22324 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726488746384 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22325] ppid=22308 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/22310/task/22325/stat : 22325 (java) S 22308 22310 21531 0 -1 4202560 2622 0 0 0 34 0 0 0 20 0 19 0 253648753 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726487694008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22326] ppid=22308 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/22310/task/22326/stat : 22326 (java) S 22308 22310 21531 0 -1 4202560 4607 0 0 0 24 0 0 0 20 0 19 0 253648753 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726486641208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22327] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22327/stat : 22327 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726485589112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22328] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22328/stat : 22328 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140726484536520 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22329] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22329/stat : 22329 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648772 9855975424 14722 33554432000 1073741824 1073778376 140734852652720 140725475861416 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9624976

[startup+3.10055 s]
/proc/loadavg: 1.92 1.99 1.91 9/216 22329
/proc/meminfo: memFree=28275844/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=3.77 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 11004 0 1 0 373 4 0 0 20 0 19 0 253648747 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 16820 2272 9 0 2396937 0
[pid=22310/tid=22312] ppid=22308 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/22310/task/22312/stat : 22312 (java) R 22308 22310 21531 0 -1 4202560 2464 0 1 0 297 1 0 0 20 0 19 0 253648748 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726668501264 140726499796136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22313] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22313/stat : 22313 (java) S 22308 22310 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726629992744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22314] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22314/stat : 22314 (java) S 22308 22310 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726628939944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22315] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22315/stat : 22315 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726627887656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22316] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22316/stat : 22316 (java) S 22308 22310 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726626834856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22317] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22317/stat : 22317 (java) S 22308 22310 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726625782568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22318] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22318/stat : 22318 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726624729768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22319] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22319/stat : 22319 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726623677480 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22320] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22320/stat : 22320 (java) S 22308 22310 21531 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726622624680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22321] ppid=22308 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/22310/task/22321/stat : 22321 (java) S 22308 22310 21531 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 253648750 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726491904232 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22322] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22322/stat : 22322 (java) S 22308 22310 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726490850296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22323] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22323/stat : 22323 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726489797896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22324] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22324/stat : 22324 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726488746384 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22325] ppid=22308 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/22310/task/22325/stat : 22325 (java) S 22308 22310 21531 0 -1 4202560 2622 0 0 0 34 0 0 0 20 0 19 0 253648753 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726487694008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22326] ppid=22308 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22310/task/22326/stat : 22326 (java) S 22308 22310 21531 0 -1 4202560 4646 0 0 0 29 0 0 0 20 0 19 0 253648753 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726486641208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22327] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22327/stat : 22327 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726485589112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22328] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22328/stat : 22328 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140726484536520 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22329] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22329/stat : 22329 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648772 9855975424 16820 33554432000 1073741824 1073778376 140734852652720 140725475861416 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9624976

[startup+6.30067 s]
/proc/loadavg: 1.93 1.99 1.91 3/216 22329
/proc/meminfo: memFree=28265596/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=7.01 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 11045 0 1 0 696 5 0 0 20 0 19 0 253648747 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 19590 2272 9 0 2396937 0
[pid=22310/tid=22312] ppid=22308 vsize=9624976 CPUtime=6.06 cores=1,3,5,7
/proc/22310/task/22312/stat : 22312 (java) R 22308 22310 21531 0 -1 4202560 2470 0 1 0 605 1 0 0 20 0 19 0 253648748 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726668501384 140726499916678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22313] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22313/stat : 22313 (java) S 22308 22310 21531 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726629992744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22314] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22314/stat : 22314 (java) S 22308 22310 21531 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726628939944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22315] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22315/stat : 22315 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648748 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726627887656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22316] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22316/stat : 22316 (java) S 22308 22310 21531 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726626834856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22317] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22317/stat : 22317 (java) S 22308 22310 21531 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726625782568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22318] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22318/stat : 22318 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726624729768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22319] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22319/stat : 22319 (java) S 22308 22310 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253648749 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726623677480 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22320] ppid=22308 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/22310/task/22320/stat : 22320 (java) S 22308 22310 21531 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253648749 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726622624680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22321] ppid=22308 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/22310/task/22321/stat : 22321 (java) S 22308 22310 21531 0 -1 4202560 37 0 0 0 13 0 0 0 20 0 19 0 253648750 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726491904232 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22322] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22322/stat : 22322 (java) S 22308 22310 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726490850296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22323] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22323/stat : 22323 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726489797896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22324] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22324/stat : 22324 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726488746384 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22325] ppid=22308 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/22310/task/22325/stat : 22325 (java) S 22308 22310 21531 0 -1 4202560 2622 0 0 0 34 0 0 0 20 0 19 0 253648753 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726487694008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22326] ppid=22308 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22310/task/22326/stat : 22326 (java) S 22308 22310 21531 0 -1 4202560 4647 0 0 0 29 0 0 0 20 0 19 0 253648753 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726486641208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22327] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22327/stat : 22327 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726485589112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22328] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22328/stat : 22328 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140726484536520 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22329] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22329/stat : 22329 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648772 9855975424 19590 33554432000 1073741824 1073778376 140734852652720 140725475861416 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=22310/tid=22325] ppid=22308 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/22310/task/22325/stat : 22325 (java) S 22308 22310 21531 0 -1 4202560 2625 0 0 0 38 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726487694008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22326] ppid=22308 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/22310/task/22326/stat : 22326 (java) S 22308 22310 21531 0 -1 4202560 11725 0 0 0 91 2 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726486641208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22327] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22327/stat : 22327 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726485589112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22328] ppid=22308 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/22310/task/22328/stat : 22328 (java) S 22308 22310 21531 0 -1 4202560 97 0 0 0 26 24 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726484536520 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22329] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22329/stat : 22329 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648772 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140725475861416 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1733.35
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/216 22540
/proc/meminfo: memFree=28402200/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=1793.64 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 21477 0 1 0 179292 72 0 0 20 0 19 0 253648747 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 105759 2274 9 0 2396937 0
[pid=22310/tid=22312] ppid=22308 vsize=9624976 CPUtime=1755.87 cores=1,3,5,7
/proc/22310/task/22312/stat : 22312 (java) R 22308 22310 21531 0 -1 4202560 2783 0 1 0 175556 31 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726668501264 140726499546534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22313] ppid=22308 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/22310/task/22313/stat : 22313 (java) S 22308 22310 21531 0 -1 4202560 316 0 0 0 173 6 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726629992744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22314] ppid=22308 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/22310/task/22314/stat : 22314 (java) S 22308 22310 21531 0 -1 4202560 301 0 0 0 169 5 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726628939944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22315] ppid=22308 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/22310/task/22315/stat : 22315 (java) S 22308 22310 21531 0 -1 4202560 374 0 0 0 168 5 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726627887656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22316] ppid=22308 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/22310/task/22316/stat : 22316 (java) S 22308 22310 21531 0 -1 4202560 414 0 0 0 154 3 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726626834856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22317] ppid=22308 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/22310/task/22317/stat : 22317 (java) S 22308 22310 21531 0 -1 4202560 423 0 0 0 164 5 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726625782568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22318] ppid=22308 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/22310/task/22318/stat : 22318 (java) S 22308 22310 21531 0 -1 4202560 333 0 0 0 167 6 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726624729768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22319] ppid=22308 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/22310/task/22319/stat : 22319 (java) S 22308 22310 21531 0 -1 4202560 304 0 0 0 177 4 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726623677480 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22320] ppid=22308 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/22310/task/22320/stat : 22320 (java) S 22308 22310 21531 0 -1 4202560 420 0 0 0 172 5 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726622624680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22321] ppid=22308 vsize=9624976 CPUtime=17.67 cores=1,3,5,7
/proc/22310/task/22321/stat : 22321 (java) S 22308 22310 21531 0 -1 4202560 180 0 0 0 1763 4 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726491904232 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22322] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22322/stat : 22322 (java) S 22308 22310 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726490850296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22323] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22323/stat : 22323 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726489797896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22324] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22324/stat : 22324 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726488746384 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22325] ppid=22308 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/22310/task/22325/stat : 22325 (java) S 22308 22310 21531 0 -1 4202560 2625 0 0 0 38 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726487694008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22326] ppid=22308 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/22310/task/22326/stat : 22326 (java) S 22308 22310 21531 0 -1 4202560 11725 0 0 0 91 2 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726486641208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22327] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22327/stat : 22327 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726485589112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22328] ppid=22308 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22310/task/22328/stat : 22328 (java) S 22308 22310 21531 0 -1 4202560 101 0 0 0 27 25 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726484536520 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22329] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22329/stat : 22329 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648772 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140725475861416 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.7 s]
/proc/loadavg: 2.01 2.00 1.95 3/216 22540
/proc/meminfo: memFree=28402076/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 21477 0 1 0 179933 72 0 0 20 0 19 0 253648747 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 105759 2274 9 0 2396937 0
[pid=22310/tid=22312] ppid=22308 vsize=9624976 CPUtime=1762.26 cores=1,3,5,7
/proc/22310/task/22312/stat : 22312 (java) R 22308 22310 21531 0 -1 4202560 2783 0 1 0 176195 31 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726668501264 140726499796313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22313] ppid=22308 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/22310/task/22313/stat : 22313 (java) S 22308 22310 21531 0 -1 4202560 316 0 0 0 173 6 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726629992744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22314] ppid=22308 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/22310/task/22314/stat : 22314 (java) S 22308 22310 21531 0 -1 4202560 301 0 0 0 169 5 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726628939944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22315] ppid=22308 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/22310/task/22315/stat : 22315 (java) S 22308 22310 21531 0 -1 4202560 374 0 0 0 168 5 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726627887656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22316] ppid=22308 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/22310/task/22316/stat : 22316 (java) S 22308 22310 21531 0 -1 4202560 414 0 0 0 154 3 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726626834856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22317] ppid=22308 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/22310/task/22317/stat : 22317 (java) S 22308 22310 21531 0 -1 4202560 423 0 0 0 164 5 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726625782568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22318] ppid=22308 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/22310/task/22318/stat : 22318 (java) S 22308 22310 21531 0 -1 4202560 333 0 0 0 167 6 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726624729768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22319] ppid=22308 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/22310/task/22319/stat : 22319 (java) S 22308 22310 21531 0 -1 4202560 304 0 0 0 177 4 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726623677480 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22320] ppid=22308 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/22310/task/22320/stat : 22320 (java) S 22308 22310 21531 0 -1 4202560 420 0 0 0 172 5 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726622624680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22321] ppid=22308 vsize=9624976 CPUtime=17.67 cores=1,3,5,7
/proc/22310/task/22321/stat : 22321 (java) S 22308 22310 21531 0 -1 4202560 180 0 0 0 1763 4 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726491904232 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22322] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22322/stat : 22322 (java) S 22308 22310 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726490850296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22323] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22323/stat : 22323 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726489797896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22324] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22324/stat : 22324 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726488746384 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22325] ppid=22308 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/22310/task/22325/stat : 22325 (java) S 22308 22310 21531 0 -1 4202560 2625 0 0 0 38 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726487694008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22326] ppid=22308 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/22310/task/22326/stat : 22326 (java) S 22308 22310 21531 0 -1 4202560 11725 0 0 0 91 2 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726486641208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22327] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22327/stat : 22327 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726485589112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22328] ppid=22308 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22310/task/22328/stat : 22328 (java) S 22308 22310 21531 0 -1 4202560 101 0 0 0 27 25 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726484536520 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22329] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22329/stat : 22329 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648772 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140725475861416 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1788.7 s]
/proc/loadavg: 2.01 2.00 1.95 3/216 22540
/proc/meminfo: memFree=28402076/32873844 swapFree=6584/6584
[pid=22310] ppid=22308 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/22310/stat : 22310 (java) S 22308 22310 21531 0 -1 4202496 21477 0 1 0 179933 72 0 0 20 0 19 0 253648747 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140734852643856 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22310/statm: 2406244 105759 2274 9 0 2396937 0
[pid=22310/tid=22312] ppid=22308 vsize=9624976 CPUtime=1762.26 cores=1,3,5,7
/proc/22310/task/22312/stat : 22312 (java) R 22308 22310 21531 0 -1 4202560 2783 0 1 0 176195 31 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726668501264 140726499796313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22313] ppid=22308 vsize=9624976 CPUtime=1.79 cores=1,3,5,7
/proc/22310/task/22313/stat : 22313 (java) S 22308 22310 21531 0 -1 4202560 316 0 0 0 173 6 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726629992744 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22314] ppid=22308 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/22310/task/22314/stat : 22314 (java) S 22308 22310 21531 0 -1 4202560 301 0 0 0 169 5 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726628939944 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22315] ppid=22308 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/22310/task/22315/stat : 22315 (java) S 22308 22310 21531 0 -1 4202560 374 0 0 0 168 5 0 0 20 0 19 0 253648748 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726627887656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22316] ppid=22308 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/22310/task/22316/stat : 22316 (java) S 22308 22310 21531 0 -1 4202560 414 0 0 0 154 3 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726626834856 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22317] ppid=22308 vsize=9624976 CPUtime=1.69 cores=1,3,5,7
/proc/22310/task/22317/stat : 22317 (java) S 22308 22310 21531 0 -1 4202560 423 0 0 0 164 5 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726625782568 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22318] ppid=22308 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/22310/task/22318/stat : 22318 (java) S 22308 22310 21531 0 -1 4202560 333 0 0 0 167 6 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726624729768 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22319] ppid=22308 vsize=9624976 CPUtime=1.81 cores=1,3,5,7
/proc/22310/task/22319/stat : 22319 (java) S 22308 22310 21531 0 -1 4202560 304 0 0 0 177 4 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726623677480 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22310/tid=22320] ppid=22308 vsize=9624976 CPUtime=1.77 cores=1,3,5,7
/proc/22310/task/22320/stat : 22320 (java) S 22308 22310 21531 0 -1 4202560 420 0 0 0 172 5 0 0 20 0 19 0 253648749 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726622624680 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22321] ppid=22308 vsize=9624976 CPUtime=17.67 cores=1,3,5,7
/proc/22310/task/22321/stat : 22321 (java) S 22308 22310 21531 0 -1 4202560 180 0 0 0 1763 4 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726491904232 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22322] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22322/stat : 22322 (java) S 22308 22310 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726490850296 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22323] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22323/stat : 22323 (java) S 22308 22310 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253648750 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726489797896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22324] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22324/stat : 22324 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726488746384 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22325] ppid=22308 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/22310/task/22325/stat : 22325 (java) S 22308 22310 21531 0 -1 4202560 2625 0 0 0 38 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726487694008 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22310/tid=22326] ppid=22308 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/22310/task/22326/stat : 22326 (java) S 22308 22310 21531 0 -1 4202560 11725 0 0 0 91 2 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726486641208 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22327] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22327/stat : 22327 (java) S 22308 22310 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726485589112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22310/tid=22328] ppid=22308 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22310/task/22328/stat : 22328 (java) S 22308 22310 21531 0 -1 4202560 101 0 0 0 27 25 0 0 20 0 19 0 253648753 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140726484536520 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22310/tid=22329] ppid=22308 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22310/task/22329/stat : 22329 (java) S 22308 22310 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253648772 9855975424 105759 33554432000 1073741824 1073778376 140734852652720 140725475861416 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22310 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=789150
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=152824
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1788.76
CPU time (s): 1800.05
CPU user time (s): 1799.33
CPU system time (s): 0.72
CPU usage (%): 100.631
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 1.15282
maximum resident set size= 423184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21515
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45243
involuntary context switches= 31022

runsolver used 6.00909 second user time and 15.4147 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-24 18:00:34
IDJOB=3687673
IDBENCH=2015
IDSOLVER=2269
FILE ID=node132/3687673-1337875234
RUNJOBID= node132-1337871880-21548
PBS_JOBID= 14620072
Free space on /tmp= 71620 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687673-1337875234/watcher-3687673-1337875234 -o /tmp/evaluation-result-3687673-1337875234/solver-3687673-1337875234 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687673-1337875234.opb

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

MD5SUM BENCH= 38f65eab3d9896915eed9a127435e25b
RANDOM SEED=1473233965

node132.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.832
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	: 5333.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28332408 kB
Buffers:          208380 kB
Cached:          2716904 kB
SwapCached:            0 kB
Active:          1512192 kB
Inactive:        2251128 kB
Active(anon):     840760 kB
Inactive(anon):        0 kB
Active(file):     671432 kB
Inactive(file):  2251128 kB
Unevictable:        6584 kB
Mlocked:            6584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:                60 kB
Writeback:             0 kB
AnonPages:        855188 kB
Mapped:            22600 kB
Shmem:               212 kB
Slab:             628000 kB
SReclaimable:      70404 kB
SUnreclaim:       557596 kB
KernelStack:        1632 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1140228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    780288 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= 71636 MiB
End job on node132 at 2012-05-24 18:30:25