Trace number 4289857

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-CSP 2018-07-11SAT (TO)246 2400.29 2251.94

General information on the benchmark

NameRcpsp/
Rcpsp-j60-01-02_c18.xml
MD5SUM2a7801ec96cf67d89ec484abe9bad078
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark68
Best CPU time to get the best result obtained on this benchmark3.41371
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints97
Number of domains2
Minimum domain size1
Maximum domain size344
Distribution of domain sizes[{"size":1,"count":1},{"size":344,"count":61}]
Minimum variable degree3
Maximum variable degree6
Distribution of variable degrees[{"degree":3,"count":24},{"degree":4,"count":16},{"degree":5,"count":21},{"degree":6,"count":1}]
Minimum constraint arity2
Maximum constraint arity21
Distribution of constraint arities[{"arity":2,"count":93},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":16,"count":1},{"arity":21,"count":1}]
Number of extensional constraints0
Number of intensional constraints93
Distribution of constraint types[{"type":"intension","count":93},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data

114.22/42.73	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
114.22/42.73	c This is free software under the dual EPL/GNU LGPL licenses.
114.22/42.73	c See www.sat4j.org for details.
114.22/42.73	c That software uses the Rhino library from the Mozilla project.
114.22/42.73	c version 2.3.6-SNAPSHOT
114.22/42.73	c java.runtime.name	Java(TM) SE Runtime Environment
114.22/42.73	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
114.22/42.73	c java.vm.version	25.131-b11
114.22/42.73	c java.vm.vendor	Oracle Corporation
114.22/42.73	c sun.arch.data.model	64
114.22/42.73	c java.version		1.8.0_131
114.22/42.73	c os.name		Linux
114.22/42.73	c os.version		3.10.0-514.16.1.el7.x86_64
114.22/42.73	c os.arch		amd64
114.22/42.73	c Free memory 		499604488
114.22/42.73	c Max memory 		7247757312
114.22/42.73	c Total memory 		504889344
114.22/42.73	c Number of processors 	4
114.22/42.73	c c --- Begin Solver configuration ---
114.22/42.73	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
114.22/42.73	c Learn all clauses as in MiniSAT
114.22/42.73	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
114.22/42.73	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
114.22/42.73	c No reason simplification
114.22/42.73	c Glucose 2.1 dynamic restart strategy
114.22/42.73	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
114.22/42.73	c timeout=2147483s
114.22/42.73	c DB Simplification allowed=false
114.22/42.73	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
114.22/42.73	c --- End Solver configuration ---
114.22/42.73	c constraints type 
114.22/42.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 122
114.22/42.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 22027943
114.22/42.73	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1
114.22/42.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 13442270
114.22/42.73	c org.sat4j.specs.Constr$1 => 1
114.22/42.73	c org.sat4j.minisat.constraints.cnf.UnitClause => 3002
114.22/42.73	c 35473339 constraints processed.
191.22/115.02	o 343
296.77/196.93	o 342
320.29/220.39	o 341
358.04/256.40	o 340
371.33/268.81	o 339
379.96/277.43	o 338
441.03/337.65	o 337
474.26/370.82	o 336
497.29/393.09	o 335
510.51/405.48	o 334
516.82/411.73	o 333
524.17/418.35	o 332
557.88/451.27	o 331
573.51/466.84	o 330
596.53/489.05	o 329
616.25/508.73	o 328
629.49/521.28	o 327
639.02/529.97	o 326
654.13/545.01	o 325
669.46/559.52	o 324
697.78/587.88	o 323
724.18/613.49	o 322
756.34/644.74	o 321
789.96/678.33	o 320
799.30/686.86	o 319
920.98/808.40	o 318
984.86/871.47	o 317
995.21/880.82	o 316
1013.62/899.27	o 315
1028.37/913.03	o 314
1077.50/962.18	o 313
1086.89/970.65	o 312
1147.99/1030.70	o 311
1180.32/1063.07	o 310
1193.17/1074.90	o 309
1201.39/1083.13	o 308
1220.20/1101.01	o 307
1238.67/1118.69	o 306
1247.67/1127.50	o 305
1288.77/1167.60	o 304
1298.29/1177.14	o 303
1313.46/1191.50	o 302
1328.34/1205.34	o 301
1341.06/1218.01	o 300
1363.40/1239.45	o 299
1409.83/1285.89	o 298
1430.08/1305.12	o 297
1444.93/1319.09	o 296
1482.54/1356.63	o 295
1512.41/1385.53	o 294
1519.92/1393.01	o 293
1530.27/1402.45	o 291
1571.15/1442.34	o 290
1600.06/1471.20	o 289
1631.45/1501.76	o 288
1681.13/1550.57	o 287
1691.79/1561.16	o 286
1719.63/1588.06	o 285
1736.42/1604.88	o 284
1772.83/1640.32	o 283
1781.43/1648.98	o 282
1790.19/1656.81	o 274
1819.38/1685.19	o 273
1832.87/1698.67	o 272
1843.64/1708.52	o 271
1855.64/1720.54	o 270
1869.97/1734.01	o 269
1929.87/1793.10	o 268
1958.59/1821.79	o 267
1992.99/1855.27	o 266
2008.91/1871.19	o 265
2021.35/1882.71	o 264
2029.06/1890.45	o 263
2038.04/1898.57	o 262
2063.63/1923.26	o 261
2141.99/2001.53	o 260
2160.88/2019.56	o 259
2196.80/2055.41	o 258
2213.92/2071.60	o 257
2225.90/2082.79	o 256
2248.42/2105.28	o 255
2257.29/2113.26	o 254
2267.69/2123.64	o 253
2277.68/2132.80	o 252
2319.68/2173.90	o 251
2328.99/2183.23	o 250
2352.26/2205.68	o 249
2373.17/2226.58	o 248
2386.42/2238.99	o 247
2393.42/2245.96	o 246
2400.23/2251.90	c starts		: 4778
2400.23/2251.90	c conflicts		: 889966
2400.23/2251.90	c decisions		: 1302588094
2400.23/2251.90	c propagations		: 3820278942
2400.23/2251.90	c inspects		: 6553741962
2400.23/2251.90	c shortcuts		: 0
2400.23/2251.90	c learnt literals	: 5333
2400.23/2251.90	c learnt binary clauses	: 58527
2400.23/2251.90	c learnt ternary clauses	: 6491
2400.23/2251.90	c learnt constraints	: 884633
2400.23/2251.90	c ignored constraints	: 0
2400.23/2251.90	c root simplifications	: 0
2400.23/2251.90	c removed literals (reason simplification)	: 0
2400.23/2251.90	c reason swapping (by a shorter reason)	: 0
2400.23/2251.90	c Calls to reduceDB	: 130
2400.23/2251.90	c Number of update (reduction) of LBD	: 724562
2400.23/2251.90	c Imported unit clauses	: 0
2400.23/2251.90	c number of reductions to clauses (during analyze)	: 0
2400.23/2251.90	c number of learned constraints concerned by reduction	: 0
2400.23/2251.90	c number of learning phase by resolution	: 0
2400.23/2251.90	c number of learning phase by cutting planes	: 0
2400.23/2251.90	c number of rounding to 1 operations	: 0
2400.23/2251.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.23/2251.90	c number of reductions of the coefficients by power 2 	: 0
2400.23/2251.90	c number of right shift for reduction by power 2 	: 0
2400.23/2251.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.23/2251.90	c number of ending skipping 	: 0
2400.23/2251.90	c number of internal skipping 	: 0
2400.23/2251.90	c number of derivation steps 	: 0
2400.23/2251.90	c number of skipped derivation steps 	: 0
2400.23/2251.90	c number of remaining unassigned 	: 0
2400.23/2251.90	c number of remaining assigned 	: 0
2400.23/2251.90	c speed (assignments/second)	: 1729489.9246459217
2400.23/2251.90	c non guided choices	: 1207621277
2400.23/2251.90	s SATISFIABLE
2400.23/2251.91	v <instantiation type="solution">
2400.23/2251.91	v 	<list> s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list>
2400.23/2251.91	v 	<values> 0 56 0 0 7 7 188 16 24 28 14 18 14 21 22 24 37 30 23 31 28 27 16 51 33 39 36 16 65 37 204 52 53 32 66 93 29 42 43 62 234 150 42 112 229 21 43 34 34 54 51 89 202 231 237 57 242 242 238 237 245 246 </values>
2400.23/2251.91	v </instantiation>
2400.23/2251.91	

Verifier Data

OK	246

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10375 MiB free)
  memory of node 1: 16384 MiB (12175 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289857-1532219918/watcher-4289857-1532219918 -o /tmp/evaluation-result-4289857-1532219918/solver-4289857-1532219918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532209914-25961 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289857-1532219918.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27840, runsolver pid=27837
Current StackSize limit: 8192 KiB


[startup+0.100112 s]*
/proc/loadavg: 1.97 1.96 2.08 4/220 27855
/proc/meminfo: memFree=23075060/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10659012 memory=30100 CPUtime=0.12 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 6602 0 0 0 11 1 0 0 20 0 15 0 39554959 10914828288 7525 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2664753 7525 2840 1 0 2627263 0
[pid=27840/tid=27842] ppid=27837 vsize=10659012 memory=-8773748148830377346 CPUtime=0.09 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) R 27837 27840 23369 0 -1 4202560 4431 0 0 0 8 1 0 0 20 0 15 0 39554960 10914828288 7525 33554432000 4194304 4196468 140730481285664 140017137276784 140017133084054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016739998864 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10659012 memory=140299524261504 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016738946064 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016737893264 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) S 27837 27840 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016736840464 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10659012 memory=140299524261504 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39554962 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016692939120 140017133083266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39554962 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016691885088 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39554962 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016690832240 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016688728944 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) S 27837 27840 23369 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016687676144 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10659012 memory=140299524261504 CPUtime=0.02 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) R 27837 27840 23369 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 39554965 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016686623344 140017133084054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10659012 memory=140299524261504 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 7525 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30100 KiB

