Trace number 4118461

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 Resolution PB16SAT (TO)550 1800.01 1772.56

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross24-057.lin.opb
MD5SUM9ff46e8e43d1813d3aaa5dc046f7278a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark341
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2016
Total number of constraints11023
Number of constraints which are clauses9559
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1463
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 1821
Biggest coefficient in the objective function 741
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 4979
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 741
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 4979
Number of bits of the biggest sum of numbers13
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118461-1467230052.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.68/0.40	c ... done. Wall clock time 0.285s.
0.68/0.40	c declared #vars     2016
0.68/0.40	c #constraints  11024
0.68/0.40	c constraints type 
0.68/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9559
0.68/0.40	c org.sat4j.specs.Constr$1 => 1
0.68/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.68/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1463
0.68/0.40	c 11024 constraints processed.
0.68/0.40	c objective function length is 1821 literals
0.68/0.44	c SATISFIABLE
0.68/0.44	c OPTIMIZING...
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.324
0.68/0.44	o 621
0.68/0.49	c Got one! Elapsed wall clock time (in seconds):0.376
0.68/0.49	o 620
0.97/0.54	c Got one! Elapsed wall clock time (in seconds):0.432
0.97/0.54	o 612
1.27/0.66	c Got one! Elapsed wall clock time (in seconds):0.552
1.27/0.66	o 610
1.27/0.67	c Got one! Elapsed wall clock time (in seconds):0.563
1.27/0.67	o 609
1.27/0.69	c Got one! Elapsed wall clock time (in seconds):0.574
1.27/0.69	o 608
1.27/0.69	c Got one! Elapsed wall clock time (in seconds):0.581
1.27/0.69	o 600
1.79/0.83	c Got one! Elapsed wall clock time (in seconds):0.717
1.79/0.83	o 599
1.79/0.84	c Got one! Elapsed wall clock time (in seconds):0.73
1.79/0.84	o 598
1.79/0.84	c Got one! Elapsed wall clock time (in seconds):0.733
1.79/0.84	o 587
1.92/0.90	c Got one! Elapsed wall clock time (in seconds):0.792
1.92/0.90	o 586
1.92/0.91	c Got one! Elapsed wall clock time (in seconds):0.8
1.92/0.91	o 585
1.92/0.91	c Got one! Elapsed wall clock time (in seconds):0.803
1.92/0.91	o 576
2.33/1.36	c Got one! Elapsed wall clock time (in seconds):1.246
2.33/1.36	o 574
2.60/1.54	c Got one! Elapsed wall clock time (in seconds):1.424
2.60/1.54	o 573
2.84/1.71	c cleaning 3339 clauses out of 6701 with flag 2006/6701
2.84/1.77	c Got one! Elapsed wall clock time (in seconds):1.656
2.84/1.77	o 572
3.05/1.80	c Got one! Elapsed wall clock time (in seconds):1.686
3.05/1.80	o 571
3.05/1.80	c Got one! Elapsed wall clock time (in seconds):1.69
3.05/1.80	o 568
3.05/1.81	c Got one! Elapsed wall clock time (in seconds):1.694
3.05/1.81	o 567
3.81/2.53	c cleaning 4474 clauses out of 8954 with flag 10225/12293
4.31/3.03	c Got one! Elapsed wall clock time (in seconds):2.92
4.31/3.03	o 566
4.61/3.34	c cleaning 5054 clauses out of 10133 with flag 4060/17946
4.72/3.41	c Got one! Elapsed wall clock time (in seconds):3.303
4.72/3.41	o 565
4.72/3.44	c Got one! Elapsed wall clock time (in seconds):3.33
4.72/3.44	o 564
4.72/3.45	c Got one! Elapsed wall clock time (in seconds):3.334
4.72/3.45	o 563
5.58/4.20	c cleaning 5415 clauses out of 10842 with flag 10456/23709
6.39/5.06	c cleaning 5702 clauses out of 11427 with flag 23125/29709
7.39/6.07	c cleaning 6352 clauses out of 12725 with flag 37907/36709
8.60/7.24	c cleaning 7178 clauses out of 14375 with flag 54453/44711
10.13/8.61	c cleaning 8085 clauses out of 16196 with flag 73099/53710
11.63/10.13	c cleaning 9044 clauses out of 18110 with flag 94613/63709
13.34/11.83	c cleaning 10024 clauses out of 20069 with flag 118430/74712
15.37/13.73	c cleaning 11012 clauses out of 22044 with flag 143354/86711
17.37/15.77	c cleaning 12002 clauses out of 24030 with flag 169933/99709
19.67/18.02	c cleaning 13008 clauses out of 26030 with flag 198974/113711
22.32/20.58	c cleaning 13999 clauses out of 28020 with flag 230810/128709
25.03/23.28	c cleaning 15003 clauses out of 30021 with flag 265154/144709
28.16/26.25	c cleaning 16001 clauses out of 32019 with flag 302080/161710
31.48/29.49	c cleaning 17003 clauses out of 34020 with flag 339514/179712
34.88/32.82	c cleaning 17994 clauses out of 36015 with flag 380965/198710
38.75/36.55	c cleaning 19003 clauses out of 38023 with flag 423962/218712
43.02/40.57	c cleaning 20000 clauses out of 40017 with flag 468701/239709
47.12/44.69	c cleaning 21000 clauses out of 42017 with flag 514511/261709
51.82/49.30	c cleaning 21997 clauses out of 44017 with flag 563284/284709
56.61/54.05	c cleaning 22999 clauses out of 46020 with flag 614153/308709
61.91/59.08	c cleaning 23996 clauses out of 48022 with flag 665216/333710
67.01/64.12	c cleaning 25005 clauses out of 50025 with flag 719412/359709
72.41/69.50	c cleaning 26000 clauses out of 52020 with flag 774386/386709
78.28/75.26	c cleaning 27004 clauses out of 54024 with flag 831987/414713
84.08/81.03	c cleaning 27995 clauses out of 56016 with flag 892264/443709
90.98/87.51	c cleaning 28998 clauses out of 58022 with flag 953494/473710
97.48/94.06	c cleaning 30004 clauses out of 60024 with flag 1016858/504710
104.58/101.11	c cleaning 30994 clauses out of 62019 with flag 1083135/536709
112.57/108.74	c cleaning 31996 clauses out of 64026 with flag 1151019/569710
119.48/115.65	c cleaning 33006 clauses out of 66029 with flag 1223834/603709
126.87/123.09	c cleaning 33999 clauses out of 68026 with flag 1299408/638712
135.60/131.52	c cleaning 34996 clauses out of 70026 with flag 1375837/674711
143.91/139.81	c cleaning 36004 clauses out of 72028 with flag 1454162/711709
152.40/148.12	c cleaning 37003 clauses out of 74024 with flag 1537071/749709
161.00/156.77	c cleaning 37996 clauses out of 76022 with flag 1619621/788710
169.70/165.49	c cleaning 38998 clauses out of 78025 with flag 1705381/828709
179.08/174.62	c cleaning 40008 clauses out of 80028 with flag 1791890/869710
188.71/184.22	c cleaning 41003 clauses out of 82019 with flag 1879952/911709
199.33/194.79	c cleaning 41997 clauses out of 84017 with flag 1969982/954710
209.12/204.53	c cleaning 43001 clauses out of 86020 with flag 2062509/998710
219.64/214.98	c cleaning 43997 clauses out of 88018 with flag 2156493/1043709
222.84/218.14	c Got one! Elapsed wall clock time (in seconds):218.025
222.84/218.14	o 562
223.04/218.31	c Got one! Elapsed wall clock time (in seconds):218.197
223.04/218.31	o 561
224.24/219.59	c cleaning 32991 clauses out of 66003 with flag 10780/1065691
225.34/220.65	c cleaning 19496 clauses out of 39013 with flag 24038/1071692
226.44/221.79	c cleaning 13247 clauses out of 26516 with flag 38922/1078691
227.74/223.04	c cleaning 10629 clauses out of 21271 with flag 55854/1086693
229.22/224.43	c cleaning 9805 clauses out of 19642 with flag 75650/1095693
230.72/225.93	c cleaning 9906 clauses out of 19835 with flag 96482/1105691
232.31/227.59	c cleaning 10449 clauses out of 20930 with flag 119329/1116692
234.21/229.44	c cleaning 11226 clauses out of 22480 with flag 144881/1128691
236.21/231.46	c cleaning 12118 clauses out of 24255 with flag 173048/1141692
238.41/233.62	c cleaning 13054 clauses out of 26136 with flag 203105/1155691
240.71/235.99	c cleaning 14028 clauses out of 28084 with flag 235329/1170693
243.47/238.68	c cleaning 15016 clauses out of 30054 with flag 269263/1186691
246.37/241.53	c cleaning 16003 clauses out of 32043 with flag 304453/1203696
249.47/244.64	c cleaning 17001 clauses out of 34035 with flag 342177/1221691
252.77/247.96	c cleaning 18009 clauses out of 36035 with flag 382480/1240692
256.64/251.79	c cleaning 18998 clauses out of 38025 with flag 424815/1260691
260.44/255.55	c cleaning 20002 clauses out of 40030 with flag 469237/1281694
264.34/259.40	c cleaning 21004 clauses out of 42026 with flag 515090/1303692
268.63/263.64	c cleaning 22002 clauses out of 44022 with flag 562758/1326692
273.13/268.11	c cleaning 23002 clauses out of 46021 with flag 613321/1350693
277.73/272.80	c cleaning 23999 clauses out of 48018 with flag 666196/1375692
283.03/277.93	c cleaning 24996 clauses out of 50019 with flag 720987/1401692
288.43/283.38	c cleaning 25995 clauses out of 52023 with flag 778091/1428692
294.13/289.09	c cleaning 27000 clauses out of 54027 with flag 837799/1456691
300.11/294.92	c cleaning 28004 clauses out of 56027 with flag 900351/1485691
306.11/300.99	c cleaning 29003 clauses out of 58023 with flag 964088/1515691
312.44/307.16	c cleaning 29994 clauses out of 60020 with flag 1030670/1546691
318.74/313.42	c cleaning 31008 clauses out of 62028 with flag 1100311/1578693
325.34/319.95	c cleaning 31998 clauses out of 64018 with flag 1172020/1611691
332.15/326.76	c cleaning 32996 clauses out of 66020 with flag 1243827/1645691
339.87/334.38	c cleaning 34002 clauses out of 68025 with flag 1318315/1680692
347.28/341.73	c cleaning 35003 clauses out of 70022 with flag 1391724/1716691
355.17/349.52	c cleaning 35998 clauses out of 72019 with flag 1471500/1753691
363.61/357.85	c cleaning 36995 clauses out of 74022 with flag 1551821/1791692
372.22/366.44	c cleaning 38003 clauses out of 76026 with flag 1632610/1830691
381.54/375.63	c cleaning 38993 clauses out of 78023 with flag 1715595/1870691
391.38/385.30	c cleaning 40001 clauses out of 80034 with flag 1803530/1911695
400.87/394.89	c cleaning 40999 clauses out of 82032 with flag 1891069/1953694
410.44/404.36	c cleaning 42009 clauses out of 84033 with flag 1980833/1996694
421.39/415.24	c cleaning 42992 clauses out of 86022 with flag 2072984/2040692
432.82/426.59	c cleaning 44004 clauses out of 88030 with flag 2166133/2085692
444.88/438.43	c cleaning 44997 clauses out of 90025 with flag 2262215/2131691
456.56/450.00	c cleaning 45995 clauses out of 92029 with flag 2362474/2178692
467.72/460.94	c cleaning 47006 clauses out of 94034 with flag 2464219/2226692
479.62/472.77	c cleaning 48000 clauses out of 96028 with flag 2567645/2275692
492.37/485.31	c cleaning 49003 clauses out of 98027 with flag 2672793/2325691
505.77/498.66	c cleaning 50004 clauses out of 100028 with flag 2779789/2376695
519.66/512.22	c cleaning 50991 clauses out of 102020 with flag 2889039/2428691
532.52/525.08	c cleaning 52002 clauses out of 104029 with flag 2999575/2481691
546.01/538.39	c cleaning 53005 clauses out of 106029 with flag 3113084/2535693
559.92/552.18	c cleaning 53994 clauses out of 108022 with flag 3227770/2590691
575.51/567.58	c cleaning 55002 clauses out of 110029 with flag 3343635/2646692
590.46/582.34	c cleaning 55992 clauses out of 112030 with flag 3467399/2703695
605.63/597.39	c cleaning 57005 clauses out of 114035 with flag 3593162/2761692
623.48/614.93	c cleaning 58003 clauses out of 116029 with flag 3715350/2820691
641.31/632.55	c cleaning 59002 clauses out of 118027 with flag 3838989/2880692
661.07/652.01	c cleaning 59995 clauses out of 120024 with flag 3964874/2941691
678.90/669.68	c cleaning 60993 clauses out of 122029 with flag 4093432/3003691
699.63/690.11	c cleaning 61998 clauses out of 124037 with flag 4223663/3066692
719.01/709.39	c cleaning 63005 clauses out of 126038 with flag 4357026/3130691
725.31/715.68	c Got one! Elapsed wall clock time (in seconds):715.567
725.31/715.68	o 560
726.39/716.69	c Got one! Elapsed wall clock time (in seconds):716.578
726.39/716.69	o 559
727.29/717.52	c cleaning 46899 clauses out of 93827 with flag 4306/3161485
728.20/718.47	c Got one! Elapsed wall clock time (in seconds):718.36
728.20/718.47	o 558
728.49/718.76	c cleaning 26386 clauses out of 52796 with flag 2034/3167353
728.59/718.87	c Got one! Elapsed wall clock time (in seconds):718.763
728.59/718.87	o 557
728.70/718.91	c Got one! Elapsed wall clock time (in seconds):718.796
728.70/718.91	o 556
728.70/718.91	c Got one! Elapsed wall clock time (in seconds):718.799
728.70/718.91	o 555
728.70/718.94	c Got one! Elapsed wall clock time (in seconds):718.825
728.70/718.94	o 554
728.70/718.94	c Got one! Elapsed wall clock time (in seconds):718.828
728.70/718.94	o 553
729.60/719.81	c cleaning 16208 clauses out of 32440 with flag 10498/3173383
730.50/720.74	c cleaning 11102 clauses out of 22232 with flag 22569/3179383
731.53/721.80	c cleaning 9055 clauses out of 18129 with flag 36991/3186382
732.72/722.96	c cleaning 8523 clauses out of 17073 with flag 53706/3194381
734.02/724.29	c cleaning 8761 clauses out of 17551 with flag 71992/3203382
735.55/725.77	c cleaning 9388 clauses out of 18789 with flag 92284/3213381
737.25/727.43	c cleaning 10189 clauses out of 20401 with flag 114748/3224381
739.09/729.30	c cleaning 11092 clauses out of 22213 with flag 139522/3236382
741.19/731.32	c cleaning 12056 clauses out of 24122 with flag 167267/3249383
743.42/733.58	c cleaning 13024 clauses out of 26067 with flag 197605/3263384
745.92/736.03	c cleaning 14009 clauses out of 28040 with flag 228705/3278381
748.66/738.71	c cleaning 15009 clauses out of 30034 with flag 263553/3294384
751.61/741.66	c cleaning 15996 clauses out of 32022 with flag 299903/3311381
754.77/744.79	c cleaning 16990 clauses out of 34026 with flag 337855/3329381
758.24/748.11	c cleaning 17991 clauses out of 36036 with flag 377486/3348381
761.73/751.65	c cleaning 19001 clauses out of 38045 with flag 418997/3368381
765.56/755.43	c cleaning 20000 clauses out of 40044 with flag 461781/3389381
769.58/759.42	c cleaning 21005 clauses out of 42044 with flag 507020/3411381
773.99/763.73	c cleaning 22009 clauses out of 44042 with flag 555372/3434384
778.66/768.34	c cleaning 23002 clauses out of 46030 with flag 606127/3458381
783.41/773.09	c cleaning 24000 clauses out of 48030 with flag 659186/3483383
788.76/778.32	c cleaning 25004 clauses out of 50031 with flag 714302/3509384
794.29/783.73	c cleaning 25996 clauses out of 52026 with flag 772276/3536383
799.75/789.15	c cleaning 27003 clauses out of 54028 with flag 831460/3564381
805.60/794.81	c cleaning 27996 clauses out of 56026 with flag 893226/3593382
811.87/800.97	c cleaning 29003 clauses out of 58029 with flag 960053/3623381
818.34/807.27	c cleaning 29999 clauses out of 60026 with flag 1027343/3654381
824.72/813.54	c cleaning 31000 clauses out of 62030 with flag 1095509/3686384
831.22/819.96	c cleaning 32000 clauses out of 64029 with flag 1166605/3719383
838.48/827.03	c cleaning 33000 clauses out of 66028 with flag 1239086/3753382
846.31/834.88	c cleaning 33998 clauses out of 68027 with flag 1310280/3788381
854.63/843.07	c cleaning 34998 clauses out of 70031 with flag 1383285/3824383
863.04/851.40	c cleaning 36002 clauses out of 72031 with flag 1458973/3861381
872.05/860.18	c cleaning 36999 clauses out of 74029 with flag 1537814/3899381
881.00/868.97	c cleaning 38001 clauses out of 76030 with flag 1617694/3938381
890.13/877.91	c cleaning 39000 clauses out of 78029 with flag 1700351/3978381
899.58/887.28	c cleaning 39995 clauses out of 80029 with flag 1786768/4019381
909.97/897.49	c cleaning 41003 clauses out of 82035 with flag 1875492/4061382
920.51/907.72	c cleaning 42004 clauses out of 84032 with flag 1962205/4104382
931.48/918.51	c cleaning 42999 clauses out of 86027 with flag 2052095/4148381
942.99/929.94	c cleaning 43999 clauses out of 88029 with flag 2144671/4193382
954.80/941.37	c cleaning 44997 clauses out of 90033 with flag 2241070/4239385
967.00/953.33	c cleaning 46004 clauses out of 92034 with flag 2338908/4286383
979.70/965.81	c cleaning 46998 clauses out of 94029 with flag 2439209/4334382
991.54/977.48	c cleaning 47995 clauses out of 96030 with flag 2545638/4383381
1004.57/990.30	c cleaning 49005 clauses out of 98038 with flag 2649680/4433384
1018.14/1003.77	c cleaning 50001 clauses out of 100033 with flag 2757267/4484384
1032.12/1017.58	c cleaning 50996 clauses out of 102031 with flag 2866869/4536383
1046.48/1031.78	c cleaning 51995 clauses out of 104033 with flag 2980455/4589381
1057.43/1042.53	c Got one! Elapsed wall clock time (in seconds):1042.414
1057.43/1042.53	o 552
1059.13/1044.26	c cleaning 49869 clauses out of 99770 with flag 10580/4637113
1060.48/1045.55	c cleaning 27936 clauses out of 55901 with flag 23107/4643113
1061.68/1046.73	c cleaning 17465 clauses out of 34965 with flag 37156/4650113
1061.88/1046.99	c Got one! Elapsed wall clock time (in seconds):1046.875
1061.88/1046.99	o 551
1062.58/1047.62	c cleaning 11608 clauses out of 23266 with flag 8611/4655879
1063.48/1048.52	c cleaning 8813 clauses out of 17658 with flag 21512/4661879
1064.52/1049.55	c cleaning 7908 clauses out of 15845 with flag 36886/4668879
1065.71/1050.76	c cleaning 7956 clauses out of 15937 with flag 53942/4676879
1067.01/1052.08	c cleaning 8469 clauses out of 16981 with flag 73849/4685879
1068.53/1053.57	c cleaning 9240 clauses out of 18512 with flag 94526/4695879
1070.23/1055.23	c cleaning 10120 clauses out of 20272 with flag 119098/4706879
1072.05/1057.06	c cleaning 11056 clauses out of 22153 with flag 145354/4718880
1074.22/1059.15	c cleaning 12025 clauses out of 24096 with flag 173406/4731879
1076.41/1061.38	c cleaning 13012 clauses out of 26072 with flag 203685/4745880
1078.97/1063.86	c cleaning 14005 clauses out of 28059 with flag 235004/4760879
1081.73/1066.52	c cleaning 15012 clauses out of 30055 with flag 269192/4776880
1084.54/1069.36	c cleaning 16002 clauses out of 32045 with flag 305943/4793882
1087.56/1072.30	c cleaning 17008 clauses out of 34043 with flag 345394/4811882
1090.60/1075.37	c cleaning 18002 clauses out of 36033 with flag 385461/4830880
1094.27/1078.92	c cleaning 19011 clauses out of 38033 with flag 426903/4850882
1097.89/1082.54	c cleaning 20000 clauses out of 40019 with flag 471686/4871879
1101.71/1086.30	c cleaning 20998 clauses out of 42019 with flag 517499/4893879
1106.03/1090.51	c cleaning 21998 clauses out of 44022 with flag 564619/4916880
1110.69/1095.10	c cleaning 22999 clauses out of 46023 with flag 613393/4940879
1115.14/1099.57	c cleaning 24005 clauses out of 48026 with flag 665693/4965881
1120.06/1104.39	c cleaning 24994 clauses out of 50019 with flag 720964/4991879
1125.38/1109.56	c cleaning 25999 clauses out of 52025 with flag 778096/5018879
1130.92/1115.00	c cleaning 26998 clauses out of 54029 with flag 836395/5046882
1136.98/1120.96	c cleaning 27998 clauses out of 56028 with flag 897296/5075879
1143.19/1127.00	c cleaning 29001 clauses out of 58030 with flag 960312/5105879
1149.74/1133.41	c cleaning 30004 clauses out of 60029 with flag 1024707/5136879
1156.19/1139.75	c cleaning 30993 clauses out of 62026 with flag 1091066/5168880
1163.14/1146.62	c cleaning 32007 clauses out of 64033 with flag 1160003/5201880
1170.25/1153.62	c cleaning 32993 clauses out of 66026 with flag 1229651/5235880
1177.72/1160.98	c cleaning 34006 clauses out of 68035 with flag 1300772/5270882
1185.40/1168.45	c cleaning 35001 clauses out of 70026 with flag 1374773/5306879
1193.59/1176.54	c cleaning 36006 clauses out of 72029 with flag 1449659/5343883
1202.03/1184.81	c cleaning 36994 clauses out of 74020 with flag 1527278/5381880
1211.02/1193.63	c cleaning 37999 clauses out of 76026 with flag 1608001/5420880
1220.11/1202.62	c cleaning 39009 clauses out of 78028 with flag 1693123/5460881
1229.22/1211.65	c cleaning 39998 clauses out of 80017 with flag 1781295/5501879
1238.84/1221.05	c cleaning 41004 clauses out of 82020 with flag 1869272/5543880
1248.83/1230.85	c cleaning 41992 clauses out of 84015 with flag 1960891/5586879
1258.87/1240.78	c cleaning 42997 clauses out of 86023 with flag 2054869/5630879
1270.41/1252.06	c cleaning 43999 clauses out of 88026 with flag 2150947/5675879
1282.33/1263.73	c cleaning 44998 clauses out of 90027 with flag 2249644/5721879
1294.24/1275.45	c cleaning 45995 clauses out of 92030 with flag 2349537/5768880
1305.84/1286.89	c cleaning 47011 clauses out of 94037 with flag 2452423/5816882
1318.31/1299.18	c cleaning 48002 clauses out of 96024 with flag 2556511/5865880
1330.48/1311.17	c cleaning 49002 clauses out of 98026 with flag 2662399/5915884
1343.23/1323.71	c cleaning 50000 clauses out of 100022 with flag 2769087/5966882
1357.52/1337.72	c cleaning 50996 clauses out of 102020 with flag 2876308/6018880
1371.43/1351.42	c cleaning 51997 clauses out of 104025 with flag 2987702/6071881
1386.47/1366.24	c cleaning 52999 clauses out of 106028 with flag 3101192/6125881
1401.71/1381.24	c cleaning 53995 clauses out of 108029 with flag 3215206/6180881
1416.56/1395.83	c cleaning 54999 clauses out of 110033 with flag 3330152/6236880
1431.83/1410.84	c cleaning 56000 clauses out of 112033 with flag 3447124/6293879
1434.90/1413.82	c Got one! Elapsed wall clock time (in seconds):1413.704
1434.90/1413.82	o 550
1436.10/1415.00	c cleaning 37854 clauses out of 75721 with flag 11289/6313567
1437.20/1416.10	c cleaning 21919 clauses out of 43869 with flag 24128/6319569
1438.31/1417.26	c cleaning 14467 clauses out of 28948 with flag 39392/6326567
1439.61/1418.51	c cleaning 11225 clauses out of 22481 with flag 56627/6334567
1441.04/1419.90	c cleaning 10114 clauses out of 20256 with flag 76178/6343567
1442.54/1421.40	c cleaning 10057 clauses out of 20143 with flag 98135/6353568
1444.26/1423.10	c cleaning 10532 clauses out of 21086 with flag 120831/6364568
1446.21/1425.00	c cleaning 11268 clauses out of 22556 with flag 145375/6376570
1448.21/1427.00	c cleaning 12129 clauses out of 24286 with flag 171870/6389568
1450.44/1429.23	c cleaning 13064 clauses out of 26156 with flag 201175/6403567
1452.96/1431.72	c cleaning 14035 clauses out of 28093 with flag 232482/6418568
1455.71/1434.42	c cleaning 15020 clauses out of 30057 with flag 266168/6434567
1458.44/1437.19	c cleaning 16003 clauses out of 32037 with flag 302396/6451567
1461.47/1440.15	c cleaning 17001 clauses out of 34034 with flag 342299/6469567
1464.79/1443.37	c cleaning 18010 clauses out of 36035 with flag 384148/6488569
1468.36/1446.84	c cleaning 19000 clauses out of 38024 with flag 426348/6508568
1472.12/1450.53	c cleaning 20007 clauses out of 40025 with flag 470534/6529569
1476.17/1454.50	c cleaning 20998 clauses out of 42018 with flag 516502/6551569
1480.22/1458.50	c cleaning 21993 clauses out of 44018 with flag 565954/6574567
1484.69/1462.88	c cleaning 23002 clauses out of 46027 with flag 616575/6598569
1489.59/1467.61	c cleaning 24001 clauses out of 48023 with flag 668642/6623567
1494.58/1472.57	c cleaning 24993 clauses out of 50022 with flag 721914/6649567
1500.04/1477.91	c cleaning 25993 clauses out of 52029 with flag 777874/6676567
1505.38/1483.21	c cleaning 27006 clauses out of 54037 with flag 836188/6704568
1511.31/1488.96	c cleaning 27996 clauses out of 56031 with flag 896571/6733568
1516.92/1494.42	c cleaning 29006 clauses out of 58034 with flag 961086/6763567
1522.91/1500.40	c cleaning 30002 clauses out of 60028 with flag 1026621/6794567
1529.24/1506.66	c cleaning 30993 clauses out of 62026 with flag 1095100/6826567
1535.97/1513.25	c cleaning 32004 clauses out of 64033 with flag 1169876/6859567
1543.06/1520.21	c cleaning 33004 clauses out of 66029 with flag 1244915/6893567
1550.24/1527.35	c cleaning 33998 clauses out of 68025 with flag 1324049/6928567
1557.76/1534.71	c cleaning 35001 clauses out of 70027 with flag 1402793/6964567
1565.43/1542.29	c cleaning 35997 clauses out of 72026 with flag 1482296/7001567
1573.59/1550.26	c cleaning 36999 clauses out of 74029 with flag 1564047/7039567
1582.37/1558.84	c cleaning 37992 clauses out of 76031 with flag 1647497/7078568
1591.65/1567.92	c cleaning 39002 clauses out of 78038 with flag 1731925/7118567
1601.11/1577.26	c cleaning 40003 clauses out of 80040 with flag 1817943/7159571
1610.54/1586.58	c cleaning 41006 clauses out of 82035 with flag 1909208/7201569
1620.18/1595.98	c cleaning 42005 clauses out of 84028 with flag 2002098/7244568
1629.90/1605.55	c cleaning 42995 clauses out of 86022 with flag 2095997/7288567
1640.11/1615.56	c cleaning 43997 clauses out of 88027 with flag 2187482/7333567
1650.94/1626.17	c cleaning 45004 clauses out of 90032 with flag 2283951/7379569
1661.40/1636.45	c cleaning 45996 clauses out of 92027 with flag 2384299/7426568
1672.63/1647.45	c cleaning 46996 clauses out of 94030 with flag 2486569/7474567
1685.31/1659.98	c cleaning 47995 clauses out of 96034 with flag 2589204/7523567
1698.07/1672.43	c cleaning 49000 clauses out of 98039 with flag 2695672/7573567
1710.16/1684.25	c cleaning 49999 clauses out of 100039 with flag 2805081/7624567
1722.74/1696.63	c cleaning 51007 clauses out of 102041 with flag 2915324/7676568
1736.16/1709.80	c cleaning 52006 clauses out of 104035 with flag 3023223/7729569
1750.22/1723.65	c cleaning 52997 clauses out of 106029 with flag 3133306/7783569
1765.35/1738.59	c cleaning 53992 clauses out of 108030 with flag 3245116/7838567
1781.09/1754.07	c cleaning 55007 clauses out of 110040 with flag 3358700/7894569
1795.65/1768.21	c cleaning 56005 clauses out of 112033 with flag 3474645/7951569
1800.01/1772.50	c starts		: 37
1800.01/1772.50	c conflicts		: 7971529
1800.01/1772.50	c decisions		: 8230487
1800.01/1772.50	c propagations		: 158502487
1800.01/1772.50	c inspects		: 14497074032
1800.01/1772.50	c shortcuts		: 0
1800.01/1772.50	c learnt literals	: 0
1800.01/1772.50	c learnt binary clauses	: 0
1800.01/1772.50	c learnt ternary clauses	: 34
1800.01/1772.50	c learnt constraints	: 7971529
1800.01/1772.50	c ignored constraints	: 0
1800.01/1772.50	c root simplifications	: 0
1800.01/1772.50	c removed literals (reason simplification)	: 0
1800.01/1772.50	c reason swapping (by a shorter reason)	: 0
1800.01/1772.50	c Calls to reduceDB	: 264
1800.01/1772.50	c Number of update (reduction) of LBD	: 66400
1800.01/1772.50	c Imported unit clauses	: 0
1800.01/1772.50	c number of reductions to clauses (during analyze)	: 0
1800.01/1772.50	c number of learned constraints concerned by reduction	: 0
1800.01/1772.50	c number of learning phase by resolution	: 0
1800.01/1772.50	c number of learning phase by cutting planes	: 0
1800.01/1772.50	c speed (assignments/second)	: 89443.56087004364
1800.01/1772.50	c non guided choices	939
1800.01/1772.53	c learnt constraints type 
1800.01/1772.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 75988
1800.01/1772.53	s SATISFIABLE
1800.01/1772.53	c Found 36 solution(s)
1800.01/1772.54	v -x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 x91 x92 x93 x94 x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 x104 -x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 -x152 x153 -x154 x155 -x156 x157 x158 x159 x160 x161 -x162 -x163 -x164 x165 -x166 -x167 x168 -x169 x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 x233 x234 x235 -x236 x237 -x238 x239 -x240 -x241 x242 -x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253 x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 -x273 x274 -x275 -x276 x277 -x278 x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 -x289 x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 x366 x367 -x368 -x369 x370 -x371 -x372 -x373 x374 x375 -x376 -x377 x378 x379 x380 -x381 x382 x383 x384 x385 x386 x387 x388 x389 -x390 x391 x392 x393 -x394 -x395 x396 x397 x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 x463 x464 -x465 x466 x467 x468 -x469 -x470 x471 x472 x473 -x474 x475 -x476 -x477 -x478 x479 x480 -x481 -x482 x483 x484 x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 x494 x495 -x496 -x497 -x498 x499 x500 x501 -x502 -x503 x504 x505 x506 -x507 x508 x509 x510 -x511 -x512 x513 x514 x515 -x516 x517 x518 -x519 -x520 x521 x522 x523 -x524 x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 x541 -x542 x543 x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 x572 x573 x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 x601 x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 x628 x629 x630 x631 -x632 -x633 -x634 -x635 x636 x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 x649 x650 x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 x659 x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 x677 x678 x679 -x680 -x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 x704 x705 x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 x758 x759 -x760 -x761 x762 -x763 -x764 x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 x795 x796 x797 x798 x799 -x800 -x801 x802 x803 x804 x805 -x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 x830 x831 x832 x833 x834 -x835 -x836 x837 -x838 -x839 x840 x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 x849 x850 x851 -x852 x853 x854 x855 -x856 x857 -x858 -x859 x860 -x861 x862 x863 -x864 x865 x866 x867 -x868 x869 x870 -x871 x872 x873 -x874 x875 x876 x877 x878 x879 x880 -x881 x882 x883 -x884 x885 x886 x887 -x888 x889 x890 x891 -x892 x893 x894 x895 x896 x897 -x898 x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 x1008 x1009 -x1010 x1011 x1012 x1013 x1014 x1015 x1016 -x1017 x1018 -x1019 x1020 -x1021 x1022 x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 x1039 x1040 -x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 x1061 x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 x1076 x1077 -x1078 x1079 x1080 -x1081 x1082 x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 x1091 x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 x1099 x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 x1110 -x1111 x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125 -x1126 x1127 x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 x1136 x1137 -x1138 -x1139 -x1140 -x1141 x1142 x1143 x1144 x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 x1175 x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 x1244 x1245 x1246 x1247 -x1248 -x1249 x1250 x1251 x1252 x1253 -x1254 x1255 -x1256 x1257 -x1258 -x1259 x1260 x1261 x1262 -x1263 x1264 -x1265 -x1266 x1267 x1268 -x1269 x1270 -x1271 x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 x1280 x1281 x1282 x1283 x1284 -x1285 x1286 x1287 -x1288 -x1289 x1290 x1291 x1292 -x1293 x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 x1301 x1302 x1303 -x1304 x1305 x1306 x1307 x1308 x1309 -x1310 x1311 x1312 x1313 x1314 x1315 -x1316 -x1317 -x1318 x1319 x1320 -x1321 -x1322 -x1323 x1324 x1325 x1326 x1327 x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 x1378 -x1379 x1380 x1381 x1382 -x1383 -x1384 x1385 x1386 x1387 x1388 -x1389 x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 x1399 -x1400 x1401 x1402 -x1403 -x1404 -x1405 x1406 x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 x1432 x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 x1457 x1458 -x1459 -x1460 -x1461 x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 x1525 x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 x1696 x1697 x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 x1766 x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 x1797 -x1798 x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 x1898 -x1899 -x1900 -x1901 x1902 x1903 -x1904 x1905 x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 x1940 x1941 x1942 x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 x1968 x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 x1994 x1995 -x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 x2005 x2006 x2007 x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 
1800.01/1772.54	c objective function=550
1800.01/1772.54	c Total wall clock time (in seconds): 1772.428

