Trace number 4106062

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16OPT3 1612.24 805.91

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb
MD5SUMbf07e05475dbb8a26e29c8119be0dea3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.220965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables243
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)729
Sum of products size (including duplicates)1458
Number of different products729
Sum of products size1458

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	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.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4106062-1466268279.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
0.19/0.26	c ... done. Wall clock time 0.13s.
0.19/0.26	c declared #vars     243
0.19/0.26	c internal #vars     972
0.19/0.26	c #constraints  1486
0.19/0.26	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.19/0.26	c constraints type 
0.19/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 729
0.19/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 757
0.19/0.26	c 1486 constraints processed.
0.19/0.26	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.19/0.26	c constraints type 
0.19/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 729
0.19/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPb => 757
0.19/0.26	c 1486 constraints processed.
0.19/0.26	c objective function length is 9 literals
3.18/1.04	c cleaning 2497 clauses out of 5002 with flag 10146/5002
4.97/1.68	c cleaning 4246 clauses out of 8504 with flag 22368/11001
6.77/2.40	c cleaning 5626 clauses out of 11260 with flag 36568/18003
8.81/3.36	c cleaning 6802 clauses out of 13632 with flag 52760/26001
11.32/4.54	c cleaning 7908 clauses out of 15830 with flag 71065/35001
14.34/6.06	c cleaning 8952 clauses out of 17922 with flag 91355/45001
17.95/7.87	c cleaning 9973 clauses out of 19969 with flag 113923/56000
22.56/10.11	c cleaning 10990 clauses out of 21997 with flag 138281/68001
27.61/12.69	c cleaning 11989 clauses out of 24006 with flag 164809/81000
33.65/15.61	c cleaning 13001 clauses out of 26017 with flag 193381/95000
40.50/19.08	c cleaning 13995 clauses out of 28017 with flag 223825/110001
45.70/21.66	c cleaning 0 clauses out of 5000 with flag 0/5000
48.44/22.81	c cleaning 14995 clauses out of 30022 with flag 256554/126001
57.26/27.12	c cleaning 15998 clauses out of 32026 with flag 294882/143000
60.11/28.57	c cleaning 17011 clauses out of 34028 with flag 333293/161000
65.32/31.20	c cleaning 17997 clauses out of 36018 with flag 373432/180001
68.77/32.88	c cleaning 18996 clauses out of 38020 with flag 415954/200000
73.78/35.33	c cleaning 20008 clauses out of 40024 with flag 461818/221000
80.20/38.56	c cleaning 21000 clauses out of 42016 with flag 509177/243000
84.81/40.82	c cleaning 22004 clauses out of 44017 with flag 560817/266001
88.80/42.90	c cleaning 22997 clauses out of 46012 with flag 611710/290000
97.05/46.95	c cleaning 24000 clauses out of 48015 with flag 666966/315000
102.52/49.67	c cleaning 24987 clauses out of 50016 with flag 725398/341001
108.31/52.58	c cleaning 26005 clauses out of 52029 with flag 786367/368001
109.12/52.98	c And the winner is solver0
109.17/53.31	c SATISFIABLE
109.17/53.31	c OPTIMIZING...
109.17/53.31	c Got one! Elapsed wall clock time (in seconds):53.185
109.17/53.31	o 69
109.74/53.67	c cleaning 18170 clauses out of 36355 with flag 11423/378332
110.95/54.22	c cleaning 12088 clauses out of 24185 with flag 25137/384332
112.15/54.83	c cleaning 9541 clauses out of 19096 with flag 42051/391331
112.35/54.99	c And the winner is solver0
112.55/55.32	c Got one! Elapsed wall clock time (in seconds):55.186
112.55/55.32	o 55
112.71/55.46	c cleaning 7491 clauses out of 14998 with flag 6321/396774
113.76/55.92	c cleaning 6747 clauses out of 13511 with flag 20382/402778
114.37/56.28	c cleaning 6875 clauses out of 13761 with flag 35971/409775
115.57/56.87	c cleaning 7441 clauses out of 14885 with flag 54927/417774
117.00/57.56	c cleaning 8219 clauses out of 16444 with flag 75691/426774
118.61/58.37	c cleaning 9108 clauses out of 18225 with flag 98552/436774
120.00/59.07	c cleaning 10045 clauses out of 20117 with flag 122948/447774
121.80/59.93	c cleaning 11025 clauses out of 22073 with flag 149071/459775
123.80/60.92	c cleaning 12017 clauses out of 24047 with flag 178694/472774
125.84/61.91	c cleaning 13002 clauses out of 26030 with flag 209339/486774
129.04/63.55	c cleaning 14001 clauses out of 28028 with flag 244048/501774
132.24/65.12	c cleaning 14996 clauses out of 30027 with flag 279517/517774
135.44/66.75	c cleaning 16002 clauses out of 32031 with flag 317612/534774
139.09/68.51	c cleaning 17004 clauses out of 34031 with flag 358692/552776
141.89/69.94	c cleaning 18005 clauses out of 36024 with flag 399910/571774
146.77/72.38	c cleaning 18996 clauses out of 38019 with flag 443384/591774
150.18/74.10	c And the winner is solver0
150.37/74.34	c Got one! Elapsed wall clock time (in seconds):74.211
150.37/74.34	o 43
152.47/75.43	c cleaning 22237 clauses out of 44483 with flag 10622/617234
154.27/76.33	c cleaning 14116 clauses out of 28246 with flag 23697/623234
155.47/76.98	c cleaning 10543 clauses out of 21130 with flag 38988/630234
156.29/77.33	c cleaning 9285 clauses out of 18587 with flag 58748/638234
158.29/78.36	c cleaning 9144 clauses out of 18303 with flag 78083/647235
160.69/79.57	c cleaning 9568 clauses out of 19158 with flag 99260/657234
163.69/81.01	c cleaning 10287 clauses out of 20591 with flag 121745/668235
165.53/81.99	c cleaning 11135 clauses out of 22303 with flag 146730/680234
167.52/82.93	c cleaning 12082 clauses out of 24168 with flag 174207/693234
169.72/84.07	c cleaning 13031 clauses out of 26087 with flag 203853/707235
172.32/85.39	c cleaning 14021 clauses out of 28056 with flag 236091/722235
174.96/86.64	c cleaning 14998 clauses out of 30035 with flag 271206/738235
175.57/86.95	c And the winner is solver0
175.70/87.34	c Got one! Elapsed wall clock time (in seconds):87.214
175.70/87.34	o 9
175.80/87.44	c cleaning 10358 clauses out of 20734 with flag 5119/743932
176.60/87.89	c cleaning 8176 clauses out of 16376 with flag 18320/749932
177.60/88.35	c cleaning 7591 clauses out of 15200 with flag 33130/756932
178.80/88.99	c cleaning 7804 clauses out of 15609 with flag 49686/764932
180.00/89.54	c cleaning 8400 clauses out of 16806 with flag 69330/773933
180.40/89.71	c And the winner is solver0
180.46/89.84	c Got one! Elapsed wall clock time (in seconds):89.715
180.46/89.84	o 5
180.58/89.97	c cleaning 7038 clauses out of 14099 with flag 4213/779626
181.39/90.34	c cleaning 6522 clauses out of 13060 with flag 17348/785625
182.17/90.76	c cleaning 6746 clauses out of 13538 with flag 32038/792625
183.38/91.32	c cleaning 7389 clauses out of 14793 with flag 49503/800626
184.60/91.98	c cleaning 8199 clauses out of 16404 with flag 68949/809626
186.20/92.76	c cleaning 9097 clauses out of 18204 with flag 90770/819625
187.60/93.43	c cleaning 10045 clauses out of 20108 with flag 114988/830626
190.22/94.76	c cleaning 11013 clauses out of 22062 with flag 141197/842625
192.83/96.07	c cleaning 12009 clauses out of 24049 with flag 170001/855625
194.64/96.99	c cleaning 13015 clauses out of 26040 with flag 199258/869625
195.03/97.18	c And the winner is solver0
195.26/97.35	c Got one! Elapsed wall clock time (in seconds):97.217
195.26/97.35	o 3
195.75/97.66	c cleaning 9393 clauses out of 18791 with flag 6747/875391
196.95/98.28	c cleaning 7689 clauses out of 15398 with flag 19276/881391
197.75/98.68	c cleaning 7341 clauses out of 14710 with flag 35011/888392
198.57/99.08	c cleaning 7676 clauses out of 15368 with flag 52518/896391
199.95/99.79	c cleaning 8332 clauses out of 16693 with flag 74857/905392
202.38/100.91	c cleaning 9175 clauses out of 18361 with flag 96005/915392
203.98/101.79	c cleaning 10083 clauses out of 20186 with flag 119640/926392
206.38/102.91	c cleaning 11041 clauses out of 22102 with flag 149464/938391
208.62/104.03	c cleaning 12021 clauses out of 24062 with flag 187975/951392
211.22/105.35	c cleaning 13014 clauses out of 26041 with flag 218446/965392
213.22/106.34	c cleaning 14004 clauses out of 28026 with flag 252576/980391
216.27/107.84	c cleaning 15005 clauses out of 30023 with flag 289313/996392
218.67/109.09	c cleaning 16005 clauses out of 32017 with flag 327318/1013391
221.06/110.24	c cleaning 17004 clauses out of 34013 with flag 365755/1031392
224.08/111.72	c cleaning 17980 clauses out of 36009 with flag 406629/1050392
228.48/113.97	c cleaning 19011 clauses out of 38028 with flag 452234/1070391
232.72/116.10	c cleaning 19983 clauses out of 40017 with flag 498155/1091391
237.71/118.56	c cleaning 20998 clauses out of 42035 with flag 547841/1113392
242.35/120.82	c cleaning 22003 clauses out of 44036 with flag 598686/1136391
244.98/122.14	c cleaning 0 clauses out of 12302 with flag 0/12308
247.97/123.66	c cleaning 23007 clauses out of 46033 with flag 652253/1160391
254.05/126.65	c cleaning 23994 clauses out of 48026 with flag 708278/1185391
259.25/129.20	c cleaning 25003 clauses out of 50031 with flag 764880/1211391
263.28/131.24	c cleaning 26007 clauses out of 52029 with flag 823220/1238392
269.71/134.46	c cleaning 26989 clauses out of 54021 with flag 882627/1266391
277.34/138.24	c cleaning 28001 clauses out of 56032 with flag 947167/1295391
283.78/141.40	c cleaning 29004 clauses out of 58032 with flag 1012304/1325392
292.82/145.93	c cleaning 29985 clauses out of 60029 with flag 1084472/1356393
300.27/149.66	c cleaning 31017 clauses out of 62043 with flag 1152286/1388392
307.51/153.27	c cleaning 31995 clauses out of 64025 with flag 1224342/1421391
316.37/157.69	c cleaning 33009 clauses out of 66030 with flag 1303442/1455391
323.61/161.26	c cleaning 33993 clauses out of 68022 with flag 1380917/1490392
341.72/170.27	c cleaning 35008 clauses out of 70028 with flag 1462067/1526392
354.36/176.53	c cleaning 36000 clauses out of 72019 with flag 1546074/1563391
365.86/182.21	c cleaning 37007 clauses out of 74020 with flag 1630581/1601392
375.11/186.86	c cleaning 38000 clauses out of 76014 with flag 1716969/1640393
388.48/193.61	c cleaning 38994 clauses out of 78012 with flag 1806304/1680391
400.93/199.83	c cleaning 39996 clauses out of 80018 with flag 1901188/1721391
413.62/206.16	c cleaning 41001 clauses out of 82023 with flag 1993707/1763392
427.27/212.92	c cleaning 42009 clauses out of 84021 with flag 2087746/1806391
443.18/220.90	c cleaning 43000 clauses out of 86012 with flag 2187034/1850391
470.27/234.34	c cleaning 43989 clauses out of 88012 with flag 2282105/1895391
494.35/246.31	c cleaning 45009 clauses out of 90025 with flag 2379132/1941393
509.44/253.82	c cleaning 45996 clauses out of 92015 with flag 2481547/1988392
524.17/261.19	c cleaning 47003 clauses out of 94018 with flag 2590391/2036391
541.90/270.18	c cleaning 47997 clauses out of 96015 with flag 2695866/2085391
554.56/276.47	c cleaning 48990 clauses out of 98018 with flag 2806837/2135391
569.24/283.79	c cleaning 50005 clauses out of 100030 with flag 2921401/2186393
578.10/288.16	c cleaning 0 clauses out of 18303 with flag 0/18309
594.35/296.25	c cleaning 50997 clauses out of 102023 with flag 3036338/2238391
614.61/306.39	c cleaning 51997 clauses out of 104027 with flag 3153961/2291392
630.45/314.21	c cleaning 52993 clauses out of 106029 with flag 3274834/2345391
647.72/322.82	c cleaning 54011 clauses out of 108036 with flag 3395583/2400391
663.59/330.73	c cleaning 54992 clauses out of 110025 with flag 3521277/2456392
688.77/343.27	c cleaning 56007 clauses out of 112032 with flag 3655486/2513391
717.71/357.67	c cleaning 57007 clauses out of 114027 with flag 3780623/2571393
741.24/369.54	c cleaning 57993 clauses out of 116018 with flag 3909202/2630391
760.94/379.39	c cleaning 59008 clauses out of 118027 with flag 4040604/2690393
787.87/392.76	c cleaning 60001 clauses out of 120016 with flag 4173952/2751391
807.34/402.44	c cleaning 60999 clauses out of 122017 with flag 4313702/2813393
830.22/413.86	c cleaning 62006 clauses out of 124017 with flag 4453872/2876392
855.16/426.28	c cleaning 63000 clauses out of 126011 with flag 4596520/2940392
875.05/436.12	c cleaning 63996 clauses out of 128010 with flag 4739477/3005391
903.36/450.27	c cleaning 64990 clauses out of 130014 with flag 4894923/3071391
934.12/465.53	c cleaning 66003 clauses out of 132024 with flag 5047022/3138391
960.12/478.70	c cleaning 67003 clauses out of 134021 with flag 5194971/3206392
1002.26/499.75	c cleaning 68002 clauses out of 136020 with flag 5345554/3275394
1046.62/521.89	c cleaning 0 clauses out of 25301 with flag 0/25307
1050.05/523.59	c cleaning 69002 clauses out of 138015 with flag 5507216/3345391
1089.81/543.32	c cleaning 69999 clauses out of 140013 with flag 5664721/3416391
1130.97/563.83	c cleaning 70995 clauses out of 142014 with flag 5824567/3488391
1177.41/586.94	c cleaning 72001 clauses out of 144019 with flag 5992491/3561391
1232.78/614.57	c cleaning 73001 clauses out of 146018 with flag 6159054/3635391
1294.45/645.47	c cleaning 73999 clauses out of 148016 with flag 6323545/3710391
1354.09/675.13	c cleaning 75005 clauses out of 150017 with flag 6492606/3786391
1398.27/697.13	c cleaning 76000 clauses out of 152013 with flag 6665880/3863392
1441.48/718.65	c cleaning 76998 clauses out of 154012 with flag 6841271/3941391
1539.10/767.21	c cleaning 78006 clauses out of 156014 with flag 7009299/4020392
1608.02/801.56	c And the winner is solver0
1611.89/805.89	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1611.89/805.89	c starts		: 8317
1611.89/805.89	c conflicts		: 4089556
1611.89/805.89	c decisions		: 4730973
1611.89/805.89	c propagations		: 90797396
1611.89/805.89	c inspects		: 11574978053
1611.89/805.89	c shortcuts		: 0
1611.89/805.89	c learnt literals	: 19
1611.89/805.89	c learnt binary clauses	: 52
1611.89/805.89	c learnt ternary clauses	: 121
1611.89/805.89	c learnt constraints	: 4089536
1611.89/805.89	c ignored constraints	: 0
1611.89/805.89	c root simplifications	: 0
1611.89/805.89	c removed literals (reason simplification)	: 11887009
1611.89/805.89	c reason swapping (by a shorter reason)	: 0
1611.89/805.89	c Calls to reduceDB	: 144
1611.89/805.89	c Number of update (reduction) of LBD	: 135600
1611.89/805.89	c Imported unit clauses	: 0
1611.89/805.89	c number of reductions to clauses (during analyze)	: 0
1611.89/805.89	c number of learned constraints concerned by reduction	: 0
1611.89/805.89	c number of learning phase by resolution	: 0
1611.89/805.89	c number of learning phase by cutting planes	: 0
1611.89/805.89	c speed (assignments/second)	: 112704.15304372004
1611.89/805.89	c non guided choices	44516
1611.89/805.89	c learnt constraints type 
1611.89/805.89	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1611.89/805.89	c starts		: 104
1611.89/805.89	c conflicts		: 33207
1611.89/805.89	c decisions		: 37572
1611.89/805.89	c propagations		: 575066
1611.89/805.89	c inspects		: 991202049
1611.89/805.89	c shortcuts		: 0
1611.89/805.89	c learnt literals	: 0
1611.89/805.89	c learnt binary clauses	: 0
1611.89/805.89	c learnt ternary clauses	: 0
1611.89/805.89	c learnt constraints	: 33201
1611.89/805.89	c ignored constraints	: 0
1611.89/805.89	c root simplifications	: 0
1611.89/805.89	c removed literals (reason simplification)	: 0
1611.89/805.89	c reason swapping (by a shorter reason)	: 0
1611.89/805.89	c Calls to reduceDB	: 4
1611.89/805.89	c Number of update (reduction) of LBD	: 0
1611.89/805.89	c Imported unit clauses	: 0
1611.89/805.89	c number of reductions to clauses (during analyze)	: 0
1611.89/805.89	c number of learned constraints concerned by reduction	: 0
1611.89/805.89	c number of learning phase by resolution	: 0
1611.89/805.89	c number of learning phase by cutting planes	: 0
1611.89/805.89	c speed (assignments/second)	: 811.6130616599886
1611.89/805.89	c non guided choices	1496
1611.89/805.89	c learnt constraints type 
1611.89/805.89	s OPTIMUM FOUND
1611.89/805.89	c Found 6 solution(s)
1611.89/805.90	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 
1611.89/805.90	c objective function=3
1611.89/805.90	c Total wall clock time (in seconds): 805.766

