2.40/1.89
2.40/1.89 AbsCon 2
2.64/1.91
2.90/2.02 Instance
2.90/2.02 name=instance-4390515-1568383473, framework=CSP
2.90/2.02
2.90/2.02 Loading variables...
2.90/2.04 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36721e91
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f6a81c
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bff9d4
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1be6fa8c
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310e6b36
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73132f7d
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6f2d34
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a1548d
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c88cb69
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d1cef7
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bfb8e11
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@356f3684
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3570cbc2
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f1de19b
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb8660f
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e32c17e
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1254e36d
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b674200
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@780e5544
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289ee32b
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b6d6345
2.90/2.09
2.90/2.09
2.90/2.09 Domains
2.90/2.09 nTypes=1, nValues=1369, sizes=[37#37]
2.90/2.09 Variables
2.90/2.09 count=37, degrees=[4#31,5#3,6#2,9#1]
2.90/2.09 Constraints
2.90/2.09 count=28, nSpecific=28, arities=[2#6,4#6,5#6,6#6,7#3,37#1]
2.90/2.09 distribution=[AllDifferent#1,LT#6,SumSimpleEQ#21]
2.90/2.09 wck=0.228, cpu=2.053, mem=18M585
2.90/2.09 Solver SolverBacktrack being built...
2.90/2.09
3.13/2.12
3.13/2.12 Solver
3.13/2.12 guaranteedGAC=false
3.13/2.12 wck=0.258, cpu=2.082, mem=29M227
3.13/2.12
3.13/2.12 Preprocessing
3.13/2.12 filters=7, nACremovedValues=9, nTotalRemovedValues=9, inconcistency=false
3.13/2.12 wck=0.004, cpu=2.087, mem=29M227
3.13/2.12
3.13/2.15 num=0, depth=1..7, filters=172, wck=0.028, mem=29M227
3.13/2.15 decisions=29, wrong=11, backtracks=2, failedAssignments=10, nogoods=7
3.13/2.15
3.13/2.16 num=1, depth=5..10, filters=365, wck=0.04, mem=29M227
3.13/2.16 decisions=65, wrong=24, backtracks=4, failedAssignments=21, nogoods=17
3.13/2.16
3.13/2.17 num=2, depth=3..10, filters=533, wck=0.047, mem=29M227
3.13/2.17 decisions=103, wrong=39, backtracks=7, failedAssignments=33, nogoods=26
3.13/2.17
3.13/2.17 num=3, depth=3..7, filters=643, wck=0.053, mem=29M227
3.13/2.17 decisions=139, wrong=54, backtracks=9, failedAssignments=46, nogoods=36
3.13/2.17
3.13/2.18 num=4, depth=4..12, filters=770, wck=0.059, mem=29M227
3.13/2.18 decisions=183, wrong=70, backtracks=11, failedAssignments=60, nogoods=48
3.13/2.18
3.13/2.20 num=5, depth=5..11, filters=917, wck=0.078, mem=29M227
3.13/2.20 decisions=230, wrong=88, backtracks=13, failedAssignments=76, nogoods=62
3.13/2.20
3.13/2.20 num=6, depth=1..14, filters=1213, wck=0.086, mem=31M870
3.13/2.20 decisions=283, wrong=109, backtracks=18, failedAssignments=93, nogoods=72
3.13/2.20
3.41/2.21 num=7, depth=6..11, filters=1548, wck=0.095, mem=31M870
3.41/2.21 decisions=338, wrong=132, backtracks=22, failedAssignments=112, nogoods=88
3.41/2.21
3.41/2.22 num=8, depth=5..12, filters=1824, wck=0.102, mem=31M870
3.41/2.22 decisions=398, wrong=156, backtracks=25, failedAssignments=133, nogoods=106
3.41/2.22
3.41/2.23 num=9, depth=5..6, filters=2290, wck=0.111, mem=31M870
3.41/2.23 decisions=456, wrong=182, backtracks=28, failedAssignments=156, nogoods=123
3.41/2.23
3.41/2.23 num=10, depth=4..10, filters=2598, wck=0.116, mem=31M870
3.41/2.23 decisions=519, wrong=209, backtracks=30, failedAssignments=181, nogoods=140
3.41/2.23
3.41/2.24 num=11, depth=9..11, filters=3009, wck=0.122, mem=31M870
3.41/2.24 decisions=596, wrong=243, backtracks=36, failedAssignments=209, nogoods=156
3.41/2.24
3.41/2.25 num=12, depth=4..11, filters=3432, wck=0.129, mem=31M870
3.41/2.25 decisions=677, wrong=278, backtracks=40, failedAssignments=240, nogoods=184
3.41/2.25
3.41/2.26 num=13, depth=6..11, filters=4532, wck=0.14, mem=31M870
3.41/2.26 decisions=779, wrong=325, backtracks=53, failedAssignments=274, nogoods=196
3.41/2.26
3.41/2.27 num=14, depth=6..15, filters=5372, wck=0.149, mem=31M870
3.41/2.27 decisions=894, wrong=376, backtracks=67, failedAssignments=311, nogoods=215
3.41/2.27
3.41/2.28 num=15, depth=6..12, filters=6090, wck=0.157, mem=31M870
3.41/2.28 decisions=999, wrong=423, backtracks=73, failedAssignments=352, nogoods=243
3.41/2.28
3.41/2.29 num=16, depth=6..15, filters=7459, wck=0.169, mem=31M870
3.41/2.29 decisions=1142, wrong=488, backtracks=95, failedAssignments=397, nogoods=265
3.41/2.29
3.41/2.30 num=17, depth=3..9, filters=8491, wck=0.178, mem=31M870
3.41/2.30 decisions=1265, wrong=546, backtracks=104, failedAssignments=447, nogoods=278
3.41/2.30
3.72/2.30 num=18, depth=4..16, filters=9343, wck=0.185, mem=31M870
3.72/2.30 decisions=1420, wrong=617, backtracks=122, failedAssignments=502, nogoods=301
3.72/2.30
3.72/2.31 num=19, depth=5..16, filters=10902, wck=0.194, mem=31M870
3.72/2.31 decisions=1603, wrong=701, backtracks=146, failedAssignments=563, nogoods=311
3.72/2.31
3.72/2.32 num=20, depth=2..15, filters=12140, wck=0.202, mem=31M870
3.72/2.32 decisions=1775, wrong=781, backtracks=159, failedAssignments=630, nogoods=341
3.72/2.32
3.72/2.33 num=21, depth=6..14, filters=14217, wck=0.215, mem=34M512
3.72/2.33 decisions=1982, wrong=879, backtracks=184, failedAssignments=704, nogoods=344
3.72/2.33
3.72/2.35 num=22, depth=6..11, filters=15886, wck=0.228, mem=34M512
3.72/2.35 decisions=2192, wrong=979, backtracks=204, failedAssignments=785, nogoods=383
3.72/2.35
3.72/2.36 num=23, depth=3..15, filters=18475, wck=0.244, mem=34M512
3.72/2.36 decisions=2439, wrong=1096, backtracks=232, failedAssignments=874, nogoods=404
3.72/2.36
3.72/2.37 num=24, depth=3..12, filters=20492, wck=0.255, mem=34M512
3.72/2.37 decisions=2717, wrong=1230, backtracks=268, failedAssignments=972, nogoods=428
3.72/2.37
3.72/2.39 num=25, depth=2..14, filters=23051, wck=0.27, mem=34M512
3.72/2.39 decisions=3015, wrong=1373, backtracks=305, failedAssignments=1080, nogoods=471
3.72/2.39
3.87/2.41 num=26, depth=5..14, filters=26444, wck=0.291, mem=34M512
3.87/2.41 decisions=3373, wrong=1547, backtracks=369, failedAssignments=1199, nogoods=502
3.87/2.41
3.87/2.43 num=27, depth=2..10, filters=29857, wck=0.317, mem=37M155
3.87/2.43 decisions=3761, wrong=1738, backtracks=435, failedAssignments=1330, nogoods=520
3.87/2.43
3.87/2.46 num=28, depth=6..14, filters=33705, wck=0.34, mem=37M155
3.87/2.46 decisions=4159, wrong=1931, backtracks=488, failedAssignments=1474, nogoods=542
3.87/2.46
3.87/2.48 num=29, depth=5..15, filters=36528, wck=0.357, mem=37M155
3.87/2.48 decisions=4575, wrong=2133, backtracks=534, failedAssignments=1632, nogoods=586
3.87/2.48
3.98/2.51 num=30, depth=6..12, filters=41349, wck=0.39, mem=37M155
3.98/2.51 decisions=5062, wrong=2371, backtracks=599, failedAssignments=1806, nogoods=631
3.98/2.51
3.98/2.53 num=31, depth=7..13, filters=44352, wck=0.409, mem=39M797
3.98/2.53 decisions=5537, wrong=2603, backtracks=640, failedAssignments=1997, nogoods=678
3.98/2.53
3.98/2.57 num=32, depth=3..14, filters=49758, wck=0.448, mem=39M797
3.98/2.57 decisions=6133, wrong=2897, backtracks=731, failedAssignments=2208, nogoods=690
3.98/2.57
4.12/2.61 num=33, depth=5..12, filters=55463, wck=0.492, mem=39M797
4.12/2.61 decisions=6720, wrong=3186, backtracks=800, failedAssignments=2440, nogoods=736
4.12/2.61
4.12/2.66 num=34, depth=4..13, filters=63544, wck=0.545, mem=42M440
4.12/2.66 decisions=7316, wrong=3479, backtracks=838, failedAssignments=2695, nogoods=757
4.12/2.66
4.23/2.71 num=35, depth=5..13, filters=70864, wck=0.594, mem=42M440
4.23/2.71 decisions=8142, wrong=3887, backtracks=981, failedAssignments=2976, nogoods=802
4.23/2.71
4.23/2.76 num=36, depth=5..16, filters=78287, wck=0.637, mem=45M82
4.23/2.76 decisions=9019, wrong=4319, backtracks=1120, failedAssignments=3285, nogoods=858
4.23/2.76
4.40/2.81 num=37, depth=3..15, filters=87069, wck=0.688, mem=45M82
4.40/2.81 decisions=9911, wrong=4759, backtracks=1227, failedAssignments=3625, nogoods=919
4.40/2.81
4.40/2.87 num=38, depth=4..12, filters=97807, wck=0.757, mem=47M724
4.40/2.87 decisions=10979, wrong=5288, backtracks=1387, failedAssignments=3999, nogoods=949
4.40/2.87
4.56/2.93 num=39, depth=8..12, filters=106461, wck=0.811, mem=47M724
4.56/2.93 decisions=11992, wrong=5790, backtracks=1481, failedAssignments=4410, nogoods=997
4.56/2.93
4.56/2.99 num=40, depth=9..13, filters=115701, wck=0.873, mem=50M367
4.56/2.99 decisions=13140, wrong=6358, backtracks=1610, failedAssignments=4862, nogoods=1068
4.56/2.99
4.69/3.03 num=41, depth=10..17, filters=124569, wck=0.917, mem=53M9
4.69/3.03 decisions=14401, wrong=6982, backtracks=1749, failedAssignments=5359, nogoods=1134
4.69/3.03
4.69/3.10 num=42, depth=6..14, filters=135714, wck=0.982, mem=53M9
4.69/3.10 decisions=15751, wrong=7651, backtracks=1881, failedAssignments=5906, nogoods=1157
4.69/3.10
4.79/3.18 num=43, depth=1..14, filters=148764, wck=1.064, mem=55M652
4.79/3.18 decisions=17304, wrong=8422, backtracks=2069, failedAssignments=6508, nogoods=1200
4.79/3.18
4.88/3.28 num=44, depth=3..15, filters=165228, wck=1.158, mem=58M294
4.88/3.28 decisions=19004, wrong=9266, backtracks=2264, failedAssignments=7170, nogoods=1264
4.88/3.28
4.99/3.37 num=45, depth=5..15, filters=184033, wck=1.255, mem=60M937
4.99/3.37 decisions=20948, wrong=10232, backtracks=2529, failedAssignments=7898, nogoods=1325
4.99/3.37
5.09/3.50 num=46, depth=0..12, filters=204482, wck=1.378, mem=63M579
5.09/3.50 decisions=23017, wrong=11262, backtracks=2764, failedAssignments=8699, nogoods=1362
5.09/3.50
5.29/3.63 num=47, depth=3..11, filters=219041, wck=1.511, mem=68M864
5.29/3.63 decisions=24995, wrong=12247, backtracks=2879, failedAssignments=9580, nogoods=1447
5.29/3.63
5.49/3.84 num=48, depth=2..9, filters=248649, wck=1.721, mem=74M149
5.49/3.84 decisions=27265, wrong=13379, backtracks=3046, failedAssignments=10550, nogoods=1537
5.49/3.84
5.70/4.01 num=49, depth=4..15, filters=280520, wck=1.891, mem=79M434
5.70/4.01 decisions=30169, wrong=14825, backtracks=3467, failedAssignments=11617, nogoods=1605
5.70/4.01
5.70/4.07 num=50, depth=7..36, filters=291517, ccks=49, wck=1.951, mem=82M76
5.70/4.07 decisions=31630, wrong=15549, backtracks=3686, failedAssignments=12153, nogoods=1605, foundSolutions=1
5.70/4.07
5.70/4.07 Global
5.70/4.07 filters=291517, ccks=49, nogoods=1605
5.70/4.07 Stop=REACHED_GOAL, wrong=15549, foundSolutions=1, firstSolCpu=4.028
5.70/4.07 wck=2.21, cpu=4.033, mem=82M76
5.70/4.07
5.70/4.07 v <instantiation id='sol1' type='solution'> <list> x[][] </list> <values> -17 -14 16 15 * * * -18 13 10 -7 2 * * 18 5 -4 -10 -3 -6 * 17 12 -2 -8 1 -9 -11 -16 -5 8 6 4 3 * -15 -12 7 11 9 * * 14 -13 0 -1 * * * </values> </instantiation>
5.70/4.07 s SATISFIABLE
5.70/4.07
5.70/4.07 d WRONG_DECISIONS 15549
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 (15189 MiB free)
memory of node 1: 16384 MiB (15141 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390515-1568383473/watcher-4390515-1568383473 -o /tmp/evaluation-result-4390515-1568383473/solver-4390515-1568383473 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568380474-26100 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390515-1568383473.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
solver pid=26835, runsolver pid=26832
Current StackSize limit: 8192 KiB
[startup+0.101537 s]*
/proc/loadavg: 1.92 2.01 2.04 4/230 26850
/proc/meminfo: memFree=31044024/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10659884 memory=29520 CPUtime=0.14 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 5839 0 0 0 13 1 0 0 20 0 15 0 414261315 10915721216 7380 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2664971 7380 2908 1 0 2627468 0
[pid=26835/tid=26837] ppid=26832 vsize=10659884 memory=-8125511277465736062 CPUtime=0.09 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) S 26832 26835 26068 0 -1 1077944384 3217 0 0 0 9 0 0 0 20 0 15 0 414261315 10915721216 7380 33554432000 4194304 4196468 140731175529056 140169204039312 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 7380 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 7380 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 7380 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 7380 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261317 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261318 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168757826464 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261318 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168756773872 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261320 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 414261320 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10659884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) R 26832 26835 26068 0 -1 1077944384 556 0 0 0 1 0 0 0 20 0 15 0 414261320 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0.02 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) R 26832 26835 26068 0 -1 4202560 605 0 0 0 2 0 0 0 20 0 15 0 414261320 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168752561032 140169199829594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261321 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261321 10915721216 7380 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29520 KiB
[startup+0.211334 s]*
/proc/loadavg: 1.92 2.01 2.04 3/230 26850
/proc/meminfo: memFree=31036520/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10659884 memory=34884 CPUtime=0.33 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 6843 0 0 0 31 2 0 0 20 0 15 0 414261315 10915721216 8721 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2664971 8721 2987 1 0 2627468 0
[pid=26835/tid=26837] ppid=26832 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) R 26832 26835 26068 0 -1 4202560 3877 0 0 0 19 1 0 0 20 0 15 0 414261315 10915721216 8721 33554432000 4194304 4196468 140731175529056 140169204040336 140169199830173 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 8721 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10659884 memory=3689212968621876896 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 8721 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 8721 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 8721 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261317 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261318 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168757826464 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261318 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168756773872 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261320 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 15 0 414261320 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) S 26832 26835 26068 0 -1 1077944384 784 0 0 0 4 0 0 0 20 0 15 0 414261320 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0.05 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) S 26832 26835 26068 0 -1 1077944384 644 0 0 0 5 0 0 0 20 0 15 0 414261320 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168752564976 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261321 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261321 10915721216 8721 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34884 KiB
[startup+0.312383 s]*
/proc/loadavg: 1.93 2.01 2.04 3/230 26850
/proc/meminfo: memFree=31028780/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10659884 memory=40348 CPUtime=0.47 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 9395 0 0 0 44 3 0 0 20 0 15 0 414261315 10915721216 10087 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2664971 10087 3000 1 0 2627468 0
[pid=26835/tid=26837] ppid=26832 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) R 26832 26835 26068 0 -1 4202560 6338 0 0 0 28 2 0 0 20 0 15 0 414261315 10915721216 10087 33554432000 4194304 4196468 140731175529056 140169204040656 140169183888734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 10087 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10659884 memory=4122675636663264928 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 10087 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 10087 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261316 10915721216 10087 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261317 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261318 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168757826464 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261318 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168756773872 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261320 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 15 0 414261320 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10659884 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) S 26832 26835 26068 0 -1 1077944384 830 0 0 0 5 0 0 0 20 0 15 0 414261320 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0.07 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) R 26832 26835 26068 0 -1 4202560 683 0 0 0 7 0 0 0 20 0 15 0 414261320 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168752564976 140169183888734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261321 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10659884 memory=140127023441536 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261321 10915721216 10087 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40348 KiB
[startup+0.700772 s]
/proc/loadavg: 1.93 2.01 2.04 3/230 26850
/proc/meminfo: memFree=31018960/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10661932 memory=61736 CPUtime=1.1 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 13059 0 0 0 104 6 0 0 20 0 15 0 414261315 10917818368 15434 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2665483 15434 3072 1 0 2627980 0
[pid=26835/tid=26837] ppid=26832 vsize=10661932 memory=1240 CPUtime=0.67 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) R 26832 26835 26068 0 -1 4202560 8876 0 0 0 63 4 0 0 20 0 15 0 414261315 10917818368 15434 33554432000 4194304 4196468 140731175529056 140169204040272 140168826669654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10661932 memory=580 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10917818368 15434 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10661932 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10917818368 15434 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10661932 memory=3436 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10917818368 15434 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10661932 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261316 10917818368 15434 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261317 10917818368 15434 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10661932 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414261318 10917818368 15434 33554432000 4194304 4196468 140731175529056 140168757826464 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10661932 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414261318 10917818368 15946 33554432000 4194304 4196468 140731175529056 140168756773872 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10661932 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261320 10917818368 15946 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10661932 memory=7811607157327816530 CPUtime=0.09 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 541 0 0 0 9 0 0 0 20 0 15 0 414261320 10917818368 15946 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10661932 memory=7236547281622689387 CPUtime=0.12 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) S 26832 26835 26068 0 -1 1077944384 1109 0 0 0 12 0 0 0 20 0 15 0 414261320 10917818368 15946 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) S 26832 26835 26068 0 -1 1077944384 1175 0 0 0 18 0 0 0 20 0 15 0 414261320 10917818368 15946 33554432000 4194304 4196468 140731175529056 140168752564976 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414261321 10917818368 15946 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261321 10917818368 15946 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61736 KiB
[startup+1.50081 s]
/proc/loadavg: 1.93 2.01 2.04 3/230 26850
/proc/meminfo: memFree=31003480/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10663980 memory=75928 CPUtime=2 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 18697 0 0 0 194 6 0 0 20 0 15 0 414261315 10919915520 18982 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2665995 18982 3094 1 0 2628492 0
[pid=26835/tid=26837] ppid=26832 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) R 26832 26835 26068 0 -1 4202560 13181 0 0 0 142 5 0 0 20 0 15 0 414261315 10919915520 18982 33554432000 4194304 4196468 140731175529056 140169204040272 140169183888734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10919915520 18982 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10919915520 18982 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414261316 10919915520 18982 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414261316 10919915520 18982 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 414261317 10919915520 18982 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
################
# More data... #
################
[pid=26835/tid=26838] ppid=26832 vsize=10746276 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10746276 memory=7223880786990092368 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10746276 memory=7883944108235712103 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10746276 memory=7523070107455612243 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 1106 0 0 0 1 0 0 0 20 0 16 0 414261317 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10746276 memory=115319871924449 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168757826528 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10746276 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168756773888 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10746276 memory=35564 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10746276 memory=988 CPUtime=0.59 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 1293 0 0 0 59 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10746276 memory=2012 CPUtime=0.61 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) S 26832 26835 26068 0 -1 1077944384 2221 0 0 0 61 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10746276 memory=1240 CPUtime=0.42 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) S 26832 26835 26068 0 -1 1077944384 1809 0 0 0 42 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168752564976 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10746276 memory=580 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10746276 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26851] ppid=26832 vsize=10746276 memory=3436 CPUtime=1.18 cores=0,2,4,6
/proc/26835/task/26851/stat : 26851 (java) R 26832 26835 26068 0 -1 4202560 3543 0 0 0 117 1 0 0 20 0 16 0 414261504 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168666307792 140168829189116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 152640 KiB
[startup+4.08093 s]
# the end of solver process 26835 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.6592 s, system=0.139883 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20092 s]
/proc/loadavg: 1.93 2.01 2.04 3/231 26851
/proc/meminfo: memFree=30918832/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10746276 memory=152640 CPUtime=4.88 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 27050 0 0 0 475 13 0 0 20 0 16 0 414261315 11004186624 38160 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2686569 38160 3341 1 0 2646705 0
[pid=26835/tid=26837] ppid=26832 vsize=10746276 memory=2832 CPUtime=1.87 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) S 26832 26835 26068 0 -1 1077944384 15441 0 0 0 180 7 0 0 20 0 16 0 414261315 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169204051120 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10746276 memory=31 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10746276 memory=26 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 1106 0 0 0 1 0 0 0 20 0 16 0 414261317 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10746276 memory=9 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168757826528 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168756773888 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10746276 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10746276 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 1293 0 0 0 59 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10746276 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) S 26832 26835 26068 0 -1 1077944384 2221 0 0 0 61 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10746276 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) S 26832 26835 26068 0 -1 1077944384 1809 0 0 0 42 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168752564976 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10746276 memory=67 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26851] ppid=26832 vsize=10746276 memory=13869 CPUtime=1.27 cores=0,2,4,6
/proc/26835/task/26851/stat : 26851 (java) R 26832 26835 26068 0 -1 4202560 3543 0 0 0 126 1 0 0 20 0 16 0 414261504 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168666313104 140168829648756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 152640 KiB
[startup+3.60071 s]
/proc/loadavg: 1.93 2.01 2.04 3/231 26851
/proc/meminfo: memFree=30918832/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10746276 memory=152640 CPUtime=5.29 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 27053 0 0 0 516 13 0 0 20 0 16 0 414261315 11004186624 38160 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2686569 38160 3341 1 0 2646705 0
[pid=26835/tid=26837] ppid=26832 vsize=10746276 memory=8316868033356759116 CPUtime=1.87 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) S 26832 26835 26068 0 -1 1077944384 15441 0 0 0 180 7 0 0 20 0 16 0 414261315 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169204051120 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10746276 memory=21323 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10746276 memory=4122539916276269088 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10746276 memory=3690198737434793834 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10746276 memory=7452451782882120016 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 38160 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10746276 memory=7451044407947903084 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 1106 0 0 0 1 0 0 0 20 0 16 0 414261317 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10746276 memory=5859271421085237344 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168757826528 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168756773888 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10746276 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10746276 memory=2244 CPUtime=0.6 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 1294 0 0 0 60 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10746276 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) S 26832 26835 26068 0 -1 1077944384 2221 0 0 0 61 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10746276 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) S 26832 26835 26068 0 -1 1077944384 1810 0 0 0 42 0 0 0 20 0 16 0 414261320 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168752564976 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26851] ppid=26832 vsize=10746276 memory=0 CPUtime=1.67 cores=0,2,4,6
/proc/26835/task/26851/stat : 26851 (java) R 26832 26835 26068 0 -1 4202560 3544 0 0 0 166 1 0 0 20 0 16 0 414261504 11004186624 38160 33554432000 4194304 4196468 140731175529056 140168666307792 140168829058916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 5.29 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 152640 KiB
[startup+4.00078 s]*
/proc/loadavg: 1.93 2.01 2.04 3/231 26851
/proc/meminfo: memFree=30905640/32770624 swapFree=67000240/67108860
[pid=26835] ppid=26832 vsize=10746276 memory=165052 CPUtime=5.7 cores=0,2,4,6
/proc/26835/stat : 26835 (java) S 26832 26835 26068 0 -1 1077944320 27070 0 0 0 557 13 0 0 20 0 16 0 414261315 11004186624 41263 33554432000 4194304 4196468 140731175529056 140731175511600 140169199808247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
/proc/26835/statm: 2686569 41263 3341 1 0 2646705 0
[pid=26835/tid=26837] ppid=26832 vsize=10746276 memory=6791534058613427641 CPUtime=1.87 cores=0,2,4,6
/proc/26835/task/26837/stat : 26837 (java) S 26832 26835 26068 0 -1 1077944384 15441 0 0 0 180 7 0 0 20 0 16 0 414261315 11004186624 41263 33554432000 4194304 4196468 140731175529056 140169204051120 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26838] ppid=26832 vsize=10746276 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26838/stat : 26838 (java) S 26832 26835 26068 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 41263 33554432000 4194304 4196468 140731175529056 140169152428816 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26839] ppid=26832 vsize=10746276 memory=4225 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26839/stat : 26839 (java) S 26832 26835 26068 0 -1 1077944384 119 0 0 0 1 0 0 0 20 0 16 0 414261316 11004186624 41263 33554432000 4194304 4196468 140731175529056 140169151376272 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26840] ppid=26832 vsize=10746276 memory=14 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26840/stat : 26840 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 41263 33554432000 4194304 4196468 140731175529056 140169150323728 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26841] ppid=26832 vsize=10746276 memory=1344 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26841/stat : 26841 (java) S 26832 26835 26068 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414261316 11004186624 41263 33554432000 4194304 4196468 140731175529056 140169149271184 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26842] ppid=26832 vsize=10746276 memory=156 CPUtime=0.01 cores=0,2,4,6
/proc/26835/task/26842/stat : 26842 (java) S 26832 26835 26068 0 -1 1077944384 1106 0 0 0 1 0 0 0 20 0 16 0 414261317 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168758880240 140169199819394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26843] ppid=26832 vsize=10746276 memory=385 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26843/stat : 26843 (java) S 26832 26835 26068 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168757826528 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26844] ppid=26832 vsize=10746276 memory=982 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26844/stat : 26844 (java) S 26832 26835 26068 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414261318 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168756773888 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26845] ppid=26832 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26845/stat : 26845 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261320 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168755722448 140169199826843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26846] ppid=26832 vsize=10746276 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/26835/task/26846/stat : 26846 (java) S 26832 26835 26068 0 -1 1077944384 1294 0 0 0 60 0 0 0 20 0 16 0 414261320 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168754670064 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26847] ppid=26832 vsize=10746276 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/26835/task/26847/stat : 26847 (java) S 26832 26835 26068 0 -1 1077944384 2221 0 0 0 62 0 0 0 20 0 16 0 414261320 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168753617520 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26848] ppid=26832 vsize=10746276 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/26835/task/26848/stat : 26848 (java) S 26832 26835 26068 0 -1 1077944384 1813 0 0 0 42 0 0 0 20 0 16 0 414261320 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168752564976 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26849] ppid=26832 vsize=10746276 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26849/stat : 26849 (java) S 26832 26835 26068 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168751512672 140169199818453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26850] ppid=26832 vsize=10746276 memory=3546215988220253879 CPUtime=0 cores=0,2,4,6
/proc/26835/task/26850/stat : 26850 (java) S 26832 26835 26068 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414261321 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168750459184 140169199819394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
[pid=26835/tid=26851] ppid=26832 vsize=10746276 memory=2319389199166742582 CPUtime=2.08 cores=0,2,4,6
/proc/26835/task/26851/stat : 26851 (java) R 26832 26835 26068 0 -1 4202560 3556 0 0 0 207 1 0 0 20 0 16 0 414261504 11004186624 41263 33554432000 4194304 4196468 140731175529056 140168666307792 140168829189019 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19496960 140731175535627 140731175535730 140731175535730 140731175538639 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 165052 KiB
Child status: 0
Real time (s): 4.08097
CPU time (s): 5.79909
CPU user time (s): 5.6592
CPU system time (s): 0.139883
CPU usage (%): 142.101
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 165052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.6592
system time used= 0.139883
maximum resident set size= 169808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27179
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= 2453
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 26835
# total CPU time (s): 5.79909
# total CPU user time (s): 5.6592
# total CPU system time (s): 0.139883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05392 second user time and 0.083288 second system time
The end