Trace number 4297266

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
scop both+glucose-syrup (2018-07-07)? (MO) 109.143 50.748

General information on the benchmark

NameSportsScheduling/
SportsScheduling-20_c18.xml
MD5SUM5ab9c36a805c5c518370c16479d9ce42
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables590
Number of constraints270
Number of domains2
Minimum domain size20
Maximum domain size190
Distribution of domain sizes[{"size":20,"count":400},{"size":190,"count":190}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":200},{"degree":4,"count":390}]
Minimum constraint arity1
Maximum constraint arity190
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":10},{"arity":3,"count":190},{"arity":10,"count":19},{"arity":20,"count":20},{"arity":38,"count":10},{"arity":40,"count":10},{"arity":190,"count":1}]
Number of extensional constraints190
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":190},{"type":"intension","count":20},{"type":"allDifferent","count":21},{"type":"count","count":19},{"type":"cardinality","count":20}]
Optimization problemNO
Type of objective

Solver Data 

0.65/0.53	
0.65/0.53	scop both+glucose-syrup (2018-07-07)
0.65/0.53	
0.65/0.55	c BEGIN-Prog: Fri Jul 27 10:38:45 CEST 2018
0.65/0.55	c PID: 11381
0.65/0.55	c IP: 172.20.3.136
0.65/0.55	c HOST: node136.alineos.net
0.65/0.56	c (0,0) Parsing Begin
1.93/1.11	c (0,0) Parsing End
1.93/1.12	c (0,0) CSP: 590 int (0 aux), 0 bool (0 aux), 270 ctr, max domain size 190
1.93/1.12	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.93/1.12	c (0,0) Constraint Name Generate Begin
1.93/1.13	c (0,0) Ctr:HOME/instance-4297266-1532680724.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
1.93/1.13	c (0,0) Constraint Name Generate End
1.93/1.13	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
1.93/1.13	c (0,0) CSP to CSPinCNF Begin
7.68/3.21	c (2,2) translated 27 (10%) constraints
9.09/4.46	c (3,3) translated 54 (20%) constraints
10.43/5.70	c (5,5) translated 81 (30%) constraints
11.66/6.92	c (6,6) translated 108 (40%) constraints
12.90/8.16	c (7,7) translated 135 (50%) constraints
14.18/9.39	c (8,8) translated 162 (60%) constraints
15.51/10.61	c (10,10) translated 189 (70%) constraints
20.97/12.20	c (11,11) translated 216 (80%) constraints
21.67/12.71	c (12,12) translated 243 (90%) constraints
22.50/13.01	c (12,12) translated 270 (100%) constraints
25.26/14.08	c (13,13) STATISTICS1:HOME/instance-4297266-1532680724.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,48490,229956,549755813888,190,190,40,549755813888:400;137438953472:400;512:38;190:16110;19:3810;1:1845,190:170820;19:171480;2:346240;1:9500,190:2;20:610;19:190;18:190;17:190;16:190;15:190;14:190;13:190;12:190;11:190;10:190;9:190;8:190;7:190;6:190;5:190;4:64790;3:54930;2:106135;1:639,40:400;38:400;10:38;2:21765;1:639320;0:190,
25.26/14.08	c (13,13) ===========================================
25.26/14.08	c (13,13) Both Encoding selects:
25.26/14.08	c (13,13) Order
25.26/14.08	c (13,13) ===========================================
29.33/14.81	c (14,14) translated 22996 (10%) constraints
29.67/15.14	c (14,14) translated 45992 (20%) constraints
30.00/15.47	c (14,14) translated 68987 (30%) constraints
30.30/15.80	c (15,15) translated 91983 (40%) constraints
30.71/16.12	c (15,15) translated 114978 (50%) constraints
31.00/16.44	c (15,15) translated 137974 (60%) constraints
31.30/16.76	c (16,15) translated 160970 (70%) constraints
31.61/17.08	c (16,16) translated 183965 (80%) constraints
32.71/17.65	c (17,16) translated 206961 (90%) constraints
37.41/19.44	c (18,18) translated 229956 (100%) constraints
37.41/19.44	c (18,18) CSP to CSPinCNF End
37.41/19.47	c (18,18) CSP: 4990 int (4400 aux), 56090 bool (56090 aux), 253765 ctr, max domain size 188
37.41/19.47	c (18,18) Heap : 2029 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
37.41/19.47	c (18,18) CSPinCNF Propagation Begin
41.91/21.53	c (20,20) 6283 values, 24409 unsatisfiable literals, and 17681 valid clauses are removed
41.91/21.53	c (20,20) CSPinCNF Propagation End
41.91/21.55	c (21,20) CSP: 9420 int (8830 aux), 51660 bool (51660 aux), 236084 ctr, max domain size 188
41.91/21.55	c (21,20) Heap : 3353 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
41.91/21.55	c (21,20) Simplify CSPinCNF Begin
43.43/22.68	c (22,21) Simplify CSPinCNF End
43.54/22.71	c (22,21) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
43.54/22.71	c (22,21) Heap : 3905 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
43.54/22.71	c (22,21) Calculate Precise Domain Begin
43.54/22.77	c (22,21) 1387 values are removed by re-calculation
43.54/22.77	c (22,21) Calculate Precise Domain End
43.82/22.81	c (22,22) CSP: 9420 int (8830 aux), 93980 bool (93980 aux), 278404 ctr, max domain size 188
43.82/22.81	c (22,22) Heap : 4016 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
43.82/22.81	c (22,22) CSPinCNF to SatSolver Begin
44.67/23.16	c (22,22) 27841 (10 %) CSP clauses are encoded (146200 SAT variables, 75240 SAT clauses)
44.88/23.33	c (22,22) 55681 (20 %) CSP clauses are encoded (146200 SAT variables, 103080 SAT clauses)
44.98/23.49	c (22,22) 83522 (30 %) CSP clauses are encoded (146200 SAT variables, 130921 SAT clauses)
45.18/23.65	c (23,22) 111362 (40 %) CSP clauses are encoded (146200 SAT variables, 158761 SAT clauses)
45.38/23.81	c (23,23) 139202 (50 %) CSP clauses are encoded (146200 SAT variables, 186601 SAT clauses)
45.48/23.96	c (23,23) 167043 (60 %) CSP clauses are encoded (146200 SAT variables, 214442 SAT clauses)
52.34/29.09	c (28,27) 194883 (70 %) CSP clauses are encoded (146200 SAT variables, 2107607 SAT clauses)
60.98/37.35	c (36,35) 222724 (80 %) CSP clauses are encoded (146200 SAT variables, 5297057 SAT clauses)
65.37/40.40	c (39,37) 250564 (90 %) CSP clauses are encoded (146200 SAT variables, 6460482 SAT clauses)
65.97/40.99	c (40,38) 278404 (100 %) CSP clauses are encoded (146200 SAT variables, 6609030 SAT clauses)
65.97/40.99	c (40,38) CSPinCNF to SatSolver End
65.97/40.99	c (40,38) Heap : 2971 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
67.69/41.82	c (41,39) STATISTICS2:HOME/instance-4297266-1532680724.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,103400,278404,512,188,19,10,512:36;188:32220;128:680;64:3400;27:153;21:306;19:2010;18:5247;16:88;14:34;12:54;10:2;9:2340;8:646;4:260;1:2880,188:202660;19:154340;18:25380;9:612;8:50;7:680;6:108;5:10;4:120;3:11520;2:432320;1:6680,19:360;18:360;17:180;16:180;15:180;14:180;13:180;12:180;11:180;10:218;9:180;8:180;7:180;6:180;5:180;4:61380;3:49470;2:156420;1:8036,10:36;8:2400;7:2400;3:3190;2:42330;1:703890,
67.69/41.82	c (41,39) SatSolver.solve Begin
67.69/41.82	c (41,39) 146200 bool, 6609048 clause
67.69/41.82	c (41,39) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297266-1532680724.xml-scop-11381.cnf HOME/instance-4297266-1532680724.xml-scop-11381.cnf.out
108.79/50.52	c (49,0) receiving signal SIGTERM
108.79/50.52	s UNKNOWN
67.82/50.68	c (50,39) SatSolver is killed by some reasons.
67.82/50.68	c (50,39) 0,0,18,21,22,22,40,TO,TO,STOP-AFTER(DIMACS)
67.82/50.68	c END-Prog: Fri Jul 27 10:39:35 CEST 2018

Verifier Data


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 (11722 MiB free)
  memory of node 1: 16384 MiB (15870 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297266-1532680724/watcher-4297266-1532680724 -o /tmp/evaluation-result-4297266-1532680724/solver-4297266-1532680724 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532673112-10763 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297266-1532680724.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=11381, runsolver pid=11378

[startup+0.100158 s]*
/proc/loadavg: 4.40 7.54 8.33 2/198 11401
/proc/meminfo: memFree=28160520/32770624 swapFree=67108860/67108860
[pid=11381] ppid=11378 vsize=27312552 memory=109496 CPUtime=0.11 cores=0-7
/proc/11381/stat : 11381 (java) S 11378 11381 10736 0 -1 1077944320 6358 0 0 0 8 3 0 0 20 0 20 0 85635621 27968053248 27374 33554432000 4194304 4196468 140734210104176 140734210086720 140282169241335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
/proc/11381/statm: 6828138 27374 2755 1 0 6790598 0
[pid=11381/tid=11383] ppid=11378 vsize=27312552 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11381/task/11383/stat : 11383 (java) R 11378 11381 10736 0 -1 4202560 4481 0 0 0 7 2 0 0 20 0 20 0 85635621 27968053248 27374 33554432000 4194304 4196468 140734210104176 140282141054576 140282153321852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11384] ppid=11378 vsize=27312552 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11381/task/11384/stat : 11384 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140282173483536 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11385] ppid=11378 vsize=27312552 memory=139630813128320 CPUtime=0 cores=0-7
/proc/11381/task/11385/stat : 11385 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281956878992 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11386] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11386/stat : 11386 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281955825936 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11387] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11387/stat : 11387 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281954773392 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11388] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11388/stat : 11388 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281588472848 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11389] ppid=11378 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11381/task/11389/stat : 11389 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281587420304 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11390] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11390/stat : 11390 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281586367248 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11391] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11391/stat : 11391 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281585314704 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11392] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11392/stat : 11392 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635625 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281161677040 140282169252482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11393] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11393/stat : 11393 (java) S 11378 11381 10736 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85635626 27968053248 27374 33554432000 4194304 4196468 140734210104176 140280141440160 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11394] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11394/stat : 11394 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635626 27968053248 27374 33554432000 4194304 4196468 140734210104176 140279873004272 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11395] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11395/stat : 11395 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 27374 33554432000 4194304 4196468 140734210104176 140279498495952 140282169259931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11396] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11396/stat : 11396 (java) S 11378 11381 10736 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281160624880 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11397] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11397/stat : 11397 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281159572336 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11398] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11398/stat : 11398 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281158519280 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11399] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11399/stat : 11399 (java) S 11378 11381 10736 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281157466736 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11400] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11400/stat : 11400 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85635629 27968053248 27374 33554432000 4194304 4196468 140734210104176 140279000590816 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11401] ppid=11378 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11381/task/11401/stat : 11401 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635629 27968053248 27374 33554432000 4194304 4196468 140734210104176 140281156414128 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 109496 KiB

