Trace number 4440437

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.29 3601.49

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
MD5SUM7c2ff02722ff3a09887b085a032d3a00
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark71553.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3216
Total number of constraints3658
Number of constraints which are clauses3210
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 786
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.21/0.34	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.21/0.34	c This is free software under the dual EPL/GNU LGPL licenses.
0.21/0.34	c See www.sat4j.org for details.
0.21/0.36	c version CUSTOM.v20240707
0.21/0.39	c java.runtime.name	OpenJDK Runtime Environment
0.21/0.39	c java.vm.name		OpenJDK 64-Bit Server VM
0.21/0.39	c java.vm.version	22.0.1+8-16
0.21/0.39	c java.vm.vendor	Oracle Corporation
0.21/0.39	c sun.arch.data.model	64
0.21/0.39	c java.version		22.0.1
0.21/0.39	c os.name		Linux
0.21/0.39	c os.version		4.18.0-301.1.el8.x86_64
0.21/0.39	c os.arch		amd64
0.21/0.40	c Free memory 		2113181440
0.21/0.40	c Max memory 		16282288128
0.21/0.40	c Total memory 		2122317824
0.21/0.40	c Number of processors 	2
0.36/0.52	--- Begin Solver configuration ---
0.36/0.52	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.36/0.52	Learn all clauses as in MiniSAT
0.36/0.52	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.36/0.52	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.36/0.52	Expensive reason simplification
0.36/0.52	Glucose 2.1 dynamic restart strategy
0.36/0.52	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.36/0.52	timeout=2147483s
0.36/0.52	DB Simplification allowed=false
0.36/0.52	Listener: none
0.36/0.52	--- End Solver configuration ---
0.36/0.52	c Pseudo Boolean Optimization by upper bound
0.36/0.52	c --- Begin Solver configuration ---
0.36/0.52	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.36/0.52	c Learn all clauses as in MiniSAT
0.36/0.52	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.36/0.52	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.36/0.52	c Expensive reason simplification
0.36/0.52	c Glucose 2.1 dynamic restart strategy
0.36/0.52	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.36/0.52	c timeout=2147483s
0.36/0.52	c DB Simplification allowed=false
0.36/0.52	c Listener: none
0.36/0.52	c --- End Solver configuration ---
0.36/0.52	c solving HOME/instance-4440437-1721820325.opb
0.36/0.52	c reading problem ... 
0.36/0.53	c using VERIPB proof format
0.52/0.53	c  objective function found
1.04/0.80	c ... done. Wall clock time 0.278s.
1.04/0.80	c declared #vars     3216
1.04/0.80	c #constraints  3721
1.04/0.80	c constraints type 
1.04/0.80	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3210
1.04/0.80	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 63
1.04/0.80	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 384
1.04/0.80	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1.04/0.80	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 63
1.04/0.80	c 3721 constraints processed.
1.04/0.83	c objective function length is 6 literals
4.00/2.39	c cleaning 2498 clauses out of 5001 with flag 24540/5001
5.98/3.40	c cleaning 4228 clauses out of 8502 with flag 62973/11000
7.30/4.39	c cleaning 5626 clauses out of 11275 with flag 112348/18001
9.02/5.83	c cleaning 6822 clauses out of 13648 with flag 160385/26000
11.77/8.18	c cleaning 7902 clauses out of 15826 with flag 236296/35000
15.37/11.52	c cleaning 8904 clauses out of 17926 with flag 365413/45002
19.19/15.24	c cleaning 9983 clauses out of 20020 with flag 513832/56000
23.03/18.90	c cleaning 11014 clauses out of 22040 with flag 686199/68003
26.84/22.47	c cleaning 12010 clauses out of 24028 with flag 820222/81005
31.39/26.82	c cleaning 12954 clauses out of 26014 with flag 973794/95001
37.04/32.74	c cleaning 14005 clauses out of 28061 with flag 1122915/110002
43.39/38.92	c cleaning 15021 clauses out of 30055 with flag 1317240/126001
49.10/44.22	c cleaning 16004 clauses out of 32034 with flag 1520497/143001
55.08/49.94	c cleaning 17012 clauses out of 34029 with flag 1691134/161000
61.94/56.43	c cleaning 17987 clauses out of 36017 with flag 1868331/180000
68.58/63.26	c cleaning 19009 clauses out of 38032 with flag 2055960/200002
75.91/70.26	c cleaning 20002 clauses out of 40021 with flag 2261593/221000
84.76/78.71	c cleaning 20992 clauses out of 42019 with flag 2521713/243000
93.81/87.47	c cleaning 21992 clauses out of 44027 with flag 2769209/266000
103.89/98.09	c cleaning 22998 clauses out of 46037 with flag 3019497/290002
113.70/107.71	c cleaning 23995 clauses out of 48039 with flag 3280160/315002
123.71/117.67	c cleaning 25011 clauses out of 50042 with flag 3561761/341000
138.66/132.52	c cleaning 25996 clauses out of 52031 with flag 3855532/368000
151.40/144.91	c cleaning 26991 clauses out of 54037 with flag 4143845/396002
165.09/159.09	c cleaning 28000 clauses out of 56044 with flag 4429702/425000
180.32/173.74	c cleaning 28989 clauses out of 58044 with flag 4734694/455000
195.48/189.11	c cleaning 30012 clauses out of 60055 with flag 5050488/486000
211.58/204.90	c cleaning 31006 clauses out of 62044 with flag 5405722/518001
228.18/221.31	c cleaning 32003 clauses out of 64038 with flag 5766595/551001
247.51/239.43	c cleaning 33001 clauses out of 66035 with flag 6110735/585001
266.28/258.14	c cleaning 33998 clauses out of 68033 with flag 6518351/620000
284.34/275.87	c cleaning 34993 clauses out of 70035 with flag 6898610/656000
305.36/296.70	c cleaning 36008 clauses out of 72042 with flag 7326767/693000
326.85/318.05	c cleaning 37002 clauses out of 74035 with flag 7757556/731001
350.38/341.32	c cleaning 38000 clauses out of 76033 with flag 8186114/770001
374.56/364.85	c cleaning 39007 clauses out of 78033 with flag 8631622/810001
397.68/387.83	c cleaning 40005 clauses out of 80025 with flag 9097175/851000
424.36/414.15	c cleaning 40992 clauses out of 82020 with flag 9664274/893000
448.80/438.46	c cleaning 42006 clauses out of 84030 with flag 10215090/936002
482.43/471.78	c cleaning 42986 clauses out of 86024 with flag 10892817/980002
515.31/522.30	c cleaning 43999 clauses out of 88038 with flag 11508148/1025002
546.23/553.32	c cleaning 44988 clauses out of 90037 with flag 12128872/1071000
578.30/586.47	c cleaning 46012 clauses out of 92050 with flag 12755913/1118001
608.88/617.44	c cleaning 47002 clauses out of 94037 with flag 13325098/1166000
637.56/647.41	c cleaning 48008 clauses out of 96036 with flag 13931944/1215001
664.58/673.96	c cleaning 49003 clauses out of 98027 with flag 14500844/1265000
696.26/704.12	c cleaning 50003 clauses out of 100028 with flag 15115190/1316004
730.47/737.67	c cleaning 50986 clauses out of 102022 with flag 15733147/1368001
772.32/778.97	c cleaning 52007 clauses out of 104035 with flag 16427479/1421000
805.53/812.43	c cleaning 53005 clauses out of 106028 with flag 17126417/1475000
838.04/844.26	c cleaning 54001 clauses out of 108024 with flag 17753558/1530001
875.82/883.03	c cleaning 54998 clauses out of 110022 with flag 18476274/1586000
915.46/922.70	c cleaning 55995 clauses out of 112027 with flag 19208128/1643003
954.43/962.18	c cleaning 56998 clauses out of 114031 with flag 19952599/1701002
1000.82/1009.48	c cleaning 58004 clauses out of 116031 with flag 20702504/1760000
1046.95/1055.42	c cleaning 58998 clauses out of 118027 with flag 21586733/1820000
1091.79/1100.93	c cleaning 60003 clauses out of 120029 with flag 22389926/1881000
1141.55/1152.05	c cleaning 60999 clauses out of 122026 with flag 23151629/1943000
1184.68/1201.26	c cleaning 62000 clauses out of 124027 with flag 23897889/2006000
1227.42/1244.29	c cleaning 63007 clauses out of 126028 with flag 24707969/2070001
1273.93/1290.76	c cleaning 63978 clauses out of 128020 with flag 25486845/2135000
1325.77/1343.67	c cleaning 65007 clauses out of 130043 with flag 26210252/2201001
1377.66/1395.54	c cleaning 66002 clauses out of 132035 with flag 26990516/2268000
1428.57/1446.11	c cleaning 67005 clauses out of 134033 with flag 27778118/2336000
1475.47/1492.35	c cleaning 67999 clauses out of 136028 with flag 28634466/2405000
1530.81/1547.87	c cleaning 69005 clauses out of 138029 with flag 29510379/2475000
1572.76/1589.36	c cleaning 70002 clauses out of 140024 with flag 30359152/2546000
1617.78/1634.09	c cleaning 70991 clauses out of 142022 with flag 31177051/2618000
1666.22/1681.87	c cleaning 72003 clauses out of 144034 with flag 32190324/2691003
1716.99/1732.21	c cleaning 73007 clauses out of 146030 with flag 33157465/2765002
1766.16/1780.96	c cleaning 74001 clauses out of 148021 with flag 34127352/2840000
1831.97/1846.58	c cleaning 74984 clauses out of 150020 with flag 35206831/2916000
1904.28/1917.89	c cleaning 76002 clauses out of 152037 with flag 36320911/2993001
1973.77/1986.72	c cleaning 76985 clauses out of 154035 with flag 37436379/3071001
2051.82/2066.70	c cleaning 78010 clauses out of 156050 with flag 38676307/3150001
2122.63/2135.21	c cleaning 78952 clauses out of 158040 with flag 39813726/3230001
2199.57/2212.83	c cleaning 80025 clauses out of 160088 with flag 40941387/3311001
2265.89/2278.73	c cleaning 81020 clauses out of 162063 with flag 42036200/3393001
2332.35/2344.75	c cleaning 82016 clauses out of 164044 with flag 43157159/3476002
2407.49/2419.25	c cleaning 82990 clauses out of 166028 with flag 44381245/3560002
2492.55/2503.99	c cleaning 83990 clauses out of 168039 with flag 45634187/3645003
2554.96/2565.27	c cleaning 85018 clauses out of 170046 with flag 46866565/3731000
2611.30/2621.11	c cleaning 86004 clauses out of 172029 with flag 48058561/3818001
2671.42/2680.67	c cleaning 87009 clauses out of 174024 with flag 49469254/3906000
2747.11/2755.99	c cleaning 88005 clauses out of 176025 with flag 50948445/3995010
2804.52/2812.94	c cleaning 88998 clauses out of 178015 with flag 52342361/4085005
2871.73/2879.32	c cleaning 89998 clauses out of 180012 with flag 53720445/4176000
2946.22/2952.84	c cleaning 90995 clauses out of 182014 with flag 54940410/4268000
3033.32/3039.67	c cleaning 91981 clauses out of 184021 with flag 56087574/4361002
3130.46/3136.06	c cleaning 93010 clauses out of 186038 with flag 57439260/4455000
3234.29/3239.88	c cleaning 93997 clauses out of 188028 with flag 58907017/4550000
3343.36/3348.06	c cleaning 94990 clauses out of 190031 with flag 60367784/4646000
3436.89/3439.44	c cleaning 95963 clauses out of 192043 with flag 61805415/4743002
3527.50/3529.29	c cleaning 97014 clauses out of 194078 with flag 63167702/4841000
3600.01/3601.33	c timeout
3600.01/3601.33	c starts		: 1277
3600.01/3601.34	c conflicts		: 4918310
3600.01/3601.34	c decisions		: 7261272
3600.01/3601.34	c propagations		: 487047006
3600.01/3601.34	c inspects		: 16758164131
3600.01/3601.34	c shortcuts		: 0
3600.01/3601.34	c learnt literals	: 0
3600.01/3601.34	c learnt binary clauses	: 0
3600.01/3601.34	c learnt ternary clauses	: 0
3600.01/3601.34	c learnt constraints	: 4918310
3600.01/3601.34	c ignored constraints	: 0
3600.01/3601.34	c root simplifications	: 0
3600.01/3601.34	c removed literals (reason simplification)	: 108150971
3600.01/3601.34	c reason swapping (by a shorter reason)	: 0
3600.01/3601.34	c Calls to reduceDB	: 94
3600.01/3601.34	c Number of update (reduction) of LBD	: 2774057
3600.01/3601.34	c Imported unit clauses	: 0
3600.01/3601.34	c No decision after first conflict	: false
3600.01/3601.34	c number of reductions to clauses (during analyze)	: 0
3600.01/3601.34	c number of learned constraints concerned by reduction	: 0
3600.01/3601.34	c number of learning phase by resolution	: 0
3600.01/3601.34	c number of learning phase by cutting planes	: 0
3600.01/3601.34	c number of rounding to 1 operations	: 0
3600.01/3601.34	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3601.34	c number of reductions of the coefficients by power 2 	: 0
3600.01/3601.34	c number of right shift for reduction by power 2 	: 0
3600.01/3601.34	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3601.34	c number of ending skipping 	: 0
3600.01/3601.34	c number of internal skipping 	: 0
3600.01/3601.34	c number of derivation steps 	: 0
3600.01/3601.34	c number of skipped derivation steps 	: 0
3600.01/3601.34	c number of remaining unassigned 	: 0
3600.01/3601.34	c number of remaining assigned 	: 0
3600.01/3601.34	c number of falsified literals weakened from reason	: 0
3600.01/3601.34	c number of falsified literals weakened from conflict	: 0
3600.01/3601.35	c time for arithmetic operations	: 0
3600.01/3601.35	c minimum degree of deleted constraints	: null
3600.01/3601.35	c maximum degree of deleted constraints	: null
3600.01/3601.35	c number of deleted constraints	: 0
3600.01/3601.35	c speed (assignments/second)	: 135271.89693442918
3600.01/3601.35	c non guided choices	: 3777
3600.01/3601.40	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 174374
3600.01/3601.40	s UNKNOWN
3600.01/3601.40	c Total wall clock time (in seconds): 3600.883

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: 64096 MiB (61954 MiB free)
  memory of node 1: 64473 MiB (62401 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440437-1721820325/watcher-4440437-1721820325 -o /tmp/evaluation-result-4440437-1721820325/solver-4440437-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172052 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440437-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440437-1721820325.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=172088, runsolver pid=172085

[startup+0.100067 s]*
/proc/loadavg: 0.11 0.09 0.09 4/245 172111
/proc/meminfo: memFree=127305552/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=18175400 memory=28908 CPUtime=0.03 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 2452 0 73 0 1 2 0 0 20 0 7 0 18021799 18611609600 7227 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16784588 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4543850 7227 3591 1 0 544764 0
[pid=172088/tid=172098] ppid=172085 vsize=18175400 memory=4026531959 CPUtime=0.02 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) D 172085 172088 172041 0 -1 4194368 1908 0 56 0 1 1 0 0 20 0 7 0 18021802 18611609600 7227 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 5 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 28908 KiB

