Trace number 4454134

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 Resolution Default 2024-07-07UNSAT 1377.01 1375.74

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-11diag_spec_less.opb
MD5SUM835882185b05cb50ca6c38d629f5e937
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.041781
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables418
Total number of constraints508
Number of constraints which are clauses363
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint2
Maximum length of a constraint143
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2097152
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 8388607
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.12	--- Begin Solver configuration ---
0.12/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.12	Learn all clauses as in MiniSAT
0.12/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.12	No reason simplification
0.12/0.12	Glucose 2.1 dynamic restart strategy
0.12/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.12	timeout=2147483s
0.12/0.12	DB Simplification allowed=false
0.12/0.12	Listener: none
0.12/0.12	--- End Solver configuration ---
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c No reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4454134-1721494156.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.16	c ... done. Wall clock time 0.03s.
0.12/0.16	c declared #vars     418
0.12/0.16	c #constraints  652
0.12/0.16	c constraints type 
0.12/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 308
0.12/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 223
0.12/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 121
0.12/0.16	c 652 constraints processed.
1.27/0.75	c cleaning 2498 clauses out of 5001 with flag 10677/5001
1.79/1.16	c cleaning 4247 clauses out of 8503 with flag 23372/11001
2.37/1.66	c cleaning 5628 clauses out of 11255 with flag 38813/18000
3.15/2.36	c cleaning 6814 clauses out of 13627 with flag 55152/26000
4.15/3.36	c cleaning 7901 clauses out of 15814 with flag 73796/35001
5.36/4.52	c cleaning 8956 clauses out of 17912 with flag 94945/45000
6.50/5.69	c cleaning 9973 clauses out of 19957 with flag 118295/56001
7.99/7.11	c cleaning 10988 clauses out of 21984 with flag 143818/68001
9.65/8.73	c cleaning 11996 clauses out of 23995 with flag 171286/81000
11.65/10.63	c cleaning 12999 clauses out of 25999 with flag 201623/95000
13.34/12.32	c cleaning 14000 clauses out of 28000 with flag 234234/110000
15.06/14.09	c cleaning 14998 clauses out of 30000 with flag 268924/126000
17.28/16.29	c cleaning 16002 clauses out of 32003 with flag 307170/143001
19.34/18.28	c cleaning 17001 clauses out of 34001 with flag 345357/161001
21.64/20.54	c cleaning 17998 clauses out of 35999 with flag 386705/180000
24.44/23.36	c cleaning 18996 clauses out of 38002 with flag 430820/200001
27.83/26.78	c cleaning 19998 clauses out of 40005 with flag 476942/221000
31.06/29.91	c cleaning 20999 clauses out of 42008 with flag 525216/243001
34.19/33.07	c cleaning 22004 clauses out of 44008 with flag 574427/266000
36.88/35.72	c cleaning 23001 clauses out of 46005 with flag 628358/290001
41.19/40.06	c cleaning 24002 clauses out of 48004 with flag 686253/315001
45.20/44.00	c cleaning 24997 clauses out of 50002 with flag 743246/341001
49.40/48.23	c cleaning 25998 clauses out of 52005 with flag 800835/368001
54.35/53.22	c cleaning 27003 clauses out of 54006 with flag 862291/396000
60.26/58.90	c cleaning 28001 clauses out of 56003 with flag 927261/425000
64.55/63.12	c cleaning 28996 clauses out of 58003 with flag 997296/455001
68.66/67.13	c cleaning 30000 clauses out of 60008 with flag 1070180/486002
72.53/71.00	c cleaning 31000 clauses out of 62008 with flag 1145931/518002
77.53/76.04	c cleaning 32002 clauses out of 64006 with flag 1222039/551000
83.65/82.13	c cleaning 32999 clauses out of 66005 with flag 1295578/585001
89.64/88.15	c cleaning 34001 clauses out of 68006 with flag 1370867/620001
95.86/94.33	c cleaning 34997 clauses out of 70004 with flag 1450717/656000
102.20/100.65	c cleaning 36001 clauses out of 72007 with flag 1533068/693000
109.39/107.83	c cleaning 36999 clauses out of 74007 with flag 1618849/731001
116.52/114.99	c cleaning 38005 clauses out of 76009 with flag 1707276/770002
124.11/122.59	c cleaning 39000 clauses out of 78003 with flag 1796727/810001
130.24/128.32	c cleaning 40003 clauses out of 80005 with flag 1888493/851003
137.72/135.88	c cleaning 40999 clauses out of 81999 with flag 1989757/893000
146.35/144.48	c cleaning 41991 clauses out of 84001 with flag 2095438/936001
152.34/150.48	c cleaning 43000 clauses out of 86010 with flag 2198048/980001
160.68/158.73	c cleaning 44002 clauses out of 88009 with flag 2305357/1025000
167.67/165.73	c cleaning 44999 clauses out of 90007 with flag 2414031/1071000
175.83/173.81	c cleaning 45995 clauses out of 92008 with flag 2526716/1118000
184.81/182.89	c cleaning 47003 clauses out of 94014 with flag 2652464/1166001
191.79/189.89	c cleaning 48002 clauses out of 96011 with flag 2767896/1215001
199.75/197.78	c cleaning 49001 clauses out of 98008 with flag 2893661/1265000
209.13/207.14	c cleaning 49996 clauses out of 100008 with flag 3010042/1316001
220.42/218.32	c cleaning 51001 clauses out of 102011 with flag 3132631/1368000
233.29/231.21	c cleaning 52003 clauses out of 104011 with flag 3258100/1421001
242.86/240.84	c cleaning 53000 clauses out of 106007 with flag 3381826/1475000
255.13/253.03	c cleaning 53999 clauses out of 108007 with flag 3509636/1530000
264.42/262.33	c cleaning 55001 clauses out of 110009 with flag 3643513/1586001
273.75/271.67	c cleaning 55996 clauses out of 112008 with flag 3781479/1643001
283.23/281.12	c cleaning 56998 clauses out of 114012 with flag 3923033/1701001
293.61/291.55	c cleaning 58004 clauses out of 116014 with flag 4061919/1760001
305.45/303.17	c cleaning 59001 clauses out of 118010 with flag 4199080/1820001
319.00/316.71	c cleaning 59999 clauses out of 120009 with flag 4344339/1881001
330.17/327.83	c cleaning 60997 clauses out of 122010 with flag 4489686/1943001
343.24/340.97	c cleaning 62001 clauses out of 124013 with flag 4642574/2006001
356.12/353.84	c cleaning 63000 clauses out of 126011 with flag 4805973/2070000
370.19/367.87	c cleaning 64004 clauses out of 128012 with flag 4973818/2135001
384.76/382.41	c cleaning 64996 clauses out of 130007 with flag 5131364/2201000
399.13/396.88	c cleaning 65999 clauses out of 132011 with flag 5303954/2268000
411.91/409.66	c cleaning 66997 clauses out of 134012 with flag 5471922/2336000
427.38/425.05	c cleaning 68003 clauses out of 136015 with flag 5644859/2405000
441.35/439.04	c cleaning 68999 clauses out of 138012 with flag 5825963/2475000
458.31/456.06	c cleaning 69999 clauses out of 140013 with flag 5999031/2546000
473.88/471.57	c cleaning 70998 clauses out of 142015 with flag 6180457/2618001
489.55/487.37	c cleaning 72004 clauses out of 144017 with flag 6360051/2691001
504.63/502.51	c cleaning 73001 clauses out of 146012 with flag 6536445/2765000
521.10/519.01	c cleaning 73997 clauses out of 148011 with flag 6719655/2840000
541.53/539.66	c cleaning 75004 clauses out of 150015 with flag 6910933/2916001
563.68/561.83	c cleaning 76005 clauses out of 152010 with flag 7106897/2993000
582.42/580.78	c cleaning 76999 clauses out of 154005 with flag 7301465/3071000
602.06/600.53	c cleaning 77999 clauses out of 156007 with flag 7478625/3150001
621.99/620.31	c cleaning 79004 clauses out of 158008 with flag 7663464/3230001
639.17/637.51	c cleaning 79994 clauses out of 160004 with flag 7855235/3311001
662.45/660.93	c cleaning 80997 clauses out of 162009 with flag 8075126/3393000
681.09/679.75	c cleaning 81998 clauses out of 164013 with flag 8293365/3476001
701.01/699.62	c cleaning 83006 clauses out of 166014 with flag 8518233/3560000
721.13/719.91	c cleaning 84000 clauses out of 168008 with flag 8743052/3645000
739.52/738.43	c cleaning 84996 clauses out of 170008 with flag 8964081/3731000
762.29/761.35	c cleaning 85999 clauses out of 172013 with flag 9160158/3818001
786.18/785.42	c cleaning 87001 clauses out of 174013 with flag 9369129/3906000
807.83/807.21	c cleaning 88004 clauses out of 176012 with flag 9589962/3995000
836.85/836.25	c cleaning 88997 clauses out of 178009 with flag 9843732/4085001
865.20/864.65	c cleaning 90002 clauses out of 180012 with flag 10064997/4176001
895.24/894.71	c cleaning 91003 clauses out of 182010 with flag 10300630/4268001
918.23/917.67	c cleaning 91999 clauses out of 184007 with flag 10557222/4361001
945.58/945.01	c cleaning 92998 clauses out of 186008 with flag 10805782/4455001
968.73/968.20	c cleaning 94001 clauses out of 188010 with flag 11061492/4550001
993.61/993.01	c cleaning 94997 clauses out of 190008 with flag 11317723/4646000
1028.54/1028.08	c cleaning 95999 clauses out of 192012 with flag 11619819/4743001
1053.28/1052.86	c cleaning 97001 clauses out of 194013 with flag 11904721/4841001
1080.09/1079.63	c cleaning 98002 clauses out of 196012 with flag 12179765/4940001
1109.13/1108.76	c cleaning 99003 clauses out of 198011 with flag 12483441/5040002
1140.77/1139.54	c cleaning 99999 clauses out of 200007 with flag 12760119/5141001
1172.02/1170.82	c cleaning 101000 clauses out of 202008 with flag 13019854/5243001
1203.82/1202.57	c cleaning 101989 clauses out of 204006 with flag 13302634/5346000
1237.25/1236.03	c cleaning 103005 clauses out of 206017 with flag 13582698/5450000
1266.01/1264.74	c cleaning 104003 clauses out of 208013 with flag 13890748/5555001
1295.55/1294.38	c cleaning 104999 clauses out of 210009 with flag 14181145/5661000
1330.17/1328.92	c cleaning 105999 clauses out of 212008 with flag 14490194/5768000
1364.90/1363.76	c cleaning 106997 clauses out of 214010 with flag 14844725/5876001
1376.81/1375.66	c starts		: 17516
1376.81/1375.66	c conflicts		: 5928550
1376.81/1375.66	c decisions		: 7313664
1376.81/1375.66	c propagations		: 710153999
1376.81/1375.66	c inspects		: 15635981056
1376.81/1375.66	c shortcuts		: 0
1376.81/1375.66	c learnt literals	: 15
1376.81/1375.66	c learnt binary clauses	: 12
1376.81/1375.66	c learnt ternary clauses	: 62
1376.81/1375.66	c learnt constraints	: 5928534
1376.81/1375.66	c ignored constraints	: 0
1376.81/1375.66	c root simplifications	: 0
1376.81/1375.66	c removed literals (reason simplification)	: 0
1376.81/1375.66	c reason swapping (by a shorter reason)	: 0
1376.81/1375.66	c Calls to reduceDB	: 104
1376.81/1375.66	c Number of update (reduction) of LBD	: 205075
1376.81/1375.66	c Imported unit clauses	: 0
1376.81/1375.67	c No decision after first conflict	: false
1376.81/1375.67	c number of reductions to clauses (during analyze)	: 0
1376.81/1375.67	c number of learned constraints concerned by reduction	: 0
1376.81/1375.67	c number of learning phase by resolution	: 0
1376.81/1375.67	c number of learning phase by cutting planes	: 0
1376.81/1375.67	c number of rounding to 1 operations	: 0
1376.81/1375.67	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1376.81/1375.67	c number of reductions of the coefficients by power 2 	: 0
1376.81/1375.67	c number of right shift for reduction by power 2 	: 0
1376.81/1375.67	c number of reductions of the coefficients by GCD over coefficients 	: 0
1376.81/1375.67	c number of ending skipping 	: 0
1376.81/1375.67	c number of internal skipping 	: 0
1376.81/1375.67	c number of derivation steps 	: 0
1376.81/1375.67	c number of skipped derivation steps 	: 0
1376.81/1375.67	c number of remaining unassigned 	: 0
1376.81/1375.67	c number of remaining assigned 	: 0
1376.81/1375.67	c number of falsified literals weakened from reason	: 0
1376.81/1375.67	c number of falsified literals weakened from conflict	: 0
1376.81/1375.67	c time for arithmetic operations	: 0
1376.81/1375.68	c minimum degree of deleted constraints	: null
1376.81/1375.68	c maximum degree of deleted constraints	: null
1376.81/1375.68	c number of deleted constraints	: 0
1376.81/1375.68	c speed (assignments/second)	: 516283.390475692
1376.81/1375.68	c non guided choices	: 22
1376.94/1375.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 159537
1376.94/1375.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
1376.94/1375.73	s UNSATISFIABLE
1376.94/1375.73	c Total wall clock time (in seconds): 1375.606

