Trace number 4106809

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
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-42 1800.5 906.148

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUMb5a23f46b7c8ffe564ae87cb51d69480
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4106809-1466277859.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.66/0.44	c ... done. Wall clock time 0.314s.
0.66/0.44	c declared #vars     400
0.66/0.44	c internal #vars     2892
0.66/0.44	c #constraints  5586
0.66/0.45	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.66/0.45	c constraints type 
0.66/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
0.66/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.66/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.66/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
0.66/0.45	c 5586 constraints processed.
0.66/0.45	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.66/0.45	c constraints type 
0.66/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.66/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2492
0.66/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.66/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2492
0.66/0.45	c 5586 constraints processed.
0.66/0.45	c objective function length is 200 literals
1.80/0.71	c And the winner is solver1
1.95/0.95	c SATISFIABLE
1.95/0.95	c OPTIMIZING...
1.95/0.95	c Got one! Elapsed wall clock time (in seconds):0.818
1.95/0.95	o -8
1.95/0.98	c And the winner is solver1
2.08/1.45	c Got one! Elapsed wall clock time (in seconds):1.32
2.08/1.45	o -9
2.08/1.48	c And the winner is solver1
2.26/1.95	c Got one! Elapsed wall clock time (in seconds):1.821
2.26/1.95	o -14
2.26/2.00	c And the winner is solver1
2.57/2.45	c Got one! Elapsed wall clock time (in seconds):2.323
2.57/2.45	o -15
2.57/2.47	c And the winner is solver1
2.69/2.95	c Got one! Elapsed wall clock time (in seconds):2.824
2.69/2.95	o -18
2.69/2.97	c And the winner is solver1
2.75/3.45	c Got one! Elapsed wall clock time (in seconds):3.325
2.75/3.45	o -19
2.75/3.48	c And the winner is solver1
2.82/3.96	c Got one! Elapsed wall clock time (in seconds):3.826
2.82/3.96	o -20
2.82/3.98	c And the winner is solver1
2.91/4.46	c Got one! Elapsed wall clock time (in seconds):4.327
2.91/4.46	o -21
2.91/4.47	c And the winner is solver1
3.01/4.96	c Got one! Elapsed wall clock time (in seconds):4.829
3.01/4.96	o -22
3.01/4.97	c And the winner is solver1
3.06/5.46	c Got one! Elapsed wall clock time (in seconds):5.33
3.06/5.46	o -23
3.06/5.49	c And the winner is solver1
3.12/5.96	c Got one! Elapsed wall clock time (in seconds):5.83
3.12/5.96	o -24
3.12/5.99	c And the winner is solver1
3.21/6.46	c Got one! Elapsed wall clock time (in seconds):6.332
3.21/6.46	o -25
3.21/6.49	c And the winner is solver1
3.30/6.96	c Got one! Elapsed wall clock time (in seconds):6.833
3.30/6.96	o -26
3.30/6.98	c And the winner is solver1
3.35/7.46	c Got one! Elapsed wall clock time (in seconds):7.333
3.35/7.46	o -27
3.35/7.48	c And the winner is solver1
3.39/7.96	c Got one! Elapsed wall clock time (in seconds):7.834
3.39/7.96	o -28
3.82/8.10	c And the winner is solver1
3.85/8.46	c Got one! Elapsed wall clock time (in seconds):8.335
3.85/8.46	o -31
3.93/8.54	c And the winner is solver1
4.03/8.96	c Got one! Elapsed wall clock time (in seconds):8.836
4.03/8.96	o -32
4.09/9.03	c And the winner is solver1
4.18/9.47	c Got one! Elapsed wall clock time (in seconds):9.337
4.18/9.47	o -33
4.18/9.49	c And the winner is solver1
4.22/9.97	c Got one! Elapsed wall clock time (in seconds):9.837
4.22/9.97	o -34
4.22/9.99	c And the winner is solver0
4.31/10.47	c Got one! Elapsed wall clock time (in seconds):10.338
4.31/10.47	o -37
6.33/11.47	c cleaning 3569 clauses out of 7145 with flag 27733/7145
7.47/11.94	c And the winner is solver1
7.47/11.97	c Got one! Elapsed wall clock time (in seconds):11.839
7.47/11.97	o -38
8.89/12.65	c cleaning 4595 clauses out of 9190 with flag 18111/12759
12.00/13.93	c cleaning 5283 clauses out of 10593 with flag 53794/18757
15.05/15.27	c cleaning 6113 clauses out of 12312 with flag 94459/25759
18.37/16.85	c cleaning 7078 clauses out of 14197 with flag 151151/33757
22.52/18.85	c cleaning 8062 clauses out of 16124 with flag 206683/42762
26.96/21.09	c cleaning 9030 clauses out of 18060 with flag 265567/52760
28.96/22.07	c And the winner is solver1
29.11/22.47	c Got one! Elapsed wall clock time (in seconds):22.342
29.11/22.47	o -39
29.55/22.73	c cleaning 7478 clauses out of 14955 with flag 5949/58685
31.82/23.82	c cleaning 6723 clauses out of 13479 with flag 40089/64687
34.44/25.16	c cleaning 6867 clauses out of 13755 with flag 80654/71686
37.49/26.66	c cleaning 7394 clauses out of 14888 with flag 137311/79686
41.10/28.44	c cleaning 8230 clauses out of 16493 with flag 189455/88685
42.10/28.96	c And the winner is solver1
42.10/28.97	c Got one! Elapsed wall clock time (in seconds):28.844
42.10/28.97	o -40
42.87/29.34	c cleaning 6696 clauses out of 13397 with flag 11658/93819
45.27/30.50	c cleaning 6320 clauses out of 12692 with flag 50913/99810
48.14/31.91	c cleaning 6688 clauses out of 13379 with flag 98546/106817
51.12/33.48	c cleaning 7345 clauses out of 14690 with flag 148544/114816
54.94/35.31	c cleaning 8116 clauses out of 16339 with flag 205747/123810
58.72/37.28	c cleaning 9094 clauses out of 18227 with flag 277681/133814
63.38/39.58	c cleaning 10067 clauses out of 20138 with flag 353545/144819
68.78/42.24	c cleaning 11036 clauses out of 22082 with flag 433702/156830
74.69/45.17	c cleaning 11968 clauses out of 24028 with flag 516668/169812
80.67/48.15	c cleaning 12979 clauses out of 26058 with flag 601264/183810
87.47/51.58	c cleaning 14027 clauses out of 28080 with flag 701003/198811
95.14/55.33	c cleaning 15018 clauses out of 30052 with flag 810922/214810
103.56/59.51	c cleaning 16019 clauses out of 32037 with flag 922006/231813
112.23/63.87	c cleaning 16998 clauses out of 34019 with flag 1049325/249814
122.54/68.91	c cleaning 18003 clauses out of 36017 with flag 1173588/268810
131.34/73.35	c cleaning 19005 clauses out of 38016 with flag 1317581/288812
142.38/78.82	c cleaning 19980 clauses out of 40009 with flag 1438395/309810
155.27/85.26	c cleaning 20976 clauses out of 42029 with flag 1561925/331810
168.13/91.66	c cleaning 22032 clauses out of 44067 with flag 1692275/354824
182.00/98.57	c cleaning 23017 clauses out of 46033 with flag 1825845/378822
196.54/105.76	c cleaning 23975 clauses out of 48015 with flag 1976577/403821
212.71/114.05	c cleaning 25012 clauses out of 50030 with flag 2115031/429811
229.38/122.33	c cleaning 26008 clauses out of 52021 with flag 2259052/456814
244.84/130.08	c cleaning 27006 clauses out of 54011 with flag 2409033/484812
264.31/139.78	c cleaning 27997 clauses out of 56003 with flag 2554761/513810
283.00/149.02	c cleaning 29009 clauses out of 58020 with flag 2732791/543824
304.70/159.87	c cleaning 29999 clauses out of 60004 with flag 2922365/574817
324.59/169.79	c cleaning 30975 clauses out of 62002 with flag 3084203/606814
328.21/171.54	c cleaning 0 clauses out of 6801 with flag 0/6801
349.36/181.96	c cleaning 32014 clauses out of 64038 with flag 3260103/639825
373.44/193.94	c cleaning 32998 clauses out of 66012 with flag 3432921/673813
397.93/206.20	c cleaning 33978 clauses out of 68012 with flag 3624298/708811
420.25/217.55	c cleaning 35021 clauses out of 70042 with flag 3808360/744819
445.52/230.11	c cleaning 35991 clauses out of 72014 with flag 3995912/781812
469.42/242.05	c cleaning 36993 clauses out of 74027 with flag 4194213/819816
497.29/255.93	c cleaning 38020 clauses out of 76039 with flag 4404241/858821
524.26/269.37	c cleaning 38975 clauses out of 78015 with flag 4630003/898817
552.56/283.44	c cleaning 40001 clauses out of 80033 with flag 4829129/939810
581.46/297.80	c cleaning 40969 clauses out of 82032 with flag 5045252/981810
611.55/312.80	c cleaning 42031 clauses out of 84063 with flag 5270622/1024810
646.11/330.08	c cleaning 43013 clauses out of 86037 with flag 5494249/1068815
678.68/346.29	c cleaning 44007 clauses out of 88022 with flag 5687096/1113813
704.54/359.14	c cleaning 45006 clauses out of 90018 with flag 5892419/1159816
743.57/378.99	c cleaning 46003 clauses out of 92006 with flag 6123072/1206810
782.53/398.36	c cleaning 46969 clauses out of 94004 with flag 6343660/1254811
817.27/415.67	c cleaning 48018 clauses out of 96037 with flag 6549809/1303813
849.32/431.64	c cleaning 48981 clauses out of 98018 with flag 6797912/1353812
886.61/450.29	c cleaning 50018 clauses out of 100035 with flag 7050991/1404810
927.01/470.33	c cleaning 51004 clauses out of 102017 with flag 7230479/1456810
962.16/487.89	c cleaning 52006 clauses out of 104016 with flag 7429744/1509813
999.14/506.23	c cleaning 52995 clauses out of 106013 with flag 7646851/1563816
1036.66/524.94	c cleaning 53996 clauses out of 108013 with flag 7861461/1618811
1078.85/546.53	c cleaning 54987 clauses out of 110018 with flag 8075417/1674812
1114.35/564.20	c cleaning 55975 clauses out of 112032 with flag 8305737/1731813
1153.14/583.57	c cleaning 57016 clauses out of 114055 with flag 8535266/1789811
1192.50/603.13	c cleaning 58004 clauses out of 116038 with flag 8777985/1848810
1229.68/621.65	c cleaning 59038 clauses out of 118076 with flag 9066818/1908852
1273.61/643.59	c cleaning 59985 clauses out of 119996 with flag 9375243/1969810
1294.69/654.02	c And the winner is solver1
1294.87/654.34	c Got one! Elapsed wall clock time (in seconds):654.208
1294.87/654.34	o -41
1298.21/656.08	c cleaning 51802 clauses out of 103605 with flag 33741/2013404
1301.21/657.52	c cleaning 28897 clauses out of 57803 with flag 79382/2019404
1304.23/659.05	c cleaning 17949 clauses out of 35909 with flag 127903/2026407
1307.61/660.72	c cleaning 12940 clauses out of 25973 with flag 180674/2034420
1311.21/662.50	c cleaning 10963 clauses out of 22017 with flag 239655/2043404
1315.49/664.61	c cleaning 10533 clauses out of 21065 with flag 306449/2053415
1320.08/666.92	c cleaning 10759 clauses out of 21535 with flag 381250/2064418
1325.28/669.52	c cleaning 11375 clauses out of 22762 with flag 457721/2076404
1330.77/672.24	c cleaning 12180 clauses out of 24388 with flag 535684/2089405
1336.16/674.99	c cleaning 13110 clauses out of 26219 with flag 622361/2103416
1342.56/678.19	c cleaning 14026 clauses out of 28097 with flag 720691/2118404
1349.00/681.34	c cleaning 15036 clauses out of 30071 with flag 825850/2134404
1356.23/684.98	c cleaning 16005 clauses out of 32037 with flag 926240/2151406
1364.83/689.22	c cleaning 17016 clauses out of 34032 with flag 1027572/2169406
1372.90/693.23	c cleaning 17998 clauses out of 36014 with flag 1147108/2188404
1379.70/696.60	c cleaning 18966 clauses out of 38016 with flag 1256455/2208404
1387.98/700.74	c cleaning 20026 clauses out of 40051 with flag 1384972/2229405
1396.98/705.25	c cleaning 21014 clauses out of 42028 with flag 1527444/2251408
1398.56/706.04	c And the winner is solver1
1398.67/706.35	c Got one! Elapsed wall clock time (in seconds):706.22
1398.67/706.35	o -42
1400.79/707.41	c cleaning 15551 clauses out of 31101 with flag 38375/2261495
1402.99/708.51	c cleaning 10727 clauses out of 21545 with flag 79355/2267490
1405.65/709.88	c cleaning 8860 clauses out of 17818 with flag 130892/2274490
1408.65/711.34	c cleaning 8481 clauses out of 16961 with flag 182860/2282493
1411.45/712.72	c cleaning 8703 clauses out of 17476 with flag 234930/2291489
1414.65/714.35	c cleaning 9374 clauses out of 18772 with flag 297240/2301488
1418.26/716.15	c cleaning 10193 clauses out of 20402 with flag 371697/2312492
1422.51/718.28	c cleaning 11064 clauses out of 22205 with flag 442303/2324488
1426.91/720.47	c cleaning 12045 clauses out of 24142 with flag 520355/2337489
1431.52/722.73	c cleaning 13049 clauses out of 26098 with flag 600250/2351490
1437.31/725.62	c cleaning 13982 clauses out of 28047 with flag 684583/2366488
1444.17/729.09	c cleaning 15037 clauses out of 30073 with flag 790900/2382496
1450.36/732.17	c cleaning 15990 clauses out of 32029 with flag 889489/2399489
1457.84/735.86	c cleaning 17018 clauses out of 34038 with flag 1004223/2417488
1466.03/739.90	c cleaning 18012 clauses out of 36024 with flag 1110812/2436492
1473.90/743.89	c cleaning 18955 clauses out of 38008 with flag 1221720/2456488
1482.09/747.93	c cleaning 20027 clauses out of 40053 with flag 1346193/2477488
1492.34/753.05	c cleaning 21010 clauses out of 42029 with flag 1490962/2499491
1501.94/757.84	c cleaning 21974 clauses out of 44017 with flag 1632892/2522489
1511.22/762.47	c cleaning 23001 clauses out of 46042 with flag 1771598/2546488
1522.02/767.82	c cleaning 23986 clauses out of 48041 with flag 1926488/2571488
1533.49/773.56	c cleaning 24965 clauses out of 50055 with flag 2075102/2597488
1546.51/780.02	c cleaning 26025 clauses out of 52090 with flag 2232167/2624488
1558.38/785.98	c cleaning 27000 clauses out of 54073 with flag 2388071/2652496
1572.09/792.74	c cleaning 27996 clauses out of 56067 with flag 2565596/2681490
1584.29/798.88	c cleaning 29021 clauses out of 58069 with flag 2742509/2711488
1596.39/804.87	c cleaning 29970 clauses out of 60050 with flag 2921979/2742490
1608.59/810.99	c cleaning 31043 clauses out of 62085 with flag 3109167/2774495
1620.65/816.93	c cleaning 32011 clauses out of 64035 with flag 3281278/2807488
1633.58/823.31	c cleaning 32979 clauses out of 66026 with flag 3455210/2841490
1648.97/831.06	c cleaning 33995 clauses out of 68045 with flag 3656522/2876488
1664.72/838.82	c cleaning 35006 clauses out of 70050 with flag 3865466/2912488
1681.02/847.00	c cleaning 36014 clauses out of 72045 with flag 4085073/2949489
1698.72/855.77	c cleaning 37010 clauses out of 74033 with flag 4297248/2987491
1716.65/864.67	c cleaning 37971 clauses out of 76023 with flag 4511861/3026491
1735.92/874.22	c cleaning 39019 clauses out of 78049 with flag 4738367/3066488
1756.02/884.23	c cleaning 40015 clauses out of 80030 with flag 4974049/3107488
1767.81/890.19	c cleaning 0 clauses out of 12640 with flag 0/12640
1774.81/893.63	c cleaning 40998 clauses out of 82019 with flag 5231127/3149492
1795.91/904.16	c cleaning 42009 clauses out of 84021 with flag 5487880/3192492
1800.02/906.10	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.02/906.10	c starts		: 43935
1800.02/906.10	c conflicts		: 3203053
1800.02/906.10	c decisions		: 38674658
1800.02/906.10	c propagations		: 343086431
1800.02/906.10	c inspects		: 10253070233
1800.02/906.10	c shortcuts		: 0
1800.02/906.10	c learnt literals	: 0
1800.02/906.10	c learnt binary clauses	: 8
1800.02/906.10	c learnt ternary clauses	: 1969
1800.02/906.10	c learnt constraints	: 3203053
1800.02/906.10	c ignored constraints	: 0
1800.02/906.10	c root simplifications	: 0
1800.02/906.10	c removed literals (reason simplification)	: 457238013
1800.02/906.10	c reason swapping (by a shorter reason)	: 0
1800.02/906.10	c Calls to reduceDB	: 126
1800.02/906.10	c Number of update (reduction) of LBD	: 988153
1800.02/906.10	c Imported unit clauses	: 0
1800.02/906.10	c number of reductions to clauses (during analyze)	: 0
1800.02/906.10	c number of learned constraints concerned by reduction	: 0
1800.02/906.10	c number of learning phase by resolution	: 0
1800.02/906.10	c number of learning phase by cutting planes	: 0
1800.02/906.10	c speed (assignments/second)	: 1717553.333366708
1800.02/906.10	c non guided choices	0
1800.02/906.12	c learnt constraints type 
1800.02/906.12	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 8
1800.02/906.12	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 52565
1800.02/906.12	c >>>>>>>>>> Solver number 1 (24 answers) <<<<<<<<<<<<<<<<<<
1800.02/906.12	c starts		: 65
1800.02/906.12	c conflicts		: 12804
1800.02/906.12	c decisions		: 166077
1800.02/906.12	c propagations		: 2238073
1800.02/906.12	c inspects		: 1115436765
1800.02/906.12	c shortcuts		: 0
1800.02/906.12	c learnt literals	: 0
1800.02/906.12	c learnt binary clauses	: 0
1800.02/906.12	c learnt ternary clauses	: 0
1800.02/906.12	c learnt constraints	: 12803
1800.02/906.12	c ignored constraints	: 0
1800.02/906.12	c root simplifications	: 0
1800.02/906.12	c removed literals (reason simplification)	: 0
1800.02/906.12	c reason swapping (by a shorter reason)	: 0
1800.02/906.12	c Calls to reduceDB	: 2
1800.02/906.12	c Number of update (reduction) of LBD	: 0
1800.02/906.12	c Imported unit clauses	: 0
1800.02/906.12	c number of reductions to clauses (during analyze)	: 0
1800.02/906.12	c number of learned constraints concerned by reduction	: 0
1800.02/906.12	c number of learning phase by resolution	: 0
1800.02/906.12	c number of learning phase by cutting planes	: 0
1800.02/906.12	c speed (assignments/second)	: 2498.8114843326953
1800.02/906.12	c non guided choices	75
1800.02/906.13	c learnt constraints type 
1800.02/906.13	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.02/906.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12801
1800.02/906.13	s SATISFIABLE
1800.02/906.13	c Found 25 solution(s)
1800.02/906.13	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 
1800.02/906.13	c objective function=-42
1800.02/906.13	c Total wall clock time (in seconds): 906.001