[startup+0.210018 s]*
/proc/loadavg: 4.40 7.54 8.33 2/198 11401
/proc/meminfo: memFree=28141976/32770624 swapFree=67108860/67108860
[pid=11381] ppid=11378 vsize=27312552 memory=123956 CPUtime=0.25 cores=0-7
/proc/11381/stat : 11381 (java) S 11378 11381 10736 0 -1 1077944320 10225 0 0 0 21 4 0 0 20 0 20 0 85635621 27968053248 30989 33554432000 4194304 4196468 140734210104176 140734210086720 140282169241335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
/proc/11381/statm: 6828138 30989 2888 1 0 6790598 0
[pid=11381/tid=11383] ppid=11378 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/11381/task/11383/stat : 11383 (java) R 11378 11381 10736 0 -1 4202560 8145 0 0 0 17 2 0 0 20 0 20 0 85635621 27968053248 30989 33554432000 4194304 4196468 140734210104176 140282141031040 140282154408647 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11384] ppid=11378 vsize=27312552 memory=10823 CPUtime=0 cores=0-7
/proc/11381/task/11384/stat : 11384 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140282173483536 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11385] ppid=11378 vsize=27312552 memory=139630813610541 CPUtime=0 cores=0-7
/proc/11381/task/11385/stat : 11385 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281956878992 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11386] ppid=11378 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11381/task/11386/stat : 11386 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281955825936 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11387] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11387/stat : 11387 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281954773392 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11388] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11388/stat : 11388 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281588472848 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11389] ppid=11378 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11381/task/11389/stat : 11389 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281587420304 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11390] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11390/stat : 11390 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281586367248 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11391] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11391/stat : 11391 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281585314704 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11392] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11392/stat : 11392 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635625 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281161677040 140282169252482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11393] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11393/stat : 11393 (java) S 11378 11381 10736 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85635626 27968053248 30989 33554432000 4194304 4196468 140734210104176 140280141440160 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11394] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11394/stat : 11394 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635626 27968053248 30989 33554432000 4194304 4196468 140734210104176 140279873004272 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11395] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11395/stat : 11395 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 30989 33554432000 4194304 4196468 140734210104176 140279498495952 140282169259931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11396] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11396/stat : 11396 (java) S 11378 11381 10736 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281160624880 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11397] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11397/stat : 11397 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281159572336 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11398] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11398/stat : 11398 (java) S 11378 11381 10736 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281158519280 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11399] ppid=11378 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/11381/task/11399/stat : 11399 (java) S 11378 11381 10736 0 -1 1077944384 276 0 0 0 2 0 0 0 20 0 20 0 85635628 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281157466736 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11400] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11400/stat : 11400 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85635629 27968053248 30989 33554432000 4194304 4196468 140734210104176 140279000590816 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11401] ppid=11378 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11381/task/11401/stat : 11401 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635629 27968053248 30989 33554432000 4194304 4196468 140734210104176 140281156414128 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 123956 KiB

