Trace number 4106026

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16OPT3 1490.04 743.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb
MD5SUM98317fc891a56a06b9f6f284bcd4ad38
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.19097
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints17
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 constraints17
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4106026-1466267770.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.24/0.24	c ... done. Wall clock time 0.123s.
0.24/0.24	c declared #vars     216
0.24/0.24	c internal #vars     864
0.24/0.24	c #constraints  1321
0.24/0.24	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.24/0.24	c constraints type 
0.24/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 648
0.24/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 673
0.24/0.24	c 1321 constraints processed.
0.24/0.24	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.24/0.24	c constraints type 
0.24/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 648
0.24/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 673
0.24/0.24	c 1321 constraints processed.
0.24/0.24	c objective function length is 9 literals
2.74/0.92	c cleaning 2498 clauses out of 5001 with flag 10173/5001
4.34/1.39	c cleaning 4250 clauses out of 8503 with flag 22370/11001
5.94/2.02	c cleaning 5625 clauses out of 11253 with flag 36702/18001
7.37/2.73	c cleaning 6813 clauses out of 13628 with flag 53207/26001
8.42/3.21	c cleaning 7899 clauses out of 15814 with flag 72190/35000
10.03/4.05	c cleaning 8956 clauses out of 17916 with flag 93315/45001
11.80/4.75	c cleaning 9969 clauses out of 19960 with flag 116417/56001
13.44/5.39	c cleaning 10986 clauses out of 21990 with flag 142278/68000
15.25/6.27	c cleaning 11973 clauses out of 24004 with flag 170797/81000
17.04/7.17	c cleaning 12988 clauses out of 26031 with flag 200624/95000
19.28/8.27	c cleaning 14013 clauses out of 28045 with flag 232688/110002
22.75/9.98	c cleaning 14994 clauses out of 30032 with flag 267417/126002
22.95/10.09	c And the winner is solver0
23.14/10.25	c SATISFIABLE
23.14/10.25	c OPTIMIZING...
23.14/10.25	c Got one! Elapsed wall clock time (in seconds):10.136
23.14/10.25	o 103
23.43/10.42	c cleaning 10289 clauses out of 20600 with flag 6341/131564
24.23/10.81	c cleaning 8141 clauses out of 16310 with flag 19937/137563
25.03/11.25	c cleaning 7569 clauses out of 15168 with flag 35123/144562
26.03/11.76	c cleaning 7786 clauses out of 15599 with flag 52478/152562
27.43/12.45	c cleaning 8396 clauses out of 16813 with flag 72868/161562
29.43/13.47	c cleaning 9206 clauses out of 18417 with flag 95614/171562
31.08/14.28	c cleaning 10104 clauses out of 20211 with flag 119632/182562
32.48/14.91	c And the winner is solver0
32.54/15.25	c Got one! Elapsed wall clock time (in seconds):15.138
32.54/15.25	o 21
33.22/15.62	c cleaning 13236 clauses out of 26485 with flag 10859/198940
33.82/15.93	c cleaning 9616 clauses out of 19249 with flag 23316/204940
34.76/16.40	c cleaning 8312 clauses out of 16633 with flag 39150/211940
36.21/17.03	c cleaning 8148 clauses out of 16321 with flag 57272/219940
38.08/17.92	c cleaning 8570 clauses out of 17173 with flag 77369/228940
39.69/18.71	c cleaning 9298 clauses out of 18603 with flag 99594/238940
41.28/19.55	c cleaning 10139 clauses out of 20304 with flag 123494/249939
42.89/20.38	c cleaning 11076 clauses out of 22165 with flag 150175/261939
44.10/20.95	c And the winner is solver0
44.25/21.26	c Got one! Elapsed wall clock time (in seconds):21.14
44.25/21.26	o 19
44.71/21.57	c cleaning 11832 clauses out of 23673 with flag 11639/274523
45.32/21.86	c cleaning 8917 clauses out of 17843 with flag 25008/280525
46.12/22.22	c And the winner is solver0
46.12/22.26	c Got one! Elapsed wall clock time (in seconds):22.14
46.12/22.26	o 17
46.46/22.49	c cleaning 9734 clauses out of 19474 with flag 11054/291073
47.26/22.82	c cleaning 7858 clauses out of 15738 with flag 23601/297071
48.07/23.30	c cleaning 7424 clauses out of 14881 with flag 39440/304072
48.24/23.32	c And the winner is solver0
48.33/23.76	c Got one! Elapsed wall clock time (in seconds):23.642
48.33/23.76	o 3
48.80/24.06	c cleaning 6491 clauses out of 12999 with flag 10220/309614
49.86/24.50	c cleaning 6245 clauses out of 12507 with flag 23127/315613
50.86/25.00	c cleaning 6624 clauses out of 13263 with flag 38606/322614
52.06/25.60	c cleaning 7314 clauses out of 14639 with flag 56519/330614
53.06/26.18	c cleaning 8146 clauses out of 16324 with flag 76526/339613
54.46/26.83	c cleaning 9072 clauses out of 18179 with flag 98647/349614
56.67/27.96	c cleaning 10044 clauses out of 20106 with flag 123441/360613
58.87/29.07	c cleaning 11024 clauses out of 22063 with flag 152176/372614
60.87/30.09	c cleaning 11999 clauses out of 24038 with flag 180420/385613
63.73/31.41	c cleaning 13018 clauses out of 26039 with flag 212939/399614
65.93/32.55	c cleaning 14011 clauses out of 28021 with flag 246016/414614
68.93/34.01	c cleaning 14988 clauses out of 30010 with flag 279969/430614
72.33/35.70	c cleaning 16001 clauses out of 32021 with flag 316053/447613
75.62/37.40	c cleaning 17003 clauses out of 34021 with flag 355172/465614
79.22/39.17	c cleaning 18001 clauses out of 36017 with flag 398340/484613
82.63/40.85	c cleaning 0 clauses out of 7477 with flag 0/7481
84.69/41.79	c cleaning 18999 clauses out of 38016 with flag 440955/504613
90.86/44.72	c cleaning 20003 clauses out of 40017 with flag 485854/525613
96.08/47.39	c cleaning 20987 clauses out of 42015 with flag 533825/547614
100.26/49.44	c cleaning 22012 clauses out of 44028 with flag 584434/570614
108.28/53.41	c cleaning 23001 clauses out of 46015 with flag 637250/594613
113.89/56.23	c cleaning 23995 clauses out of 48014 with flag 694723/619613
118.34/58.46	c cleaning 25007 clauses out of 50020 with flag 752803/645614
124.32/61.43	c cleaning 25999 clauses out of 52012 with flag 813541/672613
131.78/65.13	c cleaning 26993 clauses out of 54013 with flag 875328/700613
144.22/71.32	c cleaning 28003 clauses out of 56020 with flag 938550/729613
152.28/75.30	c cleaning 29002 clauses out of 58018 with flag 1004646/759614
162.71/80.53	c cleaning 29976 clauses out of 60015 with flag 1070941/790613
169.91/84.14	c cleaning 30996 clauses out of 62039 with flag 1144266/822613
179.52/88.99	c cleaning 32013 clauses out of 64044 with flag 1216114/855614
189.16/93.70	c cleaning 33002 clauses out of 66030 with flag 1294145/889613
202.23/100.24	c cleaning 34013 clauses out of 68029 with flag 1377200/924614
210.46/104.36	c cleaning 34998 clauses out of 70015 with flag 1456978/960613
220.30/109.21	c cleaning 35994 clauses out of 72018 with flag 1539663/997614
228.15/113.16	c cleaning 37003 clauses out of 74023 with flag 1624498/1035613
235.00/116.56	c cleaning 0 clauses out of 13475 with flag 0/13479
238.00/118.09	c cleaning 38001 clauses out of 76020 with flag 1713608/1074613
251.86/124.97	c cleaning 39003 clauses out of 78019 with flag 1801905/1114614
268.51/133.28	c cleaning 40006 clauses out of 80016 with flag 1891320/1155614
278.92/138.40	c cleaning 40995 clauses out of 82009 with flag 1984501/1197613
293.03/145.49	c cleaning 42000 clauses out of 84014 with flag 2080689/1240613
306.11/151.93	c cleaning 42995 clauses out of 86014 with flag 2184152/1284613
321.38/159.60	c cleaning 43997 clauses out of 88019 with flag 2285696/1329613
335.88/166.77	c cleaning 45006 clauses out of 90022 with flag 2390721/1375613
360.08/178.97	c cleaning 46003 clauses out of 92016 with flag 2494913/1422613
375.76/186.74	c cleaning 46994 clauses out of 94013 with flag 2603835/1470613
392.64/195.18	c cleaning 47997 clauses out of 96020 with flag 2714894/1519614
418.00/207.74	c cleaning 49003 clauses out of 98022 with flag 2825623/1569613
440.32/218.87	c cleaning 50010 clauses out of 100019 with flag 2951831/1620613
457.81/227.50	c cleaning 50999 clauses out of 102010 with flag 3069067/1672614
489.73/243.46	c cleaning 51999 clauses out of 104010 with flag 3195853/1725613
510.66/253.88	c cleaning 53005 clauses out of 106010 with flag 3317748/1779613
528.85/263.01	c cleaning 53985 clauses out of 108005 with flag 3441433/1834613
546.13/271.70	c cleaning 54999 clauses out of 110020 with flag 3564679/1890613
567.60/282.32	c cleaning 56007 clauses out of 112022 with flag 3698807/1947614
594.93/295.97	c cleaning 56989 clauses out of 114015 with flag 3830931/2005614
602.54/299.73	c cleaning 0 clauses out of 20476 with flag 0/20480
643.06/319.92	c cleaning 58001 clauses out of 116026 with flag 3963762/2064614
668.65/332.62	c cleaning 59007 clauses out of 118024 with flag 4100011/2124613
692.54/344.54	c cleaning 59997 clauses out of 120018 with flag 4239021/2185614
715.48/355.97	c cleaning 61000 clauses out of 122021 with flag 4379245/2247614
746.33/371.24	c cleaning 61997 clauses out of 124020 with flag 4521150/2310614
785.72/391.02	c cleaning 63006 clauses out of 126022 with flag 4658971/2374613
810.04/403.10	c cleaning 63997 clauses out of 128016 with flag 4804314/2439613
838.73/417.50	c cleaning 64994 clauses out of 130020 with flag 4952061/2505614
866.85/431.40	c cleaning 66009 clauses out of 132027 with flag 5106607/2572616
894.18/445.04	c cleaning 66994 clauses out of 134015 with flag 5263423/2640613
923.72/459.80	c cleaning 67995 clauses out of 136022 with flag 5421379/2709614
954.50/475.03	c cleaning 69009 clauses out of 138028 with flag 5583573/2779615
984.08/489.78	c cleaning 70000 clauses out of 140016 with flag 5746585/2850613
1030.70/512.98	c cleaning 70998 clauses out of 142016 with flag 5902790/2922613
1095.99/545.63	c cleaning 72006 clauses out of 144018 with flag 6063613/2995613
1140.95/568.01	c cleaning 73004 clauses out of 146013 with flag 6231743/3069614
1184.81/589.80	c cleaning 74000 clauses out of 148009 with flag 6404293/3144614
1233.64/614.18	c cleaning 75000 clauses out of 150009 with flag 6577140/3220614
1324.22/659.28	c cleaning 75998 clauses out of 152008 with flag 6748850/3297613
1395.55/694.74	c cleaning 77000 clauses out of 154011 with flag 6920748/3375615
1478.89/736.27	c cleaning 0 clauses out of 28475 with flag 0/28479
1479.09/736.34	c cleaning 77993 clauses out of 156005 with flag 7098977/3454613
1485.31/739.46	c And the winner is solver0
1489.57/743.56	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1489.57/743.56	c starts		: 7693
1489.57/743.56	c conflicts		: 3472065
1489.57/743.56	c decisions		: 4032307
1489.57/743.56	c propagations		: 77156016
1489.57/743.56	c inspects		: 10859752800
1489.57/743.56	c shortcuts		: 0
1489.57/743.56	c learnt literals	: 19
1489.57/743.56	c learnt binary clauses	: 41
1489.57/743.56	c learnt ternary clauses	: 112
1489.57/743.56	c learnt constraints	: 3472045
1489.57/743.56	c ignored constraints	: 0
1489.57/743.56	c root simplifications	: 0
1489.57/743.56	c removed literals (reason simplification)	: 10398380
1489.57/743.56	c reason swapping (by a shorter reason)	: 0
1489.57/743.56	c Calls to reduceDB	: 107
1489.57/743.56	c Number of update (reduction) of LBD	: 122164
1489.57/743.56	c Imported unit clauses	: 0
1489.57/743.56	c number of reductions to clauses (during analyze)	: 0
1489.57/743.56	c number of learned constraints concerned by reduction	: 0
1489.57/743.56	c number of learning phase by resolution	: 0
1489.57/743.56	c number of learning phase by cutting planes	: 0
1489.57/743.56	c speed (assignments/second)	: 103799.89102870249
1489.57/743.56	c non guided choices	32653
1489.57/743.56	c learnt constraints type 
1489.57/743.56	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1489.57/743.56	c starts		: 89
1489.57/743.56	c conflicts		: 28543
1489.57/743.56	c decisions		: 32204
1489.57/743.56	c propagations		: 502540
1489.57/743.56	c inspects		: 910812108
1489.57/743.56	c shortcuts		: 0
1489.57/743.56	c learnt literals	: 0
1489.57/743.56	c learnt binary clauses	: 0
1489.57/743.56	c learnt ternary clauses	: 0
1489.57/743.56	c learnt constraints	: 28539
1489.57/743.56	c ignored constraints	: 0
1489.57/743.56	c root simplifications	: 0
1489.57/743.56	c removed literals (reason simplification)	: 0
1489.57/743.56	c reason swapping (by a shorter reason)	: 0
1489.57/743.56	c Calls to reduceDB	: 4
1489.57/743.56	c Number of update (reduction) of LBD	: 0
1489.57/743.56	c Imported unit clauses	: 0
1489.57/743.56	c number of reductions to clauses (during analyze)	: 0
1489.57/743.56	c number of learned constraints concerned by reduction	: 0
1489.57/743.56	c number of learning phase by resolution	: 0
1489.57/743.56	c number of learning phase by cutting planes	: 0
1489.57/743.56	c speed (assignments/second)	: 698.1622775088774
1489.57/743.56	c non guided choices	1055
1489.57/743.56	c learnt constraints type 
1489.57/743.56	s OPTIMUM FOUND
1489.57/743.56	c Found 5 solution(s)
1489.57/743.57	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 
1489.57/743.57	c objective function=3
1489.57/743.57	c Total wall clock time (in seconds): 743.449

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106026-1466267770/watcher-4106026-1466267770 -o /tmp/evaluation-result-4106026-1466267770/solver-4106026-1466267770 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106026-1466267770.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.12 4.17 4.08 5/197 5576
/proc/meminfo: memFree=28611576/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/5576/stat : 5576 (java) R 5573 5576 3621 0 -1 4202496 1058 0 0 0 0 0 0 0 20 0 1 0 28823730 23793664 707 33554432000 1073741824 1073778376 140733475200976 140733475190040 214360438120 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 5809 707 521 9 0 128 0

