Trace number 4081171

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)694 1800.93 913.631

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
MD5SUMfbb7284250700e8b461b63d83ddce719
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark694
Best CPU time to get the best result obtained on this benchmark0.067988
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 694
Optimality of the best value was proved YES
Number of variables99
Total number of constraints185
Number of constraints which are clauses185
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 99
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 4087
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4087
Number of bits of the biggest sum of numbers12
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4081171-1465224572.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.08/0.16	c ... done. Wall clock time 0.041s.
0.08/0.16	c declared #vars     99
0.08/0.16	c #constraints  185
0.08/0.16	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 88
0.08/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 97
0.08/0.16	c 185 constraints processed.
0.08/0.16	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 97
0.08/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 88
0.08/0.16	c 185 constraints processed.
0.08/0.16	c objective function length is 99 literals
0.08/0.17	c And the winner is solver0
0.19/0.66	c SATISFIABLE
0.19/0.66	c OPTIMIZING...
0.19/0.66	c Got one! Elapsed wall clock time (in seconds):0.546
0.19/0.67	o 924
0.26/0.70	c And the winner is solver0
0.41/1.17	c Got one! Elapsed wall clock time (in seconds):1.051
0.41/1.17	o 922
0.41/1.18	c And the winner is solver0
0.44/1.67	c Got one! Elapsed wall clock time (in seconds):1.553
0.44/1.67	o 913
0.44/1.69	c And the winner is solver0
0.55/2.17	c Got one! Elapsed wall clock time (in seconds):2.055
0.55/2.17	o 911
0.55/2.18	c And the winner is solver0
0.57/2.68	c Got one! Elapsed wall clock time (in seconds):2.556
0.57/2.68	o 897
0.65/2.71	c And the winner is solver0
0.72/3.18	c Got one! Elapsed wall clock time (in seconds):3.058
0.72/3.18	o 894
1.20/3.33	c And the winner is solver0
1.84/3.68	c Got one! Elapsed wall clock time (in seconds):3.559
1.84/3.68	o 892
1.90/3.73	c And the winner is solver1
2.18/4.18	c Got one! Elapsed wall clock time (in seconds):4.061
2.18/4.18	o 891
2.18/4.19	c And the winner is solver1
2.18/4.68	c Got one! Elapsed wall clock time (in seconds):4.562
2.18/4.68	o 889
2.23/4.74	c cleaning 2955 clauses out of 5909 with flag 2399/5910
2.23/4.79	c And the winner is solver0
2.79/5.18	c Got one! Elapsed wall clock time (in seconds):5.063
2.79/5.18	o 888
2.82/5.23	c And the winner is solver0
3.02/5.68	c Got one! Elapsed wall clock time (in seconds):5.565
3.02/5.68	o 881
3.06/5.73	c And the winner is solver1
3.27/6.19	c Got one! Elapsed wall clock time (in seconds):6.066
3.27/6.19	o 862
3.29/6.29	c cleaning 4574 clauses out of 9147 with flag 4856/12104
3.55/6.37	c And the winner is solver1
4.04/6.69	c Got one! Elapsed wall clock time (in seconds):6.567
4.04/6.69	o 856
4.26/6.81	c cleaning 5231 clauses out of 10465 with flag 7346/17996
4.70/7.00	c cleaning 5611 clauses out of 11234 with flag 22010/23996
4.70/7.04	c And the winner is solver0
4.83/7.19	c Got one! Elapsed wall clock time (in seconds):7.069
4.83/7.19	o 849
5.04/7.32	c cleaning 5393 clauses out of 10804 with flag 10050/29177
5.46/7.52	c cleaning 5705 clauses out of 11414 with flag 24527/35180
5.46/7.53	c And the winner is solver0
5.63/7.69	c Got one! Elapsed wall clock time (in seconds):7.57
5.63/7.69	o 848
6.04/7.87	c cleaning 5485 clauses out of 10986 with flag 12725/40457
6.60/8.07	c cleaning 5751 clauses out of 11501 with flag 27540/46457
7.41/8.32	c cleaning 6366 clauses out of 12750 with flag 45416/53457
7.41/8.38	c And the winner is solver1
7.59/8.69	c Got one! Elapsed wall clock time (in seconds):8.571
7.59/8.69	o 846
7.61/8.80	c cleaning 5843 clauses out of 11694 with flag 7391/58767
8.20/9.01	c cleaning 5921 clauses out of 11851 with flag 22821/64767
8.20/9.04	c And the winner is solver1
8.30/9.19	c Got one! Elapsed wall clock time (in seconds):9.072
8.30/9.19	o 834
8.52/9.35	c cleaning 5660 clauses out of 11326 with flag 9909/70163
8.72/9.49	c And the winner is solver0
8.93/9.69	c Got one! Elapsed wall clock time (in seconds):9.573
8.93/9.69	o 833
8.94/9.74	c cleaning 5795 clauses out of 11596 with flag 2468/76093
9.35/9.94	c cleaning 5900 clauses out of 11801 with flag 16995/82093
9.95/10.21	c cleaning 6444 clauses out of 12901 with flag 34847/89093
10.15/10.31	c And the winner is solver0
10.19/10.69	c Got one! Elapsed wall clock time (in seconds):10.574
10.19/10.69	o 829
10.19/10.78	c cleaning 6012 clauses out of 12032 with flag 5520/94668
10.59/10.94	c And the winner is solver0
10.68/11.19	c Got one! Elapsed wall clock time (in seconds):11.075
10.68/11.19	o 828
10.68/11.25	c cleaning 5941 clauses out of 11883 with flag 2434/100531
11.10/11.43	c cleaning 5969 clauses out of 11942 with flag 17763/106531
11.50/11.66	c cleaning 6486 clauses out of 12974 with flag 36289/113532
11.90/11.83	c And the winner is solver1
11.99/12.20	c Got one! Elapsed wall clock time (in seconds):12.077
11.99/12.20	o 823
12.40/12.44	c cleaning 8421 clauses out of 16848 with flag 12503/123892
12.80/12.65	c cleaning 7211 clauses out of 14423 with flag 28075/129888
13.00/12.74	c And the winner is solver0
13.11/13.20	c Got one! Elapsed wall clock time (in seconds):13.078
13.11/13.20	o 815
13.32/13.33	c cleaning 6550 clauses out of 13100 with flag 7469/135776
13.70/13.52	c cleaning 6271 clauses out of 12549 with flag 22613/141775
13.70/13.56	c And the winner is solver0
13.84/13.70	c Got one! Elapsed wall clock time (in seconds):13.579
13.84/13.70	o 814
14.03/13.81	c cleaning 5794 clauses out of 11591 with flag 9840/147088
14.23/13.98	c cleaning 5898 clauses out of 11798 with flag 24678/153089
14.65/14.19	c cleaning 6446 clauses out of 12899 with flag 42190/160088
15.27/14.45	c cleaning 7227 clauses out of 14453 with flag 61566/168088
15.85/14.74	c cleaning 8108 clauses out of 16226 with flag 83689/177088
16.45/15.09	c cleaning 9056 clauses out of 18118 with flag 108125/187088
17.26/15.49	c cleaning 10031 clauses out of 20063 with flag 135322/198089
18.25/15.90	c cleaning 11013 clauses out of 22031 with flag 164934/210088
19.29/16.44	c cleaning 12006 clauses out of 24018 with flag 197356/223088
20.49/17.05	c cleaning 13006 clauses out of 26015 with flag 231644/237091
21.49/17.51	c And the winner is solver1
21.53/17.70	c Got one! Elapsed wall clock time (in seconds):17.581
21.53/17.70	o 810
22.11/18.02	c cleaning 15404 clauses out of 30808 with flag 12251/254890
22.73/18.31	c cleaning 10702 clauses out of 21403 with flag 27325/260889
23.13/18.55	c cleaning 8850 clauses out of 17700 with flag 44312/267888
23.74/18.84	c cleaning 8423 clauses out of 16850 with flag 63834/275888
24.33/19.15	c cleaning 8710 clauses out of 17427 with flag 86769/284888
25.13/19.52	c cleaning 9357 clauses out of 18717 with flag 114377/294888
25.94/19.94	c cleaning 10179 clauses out of 20361 with flag 142816/305889
26.13/20.02	c And the winner is solver1
26.19/20.20	c Got one! Elapsed wall clock time (in seconds):20.082
26.19/20.20	o 807
26.38/20.32	c cleaning 7973 clauses out of 15960 with flag 7443/311667
26.78/20.51	c cleaning 6992 clauses out of 13989 with flag 22663/317669
27.17/20.73	c cleaning 6995 clauses out of 13995 with flag 40088/324667
27.59/20.99	c cleaning 7499 clauses out of 15001 with flag 60373/332668
28.37/21.30	c cleaning 8245 clauses out of 16502 with flag 83368/341668
28.98/21.65	c And the winner is solver1
28.98/21.65	c cleaning 9118 clauses out of 18256 with flag 108307/351667
29.10/21.70	c Got one! Elapsed wall clock time (in seconds):21.583
29.10/21.70	o 790
29.30/21.90	c cleaning 7062 clauses out of 14140 with flag 12108/356669
29.71/22.09	c cleaning 6532 clauses out of 13077 with flag 26459/362668
30.30/22.30	c cleaning 6764 clauses out of 13545 with flag 43216/369668
30.70/22.56	c cleaning 7388 clauses out of 14781 with flag 62845/377668
31.30/22.87	c cleaning 8192 clauses out of 16392 with flag 84926/386667
32.11/23.24	c cleaning 9100 clauses out of 18201 with flag 110739/396668
32.70/23.59	c cleaning 10047 clauses out of 20100 with flag 137922/407667
33.70/24.02	c cleaning 11025 clauses out of 22053 with flag 167453/419667
34.70/24.52	c cleaning 12010 clauses out of 24028 with flag 199563/432667
35.72/25.08	c cleaning 13006 clauses out of 26018 with flag 234042/446667
36.92/25.68	c cleaning 14004 clauses out of 28012 with flag 271177/461667
38.32/26.32	c cleaning 15003 clauses out of 30008 with flag 310369/477667
38.53/26.45	c And the winner is solver1
38.63/26.70	c Got one! Elapsed wall clock time (in seconds):26.585
38.63/26.70	o 780
38.63/26.78	c cleaning 10153 clauses out of 20313 with flag 2418/482975
39.01/26.97	c cleaning 8072 clauses out of 16159 with flag 17280/488974
39.61/27.20	c cleaning 7544 clauses out of 15088 with flag 34375/495975
40.01/27.45	c cleaning 7765 clauses out of 15543 with flag 53855/503974
40.61/27.75	c cleaning 8384 clauses out of 16778 with flag 75872/512974
41.41/28.11	c cleaning 9197 clauses out of 18394 with flag 100581/522974
42.23/28.55	c cleaning 10096 clauses out of 20197 with flag 127926/533974
43.23/29.03	c cleaning 11046 clauses out of 22101 with flag 157649/545974
44.23/29.51	c cleaning 12026 clauses out of 24056 with flag 190282/558975
45.23/30.01	c cleaning 13013 clauses out of 26032 with flag 225463/572977
46.43/30.67	c cleaning 14000 clauses out of 28017 with flag 263368/587975
46.63/30.77	c And the winner is solver1
46.77/31.21	c Got one! Elapsed wall clock time (in seconds):31.087
46.77/31.21	o 767
47.02/31.32	c cleaning 9672 clauses out of 19350 with flag 4863/593308
47.42/31.54	c cleaning 7836 clauses out of 15679 with flag 20415/599309
47.82/31.78	c cleaning 7415 clauses out of 14843 with flag 37735/606309
48.44/32.05	c cleaning 7714 clauses out of 15427 with flag 57190/614308
49.02/32.36	c cleaning 8354 clauses out of 16713 with flag 79614/623308
49.82/32.70	c cleaning 9178 clauses out of 18359 with flag 105245/633308
50.64/33.11	c cleaning 10092 clauses out of 20183 with flag 133687/644310
51.42/33.57	c cleaning 11044 clauses out of 22090 with flag 163971/656309
52.43/34.10	c cleaning 12016 clauses out of 24046 with flag 197115/669309
53.83/34.72	c cleaning 13015 clauses out of 26030 with flag 232003/683309
55.05/35.39	c cleaning 14005 clauses out of 28018 with flag 268215/698312
56.63/36.11	c cleaning 15004 clauses out of 30010 with flag 308203/714309
58.23/36.93	c cleaning 16003 clauses out of 32006 with flag 349761/731309
59.87/37.78	c cleaning 16997 clauses out of 34001 with flag 393432/749308
61.67/38.68	c cleaning 18002 clauses out of 36005 with flag 440453/768309
63.87/39.76	c cleaning 18998 clauses out of 38003 with flag 489122/788309
66.47/41.09	c cleaning 19998 clauses out of 40004 with flag 541850/809308
68.87/42.29	c cleaning 21003 clauses out of 42006 with flag 597773/831308
71.68/43.66	c cleaning 22002 clauses out of 44003 with flag 657116/854308
72.70/44.14	c And the winner is solver0
72.80/44.21	c Got one! Elapsed wall clock time (in seconds):44.091
72.80/44.21	o 762
73.56/44.63	c cleaning 19402 clauses out of 38820 with flag 12428/871127
74.16/44.91	c cleaning 12707 clauses out of 25416 with flag 27908/877125
74.58/45.16	c cleaning 9850 clauses out of 19711 with flag 46572/884127
75.16/45.41	c cleaning 8919 clauses out of 17859 with flag 67588/892125
75.36/45.58	c And the winner is solver0
75.57/45.71	c Got one! Elapsed wall clock time (in seconds):45.592
75.57/45.71	o 753
75.95/45.94	c cleaning 9999 clauses out of 20002 with flag 12702/903187
76.35/46.15	c cleaning 8002 clauses out of 16004 with flag 27537/909188
76.77/46.37	c cleaning 7496 clauses out of 15004 with flag 45554/916190
77.35/46.62	c cleaning 7753 clauses out of 15505 with flag 66592/924187
77.95/46.90	c cleaning 8376 clauses out of 16752 with flag 89215/933187
78.55/47.25	c cleaning 9182 clauses out of 18376 with flag 115043/943187
79.35/47.69	c cleaning 10096 clauses out of 20195 with flag 144472/954188
80.35/48.17	c cleaning 11040 clauses out of 22098 with flag 176607/966187
81.57/48.72	c cleaning 12025 clauses out of 24058 with flag 210927/979187
82.77/49.32	c cleaning 13012 clauses out of 26033 with flag 248041/993187
84.17/50.06	c cleaning 14009 clauses out of 28021 with flag 288476/1008187
85.77/50.81	c cleaning 15002 clauses out of 30012 with flag 328955/1024187
86.39/51.10	c And the winner is solver0
86.46/51.21	c Got one! Elapsed wall clock time (in seconds):51.095
86.46/51.21	o 746
86.82/51.49	c cleaning 13978 clauses out of 27970 with flag 12753/1037147
87.44/51.73	c cleaning 9991 clauses out of 19993 with flag 27989/1043148
87.82/51.96	c cleaning 8493 clauses out of 17001 with flag 46437/1050147
88.42/52.21	c cleaning 8252 clauses out of 16508 with flag 66949/1058147
89.02/52.51	c cleaning 8623 clauses out of 17256 with flag 90380/1067147
89.65/52.86	c cleaning 9315 clauses out of 18636 with flag 117999/1077150
90.43/53.23	c cleaning 10158 clauses out of 20319 with flag 146070/1088148
91.23/53.68	c cleaning 11072 clauses out of 22160 with flag 175698/1100147
92.23/54.17	c cleaning 12042 clauses out of 24088 with flag 207320/1113147
93.43/54.70	c cleaning 13023 clauses out of 26046 with flag 242483/1127147
93.63/54.87	c And the winner is solver0
93.99/55.22	c Got one! Elapsed wall clock time (in seconds):55.096
93.99/55.22	o 739
94.35/55.45	c cleaning 12023 clauses out of 24057 with flag 11919/1138181
94.75/55.68	c cleaning 9016 clauses out of 18033 with flag 26878/1144180
95.37/55.92	c cleaning 8002 clauses out of 16017 with flag 44079/1151180
95.78/56.17	c cleaning 7998 clauses out of 16015 with flag 63778/1159180
96.37/56.44	c cleaning 8504 clauses out of 17019 with flag 86127/1168182
96.97/56.77	c cleaning 9253 clauses out of 18514 with flag 111112/1178181
97.77/57.13	c cleaning 10126 clauses out of 20260 with flag 138901/1189180
98.57/57.55	c cleaning 11065 clauses out of 22135 with flag 168729/1201181
99.57/58.02	c And the winner is solver0
99.65/58.22	c Got one! Elapsed wall clock time (in seconds):58.106
99.65/58.22	o 730
100.25/58.54	c cleaning 14462 clauses out of 28941 with flag 12503/1219052
100.65/58.79	c cleaning 10231 clauses out of 20479 with flag 27759/1225052
101.25/59.03	c cleaning 8625 clauses out of 17251 with flag 45965/1232055
101.88/59.32	c cleaning 8312 clauses out of 16623 with flag 66381/1240052
102.48/59.66	c cleaning 8649 clauses out of 17312 with flag 89530/1249053
103.08/59.99	c cleaning 9330 clauses out of 18662 with flag 114367/1259052
103.88/60.39	c cleaning 10163 clauses out of 20332 with flag 142713/1270052
104.88/60.84	c cleaning 11085 clauses out of 22169 with flag 171905/1282052
105.88/61.36	c cleaning 12041 clauses out of 24086 with flag 204090/1295054
107.11/61.95	c cleaning 13019 clauses out of 26044 with flag 238565/1309053
108.51/62.60	c cleaning 14011 clauses out of 28025 with flag 274869/1324053
109.91/63.34	c cleaning 15006 clauses out of 30013 with flag 314358/1340052
111.73/64.24	c cleaning 16004 clauses out of 32007 with flag 358137/1357052
113.53/65.13	c cleaning 17001 clauses out of 34004 with flag 404519/1375053
115.73/66.23	c cleaning 18002 clauses out of 36004 with flag 452612/1394054
117.55/67.15	c cleaning 18994 clauses out of 38001 with flag 503281/1414053
119.53/68.16	c cleaning 20001 clauses out of 40007 with flag 556302/1435053
121.73/69.29	c cleaning 21000 clauses out of 42006 with flag 612816/1457053
124.35/70.58	c cleaning 21998 clauses out of 44006 with flag 673556/1480053
127.13/72.00	c cleaning 23005 clauses out of 46009 with flag 737733/1504054
128.36/72.59	c And the winner is solver0
128.61/72.74	c Got one! Elapsed wall clock time (in seconds):72.622
128.61/72.74	o 728
129.31/73.15	c cleaning 20719 clauses out of 41456 with flag 12691/1522506
129.91/73.41	c cleaning 13363 clauses out of 26738 with flag 27957/1528507
130.31/73.67	c cleaning 10179 clauses out of 20374 with flag 45538/1535506
130.91/73.92	c cleaning 9095 clauses out of 18195 with flag 65820/1543506
131.51/74.22	c cleaning 9039 clauses out of 18100 with flag 89145/1552506
132.11/74.56	c cleaning 9519 clauses out of 19062 with flag 114810/1562507
132.93/74.95	c cleaning 10269 clauses out of 20542 with flag 143577/1573506
133.91/75.41	c cleaning 11133 clauses out of 22273 with flag 176101/1585506
134.11/75.51	c And the winner is solver0
134.21/75.74	c Got one! Elapsed wall clock time (in seconds):75.624
134.21/75.74	o 721
134.31/75.83	c cleaning 8461 clauses out of 16928 with flag 5145/1591294
134.72/76.01	c cleaning 7227 clauses out of 14463 with flag 20528/1597290
135.11/76.22	c cleaning 7115 clauses out of 14236 with flag 38472/1604290
135.51/76.44	c cleaning 7557 clauses out of 15120 with flag 57596/1612289
136.11/76.72	c cleaning 8275 clauses out of 16563 with flag 79079/1621289
136.72/77.02	c cleaning 9137 clauses out of 18290 with flag 103420/1631291
137.51/77.40	c cleaning 10075 clauses out of 20151 with flag 132295/1642289
138.32/77.85	c cleaning 11035 clauses out of 22076 with flag 163359/1654289
139.32/78.31	c cleaning 12017 clauses out of 24041 with flag 197835/1667289
140.52/78.90	c cleaning 13008 clauses out of 26025 with flag 232566/1681290
141.72/79.53	c cleaning 14004 clauses out of 28016 with flag 268258/1696289
142.92/80.15	c cleaning 15005 clauses out of 30014 with flag 306241/1712291
143.33/80.35	c And the winner is solver0
144.27/81.25	c Got one! Elapsed wall clock time (in seconds):81.127
144.27/81.25	o 714
144.61/81.47	c cleaning 13084 clauses out of 26175 with flag 12452/1723457
145.00/81.67	c cleaning 9537 clauses out of 19089 with flag 27503/1729455
145.60/81.90	c cleaning 8264 clauses out of 16552 with flag 45491/1736455
146.00/82.15	c cleaning 8141 clauses out of 16289 with flag 64985/1744456
146.60/82.40	c cleaning 8570 clauses out of 17147 with flag 87110/1753455
146.60/82.47	c And the winner is solver0
147.08/82.85	c Got one! Elapsed wall clock time (in seconds):82.728
147.08/82.85	o 712
147.18/82.95	c cleaning 7140 clauses out of 14291 with flag 7598/1759169
147.58/83.12	c cleaning 6575 clauses out of 13153 with flag 23059/1765171
147.98/83.31	c cleaning 6785 clauses out of 13577 with flag 41178/1772170
148.18/83.49	c And the winner is solver0
148.48/83.85	c Got one! Elapsed wall clock time (in seconds):83.73
148.48/83.85	o 705
148.77/84.04	c cleaning 9198 clauses out of 18402 with flag 12795/1783780
149.17/84.22	c cleaning 7600 clauses out of 15204 with flag 27418/1789780
149.57/84.43	c cleaning 7295 clauses out of 14606 with flag 45123/1796782
149.97/84.67	c cleaning 7647 clauses out of 15309 with flag 65110/1804780
150.57/84.96	c cleaning 8332 clauses out of 16663 with flag 87778/1813781
151.37/85.30	c cleaning 9164 clauses out of 18331 with flag 113486/1823781
152.17/85.70	c cleaning 10082 clauses out of 20166 with flag 141531/1834780
152.99/86.17	c cleaning 11043 clauses out of 22085 with flag 173444/1846781
153.99/86.68	c cleaning 12021 clauses out of 24041 with flag 204631/1859780
155.19/87.25	c cleaning 13010 clauses out of 26023 with flag 238846/1873783
155.99/87.67	c And the winner is solver0
156.19/87.85	c Got one! Elapsed wall clock time (in seconds):87.732
156.19/87.85	o 703
156.69/88.15	c cleaning 15048 clauses out of 30103 with flag 12606/1890873
157.08/88.39	c cleaning 10525 clauses out of 21055 with flag 27956/1896873
157.68/88.62	c cleaning 8758 clauses out of 17530 with flag 44346/1903873
158.08/88.87	c cleaning 8381 clauses out of 16774 with flag 64686/1911875
158.69/89.15	c cleaning 8696 clauses out of 17391 with flag 89094/1920873
159.28/89.47	c cleaning 9343 clauses out of 18697 with flag 115878/1930875
160.08/89.84	c cleaning 10174 clauses out of 20352 with flag 143851/1941873
160.89/90.27	c cleaning 11087 clauses out of 22180 with flag 174596/1953875
161.88/90.78	c cleaning 12045 clauses out of 24092 with flag 209564/1966874
163.09/91.40	c cleaning 13020 clauses out of 26046 with flag 246653/1980873
164.48/92.01	c cleaning 14012 clauses out of 28027 with flag 283379/1995874
164.48/92.04	c And the winner is solver0
164.67/92.35	c Got one! Elapsed wall clock time (in seconds):92.234
164.67/92.35	o 696
165.10/92.53	c cleaning 9696 clauses out of 19395 with flag 10171/2001254
165.48/92.72	c cleaning 7850 clauses out of 15699 with flag 25488/2007254
165.88/92.91	c cleaning 7418 clauses out of 14848 with flag 42351/2014253
166.28/93.15	c cleaning 7712 clauses out of 15430 with flag 62918/2022253
166.89/93.42	c cleaning 8356 clauses out of 16718 with flag 85202/2031253
167.49/93.76	c cleaning 9180 clauses out of 18362 with flag 108880/2041253
168.29/94.15	c cleaning 10090 clauses out of 20184 with flag 135004/2052255
169.09/94.60	c cleaning 11047 clauses out of 22094 with flag 163746/2064255
170.29/95.10	c cleaning 12024 clauses out of 24047 with flag 194394/2077255
171.29/95.64	c cleaning 13010 clauses out of 26021 with flag 228268/2091253
172.49/96.21	c cleaning 14001 clauses out of 28011 with flag 267235/2106253
173.70/96.82	c cleaning 15002 clauses out of 30010 with flag 306489/2122253
175.09/97.54	c cleaning 16003 clauses out of 32009 with flag 348944/2139254
176.69/98.31	c cleaning 16998 clauses out of 34006 with flag 394635/2157254
178.69/99.39	c cleaning 18002 clauses out of 36007 with flag 444116/2176253
180.69/100.40	c cleaning 19003 clauses out of 38005 with flag 494030/2196253
183.30/101.64	c cleaning 19996 clauses out of 40002 with flag 548759/2217253
185.30/102.66	c cleaning 21004 clauses out of 42008 with flag 602348/2239255
187.50/103.77	c cleaning 21998 clauses out of 44002 with flag 658773/2262253
190.10/105.06	c cleaning 23002 clauses out of 46005 with flag 717470/2286254
193.10/106.56	c cleaning 23996 clauses out of 48002 with flag 782017/2311253
196.10/108.05	c cleaning 24998 clauses out of 50006 with flag 846314/2337253
199.30/109.61	c cleaning 25996 clauses out of 52008 with flag 911577/2364253
202.51/111.22	c cleaning 27005 clauses out of 54012 with flag 979142/2392253
206.10/113.09	c cleaning 28005 clauses out of 56009 with flag 1050848/2421255
210.30/115.12	c cleaning 28999 clauses out of 58003 with flag 1124724/2451254
214.10/117.05	c cleaning 29999 clauses out of 60003 with flag 1197792/2482253
218.10/119.09	c cleaning 30999 clauses out of 62004 with flag 1273545/2514253
222.31/121.19	c cleaning 32002 clauses out of 64005 with flag 1350957/2547253
226.90/123.41	c cleaning 33000 clauses out of 66003 with flag 1433744/2581253
232.09/126.02	c cleaning 33997 clauses out of 68004 with flag 1519549/2616254
237.10/128.55	c cleaning 34997 clauses out of 70006 with flag 1606451/2652253
242.89/131.41	c cleaning 36002 clauses out of 72009 with flag 1696471/2689253
248.89/134.45	c cleaning 37002 clauses out of 74008 with flag 1791216/2727254
255.69/137.81	c cleaning 38000 clauses out of 76005 with flag 1886323/2766253
262.49/141.27	c cleaning 39001 clauses out of 78006 with flag 1984966/2806254
270.09/145.08	c cleaning 39996 clauses out of 80004 with flag 2084191/2847253
278.16/149.09	c cleaning 40998 clauses out of 82009 with flag 2186582/2889254
286.36/153.19	c cleaning 42005 clauses out of 84010 with flag 2293188/2932253
294.97/157.43	c cleaning 43001 clauses out of 86006 with flag 2397692/2976254
302.76/161.33	c cleaning 43996 clauses out of 88004 with flag 2503761/3021253
310.56/165.27	c cleaning 45001 clauses out of 90008 with flag 2613605/3067253
318.97/169.43	c cleaning 45998 clauses out of 92007 with flag 2726556/3114253
327.55/173.77	c cleaning 47000 clauses out of 94009 with flag 2841966/3162253
336.35/178.15	c cleaning 48003 clauses out of 96010 with flag 2962891/3211254
346.35/183.11	c cleaning 48999 clauses out of 98006 with flag 3085621/3261253
355.80/187.85	c cleaning 49991 clauses out of 100007 with flag 3209157/3312253
365.60/192.75	c cleaning 51005 clauses out of 102017 with flag 3338490/3364254
375.39/197.61	c cleaning 52006 clauses out of 104011 with flag 3466248/3417253
385.39/202.66	c cleaning 52996 clauses out of 106005 with flag 3596334/3471253
395.80/207.82	c cleaning 54000 clauses out of 108009 with flag 3733067/3526253
405.40/212.65	c cleaning 55001 clauses out of 110010 with flag 3876819/3582254
414.63/217.22	c And the winner is solver0
422.17/224.73	c Got one! Elapsed wall clock time (in seconds):224.613
422.17/224.73	o 694
424.55/226.00	c cleaning 53675 clauses out of 107363 with flag 12869/3634608
426.35/226.84	c cleaning 29841 clauses out of 59690 with flag 28304/3640610
427.35/227.33	c cleaning 18419 clauses out of 36847 with flag 46038/3647608
428.16/227.75	c cleaning 13203 clauses out of 26428 with flag 66490/3655608
428.95/228.12	c cleaning 11104 clauses out of 22225 with flag 87713/3664608
429.75/228.53	c cleaning 10556 clauses out of 21122 with flag 112858/3674609
430.56/228.96	c cleaning 10783 clauses out of 21567 with flag 139690/3685610
431.55/229.44	c cleaning 11388 clauses out of 22782 with flag 169631/3697608
432.76/230.07	c cleaning 12195 clauses out of 24394 with flag 204425/3710608
433.95/230.66	c cleaning 13099 clauses out of 26200 with flag 241616/3724609
435.15/231.25	c cleaning 14043 clauses out of 28100 with flag 279313/3739608
436.96/232.19	c cleaning 15024 clauses out of 30058 with flag 320885/3755609
439.16/233.27	c cleaning 16010 clauses out of 32033 with flag 367135/3772608
440.95/234.15	c cleaning 17012 clauses out of 34024 with flag 411104/3790609
442.74/235.07	c cleaning 18006 clauses out of 36011 with flag 455877/3809608
444.94/236.17	c cleaning 19003 clauses out of 38005 with flag 507137/3829608
447.34/237.38	c cleaning 19996 clauses out of 40002 with flag 559702/3850608
449.94/238.61	c cleaning 21003 clauses out of 42009 with flag 613114/3872611
453.01/240.19	c cleaning 21999 clauses out of 44003 with flag 672266/3895608
456.40/241.85	c cleaning 23000 clauses out of 46004 with flag 732309/3919608
459.60/243.45	c cleaning 24002 clauses out of 48004 with flag 792836/3944608
462.80/245.06	c cleaning 24991 clauses out of 50003 with flag 858692/3970609
466.80/247.01	c cleaning 26004 clauses out of 52012 with flag 929765/3997609
471.40/249.32	c cleaning 27002 clauses out of 54008 with flag 1000070/4025609
476.40/251.85	c cleaning 28002 clauses out of 56005 with flag 1074604/4054608
481.40/254.32	c cleaning 29000 clauses out of 58004 with flag 1146797/4084609
486.19/256.71	c cleaning 29996 clauses out of 60005 with flag 1222373/4115610
491.19/259.29	c cleaning 31004 clauses out of 62008 with flag 1303027/4147609
496.19/261.80	c cleaning 31994 clauses out of 64003 with flag 1382137/4180608
501.39/264.31	c cleaning 33003 clauses out of 66012 with flag 1463815/4214611
507.19/267.28	c cleaning 34002 clauses out of 68007 with flag 1548474/4249609
513.39/270.33	c cleaning 35000 clauses out of 70005 with flag 1635971/4285609
519.81/273.50	c cleaning 36001 clauses out of 72004 with flag 1727425/4322608
526.01/276.60	c cleaning 36998 clauses out of 74003 with flag 1822696/4360608
532.21/279.71	c cleaning 37999 clauses out of 76005 with flag 1915552/4399608
538.42/282.85	c cleaning 39002 clauses out of 78006 with flag 2009661/4439608
545.83/286.54	c cleaning 39999 clauses out of 80005 with flag 2110164/4480609
551.83/289.50	c cleaning 41002 clauses out of 82005 with flag 2206013/4522608
558.62/292.92	c cleaning 42002 clauses out of 84003 with flag 2303730/4565608
566.42/296.83	c cleaning 43001 clauses out of 86002 with flag 2405725/4609609
575.42/301.40	c cleaning 43999 clauses out of 88001 with flag 2512797/4654609
583.41/305.31	c cleaning 44994 clauses out of 90001 with flag 2617843/4700608
592.41/309.82	c cleaning 45998 clauses out of 92007 with flag 2733211/4747608
601.01/314.13	c cleaning 47005 clauses out of 94010 with flag 2854434/4795609
610.82/319.05	c cleaning 47998 clauses out of 96005 with flag 2976676/4844609
620.80/324.08	c cleaning 48991 clauses out of 98006 with flag 3095729/4894608
631.00/329.11	c cleaning 50000 clauses out of 100015 with flag 3214314/4945608
641.20/334.27	c cleaning 51003 clauses out of 102016 with flag 3335350/4997609
652.00/339.65	c cleaning 52004 clauses out of 104012 with flag 3460783/5050608
664.40/345.84	c cleaning 52997 clauses out of 106008 with flag 3595029/5104608
674.63/350.91	c cleaning 54001 clauses out of 108011 with flag 3726039/5159608
688.22/357.77	c cleaning 55004 clauses out of 110013 with flag 3869844/5215611
700.42/363.84	c cleaning 56004 clauses out of 112007 with flag 4008107/5272609
712.23/369.70	c cleaning 56997 clauses out of 114003 with flag 4145412/5330609
723.68/375.49	c cleaning 57998 clauses out of 116005 with flag 4280455/5389608
735.88/381.55	c cleaning 58998 clauses out of 118007 with flag 4421237/5449608
748.69/387.91	c cleaning 59997 clauses out of 120009 with flag 4566628/5510608
762.09/394.65	c cleaning 61000 clauses out of 122012 with flag 4711806/5572608
774.88/401.02	c cleaning 62004 clauses out of 124012 with flag 4856091/5635608
789.53/408.30	c cleaning 63002 clauses out of 126008 with flag 5002860/5699608
807.52/417.37	c cleaning 64000 clauses out of 128007 with flag 5164201/5764609
821.12/424.17	c cleaning 64995 clauses out of 130007 with flag 5316720/5830609
834.12/430.68	c cleaning 66004 clauses out of 132012 with flag 5475870/5897609
849.92/438.58	c cleaning 67005 clauses out of 134009 with flag 5639819/5965610
865.72/446.46	c cleaning 68002 clauses out of 136005 with flag 5803710/6034611
883.31/455.26	c cleaning 68997 clauses out of 138003 with flag 5967731/6104611
901.61/464.31	c cleaning 69999 clauses out of 140003 with flag 6135361/6175608
920.39/473.75	c cleaning 70999 clauses out of 142004 with flag 6302578/6247608
938.18/482.67	c cleaning 72001 clauses out of 144008 with flag 6476506/6320611
957.26/492.13	c cleaning 72994 clauses out of 146004 with flag 6656764/6394608
981.25/504.16	c cleaning 74000 clauses out of 148011 with flag 6840833/6469609
998.84/512.99	c cleaning 74994 clauses out of 150010 with flag 7017192/6545608
1018.44/522.78	c cleaning 76002 clauses out of 152016 with flag 7196299/6622608
1039.43/533.28	c cleaning 77003 clauses out of 154014 with flag 7373049/6700608
1060.22/543.66	c cleaning 78000 clauses out of 156012 with flag 7564361/6779609
1089.62/558.32	c cleaning 78998 clauses out of 158011 with flag 7771773/6859608
1114.61/570.90	c cleaning 80002 clauses out of 160013 with flag 7978238/6940608
1148.21/587.64	c cleaning 80999 clauses out of 162011 with flag 8185926/7022608
1178.30/602.62	c cleaning 81998 clauses out of 164012 with flag 8393141/7105608
1204.49/615.77	c cleaning 83005 clauses out of 166015 with flag 8602709/7189609
1234.09/630.52	c cleaning 83997 clauses out of 168010 with flag 8811514/7274609
1264.71/645.86	c cleaning 85002 clauses out of 170013 with flag 9030033/7360609
1294.70/660.81	c cleaning 86000 clauses out of 172012 with flag 9256029/7447610
1328.15/677.57	c cleaning 86999 clauses out of 174010 with flag 9484147/7535608
1360.74/693.84	c cleaning 88002 clauses out of 176014 with flag 9703600/7624611
1386.74/706.85	c cleaning 89006 clauses out of 178011 with flag 9919712/7714610
1418.34/722.63	c cleaning 89998 clauses out of 180003 with flag 10144101/7805608
1445.33/736.14	c cleaning 90997 clauses out of 182005 with flag 10363275/7897608
1474.54/750.73	c cleaning 92000 clauses out of 184008 with flag 10586782/7990608
1504.55/765.75	c cleaning 93001 clauses out of 186008 with flag 10814880/8084608
1548.73/787.81	c cleaning 93998 clauses out of 188007 with flag 11046544/8179608
1586.13/806.59	c cleaning 95005 clauses out of 190012 with flag 11275838/8275611
1629.53/828.22	c cleaning 95998 clauses out of 192004 with flag 11505433/8372608
1666.53/846.71	c cleaning 97000 clauses out of 194006 with flag 11733455/8470608
1698.00/862.47	c cleaning 97996 clauses out of 196008 with flag 11978734/8569610
1748.80/887.85	c cleaning 98996 clauses out of 198010 with flag 12215468/8669608
1778.58/902.71	c cleaning 100003 clauses out of 200014 with flag 12450096/8770608
1800.19/913.53	c >>>>>>>>>> Solver number 0 (29 answers) <<<<<<<<<<<<<<<<<<
1800.19/913.53	c starts		: 45912
1800.19/913.53	c conflicts		: 8833557
1800.19/913.53	c decisions		: 15905441
1800.19/913.53	c propagations		: 144696011
1800.19/913.53	c inspects		: 18432914191
1800.19/913.53	c shortcuts		: 0
1800.19/913.53	c learnt literals	: 3
1800.19/913.53	c learnt binary clauses	: 4
1800.19/913.53	c learnt ternary clauses	: 77
1800.19/913.53	c learnt constraints	: 8833554
1800.19/913.53	c ignored constraints	: 0
1800.19/913.53	c root simplifications	: 0
1800.19/913.53	c removed literals (reason simplification)	: 41777012
1800.19/913.53	c reason swapping (by a shorter reason)	: 0
1800.19/913.53	c Calls to reduceDB	: 340
1800.19/913.53	c Number of update (reduction) of LBD	: 1033333
1800.19/913.53	c Imported unit clauses	: 0
1800.19/913.53	c number of reductions to clauses (during analyze)	: 0
1800.19/913.53	c number of learned constraints concerned by reduction	: 0
1800.19/913.53	c number of learning phase by resolution	: 0
1800.19/913.53	c number of learning phase by cutting planes	: 0
1800.19/913.53	c speed (assignments/second)	: 163993.81974462952
1800.19/913.53	c non guided choices	0
1800.19/913.56	c learnt constraints type 
1800.19/913.56	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1800.19/913.56	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 162956
1800.19/913.56	c >>>>>>>>>> Solver number 1 (12 answers) <<<<<<<<<<<<<<<<<<
1800.19/913.56	c starts		: 74
1800.19/913.56	c conflicts		: 6223
1800.19/913.56	c decisions		: 17879
1800.19/913.56	c propagations		: 114634
1800.19/913.56	c inspects		: 82774704
1800.19/913.56	c shortcuts		: 0
1800.19/913.56	c learnt literals	: 3
1800.19/913.56	c learnt binary clauses	: 0
1800.19/913.56	c learnt ternary clauses	: 4
1800.19/913.56	c learnt constraints	: 6205
1800.19/913.56	c ignored constraints	: 0
1800.19/913.56	c root simplifications	: 0
1800.19/913.56	c removed literals (reason simplification)	: 0
1800.19/913.56	c reason swapping (by a shorter reason)	: 0
1800.19/913.56	c Calls to reduceDB	: 0
1800.19/913.56	c Number of update (reduction) of LBD	: 0
1800.19/913.56	c Imported unit clauses	: 0
1800.19/913.56	c number of reductions to clauses (during analyze)	: 0
1800.19/913.56	c number of learned constraints concerned by reduction	: 0
1800.19/913.56	c number of learning phase by resolution	: 0
1800.19/913.56	c number of learning phase by cutting planes	: 0
1800.19/913.56	c speed (assignments/second)	: 166.4220436546823
1800.19/913.56	c non guided choices	0
1800.19/913.56	c learnt constraints type 
1800.19/913.56	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 17
1800.19/913.56	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6188
1800.19/913.56	s SATISFIABLE
1800.19/913.56	c Found 41 solution(s)
1800.19/913.56	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 
1800.19/913.57	c objective function=694
1800.19/913.57	c Total wall clock time (in seconds): 913.446

