Trace number 4084748

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)32134720 1800.09 1780.35

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod013.opb
MD5SUM4cb1be2dcc654132071469b521292770
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark32134720
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32455680
Optimality of the best value was proved NO
Number of variables1488
Total number of constraints62
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 constraints62
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 1488
Biggest coefficient in the objective function 375272767488
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 12937590079727
Number of bits of the sum of numbers in the objective function 44
Biggest number in a constraint 375272767488
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 12937590079727
Number of bits of the biggest sum of numbers44
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@2b21cc40
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@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084748-1465238499.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.28/0.24	c ... done. Wall clock time 0.124s.
0.28/0.24	c declared #vars     1488
0.28/0.24	c #constraints  76
0.28/0.24	c constraints type 
0.28/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 76
0.28/0.24	c 76 constraints processed.
0.28/0.24	c objective function length is 1488 literals
0.28/0.29	c SATISFIABLE
0.28/0.29	c OPTIMIZING...
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.173
0.28/0.29	o 33049600
1.30/0.79	c cleaning 2504 clauses out of 5010 with flag 14664/5010
1.93/1.19	c cleaning 4254 clauses out of 8507 with flag 34590/11011
2.60/1.73	c cleaning 5625 clauses out of 11253 with flag 59431/18011
3.21/2.35	c cleaning 6813 clauses out of 13627 with flag 86545/26010
3.82/2.94	c cleaning 7907 clauses out of 15813 with flag 114711/35009
4.53/3.68	c cleaning 8952 clauses out of 17907 with flag 148179/45010
5.43/4.59	c cleaning 9975 clauses out of 19954 with flag 186256/56009
6.43/5.54	c cleaning 10991 clauses out of 21981 with flag 225571/68011
7.54/6.63	c cleaning 11990 clauses out of 23989 with flag 269364/81010
8.74/7.84	c cleaning 12998 clauses out of 25998 with flag 317000/95009
10.04/9.19	c cleaning 14001 clauses out of 28001 with flag 368451/110010
11.54/10.68	c cleaning 15000 clauses out of 30000 with flag 427052/126010
13.08/12.19	c cleaning 16000 clauses out of 32000 with flag 490474/143010
14.87/13.95	c cleaning 16999 clauses out of 34000 with flag 558559/161010
16.77/15.84	c cleaning 18000 clauses out of 36000 with flag 629785/180009
18.77/17.88	c cleaning 18999 clauses out of 38000 with flag 707024/200009
21.10/20.10	c cleaning 20001 clauses out of 40004 with flag 794677/221012
23.30/22.31	c cleaning 20996 clauses out of 42000 with flag 871436/243009
25.60/24.60	c cleaning 21996 clauses out of 44004 with flag 953744/266009
28.12/27.15	c cleaning 22998 clauses out of 46008 with flag 1043587/290009
30.92/29.90	c cleaning 24007 clauses out of 48013 with flag 1131431/315012
33.62/32.67	c cleaning 24997 clauses out of 50004 with flag 1220970/341010
36.54/35.51	c cleaning 25994 clauses out of 52008 with flag 1309440/368011
39.34/38.37	c cleaning 27004 clauses out of 54012 with flag 1402617/396009
42.78/41.76	c cleaning 28003 clauses out of 56009 with flag 1505725/425010
46.18/45.19	c cleaning 29003 clauses out of 58006 with flag 1618727/455010
50.10/49.02	c cleaning 29995 clauses out of 60002 with flag 1726897/486009
53.50/52.47	c cleaning 31002 clauses out of 62008 with flag 1836961/518010
57.44/56.35	c cleaning 32003 clauses out of 64006 with flag 1955803/551010
61.54/60.44	c cleaning 32999 clauses out of 66003 with flag 2083928/585010
66.07/64.97	c cleaning 34001 clauses out of 68003 with flag 2211894/620009
70.47/69.37	c cleaning 34994 clauses out of 70002 with flag 2341925/656009
75.33/74.13	c cleaning 36001 clauses out of 72010 with flag 2468374/693011
80.43/79.30	c cleaning 37002 clauses out of 74008 with flag 2605172/731010
85.99/84.79	c cleaning 38001 clauses out of 76005 with flag 2751918/770009
91.69/90.41	c cleaning 38996 clauses out of 78004 with flag 2903180/810009
97.03/95.75	c cleaning 40004 clauses out of 80008 with flag 3043300/851009
102.87/101.54	c cleaning 41002 clauses out of 82004 with flag 3185276/893009
109.40/108.08	c cleaning 41991 clauses out of 84002 with flag 3347832/936009
115.70/114.32	c cleaning 42999 clauses out of 86012 with flag 3504231/980010
122.33/120.93	c cleaning 44001 clauses out of 88012 with flag 3664159/1025009
129.59/128.11	c cleaning 45006 clauses out of 90014 with flag 3830466/1071012
136.93/135.49	c cleaning 45996 clauses out of 92005 with flag 4017540/1118009
145.85/144.35	c cleaning 47003 clauses out of 94012 with flag 4240816/1166012
154.70/153.10	c cleaning 47996 clauses out of 96006 with flag 4457834/1215009
163.46/161.89	c cleaning 49006 clauses out of 98012 with flag 4678697/1265011
172.71/171.10	c cleaning 49997 clauses out of 100004 with flag 4909108/1316009
183.19/181.47	c cleaning 51003 clauses out of 102007 with flag 5162374/1368009
192.52/190.77	c cleaning 51992 clauses out of 104004 with flag 5383443/1421009
201.57/199.75	c cleaning 53006 clauses out of 106013 with flag 5613954/1475010
210.71/208.89	c cleaning 53994 clauses out of 108007 with flag 5827849/1530010
220.54/218.61	c cleaning 55003 clauses out of 110013 with flag 6023972/1586010
230.62/228.65	c cleaning 55997 clauses out of 112009 with flag 6222178/1643009
241.45/239.48	c cleaning 57003 clauses out of 114012 with flag 6444551/1701009
252.30/250.21	c cleaning 58001 clauses out of 116009 with flag 6663903/1760009
265.06/262.95	c cleaning 58999 clauses out of 118010 with flag 6900916/1820011
277.79/275.69	c cleaning 59997 clauses out of 120011 with flag 7135559/1881011
291.13/288.91	c cleaning 61004 clauses out of 122015 with flag 7386275/1943012
304.27/302.05	c cleaning 62001 clauses out of 124010 with flag 7635830/2006011
317.03/314.71	c cleaning 63002 clauses out of 126007 with flag 7889452/2070009
330.63/328.28	c cleaning 63999 clauses out of 128005 with flag 8139623/2135009
337.15/334.72	c Got one! Elapsed wall clock time (in seconds):334.607
337.15/334.72	o 32947200
338.25/335.88	c cleaning 50155 clauses out of 100326 with flag 18156/2171329
339.37/336.97	c cleaning 28082 clauses out of 56170 with flag 40518/2177328
340.48/338.02	c cleaning 17538 clauses out of 35088 with flag 67037/2184328
341.48/339.02	c cleaning 12768 clauses out of 25550 with flag 101700/2192328
342.38/339.98	c cleaning 10880 clauses out of 21782 with flag 136230/2201328
343.51/341.03	c cleaning 10444 clauses out of 20903 with flag 171314/2211329
344.71/342.23	c cleaning 10725 clauses out of 21458 with flag 212486/2222328
346.00/343.57	c cleaning 11366 clauses out of 22733 with flag 263664/2234328
347.42/344.95	c cleaning 12180 clauses out of 24367 with flag 318022/2247328
349.04/346.54	c cleaning 13089 clauses out of 26187 with flag 379491/2261328
350.74/348.21	c cleaning 14046 clauses out of 28098 with flag 446885/2276328
352.56/350.04	c cleaning 15022 clauses out of 30052 with flag 515598/2292328
354.67/352.18	c cleaning 16008 clauses out of 32030 with flag 585553/2309328
356.69/354.20	c cleaning 17007 clauses out of 34024 with flag 666685/2327330
359.01/356.47	c cleaning 18004 clauses out of 36016 with flag 752456/2346329
361.21/358.63	c cleaning 19000 clauses out of 38011 with flag 835562/2366328
363.53/360.99	c cleaning 20005 clauses out of 40013 with flag 931347/2387330
366.04/363.43	c cleaning 21003 clauses out of 42008 with flag 1013843/2409330
368.67/366.03	c cleaning 21997 clauses out of 44004 with flag 1089552/2432329
371.78/369.17	c cleaning 22996 clauses out of 46007 with flag 1179565/2456329
374.80/372.18	c cleaning 24002 clauses out of 48011 with flag 1266118/2481329
378.12/375.47	c cleaning 24993 clauses out of 50008 with flag 1363734/2507328
381.96/379.24	c cleaning 26008 clauses out of 52020 with flag 1476558/2534333
386.20/383.44	c cleaning 27002 clauses out of 54007 with flag 1595210/2562328
390.22/387.48	c cleaning 27996 clauses out of 56006 with flag 1713238/2591329
394.29/391.43	c cleaning 29003 clauses out of 58009 with flag 1822218/2621328
398.39/395.59	c cleaning 29995 clauses out of 60007 with flag 1930853/2652329
402.43/399.54	c cleaning 31004 clauses out of 62013 with flag 2038964/2684330
407.04/404.10	c cleaning 32000 clauses out of 64007 with flag 2168528/2717328
411.75/408.83	c cleaning 32981 clauses out of 66007 with flag 2285627/2751328
416.82/413.90	c cleaning 34003 clauses out of 68026 with flag 2406139/2786328
422.25/419.28	c cleaning 35009 clauses out of 70023 with flag 2531976/2822328
427.40/424.36	c Got one! Elapsed wall clock time (in seconds):424.251
427.40/424.36	o 32572416
428.11/425.07	c cleaning 36193 clauses out of 72406 with flag 15937/2859720
428.81/425.75	c cleaning 21100 clauses out of 42213 with flag 34713/2865720
429.63/426.51	c cleaning 14048 clauses out of 28113 with flag 58742/2872720
430.33/427.29	c cleaning 11027 clauses out of 22065 with flag 86383/2880720
431.23/428.18	c cleaning 10016 clauses out of 20039 with flag 118936/2889721
432.27/429.11	c cleaning 10004 clauses out of 20022 with flag 154314/2899720
433.27/430.14	c cleaning 10505 clauses out of 21018 with flag 192500/2910720
434.38/431.24	c cleaning 11258 clauses out of 22515 with flag 235554/2922722
435.67/432.53	c cleaning 12124 clauses out of 24255 with flag 283860/2935720
437.09/433.97	c cleaning 13065 clauses out of 26132 with flag 336606/2949721
438.61/435.47	c cleaning 14029 clauses out of 28066 with flag 393100/2964720
440.44/437.23	c cleaning 15015 clauses out of 30037 with flag 455277/2980720
442.34/439.16	c cleaning 16005 clauses out of 32022 with flag 521102/2997720
444.56/441.31	c cleaning 17002 clauses out of 34017 with flag 591797/3015720
446.86/443.60	c cleaning 18006 clauses out of 36015 with flag 665568/3034720
449.29/446.09	c cleaning 18998 clauses out of 38010 with flag 736136/3054721
451.80/448.58	c cleaning 20006 clauses out of 40011 with flag 808273/3075720
454.63/451.32	c cleaning 21000 clauses out of 42006 with flag 887235/3097721
457.76/454.47	c cleaning 22001 clauses out of 44006 with flag 973183/3120721
460.98/457.70	c cleaning 22993 clauses out of 46004 with flag 1063339/3144720
464.50/461.17	c cleaning 24004 clauses out of 48013 with flag 1157812/3169722
467.70/464.32	c Got one! Elapsed wall clock time (in seconds):464.202
467.70/464.32	o 32291840
468.43/465.01	c cleaning 26495 clauses out of 52996 with flag 24231/3198709
469.03/465.64	c cleaning 16247 clauses out of 32503 with flag 46963/3204711
469.63/466.27	c cleaning 11616 clauses out of 23253 with flag 70928/3211708
470.33/466.91	c cleaning 9810 clauses out of 19637 with flag 99111/3219708
471.14/467.78	c cleaning 9403 clauses out of 18827 with flag 138903/3228708
472.34/468.92	c cleaning 9703 clauses out of 19424 with flag 189477/3238708
473.45/470.07	c cleaning 10361 clauses out of 20721 with flag 241836/3249708
474.87/471.41	c cleaning 11174 clauses out of 22361 with flag 305664/3261709
476.38/472.97	c cleaning 12088 clauses out of 24186 with flag 375920/3274708
477.98/474.55	c cleaning 13048 clauses out of 26099 with flag 453840/3288709
479.59/476.16	c cleaning 14021 clauses out of 28051 with flag 536724/3303709
481.41/477.92	c cleaning 15008 clauses out of 30031 with flag 622908/3319710
483.22/479.79	c cleaning 16006 clauses out of 32021 with flag 717084/3336708
485.25/481.74	c cleaning 17005 clauses out of 34018 with flag 813641/3354711
487.36/483.85	c cleaning 18001 clauses out of 36010 with flag 914961/3373708
489.58/486.09	c cleaning 19003 clauses out of 38009 with flag 1012697/3393708
492.11/488.52	c cleaning 19998 clauses out of 40007 with flag 1097690/3414709
494.61/491.05	c cleaning 21003 clauses out of 42009 with flag 1186827/3436709
497.34/493.74	c cleaning 21999 clauses out of 44005 with flag 1289773/3459708
500.05/496.47	c cleaning 23003 clauses out of 46006 with flag 1402323/3483708
502.77/499.11	c cleaning 24001 clauses out of 48005 with flag 1486460/3508710
505.71/502.01	c cleaning 24995 clauses out of 50003 with flag 1580251/3534709
508.92/505.21	c cleaning 26004 clauses out of 52007 with flag 1680325/3561708
512.15/508.43	c cleaning 26999 clauses out of 54004 with flag 1788545/3589709
515.70/511.94	c cleaning 27999 clauses out of 56004 with flag 1900177/3618708
519.10/515.33	c cleaning 28998 clauses out of 58005 with flag 2006707/3648708
522.72/518.98	c cleaning 29998 clauses out of 60007 with flag 2117170/3679708
526.55/522.76	c cleaning 31002 clauses out of 62010 with flag 2235979/3711709
530.49/526.64	c cleaning 31999 clauses out of 64008 with flag 2354278/3744709
535.18/531.30	c cleaning 33003 clauses out of 66009 with flag 2482625/3778709
539.73/535.75	c cleaning 33996 clauses out of 68005 with flag 2612205/3813708
544.39/540.30	c cleaning 35003 clauses out of 70010 with flag 2749126/3849709
549.36/545.26	c cleaning 36003 clauses out of 72006 with flag 2888093/3886708
554.91/550.71	c cleaning 37002 clauses out of 74004 with flag 3026544/3924709
560.48/556.28	c cleaning 37994 clauses out of 76004 with flag 3165308/3963711
566.93/562.61	c cleaning 39000 clauses out of 78008 with flag 3315822/4003709
573.41/569.05	c cleaning 39996 clauses out of 80007 with flag 3460149/4044708
580.01/575.53	c cleaning 41001 clauses out of 82012 with flag 3602760/4086709
586.66/582.14	c cleaning 42001 clauses out of 84010 with flag 3757384/4129708
593.55/588.92	c cleaning 43001 clauses out of 86011 with flag 3924643/4173710
600.83/596.19	c cleaning 44004 clauses out of 88012 with flag 4088722/4218712
607.59/602.90	c cleaning 44999 clauses out of 90005 with flag 4247203/4264709
615.07/610.21	c cleaning 46002 clauses out of 92006 with flag 4415309/4311709
622.46/617.51	c cleaning 46996 clauses out of 94004 with flag 4592854/4359709
630.78/625.79	c cleaning 47995 clauses out of 96008 with flag 4783887/4408709
639.67/634.51	c cleaning 49004 clauses out of 98012 with flag 4980515/4458708
648.91/643.61	c cleaning 49997 clauses out of 100009 with flag 5173468/4509709
658.23/652.85	c cleaning 50999 clauses out of 102012 with flag 5356329/4561709
667.54/662.06	c cleaning 52000 clauses out of 104012 with flag 5549694/4614708
678.33/672.75	c cleaning 53003 clauses out of 106013 with flag 5756343/4668709
688.34/682.62	c cleaning 54003 clauses out of 108009 with flag 5960973/4723708
698.94/693.18	c cleaning 54999 clauses out of 110007 with flag 6167883/4779709
709.31/703.42	c cleaning 55992 clauses out of 112007 with flag 6395428/4836708
721.05/715.08	c cleaning 56993 clauses out of 114015 with flag 6647279/4894708
730.66/724.58	c cleaning 58007 clauses out of 116023 with flag 6855696/4953709
742.05/735.80	c cleaning 59001 clauses out of 118016 with flag 7117480/5013709
754.19/747.80	c cleaning 60001 clauses out of 120014 with flag 7337682/5074708
766.51/760.10	c cleaning 61001 clauses out of 122013 with flag 7560221/5136708
779.05/772.46	c cleaning 62002 clauses out of 124012 with flag 7807794/5199708
792.42/785.66	c cleaning 62999 clauses out of 126011 with flag 8095313/5263709
806.10/799.20	c cleaning 63998 clauses out of 128012 with flag 8391360/5328709
819.22/812.16	c cleaning 64999 clauses out of 130013 with flag 8683299/5394708
833.21/825.92	c cleaning 66003 clauses out of 132016 with flag 8983788/5461710
847.69/840.20	c cleaning 67002 clauses out of 134011 with flag 9300071/5529708
862.25/854.64	c cleaning 67999 clauses out of 136009 with flag 9638875/5598708
877.42/869.63	c cleaning 69001 clauses out of 138011 with flag 9989422/5668709
892.19/884.22	c cleaning 69996 clauses out of 140009 with flag 10293848/5739708
909.09/900.93	c cleaning 71002 clauses out of 142013 with flag 10598905/5811708
925.34/917.07	c cleaning 71997 clauses out of 144012 with flag 10871529/5884709
941.04/932.58	c cleaning 73001 clauses out of 146014 with flag 11144467/5958708
958.02/949.29	c cleaning 74000 clauses out of 148014 with flag 11422285/6033709
976.31/967.32	c cleaning 74992 clauses out of 150013 with flag 11695379/6109708
980.28/971.24	c Got one! Elapsed wall clock time (in seconds):971.126
980.28/971.24	o 32134720
981.49/972.43	c cleaning 50452 clauses out of 100915 with flag 23401/6135602
982.50/973.45	c cleaning 28227 clauses out of 56463 with flag 47087/6141602
983.48/974.45	c cleaning 17613 clauses out of 35237 with flag 75273/6148603
984.50/975.44	c cleaning 12808 clauses out of 25625 with flag 111214/6156604
985.67/976.54	c cleaning 10899 clauses out of 21815 with flag 156968/6165602
986.77/977.65	c cleaning 10447 clauses out of 20916 with flag 197672/6175602
988.00/978.87	c cleaning 10732 clauses out of 21469 with flag 238619/6186602
989.31/980.15	c cleaning 11368 clauses out of 22739 with flag 282694/6198604
990.62/981.47	c cleaning 12183 clauses out of 24371 with flag 342122/6211604
992.16/982.99	c cleaning 13089 clauses out of 26186 with flag 398123/6225602
993.78/984.58	c cleaning 14044 clauses out of 28097 with flag 460225/6240602
995.59/986.35	c cleaning 15025 clauses out of 30054 with flag 535348/6256603
997.65/988.36	c cleaning 16009 clauses out of 32028 with flag 617791/6273602
999.79/990.41	c cleaning 17006 clauses out of 34019 with flag 697199/6291602
1002.04/992.60	c cleaning 18000 clauses out of 36016 with flag 793171/6310605
1004.39/994.96	c cleaning 19004 clauses out of 38014 with flag 886211/6330603
1006.93/997.40	c cleaning 20000 clauses out of 40010 with flag 960476/6351603
1009.49/999.95	c cleaning 21002 clauses out of 42010 with flag 1037781/6373603
1012.32/1002.75	c cleaning 21998 clauses out of 44008 with flag 1120751/6396603
1015.45/1005.83	c cleaning 22997 clauses out of 46009 with flag 1209701/6420602
1018.59/1008.97	c cleaning 24001 clauses out of 48012 with flag 1300110/6445602
1021.73/1012.09	c cleaning 25006 clauses out of 50012 with flag 1391840/6471603
1025.49/1015.76	c cleaning 25997 clauses out of 52005 with flag 1500091/6498602
1029.06/1019.26	c cleaning 26996 clauses out of 54008 with flag 1601825/6526602
1032.90/1023.04	c cleaning 27999 clauses out of 56012 with flag 1711947/6555602
1036.91/1027.00	c cleaning 29005 clauses out of 58014 with flag 1830950/6585603
1040.97/1031.06	c cleaning 30000 clauses out of 60009 with flag 1942388/6616603
1045.51/1035.51	c cleaning 30998 clauses out of 62008 with flag 2060010/6648602
1050.89/1040.85	c cleaning 32005 clauses out of 64011 with flag 2187767/6681603
1055.97/1045.87	c cleaning 32998 clauses out of 66006 with flag 2321514/6715603
1060.93/1050.70	c cleaning 34002 clauses out of 68007 with flag 2445999/6750602
1066.81/1056.56	c cleaning 35001 clauses out of 70006 with flag 2585123/6786603
1071.88/1061.52	c cleaning 36000 clauses out of 72006 with flag 2717871/6823604
1077.42/1067.04	c cleaning 36998 clauses out of 74004 with flag 2861951/6861602
1083.48/1073.08	c cleaning 38002 clauses out of 76007 with flag 3010662/6900603
1089.16/1078.61	c cleaning 38999 clauses out of 78004 with flag 3153689/6940602
1094.65/1084.01	c cleaning 39996 clauses out of 80006 with flag 3295640/6981603
1100.82/1090.15	c cleaning 41005 clauses out of 82010 with flag 3449729/7023603
1108.08/1097.37	c cleaning 41997 clauses out of 84006 with flag 3625068/7066604
1115.85/1105.09	c cleaning 42997 clauses out of 86008 with flag 3812899/7110603
1125.11/1114.16	c cleaning 44001 clauses out of 88012 with flag 3995740/7155604
1133.91/1122.82	c cleaning 45002 clauses out of 90011 with flag 4181247/7201604
1143.38/1132.13	c cleaning 46003 clauses out of 92008 with flag 4354583/7248603
1152.48/1141.13	c cleaning 47000 clauses out of 94005 with flag 4533364/7296603
1161.80/1150.30	c cleaning 47995 clauses out of 96004 with flag 4714532/7345602
1171.97/1160.38	c cleaning 49002 clauses out of 98013 with flag 4909293/7395606
1181.51/1169.75	c cleaning 49997 clauses out of 100007 with flag 5095838/7446602
1191.11/1179.22	c cleaning 51003 clauses out of 102012 with flag 5291492/7498604
1201.00/1189.10	c cleaning 51997 clauses out of 104009 with flag 5519474/7551604
1210.91/1198.84	c cleaning 52999 clauses out of 106010 with flag 5711769/7605602
1221.47/1209.21	c cleaning 53999 clauses out of 108011 with flag 5911605/7660602
1232.10/1219.78	c cleaning 55002 clauses out of 110012 with flag 6114198/7716602
1242.72/1230.20	c cleaning 55993 clauses out of 112010 with flag 6319816/7773602
1252.85/1240.20	c cleaning 57003 clauses out of 114017 with flag 6538095/7831602
1263.46/1250.61	c cleaning 58000 clauses out of 116014 with flag 6741616/7890602
1274.83/1261.88	c cleaning 59000 clauses out of 118015 with flag 6951830/7950603
1287.12/1274.08	c cleaning 60003 clauses out of 120015 with flag 7201425/8011603
1299.39/1286.12	c cleaning 60998 clauses out of 122011 with flag 7437784/8073602
1311.43/1298.09	c cleaning 62004 clauses out of 124014 with flag 7658892/8136603
1324.55/1310.92	c cleaning 62998 clauses out of 126013 with flag 7899199/8200606
1336.96/1323.14	c cleaning 64007 clauses out of 128013 with flag 8144886/8265604
1351.68/1337.68	c cleaning 64996 clauses out of 130006 with flag 8437356/8331604
1366.47/1352.26	c cleaning 65994 clauses out of 132008 with flag 8702777/8398602
1380.80/1366.30	c cleaning 67004 clauses out of 134014 with flag 8946984/8466602
1395.56/1380.91	c cleaning 67997 clauses out of 136010 with flag 9207762/8535602
1412.02/1397.22	c cleaning 68996 clauses out of 138013 with flag 9470705/8605602
1427.66/1412.77	c cleaning 70004 clauses out of 140018 with flag 9806813/8676603
1443.61/1428.55	c cleaning 71006 clauses out of 142013 with flag 10074695/8748602
1458.97/1443.65	c cleaning 72003 clauses out of 144008 with flag 10324354/8821603
1476.39/1460.82	c cleaning 73000 clauses out of 146005 with flag 10603561/8895603
1494.88/1479.15	c cleaning 73994 clauses out of 148004 with flag 10889316/8970602
1514.51/1498.53	c cleaning 75002 clauses out of 150011 with flag 11171464/9046603
1531.47/1515.34	c cleaning 76003 clauses out of 152009 with flag 11463374/9123603
1549.63/1533.30	c cleaning 76999 clauses out of 154005 with flag 11788504/9201602
1568.60/1551.97	c cleaning 78002 clauses out of 156007 with flag 12101760/9280603
1588.61/1571.68	c cleaning 79000 clauses out of 158004 with flag 12417832/9360602
1608.29/1591.09	c cleaning 80003 clauses out of 160006 with flag 12721468/9441604
1629.51/1611.99	c cleaning 80998 clauses out of 162002 with flag 13007508/9523603
1650.56/1632.76	c cleaning 81996 clauses out of 164003 with flag 13317237/9606602
1669.46/1651.32	c cleaning 83000 clauses out of 166010 with flag 13641556/9690605
1691.30/1672.82	c cleaning 83994 clauses out of 168007 with flag 13943133/9775602
1714.06/1695.30	c cleaning 85005 clauses out of 170016 with flag 14275168/9861605
1736.85/1717.83	c cleaning 85998 clauses out of 172013 with flag 14614416/9948607
1758.40/1739.15	c cleaning 87000 clauses out of 174010 with flag 14973885/10036602
1782.16/1762.69	c cleaning 87996 clauses out of 176013 with flag 15346809/10125605
1800.09/1780.30	c starts		: 17942
1800.09/1780.30	c conflicts		: 10193580
1800.09/1780.30	c decisions		: 17729601
1800.09/1780.30	c propagations		: 557952280
1800.09/1780.30	c inspects		: 32029769369
1800.09/1780.30	c shortcuts		: 0
1800.09/1780.30	c learnt literals	: 0
1800.09/1780.30	c learnt binary clauses	: 0
1800.09/1780.30	c learnt ternary clauses	: 0
1800.09/1780.30	c learnt constraints	: 10193580
1800.09/1780.30	c ignored constraints	: 0
1800.09/1780.30	c root simplifications	: 0
1800.09/1780.30	c removed literals (reason simplification)	: 0
1800.09/1780.30	c reason swapping (by a shorter reason)	: 0
1800.09/1780.30	c Calls to reduceDB	: 271
1800.09/1780.30	c Number of update (reduction) of LBD	: 1748052
1800.09/1780.30	c Imported unit clauses	: 0
1800.09/1780.30	c number of reductions to clauses (during analyze)	: 0
1800.09/1780.30	c number of learned constraints concerned by reduction	: 0
1800.09/1780.30	c number of learning phase by resolution	: 0
1800.09/1780.30	c number of learning phase by cutting planes	: 0
1800.09/1780.30	c speed (assignments/second)	: 313446.6519292943
1800.09/1780.30	c non guided choices	11
1800.09/1780.33	c learnt constraints type 
1800.09/1780.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 155992
1800.09/1780.33	s SATISFIABLE
1800.09/1780.33	c Found 5 solution(s)
1800.09/1780.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 x129 x130 x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 x848 x849 x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 
1800.09/1780.34	c objective function=32134720
1800.09/1780.34	c Total wall clock time (in seconds): 1780.222

