Trace number 4507488

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.24 3593.62

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K87.opb
MD5SUMb65f6b5f7cc62b44e438e625661039cb
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 benchmark130.979
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5916
Total number of constraints6092
Number of constraints which are clauses6005
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint87
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 88
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.07/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.21	c See www.sat4j.org for details.
0.07/0.22	c version PB25.v20250606
0.07/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.07/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.07/0.23	c java.vm.version	22.0.1+8-16
0.07/0.23	c java.vm.vendor	Oracle Corporation
0.07/0.23	c sun.arch.data.model	64
0.07/0.23	c java.version		22.0.1
0.07/0.23	c os.name		Linux
0.07/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.07/0.23	c os.arch		amd64
0.07/0.23	c Free memory 		2104792832
0.07/0.23	c Max memory 		16282288128
0.07/0.23	c Total memory 		2113929216
0.07/0.24	c Number of processors 	2
0.07/0.28	c Pseudo Boolean Optimization by upper bound
0.07/0.28	c --- Begin Solver configuration ---
0.07/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.07/0.28	c Learn all clauses as in MiniSAT
0.07/0.28	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.28	c Expensive reason simplification
0.07/0.28	c Glucose 2.1 dynamic restart strategy
0.07/0.28	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.07/0.28	c timeout=2147483s
0.07/0.28	c DB Simplification allowed=false
0.07/0.28	c Listener: none
0.07/0.28	c --- End Solver configuration ---
0.07/0.28	c solving HOME/instance-4507488-1751191546.opb
0.07/0.28	c reading problem ... 
0.07/0.28	c  no objective function found
0.42/0.42	c ... done. Wall clock time 0.137s.
0.42/0.42	c declared #vars     5916
0.42/0.42	c #constraints  6092
0.42/0.42	c constraints type 
0.42/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1118
0.42/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 87
0.42/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885
0.42/0.42	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.42/0.42	c 6092 constraints processed.
2.64/1.60	c cleaning 2488 clauses out of 4987 with flag 23470/5000
3.71/2.54	c cleaning 4239 clauses out of 8490 with flag 60261/11001
5.07/3.65	c cleaning 5603 clauses out of 11244 with flag 106876/18000
6.53/4.91	c cleaning 6803 clauses out of 13639 with flag 156047/26001
8.23/6.48	c cleaning 7906 clauses out of 15833 with flag 209928/35000
10.04/8.26	c cleaning 8932 clauses out of 17918 with flag 270258/45000
11.94/10.18	c cleaning 9315 clauses out of 19986 with flag 328607/56001
14.13/12.33	c cleaning 10184 clauses out of 22661 with flag 396106/68000
16.32/14.54	c cleaning 11001 clauses out of 25469 with flag 470319/81000
19.12/17.35	c cleaning 12102 clauses out of 28465 with flag 557610/95000
21.94/20.19	c cleaning 12731 clauses out of 31358 with flag 643263/110001
25.12/23.34	c cleaning 13426 clauses out of 34625 with flag 736949/126001
28.55/26.73	c cleaning 14471 clauses out of 38197 with flag 838957/143000
32.22/30.30	c cleaning 15435 clauses out of 41724 with flag 948606/161001
36.01/34.18	c cleaning 16327 clauses out of 45285 with flag 1065421/180000
40.20/38.35	c cleaning 17076 clauses out of 48957 with flag 1190669/200000
45.05/43.10	c cleaning 18066 clauses out of 52878 with flag 1330124/221000
49.83/47.95	c cleaning 19052 clauses out of 56812 with flag 1473244/243000
55.19/53.24	c cleaning 19757 clauses out of 60759 with flag 1623639/266000
60.77/58.89	c cleaning 20831 clauses out of 65000 with flag 1785595/290000
66.81/64.83	c cleaning 21777 clauses out of 69172 with flag 1951397/315006
73.39/71.44	c cleaning 22637 clauses out of 73389 with flag 2126223/341001
80.04/78.07	c cleaning 23344 clauses out of 77749 with flag 2306254/368001
87.22/85.28	c cleaning 24536 clauses out of 82408 with flag 2498047/396006
95.06/93.03	c cleaning 25355 clauses out of 86868 with flag 2706253/425002
103.49/101.44	c cleaning 26285 clauses out of 91512 with flag 2914869/455001
112.37/110.32	c cleaning 27237 clauses out of 96227 with flag 3154952/486002
121.50/119.44	c cleaning 28121 clauses out of 100989 with flag 3401174/518001
131.25/129.14	c cleaning 29335 clauses out of 105868 with flag 3650854/551001
141.18/139.08	c cleaning 30161 clauses out of 110530 with flag 3911150/585000
152.02/149.81	c cleaning 31154 clauses out of 115373 with flag 4173762/620005
163.10/160.90	c cleaning 32367 clauses out of 120214 with flag 4450123/656000
174.91/172.77	c cleaning 33175 clauses out of 124848 with flag 4744772/693001
187.64/185.44	c cleaning 33920 clauses out of 129671 with flag 5048173/731000
201.47/199.03	c cleaning 35204 clauses out of 134751 with flag 5362076/770000
215.30/212.82	c cleaning 36347 clauses out of 139547 with flag 5687512/810000
229.94/227.45	c cleaning 36789 clauses out of 144202 with flag 6077452/851002
245.59/243.03	c cleaning 37884 clauses out of 149411 with flag 6503769/893003
261.75/259.25	c cleaning 39132 clauses out of 154525 with flag 6883627/936001
277.68/275.16	c cleaning 40188 clauses out of 159391 with flag 7272019/980000
295.02/292.43	c cleaning 40843 clauses out of 164203 with flag 7687943/1025000
313.58/311.08	c cleaning 42158 clauses out of 169360 with flag 8162304/1071000
333.26/330.66	c cleaning 43399 clauses out of 174205 with flag 8676794/1118003
353.80/351.13	c cleaning 44184 clauses out of 178803 with flag 9141931/1166000
374.39/371.46	c cleaning 45116 clauses out of 183619 with flag 9612967/1215001
395.74/392.85	c cleaning 46269 clauses out of 188502 with flag 10146086/1265000
418.14/415.25	c cleaning 47274 clauses out of 193233 with flag 10678611/1316000
441.88/439.04	c cleaning 48106 clauses out of 197961 with flag 11181413/1368003
466.85/463.89	c cleaning 49375 clauses out of 202852 with flag 11723069/1421000
491.89/488.92	c cleaning 50485 clauses out of 207476 with flag 12255204/1475000
518.20/515.18	c cleaning 51319 clauses out of 211992 with flag 12840470/1530001
546.73/543.70	c cleaning 52284 clauses out of 216675 with flag 13490969/1586003
574.32/571.22	c cleaning 53425 clauses out of 221388 with flag 14095632/1643000
603.85/600.89	c cleaning 54235 clauses out of 225964 with flag 14731029/1701001
633.71/630.69	c cleaning 55416 clauses out of 230729 with flag 15394085/1760001
664.22/661.08	c cleaning 56854 clauses out of 235311 with flag 16055776/1820000
697.62/694.15	c cleaning 57359 clauses out of 239457 with flag 16763169/1881001
730.25/726.72	c cleaning 58498 clauses out of 244098 with flag 17435016/1943002
764.77/761.31	c cleaning 59466 clauses out of 248601 with flag 18155937/2006003
800.63/797.15	c cleaning 60644 clauses out of 253131 with flag 18863721/2070000
841.02/837.40	c cleaning 61398 clauses out of 257487 with flag 19652388/2135001
878.43/874.99	c cleaning 62674 clauses out of 262089 with flag 20421442/2201002
917.00/913.49	c cleaning 63465 clauses out of 266414 with flag 21169791/2268001
959.89/956.25	c cleaning 64761 clauses out of 270950 with flag 22091000/2336002
1000.70/996.95	c cleaning 65939 clauses out of 275188 with flag 22948773/2405001
1043.70/1040.04	c cleaning 66968 clauses out of 279249 with flag 23865401/2475001
1088.48/1084.24	c cleaning 68005 clauses out of 283279 with flag 24772658/2546000
1134.77/1130.53	c cleaning 69011 clauses out of 287275 with flag 25784878/2618001
1182.33/1178.05	c cleaning 70351 clauses out of 291263 with flag 26784660/2691000
1234.29/1229.99	c cleaning 71420 clauses out of 294914 with flag 27910269/2765002
1295.85/1291.43	c cleaning 72349 clauses out of 298494 with flag 29409509/2840002
1349.20/1344.74	c cleaning 73547 clauses out of 302144 with flag 30698715/2916001
1399.03/1394.53	c cleaning 74106 clauses out of 305601 with flag 31643691/2993005
1458.05/1453.57	c cleaning 75182 clauses out of 309490 with flag 32766117/3071001
1511.74/1507.22	c cleaning 76581 clauses out of 313309 with flag 33865635/3150002
1563.39/1558.75	c cleaning 77432 clauses out of 316726 with flag 34830568/3230001
1621.57/1616.55	c cleaning 78328 clauses out of 320292 with flag 35795996/3311000
1677.04/1672.01	c cleaning 79688 clauses out of 323965 with flag 36796463/3393001
1738.53/1733.54	c cleaning 80501 clauses out of 327276 with flag 37867941/3476000
1800.81/1795.86	c cleaning 81519 clauses out of 330777 with flag 38966255/3560002
1869.92/1864.91	c cleaning 82191 clauses out of 334259 with flag 40233120/3645003
1937.37/1932.39	c cleaning 83299 clauses out of 338066 with flag 41511811/3731001
2004.99/1999.90	c cleaning 84680 clauses out of 341768 with flag 42774591/3818002
2073.10/2068.04	c cleaning 85425 clauses out of 345086 with flag 43998389/3906000
2139.58/2134.52	c cleaning 86559 clauses out of 348661 with flag 45106804/3995000
2215.36/2210.13	c cleaning 87529 clauses out of 352102 with flag 46352871/4085000
2283.66/2278.48	c cleaning 88543 clauses out of 355575 with flag 47528664/4176002
2359.79/2354.62	c cleaning 89744 clauses out of 359031 with flag 48749803/4268002
2430.05/2424.96	c cleaning 91032 clauses out of 362285 with flag 49913608/4361000
2507.95/2502.67	c cleaning 91778 clauses out of 365254 with flag 51156894/4455001
2590.43/2584.69	c cleaning 92722 clauses out of 368479 with flag 52536059/4550004
2692.54/2686.67	c cleaning 93425 clauses out of 371753 with flag 54465931/4646000
2773.64/2767.73	c cleaning 95115 clauses out of 375327 with flag 55843249/4743000
2857.39/2851.32	c cleaning 95990 clauses out of 378213 with flag 57271355/4841001
2942.27/2936.20	c cleaning 97037 clauses out of 381221 with flag 58759691/4940000
3031.59/3025.46	c cleaning 97405 clauses out of 384188 with flag 60209252/5040004
3125.74/3119.69	c cleaning 98692 clauses out of 387779 with flag 61702642/5141000
3230.42/3224.28	c cleaning 99616 clauses out of 391088 with flag 63811579/5243001
3311.10/3305.00	c cleaning 101306 clauses out of 394470 with flag 65247643/5346000
3402.78/3396.45	c cleaning 101934 clauses out of 397164 with flag 66686633/5450000
3491.51/3485.01	c cleaning 103183 clauses out of 400230 with flag 68052052/5555000
3580.88/3574.45	c cleaning 104194 clauses out of 403050 with flag 69531454/5661003
3600.06/3593.51	c starts		: 50849
3600.06/3593.51	c conflicts		: 5694613
3600.06/3593.51	c decisions		: 66014976
3600.06/3593.51	c propagations		: 2066912017
3600.06/3593.51	c inspects		: 25896755300
3600.06/3593.51	c shortcuts		: 0
3600.06/3593.51	c learnt literals	: 121
3600.06/3593.51	c learnt binary clauses	: 105396
3600.06/3593.51	c learnt ternary clauses	: 129139
3600.06/3593.51	c learnt constraints	: 5694492
3600.06/3593.51	c ignored constraints	: 0
3600.06/3593.51	c root simplifications	: 0
3600.06/3593.51	c removed literals (reason simplification)	: 189379735
3600.06/3593.51	c reason swapping (by a shorter reason)	: 0
3600.06/3593.51	c Calls to reduceDB	: 102
3600.06/3593.51	c Number of update (reduction) of LBD	: 5294082
3600.06/3593.51	c Imported unit clauses	: 0
3600.06/3593.51	c No decision after first conflict	: false
3600.06/3593.51	c number of reductions to clauses (during analyze)	: 0
3600.06/3593.51	c number of learned constraints concerned by reduction	: 0
3600.06/3593.51	c number of learning phase by resolution	: 0
3600.06/3593.51	c number of learning phase by cutting planes	: 0
3600.06/3593.51	c number of rounding to 1 operations	: 0
3600.06/3593.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3593.51	c number of reductions of the coefficients by power 2 	: 0
3600.06/3593.51	c number of right shift for reduction by power 2 	: 0
3600.06/3593.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3593.51	c number of ending skipping 	: 0
3600.06/3593.51	c number of internal skipping 	: 0
3600.06/3593.51	c number of derivation steps 	: 0
3600.06/3593.52	c timeout
3600.06/3593.52	c number of skipped derivation steps 	: 0
3600.06/3593.52	c number of remaining unassigned 	: 0
3600.06/3593.52	c number of remaining assigned 	: 0
3600.06/3593.52	c number of falsified literals weakened from reason	: 0
3600.06/3593.52	c number of falsified literals weakened from conflict	: 0
3600.06/3593.52	c time for arithmetic operations	: 0
3600.06/3593.52	c minimum degree of deleted constraints	: null
3600.06/3593.53	c maximum degree of deleted constraints	: null
3600.06/3593.53	c number of deleted constraints	: 0
3600.06/3593.53	c speed (assignments/second)	: 575245.7400223874
3600.06/3593.53	c non guided choices	: 3316
3600.22/3593.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 227070
3600.22/3593.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 105396
3600.22/3593.60	s UNKNOWN
3600.22/3593.60	c Total wall clock time (in seconds): 3593.324

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 0.61 1.31 2.23 2/292 27939
/proc/meminfo: memFree=130123844/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=18130736 memory=22352 CPUtime=0.01 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 2189 0 178 0 0 1 0 0 20 0 7 0 34832510 18565873664 5588 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16784588 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4532684 5588 3136 1 0 540973 0
[pid=27900/tid=27915] ppid=27894 vsize=18130736 memory=4026532124 CPUtime=0 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) D 27894 27900 27841 0 -1 4194368 1634 0 113 0 0 0 0 0 20 0 7 0 34832516 18565873664 5588 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16784588 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18130736 KiB
Current children cumulated memory: 22352 KiB

