Trace number 4109725

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 NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16OPTIMUM 124.645 85.3961

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
MD5SUM9b675eaf583b613075d5327645ad3a71
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark89.0185
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints1863
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 94064
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 94063
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
Number of bits of the biggest sum of numbers10
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.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.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4109725-1466343688.wbo
0.10/0.11	c reading problem ... 
0.47/0.33	c ... done. Wall clock time 0.219s.
0.47/0.33	c declared #vars     231
0.47/0.33	c internal #vars     2094
0.47/0.33	c #constraints  2707
0.47/0.33	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.47/0.33	c constraints type 
0.47/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2601
0.47/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 5
0.47/0.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 83
0.47/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
0.47/0.33	c 2707 constraints processed.
0.47/0.33	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/0.33	c constraints type 
0.47/0.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 83
0.47/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2601
0.47/0.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5
0.47/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 18
0.47/0.33	c 2707 constraints processed.
0.47/0.33	c objective function length is 1863 literals
1.14/0.51	c And the winner is solver0
1.42/0.83	c SATISFIABLE
1.42/0.83	c OPTIMIZING...
1.42/0.83	c Got one! Elapsed wall clock time (in seconds):0.725
1.42/0.83	o 546
1.42/0.88	c And the winner is solver0
1.85/1.35	c Got one! Elapsed wall clock time (in seconds):1.238
1.85/1.35	o 539
1.85/1.36	c And the winner is solver0
1.93/1.86	c Got one! Elapsed wall clock time (in seconds):1.748
1.93/1.86	o 500
1.93/1.87	c And the winner is solver0
1.99/2.36	c Got one! Elapsed wall clock time (in seconds):2.255
1.99/2.36	o 346
1.99/2.38	c And the winner is solver0
2.02/2.87	c Got one! Elapsed wall clock time (in seconds):2.761
2.02/2.87	o 323
2.02/2.89	c And the winner is solver0
2.13/3.38	c Got one! Elapsed wall clock time (in seconds):3.266
2.13/3.38	o 319
2.13/3.39	c And the winner is solver0
2.20/3.88	c Got one! Elapsed wall clock time (in seconds):3.77
2.20/3.88	o 311
2.20/3.89	c And the winner is solver0
7.91/9.01	c Got one! Elapsed wall clock time (in seconds):8.896
7.91/9.01	o 310
7.91/9.06	c And the winner is solver0
8.09/9.51	c Got one! Elapsed wall clock time (in seconds):9.399
8.09/9.51	o 301
8.09/9.52	c And the winner is solver0
8.12/10.01	c Got one! Elapsed wall clock time (in seconds):9.902
8.12/10.01	o 287
8.12/10.02	c And the winner is solver0
8.14/10.51	c Got one! Elapsed wall clock time (in seconds):10.405
8.14/10.51	o 267
8.14/10.52	c And the winner is solver0
8.14/11.02	c Got one! Elapsed wall clock time (in seconds):10.908
8.14/11.02	o 238
8.14/11.06	c And the winner is solver0
8.28/11.52	c Got one! Elapsed wall clock time (in seconds):11.411
8.28/11.52	o 231
8.28/11.53	c And the winner is solver0
8.29/12.03	c Got one! Elapsed wall clock time (in seconds):11.914
8.29/12.03	o 220
8.29/12.03	c And the winner is solver0
8.30/12.53	c Got one! Elapsed wall clock time (in seconds):12.417
8.30/12.53	o 209
8.30/12.58	c And the winner is solver0
8.42/13.03	c Got one! Elapsed wall clock time (in seconds):12.92
8.42/13.03	o 208
8.42/13.04	c And the winner is solver0
8.43/13.53	c Got one! Elapsed wall clock time (in seconds):13.423
8.43/13.53	o 162
8.60/13.61	c And the winner is solver0
8.62/14.04	c Got one! Elapsed wall clock time (in seconds):13.926
8.62/14.04	o 138
9.01/14.22	c And the winner is solver0
9.07/14.54	c Got one! Elapsed wall clock time (in seconds):14.428
9.07/14.54	o 137
9.07/14.59	c And the winner is solver0
9.20/15.04	c Got one! Elapsed wall clock time (in seconds):14.931
9.20/15.04	o 135
9.20/15.06	c And the winner is solver0
9.26/15.54	c Got one! Elapsed wall clock time (in seconds):15.434
9.26/15.54	o 129
9.40/15.60	c And the winner is solver0
9.42/16.05	c Got one! Elapsed wall clock time (in seconds):15.937
9.42/16.05	o 128
9.42/16.07	c And the winner is solver0
9.49/16.55	c Got one! Elapsed wall clock time (in seconds):16.44
9.49/16.55	o 125
9.60/16.60	c And the winner is solver0
9.62/17.05	c Got one! Elapsed wall clock time (in seconds):16.943
9.62/17.05	o 113
9.62/17.06	c And the winner is solver0
9.62/17.56	c Got one! Elapsed wall clock time (in seconds):17.446
9.62/17.56	o 111
9.73/17.62	c And the winner is solver0
9.77/18.06	c Got one! Elapsed wall clock time (in seconds):17.949
9.77/18.06	o 105
9.77/18.08	c And the winner is solver0
9.83/18.56	c Got one! Elapsed wall clock time (in seconds):18.452
9.83/18.56	o 99
10.14/18.71	c And the winner is solver0
10.18/19.06	c Got one! Elapsed wall clock time (in seconds):18.955
10.18/19.06	o 94
10.24/19.11	c And the winner is solver0
10.31/19.57	c Got one! Elapsed wall clock time (in seconds):19.458
10.31/19.57	o 90
10.37/19.66	c And the winner is solver0
10.52/20.07	c Got one! Elapsed wall clock time (in seconds):19.962
10.52/20.07	o 89
10.52/20.09	c And the winner is solver0
10.52/20.58	c Got one! Elapsed wall clock time (in seconds):20.466
10.52/20.58	o 87
10.55/20.65	c And the winner is solver0
10.68/21.08	c Got one! Elapsed wall clock time (in seconds):20.969
10.68/21.08	o 73
10.71/21.10	c And the winner is solver0
10.74/21.58	c Got one! Elapsed wall clock time (in seconds):21.474
10.74/21.58	o 53
10.76/21.64	c And the winner is solver0
10.90/22.09	c Got one! Elapsed wall clock time (in seconds):21.979
10.90/22.09	o 50
10.92/22.15	c And the winner is solver0
11.03/22.60	c Got one! Elapsed wall clock time (in seconds):22.486
11.03/22.60	o 48
11.03/22.68	c And the winner is solver0
11.21/23.10	c Got one! Elapsed wall clock time (in seconds):22.993
11.21/23.10	o 47
11.21/23.13	c And the winner is solver0
11.27/23.61	c Got one! Elapsed wall clock time (in seconds):23.501
11.27/23.61	o 38
12.21/24.01	c cleaning 6208 clauses out of 12425 with flag 19585/12425
13.47/24.62	c cleaning 6099 clauses out of 12214 with flag 67714/18422
14.07/24.95	c And the winner is solver0
14.20/25.12	c Got one! Elapsed wall clock time (in seconds):25.009
14.20/25.12	o 35
14.61/25.34	c cleaning 5843 clauses out of 11697 with flag 12954/24004
15.62/25.88	c cleaning 5917 clauses out of 11854 with flag 58293/30004
15.85/25.95	c And the winner is solver0
15.97/26.13	c Got one! Elapsed wall clock time (in seconds):26.018
15.97/26.13	o 34
16.10/26.22	c And the winner is solver0
16.17/26.64	c Got one! Elapsed wall clock time (in seconds):26.529
16.17/26.64	o 33
16.27/26.70	c And the winner is solver0
16.31/27.15	c Got one! Elapsed wall clock time (in seconds):27.041
16.31/27.15	o 31
16.31/27.18	c And the winner is solver0
16.37/27.66	c Got one! Elapsed wall clock time (in seconds):27.553
16.37/27.66	o 30
17.07/28.07	c cleaning 6328 clauses out of 12664 with flag 29596/36731
18.28/28.62	c cleaning 6156 clauses out of 12336 with flag 72794/42731
18.48/28.78	c And the winner is solver0
18.69/29.17	c Got one! Elapsed wall clock time (in seconds):29.065
18.69/29.17	o 29
19.32/29.56	c cleaning 5997 clauses out of 12021 with flag 31224/48572
19.74/29.79	c And the winner is solver0
19.94/30.19	c Got one! Elapsed wall clock time (in seconds):30.078
19.94/30.19	o 28
20.58/30.52	c cleaning 5872 clauses out of 11768 with flag 20677/54316
20.98/30.71	c And the winner is solver0
21.02/31.21	c Got one! Elapsed wall clock time (in seconds):31.094
21.02/31.21	o 27
21.60/31.50	c cleaning 5568 clauses out of 11160 with flag 24171/59580
22.66/32.06	c cleaning 5788 clauses out of 11592 with flag 73729/65580
23.65/32.58	c And the winner is solver0
23.83/32.72	c Got one! Elapsed wall clock time (in seconds):32.611
23.83/32.72	o 26
24.38/33.04	c And the winner is solver0
24.48/33.24	c Got one! Elapsed wall clock time (in seconds):33.13
24.48/33.24	o 25
24.78/33.47	c cleaning 8489 clauses out of 16994 with flag 14743/76770
25.77/33.99	c cleaning 7244 clauses out of 14505 with flag 59791/82770
25.97/34.06	c And the winner is solver0
26.15/34.26	c Got one! Elapsed wall clock time (in seconds):34.149
26.15/34.26	o 24
27.04/34.76	c cleaning 6548 clauses out of 13124 with flag 40177/88633
28.05/35.30	c cleaning 6282 clauses out of 12576 with flag 87881/94633
28.44/35.49	c And the winner is solver0
28.66/35.78	c Got one! Elapsed wall clock time (in seconds):35.671
28.66/35.78	o 23
29.06/36.09	c cleaning 5839 clauses out of 11679 with flag 26904/100018
30.32/36.66	c cleaning 5902 clauses out of 11833 with flag 82897/106011
31.72/37.32	c cleaning 6464 clauses out of 12933 with flag 151108/113013
33.12/38.09	c cleaning 7231 clauses out of 14467 with flag 215987/121011
34.92/38.93	c cleaning 8114 clauses out of 16238 with flag 288594/130013
36.54/39.74	c And the winner is solver0
36.67/39.80	c Got one! Elapsed wall clock time (in seconds):39.695
36.67/39.80	o 22
36.83/39.90	c And the winner is solver0
36.87/40.33	c Got one! Elapsed wall clock time (in seconds):40.22
36.87/40.33	o 21
38.20/41.02	c cleaning 11401 clauses out of 22811 with flag 43769/144700
39.68/41.75	c cleaning 8698 clauses out of 17411 with flag 101937/150701
41.28/42.52	c cleaning 7850 clauses out of 15713 with flag 171012/157701
42.88/43.38	c And the winner is solver0
43.07/43.86	c Got one! Elapsed wall clock time (in seconds):43.748
43.07/43.86	o 16
44.13/44.45	c cleaning 10116 clauses out of 20251 with flag 38681/170089
44.93/44.82	c And the winner is solver0
44.93/44.89	c Got one! Elapsed wall clock time (in seconds):44.777
44.93/44.89	o 13
45.56/45.11	c cleaning 7916 clauses out of 15849 with flag 13702/175803
46.35/45.58	c cleaning 6947 clauses out of 13933 with flag 54765/181803
47.76/46.25	c cleaning 6984 clauses out of 13985 with flag 111532/188802
49.35/47.09	c cleaning 7500 clauses out of 15004 with flag 183825/196805
51.55/48.12	c cleaning 8248 clauses out of 16501 with flag 266573/205802
53.95/49.34	c cleaning 9120 clauses out of 18253 with flag 363415/215802
57.22/50.91	c cleaning 10063 clauses out of 20135 with flag 486547/226804
57.62/51.19	c And the winner is solver0
57.84/51.42	c Got one! Elapsed wall clock time (in seconds):51.311
57.84/51.42	o 11
58.37/51.78	c cleaning 7626 clauses out of 15262 with flag 24072/231994
59.76/52.46	c cleaning 6806 clauses out of 13632 with flag 68962/237990
61.56/53.31	c cleaning 6909 clauses out of 13825 with flag 124471/244989
61.96/53.55	c And the winner is solver0
62.11/53.96	c Got one! Elapsed wall clock time (in seconds):53.848
62.11/53.96	o 8
62.74/54.30	c cleaning 6116 clauses out of 12255 with flag 20711/250328
64.02/54.99	c cleaning 6066 clauses out of 12141 with flag 71337/256330
65.61/55.77	c cleaning 6521 clauses out of 13074 with flag 127465/263329
67.61/56.74	c cleaning 7276 clauses out of 14555 with flag 195715/271331
69.81/57.86	c cleaning 8133 clauses out of 16275 with flag 280996/280327
72.41/59.15	c cleaning 9068 clauses out of 18143 with flag 373080/290328
75.28/60.57	c cleaning 10030 clauses out of 20074 with flag 477374/301328
78.25/62.10	c cleaning 11019 clauses out of 22043 with flag 573560/313327
81.87/63.90	c cleaning 12012 clauses out of 24026 with flag 693667/326329
85.85/65.86	c cleaning 13003 clauses out of 26011 with flag 810414/340327
90.11/67.97	c cleaning 14004 clauses out of 28011 with flag 921020/355331
94.71/70.27	c cleaning 14999 clauses out of 30005 with flag 1042448/371329
100.36/73.07	c cleaning 15998 clauses out of 32005 with flag 1189045/388328
106.03/75.80	c cleaning 16998 clauses out of 34003 with flag 1335101/406327
111.83/78.73	c cleaning 17988 clauses out of 36005 with flag 1483394/425328
117.87/81.74	c cleaning 19002 clauses out of 38014 with flag 1646377/445329
124.11/84.88	c And the winner is solver0
124.46/85.38	c >>>>>>>>>> Solver number 0 (56 answers) <<<<<<<<<<<<<<<<<<
124.46/85.38	c starts		: 579
124.46/85.38	c conflicts		: 464428
124.46/85.38	c decisions		: 796533
124.46/85.38	c propagations		: 37157833
124.46/85.38	c inspects		: 763360709
124.46/85.38	c shortcuts		: 0
124.46/85.38	c learnt literals	: 37
124.46/85.38	c learnt binary clauses	: 321
124.46/85.38	c learnt ternary clauses	: 1690
124.46/85.38	c learnt constraints	: 464390
124.46/85.38	c ignored constraints	: 0
124.46/85.38	c root simplifications	: 0
124.46/85.38	c removed literals (reason simplification)	: 3493213
124.46/85.38	c reason swapping (by a shorter reason)	: 0
124.46/85.38	c Calls to reduceDB	: 49
124.46/85.38	c Number of update (reduction) of LBD	: 220517
124.46/85.38	c Imported unit clauses	: 0
124.46/85.38	c number of reductions to clauses (during analyze)	: 0
124.46/85.38	c number of learned constraints concerned by reduction	: 0
124.46/85.38	c number of learning phase by resolution	: 0
124.46/85.38	c number of learning phase by cutting planes	: 0
124.46/85.38	c speed (assignments/second)	: 436965.9085563761
124.46/85.38	c non guided choices	6322
124.46/85.38	c learnt constraints type 
124.46/85.38	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
124.46/85.38	c starts		: 82
124.46/85.38	c conflicts		: 4100
124.46/85.38	c decisions		: 94644
124.46/85.38	c propagations		: 321628
124.46/85.38	c inspects		: 62600277
124.46/85.38	c shortcuts		: 0
124.46/85.38	c learnt literals	: 0
124.46/85.38	c learnt binary clauses	: 0
124.46/85.38	c learnt ternary clauses	: 0
124.46/85.38	c learnt constraints	: 4070
124.46/85.38	c ignored constraints	: 0
124.46/85.38	c root simplifications	: 0
124.46/85.38	c removed literals (reason simplification)	: 0
124.46/85.38	c reason swapping (by a shorter reason)	: 0
124.46/85.38	c Calls to reduceDB	: 0
124.46/85.38	c Number of update (reduction) of LBD	: 0
124.46/85.38	c Imported unit clauses	: 0
124.46/85.38	c number of reductions to clauses (during analyze)	: 0
124.46/85.38	c number of learned constraints concerned by reduction	: 0
124.46/85.38	c number of learning phase by resolution	: 0
124.46/85.38	c number of learning phase by cutting planes	: 0
124.46/85.38	c speed (assignments/second)	: 10264.177437370352
124.46/85.38	c non guided choices	5659
124.46/85.38	c learnt constraints type 
124.46/85.38	s OPTIMUM FOUND
124.46/85.38	c Found 55 solution(s)
124.46/85.38	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 
124.46/85.38	c objective function=8
124.46/85.38	c Total wall clock time (in seconds): 85.274