[startup+0.309585 s]*
/proc/loadavg: 4.40 7.54 8.33 2/198 11401
/proc/meminfo: memFree=28138812/32770624 swapFree=67108860/67108860
[pid=11381] ppid=11378 vsize=27312552 memory=127688 CPUtime=0.41 cores=0-7
/proc/11381/stat : 11381 (java) S 11378 11381 10736 0 -1 1077944320 10771 0 0 0 37 4 0 0 20 0 20 0 85635621 27968053248 31922 33554432000 4194304 4196468 140734210104176 140734210086720 140282169241335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
/proc/11381/statm: 6828138 31922 2987 1 0 6790598 0
[pid=11381/tid=11383] ppid=11378 vsize=27312552 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11381/task/11383/stat : 11383 (java) R 11378 11381 10736 0 -1 4202560 8525 0 0 0 26 3 0 0 20 0 20 0 85635621 27968053248 31922 33554432000 4194304 4196468 140734210104176 140282141045488 140282149516638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11384] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11384/stat : 11384 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140282173483536 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11385] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11385/stat : 11385 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281956878992 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11386] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11386/stat : 11386 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281955825936 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11387] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11387/stat : 11387 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281954773392 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11388] ppid=11378 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/11381/task/11388/stat : 11388 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281588472848 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11389] ppid=11378 vsize=27312552 memory=139630661956527 CPUtime=0 cores=0-7
/proc/11381/task/11389/stat : 11389 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281587420304 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11390] ppid=11378 vsize=27312552 memory=139630661958832 CPUtime=0 cores=0-7
/proc/11381/task/11390/stat : 11390 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281586367248 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11391] ppid=11378 vsize=27312552 memory=139630661961136 CPUtime=0 cores=0-7
/proc/11381/task/11391/stat : 11391 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85635624 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281585314704 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11392] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11392/stat : 11392 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635625 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281161677040 140282169252482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11393] ppid=11378 vsize=27312552 memory=279261323929232 CPUtime=0 cores=0-7
/proc/11381/task/11393/stat : 11393 (java) S 11378 11381 10736 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 85635626 27968053248 31922 33554432000 4194304 4196468 140734210104176 140280141440160 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11394] ppid=11378 vsize=27312552 memory=279261323936144 CPUtime=0 cores=0-7
/proc/11381/task/11394/stat : 11394 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635626 27968053248 31922 33554432000 4194304 4196468 140734210104176 140279873004272 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11395] ppid=11378 vsize=27312552 memory=279261323877392 CPUtime=0 cores=0-7
/proc/11381/task/11395/stat : 11395 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 31922 33554432000 4194304 4196468 140734210104176 140279498495952 140282169259931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11396] ppid=11378 vsize=27312552 memory=279261323949968 CPUtime=0 cores=0-7
/proc/11381/task/11396/stat : 11396 (java) S 11378 11381 10736 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281160624880 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11397] ppid=11378 vsize=27312552 memory=279261323956880 CPUtime=0 cores=0-7
/proc/11381/task/11397/stat : 11397 (java) S 11378 11381 10736 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 85635628 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281159572336 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11398] ppid=11378 vsize=27312552 memory=279261323954576 CPUtime=0.02 cores=0-7
/proc/11381/task/11398/stat : 11398 (java) S 11378 11381 10736 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 85635628 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281158519280 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11399] ppid=11378 vsize=27312552 memory=279261323971184 CPUtime=0.07 cores=0-7
/proc/11381/task/11399/stat : 11399 (java) S 11378 11381 10736 0 -1 1077944384 296 0 0 0 7 0 0 0 20 0 20 0 85635628 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281157466736 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11400] ppid=11378 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11400/stat : 11400 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85635629 27968053248 31922 33554432000 4194304 4196468 140734210104176 140279000590816 140282169251541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11401] ppid=11378 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11381/task/11401/stat : 11401 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635629 27968053248 31922 33554432000 4194304 4196468 140734210104176 140281156414128 140282169252482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 127688 KiB

