Trace number 4106545

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 1406.48 702.879

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb
MD5SUM901fa4df755866cb23bdcc769669d554
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.170973
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 variables189
Total number of constraints15
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 constraints15
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)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

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-4106545-1466272049.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.22/0.24	c ... done. Wall clock time 0.118s.
0.22/0.24	c declared #vars     189
0.22/0.24	c internal #vars     756
0.22/0.24	c #constraints  1156
0.22/0.24	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.22/0.24	c constraints type 
0.22/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 567
0.22/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 589
0.22/0.24	c 1156 constraints processed.
0.22/0.24	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.22/0.24	c constraints type 
0.22/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 567
0.22/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 589
0.22/0.24	c 1156 constraints processed.
0.22/0.24	c objective function length is 9 literals
3.34/1.07	c cleaning 2497 clauses out of 5000 with flag 10835/5000
5.38/1.74	c cleaning 4249 clauses out of 8503 with flag 23734/11000
7.01/2.50	c cleaning 5618 clauses out of 11254 with flag 38500/18000
8.85/3.45	c cleaning 6811 clauses out of 13637 with flag 55235/26001
11.48/4.71	c cleaning 7908 clauses out of 15825 with flag 74475/35000
14.51/6.20	c cleaning 8950 clauses out of 17917 with flag 95598/45000
16.10/7.00	c cleaning 9977 clauses out of 19968 with flag 121242/56001
18.32/8.17	c cleaning 10988 clauses out of 21992 with flag 146369/68002
21.53/9.70	c cleaning 11990 clauses out of 24003 with flag 172975/81001
25.57/11.78	c cleaning 12997 clauses out of 26013 with flag 202152/95001
27.98/12.96	c cleaning 14007 clauses out of 28016 with flag 233344/110001
32.65/15.21	c cleaning 14997 clauses out of 30009 with flag 266536/126001
38.05/17.90	c cleaning 15994 clauses out of 32011 with flag 304547/143000
39.75/18.71	c cleaning 0 clauses out of 5000 with flag 0/5000
41.98/19.80	c cleaning 17003 clauses out of 34017 with flag 343777/161000
46.11/21.75	c cleaning 18002 clauses out of 36016 with flag 385222/180002
50.51/23.93	c cleaning 18996 clauses out of 38012 with flag 431690/200000
57.57/27.45	c cleaning 19999 clauses out of 40018 with flag 485861/221002
65.23/31.26	c cleaning 21006 clauses out of 42018 with flag 539509/243001
66.64/31.95	c And the winner is solver0
66.64/32.25	c SATISFIABLE
66.64/32.25	c OPTIMIZING...
66.64/32.25	c Got one! Elapsed wall clock time (in seconds):32.127
66.64/32.25	o 51
67.73/32.80	c cleaning 17234 clauses out of 34484 with flag 11439/256473
68.73/33.33	c cleaning 11616 clauses out of 23249 with flag 26070/262472
70.35/34.12	c cleaning 9306 clauses out of 18633 with flag 41362/269472
71.33/34.65	c cleaning 8653 clauses out of 17327 with flag 58899/277472
72.36/35.20	c cleaning 8830 clauses out of 17674 with flag 79412/286472
74.36/36.10	c cleaning 9417 clauses out of 18845 with flag 104234/296473
75.76/36.88	c cleaning 10205 clauses out of 20427 with flag 131233/307472
77.62/37.77	c cleaning 11094 clauses out of 22223 with flag 157743/319473
79.43/38.65	c cleaning 12056 clauses out of 24128 with flag 187182/332472
79.62/38.71	c And the winner is solver0
79.62/38.75	c Got one! Elapsed wall clock time (in seconds):38.629
79.62/38.75	o 41
79.95/38.99	c cleaning 8782 clauses out of 17590 with flag 8508/337990
80.75/39.32	c cleaning 7392 clauses out of 14808 with flag 21443/343990
81.56/39.78	c cleaning 7195 clauses out of 14418 with flag 35625/350992
82.54/40.22	c cleaning 7605 clauses out of 15222 with flag 52887/358991
83.56/40.79	c cleaning 8304 clauses out of 16617 with flag 73570/367991
85.14/41.55	c cleaning 9135 clauses out of 18312 with flag 96479/377990
86.74/42.37	c cleaning 10088 clauses out of 20177 with flag 121138/388990
89.20/43.51	c cleaning 11043 clauses out of 22090 with flag 148276/400991
90.80/44.31	c cleaning 12012 clauses out of 24049 with flag 176648/413993
92.00/44.99	c And the winner is solver0
92.20/45.25	c Got one! Elapsed wall clock time (in seconds):45.131
92.20/45.25	o 29
93.09/45.72	c cleaning 14163 clauses out of 28366 with flag 11470/430322
93.69/46.05	c cleaning 10086 clauses out of 20202 with flag 24857/436321
94.89/46.67	c cleaning 8545 clauses out of 17117 with flag 40687/443322
96.09/47.21	c cleaning 8279 clauses out of 16572 with flag 58746/451322
97.31/47.87	c cleaning 8641 clauses out of 17293 with flag 77540/460322
98.53/48.49	c And the winner is solver0
98.75/48.75	c Got one! Elapsed wall clock time (in seconds):48.632
98.75/48.75	o 17
99.25/49.02	c cleaning 11686 clauses out of 23405 with flag 10992/475075
100.05/49.45	c cleaning 8861 clauses out of 17722 with flag 24080/481078
100.85/49.85	c cleaning 7915 clauses out of 15859 with flag 39245/488076
101.91/50.39	c cleaning 7950 clauses out of 15943 with flag 56677/496075
103.11/50.92	c cleaning 8488 clauses out of 16993 with flag 76335/505075
104.31/51.55	c cleaning 9248 clauses out of 18507 with flag 99613/515077
106.11/52.48	c cleaning 10122 clauses out of 20257 with flag 122102/526075
108.50/53.66	c cleaning 11055 clauses out of 22135 with flag 149357/538075
110.30/54.55	c cleaning 12029 clauses out of 24082 with flag 176524/551077
112.74/55.73	c cleaning 13016 clauses out of 26051 with flag 207154/565075
115.95/57.38	c cleaning 14006 clauses out of 28036 with flag 242961/580076
118.74/58.77	c cleaning 14996 clauses out of 30029 with flag 280815/596075
121.54/60.11	c cleaning 15999 clauses out of 32034 with flag 318786/613076
121.54/60.15	c And the winner is solver0
121.67/60.25	c Got one! Elapsed wall clock time (in seconds):60.134
121.67/60.25	o 5
122.15/60.59	c cleaning 10522 clauses out of 21068 with flag 8664/618109
122.93/60.92	c cleaning 8266 clauses out of 16545 with flag 22983/624108
124.01/61.50	c cleaning 7632 clauses out of 15279 with flag 39399/631108
124.21/61.52	c And the winner is solver0
124.29/61.76	c Got one! Elapsed wall clock time (in seconds):61.635
124.29/61.76	o 3
124.77/62.06	c cleaning 6635 clauses out of 13290 with flag 11291/636751
125.57/62.45	c cleaning 6317 clauses out of 12656 with flag 24069/642752
126.38/62.83	c cleaning 6662 clauses out of 13339 with flag 39313/649752
127.39/63.39	c cleaning 7332 clauses out of 14677 with flag 57631/657752
128.99/64.19	c cleaning 8163 clauses out of 16348 with flag 80252/666755
130.60/64.92	c cleaning 9083 clauses out of 18181 with flag 103084/676751
133.00/66.12	c cleaning 10041 clauses out of 20100 with flag 127488/687753
134.82/67.09	c cleaning 11021 clauses out of 22057 with flag 155117/699751
137.27/68.22	c cleaning 12011 clauses out of 24037 with flag 184116/712752
140.05/69.64	c cleaning 13006 clauses out of 26025 with flag 218373/726751
143.05/71.16	c cleaning 13999 clauses out of 28020 with flag 252100/741752
147.91/73.59	c cleaning 14999 clauses out of 30020 with flag 290503/757751
150.51/74.83	c cleaning 16010 clauses out of 32021 with flag 327011/774751
153.90/76.52	c cleaning 16999 clauses out of 34013 with flag 368481/792753
157.31/78.28	c cleaning 18003 clauses out of 36012 with flag 409745/811752
161.13/80.10	c cleaning 19000 clauses out of 38008 with flag 453847/831751
165.72/82.44	c cleaning 19992 clauses out of 40008 with flag 501697/852751
171.76/85.47	c cleaning 20993 clauses out of 42016 with flag 548366/874751
177.56/88.31	c cleaning 22005 clauses out of 44023 with flag 600857/897751
188.40/93.70	c cleaning 22999 clauses out of 46019 with flag 661587/921752
190.41/94.77	c cleaning 0 clauses out of 12374 with flag 0/12377
198.84/98.98	c cleaning 24000 clauses out of 48019 with flag 721024/946751
205.71/102.34	c cleaning 24995 clauses out of 50019 with flag 779537/972751
213.56/106.21	c cleaning 26004 clauses out of 52025 with flag 838662/999752
219.76/109.32	c cleaning 27002 clauses out of 54021 with flag 907083/1027752
227.19/113.08	c cleaning 28005 clauses out of 56019 with flag 973096/1056752
234.01/116.48	c cleaning 28996 clauses out of 58013 with flag 1038640/1086751
240.64/119.78	c cleaning 29983 clauses out of 60018 with flag 1108560/1117752
247.45/123.10	c cleaning 31012 clauses out of 62034 with flag 1181950/1149751
257.09/127.99	c cleaning 32003 clauses out of 64022 with flag 1257614/1182751
267.36/133.09	c cleaning 32995 clauses out of 66022 with flag 1337022/1216754
276.28/137.46	c cleaning 34004 clauses out of 68024 with flag 1420493/1251751
288.51/143.57	c cleaning 34994 clauses out of 70021 with flag 1499568/1287752
301.18/149.87	c cleaning 36013 clauses out of 72028 with flag 1583706/1324753
312.83/155.63	c cleaning 36991 clauses out of 74014 with flag 1675671/1362752
325.86/162.18	c cleaning 37999 clauses out of 76023 with flag 1762079/1401752
340.59/169.46	c cleaning 39000 clauses out of 78024 with flag 1854204/1441752
355.28/176.72	c cleaning 40005 clauses out of 80023 with flag 1950614/1482751
366.73/182.44	c cleaning 40994 clauses out of 82018 with flag 2045917/1524751
382.29/190.32	c cleaning 42001 clauses out of 84024 with flag 2142117/1567751
404.74/201.58	c cleaning 43008 clauses out of 86023 with flag 2238964/1611751
420.20/209.26	c cleaning 43987 clauses out of 88015 with flag 2338547/1656751
435.26/216.72	c cleaning 0 clauses out of 18374 with flag 0/18377
437.06/217.67	c cleaning 45006 clauses out of 90030 with flag 2440631/1702753
461.80/229.95	c cleaning 45996 clauses out of 92022 with flag 2544704/1749752
479.32/238.65	c cleaning 46995 clauses out of 94025 with flag 2654519/1797751
496.00/246.96	c cleaning 48001 clauses out of 96031 with flag 2763017/1846752
511.07/254.45	c cleaning 49011 clauses out of 98030 with flag 2874628/1896752
537.15/267.66	c cleaning 49996 clauses out of 100019 with flag 2987676/1947752
555.22/276.63	c cleaning 51007 clauses out of 102023 with flag 3102754/1999752
574.30/286.17	c cleaning 51994 clauses out of 104015 with flag 3222208/2052751
594.20/296.07	c cleaning 53007 clauses out of 106022 with flag 3346183/2106752
617.09/307.49	c cleaning 54002 clauses out of 108014 with flag 3472205/2161751
648.39/323.06	c cleaning 55002 clauses out of 110014 with flag 3596414/2217753
667.50/332.56	c cleaning 55991 clauses out of 112010 with flag 3721534/2274752
692.02/344.79	c cleaning 57007 clauses out of 114019 with flag 3847157/2332752
722.53/359.97	c cleaning 57997 clauses out of 116011 with flag 3978067/2391751
746.92/372.29	c cleaning 58999 clauses out of 118014 with flag 4109048/2451751
791.41/394.41	c cleaning 59995 clauses out of 120014 with flag 4247288/2512751
829.43/413.37	c cleaning 61007 clauses out of 122019 with flag 4387798/2574751
857.92/427.54	c cleaning 61997 clauses out of 124012 with flag 4531526/2637751
887.19/442.11	c cleaning 62995 clauses out of 126015 with flag 4676173/2701751
912.53/454.71	c cleaning 64002 clauses out of 128020 with flag 4820225/2766752
957.90/477.34	c cleaning 0 clauses out of 25374 with flag 0/25377
961.32/479.05	c cleaning 65000 clauses out of 130018 with flag 4963275/2832752
999.33/497.90	c cleaning 66002 clauses out of 132018 with flag 5111450/2899752
1035.33/516.13	c cleaning 67001 clauses out of 134017 with flag 5262532/2967753
1071.68/534.21	c cleaning 68000 clauses out of 136015 with flag 5418886/3036752
1105.23/550.91	c cleaning 69002 clauses out of 138014 with flag 5574973/3106751
1144.99/570.70	c cleaning 69999 clauses out of 140013 with flag 5734939/3177752
1195.20/595.73	c cleaning 70996 clauses out of 142013 with flag 5907238/3249751
1260.49/628.28	c cleaning 72007 clauses out of 144018 with flag 6082762/3322752
1325.96/660.87	c cleaning 73003 clauses out of 146009 with flag 6248540/3396751
1402.13/698.78	c cleaning 73999 clauses out of 148000 with flag 6417890/3471751
1402.53/698.95	c And the winner is solver0
1406.14/702.86	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1406.14/702.86	c starts		: 7437
1406.14/702.86	c conflicts		: 3473179
1406.14/702.86	c decisions		: 4016520
1406.14/702.86	c propagations		: 75904620
1406.14/702.86	c inspects		: 10375077299
1406.14/702.86	c shortcuts		: 0
1406.14/702.86	c learnt literals	: 22
1406.14/702.86	c learnt binary clauses	: 49
1406.14/702.86	c learnt ternary clauses	: 105
1406.14/702.86	c learnt constraints	: 3473156
1406.14/702.86	c ignored constraints	: 0
1406.14/702.86	c root simplifications	: 0
1406.14/702.86	c removed literals (reason simplification)	: 10098292
1406.14/702.86	c reason swapping (by a shorter reason)	: 0
1406.14/702.86	c Calls to reduceDB	: 128
1406.14/702.86	c Number of update (reduction) of LBD	: 123437
1406.14/702.86	c Imported unit clauses	: 0
1406.14/702.86	c number of reductions to clauses (during analyze)	: 0
1406.14/702.86	c number of learned constraints concerned by reduction	: 0
1406.14/702.86	c number of learning phase by resolution	: 0
1406.14/702.86	c number of learning phase by cutting planes	: 0
1406.14/702.86	c speed (assignments/second)	: 108031.13498373226
1406.14/702.86	c non guided choices	27524
1406.14/702.86	c learnt constraints type 
1406.14/702.86	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1406.14/702.86	c starts		: 100
1406.14/702.86	c conflicts		: 29151
1406.14/702.86	c decisions		: 33885
1406.14/702.86	c propagations		: 493992
1406.14/702.86	c inspects		: 822712855
1406.14/702.86	c shortcuts		: 0
1406.14/702.86	c learnt literals	: 0
1406.14/702.86	c learnt binary clauses	: 0
1406.14/702.86	c learnt ternary clauses	: 0
1406.14/702.86	c learnt constraints	: 29148
1406.14/702.86	c ignored constraints	: 0
1406.14/702.86	c root simplifications	: 0
1406.14/702.86	c removed literals (reason simplification)	: 0
1406.14/702.86	c reason swapping (by a shorter reason)	: 0
1406.14/702.86	c Calls to reduceDB	: 4
1406.14/702.86	c Number of update (reduction) of LBD	: 0
1406.14/702.86	c Imported unit clauses	: 0
1406.14/702.86	c number of reductions to clauses (during analyze)	: 0
1406.14/702.86	c number of learned constraints concerned by reduction	: 0
1406.14/702.86	c number of learning phase by resolution	: 0
1406.14/702.86	c number of learning phase by cutting planes	: 0
1406.14/702.86	c speed (assignments/second)	: 770.5285224954298
1406.14/702.86	c non guided choices	1855
1406.14/702.86	c learnt constraints type 
1406.14/702.86	s OPTIMUM FOUND
1406.14/702.86	c Found 6 solution(s)
1406.14/702.86	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 
1406.14/702.87	c objective function=3
1406.14/702.87	c Total wall clock time (in seconds): 702.745

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

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

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