[startup+0.205601 s]*
/proc/loadavg: 0.61 1.31 2.23 7/336 27983
/proc/meminfo: memFree=130046984/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=18930384 memory=48852 CPUtime=0.07 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 5809 0 397 0 5 2 0 0 20 0 18 0 34832510 19384713216 12213 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4732596 12213 5218 1 0 547160 0
[pid=27900/tid=27915] ppid=27894 vsize=18930384 memory=3472328132922704156 CPUtime=0.04 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 4674 0 296 0 3 1 0 0 20 0 18 0 34832516 19384713216 12213 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=18930384 memory=18949 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34832527 19384713216 12213 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34832528 19384713216 12213 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48852 KiB

[startup+0.305791 s]*
/proc/loadavg: 0.61 1.31 2.23 13/336 27983
/proc/meminfo: memFree=130003192/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=18930384 memory=61256 CPUtime=0.23 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 6768 0 403 0 20 3 0 0 20 0 18 0 34832510 19384713216 15314 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4732596 15314 5346 1 0 547907 0
[pid=27900/tid=27915] ppid=27894 vsize=18930384 memory=-6000919476934174061 CPUtime=0.13 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) S 27894 27900 27841 0 -1 4194368 5083 0 300 0 11 2 0 0 20 0 18 0 34832516 19384713216 15314 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=18930384 memory=-4421386487691240549 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 34832527 19384713216 15314 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34832528 19384713216 15314 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61256 KiB