[startup+0.214333 s]*
/proc/loadavg: 0.11 0.09 0.09 2/277 172148
/proc/meminfo: memFree=127202992/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=18575676 memory=46620 CPUtime=0.07 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 5741 0 95 0 3 4 0 0 20 0 13 0 18021799 19021492224 11655 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4643919 11655 4407 1 0 548923 0
[pid=172088/tid=172098] ppid=172085 vsize=18641212 memory=8737651120394928259 CPUtime=0.07 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 5140 0 78 0 3 4 0 0 20 0 13 0 18021802 19088601088 11655 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=18642240 memory=1276314 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 14 0 18021821 19089653760 11656 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172167] ppid=172085 vsize=18642240 memory=15825495069575043 CPUtime=0 cores=4,6
/proc/172088/task/172167/stat : 172167 (java) R 172085 172088 172041 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 14 0 18021822 19089653760 11656 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18575676 KiB
Current children cumulated memory: 46620 KiB

[startup+0.314281 s]*
/proc/loadavg: 0.11 0.09 0.09 11/316 172187
/proc/meminfo: memFree=127164288/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=18975048 memory=55856 CPUtime=0.21 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 6679 0 117 0 16 5 0 0 20 0 18 0 18021799 19430449152 13964 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4743762 13964 5473 1 0 550949 0
[pid=172088/tid=172098] ppid=172085 vsize=18975048 memory=-9032647908366525116 CPUtime=0.14 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 5539 0 88 0 10 4 0 0 20 0 18 0 18021802 19430449152 13964 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=18975048 memory=1469933159215825241 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021821 19430449152 13964 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 18021823 19430449152 13964 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55856 KiB