Verifier Data 

OK	3

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-4106062-1466268279/watcher-4106062-1466268279 -o /tmp/evaluation-result-4106062-1466268279/solver-4106062-1466268279 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28301 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106062-1466268279.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.84 3.70 3.87 4/197 29769
/proc/meminfo: memFree=26823764/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/29769/stat : 29769 (java) D 29766 29769 28285 0 -1 4202496 172 0 0 0 0 0 0 0 20 0 1 0 28876358 2560000 46 33554432000 1073741824 1073778376 140736038710816 140736038707944 217401355559 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/29769/statm: 625 46 37 9 0 29 0

[startup+0.10003 s]
/proc/loadavg: 3.84 3.70 3.87 4/197 29769
/proc/meminfo: memFree=26823764/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 4222 0 1 0 6 1 0 0 20 0 18 0 28876358 9787879424 4830 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2389619 4832 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200232 s]
/proc/loadavg: 3.84 3.70 3.87 4/197 29769
/proc/meminfo: memFree=26823764/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9558476 CPUtime=0.19 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 4634 0 1 0 18 1 0 0 20 0 18 0 28876358 9787879424 6742 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2389619 6742 2196 9 0 2380296 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9558476

[startup+0.300218 s]
/proc/loadavg: 3.84 3.70 3.87 4/197 29769
/proc/meminfo: memFree=26823764/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 6720 0 1 0 45 1 0 0 20 0 22 0 28876358 10060525568 9797 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 9797 2237 9 0 2446860 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9824732