Verifier Data 

ERROR: no interpretation found !

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: 63968 MiB (61486 MiB free)
  memory of node 1: 64473 MiB (63357 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454134-1721494156/watcher-4454134-1721494156 -o /tmp/evaluation-result-4454134-1721494156/solver-4454134-1721494156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721494169-1077064 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4454134-1721494156.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1077121, runsolver pid=1077116

[startup+0.100279 s]*
/proc/loadavg: 3.87 4.10 4.09 14/323 1077193
/proc/meminfo: memFree=127669344/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=18975048 memory=64908 CPUtime=0.12 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 7078 0 0 0 11 1 0 0 20 0 18 0 201581759 19430449152 16227 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4743762 16227 5705 1 0 549317 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 1077936192 5664 0 0 0 7 1 0 0 20 0 18 0 201581759 19430449152 16227 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=18975048 memory=1676398 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201581761 19430449152 16227 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 201581762 19430449152 16227 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64908 KiB

[startup+0.205856 s]*
/proc/loadavg: 3.87 4.10 4.09 17/327 1077197
/proc/meminfo: memFree=127639864/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19041612 memory=70872 CPUtime=0.33 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 8546 0 0 0 31 2 0 0 20 0 19 0 201581759 19498610688 17718 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4760403 17718 5872 1 0 550395 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 5877 0 0 0 16 1 0 0 20 0 19 0 201581759 19498610688 17718 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19041612 memory=1676398 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 17718 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19041612 memory=15544020042516215 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 17718 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581775 19498610688 17718 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70872 KiB

[startup+0.305855 s]*
/proc/loadavg: 3.87 4.10 4.09 16/327 1077197
/proc/meminfo: memFree=127615468/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19041612 memory=77920 CPUtime=0.52 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 9371 0 0 0 50 2 0 0 20 0 19 0 201581759 19498610688 19480 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4760403 19480 5872 1 0 550977 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19041612 memory=-7306911702968068710 CPUtime=0.27 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 5886 0 0 0 26 1 0 0 20 0 19 0 201581759 19498610688 19480 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 19480 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 19480 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581775 19498610688 19480 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77920 KiB

[startup+0.700227 s]
/proc/loadavg: 4.44 4.21 4.13 16/327 1077197
/proc/meminfo: memFree=127583740/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19041612 memory=90384 CPUtime=1.27 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 11493 0 0 0 125 2 0 0 20 0 19 0 201581759 19498610688 22596 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4760403 22596 5904 1 0 552458 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19041612 memory=49836 CPUtime=0.64 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 5891 0 0 0 63 1 0 0 20 0 19 0 201581759 19498610688 22596 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19041612 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 22596 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19041612 memory=2248 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 22596 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19041612 memory=39476 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581775 19498610688 22596 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90384 KiB

[startup+1.50085 s]
/proc/loadavg: 4.44 4.21 4.13 9/327 1077197
/proc/meminfo: memFree=127529240/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19041612 memory=109564 CPUtime=2.27 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 14513 0 0 0 224 3 0 0 20 0 19 0 201581759 19498610688 27391 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4760403 27391 5904 1 0 552580 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19041612 memory=12420 CPUtime=1.44 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 6421 0 0 0 142 2 0 0 20 0 19 0 201581759 19498610688 27391 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 27391 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19041612 memory=2248 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 27391 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19041612 memory=39476 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581775 19498610688 27391 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109564 KiB

[startup+3.10587 s]
/proc/loadavg: 4.44 4.21 4.13 10/328 1077198
/proc/meminfo: memFree=127327900/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19041612 memory=147184 CPUtime=3.96 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 15962 0 0 0 392 4 0 0 20 0 19 0 201581759 19498610688 36796 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4760403 36796 5904 1 0 552739 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19041612 memory=0 CPUtime=3.03 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 6709 0 0 0 300 3 0 0 20 0 19 0 201581759 19498610688 36796 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19041612 memory=-7306911702968134246 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201581761 19498610688 36796 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19041612 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 201581762 19498610688 36796 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19041612 memory=2248 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 201581775 19498610688 36796 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 147184 KiB

[startup+6.30087 s]
/proc/loadavg: 4.40 4.21 4.13 9/329 1077199
/proc/meminfo: memFree=127181792/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=195224 CPUtime=7.19 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 20309 0 0 0 714 5 0 0 20 0 20 0 201581759 19566772224 48806 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 48806 5952 1 0 553028 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=2248 CPUtime=6.17 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 7026 0 0 0 614 3 0 0 20 0 20 0 201581759 19566772224 48806 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 48806 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 48806 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=113660 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 48806 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 7.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195224 KiB

[startup+12.7329 s]
/proc/loadavg: 4.37 4.21 4.13 8/331 1077203
/proc/meminfo: memFree=126954936/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=259840 CPUtime=13.78 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 24364 0 0 0 1371 7 0 0 20 0 20 0 201581759 19566772224 64960 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 64960 5952 1 0 553598 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=12420 CPUtime=12.46 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) S 1077116 1077121 1077052 0 -1 1077936192 7648 0 0 0 1243 3 0 0 20 0 20 0 201581759 19566772224 64960 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=113660 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 64960 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=195272 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 64960 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=229048 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 64960 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 259840 KiB