[startup+0.700847 s]
/proc/loadavg: 0.11 0.09 0.09 17/316 172187
/proc/meminfo: memFree=127124276/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=18975048 memory=77528 CPUtime=0.85 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 7764 0 117 0 78 7 0 0 20 0 18 0 18021799 19430449152 19382 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4743762 19382 5752 1 0 551701 0
[pid=172088/tid=172098] ppid=172085 vsize=18975048 memory=59920 CPUtime=0.47 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 6009 0 88 0 42 5 0 0 20 0 18 0 18021802 19430449152 19382 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=18975048 memory=12620 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18021821 19430449152 19382 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=18975048 memory=5456 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 18021823 19430449152 19382 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77528 KiB

[startup+1.50095 s]
/proc/loadavg: 0.11 0.09 0.09 12/318 172189
/proc/meminfo: memFree=126910192/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=174400 CPUtime=2.41 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 12232 0 118 0 230 11 0 0 20 0 20 0 18021799 19566772224 43600 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 43600 5821 1 0 555177 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=5456 CPUtime=1.18 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 6184 0 89 0 110 8 0 0 20 0 20 0 18021802 19566772224 43600 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 43600 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 43600 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 43600 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174400 KiB

[startup+3.11395 s]
/proc/loadavg: 0.11 0.09 0.09 10/324 172195
/proc/meminfo: memFree=126574288/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=203744 CPUtime=5.6 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 15878 0 118 0 545 15 0 0 20 0 20 0 18021799 19566772224 50936 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 50936 5872 1 0 557175 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=0 CPUtime=2.72 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 6232 0 89 0 262 10 0 0 20 0 20 0 18021802 19566772224 50936 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 50936 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 50936 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=59920 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 50936 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203744 KiB

