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 (7700 MiB free)
memory of node 1: 16384 MiB (10149 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299824-1532819388/watcher-4299824-1532819388 -o /tmp/evaluation-result-4299824-1532819388/solver-4299824-1532819388 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532811179-32003 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4299824-1532819388.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=657, runsolver pid=654
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 1.64 1.66 1.69 3/215 672
/proc/meminfo: memFree=18262224/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661056 memory=27380 CPUtime=0.11 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 5267 0 0 0 10 1 0 0 20 0 15 0 99502018 10916921344 6845 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665264 6845 2813 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661056 memory=-6595500271158067543 CPUtime=0.08 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 3140 0 0 0 8 0 0 0 20 0 15 0 99502019 10916921344 6845 33554432000 4194304 4196468 140735714683328 139870655556336 139870651355738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661056 memory=-7001736328920018669 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 6845 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 6845 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 6845 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 6845 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99502021 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99502022 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869686596768 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99502022 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) R 654 657 31971 0 -1 4202560 297 0 0 0 0 0 0 0 20 0 15 0 99502024 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869683440368 139870651355738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 654 657 31971 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 99502024 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869682387824 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) R 654 657 31971 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 15 0 99502024 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869681332304 139870636466744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502025 10916921344 6845 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27380 KiB
[startup+0.210471 s]*
/proc/loadavg: 1.64 1.66 1.69 4/215 672
/proc/meminfo: memFree=18250208/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661056 memory=40160 CPUtime=0.33 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 8153 0 0 0 31 2 0 0 20 0 15 0 99502018 10916921344 10040 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665264 10040 2946 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661056 memory=8110268329461324165 CPUtime=0.2 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 5169 0 0 0 19 1 0 0 20 0 15 0 99502019 10916921344 10040 33554432000 4194304 4196468 140735714683328 139870655565776 139870632897920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661056 memory=-7017870212350184252 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 10040 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 10040 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 10040 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99502020 10916921344 10040 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99502021 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99502022 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869686596768 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99502022 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 654 657 31971 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 15 0 99502024 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869683440368 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 654 657 31971 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 99502024 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869682387824 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0.08 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 654 657 31971 0 -1 1077944384 892 0 0 0 8 0 0 0 20 0 15 0 99502024 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869681334768 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661056 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502025 10916921344 10040 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40160 KiB
[startup+0.319885 s]*
/proc/loadavg: 1.64 1.66 1.69 6/215 672
/proc/meminfo: memFree=18242020/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661132 memory=49200 CPUtime=0.61 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 9329 0 0 0 59 2 0 0 20 0 15 0 99502018 10916999168 12300 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665283 12300 3060 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661132 memory=-7174084197679134148 CPUtime=0.3 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 5493 0 0 0 29 1 0 0 20 0 15 0 99502019 10916999168 12300 33554432000 4194304 4196468 140735714683328 139870655571072 139870635414878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661132 memory=6055707668463774031 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 12300 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661132 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 12300 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661132 memory=8530215889787827766 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 12300 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661132 memory=8530215889787893301 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 12300 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661132 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99502021 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661132 memory=8530215889788024373 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869686596768 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661132 memory=8530215889788089910 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661132 memory=8530215889788155446 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661132 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) R 654 657 31971 0 -1 4202560 619 0 0 0 6 0 0 0 20 0 15 0 99502024 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869683421384 139870635757415 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661132 memory=8530215889788286517 CPUtime=0.07 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) R 654 657 31971 0 -1 4202560 676 0 0 0 7 0 0 0 20 0 15 0 99502024 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869682373848 139870636258738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661132 memory=140676570752640 CPUtime=0.16 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) R 654 657 31971 0 -1 4202560 1196 0 0 0 16 0 0 0 20 0 15 0 99502024 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869681334768 139870631570481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661132 memory=8530215889787762485 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661132 memory=140676570752640 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502025 10916999168 12300 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 49200 KiB
[startup+0.700792 s]
/proc/loadavg: 1.64 1.66 1.69 5/215 672
/proc/meminfo: memFree=18102016/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661132 memory=201036 CPUtime=1.75 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 13808 0 0 0 170 5 0 0 20 0 15 0 99502018 10916999168 50259 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665283 50259 3119 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661132 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 5743 0 0 0 63 3 0 0 20 0 15 0 99502019 10916999168 50259 33554432000 4194304 4196468 140735714683328 139870655566616 139870260279384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 50259 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 50259 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 50259 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661132 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 50259 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 99502021 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869686596768 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661132 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) R 654 657 31971 0 -1 4202560 2377 0 0 0 36 0 0 0 20 0 15 0 99502024 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869683427152 139870635723249 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661132 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) R 654 657 31971 0 -1 4202560 2739 0 0 0 40 0 0 0 20 0 15 0 99502024 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869682373896 139870636443010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661132 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 654 657 31971 0 -1 1077944384 1452 0 0 0 26 0 0 0 20 0 15 0 99502024 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869681334768 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99502025 10916999168 50259 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 201036 KiB
[startup+1.50081 s]
/proc/loadavg: 1.64 1.66 1.69 5/215 672
/proc/meminfo: memFree=18086020/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661132 memory=205752 CPUtime=3.57 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 16186 0 0 0 351 6 0 0 20 0 15 0 99502018 10916999168 51438 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665283 51438 3123 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661132 memory=4140 CPUtime=1.46 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 5770 0 0 0 143 3 0 0 20 0 15 0 99502019 10916999168 51438 33554432000 4194304 4196468 140735714683328 139870655570784 139870261111857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 51438 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661132 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 51438 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661132 memory=14777 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 51438 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 51438 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 99502021 10916999168 51438 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
################
# More data... #
################
[startup+6.30077 s]
/proc/loadavg: 1.67 1.67 1.70 3/215 672
/proc/meminfo: memFree=17974616/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661132 memory=336440 CPUtime=8.45 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 18868 0 0 0 836 9 0 0 20 0 15 0 99502018 10916999168 84110 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665283 84110 3131 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661132 memory=303148748257886234 CPUtime=6.25 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 6192 0 0 0 620 5 0 0 20 0 15 0 99502019 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870655573776 139870261111894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661132 memory=823 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661132 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661132 memory=205752 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661132 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 613 0 0 0 0 0 0 0 20 0 15 0 99502021 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661132 memory=140676419452462 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869686596832 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661132 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661132 memory=54 CPUtime=0.86 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 654 657 31971 0 -1 1077944384 4096 0 0 0 86 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869683440368 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661132 memory=7812726576340533336 CPUtime=0.93 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 654 657 31971 0 -1 1077944384 3875 0 0 0 93 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869682387824 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661132 memory=16842 CPUtime=0.29 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 654 657 31971 0 -1 1077944384 1600 0 0 0 29 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869681334768 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661132 memory=315568 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661132 memory=54 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 617 0 0 0 0 0 0 0 20 0 15 0 99502025 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 336440 KiB
[startup+7.2222 s]
# the end of solver process 657 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.28676 s, system=0.102671 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40088 s]
/proc/loadavg: 1.67 1.67 1.70 3/215 672
/proc/meminfo: memFree=17974616/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661132 memory=336440 CPUtime=8.55 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 18871 0 0 0 846 9 0 0 20 0 15 0 99502018 10916999168 84110 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665283 84110 3131 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661132 memory=5793997917256771177 CPUtime=6.35 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 6195 0 0 0 630 5 0 0 20 0 15 0 99502019 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870655573776 139870261111876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661132 memory=-8820188211957838939 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661132 memory=-8253362762722141311 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661132 memory=7100839861465685612 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661132 memory=-7175204567652784766 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661132 memory=3054156605268465310 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 613 0 0 0 0 0 0 0 20 0 15 0 99502021 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661132 memory=281352838842400 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869686596832 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661132 memory=35233 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661132 memory=644 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661132 memory=4616 CPUtime=0.86 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 654 657 31971 0 -1 1077944384 4096 0 0 0 86 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869683440368 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661132 memory=12032 CPUtime=0.93 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 654 657 31971 0 -1 1077944384 3875 0 0 0 93 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869682387824 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661132 memory=1008 CPUtime=0.29 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 654 657 31971 0 -1 1077944384 1600 0 0 0 29 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869681334768 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661132 memory=792 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661132 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 617 0 0 0 0 0 0 0 20 0 15 0 99502025 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 336440 KiB
[startup+6.80068 s]
/proc/loadavg: 1.67 1.67 1.70 3/215 672
/proc/meminfo: memFree=17974616/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661132 memory=336440 CPUtime=8.95 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 18881 0 0 0 886 9 0 0 20 0 15 0 99502018 10916999168 84110 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665283 84110 3131 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661132 memory=1724 CPUtime=6.75 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 6202 0 0 0 670 5 0 0 20 0 15 0 99502019 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870655573776 139870261111839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661132 memory=1228 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661132 memory=1428 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661132 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661132 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661132 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 613 0 0 0 0 0 0 0 20 0 15 0 99502021 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661132 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869686596832 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661132 memory=336440 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661132 memory=323804 CPUtime=0.86 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 654 657 31971 0 -1 1077944384 4096 0 0 0 86 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869683440368 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661132 memory=14695192770905787 CPUtime=0.93 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 654 657 31971 0 -1 1077944384 3875 0 0 0 93 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869682387824 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661132 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 654 657 31971 0 -1 1077944384 1603 0 0 0 29 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869681334768 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661132 memory=281352839424448 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661132 memory=140676419428928 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 617 0 0 0 0 0 0 0 20 0 15 0 99502025 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 8.95 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 336440 KiB
[startup+7.20074 s]
/proc/loadavg: 1.67 1.67 1.70 3/215 672
/proc/meminfo: memFree=17956688/32770624 swapFree=67108860/67108860
[pid=657] ppid=654 vsize=10661132 memory=336440 CPUtime=9.36 cores=1,3,5,7
/proc/657/stat : 657 (java) S 654 657 31971 0 -1 1077944320 18940 0 0 0 927 9 0 0 20 0 15 0 99502018 10916999168 84110 33554432000 4194304 4196468 140735714683328 140735714665872 139870651334391 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
/proc/657/statm: 2665283 84110 3131 1 0 2627263 0
[pid=657/tid=659] ppid=654 vsize=10661132 memory=1932436 CPUtime=7.15 cores=1,3,5,7
/proc/657/task/659/stat : 659 (java) R 654 657 31971 0 -1 4202560 6218 0 0 0 710 5 0 0 20 0 15 0 99502019 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870655573776 139870261111788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=660] ppid=654 vsize=10661132 memory=28636 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/660/stat : 660 (java) S 654 657 31971 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870577409040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=661] ppid=654 vsize=10661132 memory=1296 CPUtime=0.01 cores=1,3,5,7
/proc/657/task/661/stat : 661 (java) S 654 657 31971 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870257278096 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=662] ppid=654 vsize=10661132 memory=336440 CPUtime=0 cores=1,3,5,7
/proc/657/task/662/stat : 662 (java) S 654 657 31971 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870256225040 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=663] ppid=654 vsize=10661132 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/657/task/663/stat : 663 (java) S 654 657 31971 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 99502020 10916999168 84110 33554432000 4194304 4196468 140735714683328 139870255172496 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=664] ppid=654 vsize=10661132 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/657/task/664/stat : 664 (java) S 654 657 31971 0 -1 1077944384 613 0 0 0 0 0 0 0 20 0 15 0 99502021 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869687650544 139870651345538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=665] ppid=654 vsize=10661132 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/657/task/665/stat : 665 (java) S 654 657 31971 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869686596832 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=666] ppid=654 vsize=10661132 memory=2496 CPUtime=0 cores=1,3,5,7
/proc/657/task/666/stat : 666 (java) S 654 657 31971 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99502022 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869685543664 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=667] ppid=654 vsize=10661132 memory=253448 CPUtime=0 cores=1,3,5,7
/proc/657/task/667/stat : 667 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869684492240 139870651352987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=668] ppid=654 vsize=10661132 memory=4012 CPUtime=0.87 cores=1,3,5,7
/proc/657/task/668/stat : 668 (java) S 654 657 31971 0 -1 1077944384 4139 0 0 0 87 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869683440368 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=669] ppid=654 vsize=10661132 memory=16464 CPUtime=0.93 cores=1,3,5,7
/proc/657/task/669/stat : 669 (java) S 654 657 31971 0 -1 1077944384 3875 0 0 0 93 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869682387824 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=670] ppid=654 vsize=10661132 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/657/task/670/stat : 670 (java) S 654 657 31971 0 -1 1077944384 1603 0 0 0 29 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869681334768 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=671] ppid=654 vsize=10661132 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/657/task/671/stat : 671 (java) S 654 657 31971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99502024 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869680282464 139870651344597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
[pid=657/tid=672] ppid=654 vsize=10661132 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/657/task/672/stat : 672 (java) S 654 657 31971 0 -1 1077944384 617 0 0 0 0 0 0 0 20 0 15 0 99502025 10916999168 84110 33554432000 4194304 4196468 140735714683328 139869679229488 139870651345538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17158144 140735714686069 140735714686217 140735714686217 140735714688975 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 336440 KiB
Child status: 0
Real time (s): 7.22225
CPU time (s): 9.38943
CPU user time (s): 9.28676
CPU system time (s): 0.102671
CPU usage (%): 130.007
Max. virtual memory (cumulated for all children) (KiB): 10662820
Max. memory (cumulated for all children) (KiB): 336440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.28676
system time used= 0.102671
maximum resident set size= 337080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19199
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= 1576
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 657
# total CPU time (s): 9.38943
# total CPU user time (s): 9.28676
# total CPU system time (s): 0.102671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063889 second user time and 0.115741 second system time
The end