Trace number 4105373

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)25 1800.02 1798.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
MD5SUMe82b2413101b8c36ea34c3d9f95f4ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
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 17
Optimality of the best value was proved YES
Number of variables299
Total number of constraints100
Number of constraints which are clauses100
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 constraint10
Maximum length of a constraint20
Number of terms in the objective function 299
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 299
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 299
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4105373-1466260440.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.17	c ... done. Wall clock time 0.059s.
0.09/0.17	c declared #vars     299
0.09/0.17	c #constraints  100
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.09/0.17	c 100 constraints processed.
0.09/0.17	c objective function length is 299 literals
0.09/0.18	c SATISFIABLE
0.09/0.18	c OPTIMIZING...
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.067
0.09/0.18	o 32
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.075
0.09/0.19	o 31
0.24/0.24	c Got one! Elapsed wall clock time (in seconds):0.128
0.24/0.24	o 30
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.133
0.24/0.25	o 29
0.24/0.28	c Got one! Elapsed wall clock time (in seconds):0.165
0.24/0.28	o 28
0.80/0.55	c cleaning 2686 clauses out of 5390 with flag 13266/5390
1.26/0.90	c cleaning 4348 clauses out of 8704 with flag 29032/11390
1.57/1.26	c cleaning 5673 clauses out of 11359 with flag 48255/18393
2.06/1.72	c cleaning 6829 clauses out of 13688 with flag 70371/26395
2.58/2.27	c cleaning 7915 clauses out of 15855 with flag 94619/35391
3.28/2.93	c cleaning 8948 clauses out of 17939 with flag 121131/45390
3.98/3.68	c cleaning 9973 clauses out of 19992 with flag 151420/56391
4.82/4.45	c cleaning 11008 clauses out of 22019 with flag 187043/68391
5.92/5.55	c cleaning 11999 clauses out of 24010 with flag 222450/81390
7.12/6.71	c cleaning 12999 clauses out of 26011 with flag 260060/95390
8.31/7.91	c cleaning 14002 clauses out of 28012 with flag 300088/110390
9.91/9.59	c cleaning 14996 clauses out of 30010 with flag 344073/126390
11.81/11.40	c cleaning 16001 clauses out of 32014 with flag 391176/143390
13.81/13.48	c cleaning 16998 clauses out of 34013 with flag 439975/161390
15.72/15.36	c cleaning 18008 clauses out of 36015 with flag 495027/180390
17.92/17.53	c cleaning 18991 clauses out of 38007 with flag 549414/200390
20.12/19.72	c cleaning 20001 clauses out of 40016 with flag 607084/221390
22.32/22.00	c cleaning 21005 clauses out of 42015 with flag 667471/243390
25.12/24.71	c cleaning 21988 clauses out of 44010 with flag 730735/266390
28.12/27.79	c cleaning 23003 clauses out of 46024 with flag 796090/290392
31.22/30.90	c cleaning 23996 clauses out of 48022 with flag 866393/315393
34.52/34.17	c cleaning 25006 clauses out of 50024 with flag 941548/341391
38.31/37.91	c cleaning 26005 clauses out of 52017 with flag 1015638/368390
42.32/41.93	c cleaning 27000 clauses out of 54012 with flag 1092724/396390
46.62/46.23	c cleaning 27989 clauses out of 56014 with flag 1172045/425392
51.02/50.70	c cleaning 29009 clauses out of 58023 with flag 1253403/455390
55.42/55.04	c cleaning 30001 clauses out of 60014 with flag 1340339/486390
60.31/59.95	c cleaning 31003 clauses out of 62014 with flag 1432408/518391
65.71/65.36	c cleaning 32005 clauses out of 64012 with flag 1524996/551392
71.21/70.88	c cleaning 32994 clauses out of 66008 with flag 1621724/585393
77.26/76.81	c cleaning 34002 clauses out of 68011 with flag 1720712/620390
83.66/83.21	c cleaning 34998 clauses out of 70010 with flag 1818998/656391
89.16/88.72	c cleaning 35996 clauses out of 72013 with flag 1925356/693392
95.76/95.39	c cleaning 36996 clauses out of 74016 with flag 2032216/731391
103.06/102.69	c cleaning 38005 clauses out of 76020 with flag 2141466/770391
110.16/109.70	c cleaning 39005 clauses out of 78015 with flag 2252169/810391
118.26/117.84	c cleaning 40004 clauses out of 80011 with flag 2370457/851392
126.55/126.17	c cleaning 40990 clauses out of 82006 with flag 2486806/893391
135.25/134.86	c cleaning 41994 clauses out of 84015 with flag 2603916/936390
143.96/143.55	c cleaning 43009 clauses out of 86022 with flag 2726326/980391
153.06/152.62	c cleaning 43999 clauses out of 88012 with flag 2854088/1025390
162.66/162.21	c cleaning 44994 clauses out of 90013 with flag 2984439/1071390
173.86/173.44	c cleaning 46007 clauses out of 92019 with flag 3120255/1118390
185.16/184.72	c cleaning 46995 clauses out of 94012 with flag 3256125/1166390
196.35/195.82	c cleaning 47999 clauses out of 96017 with flag 3394318/1215390
208.04/207.50	c cleaning 49006 clauses out of 98018 with flag 3534559/1265390
220.45/219.92	c cleaning 49991 clauses out of 100016 with flag 3678464/1316394
235.05/234.60	c cleaning 50995 clauses out of 102023 with flag 3822822/1368392
248.17/247.67	c cleaning 52005 clauses out of 104026 with flag 3979460/1421390
261.37/260.83	c cleaning 53010 clauses out of 106022 with flag 4140910/1475391
276.77/276.30	c cleaning 54000 clauses out of 108011 with flag 4293299/1530390
290.86/290.35	c cleaning 54980 clauses out of 110011 with flag 4447498/1586390
305.87/305.30	c cleaning 56003 clauses out of 112031 with flag 4614260/1643390
320.47/319.99	c cleaning 57012 clauses out of 114029 with flag 4775906/1701391
334.67/334.14	c cleaning 58005 clauses out of 116016 with flag 4941545/1760390
350.75/350.17	c cleaning 58994 clauses out of 118011 with flag 5114317/1820390
365.86/365.29	c cleaning 59995 clauses out of 120018 with flag 5282049/1881391
381.36/380.74	c cleaning 61006 clauses out of 122022 with flag 5459993/1943390
396.26/395.69	c cleaning 61998 clauses out of 124017 with flag 5635019/2006391
413.48/412.89	c cleaning 63005 clauses out of 126018 with flag 5816518/2070390
432.69/432.04	c cleaning 64006 clauses out of 128016 with flag 5997882/2135393
452.59/451.93	c cleaning 64997 clauses out of 130007 with flag 6182513/2201390
474.59/473.92	c cleaning 65996 clauses out of 132010 with flag 6369870/2268390
497.30/496.60	c cleaning 67007 clauses out of 134014 with flag 6570775/2336390
521.99/521.30	c Got one! Elapsed wall clock time (in seconds):521.186
521.99/521.30	o 27
524.49/523.83	c cleaning 69581 clauses out of 139176 with flag 14270/2408559
525.99/525.36	c cleaning 37796 clauses out of 75595 with flag 31339/2414559
527.39/526.73	c cleaning 22400 clauses out of 44799 with flag 51288/2421559
528.29/527.68	c cleaning 15174 clauses out of 30402 with flag 74071/2429562
529.26/528.56	c cleaning 12103 clauses out of 24226 with flag 99537/2438560
530.16/529.49	c cleaning 11051 clauses out of 22122 with flag 127748/2448559
531.26/530.56	c cleaning 11030 clauses out of 22071 with flag 158771/2459559
532.46/531.78	c cleaning 11506 clauses out of 23043 with flag 191241/2471561
533.86/533.15	c cleaning 12258 clauses out of 24536 with flag 226267/2484560
535.16/534.43	c cleaning 13124 clauses out of 26277 with flag 267733/2498559
536.76/536.09	c cleaning 14065 clauses out of 28153 with flag 308825/2513559
538.57/537.85	c cleaning 15038 clauses out of 30088 with flag 355196/2529559
540.56/539.85	c cleaning 16024 clauses out of 32050 with flag 402393/2546559
542.76/542.00	c cleaning 16992 clauses out of 34026 with flag 452515/2564559
545.16/544.42	c cleaning 18016 clauses out of 36034 with flag 507537/2583559
547.57/546.88	c cleaning 19006 clauses out of 38019 with flag 562981/2603560
550.36/549.67	c cleaning 20006 clauses out of 40014 with flag 621121/2624561
553.36/552.64	c cleaning 20989 clauses out of 42006 with flag 682513/2646559
556.66/555.90	c cleaning 22000 clauses out of 44018 with flag 749235/2669560
560.26/559.53	c cleaning 23001 clauses out of 46020 with flag 817727/2693562
564.36/563.62	c cleaning 24000 clauses out of 48018 with flag 886634/2718561
568.37/567.69	c cleaning 24999 clauses out of 50016 with flag 957910/2744559
572.96/572.24	c cleaning 25994 clauses out of 52017 with flag 1031489/2771559
577.56/576.83	c cleaning 26996 clauses out of 54024 with flag 1110711/2799560
582.67/581.99	c cleaning 27987 clauses out of 56028 with flag 1194121/2828560
587.46/586.78	c cleaning 29018 clauses out of 58041 with flag 1282037/2858560
592.46/591.75	c cleaning 30007 clauses out of 60024 with flag 1368937/2889561
597.56/596.89	c cleaning 30996 clauses out of 62015 with flag 1463963/2921559
603.97/603.29	c cleaning 31995 clauses out of 64019 with flag 1558279/2954559
610.87/610.12	c cleaning 32999 clauses out of 66026 with flag 1655868/2988561
616.67/615.99	c cleaning 34009 clauses out of 68026 with flag 1755404/3023560
622.67/621.98	c cleaning 34999 clauses out of 70016 with flag 1859548/3059559
629.23/628.44	c cleaning 36006 clauses out of 72017 with flag 1966341/3096559
633.03/632.21	c Got one! Elapsed wall clock time (in seconds):632.095
633.03/632.21	o 26
633.93/633.13	c cleaning 33028 clauses out of 66080 with flag 15087/3126628
634.63/633.86	c cleaning 19516 clauses out of 39053 with flag 32260/3132629
634.93/634.19	c Got one! Elapsed wall clock time (in seconds):634.08
634.93/634.19	o 25
635.13/634.37	c cleaning 12667 clauses out of 25351 with flag 6062/3138443
635.54/634.79	c cleaning 9340 clauses out of 18684 with flag 22545/3144443
636.03/635.25	c cleaning 8157 clauses out of 16344 with flag 41414/3151443
636.53/635.76	c cleaning 8091 clauses out of 16187 with flag 63877/3159443
637.13/636.36	c cleaning 8547 clauses out of 17096 with flag 90111/3168443
637.84/637.07	c cleaning 9270 clauses out of 18549 with flag 117322/3178443
638.63/637.84	c cleaning 10137 clauses out of 20280 with flag 147890/3189444
639.53/638.76	c cleaning 11055 clauses out of 22144 with flag 180868/3201445
640.73/639.98	c cleaning 12024 clauses out of 24087 with flag 216862/3214443
641.93/641.19	c cleaning 13011 clauses out of 26066 with flag 256603/3228446
643.43/642.67	c cleaning 14013 clauses out of 28052 with flag 298266/3243443
644.93/644.12	c cleaning 15001 clauses out of 30039 with flag 342877/3259443
646.73/645.98	c cleaning 16012 clauses out of 32038 with flag 389490/3276443
648.73/647.94	c cleaning 17013 clauses out of 34027 with flag 439057/3294444
650.53/649.75	c cleaning 18001 clauses out of 36013 with flag 492273/3313443
652.63/651.82	c cleaning 18992 clauses out of 38012 with flag 547126/3333443
655.13/654.36	c cleaning 19993 clauses out of 40020 with flag 605382/3354443
657.73/656.99	c cleaning 21000 clauses out of 42027 with flag 666783/3376443
660.73/659.91	c cleaning 22010 clauses out of 44027 with flag 730614/3399443
663.73/662.91	c cleaning 23004 clauses out of 46017 with flag 796774/3423443
666.83/666.07	c cleaning 23996 clauses out of 48014 with flag 866630/3448444
670.63/669.84	c cleaning 24992 clauses out of 50018 with flag 939225/3474444
674.32/673.54	c cleaning 26005 clauses out of 52027 with flag 1017778/3501445
678.53/677.73	c cleaning 26995 clauses out of 54020 with flag 1100873/3529443
683.14/682.39	c cleaning 28013 clauses out of 56029 with flag 1182787/3558447
687.64/686.86	c cleaning 28990 clauses out of 58012 with flag 1267691/3588443
692.14/691.35	c cleaning 30006 clauses out of 60023 with flag 1355099/3619444
697.34/696.59	c cleaning 30990 clauses out of 62016 with flag 1446317/3651443
702.64/701.81	c cleaning 32009 clauses out of 64029 with flag 1540246/3684446
708.14/707.36	c cleaning 32980 clauses out of 66017 with flag 1641425/3718443
713.71/712.85	c cleaning 34008 clauses out of 68039 with flag 1743346/3753445
719.11/718.22	c cleaning 35001 clauses out of 70029 with flag 1843693/3789443
726.10/725.20	c cleaning 35993 clauses out of 72028 with flag 1947235/3826443
732.60/731.73	c cleaning 37012 clauses out of 74035 with flag 2052700/3864443
738.70/737.88	c cleaning 37992 clauses out of 76023 with flag 2163894/3903443
745.80/744.90	c cleaning 39010 clauses out of 78031 with flag 2280020/3943443
752.50/751.68	c cleaning 39995 clauses out of 80023 with flag 2399170/3984445
760.80/759.95	c cleaning 41013 clauses out of 82026 with flag 2515811/4026443
768.89/768.00	c cleaning 41999 clauses out of 84013 with flag 2638488/4069443
777.51/776.63	c cleaning 43006 clauses out of 86018 with flag 2767983/4113447
787.30/786.40	c cleaning 43990 clauses out of 88008 with flag 2897127/4158443
797.40/796.51	c cleaning 44985 clauses out of 90018 with flag 3024046/4204443
808.30/807.41	c cleaning 45999 clauses out of 92033 with flag 3157836/4251443
819.09/818.29	c cleaning 47014 clauses out of 94037 with flag 3287859/4299446
830.78/829.84	c cleaning 48008 clauses out of 96020 with flag 3427026/4348443
842.68/841.77	c cleaning 48992 clauses out of 98012 with flag 3566697/4398443
854.37/853.44	c cleaning 50006 clauses out of 100021 with flag 3712082/4449444
866.47/865.58	c cleaning 50992 clauses out of 102014 with flag 3858900/4501443
878.37/877.47	c cleaning 52008 clauses out of 104022 with flag 4007780/4554443
890.37/889.49	c cleaning 52993 clauses out of 106014 with flag 4164134/4608443
902.67/901.72	c cleaning 53992 clauses out of 108021 with flag 4325768/4663443
916.36/915.40	c cleaning 55008 clauses out of 110030 with flag 4480033/4719444
930.46/929.58	c cleaning 56001 clauses out of 112024 with flag 4638683/4776446
945.86/944.95	c cleaning 57003 clauses out of 114025 with flag 4798604/4834448
961.86/960.93	c cleaning 57994 clauses out of 116017 with flag 4962445/4893443
979.25/978.31	c cleaning 58996 clauses out of 118023 with flag 5128163/4953443
994.13/993.11	c cleaning 60004 clauses out of 120028 with flag 5298441/5014444
1012.04/1011.02	c cleaning 61008 clauses out of 122023 with flag 5474085/5076443
1030.84/1029.84	c cleaning 62004 clauses out of 124015 with flag 5651113/5139443
1048.94/1047.95	c cleaning 62996 clauses out of 126011 with flag 5829271/5203443
1070.14/1069.16	c cleaning 64002 clauses out of 128015 with flag 6006662/5268443
1090.34/1089.38	c cleaning 64989 clauses out of 130014 with flag 6190470/5334444
1111.85/1110.81	c cleaning 66001 clauses out of 132024 with flag 6376911/5401443
1134.35/1133.33	c cleaning 67009 clauses out of 134024 with flag 6563945/5469444
1156.25/1155.22	c cleaning 68005 clauses out of 136014 with flag 6756032/5538443
1177.44/1176.30	c cleaning 68996 clauses out of 138011 with flag 6952512/5608445
1197.75/1196.65	c cleaning 69998 clauses out of 140017 with flag 7151339/5679447
1220.04/1218.98	c cleaning 70997 clauses out of 142015 with flag 7355604/5751443
1241.95/1240.84	c cleaning 72005 clauses out of 144018 with flag 7562810/5824443
1264.73/1263.67	c cleaning 72980 clauses out of 146013 with flag 7774440/5898443
1290.13/1289.01	c cleaning 74000 clauses out of 148033 with flag 7983045/5973443
1312.33/1311.26	c cleaning 75012 clauses out of 150033 with flag 8202410/6049443
1337.02/1335.91	c cleaning 76003 clauses out of 152021 with flag 8424930/6126443
1369.45/1368.23	c cleaning 77010 clauses out of 154020 with flag 8642134/6204445
1394.95/1393.74	c cleaning 77990 clauses out of 156009 with flag 8870536/6283444
1420.44/1419.23	c cleaning 78999 clauses out of 158018 with flag 9096227/6363443
1445.33/1444.15	c cleaning 79996 clauses out of 160019 with flag 9319622/6444443
1473.33/1472.19	c cleaning 81011 clauses out of 162024 with flag 9554360/6526444
1505.13/1503.93	c cleaning 82005 clauses out of 164017 with flag 9789095/6609448
1532.02/1530.81	c cleaning 82991 clauses out of 166007 with flag 10034872/6693443
1559.74/1558.48	c cleaning 84005 clauses out of 168016 with flag 10276696/6778443
1594.04/1592.73	c cleaning 84999 clauses out of 170011 with flag 10515334/6864443
1626.53/1625.26	c cleaning 86000 clauses out of 172012 with flag 10759038/6951443
1660.42/1659.16	c cleaning 86997 clauses out of 174016 with flag 11001678/7039447
1693.72/1692.44	c cleaning 87988 clauses out of 176015 with flag 11250545/7128443
1726.01/1724.77	c cleaning 89007 clauses out of 178027 with flag 11501458/7218443
1762.02/1760.64	c cleaning 89994 clauses out of 180020 with flag 11756493/7309443
1800.02/1798.61	c starts		: 323
1800.02/1798.61	c conflicts		: 7400125
1800.02/1798.61	c decisions		: 20334425
1800.02/1798.61	c propagations		: 527610065
1800.02/1798.61	c inspects		: 44867143142
1800.02/1798.61	c shortcuts		: 0
1800.02/1798.61	c learnt literals	: 0
1800.02/1798.61	c learnt binary clauses	: 0
1800.02/1798.61	c learnt ternary clauses	: 0
1800.02/1798.61	c learnt constraints	: 7400125
1800.02/1798.61	c ignored constraints	: 0
1800.02/1798.61	c root simplifications	: 0
1800.02/1798.61	c removed literals (reason simplification)	: 0
1800.02/1798.61	c reason swapping (by a shorter reason)	: 0
1800.02/1798.61	c Calls to reduceDB	: 186
1800.02/1798.61	c Number of update (reduction) of LBD	: 2363405
1800.02/1798.61	c Imported unit clauses	: 0
1800.02/1798.61	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.61	c number of learned constraints concerned by reduction	: 0
1800.02/1798.61	c number of learning phase by resolution	: 0
1800.02/1798.61	c number of learning phase by cutting planes	: 0
1800.02/1798.61	c speed (assignments/second)	: 293372.1206183383
1800.02/1798.61	c non guided choices	0
1800.02/1798.64	c learnt constraints type 
1800.02/1798.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 180709
1800.02/1798.64	s SATISFIABLE
1800.02/1798.64	c Found 8 solution(s)
1800.02/1798.64	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 
1800.02/1798.64	c objective function=25
1800.02/1798.64	c Total wall clock time (in seconds): 1798.525

