2.41/1.88
2.41/1.88 AbsCon 2
2.64/1.90
3.49/2.23 Instance
3.49/2.23 name=instance-4390509-1568386439, framework=CSP
3.49/2.23
3.49/2.23 Loading variables...
3.78/2.32 Loading constraints...
4.07/2.46
4.07/2.46 Domains
4.07/2.46 nTypes=1, nValues=5460, sizes=[26#210]
4.07/2.46 Variables
4.07/2.46 count=210, degrees=[2#210]
4.07/2.46 Constraints
4.07/2.46 count=29, nSpecific=29, arities=[14#15,15#14]
4.07/2.46 distribution=[CtrExtensionCT-Table#29]
4.07/2.46 tables=[13821#14,23538#15], nTotalTuples=546564
4.07/2.46 nExtStructures=(2,shared:27)
4.07/2.46 wck=0.6, cpu=2.399, mem=60M303
4.07/2.46 Solver SolverBacktrack being built...
4.07/2.46
4.07/2.49
4.07/2.49 Solver
4.07/2.49 guaranteedGAC=true
4.07/2.49 wck=0.635, cpu=2.432, mem=73M590
4.34/2.51
4.34/2.51 Preprocessing
4.34/2.51 filters=52, nACremovedValues=551, nTotalRemovedValues=551, inconcistency=false
4.34/2.51 wck=0.019, cpu=2.452, mem=73M590
4.34/2.51
4.34/2.54 num=0, depth=2..5, filters=559, wck=0.049, mem=76M205
4.34/2.54 decisions=29, wrong=13, backtracks=3, failedAssignments=10, nogoods=3
4.34/2.54 nFilterCalls=964, avgTableProportion=0.9999461131674884, avgTableSize=19827.605809128632
4.34/2.54
4.34/2.57 num=1, depth=1..3, filters=1057, wck=0.079, mem=76M205
4.34/2.57 decisions=57, wrong=26, backtracks=5, failedAssignments=21, nogoods=6
4.34/2.57 nFilterCalls=1671, avgTableProportion=0.9999455928632396, avgTableSize=19658.341113105926
4.34/2.57
4.65/2.60 num=2, depth=1..4, filters=1657, wck=0.109, mem=76M205
4.65/2.60 decisions=93, wrong=43, backtracks=10, failedAssignments=33, nogoods=10
4.65/2.60 nFilterCalls=2564, avgTableProportion=0.9999445962746993, avgTableSize=19334.132215288613
4.65/2.60
4.65/2.64 num=3, depth=1..4, filters=2357, wck=0.147, mem=76M205
4.65/2.64 decisions=129, wrong=60, backtracks=16, failedAssignments=46, nogoods=14
4.65/2.64 nFilterCalls=3544, avgTableProportion=0.9999440979783714, avgTableSize=19172.027088036117
4.65/2.64
4.65/2.66 num=4, depth=1..4, filters=2991, wck=0.176, mem=76M205
4.65/2.66 decisions=164, wrong=76, backtracks=19, failedAssignments=60, nogoods=23
4.65/2.66 nFilterCalls=4516, avgTableProportion=0.9999438640520635, avgTableSize=19095.926483613817
4.65/2.66
4.65/2.69 num=5, depth=1..9, filters=3476, wck=0.203, mem=76M205
4.65/2.69 decisions=207, wrong=93, backtracks=20, failedAssignments=76, nogoods=38
4.65/2.69 nFilterCalls=5259, avgTableProportion=0.9999439979886827, avgTableSize=19139.49857387336
4.65/2.69
4.90/2.74 num=6, depth=1..4, filters=4600, wck=0.25, mem=76M205
4.90/2.74 decisions=256, wrong=117, backtracks=27, failedAssignments=93, nogoods=42
4.90/2.74 nFilterCalls=6824, avgTableProportion=0.9999439772085771, avgTableSize=19132.73842321219
4.90/2.74
4.90/2.77 num=7, depth=1..5, filters=5409, wck=0.28, mem=76M205
4.90/2.77 decisions=307, wrong=142, backtracks=35, failedAssignments=112, nogoods=49
4.90/2.77 nFilterCalls=7993, avgTableProportion=0.9999443055079464, avgTableSize=19239.54034780433
4.90/2.77
5.02/2.80 num=8, depth=2..9, filters=6340, wck=0.311, mem=76M205
5.02/2.80 decisions=370, wrong=172, backtracks=45, failedAssignments=133, nogoods=58
5.02/2.80 nFilterCalls=9416, avgTableProportion=0.999944255827906, avgTableSize=19223.3785046729
5.02/2.80
5.02/2.84 num=9, depth=2..5, filters=7492, wck=0.347, mem=76M205
5.02/2.84 decisions=436, wrong=204, backtracks=55, failedAssignments=156, nogoods=75
5.02/2.84 nFilterCalls=11042, avgTableProportion=0.9999445123273989, avgTableSize=19306.822586487957
5.02/2.84
5.02/2.89 num=10, depth=1..8, filters=9019, wck=0.404, mem=76M205
5.02/2.89 decisions=514, wrong=242, backtracks=71, failedAssignments=181, nogoods=89
5.02/2.89 nFilterCalls=13195, avgTableProportion=0.9999447461247678, avgTableSize=19382.881242895037
5.02/2.89
5.13/2.94 num=11, depth=1..4, filters=10156, wck=0.451, mem=76M205
5.13/2.94 decisions=590, wrong=279, backtracks=82, failedAssignments=209, nogoods=102
5.13/2.94 nFilterCalls=14788, avgTableProportion=0.9999445502504173, avgTableSize=19319.159656478227
5.13/2.94
5.13/3.00 num=12, depth=0..6, filters=11775, wck=0.512, mem=76M205
5.13/3.00 decisions=695, wrong=331, backtracks=106, failedAssignments=240, nogoods=112
5.13/3.00 nFilterCalls=17138, avgTableProportion=0.9999445381552258, avgTableSize=19315.224880382775
5.13/3.00
5.26/3.05 num=13, depth=2..9, filters=13155, wck=0.563, mem=76M205
5.26/3.05 decisions=783, wrong=373, backtracks=116, failedAssignments=274, nogoods=125
5.26/3.05 nFilterCalls=19115, avgTableProportion=0.9999444161990885, avgTableSize=19275.550300810883
5.26/3.05
5.41/3.11 num=14, depth=1..5, filters=14677, wck=0.624, mem=76M205
5.41/3.11 decisions=880, wrong=421, backtracks=130, failedAssignments=311, nogoods=129
5.41/3.11 nFilterCalls=21232, avgTableProportion=0.9999443056572959, avgTableSize=19239.58901657875
5.41/3.11
5.41/3.18 num=15, depth=0..8, filters=16743, wck=0.692, mem=76M205
5.41/3.18 decisions=1005, wrong=483, backtracks=155, failedAssignments=352, nogoods=132
5.41/3.18 nFilterCalls=24129, avgTableProportion=0.9999442564118057, avgTableSize=19223.568568941937
5.41/3.18
5.51/3.25 num=16, depth=0..5, filters=18608, wck=0.76, mem=76M205
5.51/3.25 decisions=1132, wrong=545, backtracks=175, failedAssignments=397, nogoods=142
5.51/3.25 nFilterCalls=26709, avgTableProportion=0.9999443070454408, avgTableSize=19240.040660451534
5.51/3.25
5.62/3.32 num=17, depth=1..10, filters=21002, wck=0.834, mem=76M205
5.62/3.32 decisions=1275, wrong=614, backtracks=198, failedAssignments=447, nogoods=158
5.62/3.32 nFilterCalls=30039, avgTableProportion=0.9999441246434023, avgTableSize=19180.70188754619
5.62/3.32
5.62/3.39 num=18, depth=0..8, filters=22965, wck=0.902, mem=76M205
5.62/3.39 decisions=1424, wrong=686, backtracks=221, failedAssignments=502, nogoods=175
5.62/3.39 nFilterCalls=32945, avgTableProportion=0.999944107244758, avgTableSize=19175.041796934285
5.62/3.39
5.73/3.47 num=19, depth=2..10, filters=25144, wck=0.982, mem=76M205
5.73/3.47 decisions=1578, wrong=760, backtracks=234, failedAssignments=563, nogoods=191
5.73/3.47 nFilterCalls=36006, avgTableProportion=0.9999440392888412, avgTableSize=19152.9344275954
5.73/3.47
5.83/3.57 num=20, depth=0..7, filters=28157, wck=1.084, mem=76M205
5.83/3.57 decisions=1753, wrong=847, backtracks=257, failedAssignments=630, nogoods=193
5.83/3.57 nFilterCalls=40095, avgTableProportion=0.999943902107394, avgTableSize=19108.306696595584
5.83/3.57
5.96/3.69 num=21, depth=0..12, filters=31805, wck=1.204, mem=76M205
5.96/3.69 decisions=1963, wrong=949, backtracks=287, failedAssignments=704, nogoods=198
5.96/3.69 nFilterCalls=45213, avgTableProportion=0.9999439566878797, avgTableSize=19126.06270320483
5.96/3.69
6.17/3.84 num=22, depth=0..11, filters=35967, wck=1.35, mem=76M205
6.17/3.84 decisions=2203, wrong=1067, backtracks=336, failedAssignments=785, nogoods=208
6.17/3.84 nFilterCalls=50891, avgTableProportion=0.9999438877083341, avgTableSize=19103.62233007801
6.17/3.84
6.28/3.98 num=23, depth=0..6, filters=39642, wck=1.487, mem=76M205
6.28/3.98 decisions=2445, wrong=1187, backtracks=372, failedAssignments=874, nogoods=219
6.28/3.98 nFilterCalls=56098, avgTableProportion=0.9999438859470005, avgTableSize=19103.049306570643
6.28/3.98
6.39/4.07 num=24, depth=0..5, filters=42288, wck=1.579, mem=76M205
6.39/4.07 decisions=2613, wrong=1272, backtracks=404, failedAssignments=933, nogoods=219
6.39/4.07 nFilterCalls=59870, avgTableProportion=0.9999439084953875, avgTableSize=19110.38470018373
6.39/4.07
6.39/4.07 Global
6.39/4.07 filters=42288, nogoods=219
6.39/4.07 Stop=FULL_EXPLORATION, wrong=1272, wck=2.215, cpu=4.011, mem=76M205
6.39/4.07
6.39/4.07 s UNSATISFIABLE
6.39/4.07
6.39/4.07 d WRONG_DECISIONS 1272
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 (11463 MiB free)
memory of node 1: 16384 MiB (14343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390509-1568386439/watcher-4390509-1568386439 -o /tmp/evaluation-result-4390509-1568386439/solver-4390509-1568386439 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390509-1568386439.xml -cm
running on 4 cores: 1,3,5,7
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=2564, runsolver pid=2561
[startup+0.100058 s]*
/proc/loadavg: 1.82 1.50 1.50 4/228 2579
/proc/meminfo: memFree=26410492/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10659884 memory=27200 CPUtime=0.13 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 5342 0 0 0 12 1 0 0 20 0 15 0 414557740 10915721216 6800 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2664971 6800 2845 1 0 2627468 0
[pid=2564/tid=2566] ppid=2561 vsize=10659884 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) R 2561 2564 32084 0 -1 4202560 3207 0 0 0 8 0 0 0 20 0 15 0 414557741 10915721216 6866 33554432000 4194304 4196468 140729214357184 140147392481008 140147388263830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 6866 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 6866 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 6866 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 6866 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146946393632 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146945340784 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) R 2561 2564 32084 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) R 2561 2564 32084 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146942183664 140147372641968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) R 2561 2564 32084 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 414557746 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146941125904 140147367726095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) R 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 6866 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27200 KiB
[startup+0.210287 s]*
/proc/loadavg: 1.82 1.50 1.50 3/228 2579
/proc/meminfo: memFree=26402988/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10659884 memory=35168 CPUtime=0.32 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 6904 0 0 0 31 1 0 0 20 0 15 0 414557740 10915721216 8792 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2664971 8792 2989 1 0 2627468 0
[pid=2564/tid=2566] ppid=2561 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) R 2561 2564 32084 0 -1 4202560 3863 0 0 0 19 1 0 0 20 0 15 0 414557741 10915721216 8792 33554432000 4194304 4196468 140729214357184 140147392478256 140147388273821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10659884 memory=4294967635 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 8792 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10659884 memory=139735391625384 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 8792 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 8792 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 8792 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146946393632 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146945340784 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) S 2561 2564 32084 0 -1 1077944384 537 0 0 0 3 0 0 0 20 0 15 0 414557746 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) S 2561 2564 32084 0 -1 1077944384 370 0 0 0 3 0 0 0 20 0 15 0 414557746 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146942183664 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0.05 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) S 2561 2564 32084 0 -1 1077944384 775 0 0 0 5 0 0 0 20 0 15 0 414557746 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146941130864 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 8792 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35168 KiB
[startup+0.310093 s]*
/proc/loadavg: 1.82 1.50 1.50 3/228 2579
/proc/meminfo: memFree=26395404/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10659884 memory=40556 CPUtime=0.47 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 9433 0 0 0 44 3 0 0 20 0 15 0 414557740 10915721216 10139 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2664971 10139 3003 1 0 2627468 0
[pid=2564/tid=2566] ppid=2561 vsize=10659884 memory=6935652554413002832 CPUtime=0.3 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) R 2561 2564 32084 0 -1 4202560 6314 0 0 0 28 2 0 0 20 0 15 0 414557741 10915721216 10139 33554432000 4194304 4196468 140729214357184 140147392472784 140147372332382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10659884 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 10139 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10659884 memory=139735388866176 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 10139 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10659884 memory=279470569360288 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 10139 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557741 10915721216 10139 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10659884 memory=279470673548624 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146946393632 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10659884 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414557743 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146945340784 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10659884 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) S 2561 2564 32084 0 -1 1077944384 552 0 0 0 3 0 0 0 20 0 15 0 414557746 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10659884 memory=139735284694031 CPUtime=0.04 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) S 2561 2564 32084 0 -1 1077944384 412 0 0 0 4 0 0 0 20 0 15 0 414557746 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146942183664 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10659884 memory=279470673569376 CPUtime=0.07 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) S 2561 2564 32084 0 -1 1077944384 804 0 0 0 7 0 0 0 20 0 15 0 414557746 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146941130864 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10659884 memory=139735284698639 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10659884 memory=139735388866188 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557746 10915721216 10139 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40556 KiB
[startup+0.700719 s]
/proc/loadavg: 1.82 1.50 1.50 3/228 2579
/proc/meminfo: memFree=26386612/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10661932 memory=64136 CPUtime=1.1 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 13097 0 0 0 105 5 0 0 20 0 15 0 414557740 10917818368 16034 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2665483 16034 3071 1 0 2627980 0
[pid=2564/tid=2566] ppid=2561 vsize=10661932 memory=732 CPUtime=0.68 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) R 2561 2564 32084 0 -1 4202560 8865 0 0 0 64 4 0 0 20 0 15 0 414557741 10917818368 16034 33554432000 4194304 4196468 140729214357184 140147392483920 140147388273821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10917818368 16034 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10917818368 16034 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10917818368 16034 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10661932 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557741 10917818368 16034 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10661932 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557743 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10661932 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414557743 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146946393632 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414557743 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146945340784 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10661932 memory=2124 CPUtime=0.1 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) S 2561 2564 32084 0 -1 1077944384 883 0 0 0 10 0 0 0 20 0 15 0 414557746 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10661932 memory=21252 CPUtime=0.11 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) R 2561 2564 32084 0 -1 4202560 675 0 0 0 11 0 0 0 20 0 15 0 414557746 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146942183664 140147374292561 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10661932 memory=492 CPUtime=0.18 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) S 2561 2564 32084 0 -1 1077944384 1316 0 0 0 18 0 0 0 20 0 15 0 414557746 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146941130864 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414557746 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10661932 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557746 10917818368 16034 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64136 KiB
[startup+1.5007 s]
/proc/loadavg: 1.82 1.50 1.50 3/228 2579
/proc/meminfo: memFree=26369924/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10663980 memory=75960 CPUtime=2 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 18691 0 0 0 194 6 0 0 20 0 15 0 414557740 10919915520 18990 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2665995 18990 3095 1 0 2628492 0
[pid=2564/tid=2566] ppid=2561 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) R 2561 2564 32084 0 -1 4202560 13118 0 0 0 142 5 0 0 20 0 15 0 414557741 10919915520 18990 33554432000 4194304 4196468 140729214357184 140147392477776 140147372332382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10919915520 18990 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10919915520 18990 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414557741 10919915520 18990 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414557741 10919915520 18990 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 414557743 10919915520 18990 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
################
# More data... #
################
[pid=2564/tid=2567] ppid=2561 vsize=10746276 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 176 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10746276 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10746276 memory=-2023959437020729679 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 149 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10746276 memory=279470569164528 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10746276 memory=13188368173802 CPUtime=0.01 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 1156 0 0 0 1 0 0 0 20 0 16 0 414557743 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10746276 memory=13188368173802 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146946393696 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10746276 memory=13188368173546 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146945340800 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10746276 memory=13188368173546 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10746276 memory=13188368173290 CPUtime=0.84 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) S 2561 2564 32084 0 -1 1077944384 2024 0 0 0 83 1 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10746276 memory=260652 CPUtime=0.85 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) S 2561 2564 32084 0 -1 1077944384 2066 0 0 0 85 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146942183664 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10746276 memory=14698478420886870 CPUtime=0.5 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) S 2561 2564 32084 0 -1 1077944384 2071 0 0 0 50 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146941130864 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10746276 memory=9198851636692494236 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10746276 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) S 2561 2564 32084 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2580] ppid=2561 vsize=10746276 memory=6944656592455359580 CPUtime=1.16 cores=1,3,5,7
/proc/2564/task/2580/stat : 2580 (java) R 2561 2564 32084 0 -1 4202560 3376 0 0 0 114 2 0 0 20 0 16 0 414557929 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146853908064 140147019850064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 265028 KiB
[startup+4.08001 s]
# the end of solver process 2564 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.27117 s, system=0.199744 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20095 s]
/proc/loadavg: 1.91 1.52 1.51 3/229 2580
/proc/meminfo: memFree=26172300/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10746276 memory=265028 CPUtime=5.51 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 28055 0 0 0 532 19 0 0 20 0 16 0 414557740 11004186624 66257 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2686569 66257 3369 1 0 2646705 0
[pid=2564/tid=2566] ppid=2561 vsize=10746276 memory=-7361174377247368086 CPUtime=1.86 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) S 2561 2564 32084 0 -1 1077944384 15380 0 0 0 179 7 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147392494768 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10746276 memory=-3775572685057999774 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 176 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10746276 memory=-3472574513799858009 CPUtime=0.03 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10746276 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 149 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10746276 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66257 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 1156 0 0 0 1 0 0 0 20 0 16 0 414557743 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146946393696 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146945340800 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10746276 memory=0 CPUtime=0.84 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) S 2561 2564 32084 0 -1 1077944384 2024 0 0 0 83 1 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10746276 memory=0 CPUtime=0.85 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) S 2561 2564 32084 0 -1 1077944384 2068 0 0 0 85 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146942183664 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10746276 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) S 2561 2564 32084 0 -1 1077944384 2078 0 0 0 50 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146941130864 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10746276 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) S 2561 2564 32084 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2580] ppid=2561 vsize=10746276 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/2564/task/2580/stat : 2580 (java) R 2561 2564 32084 0 -1 4202560 3377 0 0 0 123 2 0 0 20 0 16 0 414557929 11004186624 66257 33554432000 4194304 4196468 140729214357184 140146853908064 140147019849806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 5.51 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 265028 KiB
[startup+3.60075 s]
/proc/loadavg: 1.91 1.52 1.51 3/229 2580
/proc/meminfo: memFree=26172300/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10746276 memory=265216 CPUtime=5.96 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 28072 0 0 0 577 19 0 0 20 0 16 0 414557740 11004186624 66304 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2686569 66304 3369 1 0 2646705 0
[pid=2564/tid=2566] ppid=2561 vsize=10746276 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) S 2561 2564 32084 0 -1 1077944384 15380 0 0 0 179 7 0 0 20 0 16 0 414557741 11004186624 66304 33554432000 4194304 4196468 140729214357184 140147392494768 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10746276 memory=135 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 176 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66304 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10746276 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 16 0 414557741 11004186624 66304 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10746276 memory=39608 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 149 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66304 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10746276 memory=2020 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66304 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10746276 memory=279470569832640 CPUtime=0.01 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 1156 0 0 0 1 0 0 0 20 0 16 0 414557743 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10746276 memory=279470569871008 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146946393696 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10746276 memory=576460756337256238 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146945340800 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10746276 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) S 2561 2564 32084 0 -1 1077944384 2030 0 0 0 85 1 0 0 20 0 16 0 414557746 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10746276 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) S 2561 2564 32084 0 -1 1077944384 2072 0 0 0 87 0 0 0 20 0 16 0 414557746 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146942183664 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10746276 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) S 2561 2564 32084 0 -1 1077944384 2084 0 0 0 51 0 0 0 20 0 16 0 414557746 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146941130864 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) S 2561 2564 32084 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2580] ppid=2561 vsize=10746276 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/2564/task/2580/stat : 2580 (java) R 2561 2564 32084 0 -1 4202560 3378 0 0 0 163 2 0 0 20 0 16 0 414557929 11004186624 66304 33554432000 4194304 4196468 140729214357184 140146853917536 140147019849918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 265216 KiB
[startup+4.00074 s]*
/proc/loadavg: 1.91 1.52 1.51 3/229 2580
/proc/meminfo: memFree=26172636/32770624 swapFree=66957012/67108860
[pid=2564] ppid=2561 vsize=10746276 memory=265264 CPUtime=6.39 cores=1,3,5,7
/proc/2564/stat : 2564 (java) S 2561 2564 32084 0 -1 1077944320 28078 0 0 0 620 19 0 0 20 0 16 0 414557740 11004186624 66316 33554432000 4194304 4196468 140729214357184 140729214339728 140147388251895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
/proc/2564/statm: 2686569 66316 3369 1 0 2646705 0
[pid=2564/tid=2566] ppid=2561 vsize=10746276 memory=6935054825532540783 CPUtime=1.86 cores=1,3,5,7
/proc/2564/task/2566/stat : 2566 (java) S 2561 2564 32084 0 -1 1077944384 15380 0 0 0 179 7 0 0 20 0 16 0 414557741 11004186624 66316 33554432000 4194304 4196468 140729214357184 140147392494768 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2567] ppid=2561 vsize=10746276 memory=4126316290023845779 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2567/stat : 2567 (java) S 2561 2564 32084 0 -1 1077944384 176 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66316 33554432000 4194304 4196468 140729214357184 140147340872336 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2568] ppid=2561 vsize=10746276 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2564/task/2568/stat : 2568 (java) S 2561 2564 32084 0 -1 1077944384 80 0 0 0 2 1 0 0 20 0 16 0 414557741 11004186624 66316 33554432000 4194304 4196468 140729214357184 140147339819536 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2569] ppid=2561 vsize=10746276 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2569/stat : 2569 (java) S 2561 2564 32084 0 -1 1077944384 149 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66316 33554432000 4194304 4196468 140729214357184 140147338766736 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2570] ppid=2561 vsize=10746276 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2564/task/2570/stat : 2570 (java) S 2561 2564 32084 0 -1 1077944384 160 0 0 0 1 1 0 0 20 0 16 0 414557741 11004186624 66316 33554432000 4194304 4196468 140729214357184 140147337713936 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2571] ppid=2561 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2564/task/2571/stat : 2571 (java) S 2561 2564 32084 0 -1 1077944384 1156 0 0 0 1 0 0 0 20 0 16 0 414557743 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146947447664 140147388263042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2572] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2572/stat : 2572 (java) S 2561 2564 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146946393696 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2573] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2573/stat : 2573 (java) S 2561 2564 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414557743 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146945340800 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2574] ppid=2561 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2574/stat : 2574 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146944289104 140147388270491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2575] ppid=2561 vsize=10746276 memory=0 CPUtime=0.88 cores=1,3,5,7
/proc/2564/task/2575/stat : 2575 (java) S 2561 2564 32084 0 -1 1077944384 2033 0 0 0 87 1 0 0 20 0 16 0 414557746 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146943236464 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2576] ppid=2561 vsize=10746276 memory=-1 CPUtime=0.87 cores=1,3,5,7
/proc/2564/task/2576/stat : 2576 (java) S 2561 2564 32084 0 -1 1077944384 2073 0 0 0 87 0 0 0 20 0 16 0 414557746 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146942183664 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2577] ppid=2561 vsize=10746276 memory=-1 CPUtime=0.51 cores=1,3,5,7
/proc/2564/task/2577/stat : 2577 (java) S 2561 2564 32084 0 -1 1077944384 2086 0 0 0 51 0 0 0 20 0 16 0 414557746 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146941130864 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2578] ppid=2561 vsize=10746276 memory=279470673652520 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2578/stat : 2578 (java) S 2561 2564 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146940078304 140147388262101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2579] ppid=2561 vsize=10746276 memory=6199840864898003761 CPUtime=0 cores=1,3,5,7
/proc/2564/task/2579/stat : 2579 (java) S 2561 2564 32084 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414557746 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146939026608 140147388263042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
[pid=2564/tid=2580] ppid=2561 vsize=10746276 memory=3472468014436677296 CPUtime=2.06 cores=1,3,5,7
/proc/2564/task/2580/stat : 2580 (java) R 2561 2564 32084 0 -1 4202560 3378 0 0 0 204 2 0 0 20 0 16 0 414557929 11004186624 66316 33554432000 4194304 4196468 140729214357184 140146853917536 140147019850158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14659584 140729214358539 140729214358642 140729214358642 140729214361551 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 265264 KiB
Child status: 0
Real time (s): 4.08006
CPU time (s): 6.47092
CPU user time (s): 6.27117
CPU system time (s): 0.199744
CPU usage (%): 158.599
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 265264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.27117
system time used= 0.199744
maximum resident set size= 265936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28123
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2509
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 2564
# total CPU time (s): 6.47092
# total CPU user time (s): 6.27117
# total CPU system time (s): 0.199744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058506 second user time and 0.078008 second system time
The end