[startup+0.210567 s]*
/proc/loadavg: 1.97 1.96 2.08 3/220 27855
/proc/meminfo: memFree=23063756/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10659012 memory=42072 CPUtime=0.33 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 8107 0 0 0 31 2 0 0 20 0 15 0 39554959 10914828288 10518 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2664753 10518 3013 1 0 2627263 0
[pid=27840/tid=27842] ppid=27837 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) R 27837 27840 23369 0 -1 4202560 5018 0 0 0 18 1 0 0 20 0 15 0 39554960 10914828288 10518 33554432000 4194304 4196468 140730481285664 140017137299376 140017117115749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10659012 memory=365 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016739998864 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10659012 memory=140299524458677 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016738946064 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016737893264 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) S 27837 27840 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39554960 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016736840464 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10659012 memory=140299524261504 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39554962 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016692939120 140017133083266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39554962 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016691885088 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39554962 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016690832240 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 667 0 0 0 2 0 0 0 20 0 15 0 39554965 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016688728944 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) S 27837 27840 23369 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 39554965 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016687676144 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10659012 memory=140299524261504 CPUtime=0.07 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) R 27837 27840 23369 0 -1 4202560 709 0 0 0 7 0 0 0 20 0 15 0 39554965 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016686623344 140017125789271 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10659012 memory=140299524261504 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554965 10914828288 10518 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42072 KiB