Verifier Data 

OK	25

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-4105373-1466260440/watcher-4105373-1466260440 -o /tmp/evaluation-result-4105373-1466260440/solver-4105373-1466260440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22005 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105373-1466260440.opb 

pid=24998
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.33 2.25 2.20 4/194 25001
/proc/meminfo: memFree=26425904/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25001/stat : 25001 (java) R 24998 25001 21988 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 28090593 9515008 129 33554432000 1073741824 1073778376 140736529294864 140736529291992 270710926640 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2323 133 103 9 0 71 0

[startup+0.100063 s]
/proc/loadavg: 2.33 2.25 2.20 4/194 25001
/proc/meminfo: memFree=26425904/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 28090593 9787879424 6022 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2389619 6022 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200225 s]
/proc/loadavg: 2.33 2.25 2.20 4/194 25001
/proc/meminfo: memFree=26425904/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 4703 0 1 0 23 1 0 0 20 0 19 0 28090593 9856040960 6802 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 6802 2207 9 0 2396937 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9625040

[startup+0.300215 s]
/proc/loadavg: 2.33 2.25 2.20 4/194 25001
/proc/meminfo: memFree=26425904/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 7059 0 1 0 49 2 0 0 20 0 19 0 28090593 9856040960 8048 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 8048 2243 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040