[startup+25.5002 s]
/proc/loadavg: 4.31 4.20 4.13 7/331 1077204
/proc/meminfo: memFree=126622436/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=362736 CPUtime=26.63 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 28801 0 0 0 2653 10 0 0 20 0 20 0 201581759 19566772224 90684 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 90684 5955 1 0 553598 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=325860 CPUtime=25.08 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 8742 0 0 0 2505 3 0 0 20 0 20 0 201581759 19566772224 90684 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=49836 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 90684 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 90684 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=16156 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 90684 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 26.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 362736 KiB

[startup+51.1059 s]
/proc/loadavg: 4.64 4.29 4.16 9/333 1077214
/proc/meminfo: memFree=125658920/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=622868 CPUtime=52.28 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 33383 0 0 0 5213 15 0 0 20 0 20 0 201581759 19566772224 155717 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 155717 5955 1 0 553598 0

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

/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1156 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=11664 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1303.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1362.3 s]
/proc/loadavg: 4.23 4.15 4.14 7/332 1078023
/proc/meminfo: memFree=117271540/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1363.51 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 140643 0 0 0 136266 85 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 545315 5986 1 0 563030 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1352.42 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 45355 0 0 0 135233 9 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=11664 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1363.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1375.74 s]
# the end of solver process 1077121 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1376.14 s, system=0.865834 s

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

