Trace number 4506840

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.21 3595.43

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
MD5SUM416ae2bcad94d751017f8086501bbe46
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 benchmark28.0032
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22372
Total number of constraints22750
Number of constraints which are clauses22562
Number of constraints which are cardinality constraints (but not clauses)188
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint188
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 189
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4506840-1751165852.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  no objective function found
0.70/0.43	c ... done. Wall clock time 0.294s.
0.70/0.43	c declared #vars     22372
0.70/0.43	c #constraints  22750
0.70/0.43	c constraints type 
0.70/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2431
0.70/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 188
0.70/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 20129
0.70/0.43	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.70/0.43	c 22750 constraints processed.
4.02/2.78	c cleaning 2461 clauses out of 4994 with flag 21957/5000
6.98/5.32	c cleaning 4260 clauses out of 8519 with flag 51064/11000
9.69/8.06	c cleaning 5621 clauses out of 11251 with flag 85727/18005
12.98/11.35	c cleaning 6795 clauses out of 13612 with flag 123198/26000
16.78/15.17	c cleaning 7669 clauses out of 15801 with flag 167627/35001
21.06/19.42	c cleaning 7916 clauses out of 18107 with flag 215063/45000
25.90/24.21	c cleaning 8820 clauses out of 21179 with flag 267804/56001
31.09/29.40	c cleaning 9562 clauses out of 24354 with flag 325624/68000
36.48/34.81	c cleaning 10307 clauses out of 27786 with flag 388303/81000
42.65/40.96	c cleaning 11495 clauses out of 31474 with flag 456549/95000
49.53/47.81	c cleaning 11943 clauses out of 34971 with flag 532207/110002
57.11/55.37	c cleaning 12680 clauses out of 39017 with flag 610515/126000
64.82/63.10	c cleaning 13786 clauses out of 43333 with flag 694692/143000
73.67/71.86	c cleaning 14332 clauses out of 47545 with flag 782561/161000
82.95/81.11	c cleaning 15118 clauses out of 52207 with flag 879957/180001
92.60/90.73	c cleaning 16347 clauses out of 57086 with flag 981180/200000
103.05/101.15	c cleaning 16707 clauses out of 61733 with flag 1088951/221000
113.83/111.91	c cleaning 17717 clauses out of 67020 with flag 1205828/243000
125.57/123.68	c cleaning 18470 clauses out of 72297 with flag 1323023/266000
138.12/136.16	c cleaning 19409 clauses out of 77824 with flag 1446735/290000
150.96/148.99	c cleaning 20274 clauses out of 83414 with flag 1574389/315000
164.30/162.27	c cleaning 21139 clauses out of 89138 with flag 1710756/341000
178.17/176.12	c cleaning 21862 clauses out of 94997 with flag 1855121/368000
193.80/191.73	c cleaning 23070 clauses out of 101134 with flag 2003475/396000
209.72/207.68	c cleaning 23630 clauses out of 107059 with flag 2156874/425000
226.98/224.66	c cleaning 24296 clauses out of 113426 with flag 2319892/455000
244.42/242.02	c cleaning 25251 clauses out of 120129 with flag 2486083/486002
263.10/260.77	c cleaning 25951 clauses out of 126877 with flag 2656556/518001
282.82/280.46	c cleaning 26693 clauses out of 133921 with flag 2833769/551000
302.57/300.22	c cleaning 27555 clauses out of 141228 with flag 3026290/585002
324.03/321.68	c cleaning 28581 clauses out of 148671 with flag 3221492/620001
345.18/342.81	c cleaning 29833 clauses out of 156088 with flag 3426529/656001
367.85/365.48	c cleaning 30287 clauses out of 163254 with flag 3634191/693000
391.00/388.67	c cleaning 30914 clauses out of 170965 with flag 3840468/731002
415.91/413.49	c cleaning 32052 clauses out of 179048 with flag 4060093/770000
442.05/439.37	c cleaning 32857 clauses out of 186995 with flag 4291017/810000
468.15/465.42	c cleaning 33555 clauses out of 195134 with flag 4524064/851001
496.07/493.46	c cleaning 34521 clauses out of 203574 with flag 4768304/893000
526.01/523.20	c cleaning 35361 clauses out of 212052 with flag 5022499/936000
555.84/553.14	c cleaning 36216 clauses out of 220690 with flag 5282959/980000
586.42/583.67	c cleaning 37928 clauses out of 229473 with flag 5545945/1025000
619.34/616.66	c cleaning 37938 clauses out of 237544 with flag 5825807/1071002
652.54/649.79	c cleaning 39236 clauses out of 246603 with flag 6100670/1118000
686.97/684.20	c cleaning 39953 clauses out of 255365 with flag 6384648/1166000
723.76/720.98	c cleaning 40578 clauses out of 264412 with flag 6681689/1215000
761.35/758.47	c cleaning 41612 clauses out of 273833 with flag 6981881/1265000
799.34/796.11	c cleaning 42587 clauses out of 283221 with flag 7288904/1316002
839.61/836.44	c cleaning 43114 clauses out of 292632 with flag 7612571/1368001
879.81/876.74	c cleaning 44089 clauses out of 302518 with flag 7939416/1421001
921.55/918.43	c cleaning 45097 clauses out of 312428 with flag 8274983/1475001
965.53/962.32	c cleaning 46196 clauses out of 322330 with flag 8617318/1530000
1011.12/1008.00	c cleaning 46867 clauses out of 332134 with flag 8980588/1586001
1057.18/1054.05	c cleaning 47536 clauses out of 342264 with flag 9347087/1643000
1106.76/1103.54	c cleaning 48562 clauses out of 352728 with flag 9733705/1701000
1156.24/1153.13	c cleaning 49742 clauses out of 363168 with flag 10126476/1760002
1205.86/1202.78	c cleaning 50843 clauses out of 373422 with flag 10506684/1820000
1259.43/1256.29	c cleaning 51716 clauses out of 383578 with flag 10908264/1881000
1314.47/1310.92	c cleaning 52356 clauses out of 393860 with flag 11313844/1943000
1370.17/1366.67	c cleaning 53493 clauses out of 404500 with flag 11734128/2006001
1425.92/1422.36	c cleaning 54416 clauses out of 415005 with flag 12143943/2070000
1487.27/1483.65	c cleaning 55334 clauses out of 425589 with flag 12575387/2135000
1550.72/1547.04	c cleaning 56254 clauses out of 436257 with flag 13031658/2201003
1612.59/1609.03	c cleaning 56967 clauses out of 446998 with flag 13467556/2268000
1675.77/1672.26	c cleaning 58384 clauses out of 458030 with flag 13916611/2336000
1741.86/1738.32	c cleaning 58935 clauses out of 468644 with flag 14380719/2405000
1810.78/1807.22	c cleaning 59792 clauses out of 479711 with flag 14872156/2475004
1879.40/1875.85	c cleaning 60900 clauses out of 490914 with flag 15355628/2546000
1951.95/1948.45	c cleaning 61581 clauses out of 502012 with flag 15857147/2618000
2026.85/2022.77	c cleaning 62615 clauses out of 513431 with flag 16355343/2691001
2099.26/2095.28	c cleaning 63915 clauses out of 524815 with flag 16868849/2765000
2176.23/2172.26	c cleaning 64862 clauses out of 535899 with flag 17393673/2840000
2255.91/2251.97	c cleaning 65600 clauses out of 547036 with flag 17927818/2916001
2338.30/2334.30	c cleaning 66299 clauses out of 558435 with flag 18478097/2993000
2423.21/2419.26	c cleaning 67407 clauses out of 570132 with flag 19024636/3071000
2511.09/2507.10	c cleaning 68238 clauses out of 581727 with flag 19593408/3150002
2601.55/2597.64	c cleaning 69226 clauses out of 593487 with flag 20162065/3230000
2692.87/2688.85	c cleaning 70072 clauses out of 605261 with flag 20748094/3311000
2788.02/2784.02	c cleaning 71366 clauses out of 617189 with flag 21343580/3393000
2881.07/2877.11	c cleaning 72616 clauses out of 628822 with flag 21928007/3476000
2983.54/2978.86	c cleaning 73209 clauses out of 640203 with flag 22528322/3560000
3083.57/3078.91	c cleaning 74399 clauses out of 651994 with flag 23141014/3645000
3186.90/3182.33	c cleaning 75117 clauses out of 663595 with flag 23763141/3731000
3293.06/3288.58	c cleaning 75941 clauses out of 675479 with flag 24409789/3818001
3400.77/3396.03	c cleaning 76726 clauses out of 687537 with flag 25058950/3906001
3512.14/3507.44	c cleaning 78345 clauses out of 699811 with flag 25732700/3995002
3600.04/3595.31	c starts		: 23880
3600.04/3595.32	c conflicts		: 4074248
3600.04/3595.32	c decisions		: 170827513
3600.04/3595.32	c propagations		: 4388456594
3600.04/3595.32	c inspects		: 18640614770
3600.04/3595.32	c shortcuts		: 0
3600.04/3595.32	c learnt literals	: 266
3600.04/3595.32	c learnt binary clauses	: 271670
3600.04/3595.32	c learnt ternary clauses	: 235885
3600.04/3595.32	c learnt constraints	: 4073982
3600.04/3595.32	c ignored constraints	: 0
3600.04/3595.32	c root simplifications	: 0
3600.04/3595.32	c removed literals (reason simplification)	: 38492416
3600.04/3595.32	c reason swapping (by a shorter reason)	: 0
3600.04/3595.32	c Calls to reduceDB	: 85
3600.04/3595.32	c Number of update (reduction) of LBD	: 2873554
3600.04/3595.32	c Imported unit clauses	: 0
3600.04/3595.32	c No decision after first conflict	: false
3600.04/3595.32	c number of reductions to clauses (during analyze)	: 0
3600.04/3595.32	c number of learned constraints concerned by reduction	: 0
3600.04/3595.32	c number of learning phase by resolution	: 0
3600.04/3595.32	c number of learning phase by cutting planes	: 0
3600.04/3595.32	c number of rounding to 1 operations	: 0
3600.04/3595.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3595.32	c number of reductions of the coefficients by power 2 	: 0
3600.04/3595.32	c number of right shift for reduction by power 2 	: 0
3600.04/3595.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3595.32	c number of ending skipping 	: 0
3600.04/3595.32	c number of internal skipping 	: 0
3600.04/3595.32	c number of derivation steps 	: 0
3600.04/3595.32	c number of skipped derivation steps 	: 0
3600.04/3595.32	c number of remaining unassigned 	: 0
3600.04/3595.32	c number of remaining assigned 	: 0
3600.04/3595.32	c number of falsified literals weakened from reason	: 0
3600.04/3595.32	c number of falsified literals weakened from conflict	: 0
3600.04/3595.32	c time for arithmetic operations	: 0
3600.04/3595.32	c timeout
3600.04/3595.32	c minimum degree of deleted constraints	: null
3600.04/3595.32	c maximum degree of deleted constraints	: null
3600.04/3595.32	c number of deleted constraints	: 0
3600.04/3595.32	c speed (assignments/second)	: 1220751.9010370304
3600.04/3595.32	c non guided choices	: 68293
3600.18/3595.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 429040
3600.18/3595.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 271670
3600.18/3595.41	s UNKNOWN
3600.18/3595.41	c Total wall clock time (in seconds): 3595.273

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (58120 MiB free)
  memory of node 1: 64507 MiB (63497 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506840-1751165852/watcher-4506840-1751165852 -o /tmp/evaluation-result-4506840-1751165852/solver-4506840-1751165852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20470 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4506840-1751165852.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=23734, runsolver pid=23731

[startup+0.100061 s]*
/proc/loadavg: 4.07 4.11 4.10 5/339 23752
/proc/meminfo: memFree=124519704/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=18930384 memory=57692 CPUtime=0.12 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 6561 0 0 0 11 1 0 0 20 0 18 0 32262936 19384713216 14423 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4732596 14423 5336 1 0 547603 0
[pid=23734/tid=23736] ppid=23731 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 5055 0 0 0 6 1 0 0 20 0 18 0 32262937 19384713216 14423 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32262939 19384713216 14423 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=18930384 memory=59585004307076 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32262939 19384713216 14423 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57692 KiB

[startup+0.205655 s]*
/proc/loadavg: 4.07 4.11 4.10 6/339 23752
/proc/meminfo: memFree=124507416/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=18930384 memory=72548 CPUtime=0.31 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 7104 0 0 0 30 1 0 0 20 0 18 0 32262936 19384713216 18137 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4732596 18137 5432 1 0 548016 0
[pid=23734/tid=23736] ppid=23731 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 5254 0 0 0 16 1 0 0 20 0 18 0 32262937 19384713216 18137 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=18930384 memory=15140 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32262939 19384713216 18137 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32262939 19384713216 18137 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72548 KiB

[startup+0.305597 s]*
/proc/loadavg: 4.22 4.14 4.11 6/339 23752
/proc/meminfo: memFree=124477232/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=18930384 memory=109588 CPUtime=0.5 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 8626 0 0 0 48 2 0 0 20 0 18 0 32262936 19384713216 27397 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4732596 27397 5432 1 0 548998 0
[pid=23734/tid=23736] ppid=23731 vsize=18930384 memory=-6000919502804707693 CPUtime=0.26 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 5280 0 0 0 24 2 0 0 20 0 18 0 32262937 19384713216 27397 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 32262939 19384713216 27397 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 32262939 19384713216 27397 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 109588 KiB

[startup+0.700251 s]
/proc/loadavg: 4.22 4.14 4.11 6/341 23754
/proc/meminfo: memFree=124413964/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=169784 CPUtime=1.26 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 10317 0 0 0 122 4 0 0 20 0 20 0 32262936 19521036288 42446 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 42446 5496 1 0 550499 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=17536 CPUtime=0.62 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 5356 0 0 0 60 2 0 0 20 0 20 0 32262937 19521036288 42446 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 42446 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 42446 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=4888 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 42446 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169784 KiB

[startup+1.50024 s]
/proc/loadavg: 4.22 4.14 4.11 6/341 23754
/proc/meminfo: memFree=124403884/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=191420 CPUtime=2.79 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 26719 0 0 0 273 6 0 0 20 0 20 0 32262936 19521036288 47855 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 47855 5496 1 0 555964 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=0 CPUtime=1.4 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 5485 0 0 0 138 2 0 0 20 0 20 0 32262937 19521036288 47855 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 47855 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 47855 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=4888 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 47855 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191420 KiB

[startup+3.10547 s]
/proc/loadavg: 4.22 4.14 4.11 5/341 23754
/proc/meminfo: memFree=124385504/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=192444 CPUtime=4.65 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 29537 0 0 0 458 7 0 0 20 0 20 0 32262936 19521036288 48111 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 48111 5496 1 0 556028 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=10752 CPUtime=3 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 6896 0 0 0 297 3 0 0 20 0 20 0 32262937 19521036288 48111 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=-6000919502804707693 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 48111 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 48111 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 48111 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 192444 KiB

[startup+6.30018 s]
/proc/loadavg: 4.21 4.14 4.11 5/341 23754
/proc/meminfo: memFree=124307880/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=179196 CPUtime=7.98 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 29978 0 0 0 791 7 0 0 20 0 20 0 32262936 19521036288 44799 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 44799 5528 1 0 556029 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=0 CPUtime=6.16 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 6973 0 0 0 613 3 0 0 20 0 20 0 32262937 19521036288 44799 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 44799 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 44799 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=191420 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 44799 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 7.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179196 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.15 4.11 5/340 23754
/proc/meminfo: memFree=124299696/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=189612 CPUtime=14.38 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 32395 0 0 0 1430 8 0 0 20 0 20 0 32262936 19521036288 47403 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 47403 5528 1 0 556029 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=191420 CPUtime=12.52 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 7707 0 0 0 1249 3 0 0 20 0 20 0 32262937 19521036288 47403 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 47403 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=189612 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 47403 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 47403 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 14.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189612 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.15 4.11 5/317 23788
/proc/meminfo: memFree=126599952/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=247204 CPUtime=27.2 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 34751 0 0 0 2711 9 0 0 20 0 20 0 32262936 19521036288 61801 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 61801 5528 1 0 556029 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=-6000919502804707693 CPUtime=25.23 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 8741 0 0 0 2520 3 0 0 20 0 20 0 32262937 19521036288 61801 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 61801 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 61801 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 61801 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 27.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 247204 KiB

[startup+51.1054 s]
/proc/loadavg: 4.20 4.15 4.11 5/339 23822
/proc/meminfo: memFree=126221800/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=321172 CPUtime=52.85 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 37879 0 0 0 5273 12 0 0 20 0 20 0 32262936 19521036288 80293 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 80293 5528 1 0 556029 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=321172 CPUtime=50.7 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 9291 0 0 0 5067 3 0 0 20 0 20 0 32262937 19521036288 80293 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=321172 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 80293 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/341 24063
/proc/meminfo: memFree=114878332/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=3816600 CPUtime=3286.85 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 120322 0 0 0 328518 167 0 0 20 0 20 0 32262936 19521036288 954150 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 954150 5528 1 0 1253122 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=14592 CPUtime=3264.59 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 49220 0 0 0 326430 29 0 0 20 0 20 0 32262937 19521036288 954150 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 954150 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=2760 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1320 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 954150 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3816600 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 954150 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3286.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3816600 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/342 24066
/proc/meminfo: memFree=114483208/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3346.94 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 121659 0 0 0 334525 169 0 0 20 0 20 0 32262936 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 956286 5528 1 0 1253186 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3324.25 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 49725 0 0 0 332396 29 0 0 20 0 20 0 32262937 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1356 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3346.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/341 24070
/proc/meminfo: memFree=114000220/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3407.05 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 123432 0 0 0 340534 171 0 0 20 0 20 0 32262936 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 956286 5528 1 0 1253195 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3383.85 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 50840 0 0 0 338356 29 0 0 20 0 20 0 32262937 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1356 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3407.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/341 24077
/proc/meminfo: memFree=113770764/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3467.14 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 125537 0 0 0 346541 173 0 0 20 0 20 0 32262936 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 956286 5528 1 0 1253195 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3443.5 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 52111 0 0 0 344321 29 0 0 20 0 20 0 32262937 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1392 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3467.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/341 24079
/proc/meminfo: memFree=113728684/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3527.01 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 126244 0 0 0 352527 174 0 0 20 0 20 0 32262936 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 956286 5528 1 0 1253195 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=14592 CPUtime=3503.35 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 52728 0 0 0 350305 30 0 0 20 0 20 0 32262937 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1392 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3825144 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 956286 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3527.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825144 KiB

[startup+3582.3 s]
/proc/loadavg: 3.73 4.02 4.06 4/315 24115
/proc/meminfo: memFree=117892000/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=3825400 CPUtime=3587.06 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 127193 0 0 0 358530 176 0 0 20 0 20 0 32262936 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 956350 5528 1 0 1253232 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=10752 CPUtime=3563.03 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 53026 0 0 0 356273 30 0 0 20 0 20 0 32262937 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3825400 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.3 s]
/proc/loadavg: 3.69 4.01 4.05 4/315 24115
/proc/meminfo: memFree=117892008/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19063512 memory=3825400 CPUtime=3600.04 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 127497 0 0 0 359827 177 0 0 20 0 20 0 32262936 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4765878 956350 5528 1 0 1253232 0
[pid=23734/tid=23736] ppid=23731 vsize=19063512 memory=3825144 CPUtime=3575.99 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) R 23731 23734 20457 0 -1 4194368 53323 0 0 0 357569 30 0 0 20 0 20 0 32262937 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19063512 memory=3825400 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19063512 memory=3825400 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 20 0 32262939 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23754] ppid=23731 vsize=19063512 memory=3825400 CPUtime=0 cores=5,7
/proc/23734/task/23754/stat : 23754 (Timer-0) S 23731 23734 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 32262980 19521036288 956350 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3825400 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.43 s, system=1.78627 s

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

