Trace number 4085264

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)71 1800.03 1797.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
MD5SUM28425c3b4907da9ba10ee31a4de63042
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark24.6483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 53
Optimality of the best value was proved NO
Number of variables225
Total number of constraints225
Number of constraints which are clauses225
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 constraint5
Number of terms in the objective function 225
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 225
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
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.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	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.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4085264-1465232637.opb
0.11/0.10	c reading problem ... 
0.11/0.10	c  objective function found
0.11/0.15	c ... done. Wall clock time 0.051s.
0.11/0.15	c declared #vars     225
0.11/0.15	c #constraints  225
0.11/0.15	c constraints type 
0.11/0.15	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 225
0.11/0.15	c 225 constraints processed.
0.11/0.15	c objective function length is 225 literals
0.11/0.16	c SATISFIABLE
0.11/0.16	c OPTIMIZING...
0.11/0.16	c Got one! Elapsed wall clock time (in seconds):0.057
0.11/0.16	o 75
0.11/0.17	c Got one! Elapsed wall clock time (in seconds):0.067
0.11/0.17	o 74
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.133
0.28/0.23	o 73
0.62/0.45	c cleaning 2680 clauses out of 5375 with flag 11373/5375
0.91/0.65	c cleaning 4341 clauses out of 8695 with flag 25034/11375
1.03/0.73	c Got one! Elapsed wall clock time (in seconds):0.627
1.03/0.73	o 72
1.18/0.85	c cleaning 4949 clauses out of 9912 with flag 7434/16933
1.38/1.06	c cleaning 5474 clauses out of 10964 with flag 21063/22934
1.69/1.31	c cleaning 6239 clauses out of 12490 with flag 36873/29934
2.00/1.62	c cleaning 7117 clauses out of 14250 with flag 55040/37933
2.40/2.01	c cleaning 8058 clauses out of 16134 with flag 75261/46934
2.80/2.49	c cleaning 9031 clauses out of 18076 with flag 97771/56934
3.29/2.98	c cleaning 10013 clauses out of 20045 with flag 122585/67934
3.89/3.60	c cleaning 11008 clauses out of 22031 with flag 149808/79933
4.60/4.26	c cleaning 12001 clauses out of 24024 with flag 179489/92934
5.30/4.99	c cleaning 13002 clauses out of 26023 with flag 211043/106934
6.20/5.86	c cleaning 14002 clauses out of 28020 with flag 244624/121933
7.10/6.78	c cleaning 15003 clauses out of 30019 with flag 281155/137934
8.10/7.76	c cleaning 16000 clauses out of 32016 with flag 319223/154934
9.30/8.92	c cleaning 16998 clauses out of 34015 with flag 359493/172933
10.60/10.23	c cleaning 17996 clauses out of 36017 with flag 402470/191933
12.00/11.61	c cleaning 18999 clauses out of 38022 with flag 448091/211934
13.40/13.00	c cleaning 20003 clauses out of 40023 with flag 495913/232934
15.00/14.65	c cleaning 21002 clauses out of 42020 with flag 545692/254934
16.80/16.40	c cleaning 22001 clauses out of 44018 with flag 598356/277934
18.70/18.31	c cleaning 23002 clauses out of 46016 with flag 653568/301933
20.70/20.31	c cleaning 23999 clauses out of 48015 with flag 710128/326934
22.90/22.57	c cleaning 24994 clauses out of 50015 with flag 768816/352933
25.32/24.92	c cleaning 26000 clauses out of 52023 with flag 830275/379935
27.82/27.41	c cleaning 27003 clauses out of 54021 with flag 894897/407933
30.32/29.99	c cleaning 27998 clauses out of 56018 with flag 961265/436933
33.12/32.78	c cleaning 29000 clauses out of 58021 with flag 1028999/466934
36.02/35.66	c cleaning 30002 clauses out of 60022 with flag 1099559/497935
39.12/38.75	c cleaning 30999 clauses out of 62018 with flag 1173033/529933
42.12/41.79	c cleaning 31996 clauses out of 64019 with flag 1247848/562933
45.72/45.39	c cleaning 32999 clauses out of 66024 with flag 1324683/596934
49.22/48.81	c cleaning 34001 clauses out of 68025 with flag 1404734/631934
52.83/52.43	c cleaning 35000 clauses out of 70023 with flag 1486797/667933
56.73/56.33	c cleaning 35996 clauses out of 72024 with flag 1570631/704934
60.76/60.32	c cleaning 37006 clauses out of 74027 with flag 1657070/742933
65.06/64.64	c cleaning 37999 clauses out of 76022 with flag 1745060/781934
69.66/69.25	c cleaning 38999 clauses out of 78022 with flag 1835839/821933
74.37/73.90	c cleaning 40003 clauses out of 80023 with flag 1928813/862933
79.27/78.87	c cleaning 41002 clauses out of 82020 with flag 2023349/904933
84.17/83.71	c cleaning 41999 clauses out of 84018 with flag 2121909/947933
89.57/89.14	c cleaning 43002 clauses out of 86021 with flag 2221730/991935
95.27/94.88	c cleaning 44000 clauses out of 88018 with flag 2323325/1036934
101.17/100.72	c cleaning 45004 clauses out of 90019 with flag 2428148/1082935
107.28/106.73	c cleaning 45997 clauses out of 92013 with flag 2534593/1129933
113.47/112.96	c cleaning 47000 clauses out of 94018 with flag 2643628/1177935
120.17/119.64	c cleaning 47999 clauses out of 96016 with flag 2754462/1226933
127.48/126.92	c cleaning 48999 clauses out of 98017 with flag 2868562/1276933
134.47/133.98	c cleaning 50003 clauses out of 100020 with flag 2984011/1327935
142.77/142.24	c cleaning 51008 clauses out of 102016 with flag 3101681/1379934
150.67/150.12	c cleaning 52000 clauses out of 104007 with flag 3224447/1432933
158.96/158.30	c cleaning 53000 clauses out of 106007 with flag 3347537/1486933
166.96/166.38	c cleaning 54003 clauses out of 108008 with flag 3475760/1541934
175.26/174.64	c cleaning 55001 clauses out of 110004 with flag 3601957/1597933
185.56/184.91	c cleaning 55997 clauses out of 112003 with flag 3732410/1654933
194.86/194.27	c cleaning 57000 clauses out of 114006 with flag 3871014/1712933
205.27/204.65	c cleaning 58003 clauses out of 116007 with flag 4008017/1771934
216.46/215.82	c cleaning 59000 clauses out of 118003 with flag 4152817/1831933
227.56/226.83	c cleaning 60001 clauses out of 120004 with flag 4296705/1892934
239.46/238.80	c cleaning 61002 clauses out of 122003 with flag 4441880/1954934
250.28/249.58	c cleaning 61997 clauses out of 124000 with flag 4584229/2017933
262.98/262.20	c cleaning 63002 clauses out of 126004 with flag 4728877/2081934
276.67/275.91	c cleaning 63996 clauses out of 128002 with flag 4875563/2146934
289.08/288.30	c cleaning 65002 clauses out of 130005 with flag 5024892/2212933
302.37/301.50	c cleaning 65995 clauses out of 132003 with flag 5176661/2279933
315.86/315.03	c cleaning 66998 clauses out of 134008 with flag 5331185/2347933
329.46/328.62	c cleaning 68001 clauses out of 136010 with flag 5487151/2416933
343.75/342.94	c cleaning 69002 clauses out of 138009 with flag 5645724/2486933
356.45/355.68	c cleaning 69997 clauses out of 140009 with flag 5806532/2557935
369.13/368.29	c cleaning 71003 clauses out of 142011 with flag 5968945/2629934
381.63/380.77	c cleaning 71997 clauses out of 144007 with flag 6133506/2702933
394.83/393.95	c cleaning 72997 clauses out of 146010 with flag 6300204/2776933
409.72/408.85	c cleaning 73994 clauses out of 148013 with flag 6469874/2851933
423.92/423.02	c cleaning 75002 clauses out of 150019 with flag 6642300/2927933
438.24/437.28	c cleaning 76003 clauses out of 152018 with flag 6815720/3004934
453.15/452.17	c cleaning 77003 clauses out of 154014 with flag 6991498/3082933
469.23/468.20	c cleaning 78003 clauses out of 156012 with flag 7170340/3161934
486.63/485.66	c cleaning 79000 clauses out of 158010 with flag 7351583/3241935
504.97/503.82	c cleaning 80002 clauses out of 160009 with flag 7534501/3322934
524.37/523.23	c cleaning 80996 clauses out of 162006 with flag 7719695/3404933
543.16/542.02	c cleaning 82004 clauses out of 164010 with flag 7907675/3487933
562.96/561.87	c cleaning 83001 clauses out of 166006 with flag 8097141/3571933
583.32/582.04	c cleaning 83999 clauses out of 168006 with flag 8288662/3656934
605.60/604.32	c cleaning 85002 clauses out of 170006 with flag 8483265/3742933
625.60/624.30	c cleaning 85999 clauses out of 172004 with flag 8680240/3829933
646.60/645.30	c cleaning 87000 clauses out of 174007 with flag 8878730/3917935
668.85/667.46	c cleaning 87999 clauses out of 176006 with flag 9079902/4006934
691.25/689.83	c cleaning 89001 clauses out of 178006 with flag 9282576/4096933
712.24/710.86	c cleaning 89999 clauses out of 180005 with flag 9488310/4187933
733.28/731.77	c cleaning 91002 clauses out of 182006 with flag 9695823/4279933
756.48/754.92	c cleaning 91994 clauses out of 184005 with flag 9906469/4372934
777.39/775.82	c cleaning 92997 clauses out of 186010 with flag 10119121/4466933
798.83/797.15	c cleaning 94004 clauses out of 188013 with flag 10334506/4561933
822.83/821.14	c cleaning 95001 clauses out of 190010 with flag 10551484/4657934
848.75/847.04	c cleaning 95999 clauses out of 192008 with flag 10771158/4754933
874.05/872.20	c cleaning 97002 clauses out of 194009 with flag 10992815/4852933
903.56/901.73	c cleaning 98000 clauses out of 196008 with flag 11220592/4951934
933.07/931.27	c cleaning 99004 clauses out of 198007 with flag 11449240/5051933
963.32/961.39	c cleaning 99995 clauses out of 200003 with flag 11678618/5152933
993.82/991.85	c cleaning 101003 clauses out of 202008 with flag 11909940/5254933
1025.93/1023.95	c cleaning 101994 clauses out of 204005 with flag 12143304/5357933
1052.83/1050.66	c cleaning 102999 clauses out of 206011 with flag 12378705/5461933
1082.74/1080.57	c cleaning 104002 clauses out of 208013 with flag 12616566/5566934
1110.84/1108.65	c cleaning 105003 clauses out of 210012 with flag 12856753/5672935
1138.71/1136.44	c cleaning 105998 clauses out of 212008 with flag 13099182/5779934
1167.91/1165.65	c cleaning 106998 clauses out of 214010 with flag 13343982/5887934
1195.02/1192.60	c cleaning 108001 clauses out of 216011 with flag 13591049/5996933
1225.43/1223.08	c cleaning 109002 clauses out of 218010 with flag 13839222/6106933
1254.63/1252.21	c cleaning 110001 clauses out of 220009 with flag 14089017/6217934
1287.99/1285.57	c cleaning 111001 clauses out of 222007 with flag 14342672/6329933
1330.70/1328.28	c cleaning 112000 clauses out of 224008 with flag 14598817/6442935
1372.19/1369.66	c cleaning 113001 clauses out of 226007 with flag 14855400/6556934
1410.78/1408.22	c cleaning 113996 clauses out of 228005 with flag 15115701/6671933
1444.29/1441.60	c Got one! Elapsed wall clock time (in seconds):1441.504
1444.29/1441.60	o 71
1447.79/1445.14	c cleaning 116124 clauses out of 232263 with flag 11767/6790187
1451.09/1448.49	c cleaning 61061 clauses out of 122138 with flag 25337/6796186
1452.49/1449.84	c cleaning 34031 clauses out of 68078 with flag 41774/6803187
1453.09/1450.48	c cleaning 21017 clauses out of 42047 with flag 59849/6811187
1453.59/1450.98	c cleaning 15005 clauses out of 30029 with flag 80513/6820186
1453.99/1451.38	c cleaning 12508 clauses out of 25025 with flag 103513/6830187
1454.49/1451.80	c cleaning 11748 clauses out of 23516 with flag 128328/6841186
1454.89/1452.24	c cleaning 11877 clauses out of 23768 with flag 156531/6853186
1455.39/1452.74	c cleaning 12435 clauses out of 24892 with flag 186456/6866187
1455.99/1453.32	c cleaning 13219 clauses out of 26456 with flag 218491/6880186
1456.69/1454.05	c cleaning 14108 clauses out of 28237 with flag 253193/6895186
1457.49/1454.82	c cleaning 15055 clauses out of 30131 with flag 290385/6911188
1458.49/1455.81	c cleaning 16026 clauses out of 32074 with flag 329047/6928186
1459.49/1456.82	c cleaning 17011 clauses out of 34048 with flag 369541/6946186
1460.59/1457.95	c cleaning 18010 clauses out of 36038 with flag 412310/6965187
1461.89/1459.21	c cleaning 19002 clauses out of 38027 with flag 457499/6985186
1463.30/1460.68	c cleaning 20002 clauses out of 40025 with flag 504789/7006186
1464.90/1462.22	c cleaning 21002 clauses out of 42023 with flag 554929/7028186
1466.63/1463.91	c cleaning 22003 clauses out of 44021 with flag 607067/7051186
1468.33/1465.67	c cleaning 22998 clauses out of 46018 with flag 661243/7075186
1470.33/1467.63	c cleaning 24005 clauses out of 48020 with flag 719945/7100186
1472.44/1469.76	c cleaning 25002 clauses out of 50016 with flag 781343/7126187
1474.83/1472.10	c cleaning 25994 clauses out of 52013 with flag 842655/7153186
1477.23/1474.52	c cleaning 27001 clauses out of 54019 with flag 905514/7181186
1479.83/1477.13	c cleaning 27997 clauses out of 56018 with flag 972598/7210186
1482.93/1480.26	c cleaning 29001 clauses out of 58021 with flag 1040176/7240186
1486.03/1483.31	c cleaning 30004 clauses out of 60020 with flag 1111361/7271186
1489.15/1486.42	c cleaning 30999 clauses out of 62016 with flag 1185092/7303186
1492.95/1490.22	c cleaning 31995 clauses out of 64017 with flag 1259606/7336186
1496.66/1493.99	c cleaning 33003 clauses out of 66022 with flag 1337270/7370186
1500.56/1497.82	c cleaning 33998 clauses out of 68019 with flag 1417568/7405186
1504.55/1501.82	c cleaning 35003 clauses out of 70022 with flag 1500580/7441187
1508.66/1505.99	c cleaning 36002 clauses out of 72018 with flag 1585382/7478186
1513.26/1510.53	c cleaning 37005 clauses out of 74018 with flag 1673883/7516188
1517.69/1514.94	c cleaning 37996 clauses out of 76011 with flag 1762802/7555186
1521.79/1519.01	c cleaning 38998 clauses out of 78015 with flag 1854795/7595186
1526.70/1523.93	c cleaning 40006 clauses out of 80017 with flag 1950058/7636186
1532.00/1529.28	c cleaning 41002 clauses out of 82012 with flag 2047715/7678187
1537.60/1534.89	c cleaning 41999 clauses out of 84010 with flag 2146950/7721187
1543.80/1541.09	c cleaning 43003 clauses out of 86011 with flag 2248430/7765187
1549.91/1547.10	c cleaning 44003 clauses out of 88007 with flag 2353948/7810186
1556.31/1553.52	c cleaning 44998 clauses out of 90006 with flag 2461061/7856188
1563.01/1560.27	c cleaning 46003 clauses out of 92006 with flag 2571626/7903186
1569.91/1567.15	c cleaning 46998 clauses out of 94003 with flag 2681348/7951186
1577.41/1574.67	c cleaning 47998 clauses out of 96005 with flag 2793515/8000186
1584.55/1581.72	c cleaning 49003 clauses out of 98009 with flag 2907375/8050188
1591.84/1589.06	c cleaning 50001 clauses out of 100004 with flag 3024455/8101186
1599.05/1596.26	c cleaning 50995 clauses out of 102003 with flag 3144888/8153186
1606.34/1603.58	c cleaning 51999 clauses out of 104009 with flag 3265626/8206187
1613.58/1610.75	c cleaning 53006 clauses out of 106011 with flag 3387072/8260188
1622.19/1619.34	c cleaning 53998 clauses out of 108003 with flag 3511274/8315186
1632.49/1629.64	c cleaning 54993 clauses out of 110006 with flag 3637620/8371187
1642.58/1639.71	c cleaning 56001 clauses out of 112012 with flag 3766340/8428186
1653.20/1650.32	c cleaning 57005 clauses out of 114011 with flag 3897178/8486186
1663.70/1660.87	c cleaning 57997 clauses out of 116006 with flag 4029899/8545186
1675.10/1672.27	c cleaning 59002 clauses out of 118010 with flag 4166477/8605187
1687.59/1684.74	c cleaning 60003 clauses out of 120009 with flag 4303908/8666188
1699.42/1696.58	c cleaning 60997 clauses out of 122005 with flag 4443897/8728187
1708.22/1705.33	c cleaning 62001 clauses out of 124008 with flag 4587087/8791187
1717.51/1714.70	c cleaning 62996 clauses out of 126006 with flag 4735170/8855186
1727.16/1724.30	c cleaning 63999 clauses out of 128010 with flag 4885646/8920186
1737.55/1734.67	c cleaning 65000 clauses out of 130012 with flag 5035144/8986187
1747.45/1744.56	c cleaning 66001 clauses out of 132015 with flag 5187183/9053190
1758.11/1755.17	c cleaning 67003 clauses out of 134010 with flag 5342584/9121186
1770.21/1767.27	c cleaning 67998 clauses out of 136007 with flag 5497886/9190186
1781.11/1778.10	c cleaning 69004 clauses out of 138009 with flag 5658326/9260186
1792.21/1789.24	c cleaning 70001 clauses out of 140006 with flag 5819781/9331187
1800.03/1797.00	c starts		: 6
1800.03/1797.00	c conflicts		: 9387188
1800.03/1797.00	c decisions		: 13837803
1800.03/1797.00	c propagations		: 72573914
1800.03/1797.00	c inspects		: 36342189718
1800.03/1797.00	c shortcuts		: 0
1800.03/1797.00	c learnt literals	: 0
1800.03/1797.00	c learnt binary clauses	: 0
1800.03/1797.00	c learnt ternary clauses	: 0
1800.03/1797.00	c learnt constraints	: 9387188
1800.03/1797.00	c ignored constraints	: 0
1800.03/1797.00	c root simplifications	: 0
1800.03/1797.00	c removed literals (reason simplification)	: 0
1800.03/1797.00	c reason swapping (by a shorter reason)	: 0
1800.03/1797.00	c Calls to reduceDB	: 180
1800.03/1797.00	c Number of update (reduction) of LBD	: 916050
1800.03/1797.00	c Imported unit clauses	: 0
1800.03/1797.00	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.00	c number of learned constraints concerned by reduction	: 0
1800.03/1797.00	c number of learning phase by resolution	: 0
1800.03/1797.00	c number of learning phase by cutting planes	: 0
1800.03/1797.00	c speed (assignments/second)	: 40389.56773193949
1800.03/1797.00	c non guided choices	0
1800.03/1797.03	c learnt constraints type 
1800.03/1797.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 126006
1800.03/1797.03	s SATISFIABLE
1800.03/1797.03	c Found 5 solution(s)
1800.03/1797.03	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 
1800.03/1797.03	c objective function=71
1800.03/1797.03	c Total wall clock time (in seconds): 1796.93