Verifier Data 

OK	8

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-4109725-1466343688/watcher-4109725-1466343688 -o /tmp/evaluation-result-4109725-1466343688/solver-4109725-1466343688 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29921 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109725-1466343688.wbo 

pid=31221
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.65 2.30 1.94 3/196 31224
/proc/meminfo: memFree=29273744/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 1310 0 0 0 0 0 0 0 20 0 2 0 36415585 98635776 943 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 24081 949 720 9 0 16771 0
[pid=31224/tid=31225] ppid=31221 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) R 31221 31224 29904 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 2 0 36415586 98570240 974 33554432000 1073741824 1073778376 140737343053840 140561038679592 259112386229 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.65 2.30 1.94 3/196 31224
/proc/meminfo: memFree=29273744/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 4435 0 1 0 9 1 0 0 20 0 18 0 36415585 9787879424 6072 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2389619 6072 2141 9 0 2380296 0
[pid=31224/tid=31225] ppid=31221 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) R 31221 31224 29904 0 -1 4202560 2392 0 1 0 7 0 0 0 20 0 18 0 36415586 9787879424 6073 33554432000 1073741824 1073778376 140737343053840 140561038683040 259115771149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200281 s]
/proc/loadavg: 2.65 2.30 1.94 3/196 31224
/proc/meminfo: memFree=29273744/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 4710 0 1 0 23 1 0 0 20 0 18 0 36415585 9787879424 6796 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2389619 6796 2198 9 0 2380296 0
[pid=31224/tid=31225] ppid=31221 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) R 31221 31224 29904 0 -1 4202560 2414 0 1 0 17 0 0 0 20 0 18 0 36415586 9787879424 6796 33554432000 1073741824 1073778376 140737343053840 140561038683040 140560874726096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300377 s]
/proc/loadavg: 2.65 2.30 1.94 3/196 31224
/proc/meminfo: memFree=29273744/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 5751 0 1 0 46 1 0 0 20 0 18 0 36415585 9787879424 8938 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2389619 8938 2231 9 0 2380296 0
[pid=31224/tid=31225] ppid=31221 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) R 31221 31224 29904 0 -1 4202560 2417 0 1 0 27 0 0 0 20 0 18 0 36415586 9787879424 8938 33554432000 1073741824 1073778376 140737343053840 140561038683040 140560874710209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700309 s]
/proc/loadavg: 2.65 2.30 1.94 3/196 31224
/proc/meminfo: memFree=29273744/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9824732 CPUtime=1.42 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 10304 0 1 0 138 4 0 0 20 0 19 0 36415585 10060525568 12706 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2456183 12706 2259 9 0 2446860 0
[pid=31224/tid=31225] ppid=31221 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) S 31221 31224 29904 0 -1 4202560 2434 0 1 0 31 0 0 0 20 0 19 0 36415586 10060525568 12706 33554432000 1073741824 1073778376 140737343053840 140561038685048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 2.65 2.30 1.94 2/215 31249
/proc/meminfo: memFree=29207464/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 16821 0 1 0 184 9 0 0 20 0 19 0 36415585 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2456183 19373 2266 9 0 2446860 0
[pid=31224/tid=31225] ppid=31221 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) S 31221 31224 29904 0 -1 4202560 2436 0 1 0 33 0 0 0 20 0 19 0 36415586 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140561038685048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31227] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31227/stat : 31227 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140561000176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31228] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31228/stat : 31228 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560999123880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31229] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31229/stat : 31229 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560998071080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31230] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31230/stat : 31230 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560997018280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31231] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31231/stat : 31231 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560995965480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31232] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31232/stat : 31232 (java) S 31221 31224 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560994912680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31233] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31233/stat : 31233 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560993859880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31234] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31234/stat : 31234 (java) S 31221 31224 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560874596520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31235] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31235/stat : 31235 (java) S 31221 31224 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560862399464 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31236] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31236/stat : 31236 (java) S 31221 31224 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560861345528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31237] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31237/stat : 31237 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560860292616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31238] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31238/stat : 31238 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560859241104 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31239] ppid=31221 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/31224/task/31239/stat : 31239 (java) S 31221 31224 29904 0 -1 4202560 5821 0 0 0 52 2 0 0 20 0 19 0 36415590 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560119622072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31240] ppid=31221 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/31224/task/31240/stat : 31240 (java) S 31221 31224 29904 0 -1 4202560 7219 0 0 0 54 2 0 0 20 0 19 0 36415590 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560118569272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31241] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31241/stat : 31241 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560117516664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31242] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31242/stat : 31242 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560116464072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31246] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31246/stat : 31246 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36415620 10060525568 19373 33554432000 1073741824 1073778376 140737343053840 140560112252200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 2.52 2.27 1.93 2/215 31255
/proc/meminfo: memFree=29197596/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 16876 0 1 0 202 11 0 0 20 0 19 0 36415585 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2456183 24519 2266 9 0 2446860 0
[pid=31224/tid=31225] ppid=31221 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) S 31221 31224 29904 0 -1 4202560 2440 0 1 0 35 0 0 0 20 0 19 0 36415586 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140561038685048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31227] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31227/stat : 31227 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140561000176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31228] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31228/stat : 31228 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560999123880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31229] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31229/stat : 31229 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560998071080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31230] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31230/stat : 31230 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560997018280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31231] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31231/stat : 31231 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560995965480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31232] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31232/stat : 31232 (java) S 31221 31224 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560994912680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31233] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31233/stat : 31233 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560993859880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31234] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31234/stat : 31234 (java) S 31221 31224 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36415587 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560874596520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31235] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31235/stat : 31235 (java) S 31221 31224 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560862399464 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31236] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31236/stat : 31236 (java) S 31221 31224 29904 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560861345528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31237] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31237/stat : 31237 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560860292616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31238] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31238/stat : 31238 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560859241104 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31239] ppid=31221 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/31224/task/31239/stat : 31239 (java) S 31221 31224 29904 0 -1 4202560 5845 0 0 0 61 2 0 0 20 0 19 0 36415590 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560119622072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31240] ppid=31221 vsize=9824732 CPUtime=0.62 cores=1,3,5,7
/proc/31224/task/31240/stat : 31240 (java) S 31221 31224 29904 0 -1 4202560 7220 0 0 0 60 2 0 0 20 0 19 0 36415590 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560118569272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31241] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31241/stat : 31241 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560117516664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31242] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31242/stat : 31242 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560116464072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31246] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31246/stat : 31246 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36415620 10060525568 24519 33554432000 1073741824 1073778376 140737343053840 140560112252200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=28 pid=1815 uid=0 cmd=

