Trace number 4545435

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.16 3594.33

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb
MD5SUM533dc96f2f67a4db8413c4c2a7be8312
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 benchmark19.0046
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables53041
Total number of constraints39169
Number of constraints which are clauses12241
Number of constraints which are cardinality constraints (but not clauses)1968
Number of constraints which are nor clauses,nor cardinality constraints24960
Minimum length of a constraint1
Maximum length of a constraint53
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 47
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1191
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	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-4545435-1753239064.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
1.26/0.73	c ... done. Wall clock time 0.587s.
1.26/0.73	c declared #vars     53041
1.26/0.73	c #constraints  41089
1.26/0.73	c constraints type 
1.26/0.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11520
1.26/0.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1968
1.26/0.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 25920
1.26/0.73	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
1.26/0.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1680
1.26/0.73	c 41089 constraints processed.
5.66/4.12	c cleaning 2442 clauses out of 5000 with flag 38136/5000
8.84/7.10	c cleaning 4200 clauses out of 8558 with flag 102809/11000
12.43/10.66	c cleaning 5559 clauses out of 11358 with flag 203127/18000
16.73/14.98	c cleaning 6756 clauses out of 13799 with flag 341389/26000
21.92/20.19	c cleaning 7881 clauses out of 16043 with flag 536439/35000
28.32/26.55	c cleaning 8904 clauses out of 18162 with flag 794340/45000
35.51/33.78	c cleaning 9951 clauses out of 20258 with flag 1123194/56000
43.69/41.95	c cleaning 10994 clauses out of 22307 with flag 1491644/68000
53.46/51.76	c cleaning 11848 clauses out of 24313 with flag 1980592/81000
64.35/62.60	c cleaning 13009 clauses out of 26465 with flag 2548662/95000
76.31/74.53	c cleaning 13928 clauses out of 28456 with flag 3202627/110000
89.14/87.34	c cleaning 15066 clauses out of 30528 with flag 3929716/126000
105.29/103.30	c cleaning 15809 clauses out of 32462 with flag 4813705/143000
122.03/119.98	c cleaning 16944 clauses out of 34653 with flag 5744115/161000
142.19/140.11	c cleaning 17960 clauses out of 36709 with flag 6861646/180000
162.94/160.90	c cleaning 19043 clauses out of 38749 with flag 8028782/200000
187.09/185.11	c cleaning 20028 clauses out of 40707 with flag 9272932/221001
211.82/209.95	c cleaning 20936 clauses out of 42679 with flag 10506797/243001
237.49/235.63	c cleaning 21908 clauses out of 44743 with flag 11699960/266001
262.63/260.80	c cleaning 23032 clauses out of 46834 with flag 12866575/290000
288.56/286.82	c cleaning 24254 clauses out of 48804 with flag 14038581/315002
315.69/314.05	c cleaning 24873 clauses out of 50548 with flag 15072349/341000
341.91/340.37	c cleaning 26282 clauses out of 52675 with flag 16002452/368000
352.18/350.67	c cleaning 26991 clauses out of 54393 with flag 16407074/396000
363.45/361.95	c cleaning 28058 clauses out of 56403 with flag 16893398/425001
373.82/372.37	c cleaning 29050 clauses out of 58344 with flag 17377093/455000
384.09/382.63	c cleaning 30136 clauses out of 60299 with flag 17813469/486005
400.05/398.60	c cleaning 31031 clauses out of 62158 with flag 18342053/518000
418.09/416.75	c cleaning 32018 clauses out of 64130 with flag 18922959/551003
448.51/447.27	c cleaning 33056 clauses out of 66112 with flag 19576637/585003
462.07/460.80	c cleaning 33987 clauses out of 68055 with flag 20128202/620002
475.41/474.00	c cleaning 35021 clauses out of 70066 with flag 20630328/656000
491.56/490.01	c cleaning 36007 clauses out of 72048 with flag 21182027/693003
508.55/506.91	c cleaning 36969 clauses out of 74038 with flag 21691603/731000
523.07/521.32	c cleaning 38035 clauses out of 76073 with flag 22207328/770004
541.26/539.57	c cleaning 39017 clauses out of 78036 with flag 22764765/810002
561.08/559.15	c cleaning 39977 clauses out of 80019 with flag 23381858/851002
583.37/581.30	c cleaning 40995 clauses out of 82040 with flag 23983498/893000
600.76/598.63	c cleaning 42018 clauses out of 84045 with flag 24597592/936000
622.61/620.31	c cleaning 43011 clauses out of 86030 with flag 25254732/980003
643.30/641.06	c cleaning 44006 clauses out of 88017 with flag 25940894/1025001
663.59/661.28	c cleaning 44997 clauses out of 90010 with flag 26619848/1071000
683.94/681.27	c cleaning 46000 clauses out of 92015 with flag 27323757/1118002
715.30/712.43	c cleaning 47003 clauses out of 94016 with flag 28167971/1166003
741.59/738.53	c cleaning 47980 clauses out of 96010 with flag 28971304/1215000
766.08/763.06	c cleaning 49002 clauses out of 98030 with flag 29757930/1265000
797.48/794.56	c cleaning 50001 clauses out of 100029 with flag 30587862/1316001
827.29/824.19	c cleaning 51009 clauses out of 102027 with flag 31477166/1368000
859.72/856.67	c cleaning 52003 clauses out of 104020 with flag 32420744/1421002
894.87/891.44	c cleaning 52999 clauses out of 106016 with flag 33426901/1475001
933.88/930.14	c cleaning 54003 clauses out of 108020 with flag 34518804/1530004
978.89/975.07	c cleaning 54998 clauses out of 110014 with flag 35625139/1586001
1024.42/1020.49	c cleaning 56005 clauses out of 112019 with flag 36815278/1643004
1056.30/1052.32	c cleaning 56983 clauses out of 114011 with flag 37889901/1701001
1089.51/1085.09	c cleaning 58004 clauses out of 116030 with flag 38898728/1760003
1124.50/1120.21	c cleaning 59007 clauses out of 118023 with flag 39940240/1820000
1158.08/1153.78	c cleaning 59999 clauses out of 120018 with flag 40996890/1881002
1201.70/1197.55	c cleaning 61002 clauses out of 122017 with flag 42181166/1943000
1249.77/1245.56	c cleaning 62002 clauses out of 124015 with flag 43435172/2006000
1302.37/1298.00	c cleaning 63005 clauses out of 126015 with flag 44750581/2070002
1345.60/1341.35	c cleaning 63985 clauses out of 128011 with flag 46073688/2135003
1387.71/1383.35	c cleaning 65007 clauses out of 130026 with flag 47281090/2201003
1434.20/1429.84	c cleaning 66002 clauses out of 132016 with flag 48538607/2268000
1484.12/1479.59	c cleaning 67004 clauses out of 134018 with flag 49881836/2336004
1533.90/1528.87	c cleaning 67995 clauses out of 136010 with flag 51226669/2405000
1587.82/1582.73	c cleaning 69006 clauses out of 138016 with flag 52562096/2475001
1643.38/1638.10	c cleaning 69992 clauses out of 140009 with flag 54005178/2546000
1698.84/1693.49	c cleaning 70999 clauses out of 142025 with flag 55472051/2618008
1750.75/1745.36	c cleaning 72004 clauses out of 144019 with flag 56869012/2691001
1803.33/1797.82	c cleaning 72999 clauses out of 146016 with flag 58306698/2765002
1860.05/1854.79	c cleaning 74008 clauses out of 148017 with flag 59774636/2840002
1917.85/1912.63	c cleaning 75000 clauses out of 150009 with flag 61294723/2916002
1982.18/1976.91	c cleaning 76001 clauses out of 152009 with flag 62911135/2993002
2046.97/2041.64	c cleaning 76973 clauses out of 154007 with flag 64458127/3071001
2116.78/2111.40	c cleaning 78013 clauses out of 156033 with flag 66157763/3150000
2196.06/2190.53	c cleaning 79004 clauses out of 158021 with flag 67892912/3230001
2270.18/2264.61	c cleaning 79999 clauses out of 160017 with flag 69518887/3311001
2352.62/2346.93	c cleaning 81002 clauses out of 162017 with flag 71289605/3393000
2428.21/2422.44	c cleaning 82007 clauses out of 164016 with flag 73059724/3476001
2509.71/2503.78	c cleaning 82996 clauses out of 166009 with flag 74859982/3560001
2590.80/2584.89	c cleaning 84004 clauses out of 168013 with flag 76678444/3645001
2680.00/2674.31	c cleaning 85002 clauses out of 170009 with flag 78539552/3731001
2762.27/2756.46	c cleaning 86004 clauses out of 172011 with flag 80382427/3818005
2850.97/2845.49	c cleaning 86997 clauses out of 174003 with flag 82294913/3906001
2942.00/2936.61	c cleaning 87988 clauses out of 176008 with flag 84198086/3995003
3058.57/3053.27	c cleaning 89005 clauses out of 178017 with flag 86120888/4085000
3182.90/3177.47	c cleaning 89998 clauses out of 180013 with flag 88059021/4176001
3286.91/3281.46	c cleaning 91001 clauses out of 182014 with flag 90112884/4268000
3385.30/3379.75	c cleaning 92009 clauses out of 184017 with flag 92050356/4361004
3502.52/3496.86	c cleaning 92991 clauses out of 186004 with flag 94172962/4455000
3600.01/3594.21	c timeout
3600.01/3594.22	c starts		: 23062
3600.01/3594.22	c conflicts		: 4538646
3600.01/3594.22	c decisions		: 48897179
3600.01/3594.22	c propagations		: 2579340360
3600.01/3594.22	c inspects		: 33616726089
3600.01/3594.22	c shortcuts		: 0
3600.01/3594.22	c learnt literals	: 0
3600.01/3594.22	c learnt binary clauses	: 674
3600.01/3594.22	c learnt ternary clauses	: 862
3600.01/3594.22	c learnt constraints	: 4538646
3600.01/3594.22	c ignored constraints	: 0
3600.01/3594.22	c root simplifications	: 0
3600.01/3594.22	c removed literals (reason simplification)	: 13262885
3600.01/3594.22	c reason swapping (by a shorter reason)	: 0
3600.01/3594.22	c Calls to reduceDB	: 90
3600.01/3594.22	c Number of update (reduction) of LBD	: 3144077
3600.01/3594.22	c Imported unit clauses	: 0
3600.01/3594.22	c No decision after first conflict	: false
3600.01/3594.22	c number of reductions to clauses (during analyze)	: 0
3600.01/3594.22	c number of learned constraints concerned by reduction	: 0
3600.01/3594.22	c number of learning phase by resolution	: 0
3600.01/3594.22	c number of learning phase by cutting planes	: 0
3600.01/3594.22	c number of rounding to 1 operations	: 0
3600.01/3594.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3594.22	c number of reductions of the coefficients by power 2 	: 0
3600.01/3594.22	c number of right shift for reduction by power 2 	: 0
3600.01/3594.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3594.22	c number of ending skipping 	: 0
3600.01/3594.22	c number of internal skipping 	: 0
3600.01/3594.22	c number of derivation steps 	: 0
3600.01/3594.22	c number of skipped derivation steps 	: 0
3600.01/3594.22	c number of remaining unassigned 	: 0
3600.01/3594.22	c number of remaining assigned 	: 0
3600.01/3594.22	c number of falsified literals weakened from reason	: 0
3600.01/3594.22	c number of falsified literals weakened from conflict	: 0
3600.01/3594.22	c time for arithmetic operations	: 0
3600.01/3594.22	c minimum degree of deleted constraints	: null
3600.01/3594.22	c maximum degree of deleted constraints	: null
3600.01/3594.22	c number of deleted constraints	: 0
3600.01/3594.23	c speed (assignments/second)	: 717783.0193667312
3600.01/3594.23	c non guided choices	: 164241
3600.01/3594.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 175985
3600.01/3594.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 674
3600.01/3594.28	s UNKNOWN
3600.01/3594.28	c Total wall clock time (in seconds): 3594.157

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: 63665 MiB (60031 MiB free)
  memory of node 1: 64507 MiB (61880 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545435-1753239064/watcher-4545435-1753239064 -o /tmp/evaluation-result-4545435-1753239064/solver-4545435-1753239064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753232113-171698 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4545435-1753239064.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
solver pid=173099, runsolver pid=173096
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.44 4.45 4.33 5/337 173117
/proc/meminfo: memFree=124826664/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=18930384 memory=57744 CPUtime=0.13 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 6591 0 0 0 11 2 0 0 20 0 18 0 239584287 19384713216 14436 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4732596 14436 5330 1 0 547622 0
[pid=173099/tid=173101] ppid=173096 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 5086 0 0 0 7 1 0 0 20 0 18 0 239584288 19384713216 14436 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239584290 19384713216 14436 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=18930384 memory=59585004324181 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239584291 19384713216 14436 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57744 KiB

[startup+0.20562 s]*
/proc/loadavg: 4.44 4.45 4.33 7/337 173117
/proc/meminfo: memFree=124784760/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=18930384 memory=109152 CPUtime=0.33 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 7060 0 0 0 30 3 0 0 20 0 18 0 239584287 19384713216 27288 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4732596 27288 5426 1 0 547925 0
[pid=173099/tid=173101] ppid=173096 vsize=18930384 memory=4026990876 CPUtime=0.18 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 5324 0 0 0 16 2 0 0 20 0 18 0 239584288 19384713216 27288 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=18930384 memory=18954 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 239584290 19384713216 27288 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=18930384 memory=58485492679654 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 239584291 19384713216 27288 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 109152 KiB

[startup+0.305664 s]*
/proc/loadavg: 4.44 4.45 4.33 6/338 173118
/proc/meminfo: memFree=124722564/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=18996948 memory=158720 CPUtime=0.51 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 8661 0 0 0 47 4 0 0 20 0 19 0 239584287 19452874752 39680 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4749237 39680 5458 1 0 549180 0
[pid=173099/tid=173101] ppid=173096 vsize=18996948 memory=-8742729777571209916 CPUtime=0.25 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 5344 0 0 0 23 2 0 0 20 0 19 0 239584288 19452874752 39680 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239584290 19452874752 39680 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239584291 19452874752 39680 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 158720 KiB

[startup+0.700224 s]
/proc/loadavg: 4.44 4.45 4.33 6/338 173118
/proc/meminfo: memFree=124373524/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=18996948 memory=694552 CPUtime=1.26 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 10243 0 0 0 112 14 0 0 20 0 19 0 239584287 19452874752 173638 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4749237 173638 5458 1 0 1076097 0
[pid=173099/tid=173101] ppid=173096 vsize=18996948 memory=27264 CPUtime=0.58 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 5604 0 0 0 46 12 0 0 20 0 19 0 239584288 19452874752 173638 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 239584290 19452874752 173638 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 239584291 19452874752 173638 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 694552 KiB

[startup+1.50025 s]
/proc/loadavg: 4.44 4.45 4.33 7/339 173119
/proc/meminfo: memFree=124144720/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=724628 CPUtime=2.82 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 16117 0 0 0 267 15 0 0 20 0 20 0 239584287 19521036288 181157 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 181157 5490 1 0 1080549 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=3328 CPUtime=1.35 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 5648 0 0 0 122 13 0 0 20 0 20 0 239584288 19521036288 181157 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 181157 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 181157 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=14676 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 181157 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 724628 KiB

[startup+3.10545 s]
/proc/loadavg: 4.49 4.46 4.33 6/339 173119
/proc/meminfo: memFree=123984788/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=726816 CPUtime=4.66 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 16234 0 0 0 450 16 0 0 20 0 20 0 239584287 19521036288 181704 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 181704 5490 1 0 1080552 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=14676 CPUtime=2.95 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 5724 0 0 0 282 13 0 0 20 0 20 0 239584288 19521036288 181704 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 181704 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 181704 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 181704 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 726816 KiB

[startup+6.30023 s]
/proc/loadavg: 4.49 4.46 4.33 6/340 173120
/proc/meminfo: memFree=123976840/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=735664 CPUtime=8.13 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 23555 0 0 0 797 16 0 0 20 0 20 0 239584287 19521036288 183916 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 183916 5522 1 0 1080604 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=0 CPUtime=6.13 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 7282 0 0 0 600 13 0 0 20 0 20 0 239584288 19521036288 183916 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 183916 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 183916 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=724628 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 183916 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 735664 KiB

[startup+12.7002 s]
/proc/loadavg: 4.49 4.46 4.34 6/340 173120
/proc/meminfo: memFree=123964552/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=745988 CPUtime=14.54 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 25392 0 0 0 1437 17 0 0 20 0 20 0 239584287 19521036288 186497 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 186497 5522 1 0 1080604 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=724628 CPUtime=12.52 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 8125 0 0 0 1239 13 0 0 20 0 20 0 239584288 19521036288 186497 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=743940 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 186497 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 186497 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 186497 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 14.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 745988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.42 4.44 4.33 6/340 173120
/proc/meminfo: memFree=123940056/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=766468 CPUtime=27.31 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 26462 0 0 0 2713 18 0 0 20 0 20 0 239584287 19521036288 191617 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 191617 5522 1 0 1080604 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=0 CPUtime=25.29 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 9013 0 0 0 2515 14 0 0 20 0 20 0 239584288 19521036288 191617 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=14676 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 191617 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=764420 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 191617 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=760324 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 191617 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 27.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 766468 KiB

[startup+51.1055 s]
/proc/loadavg: 4.34 4.42 4.33 6/340 173121
/proc/meminfo: memFree=123722280/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=799236 CPUtime=52.87 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 28503 0 0 0 5269 18 0 0 20 0 20 0 239584287 19521036288 199809 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 199809 5522 1 0 1080604 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=766468 CPUtime=50.82 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 9824 0 0 0 5068 14 0 0 20 0 20 0 239584288 19521036288 199809 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=12800 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 199809 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 199809 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=745988 CPUtime=0 cores=4,6

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

/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1185 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=14676 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3227.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6187716 KiB

[startup+3282.3 s]
/proc/loadavg: 1.24 1.12 1.23 2/266 173643
/proc/meminfo: memFree=122981780/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=6187716 CPUtime=3287.93 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 169938 0 0 0 328578 215 0 0 20 0 20 0 239584287 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 1546929 5522 1 0 2087127 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=6187716 CPUtime=3254.34 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 87165 0 0 0 325354 80 0 0 20 0 20 0 239584288 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=6187716 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=6187716 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1249 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=27264 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1546929 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3287.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6187716 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 1.12 1.22 2/265 173645
/proc/meminfo: memFree=122982380/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=6189792 CPUtime=3347.97 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 172816 0 0 0 334581 216 0 0 20 0 20 0 239584287 19521036288 1547448 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 1547448 5522 1 0 2087127 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=6187716 CPUtime=3313.82 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 89190 0 0 0 331302 80 0 0 20 0 20 0 239584288 19521036288 1547448 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=6187716 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1547448 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1371 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1547448 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=6187716 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1547448 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3347.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6189792 KiB

[startup+3402.3 s]
/proc/loadavg: 1.10 1.11 1.20 2/264 173647
/proc/meminfo: memFree=122978884/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=6191864 CPUtime=3408.01 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 174429 0 0 0 340583 218 0 0 20 0 20 0 239584287 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 1547966 5522 1 0 2087127 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=6187716 CPUtime=3373.46 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 89970 0 0 0 337266 80 0 0 20 0 20 0 239584288 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=6189792 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1371 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=6191864 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3408.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6191864 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.12 1.20 2/264 173649
/proc/meminfo: memFree=122979244/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=6191864 CPUtime=3467.83 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 176237 0 0 0 346564 219 0 0 20 0 20 0 239584287 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 1547966 5522 1 0 2087127 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=6187716 CPUtime=3433.26 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 91740 0 0 0 343245 81 0 0 20 0 20 0 239584288 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=6191864 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=6191864 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1385 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=6191864 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1547966 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3467.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6191864 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.11 1.19 2/263 173651
/proc/meminfo: memFree=122848520/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=6325116 CPUtime=3527.97 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 179425 0 0 0 352573 224 0 0 20 0 20 0 239584287 19521036288 1581279 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 1581279 5522 1 0 2087127 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=6191864 CPUtime=3492.81 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 93807 0 0 0 349200 81 0 0 20 0 20 0 239584288 19521036288 1581279 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=6191864 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1581279 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=6325116 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1581279 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=6325116 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1581279 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3527.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6325116 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.10 1.18 2/263 173653
/proc/meminfo: memFree=122533236/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=6642560 CPUtime=3588.13 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 180820 0 0 0 358583 230 0 0 20 0 20 0 239584287 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 1660640 5522 1 0 2087127 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=14676 CPUtime=3552.39 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 94941 0 0 0 355158 81 0 0 20 0 20 0 239584288 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=6642560 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3588.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6642560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.2 s]
/proc/loadavg: 1.14 1.12 1.18 2/263 173653
/proc/meminfo: memFree=122533236/131249996 swapFree=33010672/33010684
[pid=173099] ppid=173096 vsize=19063512 memory=6642560 CPUtime=3600.01 cores=4,6
/proc/173099/stat : 173099 (java) S 173096 173099 171687 0 -1 4194304 181338 0 0 0 359771 230 0 0 20 0 20 0 239584287 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
/proc/173099/statm: 4765878 1660640 5522 1 0 2087127 0
[pid=173099/tid=173101] ppid=173096 vsize=19063512 memory=215587488049 CPUtime=3564.26 cores=4,6
/proc/173099/task/173101/stat : 173101 (java) R 173096 173099 171687 0 -1 4194368 95331 0 0 0 356345 81 0 0 20 0 20 0 239584288 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173110] ppid=173096 vsize=19063512 memory=54113165640434 CPUtime=0 cores=4,6
/proc/173099/task/173110/stat : 173110 (Finalizer) S 173096 173099 171687 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 239584290 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173117] ppid=173096 vsize=19063512 memory=476099 CPUtime=0 cores=4,6
/proc/173099/task/173117/stat : 173117 (Common-Cleaner) S 173096 173099 171687 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 239584291 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
[pid=173099/tid=173119] ppid=173096 vsize=19063512 memory=54113165640434 CPUtime=0 cores=4,6
/proc/173099/task/173119/stat : 173119 (Timer-0) S 173096 173099 171687 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 239584362 19521036288 1660640 18446744073709551615 94837533835264 94837533838960 140736966982416 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94837533846776 94837533847568 94837548568576 140736966986111 140736966986212 140736966986212 140736966991816 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6642560 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.83 s, system=2.32713 s

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