[startup+0 s]
/proc/loadavg: 4.08 4.17 3.98 4/197 2646
/proc/meminfo: memFree=27527792/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2646/stat : 2646 (java) R 2643 2646 28285 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 29253352 9515008 175 33554432000 1073741824 1073778376 140733957412464 140733957409592 217410519952 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2646/statm: 2323 175 133 9 0 71 0

[startup+0.100113 s]
/proc/loadavg: 4.08 4.17 3.98 4/197 2646
/proc/meminfo: memFree=27527792/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 4475 0 1 0 9 1 0 0 20 0 18 0 29253352 9787879424 5594 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2389619 5594 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200268 s]
/proc/loadavg: 4.08 4.17 3.98 4/197 2646
/proc/meminfo: memFree=27527792/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 4650 0 1 0 21 1 0 0 20 0 18 0 29253352 9787879424 6763 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2389619 6763 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 4.08 4.17 3.98 4/197 2646
/proc/meminfo: memFree=27527792/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 7504 0 1 0 52 1 0 0 20 0 22 0 29253352 10060525568 10262 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 10262 2234 9 0 2446860 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9824732

[startup+0.700185 s]
/proc/loadavg: 4.08 4.17 3.98 4/197 2646
/proc/meminfo: memFree=27527792/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 15522 0 1 0 211 3 0 0 20 0 22 0 29253352 10060525568 20069 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 20069 2256 9 0 2446860 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.08 4.17 3.98 7/219 2668
/proc/meminfo: memFree=27353944/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=4.95 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 27111 0 1 0 489 6 0 0 20 0 22 0 29253352 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 49331 2278 9 0 2446860 0
[pid=2646/tid=2648] ppid=2643 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/2646/task/2648/stat : 2648 (java) S 2643 2646 28285 0 -1 4202560 2467 0 1 0 21 0 0 0 20 0 22 0 29253353 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182967497592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2649] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2649/stat : 2649 (java) S 2643 2646 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182906226984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2650] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2650/stat : 2650 (java) S 2643 2646 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182905174184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2651] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2651/stat : 2651 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182904121896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2652] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2652/stat : 2652 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182903069096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2653] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2653/stat : 2653 (java) S 2643 2646 28285 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182902016808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2654] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2654/stat : 2654 (java) S 2643 2646 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182806018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2655] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2655/stat : 2655 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182804966440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2656] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2656/stat : 2656 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182803913640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2657] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2657/stat : 2657 (java) S 2643 2646 28285 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 29253355 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182791715048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2658] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2658/stat : 2658 (java) S 2643 2646 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29253356 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182790661112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2659] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2659/stat : 2659 (java) S 2643 2646 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29253356 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182789608712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2660] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2660/stat : 2660 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253358 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182788557200 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2661] ppid=2643 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/2646/task/2661/stat : 2661 (java) S 2643 2646 28285 0 -1 4202560 12814 0 0 0 115 2 0 0 20 0 22 0 29253358 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182787504824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2662] ppid=2643 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/2646/task/2662/stat : 2662 (java) S 2643 2646 28285 0 -1 4202560 10321 0 0 0 102 1 0 0 20 0 22 0 29253358 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182786452024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2663] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2663/stat : 2663 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253358 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182785399928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2664] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2664/stat : 2664 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253358 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182784347336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2665] ppid=2643 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/2646/task/2665/stat : 2665 (java) R 2643 2646 28285 0 -1 4202560 26 0 0 0 122 0 0 0 20 0 22 0 29253377 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182783291840 140182907747381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2666] ppid=2643 vsize=9824732 CPUtime=1.22 cores=0,2,4,6
/proc/2646/task/2666/stat : 2666 (java) R 2643 2646 28285 0 -1 4202560 97 0 0 0 120 2 0 0 20 0 22 0 29253377 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182782238776 140182907674323 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2667] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2667/stat : 2667 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29253377 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182781187240 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2668] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2668/stat : 2668 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29253377 10060525568 49331 33554432000 1073741824 1073778376 140737292023120 140182780134440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 9824732