[startup+0.31053 s]*
/proc/loadavg: 1.97 1.96 2.08 5/220 27855
/proc/meminfo: memFree=23056312/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10659088 memory=47684 CPUtime=0.53 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 8936 0 0 0 50 3 0 0 20 0 15 0 39554959 10914906112 11921 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2664772 11921 3058 1 0 2627263 0
[pid=27840/tid=27842] ppid=27837 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) R 27837 27840 23369 0 -1 4202560 5632 0 0 0 28 2 0 0 20 0 15 0 39554960 10914906112 11921 33554432000 4194304 4196468 140730481285664 140017137305232 140017117152606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10659088 memory=288230613314699287 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016739998864 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10659088 memory=140299524453874 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016738946064 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554960 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016737893264 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) S 27837 27840 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39554960 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016736840464 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10659088 memory=140299524261504 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39554962 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016692939120 140017133083266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39554962 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016691885088 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39554962 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016690832240 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 746 0 0 0 4 0 0 0 20 0 15 0 39554965 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016688728944 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10659088 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) S 27837 27840 23369 0 -1 1077944384 400 0 0 0 4 0 0 0 20 0 15 0 39554965 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016687676144 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10659088 memory=140299524261504 CPUtime=0.13 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) S 27837 27840 23369 0 -1 1077944384 793 0 0 0 13 0 0 0 20 0 15 0 39554965 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016686623344 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10659088 memory=140299524261504 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554965 10914906112 11921 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47684 KiB

