Trace number 4081352

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)137 1800.18 897.86

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
MD5SUM8e6ac0bad8d074da12c63269189a8260
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark132
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 110
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints362
Number of constraints which are clauses362
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint48
Number of terms in the objective function 2091
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2091
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2091
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4081352-1465231518.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.30/0.24	c ... done. Wall clock time 0.136s.
0.30/0.24	c declared #vars     2091
0.30/0.24	c #constraints  362
0.30/0.25	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.30/0.25	c constraints type 
0.30/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 362
0.30/0.25	c 362 constraints processed.
0.30/0.25	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.30/0.25	c constraints type 
0.30/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 362
0.30/0.25	c 362 constraints processed.
0.30/0.25	c objective function length is 2091 literals
0.30/0.28	c And the winner is solver0
0.55/0.75	c SATISFIABLE
0.55/0.75	c OPTIMIZING...
0.55/0.75	c Got one! Elapsed wall clock time (in seconds):0.643
0.55/0.75	o 149
1.05/0.92	c And the winner is solver0
1.17/1.26	c Got one! Elapsed wall clock time (in seconds):1.156
1.17/1.26	o 148
2.07/1.69	c cleaning 2844 clauses out of 5706 with flag 11055/5706
3.55/2.20	c cleaning 4422 clauses out of 8863 with flag 24518/11707
4.58/2.66	c And the winner is solver1
4.71/2.77	c Got one! Elapsed wall clock time (in seconds):2.663
4.71/2.77	o 147
6.27/3.51	c And the winner is solver1
6.31/3.78	c Got one! Elapsed wall clock time (in seconds):3.667
6.31/3.78	o 146
7.15/4.25	c cleaning 7689 clauses out of 15377 with flag 6141/22643
9.99/5.63	c cleaning 6844 clauses out of 13687 with flag 25241/28642
13.28/7.29	c cleaning 6916 clauses out of 13843 with flag 45437/35642
17.10/9.10	c cleaning 7463 clauses out of 14928 with flag 70905/43643
21.31/11.22	c cleaning 8233 clauses out of 16466 with flag 98333/52644
25.99/13.54	c cleaning 9114 clauses out of 18231 with flag 129857/62642
31.05/16.10	c cleaning 10057 clauses out of 20117 with flag 165259/73642
36.85/18.94	c cleaning 11030 clauses out of 22060 with flag 202717/85642
43.06/22.09	c cleaning 12015 clauses out of 24031 with flag 241220/98643
49.92/25.49	c cleaning 13003 clauses out of 26018 with flag 283800/112645
57.30/29.10	c cleaning 14003 clauses out of 28014 with flag 328406/127644
65.40/33.18	c cleaning 14993 clauses out of 30009 with flag 374464/143642
69.60/35.21	c And the winner is solver1
69.60/35.30	c Got one! Elapsed wall clock time (in seconds):35.197
69.60/35.30	o 145
72.01/36.58	c cleaning 14418 clauses out of 28837 with flag 16430/157463
75.08/38.02	c cleaning 10202 clauses out of 20419 with flag 35755/163463
75.08/38.02	c And the winner is solver1
75.15/38.31	c Got one! Elapsed wall clock time (in seconds):38.202
75.15/38.31	o 144
77.18/39.37	c cleaning 7625 clauses out of 15249 with flag 15959/168495
79.77/40.66	c cleaning 6812 clauses out of 13624 with flag 34168/174495
82.99/42.22	c cleaning 6905 clauses out of 13813 with flag 55557/181496
86.77/44.10	c cleaning 7454 clauses out of 14907 with flag 79467/189495
90.96/46.16	c cleaning 8225 clauses out of 16453 with flag 105472/198495
95.87/48.53	c cleaning 9113 clauses out of 18228 with flag 134576/208495
101.06/51.15	c cleaning 10054 clauses out of 20115 with flag 166990/219495
107.17/54.16	c cleaning 11031 clauses out of 22064 with flag 202250/231498
113.76/57.40	c cleaning 12010 clauses out of 24030 with flag 239870/244495
120.68/60.89	c cleaning 13010 clauses out of 26020 with flag 279590/258495
128.48/64.74	c cleaning 14006 clauses out of 28011 with flag 324471/273496
136.78/68.85	c cleaning 15000 clauses out of 30004 with flag 372911/289495
145.66/73.27	c cleaning 16001 clauses out of 32004 with flag 423886/306495
154.93/77.89	c cleaning 17003 clauses out of 34005 with flag 479949/324497
160.53/80.68	c And the winner is solver1
160.53/80.87	c Got one! Elapsed wall clock time (in seconds):80.758
160.53/80.87	o 143
163.05/82.11	c cleaning 16739 clauses out of 33494 with flag 16531/340989
165.65/83.47	c cleaning 11376 clauses out of 22755 with flag 34943/346989
168.85/85.03	c cleaning 9180 clauses out of 18379 with flag 57271/353989
172.50/86.88	c cleaning 8595 clauses out of 17199 with flag 82386/361989
176.97/89.02	c cleaning 8805 clauses out of 17612 with flag 109785/370997
181.58/91.33	c cleaning 9395 clauses out of 18801 with flag 143106/380991
186.86/93.95	c cleaning 10201 clauses out of 20404 with flag 178438/391989
192.75/96.83	c cleaning 11102 clauses out of 22203 with flag 216556/403989
199.47/100.11	c cleaning 12051 clauses out of 24101 with flag 256305/416989
206.52/103.62	c cleaning 13025 clauses out of 26050 with flag 298551/430989
213.98/107.37	c cleaning 14012 clauses out of 28027 with flag 345105/445991
222.06/111.31	c cleaning 15002 clauses out of 30013 with flag 394591/461989
231.05/115.80	c cleaning 15995 clauses out of 32011 with flag 447388/478989
240.51/120.57	c cleaning 17003 clauses out of 34017 with flag 502788/496990
251.83/126.46	c cleaning 18007 clauses out of 36013 with flag 561603/515989
262.95/131.92	c cleaning 19002 clauses out of 38007 with flag 623988/535990
275.19/137.98	c cleaning 19995 clauses out of 40004 with flag 683308/556989
285.55/143.05	c And the winner is solver1
285.55/143.29	c Got one! Elapsed wall clock time (in seconds):143.181
285.55/143.29	o 142
288.03/144.58	c cleaning 21826 clauses out of 43651 with flag 15624/580631
290.82/145.99	c cleaning 13909 clauses out of 27825 with flag 34004/586631
294.32/147.62	c cleaning 10451 clauses out of 20915 with flag 54742/593630
297.93/149.46	c cleaning 9233 clauses out of 18465 with flag 79569/601631
302.13/151.55	c cleaning 9115 clauses out of 18233 with flag 106851/610632
306.73/153.85	c cleaning 9556 clauses out of 19116 with flag 137055/620630
311.92/156.43	c cleaning 10272 clauses out of 20560 with flag 170248/631630
317.60/159.27	c cleaning 11138 clauses out of 22290 with flag 205443/643632
324.20/162.50	c cleaning 12067 clauses out of 24150 with flag 246284/656630
331.00/165.93	c cleaning 13032 clauses out of 26083 with flag 291768/670630
338.40/169.68	c cleaning 14026 clauses out of 28052 with flag 342145/685631
347.74/174.78	c cleaning 15012 clauses out of 30026 with flag 394931/701631
356.33/179.04	c cleaning 15999 clauses out of 32013 with flag 453767/718630
365.53/183.62	c cleaning 17006 clauses out of 34017 with flag 519246/736633
375.33/188.60	c cleaning 18005 clauses out of 36010 with flag 587946/755632
386.23/193.91	c cleaning 19002 clauses out of 38004 with flag 649854/775631
398.43/200.01	c cleaning 19998 clauses out of 40001 with flag 712126/796630
411.23/206.34	c cleaning 21001 clauses out of 42006 with flag 775861/818633
423.45/212.49	c cleaning 22000 clauses out of 44002 with flag 845024/841630
436.65/219.08	c cleaning 23000 clauses out of 46002 with flag 920191/865630
451.03/226.18	c cleaning 23998 clauses out of 48003 with flag 998491/890631
465.44/233.34	c cleaning 24999 clauses out of 50004 with flag 1085180/916630
480.40/240.73	c cleaning 26001 clauses out of 52007 with flag 1176060/943632
497.99/249.54	c cleaning 26998 clauses out of 54004 with flag 1259556/971630
514.63/257.80	c cleaning 27999 clauses out of 56006 with flag 1347041/1000630
524.43/262.64	c And the winner is solver1
524.43/262.83	c Got one! Elapsed wall clock time (in seconds):262.72
524.43/262.83	o 141
526.77/264.10	c cleaning 25570 clauses out of 51141 with flag 15070/1023764
529.76/265.50	c cleaning 15778 clauses out of 31571 with flag 33411/1029764
532.96/267.10	c cleaning 11396 clauses out of 22791 with flag 54919/1036762
536.88/269.04	c cleaning 9685 clauses out of 19395 with flag 79530/1044762
540.88/271.07	c cleaning 9343 clauses out of 18710 with flag 106144/1053762
545.48/273.35	c cleaning 9684 clauses out of 19367 with flag 134335/1063762
550.67/275.97	c cleaning 10339 clauses out of 20685 with flag 167014/1074764
556.80/278.90	c cleaning 11171 clauses out of 22346 with flag 201612/1086764
562.99/282.06	c cleaning 12077 clauses out of 24173 with flag 240514/1099762
569.60/285.37	c cleaning 13046 clauses out of 26096 with flag 280670/1113762
577.20/289.11	c cleaning 14026 clauses out of 28054 with flag 325659/1128766
585.25/293.08	c cleaning 15014 clauses out of 30027 with flag 375432/1144765
593.46/297.15	c cleaning 15998 clauses out of 32010 with flag 427120/1161762
602.66/301.72	c cleaning 17003 clauses out of 34012 with flag 483967/1179762
614.12/308.01	c cleaning 18005 clauses out of 36010 with flag 542785/1198763
624.10/313.07	c cleaning 18994 clauses out of 38004 with flag 605123/1218762
635.62/318.76	c cleaning 20004 clauses out of 40010 with flag 670024/1239762
647.45/324.68	c cleaning 21002 clauses out of 42007 with flag 736211/1261763
659.43/330.70	c cleaning 22000 clauses out of 44005 with flag 807824/1284763
672.59/337.17	c cleaning 22996 clauses out of 46004 with flag 883506/1308762
686.19/343.91	c cleaning 24000 clauses out of 48008 with flag 959924/1333762
701.27/351.33	c cleaning 24999 clauses out of 50008 with flag 1041147/1359762
716.46/358.99	c cleaning 26007 clauses out of 52014 with flag 1125297/1386767
733.10/367.17	c cleaning 26996 clauses out of 54002 with flag 1206482/1414762
750.29/375.71	c cleaning 28002 clauses out of 56007 with flag 1287767/1443763
768.27/384.58	c cleaning 28993 clauses out of 58004 with flag 1380098/1473762
786.44/393.41	c cleaning 30007 clauses out of 60014 with flag 1478865/1504765
806.04/403.29	c cleaning 30991 clauses out of 62004 with flag 1583234/1536762
827.25/413.63	c cleaning 32007 clauses out of 64014 with flag 1687650/1569763
847.64/423.83	c cleaning 32990 clauses out of 66006 with flag 1791082/1603762
870.40/435.00	c cleaning 34009 clauses out of 68019 with flag 1895085/1638765
892.00/445.84	c cleaning 35004 clauses out of 70009 with flag 1999592/1674764
916.62/457.95	c cleaning 35997 clauses out of 72004 with flag 2107066/1711763
941.62/470.42	c cleaning 37002 clauses out of 74007 with flag 2218711/1749763
967.14/483.09	c cleaning 37998 clauses out of 76005 with flag 2330252/1788763
996.02/497.21	c cleaning 39002 clauses out of 78008 with flag 2447429/1828764
1023.41/510.90	c cleaning 40001 clauses out of 80004 with flag 2566774/1869762
1025.61/512.06	c cleaning 0 clauses out of 7984 with flag 0/7984
1053.17/525.45	c cleaning 40999 clauses out of 82006 with flag 2688707/1911765
1083.01/540.32	c cleaning 41999 clauses out of 84006 with flag 2812954/1954764
1113.59/555.32	c cleaning 42986 clauses out of 86005 with flag 2945772/1998762
1146.69/571.69	c cleaning 44010 clauses out of 88021 with flag 3078394/2043764
1180.28/588.47	c cleaning 45001 clauses out of 90010 with flag 3218453/2089763
1212.77/604.36	c cleaning 46000 clauses out of 92008 with flag 3361544/2136762
1244.17/620.08	c cleaning 46996 clauses out of 94008 with flag 3508448/2184762
1283.13/638.98	c cleaning 47999 clauses out of 96012 with flag 3650614/2233762
1320.94/657.50	c cleaning 49008 clauses out of 98015 with flag 3803076/2283764
1361.34/677.42	c cleaning 50002 clauses out of 100006 with flag 3954955/2334763
1391.35/692.46	c And the winner is solver1
1391.35/692.93	c Got one! Elapsed wall clock time (in seconds):692.828
1391.35/692.93	o 140
1395.06/694.86	c cleaning 49621 clauses out of 99243 with flag 15952/2384002
1398.46/696.51	c cleaning 27807 clauses out of 55617 with flag 33141/2389997
1401.86/698.25	c cleaning 17401 clauses out of 34811 with flag 53939/2396998
1405.66/700.12	c cleaning 12696 clauses out of 25410 with flag 77720/2404998
1409.85/702.24	c cleaning 10854 clauses out of 21713 with flag 103526/2413997
1419.07/708.29	c cleaning 10425 clauses out of 20859 with flag 131321/2423997
1424.47/710.96	c cleaning 10715 clauses out of 21434 with flag 162506/2434997
1430.69/714.05	c cleaning 11349 clauses out of 22719 with flag 196994/2446997
1437.09/717.21	c cleaning 12178 clauses out of 24370 with flag 237462/2459997
1444.07/720.78	c cleaning 13092 clauses out of 26192 with flag 281221/2473997
1453.23/725.06	c cleaning 14044 clauses out of 28100 with flag 330606/2488997
1461.83/729.37	c cleaning 15012 clauses out of 30056 with flag 378441/2504997
1471.01/733.95	c cleaning 16020 clauses out of 32044 with flag 431024/2521997
1481.21/739.05	c cleaning 17010 clauses out of 34026 with flag 487234/2539999
1492.01/744.43	c cleaning 18003 clauses out of 36014 with flag 548657/2558997
1503.91/750.21	c cleaning 19002 clauses out of 38012 with flag 610316/2578998
1516.09/756.34	c cleaning 19996 clauses out of 40009 with flag 673174/2599997
1528.49/762.51	c cleaning 21005 clauses out of 42014 with flag 740047/2621998
1540.50/768.59	c cleaning 22005 clauses out of 44009 with flag 810726/2644998
1554.35/775.31	c cleaning 22997 clauses out of 46003 with flag 884141/2668997
1567.96/782.11	c cleaning 23989 clauses out of 48006 with flag 959739/2693997
1581.16/788.72	c And the winner is solver1
1581.16/789.07	c Got one! Elapsed wall clock time (in seconds):788.967
1581.16/789.07	o 139
1584.18/790.68	c cleaning 26616 clauses out of 53240 with flag 14807/2723220
1587.20/792.13	c cleaning 16309 clauses out of 32623 with flag 32272/2729219
1590.38/793.71	c cleaning 11655 clauses out of 23314 with flag 53595/2736219
1594.73/795.76	c cleaning 9831 clauses out of 19661 with flag 78099/2744221
1598.93/797.89	c cleaning 9414 clauses out of 18828 with flag 106861/2753219
1603.73/800.26	c cleaning 9698 clauses out of 19414 with flag 137423/2763219
1604.33/800.51	c And the winner is solver1
1604.33/800.59	c Got one! Elapsed wall clock time (in seconds):800.481
1604.33/800.59	o 138
1605.92/801.45	c cleaning 7435 clauses out of 14870 with flag 11824/2768373
1608.71/802.80	c cleaning 6716 clauses out of 13434 with flag 29370/2774372
1611.91/804.40	c cleaning 6857 clauses out of 13718 with flag 50115/2781372
1615.50/806.24	c cleaning 7420 clauses out of 14861 with flag 74877/2789372
1619.50/808.24	c cleaning 8220 clauses out of 16441 with flag 101443/2798372
1623.90/810.45	c And the winner is solver1
1623.98/810.60	c Got one! Elapsed wall clock time (in seconds):810.496
1623.98/810.60	o 137
1626.36/811.85	c cleaning 11383 clauses out of 22765 with flag 14448/2812916
1629.15/813.20	c cleaning 8691 clauses out of 17382 with flag 30792/2818916
1632.14/814.74	c cleaning 7845 clauses out of 15691 with flag 50303/2825916
1636.72/816.88	c cleaning 7923 clauses out of 15846 with flag 74592/2833916
1641.12/819.03	c cleaning 8460 clauses out of 16924 with flag 101614/2842917
1646.12/821.52	c cleaning 9227 clauses out of 18467 with flag 131879/2852920
1651.32/824.17	c cleaning 10118 clauses out of 20236 with flag 166055/2863916
1657.74/827.38	c cleaning 11057 clauses out of 22119 with flag 202814/2875917
1664.34/830.67	c cleaning 12026 clauses out of 24061 with flag 244210/2888916
1671.32/834.16	c cleaning 13014 clauses out of 26036 with flag 287900/2902917
1680.18/838.35	c cleaning 14008 clauses out of 28021 with flag 332766/2917916
1688.57/842.58	c cleaning 15005 clauses out of 30013 with flag 382038/2933916
1697.78/847.18	c cleaning 16005 clauses out of 32009 with flag 434751/2950917
1707.57/852.02	c cleaning 17002 clauses out of 34004 with flag 493695/2968917
1719.90/857.94	c cleaning 18002 clauses out of 36003 with flag 551294/2987918
1731.31/863.64	c cleaning 18995 clauses out of 37999 with flag 608860/3007916
1743.29/869.64	c cleaning 20002 clauses out of 40004 with flag 669515/3028916
1756.50/876.21	c cleaning 20997 clauses out of 42002 with flag 732303/3050916
1769.89/882.98	c cleaning 22004 clauses out of 44007 with flag 800140/3073918
1785.18/890.35	c cleaning 22997 clauses out of 46001 with flag 873541/3097916
1800.18/897.81	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.18/897.81	c starts		: 60115
1800.18/897.81	c conflicts		: 3122068
1800.18/897.81	c decisions		: 18499354
1800.18/897.81	c propagations		: 1627975456
1800.18/897.81	c inspects		: 6282784982
1800.18/897.81	c shortcuts		: 0
1800.18/897.81	c learnt literals	: 0
1800.18/897.81	c learnt binary clauses	: 0
1800.18/897.81	c learnt ternary clauses	: 0
1800.18/897.81	c learnt constraints	: 3122068
1800.18/897.81	c ignored constraints	: 0
1800.18/897.81	c root simplifications	: 0
1800.18/897.81	c removed literals (reason simplification)	: 11637235
1800.18/897.81	c reason swapping (by a shorter reason)	: 0
1800.18/897.81	c Calls to reduceDB	: 171
1800.18/897.81	c Number of update (reduction) of LBD	: 1090480
1800.18/897.81	c Imported unit clauses	: 0
1800.18/897.81	c number of reductions to clauses (during analyze)	: 0
1800.18/897.81	c number of learned constraints concerned by reduction	: 0
1800.18/897.81	c number of learning phase by resolution	: 0
1800.18/897.81	c number of learning phase by cutting planes	: 0
1800.18/897.81	c speed (assignments/second)	: 1.8671371953527313E7
1800.18/897.81	c non guided choices	0
1800.18/897.83	c learnt constraints type 
1800.18/897.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 47157
1800.18/897.83	c >>>>>>>>>> Solver number 1 (11 answers) <<<<<<<<<<<<<<<<<<
1800.18/897.83	c starts		: 49
1800.18/897.83	c conflicts		: 12089
1800.18/897.83	c decisions		: 179523
1800.18/897.83	c propagations		: 940963
1800.18/897.83	c inspects		: 144542357
1800.18/897.83	c shortcuts		: 0
1800.18/897.83	c learnt literals	: 0
1800.18/897.83	c learnt binary clauses	: 0
1800.18/897.83	c learnt ternary clauses	: 0
1800.18/897.83	c learnt constraints	: 12088
1800.18/897.83	c ignored constraints	: 0
1800.18/897.83	c root simplifications	: 0
1800.18/897.83	c removed literals (reason simplification)	: 0
1800.18/897.83	c reason swapping (by a shorter reason)	: 0
1800.18/897.83	c Calls to reduceDB	: 1
1800.18/897.83	c Number of update (reduction) of LBD	: 0
1800.18/897.83	c Imported unit clauses	: 0
1800.18/897.83	c number of reductions to clauses (during analyze)	: 0
1800.18/897.83	c number of learned constraints concerned by reduction	: 0
1800.18/897.83	c number of learning phase by resolution	: 0
1800.18/897.83	c number of learning phase by cutting planes	: 0
1800.18/897.83	c speed (assignments/second)	: 1049.5294777688423
1800.18/897.83	c non guided choices	46
1800.18/897.83	c learnt constraints type 
1800.18/897.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5777
1800.18/897.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6311
1800.18/897.83	s SATISFIABLE
1800.18/897.83	c Found 13 solution(s)
1800.18/897.84	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 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 
1800.18/897.84	c objective function=137
1800.18/897.84	c Total wall clock time (in seconds): 897.734