[startup+0.700938 s]
/proc/loadavg: 4.40 7.54 8.33 2/198 11401
/proc/meminfo: memFree=28114112/32770624 swapFree=67108860/67108860
[pid=11381] ppid=11378 vsize=27320948 memory=165788 CPUtime=0.99 cores=0-7
/proc/11381/stat : 11381 (java) S 11378 11381 10736 0 -1 1077944320 17906 0 0 0 94 5 0 0 20 0 20 0 85635621 27976650752 41447 33554432000 4194304 4196468 140734210104176 140734210086720 140282169241335 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
/proc/11381/statm: 6830237 41447 3167 1 0 6791622 0
[pid=11381/tid=11383] ppid=11378 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7
/proc/11381/task/11383/stat : 11383 (java) R 11378 11381 10736 0 -1 1077944384 15194 0 0 0 63 4 0 0 20 0 20 0 85635621 27976650752 41447 33554432000 4194304 4196468 140734210104176 140282141059024 140282161920557 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11384] ppid=11378 vsize=27320948 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11384/stat : 11384 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27976650752 41447 33554432000 4194304 4196468 140734210104176 140282173483536 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11385] ppid=11378 vsize=27320980 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11385/stat : 11385 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27976683520 41447 33554432000 4194304 4196468 140734210104176 140281956878992 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11386] ppid=11378 vsize=27320980 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11386/stat : 11386 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27976683520 41447 33554432000 4194304 4196468 140734210104176 140281955825936 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11387] ppid=11378 vsize=27320980 memory=1812 CPUtime=0 cores=0-7
/proc/11381/task/11387/stat : 11387 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27976683520 41447 33554432000 4194304 4196468 140734210104176 140281954773392 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11388] ppid=11378 vsize=27320948 memory=1020 CPUtime=0 cores=0-7
/proc/11381/task/11388/stat : 11388 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27976650752 41447 33554432000 4194304 4196468 140734210104176 140281588472848 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11389] ppid=11378 vsize=27320948 memory=5416 CPUtime=0 cores=0-7
/proc/11381/task/11389/stat : 11389 (java) S 11378 11381 10736 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 85635624 27976650752 41447 33554432000 4194304 4196468 140734210104176 140281587420304 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11390] ppid=11378 vsize=27320948 memory=756 CPUtime=0 cores=0-7
/proc/11381/task/11390/stat : 11390 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 85635624 27976650752 41447 33554432000 4194304 4196468 140734210104176 140281586367248 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11391] ppid=11378 vsize=27320948 memory=14572 CPUtime=0 cores=0-7
/proc/11381/task/11391/stat : 11391 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 85635624 27976650752 41447 33554432000 4194304 4196468 140734210104176 140281585314704 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11392] ppid=11378 vsize=27320948 memory=12708 CPUtime=0 cores=0-7
/proc/11381/task/11392/stat : 11392 (java) S 11378 11381 10736 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 85635625 27976650752 41447 33554432000 4194304 4196468 140734210104176 140281161677040 140282169252482 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0

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

