Trace number 4295777

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+MapleCOMSPS (2018-06-13)? (MO) 175.206 141.443

General information on the benchmark

NameSportsScheduling/
SportsScheduling-26_c18.xml
MD5SUMe7fb96dadee149724dd4cb9af2eae5d9
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 variables1001
Number of constraints429
Number of domains2
Minimum domain size26
Maximum domain size325
Distribution of domain sizes[{"size":26,"count":676},{"size":325,"count":325}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":338},{"degree":4,"count":663}]
Minimum constraint arity1
Maximum constraint arity325
Distribution of constraint arities[{"arity":1,"count":13},{"arity":2,"count":13},{"arity":3,"count":325},{"arity":13,"count":25},{"arity":26,"count":26},{"arity":50,"count":13},{"arity":52,"count":13},{"arity":325,"count":1}]
Number of extensional constraints325
Number of intensional constraints26
Distribution of constraint types[{"type":"extension","count":325},{"type":"intension","count":26},{"type":"allDifferent","count":27},{"type":"count","count":25},{"type":"cardinality","count":26}]
Optimization problemNO
Type of objective

Solver Data 

0.67/0.52	
0.67/0.52	scop both+minisat_release (2018-06-13)
0.67/0.52	
0.67/0.55	c BEGIN-Prog: Thu Jul 26 01:11:41 CEST 2018
0.67/0.55	c PID: 3631
0.67/0.55	c IP: 172.20.3.102
0.67/0.55	c HOST: node102.alineos.net
0.67/0.55	c (0,0) Parsing Begin
2.24/1.21	c (0,0) Parsing End
2.24/1.23	c (0,0) CSP: 1001 int (0 aux), 0 bool (0 aux), 429 ctr, max domain size 325
2.24/1.23	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.24/1.23	c (0,0) Constraint Name Generate Begin
2.24/1.24	c (0,0) Ctr:HOME/instance-4295777-1532560300.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num
2.24/1.24	c (0,0) Constraint Name Generate End
2.24/1.24	c (0,0) Heap : 112 MiB used (max 10795 MiB), NonHeap : 21 MiB used (max 0 MiB)
2.24/1.24	c (0,0) CSP to CSPinCNF Begin
12.19/6.48	c (5,5) translated 43 (10%) constraints
16.59/10.21	c (9,9) translated 86 (20%) constraints
19.86/13.49	c (12,12) translated 129 (30%) constraints
24.36/17.06	c (16,15) translated 172 (40%) constraints
27.69/20.34	c (19,19) translated 215 (50%) constraints
32.30/23.96	c (23,22) translated 258 (60%) constraints
35.64/27.25	c (26,25) translated 301 (70%) constraints
43.13/31.35	c (30,29) translated 344 (80%) constraints
48.12/33.73	c (33,31) translated 387 (90%) constraints
49.29/34.38	c (33,32) translated 429 (100%) constraints
55.78/37.00	c (36,34) STATISTICS1:HOME/instance-4295777-1532560300.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,132652,650196,2251799813685248,325,325,52,2251799813685248:676;562949953421312:676;4096:50;325:48516;25:8463;1:4134,325:506688;25:482430;2:972478;1:21125,325:2;26:1027;25:325;24:325;23:325;22:325;21:325;20:325;19:325;18:325;17:325;16:325;15:325;14:325;13:325;12:325;11:325;10:325;9:325;8:325;7:325;6:325;5:325;4:194675;3:147576;2:299026;1:1065,52:676;50:676;13:50;2:61113;1:1826708;0:325,
55.78/37.00	c (36,34) ===========================================
55.78/37.00	c (36,34) Both Encoding selects:
55.78/37.00	c (36,34) Order
55.78/37.00	c (36,34) ===========================================
57.72/38.06	c (37,35) translated 65020 (10%) constraints
60.41/39.43	c (38,36) translated 130040 (20%) constraints
61.39/40.37	c (39,37) translated 195059 (30%) constraints
62.39/41.30	c (40,38) translated 260079 (40%) constraints
63.30/42.23	c (41,39) translated 325098 (50%) constraints
64.20/43.17	c (42,40) translated 390118 (60%) constraints
65.09/44.10	c (43,41) translated 455138 (70%) constraints
66.09/45.03	c (44,42) translated 520157 (80%) constraints
70.35/46.99	c (46,43) translated 585177 (90%) constraints
77.11/50.78	c (50,47) translated 650196 (100%) constraints
77.11/50.78	c (50,47) CSP to CSPinCNF End
77.34/50.83	c (50,47) CSP: 8437 int (7436 aux), 149627 bool (149627 aux), 698692 ctr, max domain size 323
77.34/50.83	c (50,47) Heap : 2662 MiB used (max 10314 MiB), NonHeap : 32 MiB used (max 0 MiB)
77.34/50.83	c (50,47) CSPinCNF Propagation Begin
87.67/56.69	c (56,52) 11664 values, 49576 unsatisfiable literals, and 35138 valid clauses are removed
87.67/56.69	c (56,52) CSPinCNF Propagation End
87.77/56.74	c (56,52) CSP: 17046 int (16045 aux), 141018 bool (141018 aux), 663554 ctr, max domain size 323
87.77/56.74	c (56,52) Heap : 2094 MiB used (max 10559 MiB), NonHeap : 33 MiB used (max 0 MiB)
87.77/56.74	c (56,52) Simplify CSPinCNF Begin
93.37/60.19	c (59,54) Simplify CSPinCNF End
93.48/60.28	c (59,55) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
93.48/60.28	c (59,55) Heap : 1399 MiB used (max 10572 MiB), NonHeap : 33 MiB used (max 0 MiB)
93.48/60.28	c (59,55) Calculate Precise Domain Begin
93.59/60.37	c (59,55) 3601 values are removed by re-calculation
93.59/60.37	c (59,55) Calculate Precise Domain End
93.84/60.45	c (59,55) CSP: 17046 int (16045 aux), 261164 bool (261164 aux), 783700 ctr, max domain size 323
93.84/60.45	c (59,55) Heap : 1448 MiB used (max 10572 MiB), NonHeap : 33 MiB used (max 0 MiB)
93.84/60.45	c (59,55) CSPinCNF to SatSolver Begin
95.15/61.24	c (60,56) 78370 (10 %) CSP clauses are encoded (399926 SAT variables, 208915 SAT clauses)
95.56/61.64	c (61,56) 156740 (20 %) CSP clauses are encoded (399926 SAT variables, 287285 SAT clauses)
95.96/62.03	c (61,56) 235110 (30 %) CSP clauses are encoded (399926 SAT variables, 365655 SAT clauses)
96.36/62.42	c (61,57) 313480 (40 %) CSP clauses are encoded (399926 SAT variables, 444025 SAT clauses)
98.42/63.23	c (62,57) 391850 (50 %) CSP clauses are encoded (399926 SAT variables, 522395 SAT clauses)
98.81/63.62	c (63,57) 470220 (60 %) CSP clauses are encoded (399926 SAT variables, 600765 SAT clauses)
109.81/74.30	c (73,68) 548590 (70 %) CSP clauses are encoded (399926 SAT variables, 5308207 SAT clauses)
143.25/109.57	c (109,101) 626960 (80 %) CSP clauses are encoded (399926 SAT variables, 20931449 SAT clauses)
168.00/135.75	c (135,126) 705330 (90 %) CSP clauses are encoded (399926 SAT variables, 32434632 SAT clauses)
171.05/138.46	c (137,128) 783700 (100 %) CSP clauses are encoded (399926 SAT variables, 33078836 SAT clauses)
171.05/138.46	c (137,128) CSPinCNF to SatSolver End
171.05/138.47	c (137,128) Heap : 1234 MiB used (max 11041 MiB), NonHeap : 33 MiB used (max 0 MiB)
174.35/140.73	c (140,130) STATISTICS2:HOME/instance-4295777-1532560300.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:IntVar:Lt:Num,278210,783700,512,323,25,10,512:1196;323:97032;256:5980;33:276;32:152;27:552;25:4407;24:11856;21:36;20:11;18:46;16:928;15:72;12:2;10:6;9:4056;4:386;1:6864,323:604006;25:445328;24:58968;11:1104;10:68;9:1196;7:144;6:10;5:156;3:19968;2:1220780;1:13364,25:624;24:624;23:312;22:312;21:312;20:312;19:312;18:312;17:312;16:312;15:312;14:312;13:362;12:312;11:312;10:312;9:312;8:312;7:312;6:312;5:312;4:186888;3:137241;2:438633;1:13712,10:4056;9:4056;6:48;5:96;3:5443;2:120159;1:2030613,
174.35/140.73	c (140,130) SatSolver.solve Begin
174.35/140.73	c (140,130) 399926 bool, 33078860 clause
174.35/140.73	c (140,130) HOME/minisat_release -ccmin-mode=2 -cla-decay=0.9990000000000016 -gc-frac=0.06548219427789823 -min-step-size=0.06000000000000005 -phase-saving=2 -rfirst=100 -rinc=23.20514351897367 -rnd-freq=0.18183188062236774 -step-size=0.0002446387540884631 -step-size-dec=1.0000000000000004e-06 -var-decay=0.07581213234321858 HOME/instance-4295777-1532560300.xml-scop-3631.cnf HOME/instance-4295777-1532560300.xml-scop-3631.cnf.out
175.03/141.30	c (140,0) receiving signal SIGTERM
175.03/141.30	s UNKNOWN
175.03/141.32	c (140,130) SatSolver is killed by some reasons.
175.03/141.32	c (140,130) 0,0,50,56,59,59,137,TO,TO,STOP-AFTER(DIMACS)
175.03/141.32	c END-Prog: Thu Jul 26 01:14:01 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 (8086 MiB free)
  memory of node 1: 16384 MiB (15587 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295777-1532560300/watcher-4295777-1532560300 -o /tmp/evaluation-result-4295777-1532560300/solver-4295777-1532560300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580 java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295777-1532560300.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=3631, runsolver pid=3628
Current StackSize limit: 8192 KiB


[startup+0.10011 s]*
/proc/loadavg: 2.40 2.16 2.10 5/215 3646
/proc/meminfo: memFree=24175784/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15011656 memory=73196 CPUtime=0.11 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 6457 0 0 0 9 2 0 0 20 0 15 0 73593162 15371935744 18299 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3752914 18299 2778 1 0 3715374 0
[pid=3631/tid=3633] ppid=3628 vsize=15011656 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) R 3628 3631 29212 0 -1 4202560 4827 0 0 0 8 1 0 0 20 0 15 0 73593162 15371935744 18563 33554432000 4194304 4196468 140722122750368 139959147794824 139959156258667 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15011656 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 18563 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 18563 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 18563 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 18563 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593165 15371935744 18563 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3639] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3628 3631 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593166 15371935744 18563 33554432000 4194304 4196468 140722122750368 139957750457760 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3640] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593166 15371935744 18629 33554432000 4194304 4196468 140722122750368 139957482022384 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3641] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593168 15371935744 18629 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3628 3631 29212 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 73593168 15371935744 18629 33554432000 4194304 4196468 140722122750368 139958145742832 139959175993986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593168 15371935744 18629 33554432000 4194304 4196468 140722122750368 139958144690288 139959175993986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0.01 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3628 3631 29212 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 73593169 15371935744 18629 33554432000 4194304 4196468 140722122750368 139958143637744 139959175993986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593169 15371935744 18629 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593169 15371935744 18629 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 73196 KiB