[startup+1363.2 s]
/proc/loadavg: 4.23 4.15 4.14 7/332 1078023
/proc/meminfo: memFree=117271412/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1364.4 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 140653 0 0 0 136355 85 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 545315 5986 1 0 563030 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=-7306911702968134246 CPUtime=1353.32 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 45365 0 0 0 135323 9 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=-7306911702968134246 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1364.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1369.6 s]
/proc/loadavg: 4.22 4.15 4.14 8/332 1078025
/proc/meminfo: memFree=117271352/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1370.79 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 140841 0 0 0 136994 85 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 545315 5986 1 0 563030 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1359.71 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 45551 0 0 0 135962 9 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=1471342767566258305 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=11664 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1370.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1372.8 s]
/proc/loadavg: 4.20 4.14 4.13 7/332 1078025
/proc/meminfo: memFree=117271320/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1374 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 141882 0 0 0 137315 85 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 545315 5986 1 0 563030 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=16156 CPUtime=1362.9 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 45737 0 0 0 136281 9 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=-7306911702968134246 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=1676315 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=26000 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1374 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1374.4 s]
/proc/loadavg: 4.20 4.14 4.13 7/332 1078025
/proc/meminfo: memFree=117271328/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1375.61 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 142776 0 0 0 137476 85 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 545315 5986 1 0 563030 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=11664 CPUtime=1364.49 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 45757 0 0 0 136440 9 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=49836 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=5468 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1375.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1375.2 s]
/proc/loadavg: 4.20 4.14 4.13 7/332 1078025
/proc/meminfo: memFree=117271308/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1376.41 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 142782 0 0 0 137556 85 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 545315 5986 1 0 563030 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1365.29 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 45763 0 0 0 136520 9 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=11664 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=49836 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1376.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1375.6 s]
/proc/loadavg: 4.20 4.14 4.13 7/332 1078025
/proc/meminfo: memFree=117271308/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19108176 memory=2181260 CPUtime=1376.81 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 142788 0 0 0 137596 85 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4777044 545315 5986 1 0 563030 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19108176 memory=39476 CPUtime=1365.69 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) R 1077116 1077121 1077052 0 -1 4194368 45769 0 0 0 136560 9 0 0 20 0 20 0 201581759 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19108176 memory=-7306911702968134246 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19108176 memory=49836 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077194] ppid=1077116 vsize=19108176 memory=12420 CPUtime=0 cores=1,3
/proc/1077121/task/1077194/stat : 1077194 (Timer-0) S 1077116 1077121 1077052 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201581775 19566772224 545315 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1376.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181260 KiB