Verifier Data 

OK	694

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-4081171-1465224572/watcher-4081171-1465224572 -o /tmp/evaluation-result-4081171-1465224572/solver-4081171-1465224572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081171-1465224572.opb 

pid=12624
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.49 4.13 3.23 2/170 12627
/proc/meminfo: memFree=31757116/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12627/stat : 12627 (java) D 12624 12627 12316 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 104390478 9515008 175 33554432000 1073741824 1073778376 140733234032496 140733234015224 262962758544 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/12627/statm: 2323 175 133 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.49 4.13 3.23 2/170 12627
/proc/meminfo: memFree=31757116/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 4410 0 1 0 8 0 0 0 20 0 18 0 104390478 9787879424 6033 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2389619 6033 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200292 s]
/proc/loadavg: 4.49 4.13 3.23 2/170 12627
/proc/meminfo: memFree=31757116/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 4742 0 1 0 18 1 0 0 20 0 19 0 104390478 10060525568 7847 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 7847 2198 9 0 2446860 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9824732

[startup+0.300328 s]
/proc/loadavg: 4.49 4.13 3.23 2/170 12627
/proc/meminfo: memFree=31757116/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=0.19 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 4742 0 1 0 18 1 0 0 20 0 19 0 104390478 10060525568 7847 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 7847 2198 9 0 2446860 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9824732