[startup+3595.41 s]
/proc/loadavg: 3.69 4.01 4.05 4/315 24115
/proc/meminfo: memFree=117892008/131249996 swapFree=33010684/33010684
[pid=23734] ppid=23731 vsize=19263204 memory=3826168 CPUtime=3600.18 cores=5,7
/proc/23734/stat : 23734 (java) S 23731 23734 20457 0 -1 4194304 129008 0 0 0 359841 177 0 0 20 0 21 0 32262936 19725520896 956542 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
/proc/23734/statm: 4815801 956542 5528 1 0 1254151 0
[pid=23734/tid=23736] ppid=23731 vsize=19263204 memory=2760 CPUtime=3576.01 cores=5,7
/proc/23734/task/23736/stat : 23736 (java) S 23731 23734 20457 0 -1 4194368 53403 0 0 0 357571 30 0 0 20 0 21 0 32262937 19725520896 956542 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23745] ppid=23731 vsize=19263204 memory=25304 CPUtime=0 cores=5,7
/proc/23734/task/23745/stat : 23745 (Finalizer) S 23731 23734 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 32262939 19725520896 956542 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
[pid=23734/tid=23752] ppid=23731 vsize=19263204 memory=4480 CPUtime=0 cores=5,7
/proc/23734/task/23752/stat : 23752 (Common-Cleaner) S 23731 23734 20457 0 -1 4194368 1402 0 0 0 0 0 0 0 20 0 21 0 32262939 19725520896 956542 18446744073709551615 94714491817984 94714491821680 140725809024592 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94714491829496 94714491830288 94714500034560 140725809027457 140725809027558 140725809027558 140725809033160 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3826168 KiB