/proc/11381/task/11387/stat : 11387 (java) S 11378 11381 10736 0 -1 1077944384 477 0 0 0 54 22 0 0 20 0 24 0 85635624 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281954773392 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11388] ppid=11378 vsize=27984808 memory=6791534058613427641 CPUtime=0.75 cores=0-7
/proc/11381/task/11388/stat : 11388 (java) S 11378 11381 10736 0 -1 1077944384 524 0 0 0 53 22 0 0 20 0 24 0 85635624 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281588472848 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11389] ppid=11378 vsize=27984808 memory=25064 CPUtime=0.74 cores=0-7
/proc/11381/task/11389/stat : 11389 (java) S 11378 11381 10736 0 -1 1077944384 532 0 0 0 53 21 0 0 20 0 24 0 85635624 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281587420304 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11390] ppid=11378 vsize=27984808 memory=6595168 CPUtime=0.75 cores=0-7
/proc/11381/task/11390/stat : 11390 (java) S 11378 11381 10736 0 -1 1077944384 667 0 0 0 53 22 0 0 20 0 24 0 85635624 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281586367248 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11391] ppid=11378 vsize=27984808 memory=7393 CPUtime=0.75 cores=0-7
/proc/11381/task/11391/stat : 11391 (java) S 11378 11381 10736 0 -1 1077944384 2453 0 0 0 53 22 0 0 20 0 24 0 85635624 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281585314704 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11392] ppid=11378 vsize=27984808 memory=5787213827181732953 CPUtime=0.02 cores=0-7
/proc/11381/task/11392/stat : 11392 (java) S 11378 11381 10736 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 24 0 85635625 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281161677040 140282169252482 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11393] ppid=11378 vsize=27984808 memory=5787213857246504025 CPUtime=0 cores=0-7
/proc/11381/task/11393/stat : 11393 (java) S 11378 11381 10736 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 85635626 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140280141440224 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11394] ppid=11378 vsize=27984808 memory=25064 CPUtime=0 cores=0-7
/proc/11381/task/11394/stat : 11394 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85635626 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140279873004288 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11395] ppid=11378 vsize=27984808 memory=2204 CPUtime=0 cores=0-7
/proc/11381/task/11395/stat : 11395 (java) S 11378 11381 10736 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 85635628 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140279498495952 140282169259931 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11396] ppid=11378 vsize=27984808 memory=1240 CPUtime=6.98 cores=0-7
/proc/11381/task/11396/stat : 11396 (java) S 11378 11381 10736 0 -1 1077944384 14285 0 0 0 694 4 0 0 20 0 24 0 85635628 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281160624880 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11397] ppid=11378 vsize=27984808 memory=25064 CPUtime=6.85 cores=0-7
/proc/11381/task/11397/stat : 11397 (java) S 11378 11381 10736 0 -1 1077944384 11010 0 0 0 682 3 0 0 20 0 24 0 85635628 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281159572336 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11398] ppid=11378 vsize=27984808 memory=2204 CPUtime=6.14 cores=0-7
/proc/11381/task/11398/stat : 11398 (java) S 11378 11381 10736 0 -1 1077944384 10321 0 0 0 611 3 0 0 20 0 24 0 85635628 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281158519280 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11399] ppid=11378 vsize=27984808 memory=1240 CPUtime=1.76 cores=0-7
/proc/11381/task/11399/stat : 11399 (java) S 11378 11381 10736 0 -1 1077944384 8545 0 0 0 172 4 0 0 20 0 24 0 85635628 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281157466736 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11400] ppid=11378 vsize=27984808 memory=2874080 CPUtime=0 cores=0-7
/proc/11381/task/11400/stat : 11400 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85635629 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140279000590816 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11401] ppid=11378 vsize=27984808 memory=6595168 CPUtime=0.02 cores=0-7
/proc/11381/task/11401/stat : 11401 (java) S 11378 11381 10736 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 24 0 85635629 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281156414128 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11403] ppid=11378 vsize=27984808 memory=3363884 CPUtime=0 cores=0-7
/proc/11381/task/11403/stat : 11403 (java) S 11378 11381 10736 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 85639805 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140281148937152 140282169265945 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11405] ppid=11378 vsize=27984808 memory=6595168 CPUtime=0 cores=0-7
/proc/11381/task/11405/stat : 11405 (java) S 11378 11381 10736 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 24 0 85639806 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140278329491376 140282169263261 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11406] ppid=11378 vsize=27984808 memory=3370728 CPUtime=0 cores=0-7
/proc/11381/task/11406/stat : 11406 (java) S 11378 11381 10736 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 85639806 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140278597926960 140282169263261 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11407] ppid=11378 vsize=27984808 memory=24452 CPUtime=0 cores=0-7
/proc/11381/task/11407/stat : 11407 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 85639808 28656443392 1648792 33554432000 4194304 4196468 140734210104176 140278061063584 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
Current children cumulated CPU time: 108.79 s
Current children cumulated vsize: 31798640 KiB
Current children cumulated memory: 10021152 KiB

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

