Trace number 4446734

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.37 3577.58

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K179.opb
MD5SUM84aa92d361920570c4f42a7fa8308fed
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark73.5881
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21301
Total number of constraints21661
Number of constraints which are clauses21482
Number of constraints which are cardinality constraints (but not clauses)179
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint179
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 180
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.15/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.15/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.15/0.13	c See www.sat4j.org for details.
0.15/0.15	c version CUSTOM.v20240707
0.15/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.15/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.15/0.16	c java.vm.version	22.0.1+8-16
0.15/0.16	c java.vm.vendor	Oracle Corporation
0.15/0.16	c sun.arch.data.model	64
0.15/0.16	c java.version		22.0.1
0.15/0.16	c os.name		Linux
0.15/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.15/0.16	c os.arch		amd64
0.15/0.17	c Free memory 		2115194816
0.15/0.18	c Max memory 		16282288128
0.15/0.18	c Total memory 		2122317824
0.15/0.18	c Number of processors 	2
0.15/0.24	--- Begin Solver configuration ---
0.15/0.24	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.15/0.24	Learn all clauses as in MiniSAT
0.15/0.24	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.15/0.24	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.15/0.24	No reason simplification
0.15/0.24	Glucose 2.1 dynamic restart strategy
0.15/0.24	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.15/0.24	timeout=2147483s
0.15/0.24	DB Simplification allowed=false
0.15/0.24	Listener: none
0.15/0.24	--- End Solver configuration ---
0.33/0.26	c Pseudo Boolean Optimization by upper bound
0.33/0.26	c --- Begin Solver configuration ---
0.33/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.26	c Learn all clauses as in MiniSAT
0.33/0.26	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.26	c No reason simplification
0.33/0.26	c Glucose 2.1 dynamic restart strategy
0.33/0.26	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.33/0.26	c timeout=2147483s
0.33/0.26	c DB Simplification allowed=false
0.33/0.26	c Listener: none
0.33/0.26	c --- End Solver configuration ---
0.33/0.26	c solving HOME/instance-4446734-1721343524.opb
0.33/0.26	c reading problem ... 
0.33/0.26	c  no objective function found
1.21/0.76	c ... done. Wall clock time 0.511s.
1.21/0.78	c declared #vars     21301
1.21/0.78	c #constraints  21661
1.21/0.78	c constraints type 
1.21/0.78	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2314
1.21/0.78	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 179
1.21/0.78	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 19166
1.21/0.78	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
1.21/0.78	c 21661 constraints processed.
3.93/2.60	c cleaning 2481 clauses out of 4994 with flag 21806/5001
5.93/4.06	c cleaning 4197 clauses out of 8508 with flag 53436/11001
8.82/6.11	c cleaning 5633 clauses out of 11305 with flag 94484/18000
11.84/8.40	c cleaning 6798 clauses out of 13665 with flag 137119/26003
14.24/10.88	c cleaning 7890 clauses out of 15861 with flag 189815/35000
16.73/13.36	c cleaning 7908 clauses out of 17968 with flag 241639/45000
19.54/16.15	c cleaning 8801 clauses out of 21061 with flag 297751/56001
22.93/19.52	c cleaning 9475 clauses out of 24258 with flag 358058/68000
26.53/23.16	c cleaning 10407 clauses out of 27783 with flag 423611/81000
30.82/27.46	c cleaning 11101 clauses out of 31373 with flag 494938/95000
35.68/32.28	c cleaning 11799 clauses out of 35269 with flag 569449/110000
40.49/37.02	c cleaning 12792 clauses out of 39468 with flag 651903/126000
46.30/42.74	c cleaning 13484 clauses out of 43674 with flag 738812/143000
52.47/48.84	c cleaning 14427 clauses out of 48190 with flag 831223/161002
59.06/55.31	c cleaning 15316 clauses out of 52761 with flag 928981/180000
66.47/62.22	c cleaning 16063 clauses out of 57444 with flag 1032143/200000
73.75/69.53	c cleaning 16906 clauses out of 62381 with flag 1146244/221001
81.23/76.99	c cleaning 18046 clauses out of 67473 with flag 1260260/243000
89.62/85.25	c cleaning 18862 clauses out of 72431 with flag 1386664/266005
98.63/94.18	c cleaning 19245 clauses out of 77566 with flag 1517432/290002
108.00/103.41	c cleaning 20507 clauses out of 83319 with flag 1652857/315000
117.39/112.76	c cleaning 21315 clauses out of 88810 with flag 1794076/341000
127.69/122.92	c cleaning 22024 clauses out of 94494 with flag 1940808/368000
139.08/134.23	c cleaning 22730 clauses out of 100468 with flag 2092512/396000
150.77/145.83	c cleaning 23805 clauses out of 106736 with flag 2249876/425000
164.97/159.65	c cleaning 24522 clauses out of 112931 with flag 2417903/455000
178.14/172.79	c cleaning 25228 clauses out of 119411 with flag 2592108/486003
191.83/186.33	c cleaning 26042 clauses out of 126179 with flag 2777532/518000
205.99/200.44	c cleaning 27100 clauses out of 133138 with flag 2966410/551001
220.80/215.08	c cleaning 28041 clauses out of 140039 with flag 3166117/585002
237.38/231.51	c cleaning 28774 clauses out of 146998 with flag 3359637/620003
253.69/247.74	c cleaning 29793 clauses out of 154222 with flag 3567976/656001
270.75/264.78	c cleaning 30299 clauses out of 161427 with flag 3778922/693000
289.01/282.98	c cleaning 31281 clauses out of 169123 with flag 3996517/731000
308.82/302.03	c cleaning 32845 clauses out of 176840 with flag 4218919/770000
329.14/322.21	c cleaning 32964 clauses out of 183991 with flag 4452155/810000
349.95/343.01	c cleaning 33956 clauses out of 192023 with flag 4689200/851000
371.37/364.29	c cleaning 34931 clauses out of 200066 with flag 4939560/893000
394.31/387.02	c cleaning 35715 clauses out of 208130 with flag 5200560/936000
417.03/409.67	c cleaning 36395 clauses out of 216414 with flag 5461884/980002
440.79/433.30	c cleaning 37715 clauses out of 225012 with flag 5726671/1025000
467.06/458.72	c cleaning 38253 clauses out of 233296 with flag 5997617/1071000
494.10/485.64	c cleaning 38909 clauses out of 242041 with flag 6273852/1118000
521.54/512.99	c cleaning 40404 clauses out of 251140 with flag 6560164/1166009
550.16/541.49	c cleaning 40883 clauses out of 259728 with flag 6861985/1215002
580.08/571.29	c cleaning 41692 clauses out of 268845 with flag 7163983/1265003
610.29/601.38	c cleaning 42682 clauses out of 278150 with flag 7480704/1316000
641.75/632.69	c cleaning 43685 clauses out of 287467 with flag 7808029/1368000
675.26/665.92	c cleaning 44857 clauses out of 296778 with flag 8137539/1421000
708.14/698.75	c cleaning 45843 clauses out of 305923 with flag 8480548/1475003
744.57/734.20	c cleaning 46407 clauses out of 315078 with flag 8829765/1530001
781.94/771.81	c cleaning 47177 clauses out of 324671 with flag 9183503/1586001
819.02/809.09	c cleaning 48305 clauses out of 334493 with flag 9547662/1643000
856.85/846.84	c cleaning 49374 clauses out of 344188 with flag 9910107/1701001
895.21/885.35	c cleaning 50590 clauses out of 353811 with flag 10288336/1760000
935.35/925.43	c cleaning 51405 clauses out of 363221 with flag 10676056/1820002
979.38/969.36	c cleaning 52012 clauses out of 372814 with flag 11066156/1881002
1023.47/1013.20	c cleaning 53044 clauses out of 382796 with flag 11475560/1943001
1068.04/1057.60	c cleaning 54128 clauses out of 392750 with flag 11883519/2006001
1116.36/1105.90	c cleaning 54731 clauses out of 402622 with flag 12301237/2070001
1165.02/1154.57	c cleaning 55929 clauses out of 412889 with flag 12738724/2135000
1214.85/1204.12	c cleaning 56488 clauses out of 422959 with flag 13173521/2201000
1268.00/1256.46	c cleaning 57647 clauses out of 433468 with flag 13621143/2268001
1320.24/1308.56	c cleaning 58624 clauses out of 443818 with flag 14081488/2336001
1374.83/1362.73	c cleaning 59318 clauses out of 454192 with flag 14543384/2405000
1429.20/1417.00	c cleaning 60940 clauses out of 464873 with flag 15024277/2475001
1486.78/1474.18	c cleaning 61626 clauses out of 474930 with flag 15496546/2546000
1546.89/1533.82	c cleaning 62243 clauses out of 485303 with flag 15995963/2618000
1607.90/1594.71	c cleaning 63719 clauses out of 496069 with flag 16511234/2691009
1670.10/1656.66	c cleaning 64455 clauses out of 506340 with flag 17025245/2765000
1734.22/1720.47	c cleaning 65484 clauses out of 516886 with flag 17545360/2840001
1799.66/1785.50	c cleaning 66434 clauses out of 527401 with flag 18081438/2916001
1867.17/1853.01	c cleaning 67373 clauses out of 537966 with flag 18630936/2993001
1936.18/1921.64	c cleaning 68195 clauses out of 548591 with flag 19184383/3071000
2007.71/1992.80	c cleaning 69456 clauses out of 559395 with flag 19754929/3150000
2084.03/2068.55	c cleaning 70242 clauses out of 569938 with flag 20321383/3230000
2159.05/2143.09	c cleaning 71285 clauses out of 580696 with flag 20902272/3311000
2237.40/2221.14	c cleaning 72400 clauses out of 591412 with flag 21492589/3393004
2315.62/2299.01	c cleaning 73352 clauses out of 602006 with flag 22097712/3476000
2397.74/2380.70	c cleaning 74236 clauses out of 612656 with flag 22700762/3560002
2480.16/2462.90	c cleaning 75440 clauses out of 623419 with flag 23316518/3645001
2567.17/2549.47	c cleaning 76010 clauses out of 633977 with flag 23958898/3731000
2654.33/2636.43	c cleaning 77019 clauses out of 644967 with flag 24604003/3818000
2744.67/2726.35	c cleaning 78250 clauses out of 655948 with flag 25270729/3906000
2835.53/2817.08	c cleaning 79108 clauses out of 666697 with flag 25921326/3995000
2930.73/2911.89	c cleaning 79916 clauses out of 677589 with flag 26589283/4085000
3027.32/3008.00	c cleaning 81195 clauses out of 688673 with flag 27273360/4176000
3123.99/3104.49	c cleaning 82273 clauses out of 699476 with flag 27966607/4268000
3224.67/3204.61	c cleaning 83340 clauses out of 710203 with flag 28677640/4361000
3328.14/3307.61	c cleaning 84655 clauses out of 720863 with flag 29367580/4455000
3434.55/3412.56	c cleaning 85178 clauses out of 731208 with flag 30082252/4550000
3541.00/3518.78	c cleaning 86075 clauses out of 742028 with flag 30820437/4646000
3600.07/3577.42	c timeout
3600.07/3577.42	c starts		: 27880
3600.07/3577.43	c conflicts		: 4705828
3600.07/3577.43	c decisions		: 191263469
3600.07/3577.43	c propagations		: 4828760656
3600.07/3577.43	c inspects		: 22396100354
3600.07/3577.43	c shortcuts		: 0
3600.07/3577.43	c learnt literals	: 149
3600.07/3577.44	c learnt binary clauses	: 278247
3600.07/3577.44	c learnt ternary clauses	: 239280
3600.07/3577.44	c learnt constraints	: 4705679
3600.07/3577.44	c ignored constraints	: 0
3600.07/3577.44	c root simplifications	: 0
3600.07/3577.44	c removed literals (reason simplification)	: 0
3600.07/3577.44	c reason swapping (by a shorter reason)	: 0
3600.07/3577.44	c Calls to reduceDB	: 92
3600.07/3577.44	c Number of update (reduction) of LBD	: 3224870
3600.07/3577.44	c Imported unit clauses	: 0
3600.07/3577.44	c No decision after first conflict	: false
3600.07/3577.44	c number of reductions to clauses (during analyze)	: 0
3600.07/3577.44	c number of learned constraints concerned by reduction	: 0
3600.07/3577.44	c number of learning phase by resolution	: 0
3600.07/3577.44	c number of learning phase by cutting planes	: 0
3600.07/3577.44	c number of rounding to 1 operations	: 0
3600.07/3577.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3577.44	c number of reductions of the coefficients by power 2 	: 0
3600.07/3577.44	c number of right shift for reduction by power 2 	: 0
3600.07/3577.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3577.44	c number of ending skipping 	: 0
3600.07/3577.44	c number of internal skipping 	: 0
3600.07/3577.44	c number of derivation steps 	: 0
3600.07/3577.44	c number of skipped derivation steps 	: 0
3600.07/3577.44	c number of remaining unassigned 	: 0
3600.07/3577.44	c number of remaining assigned 	: 0
3600.07/3577.44	c number of falsified literals weakened from reason	: 0
3600.07/3577.44	c number of falsified literals weakened from conflict	: 0
3600.07/3577.44	c time for arithmetic operations	: 0
3600.07/3577.44	c minimum degree of deleted constraints	: null
3600.07/3577.44	c maximum degree of deleted constraints	: null
3600.07/3577.44	c number of deleted constraints	: 0
3600.07/3577.44	c speed (assignments/second)	: 1350079.1679364769
3600.07/3577.44	c non guided choices	: 72427
3600.27/3577.55	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 437533
3600.27/3577.55	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 278247
3600.27/3577.55	s UNKNOWN
3600.27/3577.55	c Total wall clock time (in seconds): 3577.3

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446734-1721343524/watcher-4446734-1721343524 -o /tmp/evaluation-result-4446734-1721343524/solver-4446734-1721343524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973412 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446734-1721343524.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
solver pid=975981, runsolver pid=975978
Current StackSize limit: 8192 KiB