[startup+0.700232 s]
/proc/loadavg: 0.61 1.31 2.23 9/340 27987
/proc/meminfo: memFree=129829660/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=18996948 memory=110632 CPUtime=0.99 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 14647 0 403 0 94 5 0 0 20 0 19 0 34832510 19452874752 27658 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4749237 27658 5346 1 0 553644 0
[pid=27900/tid=27915] ppid=27894 vsize=18996948 memory=17536 CPUtime=0.45 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 5167 0 300 0 43 2 0 0 20 0 19 0 34832516 19452874752 27658 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34832527 19452874752 27658 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34832528 19452874752 27658 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=18996948 memory=4380 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34832554 19452874752 27658 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 110632 KiB

[startup+1.50023 s]
/proc/loadavg: 0.61 1.31 2.23 9/340 27987
/proc/meminfo: memFree=129786124/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=18996948 memory=119504 CPUtime=2.44 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 17068 0 403 0 238 6 0 0 20 0 19 0 34832510 19452874752 29876 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4749237 29876 5346 1 0 553649 0
[pid=27900/tid=27915] ppid=27894 vsize=18996948 memory=0 CPUtime=1.24 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 5353 0 300 0 121 3 0 0 20 0 19 0 34832516 19452874752 29876 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34832527 19452874752 29876 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34832528 19452874752 29876 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=18996948 memory=4380 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34832554 19452874752 29876 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 119504 KiB