Verifier Data 

OK	137

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-4081352-1465231518/watcher-4081352-1465231518 -o /tmp/evaluation-result-4081352-1465231518/solver-4081352-1465231518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081352-1465231518.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.34 4.37 4.27 4/197 3107
/proc/meminfo: memFree=29073032/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 105085403 98570240 977 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 24065 977 743 9 0 16771 0
[pid=3107/tid=3108] ppid=3104 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) R 3104 3107 31415 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 105085404 98570240 977 33554432000 1073741824 1073778376 140736387666928 139870866128424 266435642752 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 4.34 4.37 4.27 4/197 3107
/proc/meminfo: memFree=29073032/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 4504 0 1 0 9 1 0 0 20 0 18 0 105085403 9787879424 6125 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2389619 6125 2156 9 0 2380296 0
[pid=3107/tid=3108] ppid=3104 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) R 3104 3107 31415 0 -1 4202560 2387 0 1 0 6 1 0 0 20 0 18 0 105085404 9787879424 6125 33554432000 1073741824 1073778376 140736387666928 139870866131872 266439025077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200265 s]
/proc/loadavg: 4.34 4.37 4.27 4/197 3107
/proc/meminfo: memFree=29073032/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 4967 0 1 0 28 2 0 0 20 0 18 0 105085403 9787879424 6943 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2389619 6943 2219 9 0 2380296 0
[pid=3107/tid=3108] ppid=3104 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) R 3104 3107 31415 0 -1 4202560 2399 0 1 0 16 1 0 0 20 0 18 0 105085404 9787879424 6943 33554432000 1073741824 1073778376 140736387666928 139870866131872 139870727499136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.30033 s]
/proc/loadavg: 4.34 4.37 4.27 4/197 3107
/proc/meminfo: memFree=29073032/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 5835 0 1 0 51 4 0 0 20 0 19 0 105085403 10060525568 9485 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2456183 9485 2244 9 0 2446860 0
[pid=3107/tid=3108] ppid=3104 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) S 3104 3107 31415 0 -1 4202560 2418 0 1 0 21 2 0 0 20 0 19 0 105085404 10060525568 9485 33554432000 1073741824 1073778376 140736387666928 139870866133880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+0.700254 s]
/proc/loadavg: 4.34 4.37 4.27 4/197 3107
/proc/meminfo: memFree=29073032/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9824732 CPUtime=0.55 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 5835 0 1 0 51 4 0 0 20 0 19 0 105085403 10060525568 9485 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2456183 9485 2244 9 0 2446860 0
[pid=3107/tid=3108] ppid=3104 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) S 3104 3107 31415 0 -1 4202560 2418 0 1 0 21 2 0 0 20 0 19 0 105085404 10060525568 9485 33554432000 1073741824 1073778376 140736387666928 139870866133880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 4.15 4.33 4.26 3/216 3132
/proc/meminfo: memFree=29032340/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 8851 0 1 0 180 7 0 0 20 0 22 0 105085403 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2456183 13785 2258 9 0 2446860 0
[pid=3107/tid=3108] ppid=3104 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) S 3104 3107 31415 0 -1 4202560 2423 0 1 0 23 2 0 0 20 0 22 0 105085404 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870866133880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3110] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3110/stat : 3110 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870855195304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3111] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3111/stat : 3111 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870854142760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3112] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3112/stat : 3112 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870853090216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3113] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3113/stat : 3113 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870852037672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3114] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3114/stat : 3114 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870850984104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3115] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3115/stat : 3115 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870849931560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3116] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3116/stat : 3116 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870848879016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3117] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3117/stat : 3117 (java) S 3104 3107 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870847826472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3118] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3118/stat : 3118 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870689995368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3119] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3119/stat : 3119 (java) S 3104 3107 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870688941688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3120] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3120/stat : 3120 (java) S 3104 3107 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870687889032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3121] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3121/stat : 3121 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870686837776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3122] ppid=3104 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/3107/task/3122/stat : 3122 (java) S 3104 3107 31415 0 -1 4202560 2451 0 0 0 34 0 0 0 20 0 22 0 105085408 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870685784120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3123] ppid=3104 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/3107/task/3123/stat : 3123 (java) S 3104 3107 31415 0 -1 4202560 2628 0 0 0 35 0 0 0 20 0 22 0 105085408 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870684731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3124] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3124/stat : 3124 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870683679224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3125] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3125/stat : 3125 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870682626888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3129] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3129/stat : 3129 (java) S 3104 3107 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105085430 10060525568 13785 33554432000 1073741824 1073778376 140736387666928 139870678415016 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9824732