[startup+3594.31 s]*
/proc/loadavg: 1.14 1.12 1.18 2/245 173656
/proc/meminfo: memFree=124630388/131249996 swapFree=33010672/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): 3594.33
CPU time (s): 3600.16
CPU user time (s): 3597.83
CPU system time (s): 2.32713
CPU usage (%): 100.162
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6642560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.83
system time used= 2.32713
maximum resident set size= 6643456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111131
involuntary context switches= 18160


# summary of solver processes directly reported to runsolver:
#   pid: 173099
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3597.83
#   total CPU system time (s): 2.32713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07806 second user time and 16.1948 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-23 04:51:04
IDJOB=4545435
IDBENCH=180858
IDSOLVER=3363
FILE ID=nodeC024/4545435-1753239064
RUNJOBID= nodeC024-1753232113-171698
SLURM_JOB_ID= 9687842
Free space on /tmp= 433024 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545435-1753239064/watcher-4545435-1753239064 -o /tmp/evaluation-result-4545435-1753239064/solver-4545435-1753239064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753232113-171698 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4545435-1753239064.opb

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

MD5SUM BENCH= 533dc96f2f67a4db8413c4c2a7be8312
RANDOM SEED=1545380194

nodeC024 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.675
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.693
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.36
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		: 3599.873
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.544
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.36
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.692
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.674
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.36
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		: 3600.684
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124838496 kB
MemAvailable:   125419752 kB
Buffers:            2128 kB
Cached:          1343124 kB
SwapCached:            8 kB
Active:          5497320 kB
Inactive:         215860 kB
Active(anon):    4392624 kB
Inactive(anon):     1588 kB
Active(file):    1104696 kB
Inactive(file):   214272 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3188 kB
Writeback:             0 kB
AnonPages:       4368100 kB
Mapped:           128892 kB
Shmem:             26248 kB
KReclaimable:     202652 kB
Slab:             299240 kB
SReclaimable:     202652 kB
SUnreclaim:        96588 kB
KernelStack:        5168 kB
PageTables:        12344 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11314088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4083712 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC024 at 2025-07-23 05:50:58