Verifier Data 

OK	32134720

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

pid=4604
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.28 2.35 2/194 4607
/proc/meminfo: memFree=27724384/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9300 CPUtime=0 cores=1,3,5,7
/proc/4607/stat : 4607 (java) R 4604 4607 31415 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 105783526 9523200 184 33554432000 1073741824 1073778376 140736875637136 140736875628360 266435456439 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2 1 0 0 0 2 0

[startup+0.10016 s]
/proc/loadavg: 2.33 2.28 2.35 2/194 4607
/proc/meminfo: memFree=27724384/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 105783526 9787879424 6043 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2389619 6043 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200236 s]
/proc/loadavg: 2.33 2.28 2.35 2/194 4607
/proc/meminfo: memFree=27724384/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 5035 0 1 0 27 1 0 0 20 0 18 0 105783526 9787879424 6873 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2389619 6873 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300262 s]
/proc/loadavg: 2.33 2.28 2.35 2/194 4607
/proc/meminfo: memFree=27724384/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 10062 0 1 0 56 1 0 0 20 0 19 0 105783526 9856040960 11052 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 11052 2240 9 0 2396937 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9625040

[startup+0.700278 s]
/proc/loadavg: 2.33 2.28 2.35 2/194 4607
/proc/meminfo: memFree=27724384/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 11633 0 1 0 128 2 0 0 20 0 19 0 105783526 9856040960 12706 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 12706 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.33 2.28 2.35 3/213 4626
/proc/meminfo: memFree=27662192/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=2.34 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 15847 0 1 0 231 3 0 0 20 0 19 0 105783526 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 20308 2258 9 0 2396937 0
[pid=4607/tid=4609] ppid=4604 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/4607/task/4609/stat : 4609 (java) R 4604 4607 31415 0 -1 4202560 2429 0 1 0 145 1 0 0 20 0 19 0 105783527 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694244900544 140694086324761 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4610] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4610/stat : 4610 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694206400680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4611] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4611/stat : 4611 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694205348136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4612] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4612/stat : 4612 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694204295592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4613] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4613/stat : 4613 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694085691944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4614] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4614/stat : 4614 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694084639400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4615] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4615/stat : 4615 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694083586856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4616] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4616/stat : 4616 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694082534312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4617] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4617/stat : 4617 (java) S 4604 4607 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140694081481768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4618] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4618/stat : 4618 (java) S 4604 4607 31415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105783529 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693599152232 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4619] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4619/stat : 4619 (java) S 4604 4607 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693598098552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4620] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4620/stat : 4620 (java) S 4604 4607 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693597045896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4621] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4621/stat : 4621 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693595994640 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4622] ppid=4604 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/4607/task/4622/stat : 4622 (java) S 4604 4607 31415 0 -1 4202560 4261 0 0 0 36 0 0 0 20 0 19 0 105783532 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693594942008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4623] ppid=4604 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/4607/task/4623/stat : 4623 (java) S 4604 4607 31415 0 -1 4202560 7881 0 0 0 48 0 0 0 20 0 19 0 105783532 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693593889464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4624] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4624/stat : 4624 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693592837112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4625] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4625/stat : 4625 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693591784776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4626] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4626/stat : 4626 (java) S 4604 4607 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105783551 9856040960 20308 33554432000 1073741824 1073778376 140733890724192 140693590729512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040