[startup+0.701498 s]
/proc/loadavg: 1.97 1.96 2.08 5/220 27855
/proc/meminfo: memFree=23005928/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10659088 memory=232736 CPUtime=1.68 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 12085 0 0 0 155 13 0 0 20 0 15 0 39554959 10914906112 58184 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2664772 58184 3100 1 0 2627263 0
[pid=27840/tid=27842] ppid=27837 vsize=10659088 memory=1728 CPUtime=0.61 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) S 27837 27840 23369 0 -1 1077944384 6037 0 0 0 57 4 0 0 20 0 15 0 39554960 10914906112 58184 33554432000 4194304 4196468 140730481285664 140017137307472 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10659088 memory=792 CPUtime=0.05 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) R 27837 27840 23369 0 -1 4202560 36 0 0 0 4 1 0 0 20 0 15 0 39554960 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016739996664 140017118094240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10659088 memory=1228 CPUtime=0.05 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) R 27837 27840 23369 0 -1 4202560 28 0 0 0 4 1 0 0 20 0 15 0 39554960 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016738946064 140017118094240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10659088 memory=1948 CPUtime=0.03 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) R 27837 27840 23369 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 15 0 39554960 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016737893464 140017118094240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10659088 memory=5524 CPUtime=0.05 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) R 27837 27840 23369 0 -1 4202560 40 0 0 0 4 1 0 0 20 0 15 0 39554960 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016736838096 140017118094240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10659088 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 39554962 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016692937632 140017133082325 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10659088 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39554962 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016691885088 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10659088 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39554962 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016690832240 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10659088 memory=7518026621751088994 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10659088 memory=6082227202167695463 CPUtime=0.3 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 1693 0 0 0 30 0 0 0 20 0 15 0 39554965 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016688713936 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10659088 memory=7810487918915055718 CPUtime=0.29 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) S 27837 27840 23369 0 -1 1077944384 1510 0 0 0 29 0 0 0 20 0 15 0 39554965 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016687667424 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10659088 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) S 27837 27840 23369 0 -1 1077944384 1341 0 0 0 22 0 0 0 20 0 15 0 39554965 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016686623344 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39554965 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39554965 10914906112 58184 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 232736 KiB