[startup+0.700155 s]
/proc/loadavg: 4.49 4.13 3.23 2/170 12627
/proc/meminfo: memFree=31757116/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 5139 0 1 0 25 1 0 0 20 0 22 0 104390478 10060525568 9263 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 9263 2226 9 0 2446860 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+1.50078 s]
/proc/loadavg: 4.49 4.13 3.23 1/213 12689
/proc/meminfo: memFree=31675292/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 8067 0 1 0 41 3 0 0 20 0 19 0 104390478 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 11466 2240 9 0 2446860 0
[pid=12627/tid=12632] ppid=12624 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/12627/task/12632/stat : 12632 (java) S 12624 12627 12316 0 -1 4202560 2414 0 1 0 14 0 0 0 20 0 19 0 104390480 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882430428024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12637] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12637/stat : 12637 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882391919272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12638] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12638/stat : 12638 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882390866728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12639] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12639/stat : 12639 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882389814184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12640] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12640/stat : 12640 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882388761640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12641] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12641/stat : 12641 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882269763752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12642] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12642/stat : 12642 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882268711208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12643] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12643/stat : 12643 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882267658664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12644] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12644/stat : 12644 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882266606120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12650] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12650/stat : 12650 (java) S 12624 12627 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104390482 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139882254408296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12652] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12652/stat : 12652 (java) S 12624 12627 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104390482 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881649006200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12653] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12653/stat : 12653 (java) S 12624 12627 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104390482 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881647953544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12666] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12666/stat : 12666 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390485 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881646902288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12667] ppid=12624 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/12627/task/12667/stat : 12667 (java) S 12624 12627 12316 0 -1 4202560 1957 0 0 0 11 0 0 0 20 0 19 0 104390485 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881645848632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12668] ppid=12624 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/12627/task/12668/stat : 12668 (java) S 12624 12627 12316 0 -1 4202560 2349 0 0 0 10 0 0 0 20 0 19 0 104390485 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881644796088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12669] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12669/stat : 12669 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390485 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881643743736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12670] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12670/stat : 12670 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390485 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881642691400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12678] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12678/stat : 12678 (java) S 12624 12627 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104390496 10060525568 11466 33554432000 1073741824 1073778376 140736529392144 139881639532072 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 4.49 4.13 3.23 1/213 12704
/proc/meminfo: memFree=31625948/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 8223 0 1 0 65 7 0 0 20 0 19 0 104390478 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 15095 2243 9 0 2446860 0
[pid=12627/tid=12632] ppid=12624 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/12627/task/12632/stat : 12632 (java) S 12624 12627 12316 0 -1 4202560 2415 0 1 0 14 0 0 0 20 0 19 0 104390480 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882430428024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12637] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12637/stat : 12637 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882391919272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12638] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12638/stat : 12638 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882390866728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12639] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12639/stat : 12639 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882389814184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12640] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12640/stat : 12640 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882388761640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12641] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12641/stat : 12641 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882269763752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12642] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12642/stat : 12642 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882268711208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12643] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12643/stat : 12643 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882267658664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12644] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12644/stat : 12644 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104390481 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882266606120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12650] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12650/stat : 12650 (java) S 12624 12627 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104390482 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139882254408296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12652] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12652/stat : 12652 (java) S 12624 12627 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104390482 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881649006200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12653] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12653/stat : 12653 (java) S 12624 12627 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104390482 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881647953544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12666] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12666/stat : 12666 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390485 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881646902288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12667] ppid=12624 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/12627/task/12667/stat : 12667 (java) S 12624 12627 12316 0 -1 4202560 2058 0 0 0 20 0 0 0 20 0 19 0 104390485 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881645848632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12668] ppid=12624 vsize=9824732 CPUtime=0.18 cores=0,2,4,6
/proc/12627/task/12668/stat : 12668 (java) S 12624 12627 12316 0 -1 4202560 2374 0 0 0 18 0 0 0 20 0 19 0 104390485 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881644796088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12669] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12669/stat : 12669 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390485 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881643743736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12670] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12670/stat : 12670 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390485 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881642691400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12678] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12678/stat : 12678 (java) S 12624 12627 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104390496 10060525568 15095 33554432000 1073741824 1073778376 140736529392144 139881639532072 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30073 s]
/proc/loadavg: 4.29 4.09 3.22 1/213 12737
/proc/meminfo: memFree=31341980/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 26555 0 1 0 335 20 0 0 20 0 22 0 104390478 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 47557 2281 9 0 2446860 0
[pid=12627/tid=12632] ppid=12624 vsize=9824732 CPUtime=0.15 cores=0,2,4,6
/proc/12627/task/12632/stat : 12632 (java) S 12624 12627 12316 0 -1 4202560 2417 0 1 0 15 0 0 0 20 0 22 0 104390480 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882430428024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12637] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12637/stat : 12637 (java) S 12624 12627 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882391919272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12638] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12638/stat : 12638 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882390866728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12639] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12639/stat : 12639 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882389814184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12640] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12640/stat : 12640 (java) S 12624 12627 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882388761640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12641] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12641/stat : 12641 (java) S 12624 12627 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882269763752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12642] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12642/stat : 12642 (java) S 12624 12627 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882268711208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12643] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12643/stat : 12643 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882267658664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12644] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12644/stat : 12644 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104390481 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882266606120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12650] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12650/stat : 12650 (java) S 12624 12627 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104390482 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139882254408296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12652] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12652/stat : 12652 (java) S 12624 12627 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390482 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139881649006200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12653] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12653/stat : 12653 (java) S 12624 12627 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104390482 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139881647953544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12666] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12666/stat : 12666 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390485 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139881646902288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12667] ppid=12624 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/12627/task/12667/stat : 12667 (java) S 12624 12627 12316 0 -1 4202560 10762 0 0 0 102 2 0 0 20 0 22 0 104390485 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139881645848632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12668] ppid=12624 vsize=9824732 CPUtime=1.14 cores=0,2,4,6
/proc/12627/task/12668/stat : 12668 (java) R 12624 12627 12316 0 -1 4202560 11844 0 0 0 112 2 0 0 20 0 22 0 104390485 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139881644796088 139882436384923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12669] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12669/stat : 12669 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390485 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139881643743736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12670] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12670/stat : 12670 (java) S 12624 12627 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104390485 10060525568 47557 33554432000 1073741824 1073778376 140736529392144 139881642691400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9824732
heavy processes:


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