Verifier Data 

OK	71

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-4085264-1465232637/watcher-4085264-1465232637 -o /tmp/evaluation-result-4085264-1465232637/solver-4085264-1465232637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31161 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085264-1465232637.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.09 2.08 3/194 834
/proc/meminfo: memFree=31189228/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/834/stat : 834 (java) R 831 834 31144 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 105198212 23793664 455 33554432000 1073741824 1073778376 140733743459936 140733743449000 213857122871 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/834/statm: 5809 465 353 9 0 128 0
[pid=834/tid=835] ppid=831 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 105198213 98570240 977 33554432000 1073741824 1073778376 140733743459936 139708392783400 213866333568 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 2.03 2.09 2.08 3/194 834
/proc/meminfo: memFree=31189228/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 4494 0 1 0 10 1 0 0 20 0 18 0 105198212 9787879424 6122 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2389619 6122 2157 9 0 2380296 0
[pid=834/tid=835] ppid=831 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2383 0 1 0 6 1 0 0 20 0 18 0 105198213 9787879424 6122 33554432000 1073741824 1073778376 140733743459936 139708392786848 213869716749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.20038 s]
/proc/loadavg: 2.03 2.09 2.08 3/194 834
/proc/meminfo: memFree=31189228/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 6070 0 1 0 27 1 0 0 20 0 19 0 105198212 9856040960 7669 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 7670 2238 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2411 0 1 0 16 1 0 0 20 0 19 0 105198213 9856040960 7670 33554432000 1073741824 1073778376 140733743459936 139708392788608 139708256601601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9625040