[startup+0.700179 s]
/proc/loadavg: 2.33 2.25 2.20 4/194 25001
/proc/meminfo: memFree=26425904/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 8032 0 1 0 101 2 0 0 20 0 19 0 28090593 9856040960 9088 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 9088 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.46 2.28 2.21 4/213 25020
/proc/meminfo: memFree=26395896/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 8037 0 1 0 184 2 0 0 20 0 19 0 28090593 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 9603 2256 9 0 2396937 0
[pid=25001/tid=25003] ppid=24998 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/25001/task/25003/stat : 25003 (java) R 24998 25001 21988 0 -1 4202560 2414 0 1 0 144 2 0 0 20 0 19 0 28090594 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665450557136 140665296500275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25004] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25004/stat : 25004 (java) S 24998 25001 21988 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665423018920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25005] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25005/stat : 25005 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665421966376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25006] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25006/stat : 25006 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665420913320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25007] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25007/stat : 25007 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665419860776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25008] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25008/stat : 25008 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665418807720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25009] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25009/stat : 25009 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665417755176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25010] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25010/stat : 25010 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665416702120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25011] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25011/stat : 25011 (java) S 24998 25001 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140665415649576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25012] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25012/stat : 25012 (java) S 24998 25001 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664803134312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25013] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25013/stat : 25013 (java) S 24998 25001 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664802080632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25014] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25014/stat : 25014 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664801027464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25015] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25015/stat : 25015 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664799976208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25016] ppid=24998 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25001/task/25016/stat : 25016 (java) S 24998 25001 21988 0 -1 4202560 2778 0 0 0 21 0 0 0 20 0 19 0 28090599 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664798923064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25017] ppid=24998 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25001/task/25017/stat : 25017 (java) S 24998 25001 21988 0 -1 4202560 1572 0 0 0 16 0 0 0 20 0 19 0 28090599 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664797870520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25018] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25018/stat : 25018 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664796817656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25019] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25019/stat : 25019 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090600 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664795765320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25020] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25020/stat : 25020 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090611 9856040960 9603 33554432000 1073741824 1073778376 140736529294864 140664794711592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.46 2.28 2.21 4/213 25020
/proc/meminfo: memFree=26391304/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=3.48 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 8047 0 1 0 346 2 0 0 20 0 19 0 28090593 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 11139 2256 9 0 2396937 0
[pid=25001/tid=25003] ppid=24998 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/25001/task/25003/stat : 25003 (java) R 24998 25001 21988 0 -1 4202560 2417 0 1 0 304 2 0 0 20 0 19 0 28090594 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665450557120 140665296491936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25004] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25004/stat : 25004 (java) S 24998 25001 21988 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665423018920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25005] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25005/stat : 25005 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665421966376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25006] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25006/stat : 25006 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665420913320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25007] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25007/stat : 25007 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665419860776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25008] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25008/stat : 25008 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665418807720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25009] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25009/stat : 25009 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665417755176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25010] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25010/stat : 25010 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665416702120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25011] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25011/stat : 25011 (java) S 24998 25001 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140665415649576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25012] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25012/stat : 25012 (java) S 24998 25001 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664803134312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25013] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25013/stat : 25013 (java) S 24998 25001 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664802080632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25014] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25014/stat : 25014 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664801027464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25015] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25015/stat : 25015 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664799976208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25016] ppid=24998 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25001/task/25016/stat : 25016 (java) S 24998 25001 21988 0 -1 4202560 2778 0 0 0 21 0 0 0 20 0 19 0 28090599 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664798923064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25017] ppid=24998 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25001/task/25017/stat : 25017 (java) S 24998 25001 21988 0 -1 4202560 1579 0 0 0 18 0 0 0 20 0 19 0 28090599 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664797870520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25018] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25018/stat : 25018 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664796817656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25019] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25019/stat : 25019 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090600 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664795765320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25020] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25020/stat : 25020 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090611 9856040960 11139 33554432000 1073741824 1073778376 140736529294864 140664794711592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.42 2.28 2.21 3/213 25020
/proc/meminfo: memFree=26382708/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=6.71 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 8836 0 1 0 669 2 0 0 20 0 19 0 28090593 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 13173 2258 9 0 2396937 0
[pid=25001/tid=25003] ppid=24998 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/25001/task/25003/stat : 25003 (java) R 24998 25001 21988 0 -1 4202560 2422 0 1 0 623 2 0 0 20 0 19 0 28090594 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665450557120 140665296500275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25004] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25004/stat : 25004 (java) S 24998 25001 21988 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665423018920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25005] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25005/stat : 25005 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665421966376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25006] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25006/stat : 25006 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665420913320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25007] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25007/stat : 25007 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665419860776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25008] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25008/stat : 25008 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665418807720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25009] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25009/stat : 25009 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665417755176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25010] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25010/stat : 25010 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665416702120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25011] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25011/stat : 25011 (java) S 24998 25001 21988 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28090595 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140665415649576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25012] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25012/stat : 25012 (java) S 24998 25001 21988 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664803134312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25013] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25013/stat : 25013 (java) S 24998 25001 21988 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664802080632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25014] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25014/stat : 25014 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664801027464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25015] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25015/stat : 25015 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664799976208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25016] ppid=24998 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25001/task/25016/stat : 25016 (java) S 24998 25001 21988 0 -1 4202560 2778 0 0 0 21 0 0 0 20 0 19 0 28090599 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664798923064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25017] ppid=24998 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/25001/task/25017/stat : 25017 (java) S 24998 25001 21988 0 -1 4202560 2362 0 0 0 22 0 0 0 20 0 19 0 28090599 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664797870520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25018] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25018/stat : 25018 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664796817656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25019] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25019/stat : 25019 (java) S 24998 25001 21988 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28090600 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664795765320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25020] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25020/stat : 25020 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090611 9856040960 13173 33554432000 1073741824 1073778376 140736529294864 140664794711592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 9625040


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