[startup+3.1007 s]
/proc/loadavg: 4.15 4.33 4.26 5/219 3135
/proc/meminfo: memFree=28991000/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9824732 CPUtime=5.47 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 17617 0 1 0 536 11 0 0 20 0 22 0 105085403 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2456183 26425 2267 9 0 2446860 0
[pid=3107/tid=3108] ppid=3104 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) S 3104 3107 31415 0 -1 4202560 2423 0 1 0 23 2 0 0 20 0 22 0 105085404 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870866133880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3110] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3110/stat : 3110 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870855195304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3111] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3111/stat : 3111 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870854142760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3112] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3112/stat : 3112 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870853090216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3113] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3113/stat : 3113 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870852037672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3114] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3114/stat : 3114 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870850984104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3115] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3115/stat : 3115 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870849931560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3116] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3116/stat : 3116 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870848879016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3117] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3117/stat : 3117 (java) S 3104 3107 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870847826472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3118] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3118/stat : 3118 (java) S 3104 3107 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870689995368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3119] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3119/stat : 3119 (java) S 3104 3107 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870688941688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3120] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3120/stat : 3120 (java) S 3104 3107 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870687889032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3121] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3121/stat : 3121 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870686837776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3122] ppid=3104 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/3107/task/3122/stat : 3122 (java) S 3104 3107 31415 0 -1 4202560 5093 0 0 0 58 0 0 0 20 0 22 0 105085408 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870685784120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3123] ppid=3104 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/3107/task/3123/stat : 3123 (java) S 3104 3107 31415 0 -1 4202560 8711 0 0 0 73 2 0 0 20 0 22 0 105085408 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870684731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3124] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3124/stat : 3124 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870683679224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3125] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3125/stat : 3125 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870682626888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3135] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3135/stat : 3135 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105085531 10060525568 26425 33554432000 1073741824 1073778376 140736387666928 139870681572776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 9824732