[startup+50.7479 s]
# the end of solver process 11381 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=103 s, system=6.14328 s

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

[startup+50.6165 s]
/proc/loadavg: 2.53 6.61 7.98 9/211 11415
/proc/meminfo: memFree=18096716/32770624 swapFree=67108860/67108860
[pid=11381] ppid=11378 vsize=28181420 memory=6597216 CPUtime=67.82 cores=0-7
/proc/11381/stat : 11381 (java) S 11378 11381 10736 0 -1 1077944320 77668 0 0 0 6475 307 0 0 20 0 25 0 85635621 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140734210086720 140282169241335 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
/proc/11381/statm: 7045355 1649304 3263 1 0 7006211 0
[pid=11381/tid=11383] ppid=11378 vsize=28181420 memory=0 CPUtime=39.92 cores=0-7
/proc/11381/task/11383/stat : 11383 (java) S 11378 11381 10736 0 -1 1077944384 24784 0 0 0 3876 116 0 0 20 0 25 0 85635621 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140282141080576 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 108 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11384] ppid=11378 vsize=28181420 memory=590025646037493531 CPUtime=0.75 cores=0-7
/proc/11381/task/11384/stat : 11384 (java) S 11378 11381 10736 0 -1 1077944384 573 0 0 0 53 22 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140282173483536 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11385] ppid=11378 vsize=28181420 memory=6595168 CPUtime=0.74 cores=0-7
/proc/11381/task/11385/stat : 11385 (java) S 11378 11381 10736 0 -1 1077944384 594 0 0 0 55 19 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281956878992 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11386] ppid=11378 vsize=28181420 memory=3396580 CPUtime=0.75 cores=0-7
/proc/11381/task/11386/stat : 11386 (java) S 11378 11381 10736 0 -1 1077944384 1141 0 0 0 54 21 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281955825936 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11387] ppid=11378 vsize=28181420 memory=0 CPUtime=0.76 cores=0-7
/proc/11381/task/11387/stat : 11387 (java) S 11378 11381 10736 0 -1 1077944384 477 0 0 0 54 22 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281954773392 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11388] ppid=11378 vsize=28181420 memory=6656426216303648864 CPUtime=0.75 cores=0-7
/proc/11381/task/11388/stat : 11388 (java) S 11378 11381 10736 0 -1 1077944384 524 0 0 0 53 22 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281588472848 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11389] ppid=11378 vsize=28181420 memory=0 CPUtime=0.74 cores=0-7
/proc/11381/task/11389/stat : 11389 (java) S 11378 11381 10736 0 -1 1077944384 532 0 0 0 53 21 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281587420304 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11390] ppid=11378 vsize=28181420 memory=0 CPUtime=0.75 cores=0-7
/proc/11381/task/11390/stat : 11390 (java) S 11378 11381 10736 0 -1 1077944384 667 0 0 0 53 22 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281586367248 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11391] ppid=11378 vsize=28181420 memory=0 CPUtime=0.75 cores=0-7
/proc/11381/task/11391/stat : 11391 (java) S 11378 11381 10736 0 -1 1077944384 2453 0 0 0 53 22 0 0 20 0 25 0 85635624 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281585314704 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11392] ppid=11378 vsize=28181420 memory=0 CPUtime=0.02 cores=0-7
/proc/11381/task/11392/stat : 11392 (java) S 11378 11381 10736 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 25 0 85635625 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281161677040 140282169252482 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11393] ppid=11378 vsize=28181420 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11393/stat : 11393 (java) S 11378 11381 10736 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 25 0 85635626 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140280141440224 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11394] ppid=11378 vsize=28181420 memory=7235121184690694500 CPUtime=0 cores=0-7
/proc/11381/task/11394/stat : 11394 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 85635626 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140279873004288 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11395] ppid=11378 vsize=28181420 memory=7525907861170711658 CPUtime=0 cores=0-7
/proc/11381/task/11395/stat : 11395 (java) S 11378 11381 10736 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 25 0 85635628 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140279498495952 140282169259931 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11396] ppid=11378 vsize=28181420 memory=6298114124428109924 CPUtime=6.98 cores=0-7
/proc/11381/task/11396/stat : 11396 (java) S 11378 11381 10736 0 -1 1077944384 14285 0 0 0 694 4 0 0 20 0 25 0 85635628 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281160624880 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11397] ppid=11378 vsize=28181420 memory=279261326045184 CPUtime=6.85 cores=0-7
/proc/11381/task/11397/stat : 11397 (java) S 11378 11381 10736 0 -1 1077944384 11010 0 0 0 682 3 0 0 20 0 25 0 85635628 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281159572336 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11398] ppid=11378 vsize=28181420 memory=0 CPUtime=6.14 cores=0-7
/proc/11381/task/11398/stat : 11398 (java) S 11378 11381 10736 0 -1 1077944384 10321 0 0 0 611 3 0 0 20 0 25 0 85635628 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281158519280 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11399] ppid=11378 vsize=28181420 memory=0 CPUtime=1.76 cores=0-7
/proc/11381/task/11399/stat : 11399 (java) S 11378 11381 10736 0 -1 1077944384 8545 0 0 0 172 4 0 0 20 0 25 0 85635628 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281157466736 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11400] ppid=11378 vsize=28181420 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11400/stat : 11400 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 85635629 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140279000590816 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11401] ppid=11378 vsize=28181420 memory=0 CPUtime=0.02 cores=0-7
/proc/11381/task/11401/stat : 11401 (java) S 11378 11381 10736 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 25 0 85635629 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281156414128 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11403] ppid=11378 vsize=28181420 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11403/stat : 11403 (java) S 11378 11381 10736 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 25 0 85639805 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140281148937152 140282169265945 0 4 0 25189583 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11405] ppid=11378 vsize=28181420 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11405/stat : 11405 (java) S 11378 11381 10736 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 25 0 85639806 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140278329491376 140282169263261 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11406] ppid=11378 vsize=28181420 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11406/stat : 11406 (java) S 11378 11381 10736 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 25 0 85639806 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140278597926960 140282169263261 0 4 0 25189583 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11407] ppid=11378 vsize=28181420 memory=0 CPUtime=0 cores=0-7
/proc/11381/task/11407/stat : 11407 (java) S 11378 11381 10736 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 85639808 28857774080 1649304 33554432000 4194304 4196468 140734210104176 140278061063584 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
Current children cumulated CPU time: 67.82 s
Current children cumulated vsize: 28181420 KiB
Current children cumulated memory: 6597216 KiB