Verifier Data 

OK	-42

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106809-1466277859/watcher-4106809-1466277859 -o /tmp/evaluation-result-4106809-1466277859/solver-4106809-1466277859 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106809-1466277859.opb 

pid=10811
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: 4.16 4.30 4.26 5/197 10814
/proc/meminfo: memFree=26958956/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10814/stat : 10814 (java) D 10811 10814 3621 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 29832636 9515008 175 33554432000 1073741824 1073778376 140737392922864 140737392905592 214369649552 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/10814/statm: 2323 175 133 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 4.16 4.30 4.26 5/197 10814
/proc/meminfo: memFree=26958956/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 4265 0 1 0 6 1 0 0 20 0 18 0 29832636 9787879424 4868 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2389619 4868 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200241 s]
/proc/loadavg: 4.16 4.30 4.26 5/197 10814
/proc/meminfo: memFree=26958956/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 4643 0 1 0 18 1 0 0 20 0 18 0 29832636 9787879424 6747 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2389619 6747 2194 9 0 2380296 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9558476

[startup+0.300215 s]
/proc/loadavg: 4.16 4.30 4.26 5/197 10814
/proc/meminfo: memFree=26958956/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 6041 0 1 0 41 2 0 0 20 0 18 0 29832636 9787879424 8740 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2389619 8740 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.700169 s]
/proc/loadavg: 4.16 4.30 4.26 5/197 10814
/proc/meminfo: memFree=26958956/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 17078 0 1 0 176 4 0 0 20 0 22 0 29832636 10060525568 18849 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2456183 18849 2263 9 0 2446860 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.16 4.30 4.26 4/216 10839
/proc/meminfo: memFree=26879776/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 17947 0 1 0 213 11 0 0 20 0 19 0 29832636 10060525568 24388 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2456183 24395 2269 9 0 2446860 0
[pid=10814/tid=10816] ppid=10811 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/10814/task/10816/stat : 10816 (java) S 10811 10814 3621 0 -1 4202560 2515 0 1 0 39 2 0 0 20 0 19 0 29832637 10060525568 24402 33554432000 1073741824 1073778376 140737347795696 140525091025784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10817] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10817/stat : 10817 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524935072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10818] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10818/stat : 10818 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524934019240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10819] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10819/stat : 10819 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524932966952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10820] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10820/stat : 10820 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524931914152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10821] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10821/stat : 10821 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524930861864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10822] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10822/stat : 10822 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524929809064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10823] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10823/stat : 10823 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524928756776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10824] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10824/stat : 10824 (java) S 10811 10814 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524927703976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10825] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10825/stat : 10825 (java) S 10811 10814 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524915292392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10826] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10826/stat : 10826 (java) S 10811 10814 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524914238456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10827] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10827/stat : 10827 (java) S 10811 10814 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524913186056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10828] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10828/stat : 10828 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524912134544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10829] ppid=10811 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/10814/task/10829/stat : 10829 (java) S 10811 10814 3621 0 -1 4202560 5615 0 0 0 54 1 0 0 20 0 19 0 29832643 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524911082168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10830] ppid=10811 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/10814/task/10830/stat : 10830 (java) R 10811 10814 3621 0 -1 4202560 8467 0 0 0 53 2 0 0 20 0 19 0 29832643 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524910029368 214369690743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10831] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10831/stat : 10831 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524908977272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10832] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10832/stat : 10832 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524907924680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10835] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10835/stat : 10835 (java) S 10811 10814 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29832682 10060525568 24300 33554432000 1073741824 1073778376 140737347795696 140524904473768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 4.16 4.30 4.26 4/216 10845
/proc/meminfo: memFree=26860600/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 20861 0 1 0 258 17 0 0 20 0 19 0 29832636 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2456183 30689 2271 9 0 2446860 0
[pid=10814/tid=10816] ppid=10811 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/10814/task/10816/stat : 10816 (java) S 10811 10814 3621 0 -1 4202560 2515 0 1 0 39 2 0 0 20 0 19 0 29832637 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140525091025784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10817] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10817/stat : 10817 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524935072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10818] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10818/stat : 10818 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524934019240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10819] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10819/stat : 10819 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524932966952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10820] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10820/stat : 10820 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524931914152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10821] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10821/stat : 10821 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524930861864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10822] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10822/stat : 10822 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524929809064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10823] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10823/stat : 10823 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524928756776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10824] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10824/stat : 10824 (java) S 10811 10814 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524927703976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10825] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10825/stat : 10825 (java) S 10811 10814 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524915292392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10826] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10826/stat : 10826 (java) S 10811 10814 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524914238456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10827] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10827/stat : 10827 (java) S 10811 10814 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524913186056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10828] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10828/stat : 10828 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524912134544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10829] ppid=10811 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/10814/task/10829/stat : 10829 (java) S 10811 10814 3621 0 -1 4202560 8422 0 0 0 77 2 0 0 20 0 19 0 29832643 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524911082168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10830] ppid=10811 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/10814/task/10830/stat : 10830 (java) S 10811 10814 3621 0 -1 4202560 8524 0 0 0 62 2 0 0 20 0 19 0 29832643 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524910029368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10831] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10831/stat : 10831 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524908977272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10832] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10832/stat : 10832 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524907924680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10835] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10835/stat : 10835 (java) S 10811 10814 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29832682 10060525568 30689 33554432000 1073741824 1073778376 140737347795696 140524904473768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 9824732