[startup+0.100125 s]
/proc/loadavg: 4.12 4.17 4.08 5/197 5576
/proc/meminfo: memFree=28611576/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 4418 0 1 0 9 1 0 0 20 0 18 0 28823730 9787879424 6044 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2389619 6044 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200266 s]
/proc/loadavg: 4.12 4.17 4.08 5/197 5576
/proc/meminfo: memFree=28611576/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 4579 0 1 0 23 1 0 0 20 0 18 0 28823730 9787879424 7195 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2389619 7195 2210 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300248 s]
/proc/loadavg: 4.12 4.17 4.08 5/197 5576
/proc/meminfo: memFree=28611576/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 6668 0 1 0 48 1 0 0 20 0 22 0 28823730 10060525568 10266 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 10266 2237 9 0 2446860 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9824732

[startup+0.700201 s]
/proc/loadavg: 4.12 4.17 4.08 5/197 5576
/proc/meminfo: memFree=28611576/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 17379 0 1 0 191 4 0 0 20 0 22 0 28823730 10060525568 23243 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 23243 2251 9 0 2446860 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9824732

[startup+1.50086 s]
/proc/loadavg: 4.35 4.22 4.10 8/219 5598
/proc/meminfo: memFree=28418720/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=4.9 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 22529 0 1 0 483 7 0 0 20 0 22 0 28823730 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 50215 2283 9 0 2446860 0
[pid=5576/tid=5578] ppid=5573 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/5576/task/5578/stat : 5578 (java) S 5573 5576 3621 0 -1 4202560 2419 0 1 0 22 0 0 0 20 0 22 0 28823731 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657325323128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5579] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5579/stat : 5579 (java) S 5573 5576 3621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657297775656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5580] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5580/stat : 5580 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657296722856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5581] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5581/stat : 5581 (java) S 5573 5576 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657295670056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5582] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5582/stat : 5582 (java) S 5573 5576 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657294617256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5583] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5583/stat : 5583 (java) S 5573 5576 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657164855848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5584] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5584/stat : 5584 (java) S 5573 5576 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657163803048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5585] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5585/stat : 5585 (java) S 5573 5576 3621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657162750248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5586] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5586/stat : 5586 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140657161697448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5587] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5587/stat : 5587 (java) S 5573 5576 3621 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 28823733 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656679185384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5588] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5588/stat : 5588 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28823734 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656678131448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5589] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5589/stat : 5589 (java) S 5573 5576 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28823734 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656677078536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5590] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5590/stat : 5590 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823736 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656676027024 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5591] ppid=5573 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/5576/task/5591/stat : 5591 (java) R 5573 5576 3621 0 -1 4202560 8134 0 0 0 106 2 0 0 20 0 22 0 28823736 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656674974136 140657328342139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5592] ppid=5573 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/5576/task/5592/stat : 5592 (java) S 5573 5576 3621 0 -1 4202560 10460 0 0 0 112 3 0 0 20 0 22 0 28823736 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656673921336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5593] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5593/stat : 5593 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823736 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656672868728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5594] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5594/stat : 5594 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823736 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656671816136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5595] ppid=5573 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/5576/task/5595/stat : 5595 (java) R 5573 5576 3621 0 -1 4202560 24 0 0 0 117 0 0 0 20 0 22 0 28823755 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656670762312 140657176445503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5596] ppid=5573 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/5576/task/5596/stat : 5596 (java) R 5573 5576 3621 0 -1 4202560 103 0 0 0 117 2 0 0 20 0 22 0 28823755 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656669708104 140657176462126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5597] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5597/stat : 5597 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28823756 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656668657064 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5598] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5598/stat : 5598 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28823756 10060525568 50215 33554432000 1073741824 1073778376 140733475200976 140656667604264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.35 4.22 4.10 6/219 5598
/proc/meminfo: memFree=28403292/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=8.22 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 22778 0 1 0 810 12 0 0 20 0 22 0 28823730 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 88228 2283 9 0 2446860 0
[pid=5576/tid=5578] ppid=5573 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/5576/task/5578/stat : 5578 (java) S 5573 5576 3621 0 -1 4202560 2419 0 1 0 22 0 0 0 20 0 22 0 28823731 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657325323128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5579] ppid=5573 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/5576/task/5579/stat : 5579 (java) S 5573 5576 3621 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657297775656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5580] ppid=5573 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5576/task/5580/stat : 5580 (java) S 5573 5576 3621 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657296722856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5581] ppid=5573 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5576/task/5581/stat : 5581 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657295670056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5582] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5582/stat : 5582 (java) S 5573 5576 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657294617256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5583] ppid=5573 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5576/task/5583/stat : 5583 (java) S 5573 5576 3621 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657164855848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5584] ppid=5573 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/5576/task/5584/stat : 5584 (java) S 5573 5576 3621 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657163803048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5585] ppid=5573 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/5576/task/5585/stat : 5585 (java) S 5573 5576 3621 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657162750248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5586] ppid=5573 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/5576/task/5586/stat : 5586 (java) S 5573 5576 3621 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 28823732 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140657161697448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5587] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5587/stat : 5587 (java) S 5573 5576 3621 0 -1 4202560 190 0 0 0 0 0 0 0 20 0 22 0 28823733 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656679185384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5588] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5588/stat : 5588 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28823734 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656678131448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5589] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5589/stat : 5589 (java) S 5573 5576 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28823734 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656677078536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5590] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5590/stat : 5590 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823736 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656676027024 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5591] ppid=5573 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/5576/task/5591/stat : 5591 (java) S 5573 5576 3621 0 -1 4202560 8136 0 0 0 108 2 0 0 20 0 22 0 28823736 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656674974136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5592] ppid=5573 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/5576/task/5592/stat : 5592 (java) S 5573 5576 3621 0 -1 4202560 10460 0 0 0 114 3 0 0 20 0 22 0 28823736 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656673921336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5593] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5593/stat : 5593 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823736 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656672868728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5594] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5594/stat : 5594 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823736 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656671816136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5595] ppid=5573 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/5576/task/5595/stat : 5595 (java) R 5573 5576 3621 0 -1 4202560 26 0 0 0 271 0 0 0 20 0 22 0 28823755 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656670760296 140657176304249 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5596] ppid=5573 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/5576/task/5596/stat : 5596 (java) R 5573 5576 3621 0 -1 4202560 159 0 0 0 270 3 0 0 20 0 22 0 28823755 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656669708112 140657176312672 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5597] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5597/stat : 5597 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28823756 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656668657064 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5598] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5598/stat : 5598 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28823756 10060525568 88228 33554432000 1073741824 1073778376 140733475200976 140656667604264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.32 4.22 4.10 5/219 5598
/proc/meminfo: memFree=27985376/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=15.45 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 30397 0 1 0 1524 21 0 0 20 0 22 0 28823730 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 156977 2283 9 0 2446860 0
[pid=5576/tid=5578] ppid=5573 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/5576/task/5578/stat : 5578 (java) S 5573 5576 3621 0 -1 4202560 2421 0 1 0 22 0 0 0 20 0 22 0 28823731 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657325323128 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5579] ppid=5573 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5576/task/5579/stat : 5579 (java) S 5573 5576 3621 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657297775656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5580] ppid=5573 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/5576/task/5580/stat : 5580 (java) S 5573 5576 3621 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657296722856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5581] ppid=5573 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/5576/task/5581/stat : 5581 (java) S 5573 5576 3621 0 -1 4202560 42 0 0 0 2 0 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657295670056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5582] ppid=5573 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5576/task/5582/stat : 5582 (java) S 5573 5576 3621 0 -1 4202560 57 0 0 0 3 0 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657294617256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5583] ppid=5573 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/5576/task/5583/stat : 5583 (java) S 5573 5576 3621 0 -1 4202560 59 0 0 0 4 2 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657164855848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5584] ppid=5573 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/5576/task/5584/stat : 5584 (java) S 5573 5576 3621 0 -1 4202560 46 0 0 0 3 0 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657163803048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5585] ppid=5573 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/5576/task/5585/stat : 5585 (java) S 5573 5576 3621 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657162750248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5586] ppid=5573 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/5576/task/5586/stat : 5586 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 22 0 28823732 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140657161697448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5587] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5587/stat : 5587 (java) S 5573 5576 3621 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 22 0 28823733 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140656679185384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5588] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5588/stat : 5588 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28823734 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140656678131448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5589] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5589/stat : 5589 (java) S 5573 5576 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28823734 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140656677078536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5590] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5590/stat : 5590 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28823736 10060525568 156977 33554432000 1073741824 1073778376 140733475200976 140656676027024 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5591] ppid=5573 vsize=9824732 CPUtime=1.84 cores=1,3,5,7

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