[startup+0.700184 s]
/proc/loadavg: 3.84 3.70 3.87 4/197 29769
/proc/meminfo: memFree=26823764/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 17575 0 1 0 197 4 0 0 20 0 22 0 28876358 10060525568 21189 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 21189 2256 9 0 2446860 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9824732

[startup+1.50091 s]
/proc/loadavg: 3.84 3.70 3.87 6/219 29791
/proc/meminfo: memFree=26641808/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=4.65 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 26171 0 1 0 457 8 0 0 20 0 22 0 28876358 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 47688 2281 9 0 2446860 0
[pid=29769/tid=29771] ppid=29766 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/29769/task/29771/stat : 29771 (java) S 29766 29769 28285 0 -1 4202560 2472 0 1 0 20 2 0 0 20 0 22 0 28876359 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928361956216 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29772] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29772/stat : 29772 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928205556648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29773] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29773/stat : 29773 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928204504104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29774] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29774/stat : 29774 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928203451048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29775] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29775/stat : 29775 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928202398504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29776] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29776/stat : 29776 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928201345448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29777] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29777/stat : 29777 (java) S 29766 29769 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928200292904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29778] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29778/stat : 29778 (java) S 29766 29769 28285 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928199239848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29779] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29779/stat : 29779 (java) S 29766 29769 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928198187304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29780] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29780/stat : 29780 (java) S 29766 29769 28285 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 28876362 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928185989992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29781] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29781/stat : 29781 (java) S 29766 29769 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28876362 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928184936312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29782] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29782/stat : 29782 (java) S 29766 29769 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28876363 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928183883144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29783] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29783/stat : 29783 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876365 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928182831888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29784] ppid=29766 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/29769/task/29784/stat : 29784 (java) S 29766 29769 28285 0 -1 4202560 10150 0 0 0 95 1 0 0 20 0 22 0 28876365 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928181778744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29785] ppid=29766 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/29769/task/29785/stat : 29785 (java) S 29766 29769 28285 0 -1 4202560 12045 0 0 0 102 2 0 0 20 0 22 0 28876365 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928180726200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29786] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29786/stat : 29786 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876365 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928179673336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29787] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29787/stat : 29787 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876365 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928178621000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29788] ppid=29766 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/29769/task/29788/stat : 29788 (java) R 29766 29769 28285 0 -1 4202560 26 0 0 0 120 0 0 0 20 0 22 0 28876385 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928177566800 139928234552803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29789] ppid=29766 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/29769/task/29789/stat : 29789 (java) R 29766 29769 28285 0 -1 4202560 90 0 0 0 110 2 0 0 20 0 22 0 28876385 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928176512752 139928234935490 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29790] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29790/stat : 29790 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28876385 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928175461672 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29791] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29791/stat : 29791 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28876385 10060525568 47688 33554432000 1073741824 1073778376 140736014462128 139928174409128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 9824732