[startup+0.300374 s]
/proc/loadavg: 2.03 2.09 2.08 3/194 834
/proc/meminfo: memFree=31189228/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 6791 0 1 0 48 2 0 0 20 0 19 0 105198212 9856040960 8102 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 8102 2244 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2411 0 1 0 26 1 0 0 20 0 19 0 105198213 9856040960 8102 33554432000 1073741824 1073778376 140733743459936 139708392788608 139708256509516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.7003 s]
/proc/loadavg: 2.03 2.09 2.08 3/194 834
/proc/meminfo: memFree=31189228/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 7683 0 1 0 101 2 0 0 20 0 19 0 105198212 9856040960 9685 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 9685 2254 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2414 0 1 0 66 1 0 0 20 0 19 0 105198213 9856040960 9685 33554432000 1073741824 1073778376 140733743459936 139708392788312 139708256917813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.03 2.09 2.08 3/213 853
/proc/meminfo: memFree=31151380/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=1.9 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 8528 0 1 0 188 2 0 0 20 0 19 0 105198212 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 11752 2257 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2419 0 1 0 145 1 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708392788232 139708256940149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=837] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/837/stat : 837 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708381850408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=838] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/838/stat : 838 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708380797608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=839] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/839/stat : 839 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708379745320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=840] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/840/stat : 840 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708378692520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=841] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/841/stat : 841 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708377639208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=842] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/842/stat : 842 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708376586408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=843] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/843/stat : 843 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708375534120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=844] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/844/stat : 844 (java) S 831 834 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708228909480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=845] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/845/stat : 845 (java) S 831 834 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105198214 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708216711912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=846] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/846/stat : 846 (java) S 831 834 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708215657976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/847/stat : 847 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708214605576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=848] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/848/stat : 848 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708213554064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=849] ppid=831 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/834/task/849/stat : 849 (java) S 831 834 31144 0 -1 4202560 1712 0 0 0 13 0 0 0 20 0 19 0 105198217 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708212500664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=850] ppid=831 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/834/task/850/stat : 850 (java) S 831 834 31144 0 -1 4202560 3126 0 0 0 26 0 0 0 20 0 19 0 105198217 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708211447864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=851] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/851/stat : 851 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708210395768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=852] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/852/stat : 852 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708209343176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=853] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/853/stat : 853 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198228 9856040960 11752 33554432000 1073741824 1073778376 140733743459936 139708208289192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.03 2.09 2.08 3/213 853
/proc/meminfo: memFree=31138596/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 8534 0 1 0 347 2 0 0 20 0 19 0 105198212 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 14824 2257 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2425 0 1 0 305 2 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708392779456 139708256939960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=834/tid=837] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/837/stat : 837 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708381850408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=838] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/838/stat : 838 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708380797608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=839] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/839/stat : 839 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708379745320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=840] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/840/stat : 840 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708378692520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=841] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/841/stat : 841 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708377639208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=842] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/842/stat : 842 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708376586408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=843] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/843/stat : 843 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708375534120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=844] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/844/stat : 844 (java) S 831 834 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708228909480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=845] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/845/stat : 845 (java) S 831 834 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105198214 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708216711912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=846] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/846/stat : 846 (java) S 831 834 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708215657976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/847/stat : 847 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708214605576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=848] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/848/stat : 848 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708213554064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=849] ppid=831 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/834/task/849/stat : 849 (java) S 831 834 31144 0 -1 4202560 1712 0 0 0 13 0 0 0 20 0 19 0 105198217 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708212500664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=850] ppid=831 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/834/task/850/stat : 850 (java) S 831 834 31144 0 -1 4202560 3126 0 0 0 26 0 0 0 20 0 19 0 105198217 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708211447864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=851] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/851/stat : 851 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708210395768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=852] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/852/stat : 852 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708209343176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=853] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/853/stat : 853 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198228 9856040960 14824 33554432000 1073741824 1073778376 140733743459936 139708208289192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.03 2.09 2.08 3/213 853
/proc/meminfo: memFree=31102744/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=6.7 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 8546 0 1 0 667 3 0 0 20 0 19 0 105198212 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 19549 2258 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2436 0 1 0 623 2 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708392779456 139708256934718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=837] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/837/stat : 837 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708381850408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=838] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/838/stat : 838 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708380797608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=839] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/839/stat : 839 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708379745320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=840] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/840/stat : 840 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708378692520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=841] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/841/stat : 841 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708377639208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=842] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/842/stat : 842 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708376586408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=843] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/843/stat : 843 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708375534120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=844] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/844/stat : 844 (java) S 831 834 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105198213 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708228909480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=845] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/845/stat : 845 (java) S 831 834 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105198214 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708216711912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=846] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/846/stat : 846 (java) S 831 834 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708215657976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/847/stat : 847 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708214605576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=848] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/848/stat : 848 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708213554064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=849] ppid=831 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/834/task/849/stat : 849 (java) S 831 834 31144 0 -1 4202560 1712 0 0 0 13 0 0 0 20 0 19 0 105198217 9856040960 19549 33554432000 1073741824 1073778376 140733743459936 139708212500664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=850] ppid=831 vsize=9625040 CPUtime=0.26 cores=1,3,5,7

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