[startup+0.210373 s]*
/proc/loadavg: 2.40 2.16 2.10 5/215 3646
/proc/meminfo: memFree=24159288/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15011656 memory=86280 CPUtime=0.25 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 9991 0 0 0 22 3 0 0 20 0 15 0 73593162 15371935744 21570 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3752914 21570 2889 1 0 3715374 0
[pid=3631/tid=3633] ppid=3628 vsize=15011656 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) R 3628 3631 29212 0 -1 4202560 7891 0 0 0 18 2 0 0 20 0 15 0 73593162 15371935744 21570 33554432000 4194304 4196468 140722122750368 139959147808752 139959175994774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15011656 memory=4294967638 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 21570 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15011656 memory=139683385465282 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593165 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3639] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3628 3631 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593166 15371935744 21570 33554432000 4194304 4196468 140722122750368 139957750457760 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3640] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593166 15371935744 21570 33554432000 4194304 4196468 140722122750368 139957482022384 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3641] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593168 15371935744 21570 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15011656 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) R 3628 3631 29212 0 -1 4202560 419 0 0 0 0 0 0 0 20 0 15 0 73593168 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958145742832 139959155638208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) R 3628 3631 29212 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 15 0 73593168 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958144690288 139959155146000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0.03 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3628 3631 29212 0 -1 1077944384 302 0 0 0 3 0 0 0 20 0 15 0 73593169 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958143637744 139959175993986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15011656 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593169 15371935744 21570 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593169 15371935744 21570 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 86280 KiB