[startup+3.10088 s]
/proc/loadavg: 3.84 3.70 3.87 5/219 29791
/proc/meminfo: memFree=26615672/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=8.4 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 31546 0 1 0 824 16 0 0 20 0 22 0 28876358 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 85428 2281 9 0 2446860 0
[pid=29769/tid=29771] ppid=29766 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/29769/task/29771/stat : 29771 (java) S 29766 29769 28285 0 -1 4202560 2472 0 1 0 20 2 0 0 20 0 22 0 28876359 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928361956216 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29772] ppid=29766 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29769/task/29772/stat : 29772 (java) S 29766 29769 28285 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928205556648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29773] ppid=29766 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29769/task/29773/stat : 29773 (java) S 29766 29769 28285 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928204504104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29774] ppid=29766 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29769/task/29774/stat : 29774 (java) S 29766 29769 28285 0 -1 4202560 77 0 0 0 1 0 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928203451048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29775] ppid=29766 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29769/task/29775/stat : 29775 (java) S 29766 29769 28285 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928202398504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29776] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29776/stat : 29776 (java) S 29766 29769 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928201345448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29777] ppid=29766 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29769/task/29777/stat : 29777 (java) S 29766 29769 28285 0 -1 4202560 61 0 0 0 1 0 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928200292904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29778] ppid=29766 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29769/task/29778/stat : 29778 (java) S 29766 29769 28285 0 -1 4202560 72 0 0 0 0 1 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928199239848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29779] ppid=29766 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29769/task/29779/stat : 29779 (java) S 29766 29769 28285 0 -1 4202560 68 0 0 0 0 2 0 0 20 0 22 0 28876361 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928198187304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29780] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29780/stat : 29780 (java) S 29766 29769 28285 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 22 0 28876362 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928185989992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29781] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29781/stat : 29781 (java) S 29766 29769 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28876362 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928184936312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29782] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29782/stat : 29782 (java) S 29766 29769 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28876363 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928183883144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29783] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29783/stat : 29783 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876365 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928182831888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29784] ppid=29766 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/29769/task/29784/stat : 29784 (java) S 29766 29769 28285 0 -1 4202560 11400 0 0 0 118 3 0 0 20 0 22 0 28876365 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928181778744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29785] ppid=29766 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/29769/task/29785/stat : 29785 (java) S 29766 29769 28285 0 -1 4202560 15711 0 0 0 128 2 0 0 20 0 22 0 28876365 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928180726200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29786] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29786/stat : 29786 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876365 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928179673336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29787] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29787/stat : 29787 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876365 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928178621000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29788] ppid=29766 vsize=9824732 CPUtime=2.74 cores=0,2,4,6
/proc/29769/task/29788/stat : 29788 (java) R 29766 29769 28285 0 -1 4202560 28 0 0 0 274 0 0 0 20 0 22 0 28876385 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928177564872 139928234504236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29789] ppid=29766 vsize=9824732 CPUtime=2.67 cores=0,2,4,6
/proc/29769/task/29789/stat : 29789 (java) R 29766 29769 28285 0 -1 4202560 145 0 0 0 263 4 0 0 20 0 22 0 28876385 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928176512576 139928234566053 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29790] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29790/stat : 29790 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28876385 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928175461672 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29791] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29791/stat : 29791 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28876385 10060525568 85428 33554432000 1073741824 1073778376 140736014462128 139928174409128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.4
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 3.93 3.72 3.87 5/219 29791
/proc/meminfo: memFree=26219384/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=14.94 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 32016 0 1 0 1470 24 0 0 20 0 22 0 28876358 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 152874 2281 9 0 2446860 0
[pid=29769/tid=29771] ppid=29766 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/29769/task/29771/stat : 29771 (java) S 29766 29769 28285 0 -1 4202560 2472 0 1 0 20 2 0 0 20 0 22 0 28876359 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928361956216 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29772] ppid=29766 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29769/task/29772/stat : 29772 (java) S 29766 29769 28285 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928205556648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29773] ppid=29766 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/29769/task/29773/stat : 29773 (java) S 29766 29769 28285 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928204504104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29774] ppid=29766 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/29769/task/29774/stat : 29774 (java) S 29766 29769 28285 0 -1 4202560 111 0 0 0 3 1 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928203451048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29775] ppid=29766 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/29769/task/29775/stat : 29775 (java) S 29766 29769 28285 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928202398504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29776] ppid=29766 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29769/task/29776/stat : 29776 (java) S 29766 29769 28285 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928201345448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29777] ppid=29766 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/29769/task/29777/stat : 29777 (java) S 29766 29769 28285 0 -1 4202560 78 0 0 0 4 2 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928200292904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29778] ppid=29766 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29769/task/29778/stat : 29778 (java) S 29766 29769 28285 0 -1 4202560 82 0 0 0 1 2 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928199239848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29779] ppid=29766 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/29769/task/29779/stat : 29779 (java) S 29766 29769 28285 0 -1 4202560 73 0 0 0 1 2 0 0 20 0 22 0 28876361 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928198187304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29780] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29780/stat : 29780 (java) S 29766 29769 28285 0 -1 4202560 444 0 0 0 0 0 0 0 20 0 22 0 28876362 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928185989992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29781] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29781/stat : 29781 (java) S 29766 29769 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28876362 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928184936312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29782] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29782/stat : 29782 (java) S 29766 29769 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28876363 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928183883144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29783] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29783/stat : 29783 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28876365 10060525568 152874 33554432000 1073741824 1073778376 140736014462128 139928182831888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29784] ppid=29766 vsize=9824732 CPUtime=1.22 cores=0,2,4,6

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