Verifier Data 

OK	550

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-4118461-1467230052/watcher-4118461-1467230052 -o /tmp/evaluation-result-4118461-1467230052/solver-4118461-1467230052 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1882 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118461-1467230052.opb 

pid=4424
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.18 2.21 3/194 4427
/proc/meminfo: memFree=29171072/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4427/stat : 4427 (java) R 4424 4427 1865 0 -1 4202496 532 0 0 0 0 0 0 0 20 0 1 0 2034408 9515008 184 33554432000 1073741824 1073778376 140736563749040 140736563731768 271787391207 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2323 186 143 9 0 71 0

[startup+0.100113 s]
/proc/loadavg: 2.03 2.18 2.21 3/194 4427
/proc/meminfo: memFree=29171072/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 4407 0 1 0 8 1 0 0 20 0 18 0 2034408 9787879424 6040 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2389619 6040 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.03 2.18 2.21 3/194 4427
/proc/meminfo: memFree=29171072/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 4912 0 1 0 26 1 0 0 20 0 18 0 2034408 9787879424 6850 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2389619 6850 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300256 s]
/proc/loadavg: 2.03 2.18 2.21 3/194 4427
/proc/meminfo: memFree=29171072/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 5844 0 1 0 47 1 0 0 20 0 18 0 2034408 9787879424 9039 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2389619 9040 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700187 s]
/proc/loadavg: 2.03 2.18 2.21 3/194 4427
/proc/meminfo: memFree=29171072/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 11594 0 1 0 153 3 0 0 20 0 19 0 2034408 9856040960 17665 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2406260 17665 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.03 2.18 2.21 3/213 4446
/proc/meminfo: memFree=29094488/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9625040 CPUtime=2.6 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 12212 0 1 0 256 4 0 0 20 0 19 0 2034408 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2406260 24364 2271 9 0 2396937 0
[pid=4427/tid=4429] ppid=4424 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/4427/task/4429/stat : 4429 (java) R 4424 4427 1865 0 -1 4202560 2445 0 1 0 144 2 0 0 20 0 19 0 2034409 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140088156930472 140088026322530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4430] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4430/stat : 4430 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140088145992360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4431] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4431/stat : 4431 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140088144939816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4432] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4432/stat : 4432 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087997971368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4433] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4433/stat : 4433 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087996918824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4434] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4434/stat : 4434 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087995865256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4435] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4435/stat : 4435 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087994812712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4436] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4436/stat : 4436 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087993760168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4437] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4437/stat : 4437 (java) S 4424 4427 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087992707624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4438] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4438/stat : 4438 (java) S 4424 4427 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087980509800 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4439] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4439/stat : 4439 (java) S 4424 4427 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087979456120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4440] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4440/stat : 4440 (java) S 4424 4427 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087978403464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4441] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4441/stat : 4441 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087977352208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4442] ppid=4424 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/4427/task/4442/stat : 4442 (java) R 4424 4427 1865 0 -1 4202560 4741 0 0 0 61 0 0 0 20 0 19 0 2034414 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087976298552 140088162910586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4443] ppid=4424 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4427/task/4443/stat : 4443 (java) S 4424 4427 1865 0 -1 4202560 3748 0 0 0 49 0 0 0 20 0 19 0 2034414 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087975246008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4444] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4444/stat : 4444 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087974193656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4445] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4445/stat : 4445 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087973141320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4446] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4446/stat : 4446 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034449 9856040960 24364 33554432000 1073741824 1073778376 140736563749040 140087972087080 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.03 2.18 2.21 3/213 4446
/proc/meminfo: memFree=29036276/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9625040 CPUtime=4.4 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 16049 0 1 0 434 6 0 0 20 0 19 0 2034408 9856040960 36173 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2406260 36173 2275 9 0 2396937 0
[pid=4427/tid=4429] ppid=4424 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/4427/task/4429/stat : 4429 (java) R 4424 4427 1865 0 -1 4202560 2469 0 1 0 303 3 0 0 20 0 19 0 2034409 9856040960 36173 33554432000 1073741824 1073778376 140736563749040 140088156930552 140088026516789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4430] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4430/stat : 4430 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36173 33554432000 1073741824 1073778376 140736563749040 140088145992360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4431] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4431/stat : 4431 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36173 33554432000 1073741824 1073778376 140736563749040 140088144939816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4432] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4432/stat : 4432 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36173 33554432000 1073741824 1073778376 140736563749040 140087997971368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4433] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4433/stat : 4433 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36173 33554432000 1073741824 1073778376 140736563749040 140087996918824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4434] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4434/stat : 4434 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36173 33554432000 1073741824 1073778376 140736563749040 140087995865256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4435] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4435/stat : 4435 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087994812712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4436] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4436/stat : 4436 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087993760168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4437] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4437/stat : 4437 (java) S 4424 4427 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087992707624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4438] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4438/stat : 4438 (java) S 4424 4427 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087980509800 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4439] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4439/stat : 4439 (java) S 4424 4427 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087979456120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4440] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4440/stat : 4440 (java) S 4424 4427 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087978403464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4441] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4441/stat : 4441 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087977352208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4442] ppid=4424 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/4427/task/4442/stat : 4442 (java) S 4424 4427 1865 0 -1 4202560 4766 0 0 0 66 0 0 0 20 0 19 0 2034414 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087976298552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4443] ppid=4424 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/4427/task/4443/stat : 4443 (java) S 4424 4427 1865 0 -1 4202560 7536 0 0 0 62 2 0 0 20 0 19 0 2034414 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087975246008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4444] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4444/stat : 4444 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087974193656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4445] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4445/stat : 4445 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087973141320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4446] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4446/stat : 4446 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034449 9856040960 36685 33554432000 1073741824 1073778376 140736563749040 140087972087080 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.03 2.18 2.21 3/213 4446
/proc/meminfo: memFree=28915336/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9625040 CPUtime=7.69 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 16137 0 1 0 760 9 0 0 20 0 19 0 2034408 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2406260 50520 2288 9 0 2396937 0
[pid=4427/tid=4429] ppid=4424 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/4427/task/4429/stat : 4429 (java) R 4424 4427 1865 0 -1 4202560 2485 0 1 0 619 3 0 0 20 0 19 0 2034409 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140088156921552 140088026345109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4430] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4430/stat : 4430 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140088145992360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4431] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4431/stat : 4431 (java) S 4424 4427 1865 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140088144939816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4432] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4432/stat : 4432 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087997971368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4433] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4433/stat : 4433 (java) S 4424 4427 1865 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087996918824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4434] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4434/stat : 4434 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087995865256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4435] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4435/stat : 4435 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087994812712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4436] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4436/stat : 4436 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087993760168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4437] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4437/stat : 4437 (java) S 4424 4427 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2034410 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087992707624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4438] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4438/stat : 4438 (java) S 4424 4427 1865 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087980509800 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4439] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4439/stat : 4439 (java) S 4424 4427 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087979456120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4440] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4440/stat : 4440 (java) S 4424 4427 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087978403464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4441] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4441/stat : 4441 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087977352208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4442] ppid=4424 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/4427/task/4442/stat : 4442 (java) S 4424 4427 1865 0 -1 4202560 4766 0 0 0 67 1 0 0 20 0 19 0 2034414 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087976298552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4443] ppid=4424 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/4427/task/4443/stat : 4443 (java) S 4424 4427 1865 0 -1 4202560 7536 0 0 0 63 2 0 0 20 0 19 0 2034414 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087975246008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4444] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4444/stat : 4444 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087974193656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4445] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4445/stat : 4445 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087973141320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4446] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4446/stat : 4446 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034449 9856040960 50520 33554432000 1073741824 1073778376 140736563749040 140087972087080 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9625040


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