[startup+3.10082 s]
/proc/loadavg: 2.38 2.29 2.36 3/213 4626
/proc/meminfo: memFree=27635320/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=4.03 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 15927 0 1 0 399 4 0 0 20 0 19 0 105783526 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 29529 2259 9 0 2396937 0
[pid=4607/tid=4609] ppid=4604 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/4607/task/4609/stat : 4609 (java) R 4604 4607 31415 0 -1 4202560 2448 0 1 0 303 2 0 0 20 0 19 0 105783527 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694244909304 140694086205237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4610] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4610/stat : 4610 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694206400680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4611] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4611/stat : 4611 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694205348136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4612] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4612/stat : 4612 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694204295592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4613] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4613/stat : 4613 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694085691944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4614] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4614/stat : 4614 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694084639400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4615] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4615/stat : 4615 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694083586856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4616] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4616/stat : 4616 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694082534312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4617] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4617/stat : 4617 (java) S 4604 4607 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140694081481768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4618] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4618/stat : 4618 (java) S 4604 4607 31415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105783529 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693599152232 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4619] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4619/stat : 4619 (java) S 4604 4607 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693598098552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4620] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4620/stat : 4620 (java) S 4604 4607 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693597045896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4621] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4621/stat : 4621 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693595994640 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4622] ppid=4604 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/4607/task/4622/stat : 4622 (java) S 4604 4607 31415 0 -1 4202560 4321 0 0 0 43 0 0 0 20 0 19 0 105783532 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693594942008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4623] ppid=4604 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4607/task/4623/stat : 4623 (java) S 4604 4607 31415 0 -1 4202560 7882 0 0 0 49 0 0 0 20 0 19 0 105783532 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693593889464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4624] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4624/stat : 4624 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693592837112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4625] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4625/stat : 4625 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693591784776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4626] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4626/stat : 4626 (java) S 4604 4607 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105783551 9856040960 29529 33554432000 1073741824 1073778376 140733890724192 140693590729512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.3008 s]
/proc/loadavg: 2.38 2.29 2.36 3/213 4692
/proc/meminfo: memFree=30256312/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=7.24 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 15985 0 1 0 719 5 0 0 20 0 19 0 105783526 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 45222 2273 9 0 2396937 0
[pid=4607/tid=4609] ppid=4604 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/4607/task/4609/stat : 4609 (java) R 4604 4607 31415 0 -1 4202560 2481 0 1 0 622 2 0 0 20 0 19 0 105783527 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694244908144 140694086206217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4610] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4610/stat : 4610 (java) S 4604 4607 31415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694206400680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4611] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4611/stat : 4611 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694205348136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4612] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4612/stat : 4612 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694204295592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4613] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4613/stat : 4613 (java) S 4604 4607 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694085691944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4614] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4614/stat : 4614 (java) S 4604 4607 31415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694084639400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4615] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4615/stat : 4615 (java) S 4604 4607 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694083586856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4616] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4616/stat : 4616 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694082534312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4617] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4617/stat : 4617 (java) S 4604 4607 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105783528 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140694081481768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4618] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4618/stat : 4618 (java) S 4604 4607 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105783529 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693599152232 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4619] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4619/stat : 4619 (java) S 4604 4607 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693598098552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4620] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4620/stat : 4620 (java) S 4604 4607 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693597045896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4621] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4621/stat : 4621 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693595994640 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4622] ppid=4604 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/4607/task/4622/stat : 4622 (java) S 4604 4607 31415 0 -1 4202560 4321 0 0 0 43 0 0 0 20 0 19 0 105783532 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693594942008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4623] ppid=4604 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/4607/task/4623/stat : 4623 (java) S 4604 4607 31415 0 -1 4202560 7882 0 0 0 49 0 0 0 20 0 19 0 105783532 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693593889464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4624] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4624/stat : 4624 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693592837112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4625] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4625/stat : 4625 (java) S 4604 4607 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693591784776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4626] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4626/stat : 4626 (java) S 4604 4607 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105783551 9856040960 45222 33554432000 1073741824 1073778376 140733890724192 140693590729512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 9625040


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

