Trace number 4456199

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Partial RoundingSAT 2024 2024-07-12OPTIMUM 1393.35 1389.27

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
MD5SUM986066746e2edb3d16d0f5e5ee0c7391
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.794074
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1228
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.15	c java.vm.version	22.0.1+8-16
0.12/0.15	c java.vm.vendor	Oracle Corporation
0.12/0.15	c sun.arch.data.model	64
0.12/0.15	c java.version		22.0.1
0.12/0.15	c os.name		Linux
0.12/0.15	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.15	c os.arch		amd64
0.12/0.15	c Free memory 		2115194816
0.12/0.15	c Max memory 		16282288128
0.12/0.15	c Total memory 		2122317824
0.12/0.15	c Number of processors 	2
0.31/0.25	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.31/0.25	 - never skip resolution steps
0.31/0.25	 - Auto-division on coefficients is disabled
0.31/0.25	 - No postprocessing
0.31/0.25	 - Conflict is considered as is when resolving
0.31/0.25	 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.31/0.25	 - Weaken first using unassigned literals
0.31/0.25	 - Bump strategy: ALWAYS_ONE
0.31/0.25	 - Bumper: ASSIGNED
0.31/0.25	--- Begin Solver configuration ---
0.31/0.25	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.31/0.25	Learn all clauses as in MiniSAT
0.31/0.25	LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.25	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.31/0.25	No reason simplification
0.31/0.25	Armin Biere (Picosat) restarts strategy
0.31/0.25	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.31/0.25	timeout=2147483s
0.31/0.25	DB Simplification allowed=false
0.31/0.25	Listener: none
0.31/0.25	--- End Solver configuration ---
0.31/0.26	c Pseudo Boolean Optimization by upper bound
0.31/0.26	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.31/0.26	c  - never skip resolution steps
0.31/0.26	c  - Auto-division on coefficients is disabled
0.31/0.26	c  - No postprocessing
0.31/0.26	c  - Conflict is considered as is when resolving
0.31/0.26	c  - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient.
0.31/0.26	c  - Weaken first using unassigned literals
0.31/0.26	c  - Bump strategy: ALWAYS_ONE
0.31/0.26	c  - Bumper: ASSIGNED
0.31/0.26	c --- Begin Solver configuration ---
0.31/0.26	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38
0.31/0.26	c Learn all clauses as in MiniSAT
0.31/0.26	c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.26	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.31/0.26	c No reason simplification
0.31/0.26	c Armin Biere (Picosat) restarts strategy
0.31/0.26	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672
0.31/0.26	c timeout=2147483s
0.31/0.26	c DB Simplification allowed=false
0.31/0.26	c Listener: none
0.31/0.26	c --- End Solver configuration ---
0.31/0.26	c solving HOME/instance-4456199-1721719066.wbo
0.31/0.26	c reading problem ... 
0.31/0.31	c ... done. Wall clock time 0.057s.
0.31/0.31	c declared #vars     169
0.31/0.31	c internal #vars     270
0.31/0.31	c #constraints  102
0.31/0.31	c constraints type 
0.31/0.31	c org.sat4j.specs.Constr$1 => 1
0.31/0.31	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 71
0.31/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30
0.31/0.31	c 102 constraints processed.
0.51/0.33	c objective function length is 101 literals
0.88/0.55	c SATISFIABLE
0.88/0.55	c OPTIMIZING...
0.88/0.55	c Got one! Elapsed wall clock time (in seconds):0.297
0.88/0.55	o 2557
1.41/0.85	c Got one! Elapsed wall clock time (in seconds):0.601
1.41/0.85	o 2556
2.41/1.35	c Got one! Elapsed wall clock time (in seconds):1.103
2.41/1.35	o 2555
3.21/1.72	c Got one! Elapsed wall clock time (in seconds):1.47
3.21/1.72	o 2554
4.37/2.38	c Got one! Elapsed wall clock time (in seconds):2.131
4.37/2.38	o 2549
6.48/3.59	c Got one! Elapsed wall clock time (in seconds):3.337
6.48/3.59	o 2547
7.50/4.46	c Got one! Elapsed wall clock time (in seconds):4.216
7.50/4.46	o 2546
9.46/6.07	c Got one! Elapsed wall clock time (in seconds):5.824
9.46/6.07	o 2543
12.22/8.84	c Got one! Elapsed wall clock time (in seconds):8.595
12.22/8.84	o 2542
15.87/12.46	c Got one! Elapsed wall clock time (in seconds):12.207
15.87/12.46	o 2539
18.18/14.45	c Got one! Elapsed wall clock time (in seconds):14.204
18.18/14.45	o 2537
21.09/17.39	c Got one! Elapsed wall clock time (in seconds):17.139
21.09/17.39	o 2534
25.68/21.95	c Got one! Elapsed wall clock time (in seconds):21.698
25.68/21.95	o 2527
34.89/31.11	c Got one! Elapsed wall clock time (in seconds):30.86
34.89/31.11	o 2526
52.25/48.57	c Got one! Elapsed wall clock time (in seconds):48.326
52.25/48.57	o 2520
56.34/52.68	c Got one! Elapsed wall clock time (in seconds):52.436
56.34/52.68	o 2518
61.13/57.41	c Got one! Elapsed wall clock time (in seconds):57.158
61.13/57.41	o 2514
70.60/66.96	c Got one! Elapsed wall clock time (in seconds):66.714
70.60/66.96	o 2512
86.72/83.09	c Got one! Elapsed wall clock time (in seconds):82.837
86.72/83.09	o 2511
115.38/111.75	c Got one! Elapsed wall clock time (in seconds):111.505
115.38/111.75	o 2506
161.95/157.80	c Got one! Elapsed wall clock time (in seconds):157.546
161.95/157.80	o 2502
167.47/163.25	c Got one! Elapsed wall clock time (in seconds):163.004
167.47/163.25	o 2501
178.26/174.05	c Got one! Elapsed wall clock time (in seconds):173.805
178.26/174.05	o 2498
188.93/184.74	c Got one! Elapsed wall clock time (in seconds):184.494
188.93/184.74	o 2497
214.40/210.02	c Got one! Elapsed wall clock time (in seconds):209.769
214.40/210.02	o 2488
257.20/252.90	c Got one! Elapsed wall clock time (in seconds):252.653
257.20/252.90	o 2486
332.53/328.51	c Got one! Elapsed wall clock time (in seconds):328.264
332.53/328.51	o 2485
463.57/459.64	c Got one! Elapsed wall clock time (in seconds):459.389
463.57/459.64	o 2482
477.38/473.46	c Got one! Elapsed wall clock time (in seconds):473.207
477.38/473.46	o 2480
494.58/490.68	c Got one! Elapsed wall clock time (in seconds):490.435
494.58/490.68	o 2476
517.74/513.89	c Got one! Elapsed wall clock time (in seconds):513.642
517.74/513.89	o 2475
561.10/557.22	c Got one! Elapsed wall clock time (in seconds):556.972
561.10/557.22	o 2474
623.49/619.63	c Got one! Elapsed wall clock time (in seconds):619.377
623.49/619.63	o 2473
727.04/722.73	c Got one! Elapsed wall clock time (in seconds):722.482
727.04/722.73	o 2469
902.32/897.83	c Got one! Elapsed wall clock time (in seconds):897.58
902.32/897.83	o 2468
1192.70/1188.69	c Got one! Elapsed wall clock time (in seconds):1188.439
1192.70/1188.69	o 2448
1210.08/1206.05	c Got one! Elapsed wall clock time (in seconds):1205.797
1210.08/1206.05	o 2445
1238.44/1234.41	c Got one! Elapsed wall clock time (in seconds):1234.162
1238.44/1234.41	o 2444
1285.24/1281.25	c Got one! Elapsed wall clock time (in seconds):1281.006
1285.24/1281.25	o 2443
1340.68/1336.72	c Got one! Elapsed wall clock time (in seconds):1336.467
1340.68/1336.72	o 2442
1389.81/1385.95	c Got one! Elapsed wall clock time (in seconds):1385.701
1389.81/1385.95	o 4
1393.24/1389.23	c starts		: 81
1393.24/1389.23	c conflicts		: 14217
1393.24/1389.23	c decisions		: 52736
1393.24/1389.23	c propagations		: 419752
1393.24/1389.23	c inspects		: 337334448
1393.24/1389.23	c shortcuts		: 0
1393.24/1389.23	c learnt literals	: 0
1393.24/1389.23	c learnt binary clauses	: 0
1393.24/1389.23	c learnt ternary clauses	: 0
1393.24/1389.23	c learnt constraints	: 14217
1393.24/1389.23	c ignored constraints	: 0
1393.24/1389.23	c root simplifications	: 0
1393.24/1389.23	c removed literals (reason simplification)	: 0
1393.24/1389.23	c reason swapping (by a shorter reason)	: 0
1393.24/1389.23	c Calls to reduceDB	: 0
1393.24/1389.23	c Number of update (reduction) of LBD	: 0
1393.24/1389.23	c Imported unit clauses	: 0
1393.24/1389.23	c No decision after first conflict	: false
1393.24/1389.23	c number of reductions to clauses (during analyze)	: 0
1393.24/1389.23	c number of learned constraints concerned by reduction	: 0
1393.24/1389.23	c number of learning phase by resolution	: 0
1393.24/1389.23	c number of learning phase by cutting planes	: 0
1393.24/1389.23	c number of rounding to 1 operations	: 81002
1393.24/1389.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1393.24/1389.23	c number of reductions of the coefficients by power 2 	: 0
1393.24/1389.23	c number of right shift for reduction by power 2 	: 0
1393.24/1389.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
1393.24/1389.23	c number of ending skipping 	: 0
1393.24/1389.23	c number of internal skipping 	: 0
1393.24/1389.23	c number of derivation steps 	: 111058
1393.24/1389.23	c number of skipped derivation steps 	: 0
1393.24/1389.23	c number of remaining unassigned 	: 22867
1393.24/1389.23	c number of remaining assigned 	: 3511990
1393.24/1389.23	c number of falsified literals weakened from reason	: 0
1393.24/1389.23	c number of falsified literals weakened from conflict	: 0
1393.24/1389.23	c time for arithmetic operations	: 272186924
1393.24/1389.23	c minimum degree of deleted constraints	: null
1393.24/1389.23	c maximum degree of deleted constraints	: null
1393.24/1389.23	c number of deleted constraints	: 0
1393.24/1389.23	c speed (assignments/second)	: 302.21923984393396
1393.24/1389.23	c non guided choices	: 1072
1393.24/1389.23	s OPTIMUM FOUND
1393.24/1389.23	c Found 41 solution(s)
1393.24/1389.23	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 
1393.24/1389.25	c objective function=4
1393.24/1389.25	c Total wall clock time (in seconds): 1388.997