[pid=5576/tid=5581] ppid=5573 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/5576/task/5581/stat : 5581 (java) S 5573 5576 3621 0 -1 4202560 383 0 0 0 200 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657295670056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5582] ppid=5573 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/5576/task/5582/stat : 5582 (java) S 5573 5576 3621 0 -1 4202560 487 0 0 0 212 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657294617256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5583] ppid=5573 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/5576/task/5583/stat : 5583 (java) S 5573 5576 3621 0 -1 4202560 451 0 0 0 237 10 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657164855848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5584] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5584/stat : 5584 (java) S 5573 5576 3621 0 -1 4202560 450 0 0 0 205 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657163803048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5585] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5585/stat : 5585 (java) S 5573 5576 3621 0 -1 4202560 388 0 0 0 206 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657162750248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5586] ppid=5573 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/5576/task/5586/stat : 5586 (java) S 5573 5576 3621 0 -1 4202560 408 0 0 0 196 7 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657161697448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5587] ppid=5573 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/5576/task/5587/stat : 5587 (java) S 5573 5576 3621 0 -1 4202560 1456 0 0 0 154 23 0 0 20 0 19 0 28823733 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656679185384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5588] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5588/stat : 5588 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656678131448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5589] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5589/stat : 5589 (java) S 5573 5576 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656677078536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5590] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5590/stat : 5590 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656676027024 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5591] ppid=5573 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/5576/task/5591/stat : 5591 (java) S 5573 5576 3621 0 -1 4202560 17243 0 0 0 249 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656674974136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5592] ppid=5573 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/5576/task/5592/stat : 5592 (java) S 5573 5576 3621 0 -1 4202560 10462 0 0 0 130 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656673921336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5593] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5593/stat : 5593 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656672868728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5594] ppid=5573 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/5576/task/5594/stat : 5594 (java) S 5573 5576 3621 0 -1 4202560 42 0 0 0 14 17 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656671816136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5598] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5598/stat : 5598 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28823756 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656667604264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1488.47
Current children cumulated vsize (KiB) 9824732