[startup+6.30091 s]
/proc/loadavg: 2.52 2.27 1.93 3/217 31267
/proc/meminfo: memFree=29101216/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9824732 CPUtime=4.96 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 17671 0 1 0 483 13 0 0 20 0 21 0 36415585 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2456183 45215 2282 9 0 2446860 0
[pid=31224/tid=31225] ppid=31221 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) S 31221 31224 29904 0 -1 4202560 2442 0 1 0 35 1 0 0 20 0 21 0 36415586 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140561038685048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31227] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31227/stat : 31227 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140561000176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31228] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31228/stat : 31228 (java) S 31221 31224 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560999123880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31229] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31229/stat : 31229 (java) S 31221 31224 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560998071080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31230] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31230/stat : 31230 (java) S 31221 31224 29904 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560997018280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31231] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31231/stat : 31231 (java) S 31221 31224 29904 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560995965480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31232] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31232/stat : 31232 (java) S 31221 31224 29904 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560994912680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31233] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31233/stat : 31233 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560993859880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31234] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31234/stat : 31234 (java) S 31221 31224 29904 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36415587 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560874596520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31235] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31235/stat : 31235 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36415588 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560862399464 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31236] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31236/stat : 31236 (java) S 31221 31224 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36415588 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560861345528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31237] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31237/stat : 31237 (java) S 31221 31224 29904 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 36415588 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560860292616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31238] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31238/stat : 31238 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36415590 10060525568 45215 33554432000 1073741824 1073778376 140737343053840 140560859241104 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31239] ppid=31221 vsize=9824732 CPUtime=0.89 cores=1,3,5,7

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