[startup+6.30096 s]
/proc/loadavg: 0.74 0.22 0.13 7/304 172212
/proc/meminfo: memFree=126147732/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=701836 CPUtime=9.89 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 22938 0 118 0 962 27 0 0 20 0 20 0 18021799 19566772224 175459 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 175459 5893 1 0 663741 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=0 CPUtime=5.65 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 7084 0 89 0 547 18 0 0 20 0 20 0 18021802 19566772224 175459 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 175459 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=279380778047504 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 175459 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 175459 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 701836 KiB

[startup+12.7004 s]
/proc/loadavg: 1.33 0.35 0.18 8/325 172334
/proc/meminfo: memFree=124382372/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=1647992 CPUtime=16.62 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 24034 0 118 0 1608 54 0 0 20 0 20 0 18021799 19566772224 411998 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 411998 5893 1 0 1060634 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=0 CPUtime=11.67 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 7478 0 89 0 1127 40 0 0 20 0 20 0 18021802 19566772224 411998 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=1533304 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 411998 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=279380777500928 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 411998 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=812428 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 411998 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 16.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1647992 KiB

[startup+25.5005 s]
/proc/loadavg: 1.99 0.55 0.24 5/301 172364
/proc/meminfo: memFree=122938688/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=3033752 CPUtime=30.09 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 28331 0 118 0 2913 96 0 0 20 0 20 0 18021799 19566772224 758438 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 758438 5893 1 0 1363518 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=812428 CPUtime=23.67 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 9213 0 89 0 2295 72 0 0 20 0 20 0 18021802 19566772224 758438 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 758438 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 758438 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=-8815068850880815804 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 758438 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 30.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3033752 KiB