[startup+6.30081 s]
/proc/loadavg: 4.15 4.33 4.26 5/219 3141
/proc/meminfo: memFree=28598516/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9824732 CPUtime=11.48 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 17658 0 1 0 1134 14 0 0 20 0 22 0 105085403 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2456183 38948 2270 9 0 2446860 0
[pid=3107/tid=3108] ppid=3104 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) S 3104 3107 31415 0 -1 4202560 2424 0 1 0 24 2 0 0 20 0 22 0 105085404 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870866133880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3110] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3110/stat : 3110 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870855195304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3111] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3111/stat : 3111 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870854142760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3112] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3112/stat : 3112 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870853090216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3113] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3113/stat : 3113 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870852037672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3114] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3114/stat : 3114 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870850984104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3115] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3115/stat : 3115 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870849931560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3116] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3116/stat : 3116 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870848879016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3117] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3117/stat : 3117 (java) S 3104 3107 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105085405 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870847826472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3118] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3118/stat : 3118 (java) S 3104 3107 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870689995368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3119] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3119/stat : 3119 (java) S 3104 3107 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870688941688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3120] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3120/stat : 3120 (java) S 3104 3107 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870687889032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3121] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3121/stat : 3121 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870686837776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3122] ppid=3104 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/3107/task/3122/stat : 3122 (java) S 3104 3107 31415 0 -1 4202560 5093 0 0 0 62 0 0 0 20 0 22 0 105085408 10060525568 38948 33554432000 1073741824 1073778376 140736387666928 139870685784120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3123] ppid=3104 vsize=9824732 CPUtime=0.87 cores=1,3,5,7

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