/proc/31224/task/31239/stat : 31239 (java) S 31221 31224 29904 0 -1 4202560 6339 0 0 0 141 2 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560119622072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31240] ppid=31221 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/31224/task/31240/stat : 31240 (java) S 31221 31224 29904 0 -1 4202560 7920 0 0 0 96 2 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560118569272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31241] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31241/stat : 31241 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560117516664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31242] ppid=31221 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/31224/task/31242/stat : 31242 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560116464072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31246] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31246/stat : 31246 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36415620 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560112252200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31573] ppid=31221 vsize=9824732 CPUtime=29.67 cores=1,3,5,7
/proc/31224/task/31573/stat : 31573 (java) R 31221 31224 29904 0 -1 4202560 7 0 0 0 2967 0 0 0 20 0 22 0 36420985 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560114354984 140560875165350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31574] ppid=31221 vsize=9824732 CPUtime=29.67 cores=1,3,5,7
/proc/31224/task/31574/stat : 31574 (java) R 31221 31224 29904 0 -1 4202560 205 0 0 0 2962 5 0 0 20 0 22 0 36420985 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560113302336 140560875169115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31575] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31575/stat : 31575 (java) S 31221 31224 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36420991 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560115409704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 122.5
Current children cumulated vsize (KiB) 9824732

