2.39/1.88
2.39/1.88 AbsCon 2
2.63/1.90
2.88/2.10 Instance
2.88/2.10 name=instance-4390826-1568381731, framework=COP, bounds=-infty..+infty
2.88/2.10
2.88/2.10 Loading variables...
3.18/2.13 Loading constraints...
3.74/2.38
3.74/2.38 Domains
3.74/2.38 nTypes=43, nValues=1187, sizes=[2#1,3#4,4#13,5#3...14#4,15#5,20#20,21#21]
3.74/2.38 Variables
3.74/2.38 count=82, degrees=[2#41,22#40,23#1]
3.74/2.38 Objectives
3.74/2.38 way=min, type=SumSimpleLE
3.74/2.38 Constraints
3.74/2.38 count=464, nSpecific=2, arities=[1#1,2#461,21#1,41#1]
3.74/2.38 distribution=[Circuit#1,CtrExtensionV-Bits#41,CtrIntension#421,SumSimpleLE#1]
3.74/2.38 nExtStructures=(41,shared:0), nIntStructures=(22,shared:399), nCftStructures=(62,shared:399,unbuilt:3)
3.74/2.38 wck=0.526, cpu=2.346, mem=47M651
3.74/2.39 Solver SolverBacktrack being built...
3.74/2.39
4.05/2.41
4.05/2.41 Solver
4.05/2.41 guaranteedGAC=false
4.05/2.41 wck=0.553, cpu=2.372, mem=58M294
4.05/2.41
4.05/2.41 Preprocessing
4.05/2.41 filters=23, revisions=(44,useless=21), ccks=8823, nACremovedValues=358, nTotalRemovedValues=358, inconcistency=false
4.05/2.41 wck=0.007, cpu=2.38, mem=58M294
4.05/2.41
4.05/2.43 o 218
4.05/2.44 num=0, depth=83..81, filters=695, revisions=(958,useless=281), ccks=9708, wck=0.028, mem=58M294
4.05/2.44 decisions=18, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=218
4.05/2.44
4.05/2.45 o 217
4.05/2.45 num=1, depth=83..81, filters=1158, revisions=(1868,useless=746), ccks=10595, wck=0.038, mem=58M294
4.05/2.45 decisions=50, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=217
4.05/2.45
4.05/2.46 o 141
4.05/2.46 num=2, depth=13..81, filters=2007, revisions=(3387,useless=1449), ccks=11744, wck=0.05, mem=58M294
4.05/2.46 decisions=102, wrong=9, backtracks=5, failedAssignments=4, nogoods=4, foundSolutions=3, bestBound=141
4.05/2.46
4.05/2.46 num=3, depth=2..7, filters=2497, revisions=(4824,useless=2448), ccks=12526, wck=0.058, mem=58M294
4.05/2.46 decisions=139, wrong=26, backtracks=12, failedAssignments=15, nogoods=11, foundSolutions=3, bestBound=141
4.05/2.46
4.05/2.47 o 139
4.05/2.47 num=4, depth=3..81, filters=3256, revisions=(6957,useless=3848), ccks=13912, wck=0.067, mem=58M294
4.05/2.47 decisions=172, wrong=35, backtracks=14, failedAssignments=22, nogoods=18, foundSolutions=4, bestBound=139
4.05/2.47
4.05/2.48 num=5, depth=2..10, filters=4336, revisions=(9954,useless=5830), ccks=15218, wck=0.079, mem=58M294
4.05/2.48 decisions=213, wrong=53, backtracks=26, failedAssignments=34, nogoods=22, foundSolutions=4, bestBound=139
4.05/2.48
4.05/2.49 num=6, depth=1..5, filters=4799, revisions=(11437,useless=6900), ccks=16039, wck=0.084, mem=58M294
4.05/2.49 decisions=250, wrong=71, backtracks=36, failedAssignments=45, nogoods=24, foundSolutions=4, bestBound=139
4.05/2.49
4.39/2.50 num=7, depth=0..10, filters=5703, revisions=(13969,useless=8613), ccks=17502, wck=0.095, mem=58M294
4.39/2.50 decisions=302, wrong=92, backtracks=50, failedAssignments=57, nogoods=26, foundSolutions=4, bestBound=139
4.39/2.50
4.39/2.51 num=8, depth=1..10, filters=6568, revisions=(16593,useless=10454), ccks=18867, wck=0.104, mem=58M294
4.39/2.51 decisions=350, wrong=115, backtracks=63, failedAssignments=70, nogoods=33, foundSolutions=4, bestBound=139
4.39/2.51
4.39/2.52 num=9, depth=1..8, filters=7271, revisions=(18716,useless=11949), ccks=20040, wck=0.112, mem=58M294
4.39/2.52 decisions=399, wrong=138, backtracks=74, failedAssignments=84, nogoods=37, foundSolutions=4, bestBound=139
4.39/2.52
4.39/2.53 num=10, depth=0..12, filters=8430, revisions=(21819,useless=13997), ccks=21562, wck=0.123, mem=60M936
4.39/2.53 decisions=469, wrong=167, backtracks=91, failedAssignments=100, nogoods=40, foundSolutions=4, bestBound=139
4.39/2.53
4.39/2.54 o 134
4.39/2.55 num=11, depth=3..81, filters=8999, revisions=(23184,useless=14823), ccks=22635, wck=0.142, mem=60M936
4.39/2.55 decisions=514, wrong=177, backtracks=92, failedAssignments=109, nogoods=49, foundSolutions=5, bestBound=134
4.39/2.55
4.39/2.55 o 133
4.39/2.55 num=12, depth=7..81, filters=9443, revisions=(24429,useless=15635), ccks=23555, wck=0.147, mem=60M936
4.39/2.55 decisions=533, wrong=179, backtracks=92, failedAssignments=111, nogoods=51, foundSolutions=6, bestBound=133
4.39/2.55
4.39/2.56 o 131
4.39/2.56 num=13, depth=4..81, filters=10105, revisions=(26102,useless=16675), ccks=24623, wck=0.153, mem=60M936
4.39/2.56 decisions=565, wrong=184, backtracks=95, failedAssignments=114, nogoods=53, foundSolutions=7, bestBound=131
4.39/2.56
4.39/2.56 o 130
4.39/2.56 num=14, depth=12..81, filters=10507, revisions=(27275,useless=17460), ccks=25361, wck=0.158, mem=60M936
4.39/2.56 decisions=582, wrong=185, backtracks=95, failedAssignments=115, nogoods=54, foundSolutions=8, bestBound=130
4.39/2.56
4.39/2.57 o 128
4.39/2.57 num=15, depth=83..81, filters=10854, revisions=(28372,useless=18212), ccks=26023, wck=0.161, mem=60M936
4.39/2.57 decisions=603, wrong=185, backtracks=95, failedAssignments=115, nogoods=54, foundSolutions=9, bestBound=128
4.39/2.57
4.39/2.58 num=16, depth=2..11, filters=12591, revisions=(32264,useless=20428), ccks=27752, wck=0.173, mem=60M936
4.39/2.58 decisions=661, wrong=213, backtracks=117, failedAssignments=126, nogoods=57, foundSolutions=9, bestBound=128
4.39/2.58
4.39/2.58 num=17, depth=0..12, filters=13281, revisions=(34001,useless=21532), ccks=28629, wck=0.178, mem=60M936
4.39/2.58 decisions=707, wrong=235, backtracks=130, failedAssignments=137, nogoods=59, foundSolutions=9, bestBound=128
4.39/2.58
4.39/2.59 o 127
4.39/2.59 num=18, depth=6..81, filters=13942, revisions=(35557,useless=22451), ccks=29786, wck=0.183, mem=60M936
4.39/2.59 decisions=730, wrong=241, backtracks=131, failedAssignments=142, nogoods=64, foundSolutions=10, bestBound=127
4.39/2.59
4.39/2.60 o 126
4.39/2.60 num=19, depth=6..81, filters=14715, revisions=(37981,useless=24148), ccks=31172, wck=0.19, mem=60M936
4.39/2.60 decisions=768, wrong=254, backtracks=135, failedAssignments=152, nogoods=72, foundSolutions=11, bestBound=126
4.39/2.60
4.71/2.60 num=20, depth=6..16, filters=15785, revisions=(40565,useless=25721), ccks=32280, wck=0.198, mem=60M936
4.71/2.60 decisions=815, wrong=273, backtracks=150, failedAssignments=163, nogoods=76, foundSolutions=11, bestBound=126
4.71/2.60
4.71/2.61 num=21, depth=0..6, filters=17346, revisions=(44067,useless=27731), ccks=34465, wck=0.206, mem=60M936
4.71/2.61 decisions=854, wrong=292, backtracks=163, failedAssignments=174, nogoods=81, foundSolutions=11, bestBound=126
4.71/2.61
4.71/2.62 num=22, depth=0..12, filters=18697, revisions=(46686,useless=29062), ccks=35880, wck=0.213, mem=60M936
4.71/2.62 decisions=904, wrong=315, backtracks=179, failedAssignments=186, nogoods=82, foundSolutions=11, bestBound=126
4.71/2.62
4.71/2.62 o 125
4.71/2.62 num=23, depth=2..81, filters=19359, revisions=(48374,useless=30097), ccks=37002, wck=0.218, mem=60M936
4.71/2.62 decisions=920, wrong=319, backtracks=179, failedAssignments=190, nogoods=86, foundSolutions=12, bestBound=125
4.71/2.62
4.71/2.63 num=24, depth=1..11, filters=20769, revisions=(51519,useless=31907), ccks=38805, wck=0.225, mem=60M936
4.71/2.63 decisions=961, wrong=339, backtracks=191, failedAssignments=204, nogoods=94, foundSolutions=12, bestBound=125
4.71/2.63
4.71/2.64 num=25, depth=2..10, filters=21949, revisions=(53716,useless=32975), ccks=40035, wck=0.232, mem=60M936
4.71/2.64 decisions=1002, wrong=358, backtracks=202, failedAssignments=215, nogoods=103, foundSolutions=12, bestBound=125
4.71/2.64
4.71/2.64 num=26, depth=0..7, filters=23017, revisions=(56434,useless=34678), ccks=41260, wck=0.239, mem=60M936
4.71/2.64 decisions=1046, wrong=379, backtracks=215, failedAssignments=227, nogoods=106, foundSolutions=12, bestBound=125
4.71/2.64
4.71/2.65 num=27, depth=0..8, filters=24338, revisions=(59687,useless=36676), ccks=42670, wck=0.247, mem=60M936
4.71/2.65 decisions=1093, wrong=400, backtracks=226, failedAssignments=240, nogoods=113, foundSolutions=12, bestBound=125
4.71/2.65
4.71/2.66 num=28, depth=0..11, filters=25434, revisions=(62036,useless=37985), ccks=43913, wck=0.254, mem=60M936
4.71/2.66 decisions=1145, wrong=426, backtracks=246, failedAssignments=254, nogoods=113, foundSolutions=12, bestBound=125
4.71/2.66
4.71/2.66
4.71/2.66 New Bounds: 125..124
4.71/2.66 num=29, depth=0..5, filters=25784, revisions=(62683,useless=38298), ccks=44251, wck=0.257, mem=60M936
4.71/2.66 decisions=1159, wrong=434, backtracks=252, failedAssignments=258, foundSolutions=12, bestBound=125
4.71/2.66
4.71/2.66 Global
4.71/2.66 filters=25784, revisions=(62683,useless=38298), ccks=44251
4.71/2.66 Stop=FULL_EXPLORATION, wrong=434, bestBound=125, bestBoundWck=0.772, bestBoundCpu=2.589, foundSolutions=12, firstSolCpu=2.392
4.71/2.66 wck=0.811, cpu=2.629, mem=60M936
4.71/2.66
4.71/2.66 v <instantiation id='sol12' type='solution' cost='125'> <list> s[] d[] l[] c[] </list> <values> 0 1 2 3 4 5 6 7 8 9 11 12 13 20 14 15 16 10 17 18 19 0 0 0 0 0 0 0 0 0 0 7 1 1 18 0 0 0 16 10 1 4 13 17 18 19 12 17 11 10 10 11 19 17 19 10 13 11 18 18 19 10 4 1 1 9 5 5 2 3 1 9 1 1 5 4 1 2 4 5 2 2 </values> </instantiation>
4.71/2.66 s OPTIMUM FOUND
4.71/2.66
4.71/2.66 d WRONG_DECISIONS 434
4.71/2.66 d NUMBER_SOLUTIONS 12
runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (11660 MiB free)
memory of node 1: 16384 MiB (14014 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390826-1568381731/watcher-4390826-1568381731 -o /tmp/evaluation-result-4390826-1568381731/solver-4390826-1568381731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390826-1568381731.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=518, runsolver pid=515
[startup+0.104754 s]*
/proc/loadavg: 1.88 1.88 1.41 6/229 537
/proc/meminfo: memFree=26275416/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10659884 memory=27960 CPUtime=0.14 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 5485 0 0 0 13 1 0 0 20 0 15 0 414086973 10915721216 6990 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2664971 6990 2872 1 0 2627468 0
[pid=518/tid=520] ppid=515 vsize=10659884 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) R 515 518 32084 0 -1 4202560 3316 0 0 0 9 0 0 0 20 0 15 0 414086973 10915721216 7452 33554432000 4194304 4196468 140733610237344 140501224549008 140501220340314 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 7452 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10659884 memory=139911185312754 CPUtime=0 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 7452 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 7518 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 7518 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10659884 memory=139911185282688 CPUtime=0 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086975 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414086976 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500711163168 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414086976 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500710110832 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086978 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) R 515 518 32084 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 414086978 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500708006000 140501220330114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) R 515 518 32084 0 -1 4202560 266 0 0 0 0 0 0 0 20 0 15 0 414086978 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500706953200 140501212556094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10659884 memory=139911185282688 CPUtime=0.02 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) R 515 518 32084 0 -1 4202560 741 0 0 0 2 0 0 0 20 0 15 0 414086978 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500705897848 140501199757791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086979 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10659884 memory=139911185282688 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086979 10915721216 7518 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27960 KiB
[startup+0.210649 s]*
/proc/loadavg: 1.88 1.88 1.41 3/229 537
/proc/meminfo: memFree=26268640/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10659884 memory=34696 CPUtime=0.32 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 6872 0 0 0 31 1 0 0 20 0 15 0 414086973 10915721216 8674 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2664971 8674 2989 1 0 2627468 0
[pid=518/tid=520] ppid=515 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) R 515 518 32084 0 -1 4202560 3878 0 0 0 19 1 0 0 20 0 15 0 414086973 10915721216 8674 33554432000 4194304 4196468 140733610237344 140501224545328 140501220340893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 8674 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10659884 memory=139911185312754 CPUtime=0 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 8674 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 8674 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 8674 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10659884 memory=139911185282688 CPUtime=0 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086975 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414086976 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500711163168 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414086976 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500710110832 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086978 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) S 515 518 32084 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 15 0 414086978 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500708006000 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) S 515 518 32084 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 15 0 414086978 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500706953200 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10659884 memory=139911185282688 CPUtime=0.05 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) S 515 518 32084 0 -1 1077944384 772 0 0 0 5 0 0 0 20 0 15 0 414086978 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500705900912 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086979 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10659884 memory=139911185282688 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086979 10915721216 8674 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34696 KiB
[startup+0.310099 s]*
/proc/loadavg: 1.88 1.88 1.41 4/229 537
/proc/meminfo: memFree=26259896/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10659884 memory=40028 CPUtime=0.47 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 9411 0 0 0 44 3 0 0 20 0 15 0 414086973 10915721216 10007 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2664971 10007 3002 1 0 2627468 0
[pid=518/tid=520] ppid=515 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) R 515 518 32084 0 -1 4202560 6327 0 0 0 28 2 0 0 20 0 15 0 414086973 10915721216 10022 33554432000 4194304 4196468 140733610237344 140501224551376 140501220330902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10659884 memory=288230596134830447 CPUtime=0 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 10022 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10659884 memory=3474018279989998994 CPUtime=0 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 10022 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 10022 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10915721216 10022 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086975 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414086976 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500711163168 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10659884 memory=139911185282688 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414086976 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500710110832 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086978 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) R 515 518 32084 0 -1 4202560 443 0 0 0 4 0 0 0 20 0 15 0 414086978 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500708006000 140501213304009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) R 515 518 32084 0 -1 1077944384 489 0 0 0 3 0 0 0 20 0 15 0 414086978 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500706953200 140501220330114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10659884 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) R 515 518 32084 0 -1 4202560 805 0 0 0 8 0 0 0 20 0 15 0 414086978 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500705900912 140501204399454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086979 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086979 10915721216 10022 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40028 KiB
[startup+0.700752 s]
/proc/loadavg: 1.88 1.88 1.41 3/229 537
/proc/meminfo: memFree=26250976/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10661932 memory=63784 CPUtime=1.11 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 13120 0 0 0 106 5 0 0 20 0 15 0 414086973 10917818368 15946 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2665483 15946 3062 1 0 2627980 0
[pid=518/tid=520] ppid=515 vsize=10661932 memory=1941 CPUtime=0.68 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) R 515 518 32084 0 -1 4202560 8879 0 0 0 64 4 0 0 20 0 15 0 414086973 10917818368 15946 33554432000 4194304 4196468 140733610237344 140501224550992 140501204399454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10661932 memory=80 CPUtime=0 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10917818368 15946 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10917818368 15946 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10661932 memory=54 CPUtime=0 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086974 10917818368 15946 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10917818368 15946 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10661932 memory=4404 CPUtime=0 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086975 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414086976 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500711163168 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414086976 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500710110832 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086978 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) S 515 518 32084 0 -1 1077944384 739 0 0 0 11 0 0 0 20 0 15 0 414086978 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500708006000 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) R 515 518 32084 0 -1 4202560 911 0 0 0 11 0 0 0 20 0 15 0 414086978 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500706953200 140501203817737 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) S 515 518 32084 0 -1 1077944384 1233 0 0 0 18 0 0 0 20 0 15 0 414086978 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500705900912 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086979 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086979 10917818368 15946 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63784 KiB
[startup+1.50082 s]
/proc/loadavg: 1.88 1.88 1.41 3/229 537
/proc/meminfo: memFree=26235468/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10663980 memory=76012 CPUtime=1.99 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 18562 0 0 0 194 5 0 0 20 0 15 0 414086973 10919915520 19003 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2665995 19003 3094 1 0 2628492 0
[pid=518/tid=520] ppid=515 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) R 515 518 32084 0 -1 4202560 13058 0 0 0 144 4 0 0 20 0 15 0 414086973 10919915520 19003 33554432000 4194304 4196468 140733610237344 140501224550992 140501220340893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10663980 memory=71952 CPUtime=0 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10919915520 19003 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10663980 memory=1941 CPUtime=0 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10919915520 19003 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10663980 memory=80 CPUtime=0 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086974 10919915520 19003 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10919915520 19003 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414086975 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10663980 memory=7085094983649815656 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414086976 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500711163168 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10663980 memory=6944656592452807316 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414086976 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500710110832 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10663980 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086978 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10663980 memory=6933690287860520857 CPUtime=0.17 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) S 515 518 32084 0 -1 1077944384 1289 0 0 0 17 0 0 0 20 0 15 0 414086978 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500708006000 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10663980 memory=6944656592452807316 CPUtime=0.14 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) S 515 518 32084 0 -1 1077944384 1505 0 0 0 14 0 0 0 20 0 15 0 414086978 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500706953200 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10663980 memory=6944656592455350634 CPUtime=0.19 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) S 515 518 32084 0 -1 1077944384 1266 0 0 0 19 0 0 0 20 0 15 0 414086978 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500705900912 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10663980 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086979 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10663980 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414086979 10919915520 19003 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76012 KiB
[startup+2.68812 s]
# the end of solver process 518 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.82604 s, system=0.139457 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60094 s]
/proc/loadavg: 1.88 1.88 1.41 3/229 537
/proc/meminfo: memFree=26235468/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10666028 memory=77032 CPUtime=2.1 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 18953 0 0 0 205 5 0 0 20 0 15 0 414086973 10922012672 19258 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2666507 19258 3098 1 0 2629004 0
[pid=518/tid=520] ppid=515 vsize=10666028 memory=6947385649911455296 CPUtime=1.58 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) R 515 518 32084 0 -1 4202560 13413 0 0 0 154 4 0 0 20 0 15 0 414086973 10922012672 19258 33554432000 4194304 4196468 140733610237344 140501224550992 140501220340893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10666028 memory=142217440240152 CPUtime=0 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10922012672 19258 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10922012672 19258 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10666028 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414086974 10922012672 19258 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10666028 memory=2871061956344435 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414086974 10922012672 19258 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10666028 memory=279822085390576 CPUtime=0 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414086975 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10666028 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414086976 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500711163168 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414086976 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500710110832 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10666028 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086978 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10666028 memory=6944656592455360604 CPUtime=0.17 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) S 515 518 32084 0 -1 1077944384 1289 0 0 0 17 0 0 0 20 0 15 0 414086978 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500708006000 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10666028 memory=6943526294502006880 CPUtime=0.15 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) S 515 518 32084 0 -1 1077944384 1541 0 0 0 15 0 0 0 20 0 15 0 414086978 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500706953200 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10666028 memory=8547763363015199892 CPUtime=0.19 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) S 515 518 32084 0 -1 1077944384 1266 0 0 0 19 0 0 0 20 0 15 0 414086978 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500705900912 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10666028 memory=7229492638520654444 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414086979 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10666028 memory=-7812800578125854346 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414086979 10922012672 19258 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 77032 KiB
[startup+2.40154 s]
/proc/loadavg: 1.88 1.88 1.41 5/230 538
/proc/meminfo: memFree=26158508/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10748500 memory=155224 CPUtime=4.05 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 26486 0 0 0 395 10 0 0 20 0 16 0 414086973 11006464000 38806 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2687125 38806 3344 1 0 2647217 0
[pid=518/tid=520] ppid=515 vsize=10748500 memory=6100 CPUtime=1.86 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) S 515 518 32084 0 -1 1077944384 15339 0 0 0 180 6 0 0 20 0 16 0 414086973 11006464000 38806 33554432000 4194304 4196468 140733610237344 140501224561840 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10748500 memory=11624 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 16 0 414086974 11006464000 38806 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10748500 memory=732 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414086974 11006464000 38806 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10748500 memory=776 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 414086974 11006464000 38806 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10748500 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414086974 11006464000 38806 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10748500 memory=4008 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 414086975 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10748500 memory=6947385649911455296 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414086976 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500711163232 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10748500 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414086976 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500710110848 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10748500 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414086978 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10748500 memory=14008 CPUtime=0.5 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) S 515 518 32084 0 -1 1077944384 1593 0 0 0 50 0 0 0 20 0 16 0 414086978 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500708006000 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10748500 memory=12040 CPUtime=0.5 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) R 515 518 32084 0 -1 4202560 2364 0 0 0 50 0 0 0 20 0 16 0 414086978 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500706953200 140501220330902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10748500 memory=2124 CPUtime=0.6 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) S 515 518 32084 0 -1 1077944384 2683 0 0 0 59 1 0 0 20 0 16 0 414086978 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500705900912 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10748500 memory=21196 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414086979 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10748500 memory=492 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414086979 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=538] ppid=515 vsize=10748500 memory=6947385649911455296 CPUtime=0.47 cores=0,2,4,6
/proc/518/task/538/stat : 538 (java) R 515 518 32084 0 -1 4202560 1825 0 0 0 47 0 0 0 20 0 16 0 414087161 11006464000 38806 33554432000 4194304 4196468 140733610237344 140500686840968 140501220330902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 10748500 KiB
Current children cumulated memory: 155224 KiB
[startup+2.6012 s]
/proc/loadavg: 1.88 1.88 1.41 5/230 538
/proc/meminfo: memFree=26158508/32770624 swapFree=66957012/67108860
[pid=518] ppid=515 vsize=10748324 memory=165624 CPUtime=4.71 cores=0,2,4,6
/proc/518/stat : 518 (java) S 515 518 32084 0 -1 1077944320 30181 0 0 0 459 12 0 0 20 0 16 0 414086973 11006283776 41406 33554432000 4194304 4196468 140733610237344 140733610219888 140501220318967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
/proc/518/statm: 2687081 41406 3349 1 0 2647217 0
[pid=518/tid=520] ppid=515 vsize=10748324 memory=8514701219730522529 CPUtime=1.86 cores=0,2,4,6
/proc/518/task/520/stat : 520 (java) S 515 518 32084 0 -1 1077944384 15339 0 0 0 180 6 0 0 20 0 16 0 414086973 11006283776 41406 33554432000 4194304 4196468 140733610237344 140501224561840 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=521] ppid=515 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/521/stat : 521 (java) S 515 518 32084 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 16 0 414086974 11006283776 41406 33554432000 4194304 4196468 140733610237344 140501146392976 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=522] ppid=515 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/522/stat : 522 (java) S 515 518 32084 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414086974 11006283776 41406 33554432000 4194304 4196468 140733610237344 140501145340176 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=523] ppid=515 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/523/stat : 523 (java) S 515 518 32084 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 16 0 414086974 11006283776 41406 33554432000 4194304 4196468 140733610237344 140501144287888 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=524] ppid=515 vsize=10748324 memory=139912854636525 CPUtime=0 cores=0,2,4,6
/proc/518/task/524/stat : 524 (java) S 515 518 32084 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414086974 11006283776 41406 33554432000 4194304 4196468 140733610237344 140501143235088 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=525] ppid=515 vsize=10748324 memory=139912854636700 CPUtime=0.01 cores=0,2,4,6
/proc/518/task/525/stat : 525 (java) S 515 518 32084 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 414086975 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500712217200 140501220330114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=526] ppid=515 vsize=10748324 memory=30980 CPUtime=0 cores=0,2,4,6
/proc/518/task/526/stat : 526 (java) S 515 518 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414086976 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500711163232 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=527] ppid=515 vsize=10748324 memory=14689690934597281 CPUtime=0 cores=0,2,4,6
/proc/518/task/527/stat : 527 (java) S 515 518 32084 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414086976 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500710110848 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=530] ppid=515 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/530/stat : 530 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414086978 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500709059152 140501220337563 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=533] ppid=515 vsize=10748324 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/518/task/533/stat : 533 (java) R 515 518 32084 0 -1 4202560 2824 0 0 0 69 0 0 0 20 0 16 0 414086978 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500707986512 140501203729858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=534] ppid=515 vsize=10748324 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/518/task/534/stat : 534 (java) R 515 518 32084 0 -1 4202560 2567 0 0 0 68 0 0 0 20 0 16 0 414086978 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500706934400 140501197558224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=535] ppid=515 vsize=10748324 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/518/task/535/stat : 535 (java) S 515 518 32084 0 -1 1077944384 3136 0 0 0 67 1 0 0 20 0 16 0 414086978 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500705900912 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=536] ppid=515 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/518/task/536/stat : 536 (java) S 515 518 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414086979 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500704848352 140501220329173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=537] ppid=515 vsize=10748324 memory=-4866526899798303339 CPUtime=0 cores=0,2,4,6
/proc/518/task/537/stat : 537 (java) S 515 518 32084 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414086979 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500703796144 140501220330114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
[pid=518/tid=538] ppid=515 vsize=10748324 memory=6944656592387989600 CPUtime=0.68 cores=0,2,4,6
/proc/518/task/538/stat : 538 (java) R 515 518 32084 0 -1 4202560 3586 0 0 0 66 2 0 0 20 0 16 0 414087161 11006283776 41406 33554432000 4194304 4196468 140733610237344 140500686840880 140500818925106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16392192 140733610238987 140733610239090 140733610239090 140733610241999 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 165624 KiB
Child status: 0
Real time (s): 2.68817
CPU time (s): 4.9655
CPU user time (s): 4.82604
CPU system time (s): 0.139457
CPU usage (%): 184.717
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 165624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.82604
system time used= 0.139457
maximum resident set size= 169880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2840
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 518
# total CPU time (s): 4.9655
# total CPU user time (s): 4.82604
# total CPU system time (s): 0.139457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03557 second user time and 0.072102 second system time
The end