[startup+3.1054 s]
/proc/loadavg: 0.61 1.31 2.23 5/340 27987
/proc/meminfo: memFree=129685432/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=18996948 memory=133720 CPUtime=4.57 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 22182 0 403 0 450 7 0 0 20 0 19 0 34832510 19452874752 33430 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4749237 33430 5346 1 0 554022 0
[pid=27900/tid=27915] ppid=27894 vsize=18996948 memory=0 CPUtime=2.83 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 6583 0 300 0 280 3 0 0 20 0 19 0 34832516 19452874752 33430 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34832527 19452874752 33430 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=18996948 memory=-6000919489819075949 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34832528 19452874752 33430 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34832554 19452874752 33430 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 4.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133720 KiB

[startup+6.30018 s]
/proc/loadavg: 0.88 1.36 2.24 5/340 27988
/proc/meminfo: memFree=129568876/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=18996948 memory=153280 CPUtime=8.13 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 23906 0 403 0 805 8 0 0 20 0 19 0 34832510 19452874752 38320 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4749237 38320 5378 1 0 554387 0
[pid=27900/tid=27915] ppid=27894 vsize=18996948 memory=0 CPUtime=6.01 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 6704 0 300 0 598 3 0 0 20 0 19 0 34832516 19452874752 38320 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=18996948 memory=8514701219781572766 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 34832527 19452874752 38320 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=18996948 memory=145372 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34832528 19452874752 38320 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 34832554 19452874752 38320 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 8.13 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153280 KiB