[startup+1.50149 s]
/proc/loadavg: 1.97 1.96 2.08 3/220 27855
/proc/meminfo: memFree=22774136/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10659088 memory=577844 CPUtime=3.68 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 13705 0 0 0 328 40 0 0 20 0 15 0 39554959 10914906112 144461 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2664772 144461 3134 1 0 2627263 0
[pid=27840/tid=27842] ppid=27837 vsize=10659088 memory=6791534058613427641 CPUtime=1.04 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) S 27837 27840 23369 0 -1 1077944384 6096 0 0 0 99 5 0 0 20 0 15 0 39554960 10914906112 144461 33554432000 4194304 4196468 140730481285664 140017137308976 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10659088 memory=-6951259422114956437 CPUtime=0.41 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) R 27837 27840 23369 0 -1 4202560 317 0 0 0 34 7 0 0 20 0 15 0 39554960 10914906112 144461 33554432000 4194304 4196468 140730481285664 140016739999064 140017118057415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10659088 memory=-6509546260019855299 CPUtime=0.41 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) R 27837 27840 23369 0 -1 4202560 470 0 0 0 34 7 0 0 20 0 15 0 39554960 10914906112 144461 33554432000 4194304 4196468 140730481285664 140016738946264 140017117526765 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10659088 memory=-7390251449858225344 CPUtime=0.41 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) R 27837 27840 23369 0 -1 4202560 319 0 0 0 33 8 0 0 20 0 15 0 39554960 10914906112 144461 33554432000 4194304 4196468 140730481285664 140016737893264 140017117769871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10659088 memory=4134692831991786133 CPUtime=0.42 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) R 27837 27840 23369 0 -1 4202560 316 0 0 0 34 8 0 0 20 0 15 0 39554960 10914906112 144461 33554432000 4194304 4196468 140730481285664 140016736840464 140017118057415 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 39554962 10914906112 144461 33554432000 4194304 4196468 140730481285664 140016692937440 140017133082325 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0

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