[startup+0.101774 s]*
/proc/loadavg: 4.29 4.21 4.17 7/295 976017
/proc/meminfo: memFree=112944264/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=18975048 memory=56152 CPUtime=0.15 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 6586 0 0 0 12 3 0 0 20 0 18 0 186508261 19430449152 14038 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4743762 14038 5619 1 0 550912 0
[pid=975981/tid=975983] ppid=975978 vsize=18975048 memory=4026532157 CPUtime=0.09 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 5524 0 0 0 7 2 0 0 20 0 18 0 186508261 19430449152 14038 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=18975048 memory=215671374179 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186508267 19430449152 14038 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=18975048 memory=15816703237975355 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186508268 19430449152 14082 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56152 KiB

[startup+0.226774 s]*
/proc/loadavg: 4.29 4.21 4.17 7/314 976043
/proc/meminfo: memFree=112903576/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=18975048 memory=63096 CPUtime=0.33 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 7286 0 0 0 29 4 0 0 20 0 18 0 186508261 19430449152 15774 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4743762 15774 5635 1 0 551458 0
[pid=975981/tid=975983] ppid=975978 vsize=18975048 memory=4782652875487838339 CPUtime=0.22 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 5874 0 0 0 19 3 0 0 20 0 18 0 186508261 19430449152 16034 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=18975048 memory=3718 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186508267 19430449152 16034 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186508268 19430449152 16034 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63096 KiB