[startup+50.7016 s]
/proc/loadavg: 2.53 6.61 7.98 9/211 11415
/proc/meminfo: memFree=18096716/32770624 swapFree=67108860/67108860
[pid=11381] ppid=11378 vsize=28050344 memory=6595188 CPUtime=109.08 cores=0-7
/proc/11381/stat : 11381 (java) S 11378 11381 10736 0 -1 1077944320 77733 807725 0 0 6475 310 3824 299 20 0 23 0 85635621 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140734210086720 140282169241335 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
/proc/11381/statm: 7012586 1648797 3263 1 0 6973442 0
[pid=11381/tid=11383] ppid=11378 vsize=28050344 memory=3421628 CPUtime=81.15 cores=0-7
/proc/11381/task/11383/stat : 11383 (java) S 11378 11381 10736 0 -1 1077944384 24819 807725 0 0 3876 116 3824 299 20 0 23 0 85635621 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140282141081536 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 108 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11384] ppid=11378 vsize=28050344 memory=3425984 CPUtime=41.98 cores=0-7
/proc/11381/task/11384/stat : 11384 (java) S 11378 11381 10736 0 -1 1077944384 573 807725 0 0 53 22 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140282173483536 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11385] ppid=11378 vsize=28050344 memory=6595168 CPUtime=41.97 cores=0-7
/proc/11381/task/11385/stat : 11385 (java) S 11378 11381 10736 0 -1 1077944384 594 807725 0 0 55 19 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281956878992 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11386] ppid=11378 vsize=28050344 memory=3399076 CPUtime=41.98 cores=0-7
/proc/11381/task/11386/stat : 11386 (java) S 11378 11381 10736 0 -1 1077944384 1141 807725 0 0 54 21 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281955825936 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11387] ppid=11378 vsize=28050344 memory=279261325345920 CPUtime=41.99 cores=0-7
/proc/11381/task/11387/stat : 11387 (java) S 11378 11381 10736 0 -1 1077944384 477 807725 0 0 54 22 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281954773392 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11388] ppid=11378 vsize=28050344 memory=590024538733965343 CPUtime=41.98 cores=0-7
/proc/11381/task/11388/stat : 11388 (java) S 11378 11381 10736 0 -1 1077944384 524 807725 0 0 53 22 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281588472848 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11389] ppid=11378 vsize=28050344 memory=6507248 CPUtime=41.97 cores=0-7
/proc/11381/task/11389/stat : 11389 (java) S 11378 11381 10736 0 -1 1077944384 532 807725 0 0 53 21 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281587420304 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11390] ppid=11378 vsize=28050344 memory=1 CPUtime=41.98 cores=0-7
/proc/11381/task/11390/stat : 11390 (java) S 11378 11381 10736 0 -1 1077944384 667 807725 0 0 53 22 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281586367248 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11391] ppid=11378 vsize=28050344 memory=56 CPUtime=41.98 cores=0-7
/proc/11381/task/11391/stat : 11391 (java) S 11378 11381 10736 0 -1 1077944384 2453 807725 0 0 53 22 3824 299 20 0 23 0 85635624 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281585314704 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11392] ppid=11378 vsize=28050344 memory=4278509159234103905 CPUtime=41.25 cores=0-7
/proc/11381/task/11392/stat : 11392 (java) S 11378 11381 10736 0 -1 1077944384 311 807725 0 0 2 0 3824 299 20 0 23 0 85635625 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281161677040 140282169252482 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11393] ppid=11378 vsize=28050344 memory=4140 CPUtime=41.23 cores=0-7
/proc/11381/task/11393/stat : 11393 (java) S 11378 11381 10736 0 -1 1077944384 14 807725 0 0 0 0 3824 299 20 0 23 0 85635626 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140280141440224 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11394] ppid=11378 vsize=28050344 memory=25064 CPUtime=41.23 cores=0-7
/proc/11381/task/11394/stat : 11394 (java) S 11378 11381 10736 0 -1 1077944384 3 807725 0 0 0 0 3824 299 20 0 23 0 85635626 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140279873004288 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11395] ppid=11378 vsize=28050344 memory=24292 CPUtime=41.23 cores=0-7
/proc/11381/task/11395/stat : 11395 (java) S 11378 11381 10736 0 -1 1077944384 29 807725 0 0 0 0 3824 299 20 0 23 0 85635628 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140279498495952 140282169259931 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11396] ppid=11378 vsize=28050344 memory=26500 CPUtime=48.21 cores=0-7
/proc/11381/task/11396/stat : 11396 (java) S 11378 11381 10736 0 -1 1077944384 14285 807725 0 0 694 4 3824 299 20 0 23 0 85635628 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281160624880 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11397] ppid=11378 vsize=28050344 memory=7393 CPUtime=48.08 cores=0-7
/proc/11381/task/11397/stat : 11397 (java) S 11378 11381 10736 0 -1 1077944384 11010 807725 0 0 682 3 3824 299 20 0 23 0 85635628 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281159572336 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11398] ppid=11378 vsize=28050344 memory=5787213827181732953 CPUtime=47.37 cores=0-7
/proc/11381/task/11398/stat : 11398 (java) S 11378 11381 10736 0 -1 1077944384 10321 807725 0 0 611 3 3824 299 20 0 23 0 85635628 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281158519280 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11399] ppid=11378 vsize=28050344 memory=5787213857246504025 CPUtime=42.99 cores=0-7
/proc/11381/task/11399/stat : 11399 (java) S 11378 11381 10736 0 -1 1077944384 8545 807725 0 0 172 4 3824 299 20 0 23 0 85635628 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281157466736 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11400] ppid=11378 vsize=28050344 memory=25064 CPUtime=41.23 cores=0-7
/proc/11381/task/11400/stat : 11400 (java) S 11378 11381 10736 0 -1 1077944384 3 807725 0 0 0 0 3824 299 20 0 23 0 85635629 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140279000590816 140282169251541 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11401] ppid=11378 vsize=28050344 memory=2204 CPUtime=41.25 cores=0-7
/proc/11381/task/11401/stat : 11401 (java) S 11378 11381 10736 0 -1 1077944384 28 807725 0 0 1 1 3824 299 20 0 23 0 85635629 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281156414128 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11403] ppid=11378 vsize=28050344 memory=1240 CPUtime=41.23 cores=0-7
/proc/11381/task/11403/stat : 11403 (java) S 11378 11381 10736 0 -1 1077944384 25 807725 0 0 0 0 3824 299 20 0 23 0 85639805 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140281148936336 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
[pid=11381/tid=11407] ppid=11378 vsize=28050344 memory=1240 CPUtime=41.23 cores=0-7
/proc/11381/task/11407/stat : 11407 (java) S 11378 11381 10736 0 -1 1077944384 12 807725 0 0 0 0 3824 299 20 0 23 0 85639808 28723552256 1648797 33554432000 4194304 4196468 140734210104176 140278061065392 140282169252482 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38146048 140734210110426 140734210110725 140734210110725 140734210113487 0
Current children cumulated CPU time: 109.08 s
Current children cumulated vsize: 28050344 KiB
Current children cumulated memory: 6595188 KiB