[startup+743.201 s]
/proc/loadavg: 3.61 4.11 4.12 3/215 6212
/proc/meminfo: memFree=27034776/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=1489.27 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 38303 0 1 0 148746 181 0 0 20 0 19 0 28823730 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 460501 2293 9 0 2446860 0
[pid=5576/tid=5578] ppid=5573 vsize=9824732 CPUtime=3.77 cores=1,3,5,7
/proc/5576/task/5578/stat : 5578 (java) R 5573 5576 3621 0 -1 4202560 2429 0 1 0 374 3 0 0 20 0 19 0 28823731 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657325320752 140657177134596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5579] ppid=5573 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/5576/task/5579/stat : 5579 (java) S 5573 5576 3621 0 -1 4202560 439 0 0 0 213 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657297775656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5580] ppid=5573 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/5576/task/5580/stat : 5580 (java) S 5573 5576 3621 0 -1 4202560 370 0 0 0 197 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657296722856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5581] ppid=5573 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/5576/task/5581/stat : 5581 (java) S 5573 5576 3621 0 -1 4202560 383 0 0 0 200 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657295670056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5582] ppid=5573 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/5576/task/5582/stat : 5582 (java) S 5573 5576 3621 0 -1 4202560 487 0 0 0 212 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657294617256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5583] ppid=5573 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/5576/task/5583/stat : 5583 (java) S 5573 5576 3621 0 -1 4202560 451 0 0 0 237 10 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657164855848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5584] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5584/stat : 5584 (java) S 5573 5576 3621 0 -1 4202560 450 0 0 0 205 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657163803048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5585] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5585/stat : 5585 (java) S 5573 5576 3621 0 -1 4202560 388 0 0 0 206 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657162750248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5586] ppid=5573 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/5576/task/5586/stat : 5586 (java) S 5573 5576 3621 0 -1 4202560 408 0 0 0 196 7 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657161697448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5587] ppid=5573 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/5576/task/5587/stat : 5587 (java) S 5573 5576 3621 0 -1 4202560 1456 0 0 0 154 23 0 0 20 0 19 0 28823733 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656679185384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5588] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5588/stat : 5588 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656678131448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5589] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5589/stat : 5589 (java) S 5573 5576 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656677078536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5590] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5590/stat : 5590 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656676027024 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5591] ppid=5573 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/5576/task/5591/stat : 5591 (java) S 5573 5576 3621 0 -1 4202560 17243 0 0 0 249 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656674974136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5592] ppid=5573 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/5576/task/5592/stat : 5592 (java) S 5573 5576 3621 0 -1 4202560 10462 0 0 0 130 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656673921336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5593] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5593/stat : 5593 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656672868728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5594] ppid=5573 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/5576/task/5594/stat : 5594 (java) S 5573 5576 3621 0 -1 4202560 42 0 0 0 14 17 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656671816136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5598] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5598/stat : 5598 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28823756 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656667604264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1489.27
Current children cumulated vsize (KiB) 9824732