[startup+0.33068 s]*
/proc/loadavg: 4.29 4.21 4.17 9/316 976045
/proc/meminfo: memFree=112886728/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=18975048 memory=68556 CPUtime=0.52 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 7472 0 0 0 48 4 0 0 20 0 18 0 186508261 19430449152 17139 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4743762 17139 5783 1 0 551569 0
[pid=975981/tid=975983] ppid=975978 vsize=18975048 memory=-8888815277598614204 CPUtime=0.28 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 1077936192 5910 0 0 0 25 3 0 0 20 0 18 0 186508261 19430449152 17139 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186508267 19430449152 17139 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186508268 19430449152 17139 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68556 KiB

[startup+0.700761 s]
/proc/loadavg: 4.58 4.27 4.19 9/316 976045
/proc/meminfo: memFree=112832924/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=18975048 memory=155612 CPUtime=1.21 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 9191 0 0 0 115 6 0 0 20 0 18 0 186508261 19430449152 38903 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4743762 38903 5852 1 0 552684 0
[pid=975981/tid=975983] ppid=975978 vsize=18975048 memory=45680 CPUtime=0.63 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 5972 0 0 0 59 4 0 0 20 0 18 0 186508261 19430449152 38903 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=18975048 memory=12320 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186508267 19430449152 38903 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=18975048 memory=2164 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 186508268 19430449152 38903 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 155612 KiB