[startup+51.114 s]
/proc/loadavg: 2.86 0.87 0.36 5/325 172408
/proc/meminfo: memFree=120594416/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=3765916 CPUtime=56.3 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 38557 0 118 0 5497 133 0 0 20 0 20 0 18021799 19566772224 941479 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 941479 5908 1 0 1363530 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=3421852 CPUtime=47.82 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 11394 0 89 0 4682 100 0 0 20 0 20 0 18021802 19566772224 941479 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 68 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 941479 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 941479 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=3421852 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 941479 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 56.3 s
Current children cumulated vsize: 19108176 KiB

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.11 5/323 173885
/proc/meminfo: memFree=78242128/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=13876036 CPUtime=3277.05 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 546278 0 118 0 325596 2109 0 0 20 0 20 0 18021799 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 3469009 5909 1 0 3484105 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=13876032 CPUtime=3131.64 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 271054 0 89 0 311328 1836 0 0 20 0 20 0 18021802 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7026 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=13876032 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=5456 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4444 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3277.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13876036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.22 4.11 5/324 173896
/proc/meminfo: memFree=77923216/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=13876036 CPUtime=3337.48 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 554102 0 118 0 331614 2134 0 0 20 0 20 0 18021799 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 3469009 5909 1 0 3484105 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=13876036 CPUtime=3190.53 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 276421 0 89 0 317195 1858 0 0 20 0 20 0 18021802 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7037 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=13876036 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=13876036 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4587 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 3469009 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3337.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13876036 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.22 4.12 5/325 173909
/proc/meminfo: memFree=77486384/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=13878084 CPUtime=3398.1 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 562812 0 118 0 337647 2163 0 0 20 0 20 0 18021799 19566772224 3469521 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 3469521 5909 1 0 3484105 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=13876036 CPUtime=3249.34 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 282726 0 89 0 323049 1885 0 0 20 0 20 0 18021802 19566772224 3469521 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7050 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=13876036 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 3469521 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=13878084 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4645 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 3469521 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=59920 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 3469521 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3398.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13878084 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.19 4.11 5/325 173920
/proc/meminfo: memFree=74685504/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=16289672 CPUtime=3459.86 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 593518 0 118 0 343745 2241 0 0 20 0 20 0 18021799 19566772224 4072418 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 4072418 5909 1 0 4088212 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=13876036 CPUtime=3307.96 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 290455 0 89 0 328841 1955 0 0 20 0 20 0 18021802 19566772224 4072418 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7065 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=13876036 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 4072418 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=16273284 CPUtime=0 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4702 0 0 0 0 0 0 0 20 0 20 0 18021823 19566772224 4072418 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=16289672 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 4072418 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3459.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16289672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.18 4.11 5/325 173930
/proc/meminfo: memFree=74262332/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=16293868 CPUtime=3520.46 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 603815 0 118 0 349775 2271 0 0 20 0 20 0 18021799 19566772224 4073467 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 4073467 5909 1 0 4088212 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=16289672 CPUtime=3366.4 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 294339 0 89 0 334661 1979 0 0 20 0 20 0 18021802 19566772224 4073467 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7090 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=16109444 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 4073467 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=16109444 CPUtime=0.01 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4845 0 0 0 0 1 0 0 20 0 20 0 18021823 19566772224 4073467 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=27920 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 4073467 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3520.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16293868 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.10 5/327 174324
/proc/meminfo: memFree=73926308/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=16293872 CPUtime=3580.89 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 609261 0 118 0 355791 2298 0 0 20 0 20 0 18021799 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 4073468 5909 1 0 4088212 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=16293872 CPUtime=3424.38 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 296289 0 89 0 340434 2004 0 0 20 0 20 0 18021802 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7128 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=11536 CPUtime=0.01 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4943 0 0 0 0 1 0 0 20 0 20 0 18021823 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=16293872 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3580.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16293872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/323 174327
/proc/meminfo: memFree=73800184/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19108176 memory=16293872 CPUtime=3600.01 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 613326 0 118 0 357696 2305 0 0 20 0 20 0 18021799 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4777044 4073468 5909 1 0 4088212 0
[pid=172088/tid=172098] ppid=172085 vsize=19108176 memory=0 CPUtime=3442.55 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) R 172085 172088 172041 0 -1 4194368 297517 0 89 0 342246 2009 0 0 20 0 20 0 18021802 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7149 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19108176 memory=1469925497010946393 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19108176 memory=16293872 CPUtime=0.01 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4943 0 0 0 0 1 0 0 20 0 20 0 18021823 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172188] ppid=172085 vsize=19108176 memory=2180 CPUtime=0 cores=4,6
/proc/172088/task/172188/stat : 172188 (Timer-0) S 172085 172088 172041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18021884 19566772224 4073468 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16293872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.15 s, system=23.1439 s

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