[startup+84.8082 s]
/proc/loadavg: 2.87 2.40 2.00 3/216 31723
/proc/meminfo: memFree=28169656/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9824732 CPUtime=124.11 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 20942 0 1 0 12263 148 0 0 20 0 22 0 36415585 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2456183 435984 2290 9 0 2446860 0
[pid=31224/tid=31225] ppid=31221 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) S 31221 31224 29904 0 -1 4202560 2455 0 1 0 81 2 0 0 20 0 22 0 36415586 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140561038685048 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31227] ppid=31221 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/31224/task/31227/stat : 31227 (java) S 31221 31224 29904 0 -1 4202560 123 0 0 0 28 5 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140561000176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31228] ppid=31221 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/31224/task/31228/stat : 31228 (java) S 31221 31224 29904 0 -1 4202560 110 0 0 0 21 4 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560999123880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31229] ppid=31221 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/31224/task/31229/stat : 31229 (java) S 31221 31224 29904 0 -1 4202560 111 0 0 0 26 4 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560998071080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31230] ppid=31221 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/31224/task/31230/stat : 31230 (java) S 31221 31224 29904 0 -1 4202560 120 0 0 0 24 4 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560997018280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31231] ppid=31221 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/31224/task/31231/stat : 31231 (java) S 31221 31224 29904 0 -1 4202560 127 0 0 0 29 5 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560995965480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31232] ppid=31221 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/31224/task/31232/stat : 31232 (java) S 31221 31224 29904 0 -1 4202560 123 0 0 0 29 5 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560994912680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31233] ppid=31221 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/31224/task/31233/stat : 31233 (java) S 31221 31224 29904 0 -1 4202560 92 0 0 0 26 4 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560993859880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31234] ppid=31221 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/31224/task/31234/stat : 31234 (java) S 31221 31224 29904 0 -1 4202560 140 0 0 0 32 4 0 0 20 0 22 0 36415587 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560874596520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31235] ppid=31221 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/31224/task/31235/stat : 31235 (java) S 31221 31224 29904 0 -1 4202560 734 0 0 0 1 6 0 0 20 0 22 0 36415588 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560862399464 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31236] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31236/stat : 31236 (java) S 31221 31224 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36415588 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560861345528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31237] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31237/stat : 31237 (java) S 31221 31224 29904 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 36415588 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560860292616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31238] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31238/stat : 31238 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560859241104 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31239] ppid=31221 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/31224/task/31239/stat : 31239 (java) S 31221 31224 29904 0 -1 4202560 6339 0 0 0 141 2 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560119622072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31240] ppid=31221 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/31224/task/31240/stat : 31240 (java) S 31221 31224 29904 0 -1 4202560 7920 0 0 0 96 2 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560118569272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31241] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31241/stat : 31241 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560117516664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31242] ppid=31221 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/31224/task/31242/stat : 31242 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 36415590 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560116464072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31246] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31246/stat : 31246 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36415620 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560112252200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31573] ppid=31221 vsize=9824732 CPUtime=30.47 cores=1,3,5,7
/proc/31224/task/31573/stat : 31573 (java) R 31221 31224 29904 0 -1 4202560 7 0 0 0 3047 0 0 0 20 0 22 0 36420985 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560114354984 140560875183647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31574] ppid=31221 vsize=9824732 CPUtime=30.47 cores=1,3,5,7
/proc/31224/task/31574/stat : 31574 (java) R 31221 31224 29904 0 -1 4202560 205 0 0 0 3042 5 0 0 20 0 22 0 36420985 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560113302336 140560875350627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31575] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31575/stat : 31575 (java) S 31221 31224 29904 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36420991 10060525568 435984 33554432000 1073741824 1073778376 140737343053840 140560115409704 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 124.11
Current children cumulated vsize (KiB) 9824732

