Trace number 4541770

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

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
MD5SUMc5f0df1008e51f7adaa039b331d221c7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5122
Total number of constraints7110
Number of constraints which are clauses4374
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints2628
Minimum length of a constraint1
Maximum length of a constraint108
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 9007199254740992
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 36028797018963967
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.08/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.19	c See www.sat4j.org for details.
0.08/0.21	c version PB25.v20250606
0.26/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.26/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.26/0.24	c java.vm.version	22.0.1+8-16
0.26/0.24	c java.vm.vendor	Oracle Corporation
0.26/0.24	c sun.arch.data.model	64
0.26/0.24	c java.version		22.0.1
0.26/0.24	c os.name		Linux
0.26/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.26/0.24	c os.arch		amd64
0.26/0.25	c Free memory 		2104792832
0.26/0.25	c Max memory 		16282288128
0.26/0.25	c Total memory 		2113929216
0.26/0.26	c Number of processors 	2
0.41/0.37	c Pseudo Boolean Optimization by upper bound
0.41/0.37	c --- Begin Solver configuration ---
0.41/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.41/0.37	c Learn all clauses as in MiniSAT
0.41/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.41/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.41/0.37	c Expensive reason simplification
0.41/0.37	c Glucose 2.1 dynamic restart strategy
0.41/0.37	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.41/0.37	c timeout=2147483s
0.41/0.37	c DB Simplification allowed=false
0.41/0.37	c Listener: none
0.41/0.37	c --- End Solver configuration ---
0.41/0.37	c solving HOME/instance-4541770-1753210643.opb
0.41/0.37	c reading problem ... 
0.41/0.38	c using VERIPB proof format
0.41/0.38	c  no objective function found
1.10/0.70	c ... done. Wall clock time 0.319s.
1.10/0.70	c declared #vars     5122
1.10/0.70	c #constraints  9845
1.10/0.70	c constraints type 
1.10/0.70	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4854
1.10/0.70	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3301
1.10/0.70	c org.sat4j.specs.Constr$1 => 162
1.10/0.70	c org.sat4j.pb.constraints.pb.UnitClausePB => 54
1.10/0.70	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1474
1.10/0.70	c 9845 constraints processed.
5.84/3.15	c cleaning 2500 clauses out of 5001 with flag 22098/5001
9.23/5.94	c cleaning 4247 clauses out of 8501 with flag 59233/11001
13.65/9.87	c cleaning 5628 clauses out of 11255 with flag 118709/18002
17.13/13.09	c cleaning 6807 clauses out of 13625 with flag 187408/26000
21.24/16.91	c cleaning 7907 clauses out of 15818 with flag 274135/35000
26.31/21.97	c cleaning 8954 clauses out of 17911 with flag 364090/45000
32.63/28.20	c cleaning 9978 clauses out of 19957 with flag 513858/56000
38.16/33.75	c cleaning 10986 clauses out of 21979 with flag 668214/68000
43.63/39.12	c cleaning 11997 clauses out of 23994 with flag 928012/81001
48.69/44.05	c cleaning 12984 clauses out of 25997 with flag 1157905/95001
52.79/48.13	c cleaning 13984 clauses out of 28013 with flag 1334572/110001
59.44/54.73	c cleaning 15007 clauses out of 30029 with flag 1646147/126001
67.48/62.64	c cleaning 16003 clauses out of 32021 with flag 2133754/143000
76.97/71.95	c cleaning 17007 clauses out of 34018 with flag 2526866/161000
86.69/81.50	c cleaning 17998 clauses out of 36012 with flag 2923763/180001
97.36/92.23	c cleaning 19009 clauses out of 38017 with flag 3514632/200004
109.24/104.05	c cleaning 19985 clauses out of 40005 with flag 4149179/221001
121.81/116.58	c cleaning 20989 clauses out of 42019 with flag 4935309/243000
133.88/128.61	c cleaning 22015 clauses out of 44031 with flag 5705132/266001
147.14/141.80	c cleaning 22995 clauses out of 46015 with flag 6581862/290000
161.05/155.60	c cleaning 23988 clauses out of 48020 with flag 7556503/315000
174.85/169.32	c cleaning 25008 clauses out of 50033 with flag 8323115/341001
189.27/183.74	c cleaning 26000 clauses out of 52026 with flag 9117984/368002
206.94/200.93	c cleaning 26996 clauses out of 54024 with flag 10045230/396000
224.90/218.97	c cleaning 28004 clauses out of 56029 with flag 11212897/425001
243.14/237.11	c cleaning 29010 clauses out of 58026 with flag 11839316/455002
262.83/256.52	c cleaning 29991 clauses out of 60014 with flag 12788237/486000
281.40/275.18	c cleaning 31007 clauses out of 62024 with flag 13804736/518001
302.75/296.49	c cleaning 31997 clauses out of 64017 with flag 15035824/551001
327.61/321.27	c cleaning 33000 clauses out of 66020 with flag 16664167/585001
352.76/346.40	c cleaning 33996 clauses out of 68020 with flag 18237289/620001
376.97/370.61	c cleaning 34998 clauses out of 70023 with flag 19856328/656000
401.86/395.42	c cleaning 35998 clauses out of 72025 with flag 21124729/693000
430.70/424.29	c cleaning 36993 clauses out of 74029 with flag 23001059/731002
451.60/445.08	c cleaning 37980 clauses out of 76034 with flag 24102961/770000
470.44/463.98	c cleaning 39012 clauses out of 78055 with flag 24840253/810001
490.79/484.33	c cleaning 39998 clauses out of 80042 with flag 25632916/851000
514.10/507.61	c cleaning 40997 clauses out of 82044 with flag 26485086/893000
536.24/529.83	c cleaning 41996 clauses out of 84049 with flag 27347819/936002
559.52/553.02	c cleaning 43003 clauses out of 86051 with flag 28210005/980000
582.84/576.44	c cleaning 44008 clauses out of 88050 with flag 29013346/1025002
610.30/603.84	c cleaning 45000 clauses out of 90043 with flag 29795309/1071003
637.61/631.08	c cleaning 45997 clauses out of 92041 with flag 30578432/1118001
675.10/668.65	c cleaning 47007 clauses out of 94044 with flag 32058499/1166001
716.84/710.37	c cleaning 48001 clauses out of 96036 with flag 33438839/1215000
748.81/742.00	c cleaning 49007 clauses out of 98035 with flag 34355464/1265000
792.26/785.39	c cleaning 49992 clauses out of 100029 with flag 35782077/1316001
840.65/833.34	c cleaning 51011 clauses out of 102037 with flag 37359775/1368001
887.38/879.89	c cleaning 51999 clauses out of 104026 with flag 38821044/1421001
918.22/910.67	c cleaning 52998 clauses out of 106028 with flag 39669972/1475002
952.28/944.64	c cleaning 53966 clauses out of 108028 with flag 40374372/1530000
986.83/979.15	c cleaning 55026 clauses out of 110065 with flag 41064045/1586003
1036.66/1028.54	c cleaning 56008 clauses out of 112038 with flag 42163852/1643002
1072.67/1064.68	c cleaning 56977 clauses out of 114028 with flag 43056166/1701000
1130.24/1121.92	c cleaning 58006 clauses out of 116052 with flag 44291342/1760001
1190.43/1181.44	c cleaning 59005 clauses out of 118047 with flag 45647206/1820002
1249.37/1240.07	c cleaning 59995 clauses out of 120040 with flag 47002591/1881000
1317.82/1308.47	c cleaning 61020 clauses out of 122047 with flag 48684527/1943002
1383.29/1373.78	c cleaning 61983 clauses out of 124026 with flag 50114072/2006001
1446.93/1437.09	c cleaning 63008 clauses out of 126043 with flag 51405081/2070001
1515.82/1505.71	c cleaning 63989 clauses out of 128035 with flag 53092066/2135001
1583.32/1573.02	c cleaning 65005 clauses out of 130046 with flag 54533376/2201001
1650.93/1640.38	c cleaning 66006 clauses out of 132041 with flag 55949493/2268001
1724.28/1713.53	c cleaning 67013 clauses out of 134035 with flag 57719275/2336001
1800.76/1789.84	c cleaning 67984 clauses out of 136021 with flag 59102459/2405000
1875.79/1864.58	c cleaning 69002 clauses out of 138039 with flag 60520652/2475002
1960.06/1948.48	c cleaning 69982 clauses out of 140036 with flag 62165940/2546001
2012.06/2000.32	c cleaning 71005 clauses out of 142054 with flag 62907658/2618001
2060.09/2048.32	c cleaning 71982 clauses out of 144051 with flag 63648477/2691003
2110.42/2098.32	c cleaning 72988 clauses out of 146066 with flag 64414792/2765000
2175.75/2163.54	c cleaning 74032 clauses out of 148079 with flag 65404731/2840001
2264.67/2252.34	c cleaning 75008 clauses out of 150047 with flag 67020059/2916001
2350.05/2337.43	c cleaning 76012 clauses out of 152039 with flag 68652690/2993001
2437.18/2424.35	c cleaning 76967 clauses out of 154026 with flag 70202859/3071000
2527.59/2514.61	c cleaning 78022 clauses out of 156059 with flag 71674602/3150000
2611.21/2598.25	c cleaning 78991 clauses out of 158037 with flag 73162672/3230000
2691.76/2679.00	c cleaning 80014 clauses out of 160046 with flag 74611768/3311000
2792.11/2778.91	c cleaning 81011 clauses out of 162033 with flag 76258578/3393001
2894.26/2881.04	c cleaning 81999 clauses out of 164022 with flag 77989622/3476001
3008.04/2994.60	c cleaning 82989 clauses out of 166022 with flag 79792563/3560000
3113.50/3099.74	c cleaning 83994 clauses out of 168033 with flag 81584154/3645000
3233.24/3219.25	c cleaning 85002 clauses out of 170039 with flag 83400927/3731000
3342.60/3328.32	c cleaning 85998 clauses out of 172037 with flag 85107286/3818000
3451.96/3437.28	c cleaning 86992 clauses out of 174039 with flag 87133492/3906000
3530.59/3515.02	c cleaning 87974 clauses out of 176047 with flag 88238320/3995000
3600.01/3584.53	c starts		: 23721
3600.01/3584.53	c timeout
3600.01/3584.54	c conflicts		: 4079408
3600.01/3584.54	c decisions		: 6273454
3600.01/3584.54	c propagations		: 2907510402
3600.01/3584.54	c inspects		: 36174924039
3600.01/3584.54	c shortcuts		: 0
3600.01/3584.54	c learnt literals	: 0
3600.01/3584.54	c learnt binary clauses	: 215
3600.01/3584.54	c learnt ternary clauses	: 860
3600.01/3584.54	c learnt constraints	: 4079408
3600.01/3584.54	c ignored constraints	: 0
3600.01/3584.54	c root simplifications	: 0
3600.01/3584.54	c removed literals (reason simplification)	: 166106184
3600.01/3584.54	c reason swapping (by a shorter reason)	: 0
3600.01/3584.54	c Calls to reduceDB	: 85
3600.01/3584.54	c Number of update (reduction) of LBD	: 1226472
3600.01/3584.54	c Imported unit clauses	: 0
3600.01/3584.54	c No decision after first conflict	: false
3600.01/3584.54	c number of reductions to clauses (during analyze)	: 0
3600.01/3584.54	c number of learned constraints concerned by reduction	: 0
3600.01/3584.54	c number of learning phase by resolution	: 0
3600.01/3584.54	c number of learning phase by cutting planes	: 0
3600.01/3584.54	c number of rounding to 1 operations	: 0
3600.01/3584.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3584.54	c number of reductions of the coefficients by power 2 	: 0
3600.01/3584.54	c number of right shift for reduction by power 2 	: 0
3600.01/3584.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3584.54	c number of ending skipping 	: 0
3600.01/3584.54	c number of internal skipping 	: 0
3600.01/3584.54	c number of derivation steps 	: 0
3600.01/3584.54	c number of skipped derivation steps 	: 0
3600.01/3584.54	c number of remaining unassigned 	: 0
3600.01/3584.54	c number of remaining assigned 	: 0
3600.01/3584.54	c number of falsified literals weakened from reason	: 0
3600.01/3584.54	c number of falsified literals weakened from conflict	: 0
3600.01/3584.54	c time for arithmetic operations	: 0
3600.01/3584.54	c minimum degree of deleted constraints	: null
3600.01/3584.54	c maximum degree of deleted constraints	: null
3600.01/3584.54	c number of deleted constraints	: 0
3600.01/3584.55	c speed (assignments/second)	: 811286.7092319772
3600.01/3584.55	c non guided choices	: 287
3600.01/3584.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 172266
3600.01/3584.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 215
3600.17/3584.60	s UNKNOWN
3600.17/3584.60	c Total wall clock time (in seconds): 3584.229

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: 63794 MiB (17639 MiB free)
  memory of node 1: 64507 MiB (22029 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541770-1753210643/watcher-4541770-1753210643 -o /tmp/evaluation-result-4541770-1753210643/solver-4541770-1753210643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753210643-160087 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4541770-1753210643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4541770-1753210643.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 FSIZE limit: 102400000 KiB
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=160143, runsolver pid=160128
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 1.15 1.32 2.36 9/320 160212
/proc/meminfo: memFree=40522368/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=18930344 memory=47684 CPUtime=0.08 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 5443 0 0 0 5 3 0 0 20 0 18 0 236743214 19384672256 11921 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4732586 11921 4936 1 0 546736 0
[pid=160143/tid=160154] ppid=160128 vsize=18930344 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 4555 0 0 0 3 3 0 0 20 0 18 0 236743218 19384672256 11921 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=18930344 memory=228522721619 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236743223 19384672256 11921 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=18930344 memory=61792617516369 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236743224 19384672256 11921 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 47684 KiB

[startup+0.215677 s]*
/proc/loadavg: 1.15 1.32 2.36 9/320 160212
/proc/meminfo: memFree=40518128/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=18930384 memory=53688 CPUtime=0.26 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 6070 0 0 0 22 4 0 0 20 0 18 0 236743214 19384713216 13422 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4732596 13422 5352 1 0 547232 0
[pid=160143/tid=160154] ppid=160128 vsize=18930384 memory=4026990876 CPUtime=0.16 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 4958 0 0 0 13 3 0 0 20 0 18 0 236743218 19384713216 13422 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236743223 19384713216 13422 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236743224 19384713216 13422 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53688 KiB

[startup+0.31376 s]*
/proc/loadavg: 1.15 1.32 2.36 13/320 160212
/proc/meminfo: memFree=40507932/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=18930384 memory=59764 CPUtime=0.41 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 6553 0 0 0 36 5 0 0 20 0 18 0 236743214 19384713216 14941 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4732596 14941 5352 1 0 547688 0
[pid=160143/tid=160154] ppid=160128 vsize=18930384 memory=-8600583827722379964 CPUtime=0.25 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 5123 0 0 0 22 3 0 0 20 0 18 0 236743218 19384713216 14941 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236743223 19384713216 14941 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236743224 19384713216 14941 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59764 KiB

[startup+0.700381 s]
/proc/loadavg: 1.15 1.32 2.36 13/320 160212
/proc/meminfo: memFree=40499740/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=18930384 memory=84980 CPUtime=1.1 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 8107 0 0 0 103 7 0 0 20 0 18 0 236743214 19384713216 21245 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4732596 21245 5448 1 0 548783 0
[pid=160143/tid=160154] ppid=160128 vsize=18930384 memory=27136 CPUtime=0.56 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 5337 0 0 0 51 5 0 0 20 0 18 0 236743218 19384713216 21245 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=18930384 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 236743223 19384713216 21245 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 236743224 19384713216 21245 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 84980 KiB

[startup+1.50031 s]
/proc/loadavg: 1.15 1.32 2.36 11/324 160216
/proc/meminfo: memFree=40377328/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=18996948 memory=124516 CPUtime=2.68 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 17395 0 0 0 257 11 0 0 20 0 19 0 236743214 19452874752 31129 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4749237 31129 5448 1 0 552158 0
[pid=160143/tid=160154] ppid=160128 vsize=18996948 memory=3200 CPUtime=1.27 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 5801 0 0 0 121 6 0 0 20 0 19 0 236743218 19452874752 31129 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 236743223 19452874752 31129 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 236743224 19452874752 31129 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=18996948 memory=14720 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 236743287 19452874752 31129 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 124516 KiB

[startup+3.1059 s]
/proc/loadavg: 1.78 1.44 2.39 10/328 160220
/proc/meminfo: memFree=40010076/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=181276 CPUtime=5.84 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 19931 0 0 0 569 15 0 0 20 0 20 0 236743214 19521036288 45319 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 45319 5480 1 0 552539 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=14720 CPUtime=2.79 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 6204 0 0 0 270 9 0 0 20 0 20 0 236743218 19521036288 45319 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 45319 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 45319 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 45319 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181276 KiB

[startup+6.30036 s]
/proc/loadavg: 1.78 1.44 2.39 9/328 160220
/proc/meminfo: memFree=39665216/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=231032 CPUtime=9.92 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 25536 0 0 0 972 20 0 0 20 0 20 0 236743214 19521036288 57758 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 57758 5480 1 0 555338 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=0 CPUtime=5.72 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 6753 0 0 0 561 11 0 0 20 0 20 0 236743218 19521036288 57758 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 57758 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 57758 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=130660 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 57758 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 231032 KiB

[startup+12.7004 s]
/proc/loadavg: 2.19 1.54 2.42 7/328 160220
/proc/meminfo: memFree=38449068/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=534268 CPUtime=16.83 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 30582 0 0 0 1652 31 0 0 20 0 20 0 236743214 19521036288 133567 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 133567 5480 1 0 969220 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=130660 CPUtime=11.78 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 7421 0 0 0 1160 18 0 0 20 0 20 0 236743218 19521036288 133567 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=490200 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 133567 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 133567 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 133567 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 16.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 534268 KiB

[startup+25.5004 s]
/proc/loadavg: 2.47 1.63 2.43 8/328 160220
/proc/meminfo: memFree=36430188/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=855196 CPUtime=29.92 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 33812 0 0 0 2947 45 0 0 20 0 20 0 236743214 19521036288 213799 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 213799 5512 1 0 969220 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=490200 CPUtime=24.21 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 8490 0 0 0 2395 26 0 0 20 0 20 0 236743218 19521036288 213799 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 213799 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=736380 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 213799 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 213799 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 855196 KiB

[startup+51.1131 s]
/proc/loadavg: 3.13 1.85 2.49 7/327 160220
/proc/meminfo: memFree=32907192/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=1658420 CPUtime=55.78 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 38865 0 0 0 5507 71 0 0 20 0 20 0 236743214 19521036288 414605 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 414605 5512 1 0 1192740 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=1432992 CPUtime=49.41 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 9908 0 0 0 4893 48 0 0 20 0 20 0 236743218 19521036288 414605 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 414605 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=27136 CPUtime=0 cores=5,7

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

Current children cumulated memory: 4729740 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.12 7/327 160390
/proc/meminfo: memFree=3169672/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=4729740 CPUtime=3296.7 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 200352 0 0 0 328574 1096 0 0 20 0 20 0 236743214 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 1182435 5512 1 0 1198613 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=14720 CPUtime=3252.79 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 102178 0 0 0 324437 842 0 0 20 0 20 0 236743218 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=4729740 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 2927 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=4729740 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 3296.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4729740 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.21 4.13 7/326 160392
/proc/meminfo: memFree=3819588/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=4729740 CPUtime=3356.56 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 202503 0 0 0 334545 1111 0 0 20 0 20 0 236743214 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 1182435 5512 1 0 1198613 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=4729740 CPUtime=3312.6 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 104296 0 0 0 330405 855 0 0 20 0 20 0 236743218 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=4729740 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=4729740 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 2927 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=4729740 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 1182435 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 3356.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4729740 KiB

[startup+3402.3 s]
/proc/loadavg: 4.92 4.40 4.20 7/326 160394
/proc/meminfo: memFree=5492604/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=3231012 CPUtime=3417.14 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 211167 0 0 0 340586 1128 0 0 20 0 20 0 236743214 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 807753 5512 1 0 822773 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=4729740 CPUtime=3371.96 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 109088 0 0 0 336329 867 0 0 20 0 20 0 236743218 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 2962 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=3228980 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 3417.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3231012 KiB

[startup+3462.3 s]
/proc/loadavg: 5.99 4.79 4.35 7/326 160396
/proc/meminfo: memFree=5129180/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=3231012 CPUtime=3477.06 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 211674 0 0 0 346561 1145 0 0 20 0 20 0 236743214 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 807753 5512 1 0 822773 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=4729740 CPUtime=3431.72 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 109454 0 0 0 342292 880 0 0 20 0 20 0 236743218 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 3024 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 807753 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 3477.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3231012 KiB

[startup+3522.3 s]
/proc/loadavg: 5.16 4.80 4.38 7/327 160405
/proc/meminfo: memFree=6160140/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=2041412 CPUtime=3537.86 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 222571 0 0 0 352622 1164 0 0 20 0 20 0 236743214 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 510353 5512 1 0 525379 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=14720 CPUtime=3491.13 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 117487 0 0 0 348218 895 0 0 20 0 20 0 236743218 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=4481 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 3025 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 3537.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2041412 KiB

[startup+3582.3 s]
/proc/loadavg: 4.58 4.70 4.37 6/326 160474
/proc/meminfo: memFree=21813264/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=2041412 CPUtime=3597.81 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 224436 0 0 0 358596 1185 0 0 20 0 20 0 236743214 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 510353 5512 1 0 525379 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=2041412 CPUtime=3550.57 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 118228 0 0 0 354146 911 0 0 20 0 20 0 236743218 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=2041412 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=2041412 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 3119 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 3597.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2041412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3584.5 s]
/proc/loadavg: 4.54 4.69 4.37 4/303 160485
/proc/meminfo: memFree=22745588/131382112 swapFree=33009904/33010684
[pid=160143] ppid=160128 vsize=19063512 memory=2041412 CPUtime=3600.01 cores=5,7
/proc/160143/stat : 160143 (java) S 160128 160143 160073 0 -1 4194304 224437 0 0 0 358815 1186 0 0 20 0 20 0 236743214 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
/proc/160143/statm: 4765878 510353 5512 1 0 525379 0
[pid=160143/tid=160154] ppid=160128 vsize=19063512 memory=2041412 CPUtime=3552.76 cores=5,7
/proc/160143/task/160154/stat : 160154 (java) R 160128 160143 160073 0 -1 4194368 118228 0 0 0 354364 912 0 0 20 0 20 0 236743218 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160201] ppid=160128 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/160143/task/160201/stat : 160201 (Finalizer) S 160128 160143 160073 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 236743223 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160212] ppid=160128 vsize=19063512 memory=4729740 CPUtime=0 cores=5,7
/proc/160143/task/160212/stat : 160212 (Common-Cleaner) S 160128 160143 160073 0 -1 4194368 3119 0 0 0 0 0 0 0 20 0 20 0 236743224 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
[pid=160143/tid=160216] ppid=160128 vsize=19063512 memory=4729740 CPUtime=0 cores=5,7
/proc/160143/task/160216/stat : 160216 (Timer-0) S 160128 160143 160073 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 236743287 19521036288 510353 18446744073709551615 94218900312064 94218900315760 140729445629760 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94218900323576 94218900324368 94218925027328 140729445632340 140729445632484 140729445632484 140729445638088 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2041412 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.31 s, system=11.8815 s

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