[startup+1.50028 s]
/proc/loadavg: 4.58 4.27 4.19 10/321 976052
/proc/meminfo: memFree=112662664/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=172168 CPUtime=2.75 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 13574 0 0 0 268 7 0 0 20 0 20 0 186508261 19566772224 43042 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 43042 5868 1 0 554021 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=12320 CPUtime=1.36 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 6219 0 0 0 132 4 0 0 20 0 20 0 186508261 19566772224 43042 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 43042 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 43042 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 43042 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172168 KiB

[startup+3.11677 s]
/proc/loadavg: 4.58 4.27 4.19 5/298 976134
/proc/meminfo: memFree=124511428/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=175136 CPUtime=4.68 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 16647 0 0 0 461 7 0 0 20 0 20 0 186508261 19566772224 43784 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 43784 5868 1 0 554699 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=33 CPUtime=2.97 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 7483 0 0 0 293 4 0 0 20 0 20 0 186508261 19566772224 43784 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 43784 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=12320 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 43784 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 43784 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175136 KiB

[startup+6.31076 s]
/proc/loadavg: 4.62 4.28 4.20 7/320 976186
/proc/meminfo: memFree=124328724/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=179352 CPUtime=9.33 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 24909 0 0 0 924 9 0 0 20 0 20 0 186508261 19566772224 44838 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 44838 5884 1 0 557089 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=33 CPUtime=6.17 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 7702 0 0 0 612 5 0 0 20 0 20 0 186508261 19566772224 44838 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 44838 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=12320 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 44838 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=176044 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 44838 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 9.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179352 KiB