[startup+85.2009 s]
/proc/loadavg: 2.87 2.40 2.00 3/216 31723
/proc/meminfo: memFree=28169656/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9824732 CPUtime=124.3 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 20942 0 1 0 12280 150 0 0 20 0 19 0 36415585 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2456183 435974 2290 9 0 2446860 0
[pid=31224/tid=31225] ppid=31221 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) R 31221 31224 29904 0 -1 4202560 2455 0 1 0 96 2 0 0 20 0 19 0 36415586 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140561038684808 140560874870710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31227] ppid=31221 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/31224/task/31227/stat : 31227 (java) S 31221 31224 29904 0 -1 4202560 123 0 0 0 28 5 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140561000176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31228] ppid=31221 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/31224/task/31228/stat : 31228 (java) S 31221 31224 29904 0 -1 4202560 110 0 0 0 21 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560999123880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31229] ppid=31221 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/31224/task/31229/stat : 31229 (java) S 31221 31224 29904 0 -1 4202560 111 0 0 0 26 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560998071080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31230] ppid=31221 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/31224/task/31230/stat : 31230 (java) S 31221 31224 29904 0 -1 4202560 120 0 0 0 24 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560997018280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31231] ppid=31221 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/31224/task/31231/stat : 31231 (java) S 31221 31224 29904 0 -1 4202560 127 0 0 0 29 5 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560995965480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31232] ppid=31221 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/31224/task/31232/stat : 31232 (java) S 31221 31224 29904 0 -1 4202560 123 0 0 0 29 5 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560994912680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31233] ppid=31221 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/31224/task/31233/stat : 31233 (java) S 31221 31224 29904 0 -1 4202560 92 0 0 0 26 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560993859880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31234] ppid=31221 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/31224/task/31234/stat : 31234 (java) S 31221 31224 29904 0 -1 4202560 140 0 0 0 32 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560874596520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31235] ppid=31221 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/31224/task/31235/stat : 31235 (java) S 31221 31224 29904 0 -1 4202560 734 0 0 0 1 6 0 0 20 0 19 0 36415588 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560862399464 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31236] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31236/stat : 31236 (java) S 31221 31224 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560861345528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31237] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31237/stat : 31237 (java) S 31221 31224 29904 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560860292616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31238] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31238/stat : 31238 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560859241104 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31239] ppid=31221 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/31224/task/31239/stat : 31239 (java) S 31221 31224 29904 0 -1 4202560 6339 0 0 0 141 2 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560119622072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31240] ppid=31221 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/31224/task/31240/stat : 31240 (java) S 31221 31224 29904 0 -1 4202560 7920 0 0 0 97 2 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560118569272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31241] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31241/stat : 31241 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560117516664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31242] ppid=31221 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/31224/task/31242/stat : 31242 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560116464072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31246] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31246/stat : 31246 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36415620 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560112252200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 124.3
Current children cumulated vsize (KiB) 9824732