Child status: 1
Real time (s): 50.748
CPU time (s): 109.143
CPU user time (s): 103
CPU system time (s): 6.14328
CPU usage (%): 215.069
Max. virtual memory (cumulated for all children) (KiB): 31798640
Max. memory (cumulated for all children) (KiB): 10021152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103
system time used= 6.14328
maximum resident set size= 6597216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 885483
page faults= 0
swaps= 0
block input operations= 8
block output operations= 291056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89611
involuntary context switches= 358


# summary of solver processes directly reported to runsolver:
#   pid: 11381
#   total CPU time (s): 109.143
#   total CPU user time (s): 103
#   total CPU system time (s): 6.14328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.366232 second user time and 0.531587 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-27 10:38:45
IDJOB=4297266
IDBENCH=141602
IDSOLVER=2759
FILE ID=node136/4297266-1532680724
RUNJOBID= node136-1532673112-10763
PBS_JOBID= 21022245
Free space on /tmp= 55796 MiB

SOLVER NAME= scop both+glucose-syrup (2018-07-07)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-20_c18.xml
COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297266-1532680724/watcher-4297266-1532680724 -o /tmp/evaluation-result-4297266-1532680724/solver-4297266-1532680724 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1532673112-10763 --watchdog 2580  java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297266-1532680724.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 5ab9c36a805c5c518370c16479d9ce42
RANDOM SEED=2025600447

node136.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:        28255660 kB
MemAvailable:   31958456 kB
Buffers:          153844 kB
Cached:          3810524 kB
SwapCached:            0 kB
Active:          1680376 kB
Inactive:        2336504 kB
Active(anon):       3796 kB
Inactive(anon):    76640 kB
Active(file):    1676580 kB
Inactive(file):  2259864 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8352 kB
Writeback:             0 kB
AnonPages:         94176 kB
Mapped:            32064 kB
Shmem:             25228 kB
Slab:             191828 kB
SReclaimable:     164376 kB
SUnreclaim:        27452 kB
KernelStack:        3632 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55788 MiB
End job on node136 at 2018-07-27 10:39:35