[startup+12.7001 s]
/proc/loadavg: 1.13 1.40 2.25 5/344 27992
/proc/meminfo: memFree=129483056/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=184608 CPUtime=14.53 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 26397 0 403 0 1445 8 0 0 20 0 20 0 34832510 19521036288 46152 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 46152 5442 1 0 554676 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=0 CPUtime=12.39 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 7276 0 300 0 1235 4 0 0 20 0 20 0 34832516 19521036288 46152 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=123552 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 46152 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 46152 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 46152 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 14.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184608 KiB

[startup+25.5002 s]
/proc/loadavg: 1.83 1.55 2.28 5/344 27992
/proc/meminfo: memFree=129302612/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=215640 CPUtime=27.35 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 31065 0 403 0 2725 10 0 0 20 0 20 0 34832510 19521036288 53910 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 53910 5442 1 0 554692 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=123552 CPUtime=25.1 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 8295 0 300 0 2506 4 0 0 20 0 20 0 34832516 19521036288 53910 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 53910 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=184608 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 53910 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=3024 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 53910 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 27.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 215640 KiB

[startup+51.1055 s]
/proc/loadavg: 2.64 1.76 2.33 5/344 27992
/proc/meminfo: memFree=128604548/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=420536 CPUtime=53.09 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 32106 0 403 0 5294 15 0 0 20 0 20 0 34832510 19521036288 105134 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 105134 5442 1 0 554692 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=346780 CPUtime=50.45 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 8386 0 300 0 5041 4 0 0 20 0 20 0 34832516 19521036288 105134 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 105134 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=346780 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 105134 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 105134 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 53.09 s

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/340 28487
/proc/meminfo: memFree=118693264/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=4657948 CPUtime=3288.55 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 132684 0 403 0 328699 156 0 0 20 0 20 0 34832510 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 1164487 5442 1 0 1428526 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=4657948 CPUtime=3262.23 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 59509 0 300 0 326188 35 0 0 20 0 20 0 34832516 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=4657948 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=4657948 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1089 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=4651716 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3288.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4657948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/340 28500
/proc/meminfo: memFree=118555436/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=4657948 CPUtime=3348.61 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 134210 0 403 0 334702 159 0 0 20 0 20 0 34832510 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 1164487 5442 1 0 1428526 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=4657948 CPUtime=3321.88 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 59958 0 300 0 332153 35 0 0 20 0 20 0 34832516 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=4657948 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1126 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=4657948 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 1164487 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3348.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4657948 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/341 28505
/proc/meminfo: memFree=118547404/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=4659996 CPUtime=3408.67 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 136264 0 403 0 340707 160 0 0 20 0 20 0 34832510 19521036288 1164999 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 1164999 5442 1 0 1428526 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=4657948 CPUtime=3381.52 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 61799 0 300 0 338117 35 0 0 20 0 20 0 34832516 19521036288 1164999 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=4657948 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 1164999 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=4659996 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1126 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 1164999 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=4659996 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 1164999 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3408.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4659996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.08 5/341 28507
/proc/meminfo: memFree=118486136/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=4717460 CPUtime=3468.66 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 139197 0 403 0 346704 162 0 0 20 0 20 0 34832510 19521036288 1179365 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 1179365 5442 1 0 1428526 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=4657948 CPUtime=3441.22 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 63633 0 300 0 344087 35 0 0 20 0 20 0 34832516 19521036288 1179365 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=4659996 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 1179365 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=4717460 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1164 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 1179365 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=4717460 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 1179365 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3468.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4717460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/341 28509
/proc/meminfo: memFree=118426284/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=4717972 CPUtime=3528.73 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 140710 0 403 0 352710 163 0 0 20 0 20 0 34832510 19521036288 1179493 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 1179493 5442 1 0 1428526 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=14848 CPUtime=3500.86 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 63999 0 300 0 350051 35 0 0 20 0 20 0 34832516 19521036288 1179493 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 1179493 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1201 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 1179493 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=4717972 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 1179493 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3528.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4717972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/341 28511
/proc/meminfo: memFree=118322288/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=4802492 CPUtime=3588.76 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 142863 0 403 0 358710 166 0 0 20 0 20 0 34832510 19521036288 1200623 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 1200623 5442 1 0 1428526 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=4802492 CPUtime=3560.52 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 65901 0 300 0 356017 35 0 0 20 0 20 0 34832516 19521036288 1200623 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=4802492 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 1200623 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=4802492 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1201 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 1200623 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=4802492 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 1200623 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4802492 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.5 s]
/proc/loadavg: 4.15 4.12 4.08 5/341 28511
/proc/meminfo: memFree=118197264/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19063512 memory=4929476 CPUtime=3600.06 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 143588 0 403 0 359837 169 0 0 20 0 20 0 34832510 19521036288 1232369 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4765878 1232369 5442 1 0 1428526 0
[pid=27900/tid=27915] ppid=27894 vsize=19063512 memory=4717972 CPUtime=3571.56 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) R 27894 27900 27841 0 -1 4194368 65942 0 300 0 357121 35 0 0 20 0 20 0 34832516 19521036288 1232369 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19063512 memory=4802492 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 34832527 19521036288 1232369 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1201 0 0 0 0 0 0 0 20 0 20 0 34832528 19521036288 1232369 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27985] ppid=27894 vsize=19063512 memory=4802492 CPUtime=0 cores=0,2
/proc/27900/task/27985/stat : 27985 (Timer-0) S 27894 27900 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34832554 19521036288 1232369 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4929476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.53 s, system=1.71409 s

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