[startup+3.10093 s]
/proc/loadavg: 4.08 4.17 3.98 5/219 2668
/proc/meminfo: memFree=27285308/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=8.24 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 27343 0 1 0 813 11 0 0 20 0 22 0 29253352 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 85803 2278 9 0 2446860 0
[pid=2646/tid=2648] ppid=2643 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/2646/task/2648/stat : 2648 (java) S 2643 2646 28285 0 -1 4202560 2467 0 1 0 21 0 0 0 20 0 22 0 29253353 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182967497592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2649] ppid=2643 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2646/task/2649/stat : 2649 (java) S 2643 2646 28285 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182906226984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2650] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2650/stat : 2650 (java) S 2643 2646 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182905174184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2651] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2651/stat : 2651 (java) S 2643 2646 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182904121896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2652] ppid=2643 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2646/task/2652/stat : 2652 (java) S 2643 2646 28285 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182903069096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2653] ppid=2643 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2646/task/2653/stat : 2653 (java) S 2643 2646 28285 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182902016808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2654] ppid=2643 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2646/task/2654/stat : 2654 (java) S 2643 2646 28285 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182806018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2655] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2655/stat : 2655 (java) S 2643 2646 28285 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182804966440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2656] ppid=2643 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2646/task/2656/stat : 2656 (java) S 2643 2646 28285 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 29253354 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182803913640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2657] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2657/stat : 2657 (java) S 2643 2646 28285 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 22 0 29253355 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182791715048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2658] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2658/stat : 2658 (java) S 2643 2646 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29253356 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182790661112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2659] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2659/stat : 2659 (java) S 2643 2646 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29253356 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182789608712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2660] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2660/stat : 2660 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253358 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182788557200 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2661] ppid=2643 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/2646/task/2661/stat : 2661 (java) S 2643 2646 28285 0 -1 4202560 12814 0 0 0 116 2 0 0 20 0 22 0 29253358 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182787504824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2662] ppid=2643 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/2646/task/2662/stat : 2662 (java) S 2643 2646 28285 0 -1 4202560 10321 0 0 0 105 1 0 0 20 0 22 0 29253358 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182786452024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2663] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2663/stat : 2663 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253358 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182785399928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2664] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2664/stat : 2664 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253358 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182784347336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2665] ppid=2643 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/2646/task/2665/stat : 2665 (java) R 2643 2646 28285 0 -1 4202560 30 0 0 0 277 0 0 0 20 0 22 0 29253377 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182783291888 140182907827584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2666] ppid=2643 vsize=9824732 CPUtime=2.75 cores=0,2,4,6
/proc/2646/task/2666/stat : 2666 (java) R 2643 2646 28285 0 -1 4202560 151 0 0 0 272 3 0 0 20 0 22 0 29253377 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182782237552 140182907824260 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2667] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2667/stat : 2667 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29253377 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182781187240 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2668] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2668/stat : 2668 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29253377 10060525568 85803 33554432000 1073741824 1073778376 140737292023120 140182780134440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.08 4.16 3.98 6/219 2668
/proc/meminfo: memFree=26931912/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=14.7 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 27797 0 1 0 1451 19 0 0 20 0 22 0 29253352 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 161986 2281 9 0 2446860 0
[pid=2646/tid=2648] ppid=2643 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/2646/task/2648/stat : 2648 (java) S 2643 2646 28285 0 -1 4202560 2467 0 1 0 21 0 0 0 20 0 22 0 29253353 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182967497592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2649] ppid=2643 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2646/task/2649/stat : 2649 (java) S 2643 2646 28285 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182906226984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2650] ppid=2643 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/2646/task/2650/stat : 2650 (java) S 2643 2646 28285 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182905174184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2651] ppid=2643 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2646/task/2651/stat : 2651 (java) S 2643 2646 28285 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182904121896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2652] ppid=2643 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2646/task/2652/stat : 2652 (java) S 2643 2646 28285 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182903069096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2653] ppid=2643 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/2646/task/2653/stat : 2653 (java) S 2643 2646 28285 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182902016808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2654] ppid=2643 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/2646/task/2654/stat : 2654 (java) S 2643 2646 28285 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182806018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2655] ppid=2643 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2646/task/2655/stat : 2655 (java) S 2643 2646 28285 0 -1 4202560 18 0 0 0 1 1 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182804966440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2656] ppid=2643 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/2646/task/2656/stat : 2656 (java) S 2643 2646 28285 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 29253354 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182803913640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2657] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2657/stat : 2657 (java) S 2643 2646 28285 0 -1 4202560 439 0 0 0 0 0 0 0 20 0 22 0 29253355 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182791715048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2658] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2658/stat : 2658 (java) S 2643 2646 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29253356 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182790661112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2659] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2659/stat : 2659 (java) S 2643 2646 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29253356 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182789608712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2660] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2660/stat : 2660 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29253358 10060525568 161986 33554432000 1073741824 1073778376 140737292023120 140182788557200 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2661] ppid=2643 vsize=9824732 CPUtime=1.2 cores=0,2,4,6

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