[startup+3584.81 s]
/proc/loadavg: 4.54 4.69 4.37 4/283 160488
/proc/meminfo: memFree=24767020/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3584.9 s]
/proc/loadavg: 4.54 4.69 4.37 4/283 160488
/proc/meminfo: memFree=24767020/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3584.91
CPU time (s): 3600.2
CPU user time (s): 3588.31
CPU system time (s): 11.8815
CPU usage (%): 100.426
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4729740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.31
system time used= 11.8815
maximum resident set size= 4729740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10887016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110952
involuntary context switches= 8953


# summary of solver processes directly reported to runsolver:
#   pid: 160143
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3588.31
#   total CPU system time (s): 11.8815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0817 second user time and 37.3092 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-22 20:57:23
IDJOB=4541770
IDBENCH=163377
IDSOLVER=3364
FILE ID=nodeC001/4541770-1753210643
RUNJOBID= nodeC001-1753210643-160087
SLURM_JOB_ID= 9687785
Free space on /tmp= 432672 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541770-1753210643/watcher-4541770-1753210643 -o /tmp/evaluation-result-4541770-1753210643/solver-4541770-1753210643 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753210643-160087 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4541770-1753210643 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4541770-1753210643.opb

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

MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=1121280537

nodeC001 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	: 0xb00001f
cpu MHz		: 1197.184
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.112
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.452
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.192
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.115
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.170
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.228
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.162
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        40599596 kB
MemAvailable:   129686732 kB
Buffers:            1668 kB
Cached:         87654884 kB
SwapCached:          132 kB
Active:           954656 kB
Inactive:       86769136 kB
Active(anon):      65660 kB
Inactive(anon):    27560 kB
Active(file):     888996 kB
Inactive(file): 86741576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3596 kB
Writeback:             0 kB
AnonPages:         70596 kB
Mapped:           108064 kB
Shmem:             25976 kB
KReclaimable:    2517692 kB
Slab:            2648352 kB
SReclaimable:    2517692 kB
SUnreclaim:       130660 kB
KernelStack:        3856 kB
PageTables:         2848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     350172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 413176 MiB
End job on nodeC001 at 2025-07-22 21:57:08