[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.08 5/341 28511
/proc/meminfo: memFree=118197264/131249996 swapFree=33010684/33010684
[pid=27900] ppid=27894 vsize=19263204 memory=4930244 CPUtime=3600.22 cores=0,2
/proc/27900/stat : 27900 (java) S 27894 27900 27841 0 -1 4194304 145742 0 403 0 359852 170 0 0 20 0 21 0 34832510 19725520896 1232561 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
/proc/27900/statm: 4815801 1232561 5474 1 0 1429481 0
[pid=27900/tid=27915] ppid=27894 vsize=19263204 memory=4929476 CPUtime=3571.57 cores=0,2
/proc/27900/task/27915/stat : 27915 (java) S 27894 27900 27841 0 -1 4194368 66008 0 300 0 357122 35 0 0 20 0 21 0 34832516 19725520896 1232561 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27954] ppid=27894 vsize=19263204 memory=4929476 CPUtime=0 cores=0,2
/proc/27900/task/27954/stat : 27954 (Finalizer) S 27894 27900 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 34832527 19725520896 1232561 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
[pid=27900/tid=27980] ppid=27894 vsize=19263204 memory=4929476 CPUtime=0 cores=0,2
/proc/27900/task/27980/stat : 27980 (Common-Cleaner) S 27894 27900 27841 0 -1 4194368 1201 0 0 0 0 0 0 0 20 0 21 0 34832528 19725520896 1232561 18446744073709551615 94150972186624 94150972190320 140736662437792 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94150972198136 94150972198928 94150981861376 140736662444417 140736662444518 140736662444518 140736662450120 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4930244 KiB