Child status: 143

Real time (s): 3595.43
CPU time (s): 3600.21
CPU user time (s): 3598.43
CPU system time (s): 1.78627
CPU usage (%): 100.133
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3826168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.43
system time used= 1.78627
maximum resident set size= 3826296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108835
involuntary context switches= 21271


# summary of solver processes directly reported to runsolver:
#   pid: 23734
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.43
#   total CPU system time (s): 1.78627

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33411 second user time and 16.8581 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 04:57:33
IDJOB=4506840
IDBENCH=158284
IDSOLVER=3363
FILE ID=nodeC021/4506840-1751165852
RUNJOBID= nodeC021-1751158606-20470
SLURM_JOB_ID= 9587494
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K188.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506840-1751165852/watcher-4506840-1751165852 -o /tmp/evaluation-result-4506840-1751165852/solver-4506840-1751165852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20470 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4506840-1751165852.opb

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

MD5SUM BENCH= 416ae2bcad94d751017f8086501bbe46
RANDOM SEED=1990371172

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.741
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.164
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3575.714
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.822
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.752
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3529.289
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3579.616
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.011
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        124536748 kB
MemAvailable:   124471508 kB
Buffers:            3280 kB
Cached:           744048 kB
SwapCached:            0 kB
Active:          5646888 kB
Inactive:         487552 kB
Active(anon):    5405172 kB
Inactive(anon):        0 kB
Active(file):     241716 kB
Inactive(file):   487552 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2028 kB
Writeback:            44 kB
AnonPages:       5389708 kB
Mapped:           122556 kB
Shmem:             18060 kB
KReclaimable:      89064 kB
Slab:             175228 kB
SReclaimable:      89064 kB
SUnreclaim:        86164 kB
KernelStack:        5200 kB
PageTables:        14088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   13699400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5181440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC021 at 2025-06-29 05:57:28