[startup+743.401 s]
/proc/loadavg: 3.61 4.11 4.12 3/215 6212
/proc/meminfo: memFree=27034776/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=1489.47 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 38303 0 1 0 148766 181 0 0 20 0 19 0 28823730 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 460501 2293 9 0 2446860 0
[pid=5576/tid=5578] ppid=5573 vsize=9824732 CPUtime=3.97 cores=1,3,5,7
/proc/5576/task/5578/stat : 5578 (java) R 5573 5576 3621 0 -1 4202560 2429 0 1 0 394 3 0 0 20 0 19 0 28823731 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657325320752 140657176090556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5579] ppid=5573 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/5576/task/5579/stat : 5579 (java) S 5573 5576 3621 0 -1 4202560 439 0 0 0 213 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657297775656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5580] ppid=5573 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/5576/task/5580/stat : 5580 (java) S 5573 5576 3621 0 -1 4202560 370 0 0 0 197 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657296722856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5581] ppid=5573 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/5576/task/5581/stat : 5581 (java) S 5573 5576 3621 0 -1 4202560 383 0 0 0 200 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657295670056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5582] ppid=5573 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/5576/task/5582/stat : 5582 (java) S 5573 5576 3621 0 -1 4202560 487 0 0 0 212 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657294617256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5583] ppid=5573 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/5576/task/5583/stat : 5583 (java) S 5573 5576 3621 0 -1 4202560 451 0 0 0 237 10 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657164855848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5584] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5584/stat : 5584 (java) S 5573 5576 3621 0 -1 4202560 450 0 0 0 205 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657163803048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5585] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5585/stat : 5585 (java) S 5573 5576 3621 0 -1 4202560 388 0 0 0 206 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657162750248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5586] ppid=5573 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/5576/task/5586/stat : 5586 (java) S 5573 5576 3621 0 -1 4202560 408 0 0 0 196 7 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657161697448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5587] ppid=5573 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/5576/task/5587/stat : 5587 (java) S 5573 5576 3621 0 -1 4202560 1456 0 0 0 154 23 0 0 20 0 19 0 28823733 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656679185384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5588] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5588/stat : 5588 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656678131448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5589] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5589/stat : 5589 (java) S 5573 5576 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656677078536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5590] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5590/stat : 5590 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656676027024 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5591] ppid=5573 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/5576/task/5591/stat : 5591 (java) S 5573 5576 3621 0 -1 4202560 17243 0 0 0 249 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656674974136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5592] ppid=5573 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/5576/task/5592/stat : 5592 (java) S 5573 5576 3621 0 -1 4202560 10462 0 0 0 130 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656673921336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5593] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5593/stat : 5593 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656672868728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5594] ppid=5573 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/5576/task/5594/stat : 5594 (java) S 5573 5576 3621 0 -1 4202560 42 0 0 0 14 17 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656671816136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5598] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5598/stat : 5598 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28823756 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656667604264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1489.47
Current children cumulated vsize (KiB) 9824732

