Trace number 4517190

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 2025-06-06? (TO) 3600.2 3607.31

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-11array_diag_less.opb
MD5SUM84e79187d6b131590e1bf80af534d597
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.010568
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables649
Total number of constraints650
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 constraints287
Minimum length of a constraint2
Maximum length of a constraint44
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
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.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4517190-1751243013.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.045s.
0.13/0.17	c declared #vars     649
0.13/0.17	c #constraints  936
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 374
0.13/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 441
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 121
0.13/0.17	c 936 constraints processed.
1.28/0.73	c cleaning 2493 clauses out of 5001 with flag 26103/5001
2.33/1.52	c cleaning 4246 clauses out of 8507 with flag 62210/11000
3.73/2.72	c cleaning 5630 clauses out of 11261 with flag 112872/18000
5.04/4.09	c cleaning 6812 clauses out of 13631 with flag 168163/26000
7.05/6.01	c cleaning 7907 clauses out of 15819 with flag 248906/35000
8.84/7.89	c cleaning 8947 clauses out of 17913 with flag 348965/45001
11.24/10.17	c cleaning 9978 clauses out of 19965 with flag 455842/56000
13.92/12.80	c cleaning 10990 clauses out of 21987 with flag 579352/68000
17.02/15.90	c cleaning 11995 clauses out of 23997 with flag 754340/81000
19.62/18.59	c cleaning 12993 clauses out of 26002 with flag 893622/95000
21.92/20.83	c cleaning 14001 clauses out of 28010 with flag 993716/110001
25.31/24.24	c cleaning 14999 clauses out of 30008 with flag 1180329/126000
29.42/28.36	c cleaning 16000 clauses out of 32010 with flag 1409087/143001
34.63/33.52	c cleaning 17001 clauses out of 34009 with flag 1704916/161000
39.62/38.57	c cleaning 17998 clauses out of 36008 with flag 1972091/180000
45.84/44.75	c cleaning 19003 clauses out of 38010 with flag 2292806/200000
52.72/51.60	c cleaning 20001 clauses out of 40008 with flag 2665270/221001
60.40/59.38	c cleaning 21001 clauses out of 42006 with flag 3023734/243000
68.69/67.67	c cleaning 22002 clauses out of 44005 with flag 3469719/266000
76.51/75.43	c cleaning 22998 clauses out of 46003 with flag 3825313/290000
85.59/84.58	c cleaning 24001 clauses out of 48005 with flag 4266340/315000
93.57/92.54	c cleaning 24998 clauses out of 50004 with flag 4634392/341000
101.74/100.72	c cleaning 25997 clauses out of 52006 with flag 4971333/368000
112.76/111.75	c cleaning 27000 clauses out of 54009 with flag 5341341/396000
125.72/124.71	c cleaning 28000 clauses out of 56010 with flag 5809835/425001
137.38/136.43	c cleaning 29003 clauses out of 58009 with flag 6122317/455000
149.18/148.26	c cleaning 30000 clauses out of 60006 with flag 6432894/486000
161.25/160.39	c cleaning 30995 clauses out of 62006 with flag 6816874/518000
177.71/176.88	c cleaning 32005 clauses out of 64013 with flag 7379581/551002
193.54/192.61	c cleaning 33002 clauses out of 66006 with flag 7870608/585000
209.01/208.18	c cleaning 33999 clauses out of 68005 with flag 8355243/620001
226.25/225.49	c cleaning 35001 clauses out of 70005 with flag 8752963/656000
239.66/238.89	c cleaning 36000 clauses out of 72004 with flag 9108017/693000
258.12/257.36	c cleaning 36996 clauses out of 74005 with flag 9623079/731001
278.57/277.85	c cleaning 37998 clauses out of 76008 with flag 10045347/770000
297.36/296.67	c cleaning 38999 clauses out of 78010 with flag 10426356/810000
319.21/318.56	c cleaning 40000 clauses out of 80012 with flag 10846548/851001
340.76/340.13	c cleaning 40999 clauses out of 82012 with flag 11216786/893001
362.93/362.38	c cleaning 42003 clauses out of 84012 with flag 11640519/936000
387.86/387.36	c cleaning 43000 clauses out of 86009 with flag 12015908/980000
415.62/415.15	c cleaning 44001 clauses out of 88010 with flag 12431728/1025001
446.23/445.83	c cleaning 45000 clauses out of 90009 with flag 12902005/1071001
477.24/476.96	c cleaning 46002 clauses out of 92008 with flag 13307920/1118000
507.98/507.78	c cleaning 46995 clauses out of 94006 with flag 13787533/1166000
541.58/541.48	c cleaning 47998 clauses out of 96012 with flag 14206825/1215001
576.51/576.42	c cleaning 48999 clauses out of 98013 with flag 14633903/1265000
620.99/621.02	c cleaning 49997 clauses out of 100014 with flag 15076775/1316000
661.52/661.65	c cleaning 51004 clauses out of 102017 with flag 15490084/1368000
702.10/702.30	c cleaning 52001 clauses out of 104013 with flag 15908409/1421000
745.58/745.92	c cleaning 53000 clauses out of 106013 with flag 16341683/1475001
793.27/793.72	c cleaning 54003 clauses out of 108013 with flag 16812248/1530001
850.91/851.53	c cleaning 54999 clauses out of 110009 with flag 17207462/1586000
903.46/904.24	c cleaning 55999 clauses out of 112010 with flag 17605356/1643000
955.66/956.51	c cleaning 57001 clauses out of 114012 with flag 17987212/1701001
1015.29/1016.39	c cleaning 57999 clauses out of 116010 with flag 18432732/1760000
1078.11/1079.31	c cleaning 59002 clauses out of 118011 with flag 18863395/1820000
1133.32/1134.65	c cleaning 59999 clauses out of 120010 with flag 19418606/1881001
1188.78/1190.22	c cleaning 61001 clauses out of 122010 with flag 19880175/1943000
1243.03/1244.66	c cleaning 61997 clauses out of 124010 with flag 20323705/2006001
1324.58/1326.38	c cleaning 63003 clauses out of 126012 with flag 20776574/2070000
1398.20/1400.14	c cleaning 64002 clauses out of 128010 with flag 21213759/2135001
1474.76/1476.97	c cleaning 65002 clauses out of 130007 with flag 21664151/2201000
1559.73/1562.18	c cleaning 65994 clauses out of 132005 with flag 22158169/2268000
1657.81/1660.46	c cleaning 67000 clauses out of 134011 with flag 22636895/2336000
1768.56/1771.49	c cleaning 67998 clauses out of 136012 with flag 23101967/2405001
1875.27/1878.49	c cleaning 69003 clauses out of 138014 with flag 23612782/2475001
1987.74/1991.28	c cleaning 70001 clauses out of 140010 with flag 24106850/2546000
2106.39/2110.25	c cleaning 71001 clauses out of 142010 with flag 24608657/2618001
2223.96/2228.18	c cleaning 72000 clauses out of 144009 with flag 25113412/2691001
2341.52/2346.09	c cleaning 72995 clauses out of 146008 with flag 25599996/2765000
2458.77/2463.62	c cleaning 74002 clauses out of 148014 with flag 26069608/2840001
2568.05/2573.24	c cleaning 75001 clauses out of 150012 with flag 26544285/2916001
2697.39/2702.84	c cleaning 75999 clauses out of 152011 with flag 27049919/2993001
2834.17/2839.96	c cleaning 76999 clauses out of 154012 with flag 27546476/3071001
2957.37/2963.44	c cleaning 78001 clauses out of 156012 with flag 28021012/3150000
3102.52/3108.91	c cleaning 79003 clauses out of 158011 with flag 28490354/3230000
3219.15/3225.80	c cleaning 80001 clauses out of 160009 with flag 28960270/3311001
3361.31/3368.35	c cleaning 81000 clauses out of 162008 with flag 29474533/3393001
3516.14/3523.14	c cleaning 82000 clauses out of 164008 with flag 29954094/3476001
3600.04/3607.21	c timeout
3600.04/3607.21	c starts		: 1377
3600.04/3607.22	c conflicts		: 3525524
3600.04/3607.22	c decisions		: 3567526
3600.04/3607.22	c propagations		: 759147616
3600.04/3607.22	c inspects		: 44371966824
3600.04/3607.22	c shortcuts		: 0
3600.04/3607.22	c learnt literals	: 0
3600.04/3607.22	c learnt binary clauses	: 174
3600.04/3607.22	c learnt ternary clauses	: 341
3600.04/3607.22	c learnt constraints	: 3525524
3600.04/3607.22	c ignored constraints	: 0
3600.04/3607.22	c root simplifications	: 0
3600.04/3607.22	c removed literals (reason simplification)	: 185539167
3600.04/3607.22	c reason swapping (by a shorter reason)	: 0
3600.04/3607.22	c Calls to reduceDB	: 79
3600.04/3607.22	c Number of update (reduction) of LBD	: 90840
3600.04/3607.22	c Imported unit clauses	: 0
3600.04/3607.22	c No decision after first conflict	: false
3600.04/3607.23	c number of reductions to clauses (during analyze)	: 0
3600.04/3607.23	c number of learned constraints concerned by reduction	: 0
3600.04/3607.23	c number of learning phase by resolution	: 0
3600.04/3607.23	c number of learning phase by cutting planes	: 0
3600.04/3607.23	c number of rounding to 1 operations	: 0
3600.04/3607.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3607.23	c number of reductions of the coefficients by power 2 	: 0
3600.04/3607.23	c number of right shift for reduction by power 2 	: 0
3600.04/3607.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3607.23	c number of ending skipping 	: 0
3600.04/3607.23	c number of internal skipping 	: 0
3600.04/3607.23	c number of derivation steps 	: 0
3600.04/3607.23	c number of skipped derivation steps 	: 0
3600.04/3607.23	c number of remaining unassigned 	: 0
3600.04/3607.23	c number of remaining assigned 	: 0
3600.04/3607.23	c number of falsified literals weakened from reason	: 0
3600.04/3607.23	c number of falsified literals weakened from conflict	: 0
3600.04/3607.23	c time for arithmetic operations	: 0
3600.04/3607.23	c minimum degree of deleted constraints	: null
3600.04/3607.23	c maximum degree of deleted constraints	: null
3600.04/3607.23	c number of deleted constraints	: 0
3600.04/3607.24	c speed (assignments/second)	: 210461.65754427636
3600.04/3607.24	c non guided choices	: 21
3600.04/3607.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 131357
3600.04/3607.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 174
3600.04/3607.29	s UNKNOWN
3600.04/3607.29	c Total wall clock time (in seconds): 3607.164

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: 63708 MiB (62825 MiB free)
  memory of node 1: 64465 MiB (63698 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517190-1751243013/watcher-4517190-1751243013 -o /tmp/evaluation-result-4517190-1751243013/solver-4517190-1751243013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751242972-32479 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517190-1751243013.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32922, runsolver pid=32919
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 2.53 1.45 1.83 5/341 32940
/proc/meminfo: memFree=129535576/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18930384 memory=57876 CPUtime=0.13 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 6590 0 0 0 11 2 0 0 20 0 18 0 39979970 19384713216 14469 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4732596 14469 5335 1 0 547623 0
[pid=32922/tid=32924] ppid=32919 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 5091 0 0 0 7 1 0 0 20 0 18 0 39979971 19384713216 14469 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39979973 19384713216 14469 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18930384 memory=61784027576291 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39979974 19384713216 14469 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57876 KiB

[startup+0.205818 s]*
/proc/loadavg: 2.53 1.45 1.83 7/342 32941
/proc/meminfo: memFree=129529716/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18996948 memory=62332 CPUtime=0.32 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 7118 0 0 0 30 2 0 0 20 0 19 0 39979970 19452874752 15583 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4749237 15583 5431 1 0 548256 0
[pid=32922/tid=32924] ppid=32919 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 5322 0 0 0 17 1 0 0 20 0 19 0 39979971 19452874752 15583 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18996948 memory=13937 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39979973 19452874752 15583 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18996948 memory=60684515935208 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39979974 19452874752 15583 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39979988 19452874752 15583 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62332 KiB

[startup+0.305752 s]*
/proc/loadavg: 2.53 1.45 1.83 6/342 32941
/proc/meminfo: memFree=129520580/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18996948 memory=71120 CPUtime=0.52 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 10345 0 0 0 49 3 0 0 20 0 19 0 39979970 19452874752 17780 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4749237 17780 5431 1 0 549384 0
[pid=32922/tid=32924] ppid=32919 vsize=18996948 memory=-6000919468478392940 CPUtime=0.28 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 5337 0 0 0 26 2 0 0 20 0 19 0 39979971 19452874752 17780 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39979973 19452874752 17780 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39979974 19452874752 17780 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39979988 19452874752 17780 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71120 KiB

[startup+0.700223 s]
/proc/loadavg: 2.81 1.53 1.86 6/342 32941
/proc/meminfo: memFree=129513020/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18996948 memory=83640 CPUtime=1.28 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 13855 0 0 0 124 4 0 0 20 0 19 0 39979970 19452874752 20910 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4749237 20910 5463 1 0 551901 0
[pid=32922/tid=32924] ppid=32919 vsize=18996948 memory=17408 CPUtime=0.67 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 5351 0 0 0 65 2 0 0 20 0 19 0 39979971 19452874752 20910 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39979973 19452874752 20910 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39979974 19452874752 20910 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=18996948 memory=4496 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39979988 19452874752 20910 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 83640 KiB

[startup+1.50018 s]
/proc/loadavg: 2.81 1.53 1.86 5/342 32941
/proc/meminfo: memFree=129507224/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18996948 memory=90340 CPUtime=2.33 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 16505 0 0 0 229 4 0 0 20 0 19 0 39979970 19452874752 22585 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4749237 22585 5463 1 0 552446 0
[pid=32922/tid=32924] ppid=32919 vsize=18996948 memory=0 CPUtime=1.44 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 5481 0 0 0 142 2 0 0 20 0 19 0 39979971 19452874752 22585 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39979973 19452874752 22585 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39979974 19452874752 22585 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=18996948 memory=4496 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39979988 19452874752 22585 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 90340 KiB

[startup+3.10554 s]
/proc/loadavg: 2.81 1.53 1.86 5/342 32941
/proc/meminfo: memFree=129492580/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18996948 memory=104024 CPUtime=4.14 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 22515 0 0 0 409 5 0 0 20 0 19 0 39979970 19452874752 26006 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4749237 26006 5463 1 0 553792 0
[pid=32922/tid=32924] ppid=32919 vsize=18996948 memory=11136 CPUtime=3.03 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 6033 0 0 0 301 2 0 0 20 0 19 0 39979971 19452874752 26006 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18996948 memory=-6000919468478392940 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39979973 19452874752 26006 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39979974 19452874752 26006 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39979988 19452874752 26006 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 4.14 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104024 KiB

[startup+6.30015 s]
/proc/loadavg: 2.90 1.57 1.87 5/341 33006
/proc/meminfo: memFree=129599320/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18996948 memory=108492 CPUtime=7.34 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 23018 0 0 0 728 6 0 0 20 0 19 0 39979970 19452874752 27123 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4749237 27123 5463 1 0 553793 0
[pid=32922/tid=32924] ppid=32919 vsize=18996948 memory=0 CPUtime=6.22 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 6404 0 0 0 620 2 0 0 20 0 19 0 39979971 19452874752 27123 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39979973 19452874752 27123 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39979974 19452874752 27123 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=18996948 memory=14572 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39979988 19452874752 27123 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108492 KiB

[startup+12.7002 s]
/proc/loadavg: 2.99 1.61 1.88 5/341 33006
/proc/meminfo: memFree=129448536/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=18996948 memory=138060 CPUtime=13.82 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 27207 0 0 0 1376 6 0 0 20 0 19 0 39979970 19452874752 34515 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4749237 34515 5463 1 0 553793 0
[pid=32922/tid=32924] ppid=32919 vsize=18996948 memory=0 CPUtime=12.6 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 7362 0 0 0 1258 2 0 0 20 0 19 0 39979971 19452874752 34515 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39979973 19452874752 34515 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=18996948 memory=-6000919468478392940 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39979974 19452874752 34515 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=18996948 memory=3456 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39979988 19452874752 34515 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 13.82 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 138060 KiB

[startup+25.5002 s]
/proc/loadavg: 3.15 1.69 1.90 5/343 33009
/proc/meminfo: memFree=129199436/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=179468 CPUtime=26.63 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 29912 0 0 0 2656 7 0 0 20 0 20 0 39979970 19521036288 44867 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 44867 5463 1 0 554098 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=0 CPUtime=25.36 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 7922 0 0 0 2533 3 0 0 20 0 20 0 39979971 19521036288 44867 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=179468 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 44867 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=85860 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 44867 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=-6000919468478392940 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 44867 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 26.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179468 KiB

[startup+51.1057 s]
/proc/loadavg: 3.61 1.95 1.98 5/343 33009
/proc/meminfo: memFree=128802888/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=206352 CPUtime=52.23 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 31836 0 0 0 5215 8 0 0 20 0 20 0 39979970 19521036288 51588 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 51588 5463 1 0 554098 0

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

/proc/meminfo: memFree=122999424/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3215.66 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 51324 0 0 0 321468 98 0 0 20 0 20 0 39979970 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 388465 5495 1 0 554098 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3211.71 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 18778 0 0 0 321161 10 0 0 20 0 20 0 39979971 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=2208 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 560 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3215.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1553860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/340 33187
/proc/meminfo: memFree=122999536/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3275.52 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 51393 0 0 0 327453 99 0 0 20 0 20 0 39979970 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 388465 5495 1 0 554098 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3271.55 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 18841 0 0 0 327144 11 0 0 20 0 20 0 39979971 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 560 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=17156 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3275.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1553860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/340 33189
/proc/meminfo: memFree=122991448/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3335.38 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 51503 0 0 0 333438 100 0 0 20 0 20 0 39979970 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 388465 5495 1 0 554098 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3331.39 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 18948 0 0 0 333128 11 0 0 20 0 20 0 39979971 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 560 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3335.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1553860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/341 33193
/proc/meminfo: memFree=122974076/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3395.24 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 52050 0 0 0 339423 101 0 0 20 0 20 0 39979970 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 388465 5495 1 0 554098 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3391.23 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 19395 0 0 0 339112 11 0 0 20 0 20 0 39979971 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 560 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=-6000919468478392940 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3395.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1553860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.45 4.18 4.07 5/341 33197
/proc/meminfo: memFree=122973472/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3455.1 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 52404 0 0 0 345408 102 0 0 20 0 20 0 39979970 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 388465 5495 1 0 554098 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3451.07 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 19696 0 0 0 345096 11 0 0 20 0 20 0 39979971 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 580 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 388465 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3455.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1553860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.17 4.07 5/341 33199
/proc/meminfo: memFree=122815816/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1703528 CPUtime=3515.34 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 60861 0 0 0 351426 108 0 0 20 0 20 0 39979970 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 425882 5527 1 0 555744 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=1553860 CPUtime=3510.78 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 21605 0 0 0 351067 11 0 0 20 0 20 0 39979971 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=1553860 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=1703528 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 593 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3515.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1703528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.17 4.08 5/341 33202
/proc/meminfo: memFree=122815680/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1703528 CPUtime=3575.2 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 60950 0 0 0 357411 109 0 0 20 0 20 0 39979970 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 425882 5527 1 0 555744 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=3200 CPUtime=3570.62 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 21659 0 0 0 357051 11 0 0 20 0 20 0 39979971 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=1703528 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 601 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=1703528 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3575.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1703528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.2 s]
/proc/loadavg: 3.50 4.01 4.03 3/291 33270
/proc/meminfo: memFree=126315464/131249996 swapFree=33010684/33010684
[pid=32922] ppid=32919 vsize=19063512 memory=1703528 CPUtime=3600.04 cores=5,7
/proc/32922/stat : 32922 (java) S 32919 32922 32466 0 -1 4194304 60963 0 0 0 359895 109 0 0 20 0 20 0 39979970 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
/proc/32922/statm: 4765878 425882 5527 1 0 555744 0
[pid=32922/tid=32924] ppid=32919 vsize=19063512 memory=17408 CPUtime=3595.46 cores=5,7
/proc/32922/task/32924/stat : 32924 (java) R 32919 32922 32466 0 -1 4194368 21659 0 0 0 359535 11 0 0 20 0 20 0 39979971 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32933] ppid=32919 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/32922/task/32933/stat : 32933 (Finalizer) S 32919 32922 32466 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39979973 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32940] ppid=32919 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32922/task/32940/stat : 32940 (Common-Cleaner) S 32919 32922 32466 0 -1 4194368 601 0 0 0 0 0 0 0 20 0 20 0 39979974 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
[pid=32922/tid=32941] ppid=32919 vsize=19063512 memory=2208 CPUtime=0 cores=5,7
/proc/32922/task/32941/stat : 32941 (Timer-0) S 32919 32922 32466 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39979988 19521036288 425882 18446744073709551615 94900593889280 94900593892976 140731444195920 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94900593900792 94900593901584 94900602351616 140731444201857 140731444201958 140731444201958 140731444207560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1703528 KiB

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