Verifier Data 

OK	4

Watcher Data 

runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (59132 MiB free)
  memory of node 1: 64473 MiB (59730 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456199-1721719066/watcher-4456199-1721719066 -o /tmp/evaluation-result-4456199-1721719066/solver-4456199-1721719066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721718431-77608 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456199-1721719066.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=78046, runsolver pid=78043

[startup+0.110587 s]*
/proc/loadavg: 4.24 3.93 2.95 5/312 78064
/proc/meminfo: memFree=121664516/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=18993908 memory=57440 CPUtime=0.12 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 6632 0 0 0 9 3 0 0 20 0 18 0 7896413 19449761792 14360 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4748477 14360 5854 1 0 550931 0
[pid=78046/tid=78048] ppid=78043 vsize=18993908 memory=4026561586 CPUtime=0.1 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 5564 0 0 0 7 3 0 0 20 0 18 0 7896413 19449761792 14360 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7896419 19449761792 14360 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=18993908 memory=3761975942948656479 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7896420 19449761792 14360 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57440 KiB

[startup+0.213577 s]*
/proc/loadavg: 4.24 3.93 2.95 7/312 78064
/proc/meminfo: memFree=121638320/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=18993908 memory=67744 CPUtime=0.31 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 7423 0 0 0 27 4 0 0 20 0 18 0 7896413 19449761792 16936 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4748477 16936 6082 1 0 551638 0
[pid=78046/tid=78048] ppid=78043 vsize=18993908 memory=664970838410264707 CPUtime=0.19 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 6042 0 0 0 16 3 0 0 20 0 18 0 7896413 19449761792 16936 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=18993908 memory=1652 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7896419 19449761792 16936 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=18993908 memory=3544395815948961836 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7896420 19449761792 16936 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67744 KiB

[startup+0.321603 s]*
/proc/loadavg: 4.24 3.93 2.95 8/312 78064
/proc/meminfo: memFree=121618740/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=18993908 memory=72752 CPUtime=0.51 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 7662 0 0 0 47 4 0 0 20 0 18 0 7896413 19449761792 18188 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4748477 18188 6116 1 0 551800 0
[pid=78046/tid=78048] ppid=78043 vsize=18993908 memory=-6000919494198453352 CPUtime=0.29 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 6241 0 0 0 26 3 0 0 20 0 18 0 7896413 19449761792 18188 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7896419 19449761792 18188 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7896420 19449761792 18188 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 72752 KiB

[startup+0.706152 s]
/proc/loadavg: 4.24 3.93 2.95 7/313 78065
/proc/meminfo: memFree=121578996/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19060472 memory=112028 CPUtime=1.23 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 10532 0 0 0 117 6 0 0 20 0 19 0 7896413 19517923328 28007 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4765118 28007 6119 1 0 554201 0
[pid=78046/tid=78048] ppid=78043 vsize=19060472 memory=5668 CPUtime=0.63 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 6318 0 0 0 59 4 0 0 20 0 19 0 7896413 19517923328 28007 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19060472 memory=12312 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7896419 19517923328 28007 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19060472 memory=4861 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7896420 19517923328 28007 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19060472 memory=2244 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7896447 19517923328 28007 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 112028 KiB

[startup+1.5003 s]
/proc/loadavg: 4.24 3.93 2.95 7/313 78065
/proc/meminfo: memFree=121475620/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=183680 CPUtime=2.8 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 19529 0 0 0 271 9 0 0 20 0 20 0 7896413 19586084864 45920 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 45920 6119 1 0 557382 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=0 CPUtime=1.38 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 6714 0 0 0 133 5 0 0 20 0 20 0 7896413 19586084864 45920 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 45920 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 45920 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=23906 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 45920 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 183680 KiB

[startup+3.10857 s]
/proc/loadavg: 4.30 3.95 2.97 6/314 78066
/proc/meminfo: memFree=121365500/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=273868 CPUtime=5.93 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 23434 0 0 0 582 11 0 0 20 0 20 0 7896413 19586084864 68467 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 68467 6135 1 0 557751 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=0 CPUtime=2.95 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 7375 0 0 0 288 7 0 0 20 0 20 0 7896413 19586084864 68467 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 68467 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=33 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 68467 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=11540 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 68467 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 273868 KiB

[startup+6.30049 s]
/proc/loadavg: 4.30 3.95 2.97 5/314 78066
/proc/meminfo: memFree=120923532/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=770172 CPUtime=9.75 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 23968 0 0 0 951 24 0 0 20 0 20 0 7896413 19586084864 192543 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 192543 6135 1 0 557752 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=0 CPUtime=6.13 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 7829 0 0 0 594 19 0 0 20 0 20 0 7896413 19586084864 192543 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=7668905967109171561 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 192543 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=678012 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 192543 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=183680 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 192543 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 9.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 770172 KiB

[startup+12.7005 s]
/proc/loadavg: 4.25 3.95 2.98 5/314 78068
/proc/meminfo: memFree=120490344/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1067244 CPUtime=16.17 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 27361 0 0 0 1587 30 0 0 20 0 20 0 7896413 19586084864 266811 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 266811 6135 1 0 557752 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=1061012 CPUtime=12.39 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 9429 0 0 0 1214 25 0 0 20 0 20 0 7896413 19586084864 266811 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=1067240 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 266811 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=-6000919494198453352 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 266811 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=1067232 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 266811 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1067244 KiB

[startup+25.5005 s]
/proc/loadavg: 4.29 3.97 2.99 5/314 78069
/proc/meminfo: memFree=119684764/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1584392 CPUtime=29.3 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 34734 0 0 0 2887 43 0 0 20 0 20 0 7896413 19586084864 396098 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 396098 6135 1 0 664275 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=1067240 CPUtime=24.99 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 11385 0 0 0 2465 34 0 0 20 0 20 0 7896413 19586084864 396098 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=11540 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 396098 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 396098 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=1584388 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 396098 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 29.3 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1584392 KiB

[startup+51.1129 s]
/proc/loadavg: 4.40 4.02 3.04 5/314 78141
/proc/meminfo: memFree=120304316/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1584432 CPUtime=54.86 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 39954 0 0 0 5441 45 0 0 20 0 20 0 7896413 19586084864 396108 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 396108 6135 1 0 664279 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=-6000919494198453352 CPUtime=50.23 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 14457 0 0 0 4989 34 0 0 20 0 20 0 7896413 19586084864 396108 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=1584392 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 396108 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0

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

/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 451169 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1306.3 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1804676 KiB

[startup+1362.3 s]
/proc/loadavg: 4.27 4.27 3.97 5/318 79196
/proc/meminfo: memFree=115150256/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1808776 CPUtime=1366.23 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 123147 0 0 0 136480 143 0 0 20 0 20 0 7896413 19586084864 452194 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452194 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=18024 CPUtime=1349.29 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 49405 0 0 0 134886 43 0 0 20 0 20 0 7896413 19586084864 452194 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=-6000919494198453352 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452194 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1121 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452194 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=7068 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452194 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1366.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1808776 KiB

[startup+1389.27 s]
# the end of solver process 78046 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=1391.88 s, system=1.46898 s

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

[startup+1369.6 s]
/proc/loadavg: 4.25 4.26 3.97 5/318 79196
/proc/meminfo: memFree=115148152/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1810824 CPUtime=1373.53 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 123737 0 0 0 137210 143 0 0 20 0 20 0 7896413 19586084864 452706 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452706 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=-4050210904893734293 CPUtime=1356.55 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 49937 0 0 0 135612 43 0 0 20 0 20 0 7896413 19586084864 452706 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=1810824 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452706 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=1810824 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1121 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452706 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=5668 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452706 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1373.53 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1810824 KiB

[startup+1382.4 s]
/proc/loadavg: 4.19 4.25 3.97 5/318 79199
/proc/meminfo: memFree=115148140/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1810844 CPUtime=1386.31 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 125187 0 0 0 138487 144 0 0 20 0 20 0 7896413 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452711 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=0 CPUtime=1369.22 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 50339 0 0 0 136879 43 0 0 20 0 20 0 7896413 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=-4050210904893734293 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=18024 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1205 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=11540 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1386.31 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1810844 KiB

[startup+1385.6 s]
/proc/loadavg: 4.19 4.25 3.97 5/318 79199
/proc/meminfo: memFree=115148132/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1810844 CPUtime=1389.51 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 125187 0 0 0 138806 145 0 0 20 0 20 0 7896413 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452711 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=1808776 CPUtime=1372.42 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 50339 0 0 0 137199 43 0 0 20 0 20 0 7896413 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=1810824 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=1808776 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1205 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=1810844 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452711 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1389.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1810844 KiB

[startup+1387.2 s]
/proc/loadavg: 4.18 4.24 3.97 5/318 79199
/proc/meminfo: memFree=115148104/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1810852 CPUtime=1391.24 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 127597 0 0 0 138979 145 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452713 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=31384 CPUtime=1374.01 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 50916 0 0 0 137358 43 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=1810844 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=5668 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1205 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=11540 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1391.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1810852 KiB

[startup+1388 s]*
/proc/loadavg: 4.18 4.24 3.97 5/318 79199
/proc/meminfo: memFree=115148088/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1810852 CPUtime=1392.06 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 127602 0 0 0 139061 145 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452713 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=-6000919472790659944 CPUtime=1374.82 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 50916 0 0 0 137439 43 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=-4050210904893734293 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=2249160 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1205 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=2744 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1392.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1810852 KiB

[startup+1388.8 s]
/proc/loadavg: 4.18 4.24 3.97 5/318 79199
/proc/meminfo: memFree=115148088/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1810852 CPUtime=1392.84 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 127604 0 0 0 139139 145 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452713 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=31384 CPUtime=1375.61 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 50916 0 0 0 137518 43 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=1810844 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=31384 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1205 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=11540 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1392.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1810852 KiB

[startup+1389.2 s]
/proc/loadavg: 4.18 4.24 3.97 5/318 79199
/proc/meminfo: memFree=115148136/131655788 swapFree=131071996/131071996
[pid=78046] ppid=78043 vsize=19127036 memory=1810852 CPUtime=1393.24 cores=0,2
/proc/78046/stat : 78046 (java) S 78043 78046 77597 0 -1 1077936128 127604 0 0 0 139179 145 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
/proc/78046/statm: 4781759 452713 6150 1 0 664693 0
[pid=78046/tid=78048] ppid=78043 vsize=19127036 memory=1810844 CPUtime=1376 cores=0,2
/proc/78046/task/78048/stat : 78048 (java) R 78043 78046 77597 0 -1 4194368 50916 0 0 0 137557 43 0 0 20 0 20 0 7896413 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78057] ppid=78043 vsize=19127036 memory=31384 CPUtime=0 cores=0,2
/proc/78046/task/78057/stat : 78057 (Finalizer) S 78043 78046 77597 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7896419 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78064] ppid=78043 vsize=19127036 memory=12312 CPUtime=0 cores=0,2
/proc/78046/task/78064/stat : 78064 (Common-Cleaner) S 78043 78046 77597 0 -1 1077936192 1205 0 0 0 0 0 0 0 20 0 20 0 7896420 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
[pid=78046/tid=78065] ppid=78043 vsize=19127036 memory=5668 CPUtime=0 cores=0,2
/proc/78046/task/78065/stat : 78065 (Timer-0) S 78043 78046 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7896447 19586084864 452713 134679101440 94236984987648 94236984991344 140730324693920 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94236984999160 94236984999952 94236991418368 140730324698099 140730324698212 140730324698212 140730324705224 0
Current children cumulated CPU time: 1393.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1810852 KiB