[pid=834/tid=853] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/853/stat : 853 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198228 9856040960 130293 33554432000 1073741824 1073778376 140733743459936 139708208289192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.2
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.08 4/213 895
/proc/meminfo: memFree=30470356/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=1725.26 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 11012 0 1 0 172441 85 0 0 20 0 19 0 105198212 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 126287 2280 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=1716.55 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2507 0 1 0 171625 30 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708392787152 139708256989831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=837] ppid=831 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/834/task/837/stat : 837 (java) S 831 834 31144 0 -1 4202560 338 0 0 0 32 5 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708381850408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=838] ppid=831 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/834/task/838/stat : 838 (java) S 831 834 31144 0 -1 4202560 286 0 0 0 35 4 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708380797608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=839] ppid=831 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/834/task/839/stat : 839 (java) S 831 834 31144 0 -1 4202560 166 0 0 0 39 6 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708379745320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=840] ppid=831 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/834/task/840/stat : 840 (java) S 831 834 31144 0 -1 4202560 259 0 0 0 37 8 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708378692520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=841] ppid=831 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/834/task/841/stat : 841 (java) S 831 834 31144 0 -1 4202560 218 0 0 0 27 5 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708377639208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=842] ppid=831 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/834/task/842/stat : 842 (java) S 831 834 31144 0 -1 4202560 182 0 0 0 33 7 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708376586408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=843] ppid=831 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/834/task/843/stat : 843 (java) S 831 834 31144 0 -1 4202560 162 0 0 0 41 7 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708375534120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=844] ppid=831 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/834/task/844/stat : 844 (java) S 831 834 31144 0 -1 4202560 253 0 0 0 33 6 0 0 20 0 19 0 105198213 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708228909480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=831 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/834/task/845/stat : 845 (java) S 831 834 31144 0 -1 4202560 150 0 0 0 12 3 0 0 20 0 19 0 105198214 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708216711912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=846] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/846/stat : 846 (java) S 831 834 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708215657976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/847/stat : 847 (java) S 831 834 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708214605576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=848] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/848/stat : 848 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708213554064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=849] ppid=831 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/834/task/849/stat : 849 (java) S 831 834 31144 0 -1 4202560 1712 0 0 0 13 0 0 0 20 0 19 0 105198217 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708212500664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=850] ppid=831 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/834/task/850/stat : 850 (java) S 831 834 31144 0 -1 4202560 3422 0 0 0 29 0 0 0 20 0 19 0 105198217 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708211447864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=851] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/851/stat : 851 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708210395768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=852] ppid=831 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/834/task/852/stat : 852 (java) S 831 834 31144 0 -1 4202560 100 0 0 0 24 32 0 0 20 0 19 0 105198217 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708209343176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=853] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/853/stat : 853 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198228 9856040960 126287 33554432000 1073741824 1073778376 140733743459936 139708208289192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.26
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.08 3/213 962
/proc/meminfo: memFree=30565752/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=1785.31 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 11019 0 1 0 178445 86 0 0 20 0 19 0 105198212 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 123978 2280 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=1776.37 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2508 0 1 0 177606 31 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708392779440 139708256935775 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=837] ppid=831 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/834/task/837/stat : 837 (java) S 831 834 31144 0 -1 4202560 338 0 0 0 33 5 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708381850408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=838] ppid=831 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/834/task/838/stat : 838 (java) S 831 834 31144 0 -1 4202560 286 0 0 0 35 4 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708380797608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=839] ppid=831 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/834/task/839/stat : 839 (java) S 831 834 31144 0 -1 4202560 166 0 0 0 40 6 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708379745320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=840] ppid=831 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/834/task/840/stat : 840 (java) S 831 834 31144 0 -1 4202560 259 0 0 0 39 8 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708378692520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=841] ppid=831 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/834/task/841/stat : 841 (java) S 831 834 31144 0 -1 4202560 218 0 0 0 28 5 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708377639208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=831 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/834/task/842/stat : 842 (java) S 831 834 31144 0 -1 4202560 182 0 0 0 34 7 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708376586408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=843] ppid=831 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/834/task/843/stat : 843 (java) S 831 834 31144 0 -1 4202560 162 0 0 0 42 7 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708375534120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=844] ppid=831 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/834/task/844/stat : 844 (java) S 831 834 31144 0 -1 4202560 253 0 0 0 34 6 0 0 20 0 19 0 105198213 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708228909480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=831 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/834/task/845/stat : 845 (java) S 831 834 31144 0 -1 4202560 152 0 0 0 12 3 0 0 20 0 19 0 105198214 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708216711912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=846] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/846/stat : 846 (java) S 831 834 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708215657976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/847/stat : 847 (java) S 831 834 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708214605576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=848] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/848/stat : 848 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708213554064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=849] ppid=831 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/834/task/849/stat : 849 (java) S 831 834 31144 0 -1 4202560 1712 0 0 0 13 0 0 0 20 0 19 0 105198217 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708212500664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=850] ppid=831 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/834/task/850/stat : 850 (java) S 831 834 31144 0 -1 4202560 3422 0 0 0 29 0 0 0 20 0 19 0 105198217 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708211447864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=851] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/851/stat : 851 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708210395768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=852] ppid=831 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/834/task/852/stat : 852 (java) S 831 834 31144 0 -1 4202560 104 0 0 0 24 33 0 0 20 0 19 0 105198217 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708209343176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=853] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/853/stat : 853 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198228 9856040960 123978 33554432000 1073741824 1073778376 140733743459936 139708208289192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.31
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.29 2.11 2.10 3/213 963
/proc/meminfo: memFree=30542544/32872528 swapFree=12352/737972
[pid=834] ppid=831 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/834/stat : 834 (java) S 831 834 31144 0 -1 4202496 11024 0 1 0 179916 87 0 0 20 0 19 0 105198212 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 140733743451072 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/834/statm: 2406260 123545 2280 9 0 2396937 0
[pid=834/tid=835] ppid=831 vsize=9625040 CPUtime=1791.02 cores=1,3,5,7
/proc/834/task/835/stat : 835 (java) R 831 834 31144 0 -1 4202560 2509 0 1 0 179071 31 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708392787152 139708256940927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=834/tid=837] ppid=831 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/834/task/837/stat : 837 (java) S 831 834 31144 0 -1 4202560 338 0 0 0 33 5 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708381850408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=838] ppid=831 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/834/task/838/stat : 838 (java) S 831 834 31144 0 -1 4202560 286 0 0 0 36 4 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708380797608 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=839] ppid=831 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/834/task/839/stat : 839 (java) S 831 834 31144 0 -1 4202560 166 0 0 0 40 6 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708379745320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=834/tid=840] ppid=831 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/834/task/840/stat : 840 (java) S 831 834 31144 0 -1 4202560 259 0 0 0 39 8 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708378692520 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=841] ppid=831 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/834/task/841/stat : 841 (java) S 831 834 31144 0 -1 4202560 218 0 0 0 28 5 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708377639208 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=842] ppid=831 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/834/task/842/stat : 842 (java) S 831 834 31144 0 -1 4202560 182 0 0 0 34 7 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708376586408 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=843] ppid=831 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/834/task/843/stat : 843 (java) S 831 834 31144 0 -1 4202560 162 0 0 0 42 7 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708375534120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=834/tid=844] ppid=831 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/834/task/844/stat : 844 (java) S 831 834 31144 0 -1 4202560 253 0 0 0 35 6 0 0 20 0 19 0 105198213 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708228909480 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=845] ppid=831 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/834/task/845/stat : 845 (java) S 831 834 31144 0 -1 4202560 154 0 0 0 12 3 0 0 20 0 19 0 105198214 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708216711912 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=846] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/846/stat : 846 (java) S 831 834 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708215657976 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=847] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/847/stat : 847 (java) S 831 834 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105198215 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708214605576 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=848] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/848/stat : 848 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708213554064 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=849] ppid=831 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/834/task/849/stat : 849 (java) S 831 834 31144 0 -1 4202560 1712 0 0 0 13 0 0 0 20 0 19 0 105198217 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708212500664 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=850] ppid=831 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/834/task/850/stat : 850 (java) S 831 834 31144 0 -1 4202560 3422 0 0 0 29 0 0 0 20 0 19 0 105198217 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708211447864 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=851] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/851/stat : 851 (java) S 831 834 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105198217 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708210395768 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=834/tid=852] ppid=831 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/834/task/852/stat : 852 (java) S 831 834 31144 0 -1 4202560 106 0 0 0 25 34 0 0 20 0 19 0 105198217 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708209343176 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=834/tid=853] ppid=831 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/834/task/853/stat : 853 (java) S 831 834 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105198228 9856040960 123545 33554432000 1073741824 1073778376 140733743459936 139708208289192 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 834 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 834 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=580182
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=300802
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.04
CPU time (s): 1800.03
CPU user time (s): 1799.16
CPU system time (s): 0.87
CPU usage (%): 100.167
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.3008
maximum resident set size= 623300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11072
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38850
involuntary context switches= 23567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2434 second user time and 13.9019 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-06 19:03:57
IDJOB=4085264
IDBENCH=2214
IDSOLVER=2546
FILE ID=node112/4085264-1465232637
RUNJOBID= node112-1465218300-31161
PBS_JOBID= 19843211
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085264-1465232637/watcher-4085264-1465232637 -o /tmp/evaluation-result-4085264-1465232637/solver-4085264-1465232637 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31161 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085264-1465232637.opb

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

MD5SUM BENCH= 28425c3b4907da9ba10ee31a4de63042
RANDOM SEED=421797607

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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:        31189492 kB
Buffers:           19680 kB
Cached:            84996 kB
SwapCached:         1628 kB
Active:           192160 kB
Inactive:          47004 kB
Active(anon):     136412 kB
Inactive(anon):      564 kB
Active(file):      55748 kB
Inactive(file):    46440 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098564 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:        878316 kB
Mapped:            15136 kB
Shmem:                 0 kB
Slab:             566000 kB
SReclaimable:       9704 kB
SUnreclaim:       556296 kB
KernelStack:        1624 kB
PageTables:         5792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1427568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    847872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node112 at 2016-06-06 19:33:55