[pid=12627/tid=12867] ppid=12624 vsize=9824732 CPUtime=597.2 cores=0,2,4,6
/proc/12627/task/12867/stat : 12867 (java) R 12624 12627 12316 0 -1 4202560 6 0 0 0 59711 9 0 0 20 0 22 0 104412952 10060525568 363345 33554432000 1073741824 1073778376 140736529392144 139881638469296 139882270319936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12868] ppid=12624 vsize=9824732 CPUtime=597.14 cores=0,2,4,6
/proc/12627/task/12868/stat : 12868 (java) R 12624 12627 12316 0 -1 4202560 10 0 0 0 59705 9 0 0 20 0 22 0 104412952 10060525568 363345 33554432000 1073741824 1073778376 140736529392144 139881640581152 139882270351128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12869] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12869/stat : 12869 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104412953 10060525568 363345 33554432000 1073741824 1073778376 140736529392144 139881641636904 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1617.74
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.09 4.04 3.69 5/219 12908
/proc/meminfo: memFree=27273360/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=1737.8 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 33175 0 1 0 173636 144 0 0 20 0 22 0 104390478 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 365148 2282 9 0 2446860 0
[pid=12627/tid=12632] ppid=12624 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/12627/task/12632/stat : 12632 (java) S 12624 12627 12316 0 -1 4202560 2420 0 1 0 19 2 0 0 20 0 22 0 104390480 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882430428024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12637] ppid=12624 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/12627/task/12637/stat : 12637 (java) S 12624 12627 12316 0 -1 4202560 409 0 0 0 30 5 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882391919272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12638] ppid=12624 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/12627/task/12638/stat : 12638 (java) S 12624 12627 12316 0 -1 4202560 221 0 0 0 32 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882390866728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12639] ppid=12624 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12639/stat : 12639 (java) S 12624 12627 12316 0 -1 4202560 311 0 0 0 32 4 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882389814184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12640] ppid=12624 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/12627/task/12640/stat : 12640 (java) S 12624 12627 12316 0 -1 4202560 284 0 0 0 39 5 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882388761640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12641] ppid=12624 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/12627/task/12641/stat : 12641 (java) S 12624 12627 12316 0 -1 4202560 203 0 0 0 36 5 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882269763752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12642] ppid=12624 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/12627/task/12642/stat : 12642 (java) S 12624 12627 12316 0 -1 4202560 326 0 0 0 36 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882268711208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12643] ppid=12624 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12643/stat : 12643 (java) S 12624 12627 12316 0 -1 4202560 162 0 0 0 33 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882267658664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12644] ppid=12624 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12644/stat : 12644 (java) S 12624 12627 12316 0 -1 4202560 134 0 0 0 33 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882266606120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12650] ppid=12624 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/12627/task/12650/stat : 12650 (java) S 12624 12627 12316 0 -1 4202560 618 0 0 0 3 7 0 0 20 0 22 0 104390482 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882254408296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12652] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12652/stat : 12652 (java) S 12624 12627 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390482 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881649006200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12653] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12653/stat : 12653 (java) S 12624 12627 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390482 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881647953544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12666] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12666/stat : 12666 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881646902288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12667] ppid=12624 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/12627/task/12667/stat : 12667 (java) S 12624 12627 12316 0 -1 4202560 10836 0 0 0 185 2 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881645848632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12668] ppid=12624 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/12627/task/12668/stat : 12668 (java) S 12624 12627 12316 0 -1 4202560 14636 0 0 0 169 3 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881644796088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12669] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12669/stat : 12669 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881643743736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12670] ppid=12624 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/12627/task/12670/stat : 12670 (java) S 12624 12627 12316 0 -1 4202560 52 0 0 0 9 11 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881642691400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12809] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12809/stat : 12809 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104393600 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881639531688 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12867] ppid=12624 vsize=9824732 CPUtime=657.17 cores=0,2,4,6
/proc/12627/task/12867/stat : 12867 (java) R 12624 12627 12316 0 -1 4202560 6 0 0 0 65708 9 0 0 20 0 22 0 104412952 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881638469296 139882270320594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12868] ppid=12624 vsize=9824732 CPUtime=657.1 cores=0,2,4,6
/proc/12627/task/12868/stat : 12868 (java) R 12624 12627 12316 0 -1 4202560 11 0 0 0 65701 9 0 0 20 0 22 0 104412952 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881640582416 139882270351138 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12869] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12869/stat : 12869 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104412953 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881641636904 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1737.8
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+913.501 s]
/proc/loadavg: 3.90 4.00 3.69 5/219 13070
/proc/meminfo: memFree=30144792/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9824732 CPUtime=1800.19 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 33177 0 1 0 179874 145 0 0 20 0 22 0 104390478 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2456183 365148 2282 9 0 2446860 0
[pid=12627/tid=12632] ppid=12624 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/12627/task/12632/stat : 12632 (java) S 12624 12627 12316 0 -1 4202560 2420 0 1 0 19 2 0 0 20 0 22 0 104390480 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882430428024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12637] ppid=12624 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/12627/task/12637/stat : 12637 (java) S 12624 12627 12316 0 -1 4202560 409 0 0 0 30 5 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882391919272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12638] ppid=12624 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/12627/task/12638/stat : 12638 (java) S 12624 12627 12316 0 -1 4202560 221 0 0 0 32 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882390866728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12639] ppid=12624 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12639/stat : 12639 (java) S 12624 12627 12316 0 -1 4202560 311 0 0 0 32 4 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882389814184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12640] ppid=12624 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/12627/task/12640/stat : 12640 (java) S 12624 12627 12316 0 -1 4202560 284 0 0 0 39 5 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882388761640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12641] ppid=12624 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/12627/task/12641/stat : 12641 (java) S 12624 12627 12316 0 -1 4202560 203 0 0 0 36 5 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882269763752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12642] ppid=12624 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/12627/task/12642/stat : 12642 (java) S 12624 12627 12316 0 -1 4202560 326 0 0 0 36 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882268711208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12643] ppid=12624 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12643/stat : 12643 (java) S 12624 12627 12316 0 -1 4202560 162 0 0 0 33 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882267658664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12644] ppid=12624 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12644/stat : 12644 (java) S 12624 12627 12316 0 -1 4202560 134 0 0 0 33 3 0 0 20 0 22 0 104390481 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882266606120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12650] ppid=12624 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/12627/task/12650/stat : 12650 (java) S 12624 12627 12316 0 -1 4202560 618 0 0 0 3 7 0 0 20 0 22 0 104390482 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139882254408296 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12652] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12652/stat : 12652 (java) S 12624 12627 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390482 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881649006200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12653] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12653/stat : 12653 (java) S 12624 12627 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104390482 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881647953544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12666] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12666/stat : 12666 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881646902288 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12667] ppid=12624 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/12627/task/12667/stat : 12667 (java) S 12624 12627 12316 0 -1 4202560 10836 0 0 0 185 2 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881645848632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12668] ppid=12624 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/12627/task/12668/stat : 12668 (java) S 12624 12627 12316 0 -1 4202560 14636 0 0 0 169 3 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881644796088 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12669] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12669/stat : 12669 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881643743736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12670] ppid=12624 vsize=9824732 CPUtime=0.2 cores=0,2,4,6
/proc/12627/task/12670/stat : 12670 (java) S 12624 12627 12316 0 -1 4202560 54 0 0 0 9 11 0 0 20 0 22 0 104390485 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881642691400 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12809] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12809/stat : 12809 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104393600 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881639531688 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12867] ppid=12624 vsize=9824732 CPUtime=688.36 cores=0,2,4,6
/proc/12627/task/12867/stat : 12867 (java) R 12624 12627 12316 0 -1 4202560 6 0 0 0 68826 10 0 0 20 0 22 0 104412952 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881638469296 139882270256317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12868] ppid=12624 vsize=9824732 CPUtime=688.3 cores=0,2,4,6
/proc/12627/task/12868/stat : 12868 (java) R 12624 12627 12316 0 -1 4202560 11 0 0 0 68820 10 0 0 20 0 22 0 104412952 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881640582416 139882270351133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12869] ppid=12624 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12869/stat : 12869 (java) S 12624 12627 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104412953 10060525568 365148 33554432000 1073741824 1073778376 140736529392144 139881641636904 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
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 12627 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+913.605 s]
/proc/loadavg: 3.90 4.00 3.69 5/219 13070
/proc/meminfo: memFree=30144792/32872528 swapFree=11320/319964
[pid=12627] ppid=12624 vsize=9957860 CPUtime=1800.61 cores=0,2,4,6
/proc/12627/stat : 12627 (java) S 12624 12627 12316 0 -1 4202496 33225 0 1 0 179897 164 0 0 20 0 19 0 104390478 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 140736529383280 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12627/statm: 2489465 365180 2292 9 0 2480142 0
[pid=12627/tid=12632] ppid=12624 vsize=9957860 CPUtime=0.21 cores=0,2,4,6
/proc/12627/task/12632/stat : 12632 (java) S 12624 12627 12316 0 -1 4202560 2420 0 1 0 19 2 0 0 20 0 19 0 104390480 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882430428024 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12637] ppid=12624 vsize=9957860 CPUtime=0.35 cores=0,2,4,6
/proc/12627/task/12637/stat : 12637 (java) S 12624 12627 12316 0 -1 4202560 409 0 0 0 30 5 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882391919272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12638] ppid=12624 vsize=9957860 CPUtime=0.35 cores=0,2,4,6
/proc/12627/task/12638/stat : 12638 (java) S 12624 12627 12316 0 -1 4202560 221 0 0 0 32 3 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882390866728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12639] ppid=12624 vsize=9957860 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12639/stat : 12639 (java) S 12624 12627 12316 0 -1 4202560 311 0 0 0 32 4 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882389814184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12640] ppid=12624 vsize=9957860 CPUtime=0.44 cores=0,2,4,6
/proc/12627/task/12640/stat : 12640 (java) S 12624 12627 12316 0 -1 4202560 284 0 0 0 39 5 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882388761640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12641] ppid=12624 vsize=9957860 CPUtime=0.41 cores=0,2,4,6
/proc/12627/task/12641/stat : 12641 (java) S 12624 12627 12316 0 -1 4202560 203 0 0 0 36 5 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882269763752 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12642] ppid=12624 vsize=9957860 CPUtime=0.39 cores=0,2,4,6
/proc/12627/task/12642/stat : 12642 (java) S 12624 12627 12316 0 -1 4202560 326 0 0 0 36 3 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882268711208 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12643] ppid=12624 vsize=9957860 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12643/stat : 12643 (java) S 12624 12627 12316 0 -1 4202560 162 0 0 0 33 3 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882267658664 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12644] ppid=12624 vsize=9957860 CPUtime=0.36 cores=0,2,4,6
/proc/12627/task/12644/stat : 12644 (java) S 12624 12627 12316 0 -1 4202560 134 0 0 0 33 3 0 0 20 0 19 0 104390481 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882266606120 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12650] ppid=12624 vsize=9957860 CPUtime=0.17 cores=0,2,4,6
/proc/12627/task/12650/stat : 12650 (java) R 12624 12627 12316 0 -1 4202560 619 0 0 0 4 13 0 0 20 0 19 0 104390482 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139882254408472 262962711687 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12627/tid=12652] ppid=12624 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12652/stat : 12652 (java) S 12624 12627 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104390482 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139881649006200 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12653] ppid=12624 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12653/stat : 12653 (java) S 12624 12627 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104390482 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139881647953544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12627/tid=12666] ppid=12624 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12666/stat : 12666 (java) S 12624 12627 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 104390485 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139881646901864 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12667] ppid=12624 vsize=9957860 CPUtime=1.87 cores=0,2,4,6
/proc/12627/task/12667/stat : 12667 (java) S 12624 12627 12316 0 -1 4202560 10836 0 0 0 185 2 0 0 20 0 19 0 104390485 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139881645848632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12668] ppid=12624 vsize=9957860 CPUtime=1.74 cores=0,2,4,6
/proc/12627/task/12668/stat : 12668 (java) S 12624 12627 12316 0 -1 4202560 14648 0 0 0 171 3 0 0 20 0 19 0 104390485 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139881644772536 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12627/tid=12669] ppid=12624 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/12627/task/12669/stat : 12669 (java) S 12624 12627 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104390485 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139881643743736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12627/tid=12868] ppid=12624 vsize=9957860 CPUtime=688.4 cores=0,2,4,6
/proc/12627/task/12868/stat : 12868 (java) R 12624 12627 12316 0 -1 4202560 11 0 0 0 68830 10 0 0 20 0 19 0 104412952 10196848640 365180 33554432000 1073741824 1073778376 140736529392144 139881640581368 139882270537137 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (KiB) 9957860