[startup+0.31042 s]*
/proc/loadavg: 2.40 2.16 2.10 5/215 3646
/proc/meminfo: memFree=24148492/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15011656 memory=89748 CPUtime=0.43 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 10528 0 0 0 40 3 0 0 20 0 15 0 73593162 15371935744 22437 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3752914 22437 2982 1 0 3715374 0
[pid=3631/tid=3633] ppid=3628 vsize=15011656 memory=4638778402628129104 CPUtime=0.29 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) R 3628 3631 29212 0 -1 4202560 8266 0 0 0 27 2 0 0 20 0 15 0 73593162 15371935744 22503 33554432000 4194304 4196468 140722122750368 139959147806240 139959161148494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15011656 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 22503 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15011656 memory=139683385067136 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15011656 memory=279366550621088 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15011656 memory=279366660379984 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593165 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3639] ppid=3628 vsize=15011656 memory=67 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3628 3631 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593166 15371935744 22503 33554432000 4194304 4196468 140722122750368 139957750457760 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3640] ppid=3628 vsize=15011656 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593166 15371935744 22503 33554432000 4194304 4196468 140722122750368 139957482022384 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3641] ppid=3628 vsize=15011656 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593168 15371935744 22503 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15011656 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) R 3628 3631 29212 0 -1 4202560 466 0 0 0 2 0 0 0 20 0 15 0 73593168 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958145742832 139959153310848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15011656 memory=139683275347599 CPUtime=0.02 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) R 3628 3631 29212 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 73593168 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958144690288 139959175993986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15011656 memory=279366660400736 CPUtime=0.07 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) R 3628 3631 29212 0 -1 4202560 322 0 0 0 7 0 0 0 20 0 15 0 73593169 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958143637744 139959161697151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15011656 memory=139683275329039 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593169 15371935744 22503 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15011656 memory=139683385067145 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593169 15371935744 22503 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15011656 KiB
Current children cumulated memory: 89748 KiB