[startup+85.3009 s]
/proc/loadavg: 2.87 2.40 2.00 3/216 31723
/proc/meminfo: memFree=28169656/32872528 swapFree=1498360/1645528
[pid=31224] ppid=31221 vsize=9824732 CPUtime=124.4 cores=1,3,5,7
/proc/31224/stat : 31224 (java) S 31221 31224 29904 0 -1 4202496 20942 0 1 0 12290 150 0 0 20 0 19 0 36415585 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140737343044976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31224/statm: 2456183 435974 2290 9 0 2446860 0
[pid=31224/tid=31225] ppid=31221 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/31224/task/31225/stat : 31225 (java) R 31221 31224 29904 0 -1 4202560 2455 0 1 0 106 2 0 0 20 0 19 0 36415586 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140561038684808 140560875824370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31227] ppid=31221 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/31224/task/31227/stat : 31227 (java) S 31221 31224 29904 0 -1 4202560 123 0 0 0 28 5 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140561000176680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31228] ppid=31221 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/31224/task/31228/stat : 31228 (java) S 31221 31224 29904 0 -1 4202560 110 0 0 0 21 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560999123880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31229] ppid=31221 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/31224/task/31229/stat : 31229 (java) S 31221 31224 29904 0 -1 4202560 111 0 0 0 26 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560998071080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31230] ppid=31221 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/31224/task/31230/stat : 31230 (java) S 31221 31224 29904 0 -1 4202560 120 0 0 0 24 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560997018280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31231] ppid=31221 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/31224/task/31231/stat : 31231 (java) S 31221 31224 29904 0 -1 4202560 127 0 0 0 29 5 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560995965480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31232] ppid=31221 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/31224/task/31232/stat : 31232 (java) S 31221 31224 29904 0 -1 4202560 123 0 0 0 29 5 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560994912680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31233] ppid=31221 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/31224/task/31233/stat : 31233 (java) S 31221 31224 29904 0 -1 4202560 92 0 0 0 26 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560993859880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31234] ppid=31221 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/31224/task/31234/stat : 31234 (java) S 31221 31224 29904 0 -1 4202560 140 0 0 0 32 4 0 0 20 0 19 0 36415587 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560874596520 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31235] ppid=31221 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/31224/task/31235/stat : 31235 (java) S 31221 31224 29904 0 -1 4202560 734 0 0 0 1 6 0 0 20 0 19 0 36415588 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560862399464 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31236] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31236/stat : 31236 (java) S 31221 31224 29904 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560861345528 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31237] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31237/stat : 31237 (java) S 31221 31224 29904 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 36415588 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560860292616 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31238] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31238/stat : 31238 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560859241104 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31224/tid=31239] ppid=31221 vsize=9824732 CPUtime=1.43 cores=1,3,5,7
/proc/31224/task/31239/stat : 31239 (java) S 31221 31224 29904 0 -1 4202560 6339 0 0 0 141 2 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560119622072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31224/tid=31240] ppid=31221 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/31224/task/31240/stat : 31240 (java) S 31221 31224 29904 0 -1 4202560 7920 0 0 0 97 2 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560118569272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31241] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31241/stat : 31241 (java) S 31221 31224 29904 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560117516664 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31224/tid=31242] ppid=31221 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/31224/task/31242/stat : 31242 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 36415590 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560116464072 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31224/tid=31246] ppid=31221 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/31224/task/31246/stat : 31246 (java) S 31221 31224 29904 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36415620 10060525568 435974 33554432000 1073741824 1073778376 140737343053840 140560112252200 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 124.4
Current children cumulated vsize (KiB) 9824732