[startup+743.501 s]
/proc/loadavg: 3.61 4.11 4.12 3/215 6212
/proc/meminfo: memFree=27034776/32872528 swapFree=1286400/1433568
[pid=5576] ppid=5573 vsize=9824732 CPUtime=1489.57 cores=1,3,5,7
/proc/5576/stat : 5576 (java) S 5573 5576 3621 0 -1 4202496 38303 0 1 0 148776 181 0 0 20 0 19 0 28823730 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140733475192112 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5576/statm: 2456183 460501 2293 9 0 2446860 0
[pid=5576/tid=5578] ppid=5573 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/5576/task/5578/stat : 5578 (java) R 5573 5576 3621 0 -1 4202560 2429 0 1 0 404 3 0 0 20 0 19 0 28823731 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657325320752 140657177134038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5579] ppid=5573 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/5576/task/5579/stat : 5579 (java) S 5573 5576 3621 0 -1 4202560 439 0 0 0 213 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657297775656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5580] ppid=5573 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/5576/task/5580/stat : 5580 (java) S 5573 5576 3621 0 -1 4202560 370 0 0 0 197 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657296722856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5581] ppid=5573 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/5576/task/5581/stat : 5581 (java) S 5573 5576 3621 0 -1 4202560 383 0 0 0 200 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657295670056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5582] ppid=5573 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/5576/task/5582/stat : 5582 (java) S 5573 5576 3621 0 -1 4202560 487 0 0 0 212 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657294617256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5583] ppid=5573 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/5576/task/5583/stat : 5583 (java) S 5573 5576 3621 0 -1 4202560 451 0 0 0 237 10 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657164855848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5584] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5584/stat : 5584 (java) S 5573 5576 3621 0 -1 4202560 450 0 0 0 205 9 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657163803048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5585] ppid=5573 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/5576/task/5585/stat : 5585 (java) S 5573 5576 3621 0 -1 4202560 388 0 0 0 206 8 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657162750248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5586] ppid=5573 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/5576/task/5586/stat : 5586 (java) S 5573 5576 3621 0 -1 4202560 408 0 0 0 196 7 0 0 20 0 19 0 28823732 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140657161697448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5587] ppid=5573 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/5576/task/5587/stat : 5587 (java) S 5573 5576 3621 0 -1 4202560 1456 0 0 0 154 23 0 0 20 0 19 0 28823733 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656679185384 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5588] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5588/stat : 5588 (java) S 5573 5576 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656678131448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5589] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5589/stat : 5589 (java) S 5573 5576 3621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 28823734 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656677078536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5576/tid=5590] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5590/stat : 5590 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656676027024 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5591] ppid=5573 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/5576/task/5591/stat : 5591 (java) S 5573 5576 3621 0 -1 4202560 17243 0 0 0 249 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656674974136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5592] ppid=5573 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/5576/task/5592/stat : 5592 (java) S 5573 5576 3621 0 -1 4202560 10462 0 0 0 130 3 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656673921336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5576/tid=5593] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5593/stat : 5593 (java) S 5573 5576 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656672868728 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5576/tid=5594] ppid=5573 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/5576/task/5594/stat : 5594 (java) S 5573 5576 3621 0 -1 4202560 42 0 0 0 14 17 0 0 20 0 19 0 28823736 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656671816136 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5576/tid=5598] ppid=5573 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/5576/task/5598/stat : 5598 (java) S 5573 5576 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28823756 10060525568 460501 33554432000 1073741824 1073778376 140733475200976 140656667604264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1489.57
Current children cumulated vsize (KiB) 9824732