[pid=4607/tid=4626] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4626/stat : 4626 (java) S 4604 4607 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105783551 9856040960 43778 33554432000 1073741824 1073778376 140733890724192 140693590729512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.62
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.18 2.20 3/214 4758
/proc/meminfo: memFree=29787384/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=1741.39 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 27734 0 1 0 174028 111 0 0 20 0 19 0 105783526 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 40890 2282 9 0 2396937 0
[pid=4607/tid=4609] ppid=4604 vsize=9625040 CPUtime=1706.9 cores=1,3,5,7
/proc/4607/task/4609/stat : 4609 (java) R 4604 4607 31415 0 -1 4202560 3504 0 1 0 170655 35 0 0 20 0 19 0 105783527 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694244908272 140694086324627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4610] ppid=4604 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/4607/task/4610/stat : 4610 (java) S 4604 4607 31415 0 -1 4202560 2435 0 0 0 335 8 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694206400680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4611] ppid=4604 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/4607/task/4611/stat : 4611 (java) S 4604 4607 31415 0 -1 4202560 1470 0 0 0 335 8 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694205348136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4612] ppid=4604 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/4607/task/4612/stat : 4612 (java) S 4604 4607 31415 0 -1 4202560 950 0 0 0 324 8 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694204295592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4613] ppid=4604 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/4607/task/4613/stat : 4613 (java) S 4604 4607 31415 0 -1 4202560 1042 0 0 0 339 7 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694085691944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4614] ppid=4604 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/4607/task/4614/stat : 4614 (java) S 4604 4607 31415 0 -1 4202560 947 0 0 0 336 8 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694084639400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4615] ppid=4604 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/4607/task/4615/stat : 4615 (java) S 4604 4607 31415 0 -1 4202560 1057 0 0 0 339 8 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694083586856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4616] ppid=4604 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/4607/task/4616/stat : 4616 (java) S 4604 4607 31415 0 -1 4202560 1124 0 0 0 334 8 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694082534312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4617] ppid=4604 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/4607/task/4617/stat : 4617 (java) S 4604 4607 31415 0 -1 4202560 1402 0 0 0 327 7 0 0 20 0 19 0 105783528 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140694081481768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4618] ppid=4604 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/4607/task/4618/stat : 4618 (java) S 4604 4607 31415 0 -1 4202560 236 0 0 0 130 10 0 0 20 0 19 0 105783529 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693599152232 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4619] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4619/stat : 4619 (java) S 4604 4607 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693598098552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4620] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4620/stat : 4620 (java) S 4604 4607 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693597045896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4621] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4621/stat : 4621 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693595994640 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4622] ppid=4604 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/4607/task/4622/stat : 4622 (java) S 4604 4607 31415 0 -1 4202560 4325 0 0 0 48 0 0 0 20 0 19 0 105783532 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693594942008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4623] ppid=4604 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/4607/task/4623/stat : 4623 (java) S 4604 4607 31415 0 -1 4202560 7884 0 0 0 52 0 0 0 20 0 19 0 105783532 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693593889464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4624] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4624/stat : 4624 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693592837112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4625] ppid=4604 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/4607/task/4625/stat : 4625 (java) S 4604 4607 31415 0 -1 4202560 96 0 0 0 21 32 0 0 20 0 19 0 105783532 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693591784776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4626] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4626/stat : 4626 (java) S 4604 4607 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105783551 9856040960 40890 33554432000 1073741824 1073778376 140733890724192 140693590729512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.39
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.3 s]
/proc/loadavg: 2.20 2.19 2.19 3/213 4759
/proc/meminfo: memFree=29791352/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 27783 0 1 0 179895 114 0 0 20 0 19 0 105783526 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 39549 2282 9 0 2396937 0
[pid=4607/tid=4609] ppid=4604 vsize=9625040 CPUtime=1764.32 cores=1,3,5,7
/proc/4607/task/4609/stat : 4609 (java) R 4604 4607 31415 0 -1 4202560 3544 0 1 0 176396 36 0 0 20 0 19 0 105783527 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694244908288 140694085928478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4610] ppid=4604 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/4607/task/4610/stat : 4610 (java) S 4604 4607 31415 0 -1 4202560 2436 0 0 0 348 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694206400680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4611] ppid=4604 vsize=9625040 CPUtime=3.53 cores=1,3,5,7
/proc/4607/task/4611/stat : 4611 (java) S 4604 4607 31415 0 -1 4202560 1470 0 0 0 345 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694205348136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4612] ppid=4604 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/4607/task/4612/stat : 4612 (java) S 4604 4607 31415 0 -1 4202560 950 0 0 0 339 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694204295592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4613] ppid=4604 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/4607/task/4613/stat : 4613 (java) S 4604 4607 31415 0 -1 4202560 1042 0 0 0 351 7 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694085691944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4614] ppid=4604 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/4607/task/4614/stat : 4614 (java) S 4604 4607 31415 0 -1 4202560 947 0 0 0 350 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694084639400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4615] ppid=4604 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/4607/task/4615/stat : 4615 (java) S 4604 4607 31415 0 -1 4202560 1057 0 0 0 353 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694083586856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4616] ppid=4604 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/4607/task/4616/stat : 4616 (java) S 4604 4607 31415 0 -1 4202560 1124 0 0 0 347 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694082534312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4617] ppid=4604 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/4607/task/4617/stat : 4617 (java) S 4604 4607 31415 0 -1 4202560 1402 0 0 0 340 7 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694081481768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4618] ppid=4604 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/4607/task/4618/stat : 4618 (java) S 4604 4607 31415 0 -1 4202560 240 0 0 0 138 10 0 0 20 0 19 0 105783529 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693599152232 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4619] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4619/stat : 4619 (java) S 4604 4607 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693598098552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4620] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4620/stat : 4620 (java) S 4604 4607 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693597045896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4621] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4621/stat : 4621 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693595994640 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4622] ppid=4604 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/4607/task/4622/stat : 4622 (java) S 4604 4607 31415 0 -1 4202560 4325 0 0 0 48 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693594942008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4623] ppid=4604 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/4607/task/4623/stat : 4623 (java) S 4604 4607 31415 0 -1 4202560 7884 0 0 0 52 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693593889464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4624] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4624/stat : 4624 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693592837112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4625] ppid=4604 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/4607/task/4625/stat : 4625 (java) S 4604 4607 31415 0 -1 4202560 100 0 0 0 21 34 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693591784776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4626] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4626/stat : 4626 (java) S 4604 4607 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105783551 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693590729512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 4607 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1780.3 s]
/proc/loadavg: 2.20 2.19 2.19 3/213 4759
/proc/meminfo: memFree=29791352/32872528 swapFree=14448/1543360
[pid=4607] ppid=4604 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/4607/stat : 4607 (java) S 4604 4607 31415 0 -1 4202496 27783 0 1 0 179895 114 0 0 20 0 19 0 105783526 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140733890715328 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4607/statm: 2406260 39549 2282 9 0 2396937 0
[pid=4607/tid=4609] ppid=4604 vsize=9625040 CPUtime=1764.32 cores=1,3,5,7
/proc/4607/task/4609/stat : 4609 (java) R 4604 4607 31415 0 -1 4202560 3544 0 1 0 176396 36 0 0 20 0 19 0 105783527 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694244908288 140694085928478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4610] ppid=4604 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/4607/task/4610/stat : 4610 (java) S 4604 4607 31415 0 -1 4202560 2436 0 0 0 348 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694206400680 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4611] ppid=4604 vsize=9625040 CPUtime=3.53 cores=1,3,5,7
/proc/4607/task/4611/stat : 4611 (java) S 4604 4607 31415 0 -1 4202560 1470 0 0 0 345 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694205348136 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4612] ppid=4604 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/4607/task/4612/stat : 4612 (java) S 4604 4607 31415 0 -1 4202560 950 0 0 0 339 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694204295592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4613] ppid=4604 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/4607/task/4613/stat : 4613 (java) S 4604 4607 31415 0 -1 4202560 1042 0 0 0 351 7 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694085691944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4614] ppid=4604 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/4607/task/4614/stat : 4614 (java) S 4604 4607 31415 0 -1 4202560 947 0 0 0 350 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694084639400 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4615] ppid=4604 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/4607/task/4615/stat : 4615 (java) S 4604 4607 31415 0 -1 4202560 1057 0 0 0 353 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694083586856 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4616] ppid=4604 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/4607/task/4616/stat : 4616 (java) S 4604 4607 31415 0 -1 4202560 1124 0 0 0 347 8 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694082534312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4607/tid=4617] ppid=4604 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/4607/task/4617/stat : 4617 (java) S 4604 4607 31415 0 -1 4202560 1402 0 0 0 340 7 0 0 20 0 19 0 105783528 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140694081481768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4618] ppid=4604 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/4607/task/4618/stat : 4618 (java) S 4604 4607 31415 0 -1 4202560 240 0 0 0 138 10 0 0 20 0 19 0 105783529 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693599152232 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4619] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4619/stat : 4619 (java) S 4604 4607 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693598098552 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4620] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4620/stat : 4620 (java) S 4604 4607 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105783530 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693597045896 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4621] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4621/stat : 4621 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693595994640 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4622] ppid=4604 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/4607/task/4622/stat : 4622 (java) S 4604 4607 31415 0 -1 4202560 4325 0 0 0 48 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693594942008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4607/tid=4623] ppid=4604 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/4607/task/4623/stat : 4623 (java) S 4604 4607 31415 0 -1 4202560 7884 0 0 0 52 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693593889464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4607/tid=4624] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4624/stat : 4624 (java) S 4604 4607 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693592837112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4625] ppid=4604 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/4607/task/4625/stat : 4625 (java) S 4604 4607 31415 0 -1 4202560 100 0 0 0 21 34 0 0 20 0 19 0 105783532 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693591784776 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4607/tid=4626] ppid=4604 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/4607/task/4626/stat : 4626 (java) S 4604 4607 31415 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105783551 9856040960 39549 33554432000 1073741824 1073778376 140733890724192 140693590729512 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4607 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=487196
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=563762
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1780.35
CPU time (s): 1800.09
CPU user time (s): 1798.95
CPU system time (s): 1.14
CPU usage (%): 101.109
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.49
system time used= 1.56376
maximum resident set size= 419812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27830
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69765
involuntary context switches= 89108

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.76252 second user time and 14.0339 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-06 20:41:39
IDJOB=4084748
IDBENCH=2469
IDSOLVER=2546
FILE ID=node116/4084748-1465238499
RUNJOBID= node116-1465236716-4449
PBS_JOBID= 19843214
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084748-1465238499/watcher-4084748-1465238499 -o /tmp/evaluation-result-4084748-1465238499/solver-4084748-1465238499 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465236716-4449 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084748-1465238499.opb

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

MD5SUM BENCH= 4cb1be2dcc654132071469b521292770
RANDOM SEED=427077358

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27725276 kB
Buffers:           33344 kB
Cached:           120304 kB
SwapCached:         1432 kB
Active:          2808664 kB
Inactive:          90676 kB
Active(anon):    2746564 kB
Inactive(anon):     1380 kB
Active(file):      62100 kB
Inactive(file):    89296 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67098884 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:       4288404 kB
Mapped:            15496 kB
Shmem:                 0 kB
Slab:             566504 kB
SReclaimable:      10640 kB
SUnreclaim:       555864 kB
KernelStack:        1600 kB
PageTables:        12452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4643528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4239360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node116 at 2016-06-06 21:11:20