[startup+1375.7 s]
/proc/loadavg: 4.20 4.14 4.13 7/332 1078025
/proc/meminfo: memFree=117271308/131524600 swapFree=131071996/131071996
[pid=1077121] ppid=1077116 vsize=19241304 memory=2181696 CPUtime=1376.94 cores=1,3
/proc/1077121/stat : 1077121 (java) S 1077116 1077121 1077052 0 -1 1077936128 144905 0 0 0 137609 85 0 0 20 0 20 0 201581759 19703095296 545424 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
/proc/1077121/statm: 4810326 545424 5985 1 0 563648 0
[pid=1077121/tid=1077128] ppid=1077116 vsize=19241304 memory=2181260 CPUtime=1365.75 cores=1,3
/proc/1077121/task/1077128/stat : 1077128 (java) S 1077116 1077121 1077052 0 -1 1077936192 47292 0 0 0 136566 9 0 0 20 0 20 0 201581759 19703095296 545424 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077178] ppid=1077116 vsize=19241304 memory=11664 CPUtime=0 cores=1,3
/proc/1077121/task/1077178/stat : 1077178 (Finalizer) S 1077116 1077121 1077052 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201581761 19703095296 545424 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
[pid=1077121/tid=1077192] ppid=1077116 vsize=19241304 memory=2181260 CPUtime=0 cores=1,3
/proc/1077121/task/1077192/stat : 1077192 (Common-Cleaner) S 1077116 1077121 1077052 0 -1 1077936192 1221 0 0 0 0 0 0 0 20 0 20 0 201581762 19703095296 545424 134679101440 94195714928640 94195714932336 140726711041408 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94195714940152 94195714940944 94195718311936 140726711047173 140726711047263 140726711047263 140726711054280 0
Current children cumulated CPU time: 1376.94 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2181696 KiB