[pid=4427/tid=4446] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4446/stat : 4446 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034449 9856040960 224412 33554432000 1073741824 1073778376 140736563749040 140087972087080 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1687.73
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.18 2.18 4/213 4577
/proc/meminfo: memFree=28084816/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9625040 CPUtime=1748.92 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 29473 0 1 0 174595 297 0 0 20 0 19 0 2034408 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2406260 243588 2297 9 0 2396937 0
[pid=4427/tid=4429] ppid=4424 vsize=9625040 CPUtime=1704.44 cores=1,3,5,7
/proc/4427/task/4429/stat : 4429 (java) R 4424 4427 1865 0 -1 4202560 2788 0 1 0 170411 33 0 0 20 0 19 0 2034409 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140088156929264 140088026344967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4430] ppid=4424 vsize=9625040 CPUtime=4.38 cores=1,3,5,7
/proc/4427/task/4430/stat : 4430 (java) S 4424 4427 1865 0 -1 4202560 971 0 0 0 410 28 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140088145992360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4431] ppid=4424 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/4427/task/4431/stat : 4431 (java) S 4424 4427 1865 0 -1 4202560 1517 0 0 0 381 31 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140088144939816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4432] ppid=4424 vsize=9625040 CPUtime=4.31 cores=1,3,5,7
/proc/4427/task/4432/stat : 4432 (java) S 4424 4427 1865 0 -1 4202560 1457 0 0 0 395 36 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087997971368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4433] ppid=4424 vsize=9625040 CPUtime=4.15 cores=1,3,5,7
/proc/4427/task/4433/stat : 4433 (java) S 4424 4427 1865 0 -1 4202560 1103 0 0 0 384 31 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087996918824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4434] ppid=4424 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/4427/task/4434/stat : 4434 (java) S 4424 4427 1865 0 -1 4202560 999 0 0 0 402 30 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087995865256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4435] ppid=4424 vsize=9625040 CPUtime=4.37 cores=1,3,5,7
/proc/4427/task/4435/stat : 4435 (java) S 4424 4427 1865 0 -1 4202560 1016 0 0 0 412 25 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087994812712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4436] ppid=4424 vsize=9625040 CPUtime=4.47 cores=1,3,5,7
/proc/4427/task/4436/stat : 4436 (java) S 4424 4427 1865 0 -1 4202560 1422 0 0 0 416 31 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087993760168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4437] ppid=4424 vsize=9625040 CPUtime=4.52 cores=1,3,5,7
/proc/4427/task/4437/stat : 4437 (java) S 4424 4427 1865 0 -1 4202560 1937 0 0 0 410 42 0 0 20 0 19 0 2034410 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087992707624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4438] ppid=4424 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/4427/task/4438/stat : 4438 (java) S 4424 4427 1865 0 -1 4202560 2597 0 0 0 372 6 0 0 20 0 19 0 2034411 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087980509800 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4439] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4439/stat : 4439 (java) S 4424 4427 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087979456120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4440] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4440/stat : 4440 (java) S 4424 4427 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087978403464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4441] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4441/stat : 4441 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087977352208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4442] ppid=4424 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/4427/task/4442/stat : 4442 (java) S 4424 4427 1865 0 -1 4202560 4768 0 0 0 70 2 0 0 20 0 19 0 2034414 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087976298552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4443] ppid=4424 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/4427/task/4443/stat : 4443 (java) S 4424 4427 1865 0 -1 4202560 7536 0 0 0 63 2 0 0 20 0 19 0 2034414 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087975246008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4444] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4444/stat : 4444 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087974193656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4445] ppid=4424 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/4427/task/4445/stat : 4445 (java) S 4424 4427 1865 0 -1 4202560 99 0 0 0 24 31 0 0 20 0 19 0 2034414 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087973141320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4446] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4446/stat : 4446 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034449 9856040960 243588 33554432000 1073741824 1073778376 140736563749040 140087972087080 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1748.92
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1772.5 s]
/proc/loadavg: 2.17 2.17 2.18 3/213 4578
/proc/meminfo: memFree=28029352/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 29629 0 1 0 179695 306 0 0 20 0 19 0 2034408 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2406260 263713 2297 9 0 2396937 0
[pid=4427/tid=4429] ppid=4424 vsize=9625040 CPUtime=1754.07 cores=1,3,5,7
/proc/4427/task/4429/stat : 4429 (java) R 4424 4427 1865 0 -1 4202560 2799 0 1 0 175373 34 0 0 20 0 19 0 2034409 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140088156929264 140088026344801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4430] ppid=4424 vsize=9625040 CPUtime=4.51 cores=1,3,5,7
/proc/4427/task/4430/stat : 4430 (java) S 4424 4427 1865 0 -1 4202560 981 0 0 0 423 28 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140088145992360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4431] ppid=4424 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/4427/task/4431/stat : 4431 (java) S 4424 4427 1865 0 -1 4202560 1527 0 0 0 395 32 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140088144939816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4432] ppid=4424 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/4427/task/4432/stat : 4432 (java) S 4424 4427 1865 0 -1 4202560 1491 0 0 0 411 38 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087997971368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4433] ppid=4424 vsize=9625040 CPUtime=4.29 cores=1,3,5,7
/proc/4427/task/4433/stat : 4433 (java) S 4424 4427 1865 0 -1 4202560 1109 0 0 0 398 31 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087996918824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4434] ppid=4424 vsize=9625040 CPUtime=4.51 cores=1,3,5,7
/proc/4427/task/4434/stat : 4434 (java) S 4424 4427 1865 0 -1 4202560 1021 0 0 0 420 31 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087995865256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4435] ppid=4424 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/4427/task/4435/stat : 4435 (java) S 4424 4427 1865 0 -1 4202560 1036 0 0 0 424 25 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087994812712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4436] ppid=4424 vsize=9625040 CPUtime=4.65 cores=1,3,5,7
/proc/4427/task/4436/stat : 4436 (java) S 4424 4427 1865 0 -1 4202560 1440 0 0 0 433 32 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087993760168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4437] ppid=4424 vsize=9625040 CPUtime=4.63 cores=1,3,5,7
/proc/4427/task/4437/stat : 4437 (java) S 4424 4427 1865 0 -1 4202560 1953 0 0 0 420 43 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087992707624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4438] ppid=4424 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/4427/task/4438/stat : 4438 (java) S 4424 4427 1865 0 -1 4202560 2604 0 0 0 383 6 0 0 20 0 19 0 2034411 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087980509800 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4439] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4439/stat : 4439 (java) S 4424 4427 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087979456120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4440] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4440/stat : 4440 (java) S 4424 4427 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087978403464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4441] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4441/stat : 4441 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087977352208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4442] ppid=4424 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/4427/task/4442/stat : 4442 (java) S 4424 4427 1865 0 -1 4202560 4768 0 0 0 70 2 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087976298552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4443] ppid=4424 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/4427/task/4443/stat : 4443 (java) S 4424 4427 1865 0 -1 4202560 7536 0 0 0 63 2 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087975246008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4444] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4444/stat : 4444 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087974193656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4445] ppid=4424 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/4427/task/4445/stat : 4445 (java) S 4424 4427 1865 0 -1 4202560 101 0 0 0 25 32 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087973141320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4446] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4446/stat : 4446 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034449 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087972087080 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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 4427 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1772.5 s]
/proc/loadavg: 2.17 2.17 2.18 3/213 4578
/proc/meminfo: memFree=28029352/32872528 swapFree=1099624/1181384
[pid=4427] ppid=4424 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/4427/stat : 4427 (java) S 4424 4427 1865 0 -1 4202496 29629 0 1 0 179695 306 0 0 20 0 19 0 2034408 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140736563740176 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4427/statm: 2406260 263713 2297 9 0 2396937 0
[pid=4427/tid=4429] ppid=4424 vsize=9625040 CPUtime=1754.07 cores=1,3,5,7
/proc/4427/task/4429/stat : 4429 (java) R 4424 4427 1865 0 -1 4202560 2799 0 1 0 175373 34 0 0 20 0 19 0 2034409 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140088156929264 140088026344801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4430] ppid=4424 vsize=9625040 CPUtime=4.51 cores=1,3,5,7
/proc/4427/task/4430/stat : 4430 (java) S 4424 4427 1865 0 -1 4202560 981 0 0 0 423 28 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140088145992360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4431] ppid=4424 vsize=9625040 CPUtime=4.27 cores=1,3,5,7
/proc/4427/task/4431/stat : 4431 (java) S 4424 4427 1865 0 -1 4202560 1527 0 0 0 395 32 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140088144939816 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4432] ppid=4424 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/4427/task/4432/stat : 4432 (java) S 4424 4427 1865 0 -1 4202560 1491 0 0 0 411 38 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087997971368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4433] ppid=4424 vsize=9625040 CPUtime=4.29 cores=1,3,5,7
/proc/4427/task/4433/stat : 4433 (java) S 4424 4427 1865 0 -1 4202560 1109 0 0 0 398 31 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087996918824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4434] ppid=4424 vsize=9625040 CPUtime=4.51 cores=1,3,5,7
/proc/4427/task/4434/stat : 4434 (java) S 4424 4427 1865 0 -1 4202560 1021 0 0 0 420 31 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087995865256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4435] ppid=4424 vsize=9625040 CPUtime=4.49 cores=1,3,5,7
/proc/4427/task/4435/stat : 4435 (java) S 4424 4427 1865 0 -1 4202560 1036 0 0 0 424 25 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087994812712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4436] ppid=4424 vsize=9625040 CPUtime=4.65 cores=1,3,5,7
/proc/4427/task/4436/stat : 4436 (java) S 4424 4427 1865 0 -1 4202560 1440 0 0 0 433 32 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087993760168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4437] ppid=4424 vsize=9625040 CPUtime=4.63 cores=1,3,5,7
/proc/4427/task/4437/stat : 4437 (java) S 4424 4427 1865 0 -1 4202560 1953 0 0 0 420 43 0 0 20 0 19 0 2034410 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087992707624 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4427/tid=4438] ppid=4424 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/4427/task/4438/stat : 4438 (java) S 4424 4427 1865 0 -1 4202560 2604 0 0 0 383 6 0 0 20 0 19 0 2034411 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087980509800 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4439] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4439/stat : 4439 (java) S 4424 4427 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087979456120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4440] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4440/stat : 4440 (java) S 4424 4427 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2034411 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087978403464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4441] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4441/stat : 4441 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087977352208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4442] ppid=4424 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/4427/task/4442/stat : 4442 (java) S 4424 4427 1865 0 -1 4202560 4768 0 0 0 70 2 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087976298552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4427/tid=4443] ppid=4424 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/4427/task/4443/stat : 4443 (java) S 4424 4427 1865 0 -1 4202560 7536 0 0 0 63 2 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087975246008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4444] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4444/stat : 4444 (java) S 4424 4427 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087974193656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4427/tid=4445] ppid=4424 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/4427/task/4445/stat : 4445 (java) S 4424 4427 1865 0 -1 4202560 101 0 0 0 25 32 0 0 20 0 19 0 2034414 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087973141320 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4427/tid=4446] ppid=4424 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4427/task/4446/stat : 4446 (java) S 4424 4427 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 2034449 9856040960 263713 33554432000 1073741824 1073778376 140736563749040 140087972087080 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4427 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=588485
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=501467
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1772.56
CPU time (s): 1800.01
CPU user time (s): 1796.95
CPU system time (s): 3.06
CPU usage (%): 101.549
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.59
system time used= 3.50147
maximum resident set size= 1394484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29666
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47042
involuntary context switches= 43322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6704 second user time and 13.124 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-29 21:54:12
IDJOB=4118461
IDBENCH=111496
IDSOLVER=2546
FILE ID=node115/4118461-1467230052
RUNJOBID= node115-1467210312-1882
PBS_JOBID= 19997598
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross24-057.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118461-1467230052/watcher-4118461-1467230052 -o /tmp/evaluation-result-4118461-1467230052/solver-4118461-1467230052 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1882 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118461-1467230052.opb

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

MD5SUM BENCH= 9ff46e8e43d1813d3aaa5dc046f7278a
RANDOM SEED=818708134

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29171988 kB
Buffers:           82704 kB
Cached:          1166424 kB
SwapCached:            0 kB
Active:           650316 kB
Inactive:        1154780 kB
Active(anon):     558660 kB
Inactive(anon):        0 kB
Active(file):      91656 kB
Inactive(file):  1154780 kB
Unevictable:     1181384 kB
Mlocked:         1099624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:       1743432 kB
Mapped:            22308 kB
Shmem:               204 kB
Slab:             575476 kB
SReclaimable:      19784 kB
SUnreclaim:       555692 kB
KernelStack:        1624 kB
PageTables:         7712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1941948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    595968 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= 71660 MiB
End job on node115 at 2016-06-29 22:23:45