[pid=3107/tid=3117] ppid=3104 vsize=9824732 CPUtime=4.06 cores=1,3,5,7
/proc/3107/task/3117/stat : 3117 (java) S 3104 3107 31415 0 -1 4202560 1351 0 0 0 367 39 0 0 20 0 22 0 105085405 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870847826472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3118] ppid=3104 vsize=9824732 CPUtime=6.47 cores=1,3,5,7
/proc/3107/task/3118/stat : 3118 (java) S 3104 3107 31415 0 -1 4202560 2792 0 0 0 636 11 0 0 20 0 22 0 105085406 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870689995368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3119] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3119/stat : 3119 (java) S 3104 3107 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870688941688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3120] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3120/stat : 3120 (java) S 3104 3107 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870687889032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3121] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3121/stat : 3121 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870686837776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3122] ppid=3104 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/3107/task/3122/stat : 3122 (java) S 3104 3107 31415 0 -1 4202560 12904 0 0 0 129 1 0 0 20 0 22 0 105085408 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870685784120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3123] ppid=3104 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/3107/task/3123/stat : 3123 (java) S 3104 3107 31415 0 -1 4202560 8742 0 0 0 132 2 0 0 20 0 22 0 105085408 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870684731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3124] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3124/stat : 3124 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870683679224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3125] ppid=3104 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/3107/task/3125/stat : 3125 (java) S 3104 3107 31415 0 -1 4202560 48 0 0 0 11 13 0 0 20 0 22 0 105085408 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870682626888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3135] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3135/stat : 3135 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105085531 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870681572776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3203] ppid=3104 vsize=9824732 CPUtime=11.43 cores=1,3,5,7
/proc/3107/task/3203/stat : 3203 (java) R 3104 3107 31415 0 -1 4202560 3 0 0 0 1143 0 0 0 20 0 22 0 105166466 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870679457952 139870727662152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3204] ppid=3104 vsize=9824732 CPUtime=11.43 cores=1,3,5,7
/proc/3107/task/3204/stat : 3204 (java) R 3104 3107 31415 0 -1 4202560 3 0 0 0 1143 0 0 0 20 0 22 0 105166466 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870680517424 139870727683345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3205] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3205/stat : 3205 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105166466 10060525568 883827 33554432000 1073741824 1073778376 140736387666928 139870678414888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1644.48
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.62 4.47 4.34 6/219 3275
/proc/meminfo: memFree=26203308/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9824732 CPUtime=1765.47 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 39993 0 1 0 176130 417 0 0 20 0 22 0 105085403 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2456183 921271 2293 9 0 2446860 0
[pid=3107/tid=3108] ppid=3104 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) S 3104 3107 31415 0 -1 4202560 2435 0 1 0 33 3 0 0 20 0 22 0 105085404 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870866133880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3110] ppid=3104 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/3107/task/3110/stat : 3110 (java) S 3104 3107 31415 0 -1 4202560 1923 0 0 0 386 46 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870855195304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3111] ppid=3104 vsize=9824732 CPUtime=4.09 cores=1,3,5,7
/proc/3107/task/3111/stat : 3111 (java) S 3104 3107 31415 0 -1 4202560 1331 0 0 0 364 45 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870854142760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3112] ppid=3104 vsize=9824732 CPUtime=3.72 cores=1,3,5,7
/proc/3107/task/3112/stat : 3112 (java) S 3104 3107 31415 0 -1 4202560 1694 0 0 0 336 36 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870853090216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3113] ppid=3104 vsize=9824732 CPUtime=3.61 cores=1,3,5,7
/proc/3107/task/3113/stat : 3113 (java) S 3104 3107 31415 0 -1 4202560 1097 0 0 0 322 39 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870852037672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3114] ppid=3104 vsize=9824732 CPUtime=4.03 cores=1,3,5,7
/proc/3107/task/3114/stat : 3114 (java) S 3104 3107 31415 0 -1 4202560 1181 0 0 0 359 44 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870850984104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3115] ppid=3104 vsize=9824732 CPUtime=4.16 cores=1,3,5,7
/proc/3107/task/3115/stat : 3115 (java) S 3104 3107 31415 0 -1 4202560 1464 0 0 0 370 46 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870849931560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3116] ppid=3104 vsize=9824732 CPUtime=4.05 cores=1,3,5,7
/proc/3107/task/3116/stat : 3116 (java) S 3104 3107 31415 0 -1 4202560 1304 0 0 0 363 42 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870848879016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3117] ppid=3104 vsize=9824732 CPUtime=4.25 cores=1,3,5,7
/proc/3107/task/3117/stat : 3117 (java) S 3104 3107 31415 0 -1 4202560 1373 0 0 0 384 41 0 0 20 0 22 0 105085405 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870847826472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3118] ppid=3104 vsize=9824732 CPUtime=6.48 cores=1,3,5,7
/proc/3107/task/3118/stat : 3118 (java) S 3104 3107 31415 0 -1 4202560 2831 0 0 0 637 11 0 0 20 0 22 0 105085406 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870689995368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3119] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3119/stat : 3119 (java) S 3104 3107 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870688941688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3120] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3120/stat : 3120 (java) S 3104 3107 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870687889032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3121] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3121/stat : 3121 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870686837776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3122] ppid=3104 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/3107/task/3122/stat : 3122 (java) S 3104 3107 31415 0 -1 4202560 12904 0 0 0 129 1 0 0 20 0 22 0 105085408 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870685784120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3123] ppid=3104 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/3107/task/3123/stat : 3123 (java) S 3104 3107 31415 0 -1 4202560 8742 0 0 0 132 2 0 0 20 0 22 0 105085408 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870684731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3124] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3124/stat : 3124 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870683679224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3125] ppid=3104 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/3107/task/3125/stat : 3125 (java) S 3104 3107 31415 0 -1 4202560 52 0 0 0 11 15 0 0 20 0 22 0 105085408 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870682626888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3135] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3135/stat : 3135 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105085531 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870681572776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3203] ppid=3104 vsize=9824732 CPUtime=70.77 cores=1,3,5,7
/proc/3107/task/3203/stat : 3203 (java) R 3104 3107 31415 0 -1 4202560 3 0 0 0 7076 1 0 0 20 0 22 0 105166466 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870679457952 139870727687399 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3204] ppid=3104 vsize=9824732 CPUtime=70.79 cores=1,3,5,7
/proc/3107/task/3204/stat : 3204 (java) R 3104 3107 31415 0 -1 4202560 6 0 0 0 7078 1 0 0 20 0 22 0 105166466 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870680518384 139870727578721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3205] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3205/stat : 3205 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105166466 10060525568 921271 33554432000 1073741824 1073778376 140736387666928 139870678414888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1765.47
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.801 s]
/proc/loadavg: 4.48 4.45 4.34 5/220 3278
/proc/meminfo: memFree=25914692/32872528 swapFree=14448/1543360
[pid=3107] ppid=3104 vsize=9824732 CPUtime=1796.94 cores=1,3,5,7
/proc/3107/stat : 3107 (java) S 3104 3107 31415 0 -1 4202496 40025 0 1 0 179277 417 0 0 20 0 22 0 105085403 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 140736387658064 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3107/statm: 2456183 921300 2293 9 0 2446860 0
[pid=3107/tid=3108] ppid=3104 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/3107/task/3108/stat : 3108 (java) S 3104 3107 31415 0 -1 4202560 2435 0 1 0 33 3 0 0 20 0 22 0 105085404 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870866133880 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3110] ppid=3104 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/3107/task/3110/stat : 3110 (java) S 3104 3107 31415 0 -1 4202560 1923 0 0 0 398 46 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870855195304 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3111] ppid=3104 vsize=9824732 CPUtime=4.23 cores=1,3,5,7
/proc/3107/task/3111/stat : 3111 (java) S 3104 3107 31415 0 -1 4202560 1336 0 0 0 377 46 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870854142760 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3112] ppid=3104 vsize=9824732 CPUtime=3.85 cores=1,3,5,7
/proc/3107/task/3112/stat : 3112 (java) S 3104 3107 31415 0 -1 4202560 1694 0 0 0 349 36 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870853090216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3113] ppid=3104 vsize=9824732 CPUtime=3.73 cores=1,3,5,7
/proc/3107/task/3113/stat : 3113 (java) S 3104 3107 31415 0 -1 4202560 1099 0 0 0 334 39 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870852037672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3114] ppid=3104 vsize=9824732 CPUtime=4.15 cores=1,3,5,7
/proc/3107/task/3114/stat : 3114 (java) S 3104 3107 31415 0 -1 4202560 1181 0 0 0 371 44 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870850984104 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3115] ppid=3104 vsize=9824732 CPUtime=4.29 cores=1,3,5,7
/proc/3107/task/3115/stat : 3115 (java) S 3104 3107 31415 0 -1 4202560 1464 0 0 0 383 46 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870849931560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3116] ppid=3104 vsize=9824732 CPUtime=4.18 cores=1,3,5,7
/proc/3107/task/3116/stat : 3116 (java) S 3104 3107 31415 0 -1 4202560 1312 0 0 0 376 42 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870848879016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3117] ppid=3104 vsize=9824732 CPUtime=4.37 cores=1,3,5,7
/proc/3107/task/3117/stat : 3117 (java) S 3104 3107 31415 0 -1 4202560 1378 0 0 0 396 41 0 0 20 0 22 0 105085405 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870847826472 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3118] ppid=3104 vsize=9824732 CPUtime=6.48 cores=1,3,5,7
/proc/3107/task/3118/stat : 3118 (java) S 3104 3107 31415 0 -1 4202560 2842 0 0 0 637 11 0 0 20 0 22 0 105085406 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870689995368 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3119] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3119/stat : 3119 (java) S 3104 3107 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870688941688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3120] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3120/stat : 3120 (java) S 3104 3107 31415 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 105085406 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870687889032 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3121] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3121/stat : 3121 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870686837776 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3107/tid=3122] ppid=3104 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/3107/task/3122/stat : 3122 (java) S 3104 3107 31415 0 -1 4202560 12904 0 0 0 129 1 0 0 20 0 22 0 105085408 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870685784120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3123] ppid=3104 vsize=9824732 CPUtime=1.34 cores=1,3,5,7
/proc/3107/task/3123/stat : 3123 (java) S 3104 3107 31415 0 -1 4202560 8742 0 0 0 132 2 0 0 20 0 22 0 105085408 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870684731576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3124] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3124/stat : 3124 (java) S 3104 3107 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105085408 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870683679224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3107/tid=3125] ppid=3104 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/3107/task/3125/stat : 3125 (java) S 3104 3107 31415 0 -1 4202560 52 0 0 0 12 15 0 0 20 0 22 0 105085408 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870682626888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3135] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3135/stat : 3135 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105085531 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870681572776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3203] ppid=3104 vsize=9824732 CPUtime=85.97 cores=1,3,5,7
/proc/3107/task/3203/stat : 3203 (java) R 3104 3107 31415 0 -1 4202560 3 0 0 0 8596 1 0 0 20 0 22 0 105166466 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870679457952 139870727681393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3107/tid=3204] ppid=3104 vsize=9824732 CPUtime=85.99 cores=1,3,5,7
/proc/3107/task/3204/stat : 3204 (java) R 3104 3107 31415 0 -1 4202560 7 0 0 0 8598 1 0 0 20 0 22 0 105166466 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870680517200 139870727924129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3107/tid=3205] ppid=3104 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3107/task/3205/stat : 3205 (java) S 3104 3107 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105166466 10060525568 921300 33554432000 1073741824 1073778376 140736387666928 139870678414888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3107 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=407512
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=366336
# CPU time returned by wait4() is 1796.77
# while last known CPU time is 1796.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.23968
#  lost CPU user time (s): 3.48976
#  lost CPU system time (s): -0.25