[pid=29769/tid=29784] ppid=29766 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/29769/task/29784/stat : 29784 (java) S 29766 29769 28285 0 -1 4202560 11411 0 0 0 128 3 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928181778744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29785] ppid=29766 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/29769/task/29785/stat : 29785 (java) S 29766 29769 28285 0 -1 4202560 19607 0 0 0 210 4 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928180726200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29786] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29786/stat : 29786 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928179673336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29787] ppid=29766 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/29769/task/29787/stat : 29787 (java) S 29766 29769 28285 0 -1 4202560 46 0 0 0 15 15 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928178621000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29791] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29791/stat : 29791 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28876385 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928174409128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1605.96
Current children cumulated vsize (KiB) 9824732

[startup+804.801 s]
/proc/loadavg: 3.56 3.99 3.98 4/215 29983
/proc/meminfo: memFree=27029012/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=1607.56 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 42152 0 1 0 160569 187 0 0 20 0 19 0 28876358 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 481546 2294 9 0 2446860 0
[pid=29769/tid=29771] ppid=29766 vsize=9824732 CPUtime=3.1 cores=0,2,4,6
/proc/29769/task/29771/stat : 29771 (java) R 29766 29769 28285 0 -1 4202560 2480 0 1 0 307 3 0 0 20 0 19 0 28876359 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928361953840 139928235283087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29772] ppid=29766 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/29769/task/29772/stat : 29772 (java) S 29766 29769 28285 0 -1 4202560 489 0 0 0 221 7 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928205556648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29773] ppid=29766 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/29769/task/29773/stat : 29773 (java) S 29766 29769 28285 0 -1 4202560 510 0 0 0 208 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928204504104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29774] ppid=29766 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/29769/task/29774/stat : 29774 (java) S 29766 29769 28285 0 -1 4202560 450 0 0 0 201 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928203451048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29775] ppid=29766 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/29769/task/29775/stat : 29775 (java) S 29766 29769 28285 0 -1 4202560 405 0 0 0 211 10 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928202398504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29776] ppid=29766 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/29769/task/29776/stat : 29776 (java) S 29766 29769 28285 0 -1 4202560 623 0 0 0 234 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928201345448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29777] ppid=29766 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/29769/task/29777/stat : 29777 (java) S 29766 29769 28285 0 -1 4202560 459 0 0 0 224 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928200292904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29778] ppid=29766 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/29769/task/29778/stat : 29778 (java) S 29766 29769 28285 0 -1 4202560 483 0 0 0 218 10 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928199239848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29779] ppid=29766 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/29769/task/29779/stat : 29779 (java) S 29766 29769 28285 0 -1 4202560 440 0 0 0 211 11 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928198187304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29780] ppid=29766 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/29769/task/29780/stat : 29780 (java) S 29766 29769 28285 0 -1 4202560 1563 0 0 0 202 22 0 0 20 0 19 0 28876362 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928185989992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29781] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29781/stat : 29781 (java) S 29766 29769 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28876362 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928184936312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29782] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29782/stat : 29782 (java) S 29766 29769 28285 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28876363 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928183883144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29783] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29783/stat : 29783 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928182831888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29784] ppid=29766 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/29769/task/29784/stat : 29784 (java) S 29766 29769 28285 0 -1 4202560 11411 0 0 0 128 3 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928181778744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29785] ppid=29766 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/29769/task/29785/stat : 29785 (java) S 29766 29769 28285 0 -1 4202560 19607 0 0 0 210 4 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928180726200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29786] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29786/stat : 29786 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928179673336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29787] ppid=29766 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/29769/task/29787/stat : 29787 (java) S 29766 29769 28285 0 -1 4202560 46 0 0 0 15 15 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928178621000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29791] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29791/stat : 29791 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28876385 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928174409128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1607.56
Current children cumulated vsize (KiB) 9824732