[startup+3601.41 s]
/proc/loadavg: 4.27 4.20 4.12 5/323 174327
/proc/meminfo: memFree=73800184/131655788 swapFree=131056320/131071996
[pid=172088] ppid=172085 vsize=19307868 memory=16294512 CPUtime=3600.19 cores=4,6
/proc/172088/stat : 172088 (java) S 172085 172088 172041 0 -1 1077936128 616493 0 118 0 357713 2306 0 0 20 0 20 0 18021799 19771256832 4073628 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 0 0 16800975 0 0 0 17 6 0 0 1 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
/proc/172088/statm: 4826967 4073628 5909 1 0 4089151 0
[pid=172088/tid=172098] ppid=172085 vsize=19307868 memory=1276243 CPUtime=3442.58 cores=4,6
/proc/172088/task/172098/stat : 172098 (java) S 172085 172088 172041 0 -1 1077936192 297959 0 89 0 342249 2009 0 0 20 0 20 0 18021802 19771256832 4073628 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7151 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172152] ppid=172085 vsize=19307868 memory=1275631 CPUtime=0 cores=4,6
/proc/172088/task/172152/stat : 172152 (Finalizer) S 172085 172088 172041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18021821 19771256832 4073628 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
[pid=172088/tid=172176] ppid=172085 vsize=19307868 memory=1459617 CPUtime=0.01 cores=4,6
/proc/172088/task/172176/stat : 172176 (Common-Cleaner) S 172085 172088 172041 0 -1 1077936192 4943 0 0 0 0 1 0 0 20 0 20 0 18021823 19771256832 4073628 134679101440 93901351915520 93901351919216 140722557436480 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901351927032 93901351927824 93901372366848 140722557445035 140722557445217 140722557445217 140722557452232 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16294512 KiB