Child status: 20

Real time (s): 1375.74
CPU time (s): 1377.01
CPU user time (s): 1376.14
CPU system time (s): 0.865834
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2181696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1376.14
system time used= 0.865834
maximum resident set size= 2182548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42485
involuntary context switches= 5818


# summary of solver processes directly reported to runsolver:
#   pid: 1077121
#   total CPU time (s): 1377.01
#   total CPU user time (s): 1376.14
#   total CPU system time (s): 0.865834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.66504 second user time and 5.86756 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-20 18:49:29
IDJOB=4454134
IDBENCH=176067
IDSOLVER=3058
FILE ID=nodeC026/4454134-1721494156
RUNJOBID= nodeC026-1721494169-1077064
SLURM_JOB_ID= 7545802
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-11diag_spec_less.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454134-1721494156/watcher-4454134-1721494156 -o /tmp/evaluation-result-4454134-1721494156/solver-4454134-1721494156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721494169-1077064 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4454134-1721494156.opb

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

MD5SUM BENCH= 835882185b05cb50ca6c38d629f5e937
RANDOM SEED=139930465

nodeC026.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	: 0xb00002a
cpu MHz		: 3437.414
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3206.813
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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	: 0xb00002a
cpu MHz		: 3625.953
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3641.702
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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	: 0xb00002a
cpu MHz		: 3363.636
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3294.434
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
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	: 0xb00002a
cpu MHz		: 3533.711
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.74
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	: 0xb00002a
cpu MHz		: 3602.355
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127844400 kB
MemAvailable:   129712736 kB
Buffers:          617248 kB
Cached:          2080960 kB
SwapCached:            0 kB
Active:          1142560 kB
Inactive:        1892296 kB
Active(anon):       1448 kB
Inactive(anon):   381112 kB
Active(file):    1141112 kB
Inactive(file):  1511184 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3492 kB
Writeback:             0 kB
AnonPages:        333424 kB
Mapped:           107192 kB
Shmem:             45912 kB
KReclaimable:     111728 kB
Slab:             226064 kB
SReclaimable:     111728 kB
SUnreclaim:       114336 kB
KernelStack:        3872 kB
PageTables:         9828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     805804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC026 at 2024-07-20 19:12:24