[startup+805.601 s]
/proc/loadavg: 3.51 3.97 3.97 4/215 29983
/proc/meminfo: memFree=27027584/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=1608.36 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 42152 0 1 0 160649 187 0 0 20 0 19 0 28876358 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 481546 2294 9 0 2446860 0
[pid=29769/tid=29771] ppid=29766 vsize=9824732 CPUtime=3.9 cores=0,2,4,6
/proc/29769/task/29771/stat : 29771 (java) R 29766 29769 28285 0 -1 4202560 2480 0 1 0 387 3 0 0 20 0 19 0 28876359 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928361953840 139928234186672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29772] ppid=29766 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/29769/task/29772/stat : 29772 (java) S 29766 29769 28285 0 -1 4202560 489 0 0 0 221 7 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928205556648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29773] ppid=29766 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/29769/task/29773/stat : 29773 (java) S 29766 29769 28285 0 -1 4202560 510 0 0 0 208 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928204504104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29774] ppid=29766 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/29769/task/29774/stat : 29774 (java) S 29766 29769 28285 0 -1 4202560 450 0 0 0 201 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928203451048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29775] ppid=29766 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/29769/task/29775/stat : 29775 (java) S 29766 29769 28285 0 -1 4202560 405 0 0 0 211 10 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928202398504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29776] ppid=29766 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/29769/task/29776/stat : 29776 (java) S 29766 29769 28285 0 -1 4202560 623 0 0 0 234 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928201345448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29777] ppid=29766 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/29769/task/29777/stat : 29777 (java) S 29766 29769 28285 0 -1 4202560 459 0 0 0 224 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928200292904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29778] ppid=29766 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/29769/task/29778/stat : 29778 (java) S 29766 29769 28285 0 -1 4202560 483 0 0 0 218 10 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928199239848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29779] ppid=29766 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/29769/task/29779/stat : 29779 (java) S 29766 29769 28285 0 -1 4202560 440 0 0 0 211 11 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928198187304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29780] ppid=29766 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/29769/task/29780/stat : 29780 (java) S 29766 29769 28285 0 -1 4202560 1563 0 0 0 202 22 0 0 20 0 19 0 28876362 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928185989992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29781] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29781/stat : 29781 (java) S 29766 29769 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28876362 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928184936312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29782] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29782/stat : 29782 (java) S 29766 29769 28285 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28876363 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928183883144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29783] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29783/stat : 29783 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928182831888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29784] ppid=29766 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/29769/task/29784/stat : 29784 (java) S 29766 29769 28285 0 -1 4202560 11411 0 0 0 128 3 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928181778744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29785] ppid=29766 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/29769/task/29785/stat : 29785 (java) S 29766 29769 28285 0 -1 4202560 19607 0 0 0 210 4 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928180726200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29786] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29786/stat : 29786 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928179673336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29787] ppid=29766 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/29769/task/29787/stat : 29787 (java) S 29766 29769 28285 0 -1 4202560 46 0 0 0 15 15 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928178621000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29791] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29791/stat : 29791 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28876385 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928174409128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1608.36
Current children cumulated vsize (KiB) 9824732