Child status: 30

Real time (s): 1389.27
CPU time (s): 1393.35
CPU user time (s): 1391.88
CPU system time (s): 1.46898
CPU usage (%): 100.294
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 1810852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1391.88
system time used= 1.46898
maximum resident set size= 1812336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46117
involuntary context switches= 10724


# summary of solver processes directly reported to runsolver:
#   pid: 78046
#   total CPU time (s): 1393.35
#   total CPU user time (s): 1391.88
#   total CPU system time (s): 1.46898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93254 second user time and 13.8854 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-23 09:17:46
IDJOB=4456199
IDBENCH=143292
IDSOLVER=3035
FILE ID=nodeC011/4456199-1721719066
RUNJOBID= nodeC011-1721718431-77608
SLURM_JOB_ID= 7770416
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456199-1721719066/watcher-4456199-1721719066 -o /tmp/evaluation-result-4456199-1721719066/solver-4456199-1721719066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721718431-77608 --watchdog 3760  java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456199-1721719066.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 986066746e2edb3d16d0f5e5ee0c7391
RANDOM SEED=1865621728

nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.198
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3604.258
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.329
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.473
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3608.603
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3620.141
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.534
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.515
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121720224 kB
MemAvailable:   124516604 kB
Buffers:          135312 kB
Cached:          3461772 kB
SwapCached:            0 kB
Active:           856912 kB
Inactive:        8519240 kB
Active(anon):       1480 kB
Inactive(anon):  5807084 kB
Active(file):     855432 kB
Inactive(file):  2712156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1960 kB
Writeback:            16 kB
AnonPages:       5779060 kB
Mapped:           119016 kB
Shmem:             29504 kB
KReclaimable:     137984 kB
Slab:             232300 kB
SReclaimable:     137984 kB
SUnreclaim:        94316 kB
KernelStack:        4784 kB
PageTables:        21404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8564744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17536 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5429248 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      254792 kB
DirectMap2M:    21669888 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC011 at 2024-07-23 09:40:55