/proc/27840/task/27844/stat : 27844 (java) S 27837 27840 23369 0 -1 1077944384 92974 0 0 0 4520 142 0 0 20 0 16 0 39554960 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016738946064 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10727700 memory=6981392 CPUtime=46.61 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) S 27837 27840 23369 0 -1 1077944384 95570 0 0 0 4516 145 0 0 20 0 16 0 39554960 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016737893264 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10727700 memory=6981392 CPUtime=46.44 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) S 27837 27840 23369 0 -1 1077944384 104894 0 0 0 4506 138 0 0 20 0 16 0 39554960 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016736840464 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10727700 memory=6981392 CPUtime=12.29 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 25827 0 0 0 1223 6 0 0 20 0 16 0 39554962 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016692939120 140017133083266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10727700 memory=6981392 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 39554962 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016691885152 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10727700 memory=14000 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 16 0 39554962 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016690832256 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10727700 memory=6981392 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39554965 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10727700 memory=6981392 CPUtime=2.37 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 14515 0 0 0 235 2 0 0 20 0 16 0 39554965 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016688728944 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10727700 memory=6981392 CPUtime=2.09 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) S 27837 27840 23369 0 -1 1077944384 15602 0 0 0 207 2 0 0 20 0 16 0 39554965 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016687676144 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10727700 memory=6981392 CPUtime=0.54 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) S 27837 27840 23369 0 -1 1077944384 9447 0 0 0 53 1 0 0 20 0 16 0 39554965 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016686623344 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39554965 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10727700 memory=6973156 CPUtime=1.42 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1816 0 0 0 69 73 0 0 20 0 16 0 39554965 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27856] ppid=27837 vsize=10727700 memory=6973156 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27856/stat : 27856 (java) S 27837 27840 23369 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 39559259 10985164800 1745348 33554432000 4194304 4196468 140730481285664 140016681366448 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 2348.1 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 6981392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2251.7 s]
/proc/loadavg: 1.96 2.00 2.04 3/222 28031
/proc/meminfo: memFree=10664836/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10727700 memory=6989568 CPUtime=2400.01 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 2060126 0 0 0 239229 772 0 0 20 0 16 0 39554959 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2681925 1747392 3190 1 0 2644416 0
[pid=27840/tid=27842] ppid=27837 vsize=10727700 memory=6989568 CPUtime=2191.65 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) R 27837 27840 23369 0 -1 4202560 1600977 0 0 0 219043 122 0 0 20 0 16 0 39554960 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140017137311216 140016756273220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10727700 memory=6989568 CPUtime=47.36 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) S 27837 27840 23369 0 -1 1077944384 91884 0 0 0 4589 147 0 0 20 0 16 0 39554960 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016739998864 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10727700 memory=6989568 CPUtime=47.43 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) S 27837 27840 23369 0 -1 1077944384 93358 0 0 0 4601 142 0 0 20 0 16 0 39554960 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016738946064 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10727700 memory=6987520 CPUtime=47.44 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) S 27837 27840 23369 0 -1 1077944384 96605 0 0 0 4599 145 0 0 20 0 16 0 39554960 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016737893264 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10727700 memory=6981380 CPUtime=47.27 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) S 27837 27840 23369 0 -1 1077944384 108343 0 0 0 4589 138 0 0 20 0 16 0 39554960 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016736840464 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10727700 memory=6987520 CPUtime=12.29 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 26078 0 0 0 1223 6 0 0 20 0 16 0 39554962 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016692939120 140017133083266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10727700 memory=6981380 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 39554962 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016691885152 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10727700 memory=6981380 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 16 0 39554962 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016690832256 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10727700 memory=4633 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39554965 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10727700 memory=6987520 CPUtime=2.37 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 14529 0 0 0 235 2 0 0 20 0 16 0 39554965 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016688728944 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10727700 memory=6989568 CPUtime=2.09 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) S 27837 27840 23369 0 -1 1077944384 15606 0 0 0 207 2 0 0 20 0 16 0 39554965 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016687676144 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10727700 memory=6989568 CPUtime=0.54 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) S 27837 27840 23369 0 -1 1077944384 9450 0 0 0 53 1 0 0 20 0 16 0 39554965 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016686623344 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10727700 memory=8368 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39554965 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10727700 memory=6989568 CPUtime=1.46 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1820 0 0 0 71 75 0 0 20 0 16 0 39554965 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27856] ppid=27837 vsize=10727700 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27856/stat : 27856 (java) S 27837 27840 23369 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 39559259 10985164800 1747392 33554432000 4194304 4196468 140730481285664 140016681366448 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 6989568 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2251.94 s]
# the end of solver process 27840 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2392.53 s, system=7.75664 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2251.81 s]
/proc/loadavg: 1.96 2.00 2.04 3/222 28031
/proc/meminfo: memFree=10664836/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10927392 memory=6989792 CPUtime=2400.13 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 2061850 0 0 0 239241 772 0 0 20 0 17 0 39554959 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2731848 1747448 3192 1 0 2694339 0
[pid=27840/tid=27842] ppid=27837 vsize=10927392 memory=18488 CPUtime=2191.75 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) R 27837 27840 23369 0 -1 4202560 1601097 0 0 0 219053 122 0 0 20 0 17 0 39554960 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140017137308288 140016758686372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10927392 memory=1792 CPUtime=47.36 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) S 27837 27840 23369 0 -1 1077944384 91884 0 0 0 4589 147 0 0 20 0 17 0 39554960 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016739998864 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10927392 memory=1232 CPUtime=47.43 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) S 27837 27840 23369 0 -1 1077944384 93358 0 0 0 4601 142 0 0 20 0 17 0 39554960 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016738946064 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10927392 memory=644 CPUtime=47.44 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) S 27837 27840 23369 0 -1 1077944384 96605 0 0 0 4599 145 0 0 20 0 17 0 39554960 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016737893264 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10927392 memory=952 CPUtime=47.27 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) S 27837 27840 23369 0 -1 1077944384 108343 0 0 0 4589 138 0 0 20 0 17 0 39554960 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016736840464 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10927392 memory=2340 CPUtime=12.29 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 26086 0 0 0 1223 6 0 0 20 0 17 0 39554962 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016692939120 140017133083266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10927392 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 39554962 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016691885152 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10927392 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 39554962 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016690832256 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10927392 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 17 0 39554965 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10927392 memory=4132 CPUtime=2.38 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 14980 0 0 0 235 3 0 0 20 0 17 0 39554965 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016688728944 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10927392 memory=2196 CPUtime=2.09 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) S 27837 27840 23369 0 -1 1077944384 15739 0 0 0 207 2 0 0 20 0 17 0 39554965 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016687676144 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10927392 memory=7528 CPUtime=0.55 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) S 27837 27840 23369 0 -1 1077944384 9995 0 0 0 54 1 0 0 20 0 17 0 39554965 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016686623344 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10927392 memory=836 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39554965 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10927392 memory=1800 CPUtime=1.46 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1820 0 0 0 71 75 0 0 20 0 17 0 39554965 11189649408 1747448 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 2400.13 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 6989792 KiB