[startup+805.801 s]
/proc/loadavg: 3.51 3.97 3.97 4/215 29983
/proc/meminfo: memFree=27027584/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=1608.56 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 42152 0 1 0 160669 187 0 0 20 0 19 0 28876358 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 2456183 481546 2294 9 0 2446860 0
[pid=29769/tid=29771] ppid=29766 vsize=9824732 CPUtime=4.1 cores=0,2,4,6
/proc/29769/task/29771/stat : 29771 (java) R 29766 29769 28285 0 -1 4202560 2480 0 1 0 407 3 0 0 20 0 19 0 28876359 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928361953840 139928235282829 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29772] ppid=29766 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/29769/task/29772/stat : 29772 (java) S 29766 29769 28285 0 -1 4202560 489 0 0 0 221 7 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928205556648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29773] ppid=29766 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/29769/task/29773/stat : 29773 (java) S 29766 29769 28285 0 -1 4202560 510 0 0 0 208 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928204504104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29774] ppid=29766 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/29769/task/29774/stat : 29774 (java) S 29766 29769 28285 0 -1 4202560 450 0 0 0 201 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928203451048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29775] ppid=29766 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/29769/task/29775/stat : 29775 (java) S 29766 29769 28285 0 -1 4202560 405 0 0 0 211 10 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928202398504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29776] ppid=29766 vsize=9824732 CPUtime=2.43 cores=0,2,4,6
/proc/29769/task/29776/stat : 29776 (java) S 29766 29769 28285 0 -1 4202560 623 0 0 0 234 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928201345448 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29777] ppid=29766 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/29769/task/29777/stat : 29777 (java) S 29766 29769 28285 0 -1 4202560 459 0 0 0 224 9 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928200292904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29778] ppid=29766 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/29769/task/29778/stat : 29778 (java) S 29766 29769 28285 0 -1 4202560 483 0 0 0 218 10 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928199239848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29779] ppid=29766 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/29769/task/29779/stat : 29779 (java) S 29766 29769 28285 0 -1 4202560 440 0 0 0 211 11 0 0 20 0 19 0 28876361 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928198187304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29780] ppid=29766 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/29769/task/29780/stat : 29780 (java) S 29766 29769 28285 0 -1 4202560 1563 0 0 0 202 22 0 0 20 0 19 0 28876362 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928185989992 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29781] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29781/stat : 29781 (java) S 29766 29769 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28876362 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928184936312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29782] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29782/stat : 29782 (java) S 29766 29769 28285 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28876363 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928183883144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29783] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29783/stat : 29783 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928182831888 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29769/tid=29784] ppid=29766 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/29769/task/29784/stat : 29784 (java) S 29766 29769 28285 0 -1 4202560 11411 0 0 0 128 3 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928181778744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29785] ppid=29766 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/29769/task/29785/stat : 29785 (java) S 29766 29769 28285 0 -1 4202560 19607 0 0 0 210 4 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928180726200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29769/tid=29786] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29786/stat : 29786 (java) S 29766 29769 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928179673336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29769/tid=29787] ppid=29766 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/29769/task/29787/stat : 29787 (java) S 29766 29769 28285 0 -1 4202560 46 0 0 0 15 15 0 0 20 0 19 0 28876365 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928178621000 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29769/tid=29791] ppid=29766 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/29769/task/29791/stat : 29791 (java) S 29766 29769 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28876385 10060525568 481546 33554432000 1073741824 1073778376 140736014462128 139928174409128 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1608.56
Current children cumulated vsize (KiB) 9824732