[startup+6.30078 s]
/proc/loadavg: 4.07 4.28 4.25 4/216 10866
/proc/meminfo: memFree=26800568/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9824732 CPUtime=3.21 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 21419 0 1 0 290 31 0 0 20 0 19 0 29832636 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2456183 41237 2285 9 0 2446860 0
[pid=10814/tid=10816] ppid=10811 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/10814/task/10816/stat : 10816 (java) S 10811 10814 3621 0 -1 4202560 2516 0 1 0 39 2 0 0 20 0 19 0 29832637 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140525091025784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10817] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10817/stat : 10817 (java) S 10811 10814 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524935072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10818] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10818/stat : 10818 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524934019240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10819] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10819/stat : 10819 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524932966952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10820] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10820/stat : 10820 (java) S 10811 10814 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524931914152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10821] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10821/stat : 10821 (java) S 10811 10814 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524930861864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10822] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10822/stat : 10822 (java) S 10811 10814 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524929809064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10823] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10823/stat : 10823 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524928756776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10824] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10824/stat : 10824 (java) S 10811 10814 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29832639 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524927703976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10825] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10825/stat : 10825 (java) S 10811 10814 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524915292392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10826] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10826/stat : 10826 (java) S 10811 10814 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524914238456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10827] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10827/stat : 10827 (java) S 10811 10814 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 29832640 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524913186056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10828] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10828/stat : 10828 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524912134544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10829] ppid=10811 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/10814/task/10829/stat : 10829 (java) S 10811 10814 3621 0 -1 4202560 8876 0 0 0 88 2 0 0 20 0 19 0 29832643 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524911082168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10830] ppid=10811 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/10814/task/10830/stat : 10830 (java) S 10811 10814 3621 0 -1 4202560 8524 0 0 0 64 3 0 0 20 0 19 0 29832643 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524910029368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10831] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10831/stat : 10831 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524908977272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10832] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10832/stat : 10832 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29832643 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524907924680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10835] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10835/stat : 10835 (java) S 10811 10814 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29832682 10060525568 41237 33554432000 1073741824 1073778376 140737347795696 140524904473768 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 9824732
heavy processes:

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