[startup+2251.9 s]
/proc/loadavg: 1.96 2.00 2.04 3/222 28031
/proc/meminfo: memFree=10664836/32770624 swapFree=67108860/67108860
[pid=27840] ppid=27837 vsize=10927392 memory=6989796 CPUtime=2400.23 cores=1,3,5,7
/proc/27840/stat : 27840 (java) S 27837 27840 23369 0 -1 1077944320 2062491 0 0 0 239251 772 0 0 20 0 17 0 39554959 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140730481268208 140017133072119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
/proc/27840/statm: 2731848 1747449 3192 1 0 2694339 0
[pid=27840/tid=27842] ppid=27837 vsize=10927392 memory=6989568 CPUtime=2191.85 cores=1,3,5,7
/proc/27840/task/27842/stat : 27842 (java) S 27837 27840 23369 0 -1 1077944384 1601102 0 0 0 219063 122 0 0 20 0 17 0 39554960 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140017137314992 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27843] ppid=27837 vsize=10927392 memory=6987520 CPUtime=47.36 cores=1,3,5,7
/proc/27840/task/27843/stat : 27843 (java) S 27837 27840 23369 0 -1 1077944384 91884 0 0 0 4589 147 0 0 20 0 17 0 39554960 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016739998864 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27844] ppid=27837 vsize=10927392 memory=4633 CPUtime=47.43 cores=1,3,5,7
/proc/27840/task/27844/stat : 27844 (java) S 27837 27840 23369 0 -1 1077944384 93358 0 0 0 4601 142 0 0 20 0 17 0 39554960 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016738946064 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27845] ppid=27837 vsize=10927392 memory=6981380 CPUtime=47.44 cores=1,3,5,7
/proc/27840/task/27845/stat : 27845 (java) S 27837 27840 23369 0 -1 1077944384 96605 0 0 0 4599 145 0 0 20 0 17 0 39554960 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016737893264 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27846] ppid=27837 vsize=10927392 memory=6981380 CPUtime=47.27 cores=1,3,5,7
/proc/27840/task/27846/stat : 27846 (java) S 27837 27840 23369 0 -1 1077944384 108343 0 0 0 4589 138 0 0 20 0 17 0 39554960 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016736840464 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27847] ppid=27837 vsize=10927392 memory=6987520 CPUtime=12.29 cores=1,3,5,7
/proc/27840/task/27847/stat : 27847 (java) S 27837 27840 23369 0 -1 1077944384 26086 0 0 0 1223 6 0 0 20 0 17 0 39554962 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016692939120 140017133083266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27848] ppid=27837 vsize=10927392 memory=6981380 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27848/stat : 27848 (java) S 27837 27840 23369 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 17 0 39554962 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016691885152 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27849] ppid=27837 vsize=10927392 memory=6987520 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27849/stat : 27849 (java) S 27837 27840 23369 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 39554962 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016690832256 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27850] ppid=27837 vsize=10927392 memory=6989568 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27850/stat : 27850 (java) S 27837 27840 23369 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 17 0 39554965 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016689780560 140017133090715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27851] ppid=27837 vsize=10927392 memory=6989568 CPUtime=2.38 cores=1,3,5,7
/proc/27840/task/27851/stat : 27851 (java) S 27837 27840 23369 0 -1 1077944384 14980 0 0 0 235 3 0 0 20 0 17 0 39554965 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016688728944 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27852] ppid=27837 vsize=10927392 memory=6989568 CPUtime=2.1 cores=1,3,5,7
/proc/27840/task/27852/stat : 27852 (java) R 27837 27840 23369 0 -1 4202560 16229 0 0 0 208 2 0 0 20 0 17 0 39554965 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016687676440 140017116458744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27853] ppid=27837 vsize=10927392 memory=6989568 CPUtime=0.55 cores=1,3,5,7
/proc/27840/task/27853/stat : 27853 (java) S 27837 27840 23369 0 -1 1077944384 10141 0 0 0 54 1 0 0 20 0 17 0 39554965 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016686623344 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27854] ppid=27837 vsize=10927392 memory=8368 CPUtime=0 cores=1,3,5,7
/proc/27840/task/27854/stat : 27854 (java) S 27837 27840 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39554965 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016685570784 140017133082325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
[pid=27840/tid=27855] ppid=27837 vsize=10927392 memory=6989568 CPUtime=1.46 cores=1,3,5,7
/proc/27840/task/27855/stat : 27855 (java) S 27837 27840 23369 0 -1 1077944384 1820 0 0 0 71 75 0 0 20 0 17 0 39554965 11189649408 1747449 33554432000 4194304 4196468 140730481285664 140016684518064 140017133083266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 38219776 140730481292401 140730481292553 140730481292553 140730481295311 0
Current children cumulated CPU time: 2400.23 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 6989796 KiB

