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 (14440 MiB free)
memory of node 1: 16384 MiB (15235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392221-1568307285/watcher-4392221-1568307285 -o /tmp/evaluation-result-4392221-1568307285/solver-4392221-1568307285 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568307244-30926 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=900359304 HOME/instance-4392221-1568307285.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30956, runsolver pid=30949
[startup+0.101272 s]*
/proc/loadavg: 1.00 1.03 1.25 4/225 31029
/proc/meminfo: memFree=30361840/32770624 swapFree=66915716/67108860
[pid=30956] ppid=30949 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/30956/stat : 30956 (bash) S 30949 30956 30895 0 -1 4202496 889 5691 0 0 0 0 0 1 20 0 1 0 406979073 115974144 403 33554432000 4194304 5098028 140729153387760 140729153381768 140153535204352 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 3 0 0 7196144 7232144 14626816 140729153389589 140729153389713 140729153389713 140729153392622 0
/proc/30956/statm: 28314 403 320 221 0 119 0
[pid=31009] ppid=30956 vsize=113256 memory=704 CPUtime=0 cores=0,2,4,6
/proc/31009/stat : 31009 (bash) S 30956 30956 30895 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 1 0 406979078 115974144 176 33554432000 4194304 5098028 140729153387760 140729153380440 140153535029884 0 65536 4096 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14626816 140729153389589 140729153389713 140729153389713 140729153392622 0
/proc/31009/statm: 28314 176 93 221 0 119 0
[pid=31011] ppid=31009 vsize=10526580 memory=21892 CPUtime=0.05 cores=0,2,4,6
/proc/31011/stat : 31011 (java) S 31009 30956 30895 0 -1 1077944320 4438 0 0 0 4 1 0 0 20 0 13 0 406979078 10779217920 5473 33554432000 4194304 4196468 140727160874064 140727160856608 140640782065399 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
/proc/31011/statm: 2631645 5473 2241 1 0 2594186 0
[pid=31011/tid=31015] ppid=31009 vsize=10526580 memory=7751702667093440019 CPUtime=0.04 cores=0,2,4,6
/proc/31011/task/31015/stat : 31015 (java) R 31009 30956 30895 0 -1 4202560 2989 0 0 0 4 0 0 0 20 0 13 0 406979079 10779217920 5539 33554432000 4194304 4196468 140727160874064 140640786299288 140640782077334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31018] ppid=31009 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31018/stat : 31018 (java) S 31009 30956 30895 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 406979079 10779217920 5539 33554432000 4194304 4196468 140727160874064 140640718756624 140640782075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31021] ppid=31009 vsize=10526580 memory=139807507146368 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31021/stat : 31021 (java) S 31009 30956 30895 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 406979079 10779217920 5539 33554432000 4194304 4196468 140727160874064 140640387984272 140640782075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31022] ppid=31009 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31022/stat : 31022 (java) S 31009 30956 30895 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 406979079 10779217920 5605 33554432000 4194304 4196468 140727160874064 140640386931728 140640782075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31023] ppid=31009 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31023/stat : 31023 (java) S 31009 30956 30895 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 406979079 10779217920 5605 33554432000 4194304 4196468 140727160874064 140640385879184 140640782075605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31025] ppid=31009 vsize=10526580 memory=139807507146368 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31025/stat : 31025 (java) S 31009 30956 30895 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 406979081 10779217920 5605 33554432000 4194304 4196468 140727160874064 140640274069488 140640782076546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31027] ppid=31009 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31027/stat : 31027 (java) S 31009 30956 30895 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 406979081 10779217920 5605 33554432000 4194304 4196468 140727160874064 140640273015712 140640782075605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31029] ppid=31009 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31029/stat : 31029 (java) S 31009 30956 30895 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 406979082 10779217920 5605 33554432000 4194304 4196468 140727160874064 140640271963120 140640782075605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31034] ppid=31009 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31034/stat : 31034 (java) S 31009 30956 30895 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 406979084 10779217920 5605 33554432000 4194304 4196468 140727160874064 140640270911696 140640782083995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31035] ppid=31009 vsize=10526580 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31035/stat : 31035 (java) R 31009 30956 30895 0 -1 4202560 263 0 0 0 0 0 0 0 20 0 13 0 406979084 10779217920 5605 33554432000 4194304 4196468 140727160874064 140640269852584 140640761950816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31036] ppid=31009 vsize=10526580 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31036/stat : 31036 (java) S 31009 30956 30895 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 406979084 10779217920 5671 33554432000 4194304 4196468 140727160874064 140640268806464 140640782075605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31011/tid=31037] ppid=31009 vsize=10526580 memory=139807507146368 CPUtime=0 cores=0,2,4,6
/proc/31011/task/31037/stat : 31037 (java) S 31009 30956 30895 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 13 0 406979084 10779217920 5671 33554432000 4194304 4196468 140727160874064 140640267754224 140640782076546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13402112 140727160878220 140727160878234 140727160878234 140727160881103 0
[pid=31013] ppid=31009 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/31013/stat : 31013 (awk) S 31009 30956 30895 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 406979078 116211712 243 33554432000 4194304 4609284 140732108369296 140732108368472 139936703532032 0 0 4096 1216 18446744071580971376 0 0 17 6 0 0 0 0 0 6708720 6711756 33021952 140732108375228 140732108375258 140732108375258 140732108378095 0
/proc/31013/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10866580 KiB
Current children cumulated memory: 25180 KiB
[startup+0.210845 s]*
/proc/loadavg: 1.00 1.03 1.25 4/219 31075
/proc/meminfo: memFree=30353420/32770624 swapFree=66915716/67108860
[pid=30956] ppid=30949 vsize=10355560 memory=25856 CPUtime=0.13 cores=0,2,4,6
/proc/30956/stat : 30956 (java) S 30949 30956 30895 0 -1 1077944320 5202 13302 0 0 4 1 5 3 20 0 9 0 406979073 10604093440 6464 33554432000 4194304 4196468 140729352054864 140729352037408 140305734885111 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
/proc/30956/statm: 2588890 6464 2179 1 0 2551431 0
[pid=30956/tid=31061] ppid=30949 vsize=10355560 memory=7022364594140610616 CPUtime=0.11 cores=0,2,4,6
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 2978 13302 0 0 3 0 5 3 20 0 9 0 406979090 10604093440 6464 33554432000 4194304 4196468 140729352054864 140305706721144 140305718965598 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10355560 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 9 0 406979091 10604093440 6464 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10355560 memory=288370183658858112 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 9 0 406979091 10604093440 6464 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 9 0 406979091 10604093440 6464 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800971 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 9 0 406979091 10604093440 6464 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10355560 memory=139807507146368 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 9 0 406979092 10604093440 6464 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 13 13302 0 0 0 0 5 3 20 0 9 0 406979093 10604093440 6464 33554432000 4194304 4196468 140729352054864 140304636175904 140305734895317 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 9 0 406979093 10604093440 6464 33554432000 4194304 4196468 140729352054864 140304501958000 140305734895317 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 25856 KiB
[startup+0.310242 s]*
/proc/loadavg: 1.00 1.03 1.25 4/231 31087
/proc/meminfo: memFree=30327312/32770624 swapFree=66915716/67108860
[pid=30956] ppid=30949 vsize=10819964 memory=45216 CPUtime=0.29 cores=0,2,4,6
/proc/30956/stat : 30956 (java) S 30949 30956 30895 0 -1 1077944320 9296 13302 0 0 19 2 5 3 20 0 15 0 406979073 11079643136 11304 33554432000 4194304 4196468 140729352054864 140729352037408 140305734885111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
/proc/30956/statm: 2704991 11304 2981 1 0 2667405 0
[pid=30956/tid=31061] ppid=30949 vsize=10819964 memory=6791534058613427641 CPUtime=0.21 cores=0,2,4,6
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 5799 13302 0 0 12 1 5 3 20 0 15 0 406979090 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305706683120 140305727564829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10819964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979091 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10819964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979091 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10819964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979091 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10819964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 406979091 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10819964 memory=170926135 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 406979092 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10819964 memory=9 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 13 13302 0 0 0 0 5 3 20 0 15 0 406979093 11079643136 11304 33554432000 4194304 4196468 140729352054864 140304636175904 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10819964 memory=7954878014945318510 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979093 11079643136 11304 33554432000 4194304 4196468 140729352054864 140304501958000 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31080] ppid=30949 vsize=10819964 memory=2320536002981215593 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31080/stat : 31080 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11079643136 11304 33554432000 4194304 4196468 140729352054864 140304261667152 140305734903707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31081] ppid=30949 vsize=10819964 memory=288230574492221466 CPUtime=0.09 cores=0,2,4,6
/proc/30956/task/31081/stat : 31081 (java) S 30949 30956 30895 0 -1 1077944384 356 13302 0 0 1 0 5 3 20 0 15 0 406979096 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305260513648 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31082] ppid=30949 vsize=10819964 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30956/task/31082/stat : 31082 (java) S 30949 30956 30895 0 -1 1077944384 281 13302 0 0 1 0 5 3 20 0 15 0 406979096 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305259460848 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31083] ppid=30949 vsize=10819964 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/30956/task/31083/stat : 31083 (java) S 30949 30956 30895 0 -1 1077944384 628 13302 0 0 3 0 5 3 20 0 15 0 406979096 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305258408048 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31085] ppid=30949 vsize=10819964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31085/stat : 31085 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11079643136 11304 33554432000 4194304 4196468 140729352054864 140304228108512 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31086] ppid=30949 vsize=10819964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31086/stat : 31086 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979096 11079643136 11304 33554432000 4194304 4196468 140729352054864 140305257356464 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10819964 KiB
Current children cumulated memory: 45216 KiB
[startup+0.702366 s]
/proc/loadavg: 1.00 1.03 1.25 4/231 31087
/proc/meminfo: memFree=30298412/32770624 swapFree=66915716/67108860
[pid=30956] ppid=30949 vsize=10822292 memory=73048 CPUtime=0.92 cores=0,2,4,6
/proc/30956/stat : 30956 (java) S 30949 30956 30895 0 -1 1077944320 14039 13302 0 0 79 5 5 3 20 0 15 0 406979073 11082027008 18262 33554432000 4194304 4196468 140729352054864 140729352037408 140305734885111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
/proc/30956/statm: 2705573 18262 3479 1 0 2667661 0
[pid=30956/tid=31061] ppid=30949 vsize=10822292 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 9863 13302 0 0 46 4 5 3 20 0 15 0 406979090 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305706704656 140305734907037 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979091 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979091 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979091 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10822292 memory=8387335622652913402 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 406979091 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10822292 memory=36428 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 5 13302 0 0 0 0 5 3 20 0 15 0 406979092 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10822292 memory=992 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 13 13302 0 0 0 0 5 3 20 0 15 0 406979093 11082027008 18262 33554432000 4194304 4196468 140729352054864 140304636175904 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10822292 memory=2044 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979093 11082027008 18262 33554432000 4194304 4196468 140729352054864 140304501958000 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31080] ppid=30949 vsize=10822292 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31080/stat : 31080 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11082027008 18262 33554432000 4194304 4196468 140729352054864 140304261667152 140305734903707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31081] ppid=30949 vsize=10822292 memory=620 CPUtime=0.18 cores=0,2,4,6
/proc/30956/task/31081/stat : 31081 (java) R 30949 30956 30895 0 -1 4202560 709 13302 0 0 10 0 5 3 20 0 15 0 406979096 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305260499672 140305714131338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31082] ppid=30949 vsize=10822292 memory=3356 CPUtime=0.15 cores=0,2,4,6
/proc/30956/task/31082/stat : 31082 (java) R 30949 30956 30895 0 -1 1077944384 495 13302 0 0 7 0 5 3 20 0 15 0 406979096 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305259460848 140305734896258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31083] ppid=30949 vsize=10822292 memory=2828 CPUtime=0.23 cores=0,2,4,6
/proc/30956/task/31083/stat : 31083 (java) R 30949 30956 30895 0 -1 4202560 762 13302 0 0 15 0 5 3 20 0 15 0 406979096 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305258408048 140305714294188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31085] ppid=30949 vsize=10822292 memory=1712 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31085/stat : 31085 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11082027008 18262 33554432000 4194304 4196468 140729352054864 140304228108512 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31086] ppid=30949 vsize=10822292 memory=7302135314614015849 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31086/stat : 31086 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979096 11082027008 18262 33554432000 4194304 4196468 140729352054864 140305257356464 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
Current children cumulated CPU time: 0.92 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 73048 KiB
[startup+1.50671 s]
/proc/loadavg: 1.00 1.03 1.25 6/231 31087
/proc/meminfo: memFree=30213476/32770624 swapFree=66915716/67108860
[pid=30956] ppid=30949 vsize=10826464 memory=218384 CPUtime=3.28 cores=0,2,4,6
/proc/30956/stat : 30956 (java) S 30949 30956 30895 0 -1 1077944320 21015 13302 0 0 310 10 5 3 20 0 15 0 406979073 11086299136 54596 33554432000 4194304 4196468 140729352054864 140729352037408 140305734885111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
/proc/30956/statm: 2706616 54596 3568 1 0 2668685 0
[pid=30956/tid=31061] ppid=30949 vsize=10826464 memory=6791534058613427641 CPUtime=1.33 cores=0,2,4,6
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 11532 13302 0 0 119 6 5 3 20 0 15 0 406979090 11086299136 54596 33554432000 4194304 4196468 140729352054864 140305706720400 140305324079865 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10826464 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 42 13302 0 0 1 0 5 3 20 0 15 0 406979091 11086299136 54596 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10826464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 10 13302 0 0 0 0 5 3 20 0 15 0 406979091 11086299136 54596 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10826464 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 340 13302 0 0 1 0 5 3 20 0 15 0 406979091 11086299136 54596 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10826464 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 57 13302 0 0 1 0 5 3 20 0 15 0 406979091 11086299136 54596 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10826464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 97 13302 0 0 0 0 5 3 20 0 15 0 406979092 11086299136 54596 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10826464 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 14 13302 0 0 0 0 5 3 20 0 15 0 406979093 11086299136 54596 33554432000 4194304 4196468 140729352054864 140304636175904 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10826464 memory=6532644538239197303 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 406979093 11086299136 54596 33554432000 4194304 4196468 140729352054864 140304501958000 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31080] ppid=30949 vsize=10826464 memory=-6369074288953532300 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31080/stat : 31080 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11086299136 54596 33554432000 4194304 4196468 140729352054864 140304261667152 140305734903707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31081] ppid=30949 vsize=10826464 memory=-6658395471559884685 CPUtime=0.81 cores=0,2,4,6
################
# More data... #
################
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 140554 13302 0 0 225675 58 5 3 20 0 15 0 406979090 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305706720736 140305338804295 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10846964 memory=2771556 CPUtime=2.08 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 23821 13302 0 0 182 18 5 3 20 0 15 0 406979091 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10846964 memory=2771504 CPUtime=2.1 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 27260 13302 0 0 185 17 5 3 20 0 15 0 406979091 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10846964 memory=2771556 CPUtime=2.07 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 29838 13302 0 0 183 16 5 3 20 0 15 0 406979091 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10846964 memory=2044 CPUtime=2.11 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 33609 13302 0 0 186 17 5 3 20 0 15 0 406979091 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10846964 memory=2771556 CPUtime=1.81 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 26779 13302 0 0 161 12 5 3 20 0 15 0 406979092 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10846964 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 27 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692889 33554432000 4194304 4196468 140729352054864 140304636175968 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10846964 memory=2771556 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 6 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692889 33554432000 4194304 4196468 140729352054864 140304501958016 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31080] ppid=30949 vsize=10846964 memory=2771504 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31080/stat : 31080 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692889 33554432000 4194304 4196468 140729352054864 140304261667152 140305734903707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31081] ppid=30949 vsize=10846964 memory=2771556 CPUtime=11.24 cores=0,2,4,6
/proc/30956/task/31081/stat : 31081 (java) S 30949 30956 30895 0 -1 1077944384 23932 13302 0 0 1110 6 5 3 20 0 15 0 406979096 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305260513648 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31082] ppid=30949 vsize=10846964 memory=3628 CPUtime=11.68 cores=0,2,4,6
/proc/30956/task/31082/stat : 31082 (java) S 30949 30956 30895 0 -1 1077944384 28986 13302 0 0 1154 6 5 3 20 0 15 0 406979096 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305259460848 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31083] ppid=30949 vsize=10846964 memory=992 CPUtime=4.27 cores=0,2,4,6
/proc/30956/task/31083/stat : 31083 (java) S 30949 30956 30895 0 -1 1077944384 20021 13302 0 0 413 6 5 3 20 0 15 0 406979096 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305258408048 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31085] ppid=30949 vsize=10846964 memory=2044 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31085/stat : 31085 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692889 33554432000 4194304 4196468 140729352054864 140304228108512 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31086] ppid=30949 vsize=10846964 memory=36524 CPUtime=0.89 cores=0,2,4,6
/proc/30956/task/31086/stat : 31086 (java) S 30949 30956 30895 0 -1 1077944384 1526 13302 0 0 38 43 5 3 20 0 15 0 406979096 11107291136 692889 33554432000 4194304 4196468 140729352054864 140305257356464 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
Current children cumulated CPU time: 2295.05 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2771556 KiB
[startup+2322.3 s]
/proc/loadavg: 1.37 1.40 1.41 4/232 31330
/proc/meminfo: memFree=26782696/32770624 swapFree=66915744/67108860
[pid=30956] ppid=30949 vsize=10846964 memory=2771688 CPUtime=2355.3 cores=0,2,4,6
/proc/30956/stat : 30956 (java) S 30949 30956 30895 0 -1 1077944320 364045 13302 0 0 235341 181 5 3 20 0 15 0 406979073 11107291136 692922 33554432000 4194304 4196468 140729352054864 140729352037408 140305734885111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
/proc/30956/statm: 2711741 692922 3638 1 0 2673805 0
[pid=30956/tid=31061] ppid=30949 vsize=10846964 memory=2771688 CPUtime=2317.22 cores=0,2,4,6
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 141804 13302 0 0 231656 58 5 3 20 0 15 0 406979090 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305706720624 140305342393689 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10846964 memory=2771616 CPUtime=2.17 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 25920 13302 0 0 190 19 5 3 20 0 15 0 406979091 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10846964 memory=2771688 CPUtime=2.18 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 27841 13302 0 0 193 17 5 3 20 0 15 0 406979091 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10846964 memory=2771688 CPUtime=2.15 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 30514 13302 0 0 191 16 5 3 20 0 15 0 406979091 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10846964 memory=2771688 CPUtime=2.19 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 33723 13302 0 0 194 17 5 3 20 0 15 0 406979091 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10846964 memory=2771688 CPUtime=1.89 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 27472 13302 0 0 168 13 5 3 20 0 15 0 406979092 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10846964 memory=2771616 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 27 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692922 33554432000 4194304 4196468 140729352054864 140304636175968 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10846964 memory=2771612 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 6 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692922 33554432000 4194304 4196468 140729352054864 140304501958016 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31080] ppid=30949 vsize=10846964 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31080/stat : 31080 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692922 33554432000 4194304 4196468 140729352054864 140304261667152 140305734903707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31081] ppid=30949 vsize=10846964 memory=500 CPUtime=11.24 cores=0,2,4,6
/proc/30956/task/31081/stat : 31081 (java) S 30949 30956 30895 0 -1 1077944384 23938 13302 0 0 1110 6 5 3 20 0 15 0 406979096 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305260513648 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31082] ppid=30949 vsize=10846964 memory=2771688 CPUtime=11.68 cores=0,2,4,6
/proc/30956/task/31082/stat : 31082 (java) S 30949 30956 30895 0 -1 1077944384 28995 13302 0 0 1154 6 5 3 20 0 15 0 406979096 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305259460848 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31083] ppid=30949 vsize=10846964 memory=2771688 CPUtime=4.27 cores=0,2,4,6
/proc/30956/task/31083/stat : 31083 (java) S 30949 30956 30895 0 -1 1077944384 20027 13302 0 0 413 6 5 3 20 0 15 0 406979096 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305258408048 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31085] ppid=30949 vsize=10846964 memory=2771688 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31085/stat : 31085 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692922 33554432000 4194304 4196468 140729352054864 140304228108512 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31086] ppid=30949 vsize=10846964 memory=2312 CPUtime=0.92 cores=0,2,4,6
/proc/30956/task/31086/stat : 31086 (java) S 30949 30956 30895 0 -1 1077944384 1568 13302 0 0 40 44 5 3 20 0 15 0 406979096 11107291136 692922 33554432000 4194304 4196468 140729352054864 140305257356464 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
Current children cumulated CPU time: 2355.3 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2771688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2366.9 s]
/proc/loadavg: 1.51 1.42 1.42 3/232 31465
/proc/meminfo: memFree=26900584/32770624 swapFree=66915744/67108860
[pid=30956] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2400.08 cores=0,2,4,6
/proc/30956/stat : 30956 (java) S 30949 30956 30895 0 -1 1077944320 368175 13302 0 0 239817 183 5 3 20 0 15 0 406979073 11107291136 692954 33554432000 4194304 4196468 140729352054864 140729352037408 140305734885111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
/proc/30956/statm: 2711741 692954 3638 1 0 2673805 0
[pid=30956/tid=31061] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2361.67 cores=0,2,4,6
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 142681 13302 0 0 236101 58 5 3 20 0 15 0 406979090 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305706720928 140305342874896 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2.23 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 26517 13302 0 0 196 19 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2.25 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 27975 13302 0 0 199 18 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2.22 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 32516 13302 0 0 198 16 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10846964 memory=2771780 CPUtime=2.26 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 33805 13302 0 0 200 18 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10846964 memory=2771780 CPUtime=1.95 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 27884 13302 0 0 174 13 5 3 20 0 15 0 406979092 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10846964 memory=2771780 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 27 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304636175968 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10846964 memory=2771780 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 6 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304501958016 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31080] ppid=30949 vsize=10846964 memory=2771816 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31080/stat : 31080 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304261667152 140305734903707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31081] ppid=30949 vsize=10846964 memory=3628 CPUtime=11.24 cores=0,2,4,6
/proc/30956/task/31081/stat : 31081 (java) S 30949 30956 30895 0 -1 1077944384 23940 13302 0 0 1110 6 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305260513648 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31082] ppid=30949 vsize=10846964 memory=303430223234596890 CPUtime=11.68 cores=0,2,4,6
/proc/30956/task/31082/stat : 31082 (java) S 30949 30956 30895 0 -1 1077944384 28998 13302 0 0 1154 6 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305259460848 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31083] ppid=30949 vsize=10846964 memory=288230583166042425 CPUtime=4.27 cores=0,2,4,6
/proc/30956/task/31083/stat : 31083 (java) S 30949 30956 30895 0 -1 1077944384 20029 13302 0 0 413 6 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305258408048 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31085] ppid=30949 vsize=10846964 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31085/stat : 31085 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304228108512 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31086] ppid=30949 vsize=10846964 memory=1460 CPUtime=0.94 cores=0,2,4,6
/proc/30956/task/31086/stat : 31086 (java) S 30949 30956 30895 0 -1 1077944384 1587 13302 0 0 41 45 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305257356464 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2771816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2366.94 s]
# the end of solver process 30956 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.25 s, system=1.89671 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2366.9 s]
/proc/loadavg: 1.51 1.42 1.42 3/232 31465
/proc/meminfo: memFree=26900584/32770624 swapFree=66915744/67108860
[pid=30956] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2400.08 cores=0,2,4,6
/proc/30956/stat : 30956 (java) S 30949 30956 30895 0 -1 1077944320 368175 13302 0 0 239817 183 5 3 20 0 15 0 406979073 11107291136 692954 33554432000 4194304 4196468 140729352054864 140729352037408 140305734885111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 3 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
/proc/30956/statm: 2711741 692954 3638 1 0 2673805 0
[pid=30956/tid=31061] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2361.67 cores=0,2,4,6
/proc/30956/task/31061/stat : 31061 (java) R 30949 30956 30895 0 -1 4202560 142681 13302 0 0 236101 58 5 3 20 0 15 0 406979090 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305706720928 140305342874896 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31066] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2.23 cores=0,2,4,6
/proc/30956/task/31066/stat : 31066 (java) S 30949 30956 30895 0 -1 1077944384 26517 13302 0 0 196 19 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305739127440 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31067] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2.25 cores=0,2,4,6
/proc/30956/task/31067/stat : 31067 (java) S 30949 30956 30895 0 -1 1077944384 27975 13302 0 0 199 18 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305308113424 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31068] ppid=30949 vsize=10846964 memory=2771816 CPUtime=2.22 cores=0,2,4,6
/proc/30956/task/31068/stat : 31068 (java) S 30949 30956 30895 0 -1 1077944384 32516 13302 0 0 198 16 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305307060624 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31069] ppid=30949 vsize=10846964 memory=2771780 CPUtime=2.26 cores=0,2,4,6
/proc/30956/task/31069/stat : 31069 (java) S 30949 30956 30895 0 -1 1077944384 33805 13302 0 0 200 18 5 3 20 0 15 0 406979091 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305306007824 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31071] ppid=30949 vsize=10846964 memory=2771780 CPUtime=1.95 cores=0,2,4,6
/proc/30956/task/31071/stat : 31071 (java) S 30949 30956 30895 0 -1 1077944384 27884 13302 0 0 174 13 5 3 20 0 15 0 406979092 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305261566832 140305734896258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31073] ppid=30949 vsize=10846964 memory=2771780 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31073/stat : 31073 (java) S 30949 30956 30895 0 -1 1077944384 27 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304636175968 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31074] ppid=30949 vsize=10846964 memory=2771780 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31074/stat : 31074 (java) S 30949 30956 30895 0 -1 1077944384 6 13302 0 0 0 0 5 3 20 0 15 0 406979093 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304501958016 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31080] ppid=30949 vsize=10846964 memory=2771816 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31080/stat : 31080 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304261667152 140305734903707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31081] ppid=30949 vsize=10846964 memory=3628 CPUtime=11.24 cores=0,2,4,6
/proc/30956/task/31081/stat : 31081 (java) S 30949 30956 30895 0 -1 1077944384 23940 13302 0 0 1110 6 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305260513648 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31082] ppid=30949 vsize=10846964 memory=303430223234596890 CPUtime=11.68 cores=0,2,4,6
/proc/30956/task/31082/stat : 31082 (java) S 30949 30956 30895 0 -1 1077944384 28998 13302 0 0 1154 6 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305259460848 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31083] ppid=30949 vsize=10846964 memory=288230583166042425 CPUtime=4.27 cores=0,2,4,6
/proc/30956/task/31083/stat : 31083 (java) S 30949 30956 30895 0 -1 1077944384 20029 13302 0 0 413 6 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305258408048 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31085] ppid=30949 vsize=10846964 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/30956/task/31085/stat : 31085 (java) S 30949 30956 30895 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140304228108512 140305734895317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
[pid=30956/tid=31086] ppid=30949 vsize=10846964 memory=1460 CPUtime=0.94 cores=0,2,4,6
/proc/30956/task/31086/stat : 31086 (java) S 30949 30956 30895 0 -1 1077944384 1587 13302 0 0 41 45 5 3 20 0 15 0 406979096 11107291136 692954 33554432000 4194304 4196468 140729352054864 140305257356464 140305734896258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30982144 140729352063734 140729352066245 140729352066245 140729352069071 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2771816 KiB
Child status: 143
Real time (s): 2366.94
CPU time (s): 2400.14
CPU user time (s): 2398.25
CPU system time (s): 1.89671
CPU usage (%): 101.403
Max. virtual memory (cumulated for all children) (KiB): 10866580
Max. memory (cumulated for all children) (KiB): 2811752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.25
system time used= 1.89671
maximum resident set size= 2811752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385546
page faults= 0
swaps= 0
block input operations= 3384
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104983
involuntary context switches= 5402
# summary of solver processes directly reported to runsolver:
# pid: 30956
# total CPU time (s): 2400.14
# total CPU user time (s): 2398.25
# total CPU system time (s): 1.89671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3108 second user time and 22.2513 second system time
The end