[startup+12.7004 s]
/proc/loadavg: 4.57 4.28 4.19 5/320 976186
/proc/meminfo: memFree=124301152/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=188828 CPUtime=16.14 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 31427 0 0 0 1603 11 0 0 20 0 20 0 186508261 19566772224 47207 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 47207 5884 1 0 558599 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=33 CPUtime=12.48 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 8457 0 0 0 1243 5 0 0 20 0 20 0 186508261 19566772224 47207 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=188828 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 47207 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=12320 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 47207 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 47207 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 16.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188828 KiB

[startup+25.5005 s]
/proc/loadavg: 4.48 4.27 4.19 5/320 976190
/proc/meminfo: memFree=124114972/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=207464 CPUtime=28.92 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 35141 0 0 0 2880 12 0 0 20 0 20 0 186508261 19566772224 51866 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 51866 5893 1 0 558599 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=188828 CPUtime=25.11 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 9906 0 0 0 2506 5 0 0 20 0 20 0 186508261 19566772224 51866 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 51866 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=2491 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 51866 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 51866 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 28.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207464 KiB

[startup+51.1136 s]
/proc/loadavg: 4.42 4.27 4.19 5/320 976194
/proc/meminfo: memFree=123207380/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=431300 CPUtime=54.88 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 42960 0 0 0 5467 21 0 0 20 0 20 0 186508261 19566772224 107825 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 107825 5893 1 0 558599 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=357420 CPUtime=50.13 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 11753 0 0 0 5008 5 0 0 20 0 20 0 186508261 19566772224 107825 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=-8599167635253666492 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 107825 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=201340 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 107825 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0

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