Child status: 30
Real time (s): 743.58
CPU time (s): 1490.04
CPU user time (s): 1487.94
CPU system time (s): 2.10268
CPU usage (%): 200.387
Max. virtual memory (cumulated for all children) (KiB): 9825300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1487.94
system time used= 2.10268
maximum resident set size= 2912748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38316
page faults= 1
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24811
involuntary context switches= 38633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.87256 second user time and 3.56446 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 18:36:10
IDJOB=4106026
IDBENCH=47897
IDSOLVER=2543
FILE ID=node130/4106026-1466267770
RUNJOBID= node130-1466264922-3638
PBS_JOBID= 19918227
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106026-1466267770/watcher-4106026-1466267770 -o /tmp/evaluation-result-4106026-1466267770/solver-4106026-1466267770 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106026-1466267770.opb

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

MD5SUM BENCH= 98317fc891a56a06b9f6f284bcd4ad38
RANDOM SEED=1057354676

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        28611484 kB
Buffers:           41420 kB
Cached:           164912 kB
SwapCached:         1876 kB
Active:          1926640 kB
Inactive:         156748 kB
Active(anon):    1876624 kB
Inactive(anon):     2784 kB
Active(file):      50016 kB
Inactive(file):   153964 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:              1000 kB
Writeback:             0 kB
AnonPages:       3332292 kB
Mapped:            15328 kB
Shmem:                 0 kB
Slab:             601424 kB
SReclaimable:      44532 kB
SUnreclaim:       556892 kB
KernelStack:        1792 kB
PageTables:        10992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4391560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2000896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node130 at 2016-06-18 18:48:33