Child status: 30

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

Real time (s): 85.3961
CPU time (s): 124.645
CPU user time (s): 123.012
CPU system time (s): 1.63275
CPU usage (%): 145.961
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 122.942
system time used= 1.64275
maximum resident set size= 1760792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20949
page faults= 1
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4635
involuntary context switches= 3610

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.514921 second user time and 0.716891 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-19 15:41:28
IDJOB=4109725
IDBENCH=78905
IDSOLVER=2552
FILE ID=node124/4109725-1466343688
RUNJOBID= node124-1466341817-29921
PBS_JOBID= 19922029
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109725-1466343688/watcher-4109725-1466343688 -o /tmp/evaluation-result-4109725-1466343688/solver-4109725-1466343688 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466341817-29921 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4109725-1466343688.wbo

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

MD5SUM BENCH= 9b675eaf583b613075d5327645ad3a71
RANDOM SEED=1443376827

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29274008 kB
Buffers:          121180 kB
Cached:           205196 kB
SwapCached:         2816 kB
Active:           988184 kB
Inactive:         182176 kB
Active(anon):     842980 kB
Inactive(anon):     3592 kB
Active(file):     145204 kB
Inactive(file):   178584 kB
Unevictable:     1645528 kB
Mlocked:         1498360 kB
SwapTotal:      67108856 kB
SwapFree:       67099904 kB
Dirty:               924 kB
Writeback:             0 kB
AnonPages:       2490920 kB
Mapped:            17100 kB
Shmem:                 0 kB
Slab:             643668 kB
SReclaimable:      87664 kB
SUnreclaim:       556004 kB
KernelStack:        1632 kB
PageTables:         9832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2737248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    978944 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= 71728 MiB
End job on node124 at 2016-06-19 15:42:53