/proc/2646/task/2660/stat : 2660 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182788557200 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2661] ppid=2643 vsize=9824732 CPUtime=1.41 cores=0,2,4,6
/proc/2646/task/2661/stat : 2661 (java) S 2643 2646 28285 0 -1 4202560 12852 0 0 0 139 2 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182787504824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2662] ppid=2643 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/2646/task/2662/stat : 2662 (java) S 2643 2646 28285 0 -1 4202560 14032 0 0 0 149 3 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182786452024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2663] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2663/stat : 2663 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182785399928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2664] ppid=2643 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/2646/task/2664/stat : 2664 (java) S 2643 2646 28285 0 -1 4202560 40 0 0 0 10 15 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182784347336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2667] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2667/stat : 2667 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29253377 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182781187240 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1399.83
Current children cumulated vsize (KiB) 9824732
#
############


[startup+702.301 s]
/proc/loadavg: 4.20 4.24 4.10 4/216 3150
/proc/meminfo: memFree=25489504/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=1402.74 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 36803 0 1 0 140100 174 0 0 20 0 19 0 29253352 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 506195 2293 9 0 2446860 0
[pid=2646/tid=2648] ppid=2643 vsize=9824732 CPUtime=3.12 cores=0,2,4,6
/proc/2646/task/2648/stat : 2648 (java) R 2643 2646 28285 0 -1 4202560 2478 0 1 0 310 2 0 0 20 0 19 0 29253353 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182967495216 140182907455408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2649] ppid=2643 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/2646/task/2649/stat : 2649 (java) S 2643 2646 28285 0 -1 4202560 410 0 0 0 174 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182906226984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2650] ppid=2643 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/2646/task/2650/stat : 2650 (java) S 2643 2646 28285 0 -1 4202560 396 0 0 0 191 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182905174184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2651] ppid=2643 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/2646/task/2651/stat : 2651 (java) S 2643 2646 28285 0 -1 4202560 390 0 0 0 185 8 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182904121896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2652] ppid=2643 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/2646/task/2652/stat : 2652 (java) S 2643 2646 28285 0 -1 4202560 411 0 0 0 200 10 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182903069096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2653] ppid=2643 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/2646/task/2653/stat : 2653 (java) S 2643 2646 28285 0 -1 4202560 399 0 0 0 190 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182902016808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2654] ppid=2643 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/2646/task/2654/stat : 2654 (java) S 2643 2646 28285 0 -1 4202560 363 0 0 0 181 8 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182806018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2655] ppid=2643 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/2646/task/2655/stat : 2655 (java) S 2643 2646 28285 0 -1 4202560 339 0 0 0 179 7 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182804966440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2656] ppid=2643 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/2646/task/2656/stat : 2656 (java) S 2643 2646 28285 0 -1 4202560 378 0 0 0 187 7 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182803913640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2657] ppid=2643 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/2646/task/2657/stat : 2657 (java) S 2643 2646 28285 0 -1 4202560 1457 0 0 0 171 22 0 0 20 0 19 0 29253355 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182791715048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2658] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2658/stat : 2658 (java) S 2643 2646 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29253356 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182790661112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2659] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2659/stat : 2659 (java) S 2643 2646 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29253356 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182789608712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2660] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2660/stat : 2660 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182788557200 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2661] ppid=2643 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/2646/task/2661/stat : 2661 (java) S 2643 2646 28285 0 -1 4202560 12853 0 0 0 142 2 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182787504824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2662] ppid=2643 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/2646/task/2662/stat : 2662 (java) S 2643 2646 28285 0 -1 4202560 14032 0 0 0 149 3 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182786452024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2663] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2663/stat : 2663 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182785399928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2664] ppid=2643 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/2646/task/2664/stat : 2664 (java) S 2643 2646 28285 0 -1 4202560 40 0 0 0 10 15 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182784347336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2667] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2667/stat : 2667 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29253377 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182781187240 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1402.74
Current children cumulated vsize (KiB) 9824732

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2646 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+702.401 s]
/proc/loadavg: 4.20 4.24 4.10 4/216 3150
/proc/meminfo: memFree=25489504/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=1402.84 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 36803 0 1 0 140110 174 0 0 20 0 19 0 29253352 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 506195 2293 9 0 2446860 0
[pid=2646/tid=2648] ppid=2643 vsize=9824732 CPUtime=3.22 cores=0,2,4,6
/proc/2646/task/2648/stat : 2648 (java) R 2643 2646 28285 0 -1 4202560 2478 0 1 0 320 2 0 0 20 0 19 0 29253353 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182967495216 140182908592488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2649] ppid=2643 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/2646/task/2649/stat : 2649 (java) S 2643 2646 28285 0 -1 4202560 410 0 0 0 174 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182906226984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2650] ppid=2643 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/2646/task/2650/stat : 2650 (java) S 2643 2646 28285 0 -1 4202560 396 0 0 0 191 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182905174184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2651] ppid=2643 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/2646/task/2651/stat : 2651 (java) S 2643 2646 28285 0 -1 4202560 390 0 0 0 185 8 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182904121896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2652] ppid=2643 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/2646/task/2652/stat : 2652 (java) S 2643 2646 28285 0 -1 4202560 411 0 0 0 200 10 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182903069096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2653] ppid=2643 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/2646/task/2653/stat : 2653 (java) S 2643 2646 28285 0 -1 4202560 399 0 0 0 190 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182902016808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2654] ppid=2643 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/2646/task/2654/stat : 2654 (java) S 2643 2646 28285 0 -1 4202560 363 0 0 0 181 8 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182806018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2655] ppid=2643 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/2646/task/2655/stat : 2655 (java) S 2643 2646 28285 0 -1 4202560 339 0 0 0 179 7 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182804966440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2656] ppid=2643 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/2646/task/2656/stat : 2656 (java) S 2643 2646 28285 0 -1 4202560 378 0 0 0 187 7 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182803913640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2657] ppid=2643 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/2646/task/2657/stat : 2657 (java) S 2643 2646 28285 0 -1 4202560 1457 0 0 0 171 22 0 0 20 0 19 0 29253355 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182791715048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2658] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2658/stat : 2658 (java) S 2643 2646 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29253356 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182790661112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2659] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2659/stat : 2659 (java) S 2643 2646 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29253356 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182789608712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2660] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2660/stat : 2660 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182788557200 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2661] ppid=2643 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/2646/task/2661/stat : 2661 (java) S 2643 2646 28285 0 -1 4202560 12853 0 0 0 142 2 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182787504824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2662] ppid=2643 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/2646/task/2662/stat : 2662 (java) S 2643 2646 28285 0 -1 4202560 14032 0 0 0 149 3 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182786452024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2663] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2663/stat : 2663 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182785399928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2664] ppid=2643 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/2646/task/2664/stat : 2664 (java) S 2643 2646 28285 0 -1 4202560 40 0 0 0 10 15 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182784347336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2667] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2667/stat : 2667 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29253377 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182781187240 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1402.84
Current children cumulated vsize (KiB) 9824732