[startup+0.705356 s]
/proc/loadavg: 2.40 2.16 2.10 4/215 3646
/proc/meminfo: memFree=24111840/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15020052 memory=129988 CPUtime=1.03 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 17718 0 0 0 98 5 0 0 20 0 15 0 73593162 15380533248 32497 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3755013 32497 3155 1 0 3716398 0
[pid=3631/tid=3633] ppid=3628 vsize=15020052 memory=15316 CPUtime=0.68 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) R 3628 3631 29212 0 -1 4202560 14983 0 0 0 64 4 0 0 20 0 15 0 73593162 15380533248 32497 33554432000 4194304 4196468 140722122750368 139959147820720 139959176004765 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15020052 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15380533248 32497 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15020052 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15020052 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73593165 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3639] ppid=3628 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3628 3631 29212 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 73593166 15380533248 32497 33554432000 4194304 4196468 140722122750368 139957750457760 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3640] ppid=3628 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593166 15380533248 32497 33554432000 4194304 4196468 140722122750368 139957482022384 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3641] ppid=3628 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593168 15380533248 32497 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15020052 memory=6944656592387989600 CPUtime=0.06 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3628 3631 29212 0 -1 1077944384 545 0 0 0 6 0 0 0 20 0 15 0 73593168 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958145742832 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15020052 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) R 3628 3631 29212 0 -1 4202560 380 0 0 0 9 0 0 0 20 0 15 0 73593168 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958144690288 139959157526612 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15020052 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3628 3631 29212 0 -1 1077944384 470 0 0 0 17 0 0 0 20 0 15 0 73593169 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958143637744 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15020052 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593169 15380533248 32497 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15020052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593169 15380533248 32497 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 15020052 KiB
Current children cumulated memory: 129988 KiB