Real time (s): 897.86
CPU time (s): 1800.18
CPU user time (s): 1796.26
CPU system time (s): 3.92
CPU usage (%): 200.497
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.41
system time used= 4.36634
maximum resident set size= 3685340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40071
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23661
involuntary context switches= 26752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79312 second user time and 7.2159 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-06 18:45:18
IDJOB=4081352
IDBENCH=2886
IDSOLVER=2543
FILE ID=node116/4081352-1465231518
RUNJOBID= node116-1465218446-31432
PBS_JOBID= 19843214
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-test1.r.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081352-1465231518/watcher-4081352-1465231518 -o /tmp/evaluation-result-4081352-1465231518/solver-4081352-1465231518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081352-1465231518.opb

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

MD5SUM BENCH= 8e6ac0bad8d074da12c63269189a8260
RANDOM SEED=1391686018

node116.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.134
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.26
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.134
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.134
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.134
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.134
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.134
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.134
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:        29073676 kB
Buffers:           24740 kB
Cached:           104592 kB
SwapCached:         1432 kB
Active:          1457612 kB
Inactive:          70316 kB
Active(anon):    1399576 kB
Inactive(anon):     1380 kB
Active(file):      58036 kB
Inactive(file):    68936 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67098884 kB
Dirty:               992 kB
Writeback:             0 kB
AnonPages:       2968172 kB
Mapped:            15336 kB
Shmem:                 0 kB
Slab:             566392 kB
SReclaimable:      10180 kB
SUnreclaim:       556212 kB
KernelStack:        1592 kB
PageTables:        10084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3899368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2906112 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= 71732 MiB
End job on node116 at 2016-06-06 19:00:16