[startup+702.801 s]
/proc/loadavg: 4.20 4.24 4.10 4/216 3150
/proc/meminfo: memFree=25489504/32872528 swapFree=1534436/1655032
[pid=2646] ppid=2643 vsize=9824732 CPUtime=1403.24 cores=0,2,4,6
/proc/2646/stat : 2646 (java) S 2643 2646 28285 0 -1 4202496 36803 0 1 0 140150 174 0 0 20 0 19 0 29253352 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140737292014256 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2646/statm: 2456183 506195 2293 9 0 2446860 0
[pid=2646/tid=2648] ppid=2643 vsize=9824732 CPUtime=3.62 cores=0,2,4,6
/proc/2646/task/2648/stat : 2648 (java) R 2643 2646 28285 0 -1 4202560 2478 0 1 0 360 2 0 0 20 0 19 0 29253353 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182967495216 140182907455426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2649] ppid=2643 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/2646/task/2649/stat : 2649 (java) S 2643 2646 28285 0 -1 4202560 410 0 0 0 174 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182906226984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2650] ppid=2643 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/2646/task/2650/stat : 2650 (java) S 2643 2646 28285 0 -1 4202560 396 0 0 0 191 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182905174184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2651] ppid=2643 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/2646/task/2651/stat : 2651 (java) S 2643 2646 28285 0 -1 4202560 390 0 0 0 185 8 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182904121896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2652] ppid=2643 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/2646/task/2652/stat : 2652 (java) S 2643 2646 28285 0 -1 4202560 411 0 0 0 200 10 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182903069096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2653] ppid=2643 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/2646/task/2653/stat : 2653 (java) S 2643 2646 28285 0 -1 4202560 399 0 0 0 190 9 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182902016808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2654] ppid=2643 vsize=9824732 CPUtime=1.89 cores=0,2,4,6
/proc/2646/task/2654/stat : 2654 (java) S 2643 2646 28285 0 -1 4202560 363 0 0 0 181 8 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182806018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2655] ppid=2643 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/2646/task/2655/stat : 2655 (java) S 2643 2646 28285 0 -1 4202560 339 0 0 0 179 7 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182804966440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2656] ppid=2643 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/2646/task/2656/stat : 2656 (java) S 2643 2646 28285 0 -1 4202560 378 0 0 0 187 7 0 0 20 0 19 0 29253354 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182803913640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2657] ppid=2643 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/2646/task/2657/stat : 2657 (java) S 2643 2646 28285 0 -1 4202560 1457 0 0 0 171 22 0 0 20 0 19 0 29253355 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182791715048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2658] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2658/stat : 2658 (java) S 2643 2646 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29253356 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182790661112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2659] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2659/stat : 2659 (java) S 2643 2646 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29253356 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182789608712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2660] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2660/stat : 2660 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182788557200 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2661] ppid=2643 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/2646/task/2661/stat : 2661 (java) S 2643 2646 28285 0 -1 4202560 12853 0 0 0 142 2 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182787504824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2646/tid=2662] ppid=2643 vsize=9824732 CPUtime=1.52 cores=0,2,4,6
/proc/2646/task/2662/stat : 2662 (java) S 2643 2646 28285 0 -1 4202560 14032 0 0 0 149 3 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182786452024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2646/tid=2663] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2663/stat : 2663 (java) S 2643 2646 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182785399928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2646/tid=2664] ppid=2643 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/2646/task/2664/stat : 2664 (java) S 2643 2646 28285 0 -1 4202560 40 0 0 0 10 15 0 0 20 0 19 0 29253358 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182784347336 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2646/tid=2667] ppid=2643 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/2646/task/2667/stat : 2667 (java) S 2643 2646 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29253377 10060525568 506195 33554432000 1073741824 1073778376 140737292023120 140182781187240 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.24
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): 2.90012
#  lost CPU user time (s): 3.10006
#  lost CPU system time (s): -0.2

Real time (s): 702.879
CPU time (s): 1406.48
CPU user time (s): 1404.72
CPU system time (s): 1.7617
CPU usage (%): 200.103
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1401.62
system time used= 1.9617
maximum resident set size= 2876624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36815
page faults= 1
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23747
involuntary context switches= 35355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.11122 second user time and 6.30704 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 19:47:29
IDJOB=4106545
IDBENCH=48098
IDSOLVER=2543
FILE ID=node122/4106545-1466272049
RUNJOBID= node122-1466264503-28301
PBS_JOBID= 19918220
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554
RANDOM SEED=1119519985

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27528700 kB
Buffers:          146992 kB
Cached:           221308 kB
SwapCached:            0 kB
Active:          2668360 kB
Inactive:         270760 kB
Active(anon):    2561992 kB
Inactive(anon):    11640 kB
Active(file):     106368 kB
Inactive(file):   259120 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               964 kB
Writeback:             0 kB
AnonPages:       4304092 kB
Mapped:            21148 kB
Shmem:               204 kB
Slab:             610952 kB
SReclaimable:      54476 kB
SUnreclaim:       556476 kB
KernelStack:        1808 kB
PageTables:        12704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4447196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2686976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node122 at 2016-06-18 19:59:12