Child status: 143

Real time (s): 3593.62
CPU time (s): 3600.24
CPU user time (s): 3598.53
CPU system time (s): 1.71409
CPU usage (%): 100.184
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4930244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.53
system time used= 1.71409
maximum resident set size= 4930372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145919
page faults= 403
swaps= 0
block input operations= 36256
block output operations= 11792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108944
involuntary context switches= 10368


# summary of solver processes directly reported to runsolver:
#   pid: 27900
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3598.53
#   total CPU system time (s): 1.71409

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25544 second user time and 16.7758 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 12:05:46
IDJOB=4507488
IDBENCH=158355
IDSOLVER=3363
FILE ID=nodeC024/4507488-1751191546
RUNJOBID= nodeC024-1751191546-27851
SLURM_JOB_ID= 9587580
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K87.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507488-1751191546/watcher-4507488-1751191546 -o /tmp/evaluation-result-4507488-1751191546/solver-4507488-1751191546 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27851 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4507488-1751191546.opb

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

MD5SUM BENCH= b65f6b5f7cc62b44e438e625661039cb
RANDOM SEED=278076223

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130151792 kB
MemAvailable:   129796568 kB
Buffers:            3280 kB
Cached:           451284 kB
SwapCached:            0 kB
Active:           285708 kB
Inactive:         231296 kB
Active(anon):      80504 kB
Inactive(anon):        0 kB
Active(file):     205204 kB
Inactive(file):   231296 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3044 kB
Writeback:             0 kB
AnonPages:         65856 kB
Mapped:           102612 kB
Shmem:             18064 kB
KReclaimable:      88008 kB
Slab:             174204 kB
SReclaimable:      88008 kB
SUnreclaim:        86196 kB
KernelStack:        4128 kB
PageTables:         2824 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     329456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 13:05:40