[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.14 5/320 977398
/proc/meminfo: memFree=103229360/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=4999428 CPUtime=3242.34 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 181214 0 0 0 323946 288 0 0 20 0 20 0 186508261 19566772224 1249857 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 1249857 5908 1 0 1519799 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=4610308 CPUtime=3192.13 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 66322 0 0 0 319190 23 0 0 20 0 20 0 186508261 19566772224 1249857 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 1249857 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=4999428 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1459 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 1249857 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=4999428 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 1249857 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3242.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4999428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/320 977408
/proc/meminfo: memFree=102496956/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=5163268 CPUtime=3302.52 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 181728 0 0 0 329956 296 0 0 20 0 20 0 186508261 19566772224 1290817 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 1290817 5908 1 0 1519799 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=5163268 CPUtime=3251.73 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 66735 0 0 0 325149 24 0 0 20 0 20 0 186508261 19566772224 1290817 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 1290817 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=5163268 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1459 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 1290817 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=5163268 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 1290817 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3302.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5163268 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/320 977418
/proc/meminfo: memFree=101695856/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=5599884 CPUtime=3363.1 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 182584 0 0 0 336002 308 0 0 20 0 20 0 186508261 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 1399971 5908 1 0 1519799 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=12720 CPUtime=3310.96 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 67196 0 0 0 331072 24 0 0 20 0 20 0 186508261 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=45680 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1459 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3363.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5599884 KiB

[startup+3402.3 s]
/proc/loadavg: 4.86 4.34 4.21 5/319 977811
/proc/meminfo: memFree=101075512/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=5599884 CPUtime=3423 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 182984 0 0 0 341989 311 0 0 20 0 20 0 186508261 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 1399971 5908 1 0 1519799 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=5599884 CPUtime=3370.81 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 67591 0 0 0 337057 24 0 0 20 0 20 0 186508261 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=5599884 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=5599884 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1459 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=-8599167635253666492 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 1399971 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3423 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5599884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.58 4.38 4.23 5/319 977822
/proc/meminfo: memFree=99947164/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=6119264 CPUtime=3484.27 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 195433 0 0 0 348102 325 0 0 20 0 20 0 186508261 19566772224 1529816 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 1529816 5908 1 0 1952563 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=12720 CPUtime=3430.29 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 70694 0 0 0 342999 30 0 0 20 0 20 0 186508261 19566772224 1529816 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 1529816 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=6033248 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1460 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 1529816 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=6078304 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 1529816 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3484.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6119264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.34 4.22 5/319 977832
/proc/meminfo: memFree=99187540/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=6248636 CPUtime=3544.6 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 199842 0 0 0 354129 331 0 0 20 0 20 0 186508261 19566772224 1562159 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 1562159 5908 1 0 1952563 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=45680 CPUtime=3489.78 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 71955 0 0 0 348947 31 0 0 20 0 20 0 186508261 19566772224 1562159 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=12320 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 1562159 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=45680 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1506 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 1562159 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=16164 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 1562159 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3544.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6248636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3577.4 s]
/proc/loadavg: 4.34 4.34 4.23 5/320 978011
/proc/meminfo: memFree=98469388/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19108176 memory=6297820 CPUtime=3600.07 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 201780 0 0 0 359673 334 0 0 20 0 20 0 186508261 19566772224 1574455 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4777044 1574455 5908 1 0 1952563 0
[pid=975981/tid=975983] ppid=975978 vsize=19108176 memory=19428 CPUtime=3544.44 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) R 975978 975981 973401 0 -1 4194368 72981 0 0 0 354413 31 0 0 20 0 20 0 186508261 19566772224 1574455 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19108176 memory=108 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186508267 19566772224 1574455 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19108176 memory=-8599167635253666492 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1522 0 0 0 0 0 0 0 20 0 20 0 186508268 19566772224 1574455 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976047] ppid=975978 vsize=19108176 memory=3572 CPUtime=0 cores=4,6
/proc/975981/task/976047/stat : 976047 (Timer-0) S 975978 975981 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186508339 19566772224 1574455 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6297820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597 s, system=3.37 s

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