[startup+882.308 s]
/proc/loadavg: 4.22 4.22 4.24 6/218 11059
/proc/meminfo: memFree=23550856/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9824732 CPUtime=1752.13 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 47541 0 1 0 174917 296 0 0 20 0 22 0 29832636 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2456183 861489 2303 9 0 2446860 0
[pid=10814/tid=10816] ppid=10811 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/10814/task/10816/stat : 10816 (java) S 10811 10814 3621 0 -1 4202560 2522 0 1 0 43 4 0 0 20 0 22 0 29832637 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140525091025784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10817] ppid=10811 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/10814/task/10817/stat : 10817 (java) S 10811 10814 3621 0 -1 4202560 1073 0 0 0 196 14 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524935072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10818] ppid=10811 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/10814/task/10818/stat : 10818 (java) S 10811 10814 3621 0 -1 4202560 708 0 0 0 188 18 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524934019240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10819] ppid=10811 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/10814/task/10819/stat : 10819 (java) S 10811 10814 3621 0 -1 4202560 940 0 0 0 216 18 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524932966952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10820] ppid=10811 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/10814/task/10820/stat : 10820 (java) S 10811 10814 3621 0 -1 4202560 598 0 0 0 193 20 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524931914152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10821] ppid=10811 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/10814/task/10821/stat : 10821 (java) S 10811 10814 3621 0 -1 4202560 712 0 0 0 187 19 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524930861864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10822] ppid=10811 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/10814/task/10822/stat : 10822 (java) S 10811 10814 3621 0 -1 4202560 654 0 0 0 191 17 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524929809064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10823] ppid=10811 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/10814/task/10823/stat : 10823 (java) S 10811 10814 3621 0 -1 4202560 572 0 0 0 198 16 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524928756776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10824] ppid=10811 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/10814/task/10824/stat : 10824 (java) S 10811 10814 3621 0 -1 4202560 683 0 0 0 210 20 0 0 20 0 22 0 29832639 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524927703976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10825] ppid=10811 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/10814/task/10825/stat : 10825 (java) S 10811 10814 3621 0 -1 4202560 2555 0 0 0 309 15 0 0 20 0 22 0 29832640 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524915292392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10826] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10826/stat : 10826 (java) S 10811 10814 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29832640 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524914238456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10827] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10827/stat : 10827 (java) S 10811 10814 3621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29832640 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524913186056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10828] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10828/stat : 10828 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29832643 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524912134544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10829] ppid=10811 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/10814/task/10829/stat : 10829 (java) S 10811 10814 3621 0 -1 4202560 16481 0 0 0 174 3 0 0 20 0 22 0 29832643 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524911082168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10830] ppid=10811 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/10814/task/10830/stat : 10830 (java) S 10811 10814 3621 0 -1 4202560 15933 0 0 0 168 4 0 0 20 0 22 0 29832643 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524910029368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10831] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10831/stat : 10831 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29832643 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524908977272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10832] ppid=10811 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/10814/task/10832/stat : 10832 (java) S 10811 10814 3621 0 -1 4202560 50 0 0 0 17 21 0 0 20 0 22 0 29832643 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524907924680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10896] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10896/stat : 10896 (java) S 10811 10814 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29833683 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524904474152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=11054] ppid=10811 vsize=9824732 CPUtime=174.98 cores=1,3,5,7
/proc/10814/task/11054/stat : 11054 (java) R 10811 10814 3621 0 -1 4202560 9 0 0 0 17496 2 0 0 20 0 22 0 29903271 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524905517376 140524964504579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=11055] ppid=10811 vsize=9824732 CPUtime=174.96 cores=1,3,5,7
/proc/10814/task/11055/stat : 11055 (java) R 10811 10814 3621 0 -1 4202560 162 0 0 0 17492 4 0 0 20 0 22 0 29903271 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524906578936 140524964444958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=11056] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/11056/stat : 11056 (java) S 10811 10814 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29903271 10060525568 861489 33554432000 1073741824 1073778376 140737347795696 140524903421608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1752.13
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+906.101 s]
/proc/loadavg: 4.14 4.20 4.23 5/219 11063
/proc/meminfo: memFree=23528072/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 47583 0 1 0 179705 297 0 0 20 0 22 0 29832636 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2456183 861523 2303 9 0 2446860 0
[pid=10814/tid=10816] ppid=10811 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/10814/task/10816/stat : 10816 (java) S 10811 10814 3621 0 -1 4202560 2523 0 1 0 43 4 0 0 20 0 22 0 29832637 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140525091025784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10817] ppid=10811 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/10814/task/10817/stat : 10817 (java) S 10811 10814 3621 0 -1 4202560 1073 0 0 0 202 14 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524935072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10818] ppid=10811 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/10814/task/10818/stat : 10818 (java) S 10811 10814 3621 0 -1 4202560 721 0 0 0 195 18 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524934019240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10819] ppid=10811 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/10814/task/10819/stat : 10819 (java) S 10811 10814 3621 0 -1 4202560 940 0 0 0 230 18 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524932966952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10820] ppid=10811 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/10814/task/10820/stat : 10820 (java) S 10811 10814 3621 0 -1 4202560 618 0 0 0 201 20 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524931914152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10821] ppid=10811 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/10814/task/10821/stat : 10821 (java) S 10811 10814 3621 0 -1 4202560 712 0 0 0 198 19 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524930861864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10822] ppid=10811 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/10814/task/10822/stat : 10822 (java) S 10811 10814 3621 0 -1 4202560 654 0 0 0 199 17 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524929809064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10823] ppid=10811 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/10814/task/10823/stat : 10823 (java) S 10811 10814 3621 0 -1 4202560 572 0 0 0 204 16 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524928756776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10824] ppid=10811 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/10814/task/10824/stat : 10824 (java) S 10811 10814 3621 0 -1 4202560 683 0 0 0 219 20 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524927703976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10825] ppid=10811 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/10814/task/10825/stat : 10825 (java) S 10811 10814 3621 0 -1 4202560 2557 0 0 0 309 15 0 0 20 0 22 0 29832640 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524915292392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10826] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10826/stat : 10826 (java) S 10811 10814 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29832640 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524914238456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10827] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10827/stat : 10827 (java) S 10811 10814 3621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29832640 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524913186056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10828] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10828/stat : 10828 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524912134544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10829] ppid=10811 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/10814/task/10829/stat : 10829 (java) S 10811 10814 3621 0 -1 4202560 16481 0 0 0 174 3 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524911082168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10830] ppid=10811 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/10814/task/10830/stat : 10830 (java) S 10811 10814 3621 0 -1 4202560 15933 0 0 0 168 4 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524910029368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10831] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10831/stat : 10831 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524908977272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10832] ppid=10811 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/10814/task/10832/stat : 10832 (java) S 10811 10814 3621 0 -1 4202560 52 0 0 0 17 22 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524907924680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10896] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10896/stat : 10896 (java) S 10811 10814 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29833683 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524904474152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=11054] ppid=10811 vsize=9824732 CPUtime=198.58 cores=1,3,5,7
/proc/10814/task/11054/stat : 11054 (java) R 10811 10814 3621 0 -1 4202560 9 0 0 0 19855 3 0 0 20 0 22 0 29903271 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524905525056 140524964555836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=11055] ppid=10811 vsize=9824732 CPUtime=198.56 cores=1,3,5,7
/proc/10814/task/11055/stat : 11055 (java) R 10811 10814 3621 0 -1 4202560 166 0 0 0 19851 5 0 0 20 0 22 0 29903271 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524906578736 140524964445020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=11056] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/11056/stat : 11056 (java) S 10811 10814 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29903271 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524903421608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10814 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+906.101 s]
/proc/loadavg: 4.14 4.20 4.23 5/219 11063
/proc/meminfo: memFree=23528072/32872528 swapFree=1286400/1433568
[pid=10814] ppid=10811 vsize=9824732 CPUtime=1800.02 cores=1,3,5,7
/proc/10814/stat : 10814 (java) S 10811 10814 3621 0 -1 4202496 47583 0 1 0 179705 297 0 0 20 0 22 0 29832636 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140737347786832 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10814/statm: 2456183 861523 2303 9 0 2446860 0
[pid=10814/tid=10816] ppid=10811 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/10814/task/10816/stat : 10816 (java) S 10811 10814 3621 0 -1 4202560 2523 0 1 0 43 4 0 0 20 0 22 0 29832637 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140525091025784 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10817] ppid=10811 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/10814/task/10817/stat : 10817 (java) S 10811 10814 3621 0 -1 4202560 1073 0 0 0 202 14 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524935072040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10818] ppid=10811 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/10814/task/10818/stat : 10818 (java) S 10811 10814 3621 0 -1 4202560 721 0 0 0 195 18 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524934019240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10819] ppid=10811 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/10814/task/10819/stat : 10819 (java) S 10811 10814 3621 0 -1 4202560 940 0 0 0 230 18 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524932966952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10820] ppid=10811 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/10814/task/10820/stat : 10820 (java) S 10811 10814 3621 0 -1 4202560 618 0 0 0 201 20 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524931914152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10821] ppid=10811 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/10814/task/10821/stat : 10821 (java) S 10811 10814 3621 0 -1 4202560 712 0 0 0 198 19 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524930861864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10822] ppid=10811 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/10814/task/10822/stat : 10822 (java) S 10811 10814 3621 0 -1 4202560 654 0 0 0 199 17 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524929809064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10823] ppid=10811 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/10814/task/10823/stat : 10823 (java) S 10811 10814 3621 0 -1 4202560 572 0 0 0 204 16 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524928756776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10824] ppid=10811 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/10814/task/10824/stat : 10824 (java) S 10811 10814 3621 0 -1 4202560 683 0 0 0 219 20 0 0 20 0 22 0 29832639 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524927703976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10825] ppid=10811 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/10814/task/10825/stat : 10825 (java) S 10811 10814 3621 0 -1 4202560 2557 0 0 0 309 15 0 0 20 0 22 0 29832640 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524915292392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10826] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10826/stat : 10826 (java) S 10811 10814 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29832640 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524914238456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10827] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10827/stat : 10827 (java) S 10811 10814 3621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 29832640 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524913186056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=10828] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10828/stat : 10828 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524912134544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10829] ppid=10811 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/10814/task/10829/stat : 10829 (java) S 10811 10814 3621 0 -1 4202560 16481 0 0 0 174 3 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524911082168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10830] ppid=10811 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/10814/task/10830/stat : 10830 (java) S 10811 10814 3621 0 -1 4202560 15933 0 0 0 168 4 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524910029368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10814/tid=10831] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10831/stat : 10831 (java) S 10811 10814 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524908977272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=10832] ppid=10811 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/10814/task/10832/stat : 10832 (java) S 10811 10814 3621 0 -1 4202560 52 0 0 0 17 22 0 0 20 0 22 0 29832643 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524907924680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=10896] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/10896/stat : 10896 (java) S 10811 10814 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29833683 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524904474152 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10814/tid=11054] ppid=10811 vsize=9824732 CPUtime=198.58 cores=1,3,5,7
/proc/10814/task/11054/stat : 11054 (java) R 10811 10814 3621 0 -1 4202560 9 0 0 0 19855 3 0 0 20 0 22 0 29903271 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524905525056 140524964555836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10814/tid=11055] ppid=10811 vsize=9824732 CPUtime=198.56 cores=1,3,5,7
/proc/10814/task/11055/stat : 11055 (java) R 10811 10814 3621 0 -1 4202560 166 0 0 0 19851 5 0 0 20 0 22 0 29903271 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524906578736 140524964445020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10814/tid=11056] ppid=10811 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10814/task/11056/stat : 11056 (java) S 10811 10814 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29903271 10060525568 861523 33554432000 1073741824 1073778376 140737347795696 140524903421608 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 906.148
CPU time (s): 1800.5
CPU user time (s): 1797.15
CPU system time (s): 3.35149
CPU usage (%): 198.698
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.15
system time used= 3.35149
maximum resident set size= 3446204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47622
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25846
involuntary context switches= 36816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00609 second user time and 7.54085 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 21:24:19
IDJOB=4106809
IDBENCH=48271
IDSOLVER=2543
FILE ID=node130/4106809-1466277859
RUNJOBID= node130-1466264922-3638
PBS_JOBID= 19918227
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106809-1466277859/watcher-4106809-1466277859 -o /tmp/evaluation-result-4106809-1466277859/solver-4106809-1466277859 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106809-1466277859.opb

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

MD5SUM BENCH= b5a23f46b7c8ffe564ae87cb51d69480
RANDOM SEED=1445456835

node130.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.365
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.73
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.365
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.365
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.55
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.365
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.55
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.365
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.365
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.53
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.365
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.56
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.365
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:       32872528 kB
MemFree:        26959336 kB
Buffers:           54876 kB
Cached:           171216 kB
SwapCached:         1872 kB
Active:          3565248 kB
Inactive:         172780 kB
Active(anon):    3512120 kB
Inactive(anon):     2212 kB
Active(file):      53128 kB
Inactive(file):   170568 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098744 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:       4944808 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             601908 kB
SReclaimable:      45328 kB
SUnreclaim:       556580 kB
KernelStack:        1600 kB
PageTables:        13952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5365264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3571712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node130 at 2016-06-18 21:39:25