Child status: 143

Real time (s): 3601.49
CPU time (s): 3600.29
CPU user time (s): 3577.15
CPU system time (s): 23.1439
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16294512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.15
system time used= 23.1439
maximum resident set size= 16295580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616755
page faults= 118
swaps= 0
block input operations= 24192
block output operations= 28998704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126186
involuntary context switches= 10917


# summary of solver processes directly reported to runsolver:
#   pid: 172088
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3577.15
#   total CPU system time (s): 23.1439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5647 second user time and 39.1844 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 13:25:25
IDJOB=4440437
IDBENCH=148772
IDSOLVER=3079
FILE ID=nodeC006/4440437-1721820325
RUNJOBID= nodeC006-1721820325-172052
SLURM_JOB_ID= 7891453
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440437-1721820325/watcher-4440437-1721820325 -o /tmp/evaluation-result-4440437-1721820325/solver-4440437-1721820325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721820325-172052 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440437-1721820325 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440437-1721820325.opb

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

MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1968991675

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.286
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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.162
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
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.766
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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.169
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
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.103
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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.159
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
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.100
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
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.095
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127346012 kB
MemAvailable:   129807520 kB
Buffers:          242112 kB
Cached:          2831592 kB
SwapCached:          240 kB
Active:          1888464 kB
Inactive:        1504588 kB
Active(anon):       1628 kB
Inactive(anon):   362964 kB
Active(file):    1886836 kB
Inactive(file):  1141624 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:              2320 kB
Writeback:             0 kB
AnonPages:        319216 kB
Mapped:            91508 kB
Shmem:             45244 kB
KReclaimable:     494956 kB
Slab:             604232 kB
SReclaimable:     494956 kB
SUnreclaim:       109276 kB
KernelStack:        3632 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     577596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC006 at 2024-07-24 14:25:27