[startup+1.50074 s]
/proc/loadavg: 2.61 2.21 2.12 6/215 3646
/proc/meminfo: memFree=23988108/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15022100 memory=167524 CPUtime=2.83 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 20374 0 0 0 275 8 0 0 20 0 15 0 73593162 15382630400 41881 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3755525 41881 3207 1 0 3716910 0
[pid=3631/tid=3633] ppid=3628 vsize=15022100 memory=2244 CPUtime=1.47 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) R 3628 3631 29212 0 -1 4202560 16067 0 0 0 142 5 0 0 20 0 15 0 73593162 15382630400 41881 33554432000 4194304 4196468 140722122750368 139959147813472 139958646098192 0 4 0 25189583 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15382630400 41881 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15022100 memory=279366550857440 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73593164 15382630400 41881 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15382630400 41881 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15022100 memory=279366550866432 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73593164 15382630400 41881 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15022100 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73593165 15382630400 41881 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0

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

[pid=3631/tid=3641] ppid=3628 vsize=15024148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593168 15384727552 1080621 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15024148 memory=0 CPUtime=8.84 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3628 3631 29212 0 -1 1077944384 12303 0 0 0 880 4 0 0 20 0 15 0 73593168 15384727552 1080621 33554432000 4194304 4196468 140722122750368 139958145742832 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15024148 memory=-1 CPUtime=8.57 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) R 3628 3631 29212 0 -1 4202560 8327 0 0 0 855 2 0 0 20 0 15 0 73593168 15384727552 1080621 33554432000 4194304 4196468 140722122750368 139958144673520 139959159479627 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15024148 memory=139683385067136 CPUtime=1.78 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3628 3631 29212 0 -1 1077944384 10355 0 0 0 174 4 0 0 20 0 15 0 73593169 15384727552 1080621 33554432000 4194304 4196468 140722122750368 139958143637744 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15024148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593169 15384727552 1080621 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15024148 memory=139683385067136 CPUtime=0.01 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 58 0 0 0 0 1 0 0 20 0 15 0 73593169 15384727552 1080621 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 78.12 s
Current children cumulated vsize: 15024148 KiB
Current children cumulated memory: 4322484 KiB