Child status: 143
Real time (s): 913.631
CPU time (s): 1800.93
CPU user time (s): 1799.01
CPU system time (s): 1.92171
CPU usage (%): 197.118
Max. virtual memory (cumulated for all children) (KiB): 9957860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.92171
maximum resident set size= 1479156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33225
page faults= 1
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24004
involuntary context switches= 14681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48301 second user time and 6.28504 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-06 16:49:32
IDJOB=4081171
IDBENCH=2019
IDSOLVER=2543
FILE ID=node128/4081171-1465224572
RUNJOBID= node128-1465223671-12332
PBS_JOBID= 19843236
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081171-1465224572/watcher-4081171-1465224572 -o /tmp/evaluation-result-4081171-1465224572/solver-4081171-1465224572 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081171-1465224572.opb

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

MD5SUM BENCH= fbb7284250700e8b461b63d83ddce719
RANDOM SEED=1351520844

node128.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.486
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.97
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.486
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.486
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.486
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.486
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.54
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.486
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.486
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.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31757380 kB
Buffers:           14048 kB
Cached:            78036 kB
SwapCached:         1660 kB
Active:            57816 kB
Inactive:          37112 kB
Active(anon):       4832 kB
Inactive(anon):      512 kB
Active(file):      52984 kB
Inactive(file):    36600 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:        322452 kB
Mapped:             6980 kB
Shmem:                 0 kB
Slab:             567908 kB
SReclaimable:      11176 kB
SUnreclaim:       556732 kB
KernelStack:        1416 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     417268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    309248 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 node128 at 2016-06-06 17:04:46