[startup+805.901 s]
/proc/loadavg: 3.51 3.97 3.97 4/215 29983
/proc/meminfo: memFree=27027584/32872528 swapFree=1534436/1655032
[pid=29769] ppid=29766 vsize=9824732 CPUtime=1608.74 cores=0,2,4,6
/proc/29769/stat : 29769 (java) S 29766 29769 28285 0 -1 4202496 42164 0 1 0 160682 192 0 0 20 0 17 0 28876358 10060525568 481551 33554432000 1073741824 1073778376 140736014462128 140736014453264 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29769/statm: 0 0 0 0 0 0 0
[pid=29769/tid=29785] ppid=29766 vsize=0 CPUtime=2.14 cores=0,2,4,6
/proc/29769/task/29785/stat : 29785 (java) R 29766 29769 28285 0 -1 4203588 19607 0 0 0 210 4 0 0 20 0 2 0 28876365 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1608.74
Current children cumulated vsize (KiB) 9824732

Child status: 30

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

Real time (s): 805.91
CPU time (s): 1612.24
CPU user time (s): 1610.4
CPU system time (s): 1.84068
CPU usage (%): 200.052
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1606.84
system time used= 2.07069
maximum resident set size= 2862496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42164
page faults= 1
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26892
involuntary context switches= 38647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53331 second user time and 7.73782 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 18:44:39
IDJOB=4106062
IDBENCH=47911
IDSOLVER=2543
FILE ID=node122/4106062-1466268279
RUNJOBID= node122-1466264503-28301
PBS_JOBID= 19918220
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106062-1466268279/watcher-4106062-1466268279 -o /tmp/evaluation-result-4106062-1466268279/solver-4106062-1466268279 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28301 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106062-1466268279.opb

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

MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3
RANDOM SEED=1084079820

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26824556 kB
Buffers:          141972 kB
Cached:           218504 kB
SwapCached:            0 kB
Active:          3369176 kB
Inactive:         265008 kB
Active(anon):    3266220 kB
Inactive(anon):     9916 kB
Active(file):     102956 kB
Inactive(file):   255092 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:       5018700 kB
Mapped:            21152 kB
Shmem:               204 kB
Slab:             609868 kB
SReclaimable:      53708 kB
SUnreclaim:       556160 kB
KernelStack:        1784 kB
PageTables:        13596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5349340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3422208 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 node122 at 2016-06-18 18:58:05