[startup+102.301 s]
/proc/loadavg: 2.55 2.35 2.18 3/220 3900
/proc/meminfo: memFree=16247980/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15028312 memory=5213588 CPUtime=136.27 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 77178 0 0 0 13291 336 0 0 20 0 15 0 73593162 15388991488 1303397 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3757078 1303397 3260 1 0 3717934 0
[pid=3631/tid=3633] ppid=3628 vsize=15028312 memory=301741416407892288 CPUtime=94.95 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) D 3628 3631 29212 0 -1 4202560 26583 0 0 0 9393 102 0 0 20 0 15 0 73593162 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139959147822560 139959176004669 0 4 0 25189583 18446744072099953797 0 0 -1 5 0 0 186 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15028312 memory=14132242834262841 CPUtime=4.92 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 1824 0 0 0 433 59 0 0 20 0 15 0 73593164 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15028312 memory=6298654959241023575 CPUtime=4.95 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 1571 0 0 0 441 54 0 0 20 0 15 0 73593164 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15028312 memory=-7103146973613356224 CPUtime=4.91 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 3797 0 0 0 436 55 0 0 20 0 15 0 73593164 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15028312 memory=-9107497218873859445 CPUtime=4.93 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 2386 0 0 0 445 48 0 0 20 0 15 0 73593164 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15028312 memory=-7739291840220455296 CPUtime=0.04 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 1387 0 0 0 4 0 0 0 20 0 15 0 73593165 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3639] ppid=3628 vsize=15028312 memory=7684433391233106746 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3628 3631 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 73593166 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139957750457824 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3640] ppid=3628 vsize=15028312 memory=6944656591801720226 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3628 3631 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73593166 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139957482022400 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3641] ppid=3628 vsize=15028312 memory=8187704045996132563 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593168 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15028312 memory=-2317720213663324238 CPUtime=9.81 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3628 3631 29212 0 -1 1077944384 14697 0 0 0 977 4 0 0 20 0 15 0 73593168 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958145742832 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15028312 memory=6944652177228980320 CPUtime=9.66 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3628 3631 29212 0 -1 1077944384 10772 0 0 0 963 3 0 0 20 0 15 0 73593168 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958144690288 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15028312 memory=6944656592387989600 CPUtime=1.95 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3628 3631 29212 0 -1 1077944384 12713 0 0 0 191 4 0 0 20 0 15 0 73593169 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958143637744 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15028312 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73593169 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15028312 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 103 0 0 0 2 3 0 0 20 0 15 0 73593169 15388991488 1303397 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 136.27 s
Current children cumulated vsize: 15028312 KiB
Current children cumulated memory: 5213588 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+141.301 s]
/proc/loadavg: 2.27 2.31 2.17 3/225 3990
/proc/meminfo: memFree=17321848/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15683912 memory=5216764 CPUtime=174.49 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 94966 0 0 0 17065 384 0 0 20 0 19 0 73593162 16060325888 1304191 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 25189583 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3920978 1304191 3265 1 0 3881834 0
[pid=3985] ppid=3631 vsize=214768 memory=169188 CPUtime=0.54 cores=1,3,5,7
/proc/3985/stat : 3985 (minisat_release) R 3631 3631 29212 0 -1 4202496 36142 0 0 0 49 5 0 0 20 0 1 0 73607237 219922432 42297 33554432000 4194304 4308513 140736216597344 140736215545752 140001982221285 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6409496 6410680 38912000 140736216605361 140736216605870 140736216605870 140736216608709 0
/proc/3985/statm: 53692 42297 315 28 0 49932 0
[pid=3631/tid=3633] ppid=3628 vsize=15683912 memory=844 CPUtime=131.36 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3628 3631 29212 0 -1 1077944384 29902 0 0 0 12988 148 0 0 20 0 19 0 73593162 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139959147822080 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 399 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15683912 memory=1460 CPUtime=4.97 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 2971 0 0 0 438 59 0 0 20 0 19 0 73593164 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15683912 memory=2160 CPUtime=5 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 2115 0 0 0 446 54 0 0 20 0 19 0 73593164 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15683912 memory=6768 CPUtime=4.96 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 4216 0 0 0 441 55 0 0 20 0 19 0 73593164 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15683912 memory=824 CPUtime=4.99 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 2705 0 0 0 451 48 0 0 20 0 19 0 73593164 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15683912 memory=4104 CPUtime=0.05 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 1661 0 0 0 5 0 0 0 20 0 19 0 73593165 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3639] ppid=3628 vsize=15683912 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3628 3631 29212 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 73593166 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139957750457824 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3640] ppid=3628 vsize=15683912 memory=3016 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3628 3631 29212 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 73593166 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139957482022400 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3641] ppid=3628 vsize=15683912 memory=5213600 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73593168 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15683912 memory=8112282956445269571 CPUtime=10.61 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3628 3631 29212 0 -1 1077944384 18858 0 0 0 1057 4 0 0 20 0 19 0 73593168 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958145742832 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15683912 memory=19132 CPUtime=10.36 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3628 3631 29212 0 -1 1077944384 15076 0 0 0 1033 3 0 0 20 0 19 0 73593168 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958144690288 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15683912 memory=776 CPUtime=2 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3628 3631 29212 0 -1 1077944384 15898 0 0 0 195 5 0 0 20 0 19 0 73593169 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958143637744 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15683912 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 73593169 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15683912 memory=1664 CPUtime=0.08 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 140 0 0 0 4 4 0 0 20 0 19 0 73593169 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3986] ppid=3628 vsize=15683912 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3986/stat : 3986 (java) S 3628 3631 29212 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 73607237 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139958124553792 139959176007449 0 4 0 25189583 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3988] ppid=3628 vsize=15683912 memory=640 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3988/stat : 3988 (java) S 3628 3631 29212 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 73607237 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139956072722480 139959176004765 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3989] ppid=3628 vsize=15683912 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3989/stat : 3989 (java) S 3628 3631 29212 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 73607237 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139956206943408 139959176004765 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3990] ppid=3628 vsize=15683912 memory=19132 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3990/stat : 3990 (java) S 3628 3631 29212 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 73607239 16060325888 1304191 33554432000 4194304 4196468 140722122750368 139955804298272 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 175.03 s
Current children cumulated vsize: 15898680 KiB
Current children cumulated memory: 5385952 KiB

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