[startup+3607.31 s]
# the end of solver process 32922 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3599.09 s, system=1.11069 s

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

Child status: 143

Real time (s): 3607.31
CPU time (s): 3600.2
CPU user time (s): 3599.09
CPU system time (s): 1.11069
CPU usage (%): 99.8029
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1703528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.09
system time used= 1.11069
maximum resident set size= 1704680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103416
involuntary context switches= 19896


# summary of solver processes directly reported to runsolver:
#   pid: 32922
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3599.09
#   total CPU system time (s): 1.11069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02306 second user time and 18.6007 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 02:23:33
IDJOB=4517190
IDBENCH=176026
IDSOLVER=3363
FILE ID=nodeC032/4517190-1751243013
RUNJOBID= nodeC032-1751242972-32479
SLURM_JOB_ID= 9587739
Free space on /tmp= 432068 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_diag/normalized-11array_diag_less.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517190-1751243013/watcher-4517190-1751243013 -o /tmp/evaluation-result-4517190-1751243013/solver-4517190-1751243013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751242972-32479 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4517190-1751243013.opb

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

MD5SUM BENCH= 84e79187d6b131590e1bf80af534d597
RANDOM SEED=1770007393

nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.843
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.847
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3606.517
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3608.327
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.838
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3601.156
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.862
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
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		: 3599.847
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129560224 kB
MemAvailable:   129262320 kB
Buffers:            3280 kB
Cached:           511572 kB
SwapCached:            0 kB
Active:           831004 kB
Inactive:         258380 kB
Active(anon):     592600 kB
Inactive(anon):        0 kB
Active(file):     238404 kB
Inactive(file):   258380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4028 kB
Writeback:             0 kB
AnonPages:        577700 kB
Mapped:           122416 kB
Shmem:             18068 kB
KReclaimable:      89104 kB
Slab:             173912 kB
SReclaimable:      89104 kB
SUnreclaim:        84808 kB
KernelStack:        5248 kB
PageTables:         4732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7063244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432068 MiB
End job on nodeC032 at 2025-06-30 03:23:41