[pid=25001/tid=25020] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25020/stat : 25020 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090611 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664794711592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1663.62
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/213 25218
/proc/meminfo: memFree=29320776/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=1723.61 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 10155 0 1 0 172314 47 0 0 20 0 19 0 28090593 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 84211 2272 9 0 2396937 0
[pid=25001/tid=25003] ppid=24998 vsize=9625040 CPUtime=1717.32 cores=1,3,5,7
/proc/25001/task/25003/stat : 25003 (java) R 24998 25001 21988 0 -1 4202560 2489 0 1 0 171702 30 0 0 20 0 19 0 28090594 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665450557104 140665296500280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25004] ppid=24998 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/25001/task/25004/stat : 25004 (java) S 24998 25001 21988 0 -1 4202560 104 0 0 0 13 2 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665423018920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25005] ppid=24998 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25001/task/25005/stat : 25005 (java) S 24998 25001 21988 0 -1 4202560 144 0 0 0 14 3 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665421966376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25006] ppid=24998 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25001/task/25006/stat : 25006 (java) S 24998 25001 21988 0 -1 4202560 248 0 0 0 15 2 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665420913320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25007] ppid=24998 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/25001/task/25007/stat : 25007 (java) S 24998 25001 21988 0 -1 4202560 117 0 0 0 11 1 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665419860776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25008] ppid=24998 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/25001/task/25008/stat : 25008 (java) S 24998 25001 21988 0 -1 4202560 86 0 0 0 10 2 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665418807720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25009] ppid=24998 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/25001/task/25009/stat : 25009 (java) S 24998 25001 21988 0 -1 4202560 34 0 0 0 10 2 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665417755176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25010] ppid=24998 vsize=9625040 CPUtime=0.13 cores=1,3,5,7
/proc/25001/task/25010/stat : 25010 (java) S 24998 25001 21988 0 -1 4202560 142 0 0 0 10 3 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665416702120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25011] ppid=24998 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25001/task/25011/stat : 25011 (java) S 24998 25001 21988 0 -1 4202560 99 0 0 0 13 3 0 0 20 0 19 0 28090595 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140665415649576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25012] ppid=24998 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25001/task/25012/stat : 25012 (java) S 24998 25001 21988 0 -1 4202560 59 0 0 0 1 0 0 0 20 0 19 0 28090597 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664803134312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25013] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25013/stat : 25013 (java) S 24998 25001 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664802080632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25014] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25014/stat : 25014 (java) S 24998 25001 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664801027464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25015] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25015/stat : 25015 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664799976208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25016] ppid=24998 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25001/task/25016/stat : 25016 (java) S 24998 25001 21988 0 -1 4202560 2778 0 0 0 21 0 0 0 20 0 19 0 28090599 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664798923064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25017] ppid=24998 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/25001/task/25017/stat : 25017 (java) S 24998 25001 21988 0 -1 4202560 2497 0 0 0 24 0 0 0 20 0 19 0 28090599 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664797870520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25018] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25018/stat : 25018 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664796817656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25019] ppid=24998 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25001/task/25019/stat : 25019 (java) S 24998 25001 21988 0 -1 4202560 100 0 0 0 13 22 0 0 20 0 19 0 28090600 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664795765320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25020] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25020/stat : 25020 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090611 9856040960 84211 33554432000 1073741824 1073778376 140736529294864 140664794711592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1723.61
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.35 2.29 2.21 4/213 25219
/proc/meminfo: memFree=29307632/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=1783.72 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 10192 0 1 0 178323 49 0 0 20 0 19 0 28090593 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 87798 2272 9 0 2396937 0
[pid=25001/tid=25003] ppid=24998 vsize=9625040 CPUtime=1777.12 cores=1,3,5,7
/proc/25001/task/25003/stat : 25003 (java) R 24998 25001 21988 0 -1 4202560 2490 0 1 0 177680 32 0 0 20 0 19 0 28090594 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665450557104 140665296500275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25004] ppid=24998 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25001/task/25004/stat : 25004 (java) S 24998 25001 21988 0 -1 4202560 104 0 0 0 14 2 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665423018920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25005] ppid=24998 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25001/task/25005/stat : 25005 (java) S 24998 25001 21988 0 -1 4202560 145 0 0 0 15 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665421966376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25006] ppid=24998 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25001/task/25006/stat : 25006 (java) S 24998 25001 21988 0 -1 4202560 258 0 0 0 17 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665420913320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25007] ppid=24998 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25001/task/25007/stat : 25007 (java) S 24998 25001 21988 0 -1 4202560 120 0 0 0 12 2 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665419860776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25008] ppid=24998 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/25001/task/25008/stat : 25008 (java) S 24998 25001 21988 0 -1 4202560 91 0 0 0 13 2 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665418807720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25009] ppid=24998 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25001/task/25009/stat : 25009 (java) S 24998 25001 21988 0 -1 4202560 39 0 0 0 13 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665417755176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25010] ppid=24998 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/25001/task/25010/stat : 25010 (java) S 24998 25001 21988 0 -1 4202560 145 0 0 0 12 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665416702120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25011] ppid=24998 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25001/task/25011/stat : 25011 (java) S 24998 25001 21988 0 -1 4202560 102 0 0 0 14 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665415649576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25012] ppid=24998 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25001/task/25012/stat : 25012 (java) S 24998 25001 21988 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 19 0 28090597 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664803134312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25013] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25013/stat : 25013 (java) S 24998 25001 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664802080632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25014] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25014/stat : 25014 (java) S 24998 25001 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664801027464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25015] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25015/stat : 25015 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664799976208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25016] ppid=24998 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25001/task/25016/stat : 25016 (java) S 24998 25001 21988 0 -1 4202560 2778 0 0 0 21 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664798923064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25017] ppid=24998 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/25001/task/25017/stat : 25017 (java) S 24998 25001 21988 0 -1 4202560 2497 0 0 0 24 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664797870520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25018] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25018/stat : 25018 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664796817656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25019] ppid=24998 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/25001/task/25019/stat : 25019 (java) S 24998 25001 21988 0 -1 4202560 104 0 0 0 14 23 0 0 20 0 19 0 28090600 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664795765320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25020] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25020/stat : 25020 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090611 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664794711592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1783.72
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.61 s]
/proc/loadavg: 2.27 2.27 2.20 3/213 25219
/proc/meminfo: memFree=29307892/32872528 swapFree=1542984/1696284
[pid=25001] ppid=24998 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/25001/stat : 25001 (java) S 24998 25001 21988 0 -1 4202496 10192 0 1 0 179953 49 0 0 20 0 19 0 28090593 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140736529286000 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25001/statm: 2406260 87798 2272 9 0 2396937 0
[pid=25001/tid=25003] ppid=24998 vsize=9625040 CPUtime=1793.39 cores=1,3,5,7
/proc/25001/task/25003/stat : 25003 (java) R 24998 25001 21988 0 -1 4202560 2490 0 1 0 179307 32 0 0 20 0 19 0 28090594 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665450557104 140665296500275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25004] ppid=24998 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25001/task/25004/stat : 25004 (java) S 24998 25001 21988 0 -1 4202560 104 0 0 0 14 2 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665423018920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25005] ppid=24998 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25001/task/25005/stat : 25005 (java) S 24998 25001 21988 0 -1 4202560 145 0 0 0 15 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665421966376 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25006] ppid=24998 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25001/task/25006/stat : 25006 (java) S 24998 25001 21988 0 -1 4202560 258 0 0 0 17 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665420913320 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25007] ppid=24998 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/25001/task/25007/stat : 25007 (java) S 24998 25001 21988 0 -1 4202560 120 0 0 0 12 2 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665419860776 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25008] ppid=24998 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/25001/task/25008/stat : 25008 (java) S 24998 25001 21988 0 -1 4202560 91 0 0 0 13 2 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665418807720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25009] ppid=24998 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25001/task/25009/stat : 25009 (java) S 24998 25001 21988 0 -1 4202560 39 0 0 0 13 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665417755176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25010] ppid=24998 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/25001/task/25010/stat : 25010 (java) S 24998 25001 21988 0 -1 4202560 145 0 0 0 12 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665416702120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25001/tid=25011] ppid=24998 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25001/task/25011/stat : 25011 (java) S 24998 25001 21988 0 -1 4202560 102 0 0 0 14 3 0 0 20 0 19 0 28090595 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140665415649576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25001/tid=25012] ppid=24998 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/25001/task/25012/stat : 25012 (java) S 24998 25001 21988 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 19 0 28090597 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664803134312 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25013] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25013/stat : 25013 (java) S 24998 25001 21988 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664802080632 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25014] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25014/stat : 25014 (java) S 24998 25001 21988 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28090597 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664801027464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25015] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25015/stat : 25015 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664799976208 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25016] ppid=24998 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25001/task/25016/stat : 25016 (java) S 24998 25001 21988 0 -1 4202560 2778 0 0 0 21 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664798923064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25001/tid=25017] ppid=24998 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/25001/task/25017/stat : 25017 (java) S 24998 25001 21988 0 -1 4202560 2497 0 0 0 24 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664797870520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25018] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25018/stat : 25018 (java) S 24998 25001 21988 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28090599 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664796817656 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25019] ppid=24998 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/25001/task/25019/stat : 25019 (java) S 24998 25001 21988 0 -1 4202560 104 0 0 0 14 23 0 0 20 0 19 0 28090600 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664795765320 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25001/tid=25020] ppid=24998 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25001/task/25020/stat : 25020 (java) S 24998 25001 21988 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28090611 9856040960 87798 33554432000 1073741824 1073778376 140736529294864 140664794711592 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 25001 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 25001 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=969123
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=912861
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.65
CPU time (s): 1800.02
CPU user time (s): 1799.53
CPU system time (s): 0.49
CPU usage (%): 100.076
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.97
system time used= 0.912861
maximum resident set size= 351360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10241
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38344
involuntary context switches= 21735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.909 second user time and 16.4905 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 16:34:00
IDJOB=4105373
IDBENCH=2844
IDSOLVER=2546
FILE ID=node125/4105373-1466260440
RUNJOBID= node125-1466240732-22005
PBS_JOBID= 19918195
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105373-1466260440/watcher-4105373-1466260440 -o /tmp/evaluation-result-4105373-1466260440/solver-4105373-1466260440 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466240732-22005 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105373-1466260440.opb

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

MD5SUM BENCH= e82b2413101b8c36ea34c3d9f95f4ad5
RANDOM SEED=197219669

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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		: 2666.683
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.683
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:        26425904 kB
Buffers:          133120 kB
Cached:           190496 kB
SwapCached:          688 kB
Active:          3768804 kB
Inactive:         226132 kB
Active(anon):    3672616 kB
Inactive(anon):     1100 kB
Active(file):      96188 kB
Inactive(file):   225032 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       5379460 kB
Mapped:            15376 kB
Shmem:                 0 kB
Slab:             604704 kB
SReclaimable:      48152 kB
SUnreclaim:       556552 kB
KernelStack:        1584 kB
PageTables:        14788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5695008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3633152 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= 71744 MiB
End job on node125 at 2016-06-18 17:03:58