[startup+141.443 s]
# the end of solver process 3631 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=171.18 s, system=4.02623 s

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

[startup+141.405 s]
/proc/loadavg: 2.27 2.31 2.17 3/225 3990
/proc/meminfo: memFree=17321848/32770624 swapFree=67076648/67108860
[pid=3631] ppid=3628 vsize=15749448 memory=5218908 CPUtime=175.15 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3628 3631 29212 0 -1 1077944320 95143 36179 0 0 17068 392 49 6 20 0 18 0 73593162 16127434752 1304727 33554432000 4194304 4196468 140722122750368 140722122732912 139959175982839 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
/proc/3631/statm: 3937362 1304727 3265 1 0 3898218 0
[pid=3631/tid=3633] ppid=3628 vsize=15749448 memory=0 CPUtime=131.91 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3628 3631 29212 0 -1 1077944384 29950 36179 0 0 12988 148 49 6 20 0 18 0 73593162 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139959147823040 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 399 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3634] ppid=3628 vsize=15749448 memory=5213608 CPUtime=5.53 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3628 3631 29212 0 -1 1077944384 2972 36179 0 0 439 59 49 6 20 0 18 0 73593164 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139959180224784 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3635] ppid=3628 vsize=15749448 memory=5216764 CPUtime=5.56 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3628 3631 29212 0 -1 1077944384 2124 36179 0 0 447 54 49 6 20 0 18 0 73593164 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958971308432 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3636] ppid=3628 vsize=15749448 memory=55 CPUtime=5.52 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3628 3631 29212 0 -1 1077944384 4252 36179 0 0 442 55 49 6 20 0 18 0 73593164 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958970255888 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3637] ppid=3628 vsize=15749448 memory=5213608 CPUtime=5.54 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3628 3631 29212 0 -1 1077944384 2705 36179 0 0 451 48 49 6 20 0 18 0 73593164 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958969203344 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3638] ppid=3628 vsize=15749448 memory=279366550421744 CPUtime=0.61 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3628 3631 29212 0 -1 1077944384 1676 36179 0 0 6 0 49 6 20 0 18 0 73593165 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958146796016 139959175993986 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3639] ppid=3628 vsize=15749448 memory=5213588 CPUtime=0.55 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3628 3631 29212 0 -1 1077944384 26 36179 0 0 0 0 49 6 20 0 18 0 73593166 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139957750457824 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3640] ppid=3628 vsize=15749448 memory=3544 CPUtime=0.55 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3628 3631 29212 0 -1 1077944384 6 36179 0 0 0 0 49 6 20 0 18 0 73593166 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139957482022400 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3641] ppid=3628 vsize=15749448 memory=5213588 CPUtime=0.55 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3628 3631 29212 0 -1 1077944384 32 36179 0 0 0 0 49 6 20 0 18 0 73593168 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139957107514064 139959176001435 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3642] ppid=3628 vsize=15749448 memory=7377829028232849506 CPUtime=11.16 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3628 3631 29212 0 -1 1077944384 18858 36179 0 0 1057 4 49 6 20 0 18 0 73593168 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958145742832 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3643] ppid=3628 vsize=15749448 memory=7593748832359502931 CPUtime=10.91 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3628 3631 29212 0 -1 1077944384 15076 36179 0 0 1033 3 49 6 20 0 18 0 73593168 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958144690288 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3644] ppid=3628 vsize=15749448 memory=279366550718464 CPUtime=2.55 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3628 3631 29212 0 -1 1077944384 15898 36179 0 0 195 5 49 6 20 0 18 0 73593169 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958143637744 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3645] ppid=3628 vsize=15749448 memory=5213588 CPUtime=0.55 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3628 3631 29212 0 -1 1077944384 3 36179 0 0 0 0 49 6 20 0 18 0 73593169 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139956609608288 139959175993045 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3646] ppid=3628 vsize=15749448 memory=5213588 CPUtime=0.63 cores=1,3,5,7
/proc/3631/task/3646/stat : 3646 (java) S 3628 3631 29212 0 -1 1077944384 140 36179 0 0 4 4 49 6 20 0 18 0 73593169 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958142585648 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3986] ppid=3628 vsize=15749448 memory=5213588 CPUtime=0.55 cores=1,3,5,7
/proc/3631/task/3986/stat : 3986 (java) S 3628 3631 29212 0 -1 1077944384 26 36179 0 0 0 0 49 6 20 0 18 0 73607237 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139958124552976 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
[pid=3631/tid=3990] ppid=3628 vsize=15749448 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/3631/task/3990/stat : 3990 (java) S 3628 3631 29212 0 -1 1077944384 13 36179 0 0 0 0 49 6 20 0 18 0 73607239 16127434752 1304727 33554432000 4194304 4196468 140722122750368 139955804300080 139959175993986 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140722122753012 140722122753289 140722122753289 140722122756047 0
Current children cumulated CPU time: 175.15 s
Current children cumulated vsize: 15749448 KiB
Current children cumulated memory: 5218908 KiB