Child status: 143
Real time (s): 2251.94
CPU time (s): 2400.29
CPU user time (s): 2392.53
CPU system time (s): 7.75664
CPU usage (%): 106.588
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 7051548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.53
system time used= 7.75664
maximum resident set size= 7051548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2062900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54334
involuntary context switches= 3148


# summary of solver processes directly reported to runsolver:
#   pid: 27840
#   total CPU time (s): 2400.29
#   total CPU user time (s): 2392.53
#   total CPU system time (s): 7.75664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8488 second user time and 22.841 second system time

The end

Launcher Data

Begin job on node135 at 2018-07-22 02:38:38
IDJOB=4289857
IDBENCH=141478
IDSOLVER=2742
FILE ID=node135/4289857-1532219918
RUNJOBID= node135-1532209914-25961
PBS_JOBID= 21018932
Free space on /tmp= 52936 MiB

SOLVER NAME= Sat4j-CSP 2018-07-11
BENCH NAME= XCSP18/Rcpsp/Rcpsp-j60-01-02_c18.xml
COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4289857-1532219918/watcher-4289857-1532219918 -o /tmp/evaluation-result-4289857-1532219918/solver-4289857-1532219918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532209914-25961 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289857-1532219918.xml

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

MD5SUM BENCH= 2a7801ec96cf67d89ec484abe9bad078
RANDOM SEED=146146582

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23091992 kB
MemAvailable:   31465668 kB
Buffers:          132840 kB
Cached:          8448568 kB
SwapCached:            0 kB
Active:          1759812 kB
Inactive:        7350232 kB
Active(anon):     478356 kB
Inactive(anon):    69908 kB
Active(file):    1281456 kB
Inactive(file):  7280324 kB
Unevictable:        7200 kB
Mlocked:            7200 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2368 kB
Writeback:             0 kB
AnonPages:        598712 kB
Mapped:            47004 kB
Shmem:             17056 kB
Slab:             267380 kB
SReclaimable:     240356 kB
SUnreclaim:        27024 kB
KernelStack:        3904 kB
PageTables:         6232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1275824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    532480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52932 MiB
End job on node135 at 2018-07-22 03:16:10