[startup+3577.51 s]
/proc/loadavg: 4.34 4.34 4.23 5/320 978011
/proc/meminfo: memFree=98469388/131655788 swapFree=131071996/131071996
[pid=975981] ppid=975978 vsize=19307868 memory=6298564 CPUtime=3600.27 cores=4,6
/proc/975981/stat : 975981 (java) S 975978 975981 973401 0 -1 1077936128 204335 0 0 0 359693 334 0 0 20 0 21 0 186508261 19771256832 1574641 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
/proc/975981/statm: 4826967 1574641 5907 1 0 1953466 0
[pid=975981/tid=975983] ppid=975978 vsize=19307868 memory=45680 CPUtime=3544.46 cores=4,6
/proc/975981/task/975983/stat : 975983 (java) S 975978 975981 973401 0 -1 1077936192 73080 0 0 0 354415 31 0 0 20 0 21 0 186508261 19771256832 1574641 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976005] ppid=975978 vsize=19307868 memory=6297820 CPUtime=0 cores=4,6
/proc/975981/task/976005/stat : 976005 (Finalizer) S 975978 975981 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 186508267 19771256832 1574641 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
[pid=975981/tid=976013] ppid=975978 vsize=19307868 memory=12720 CPUtime=0 cores=4,6
/proc/975981/task/976013/stat : 976013 (Common-Cleaner) S 975978 975981 973401 0 -1 1077936192 1522 0 0 0 0 0 0 0 20 0 21 0 186508268 19771256832 1574641 134679101440 94265346150400 94265346154096 140730955601552 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94265346161912 94265346162704 94265364017152 140730955609094 140730955609184 140730955609184 140730955616200 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6298564 KiB

Child status: 143

Real time (s): 3577.58
CPU time (s): 3600.37
CPU user time (s): 3597
CPU system time (s): 3.37
CPU usage (%): 100.637
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6298564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597
system time used= 3.37
maximum resident set size= 6299504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109773
involuntary context switches= 6544


# summary of solver processes directly reported to runsolver:
#   pid: 975981
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3597
#   total CPU system time (s): 3.37

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.299 second user time and 36.6574 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-19 00:58:57
IDJOB=4446734
IDBENCH=158301
IDSOLVER=3058
FILE ID=nodeC004/4446734-1721343524
RUNJOBID= nodeC004-1721339958-973412
SLURM_JOB_ID= 7542718
Free space on /tmp= 723772 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446734-1721343524/watcher-4446734-1721343524 -o /tmp/evaluation-result-4446734-1721343524/solver-4446734-1721343524 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973412 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446734-1721343524.opb

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

MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed
RANDOM SEED=870653055

nodeC004.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		: 3602.515
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	: 6984.29
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		: 3575.983
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.37
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.444
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	: 6984.29
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.336
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.37
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		: 1795.978
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	: 6984.29
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		: 3492.577
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.37
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.310
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	: 6984.29
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.324
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112975972 kB
MemAvailable:   117846116 kB
Buffers:          521616 kB
Cached:          5130672 kB
SwapCached:            0 kB
Active:          1067440 kB
Inactive:       16913052 kB
Active(anon):       3360 kB
Inactive(anon): 12362252 kB
Active(file):    1064080 kB
Inactive(file):  4550800 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2156 kB
Writeback:             0 kB
AnonPages:      12327572 kB
Mapped:           126668 kB
Shmem:             37700 kB
KReclaimable:     190928 kB
Slab:             305212 kB
SReclaimable:     190928 kB
SUnreclaim:       114284 kB
KernelStack:        4460 kB
PageTables:        33728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16369732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58752 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12132352 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:      242504 kB
DirectMap2M:    29022208 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC004 at 2024-07-19 01:58:34