Child status: 1
Real time (s): 141.443
CPU time (s): 175.206
CPU user time (s): 171.18
CPU system time (s): 4.02623
CPU usage (%): 123.871
Max. virtual memory (cumulated for all children) (KiB): 15898680
Max. memory (cumulated for all children) (KiB): 5385952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.18
system time used= 4.02623
maximum resident set size= 5219308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131350
page faults= 0
swaps= 0
block input operations= 32
block output operations= 1505568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11471
involuntary context switches= 439


# summary of solver processes directly reported to runsolver:
#   pid: 3631
#   total CPU time (s): 175.206
#   total CPU user time (s): 171.18
#   total CPU system time (s): 4.02623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.794911 second user time and 1.44633 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-26 01:11:40
IDJOB=4295777
IDBENCH=141600
IDSOLVER=2755
FILE ID=node102/4295777-1532560300
RUNJOBID= node102-1532535327-29244
PBS_JOBID= 21021949
Free space on /tmp= 52740 MiB

SOLVER NAME= scop both+MapleCOMSPS (2018-06-13)
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-26_c18.xml
COMMAND LINE= java -Xms11g -Xmx11g -Xss128m -jar DIR/scop.jar -both -solver DIR/minisat_release -solverOption mapleTune01 -tmp TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295777-1532560300/watcher-4295777-1532560300 -o /tmp/evaluation-result-4295777-1532560300/solver-4295777-1532560300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532535327-29244 --watchdog 2580  java -Xms11g -Xmx11g -Xss128m -jar HOME/scop.jar -both -solver HOME/minisat_release -solverOption mapleTune01 -tmp HOME HOME/instance-4295777-1532560300.xml

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

MD5SUM BENCH= e7fb96dadee149724dd4cb9af2eae5d9
RANDOM SEED=2141790709

node102.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.51
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.51
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.51
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.51
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:        24244068 kB
MemAvailable:   31836392 kB
Buffers:          167012 kB
Cached:          7660480 kB
SwapCached:         5552 kB
Active:          1353376 kB
Inactive:        6637244 kB
Active(anon):     131772 kB
Inactive(anon):    55124 kB
Active(file):    1221604 kB
Inactive(file):  6582120 kB
Unevictable:        6616 kB
Mlocked:            6616 kB
SwapTotal:      67108860 kB
SwapFree:       67076648 kB
Dirty:             16180 kB
Writeback:             0 kB
AnonPages:        222012 kB
Mapped:            44344 kB
Shmem:             21580 kB
Slab:             237464 kB
SReclaimable:     208872 kB
SUnreclaim:        28592 kB
KernelStack:        3888 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   13009236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52732 MiB
End job on node102 at 2018-07-26 01:14:02