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 (15168 MiB free)
memory of node 1: 16384 MiB (13475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401151-1568695547/watcher-4401151-1568695547 -o /tmp/evaluation-result-4401151-1568695547/solver-4401151-1568695547 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15922 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=711557294 HOME/instance-4401151-1568695547.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23134, runsolver pid=23131
[startup+0.100069 s]*
/proc/loadavg: 2.06 1.68 1.55 5/218 23191
/proc/meminfo: memFree=29327436/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=9972712 memory=16556 CPUtime=0.08 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 4390 13127 0 0 1 0 5 2 20 0 6 0 445803306 10212057088 4139 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2493178 4139 1933 1 0 2481616 0
[pid=23134/tid=23187] ppid=23131 vsize=9972712 memory=4279135704013832845 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 2174 13127 0 0 0 0 5 2 20 0 6 0 445803315 10212057088 4139 33554432000 4194304 4196468 140733906124112 139929040941648 139929053185374 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 6 0 445803316 10212057088 4139 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=9972712 memory=139712667047552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 6 0 445803316 10212057088 4139 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 6 0 445803316 10212057088 4139 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 6 0 445803316 10212057088 4139 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16556 KiB
[startup+0.210223 s]*
/proc/loadavg: 2.06 1.68 1.55 4/227 23200
/proc/meminfo: memFree=29305228/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=10819712 memory=43636 CPUtime=0.26 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 7252 13127 0 0 17 2 5 2 20 0 15 0 445803306 11079385088 10909 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2704928 10909 3187 1 0 2667149 0
[pid=23134/tid=23187] ppid=23131 vsize=10819712 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 3732 13127 0 0 10 1 5 2 20 0 15 0 445803315 11079385088 10909 33554432000 4194304 4196468 140733906124112 139929040937168 139929061821850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10819856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079532544 10974 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10819856 memory=139712667047552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10819856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10819856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10819856 memory=139712667047552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803317 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10819856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 33 13127 0 0 0 0 5 2 20 0 15 0 445803318 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928527439136 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10819856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803318 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928423884400 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10819856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11079532544 10974 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10819856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) S 23131 23134 15891 0 -1 1077944384 489 13127 0 0 1 0 5 2 20 0 15 0 445803321 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928493881456 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10819856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) S 23131 23134 15891 0 -1 1077944384 170 13127 0 0 0 0 5 2 20 0 15 0 445803321 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928492828656 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10819856 memory=139712667047552 CPUtime=0.1 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 601 13127 0 0 3 0 5 2 20 0 15 0 445803321 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10819856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11079532544 10974 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10819856 memory=139712667047552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803321 11079532544 10974 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 43636 KiB
[startup+0.310692 s]*
/proc/loadavg: 2.06 1.68 1.55 3/227 23200
/proc/meminfo: memFree=29291936/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=10820196 memory=52592 CPUtime=0.39 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 10880 13127 0 0 29 3 5 2 20 0 15 0 445803306 11079880704 13148 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2705049 13148 3319 1 0 2667149 0
[pid=23134/tid=23187] ppid=23131 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 7344 13127 0 0 19 2 5 2 20 0 15 0 445803315 11079880704 13148 33554432000 4194304 4196468 140733906124112 139929040927280 139929053185374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10820196 memory=7228928657774891088 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079880704 13148 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10820196 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803317 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 33 13127 0 0 0 0 5 2 20 0 15 0 445803318 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928527439136 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803318 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928423884400 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11079880704 13148 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) S 23131 23134 15891 0 -1 1077944384 498 13127 0 0 2 0 5 2 20 0 15 0 445803321 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928493881456 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) S 23131 23134 15891 0 -1 1077944384 171 13127 0 0 1 0 5 2 20 0 15 0 445803321 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928492828656 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 608 13127 0 0 5 0 5 2 20 0 15 0 445803321 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11079880704 13148 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803321 11079880704 13148 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52592 KiB
[startup+0.705333 s]
/proc/loadavg: 2.06 1.68 1.55 3/227 23200
/proc/meminfo: memFree=29277764/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=10824364 memory=85448 CPUtime=1.11 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 15099 13127 0 0 99 5 5 2 20 0 15 0 445803306 11084148736 21362 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2706091 21362 3513 1 0 2668173 0
[pid=23134/tid=23187] ppid=23131 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 10483 13127 0 0 56 4 5 2 20 0 15 0 445803315 11084148736 21362 33554432000 4194304 4196468 140733906124112 139929040934432 139929053185374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10824364 memory=827 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11084148736 21362 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10824364 memory=3616 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803316 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803316 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10824364 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 5 13127 0 0 0 0 5 2 20 0 15 0 445803317 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10824364 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 33 13127 0 0 0 0 5 2 20 0 15 0 445803318 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928527439136 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10824364 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803318 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928423884400 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10824364 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11084148736 21362 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10824364 memory=13252 CPUtime=0.2 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) R 23131 23134 15891 0 -1 4202560 921 13127 0 0 13 0 5 2 20 0 15 0 445803321 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928493881456 139929053497778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10824364 memory=15460 CPUtime=0.18 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) R 23131 23134 15891 0 -1 4202560 622 13127 0 0 11 0 5 2 20 0 15 0 445803321 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928492814752 139929052318122 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10824364 memory=17668 CPUtime=0.24 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 811 13127 0 0 17 0 5 2 20 0 15 0 445803321 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10824364 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11084148736 21362 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10824364 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803321 11084148736 21362 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85448 KiB
[startup+1.50069 s]
/proc/loadavg: 2.06 1.68 1.55 5/227 23200
/proc/meminfo: memFree=29224964/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=10834680 memory=198108 CPUtime=2.87 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 25773 13127 0 0 269 11 5 2 20 0 15 0 445803306 11094712320 49527 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2708670 49527 3586 1 0 2670733 0
[pid=23134/tid=23187] ppid=23131 vsize=10834680 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 15622 13127 0 0 129 6 5 2 20 0 15 0 445803315 11094712320 49527 33554432000 4194304 4196468 140733906124112 139929040932720 139929053185374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 61 13127 0 0 1 0 5 2 20 0 15 0 445803316 11094712320 49527 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 38 13127 0 0 1 0 5 2 20 0 15 0 445803316 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 311 13127 0 0 1 0 5 2 20 0 15 0 445803316 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 96 13127 0 0 1 0 5 2 20 0 15 0 445803316 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10834680 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 1385 13127 0 0 1 0 5 2 20 0 15 0 445803317 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10834680 memory=279425069426944 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 34 13127 0 0 0 0 5 2 20 0 15 0 445803318 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928527439200 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803318 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928423884416 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10834680 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11094712320 49527 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10834680 memory=10600 CPUtime=0.53 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) S 23131 23134 15891 0 -1 1077944384 1943 13127 0 0 46 0 5 2 20 0 15 0 445803321 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928493881456 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10834680 memory=1740 CPUtime=0.47 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) S 23131 23134 15891 0 -1 1077944384 1898 13127 0 0 40 0 5 2 20 0 15 0 445803321 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928492828656 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10834680 memory=5992 CPUtime=0.52 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 2169 13127 0 0 45 0 5 2 20 0 15 0 445803321 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10834680 memory=636 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11094712320 49527 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10834680 memory=2884 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1 13127 0 0 0 0 5 2 20 0 15 0 445803321 11094712320 49527 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 358505 13127 0 0 237075 99 5 2 20 0 15 0 445803315 11109412864 784776 33554432000 4194304 4196468 140733906124112 139929040941152 139928650955066 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10849036 memory=132 CPUtime=7.98 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 25081 13127 0 0 758 33 5 2 20 0 15 0 445803316 11109412864 784776 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10849036 memory=3139104 CPUtime=7.95 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 30466 13127 0 0 754 34 5 2 20 0 15 0 445803316 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10849036 memory=3139104 CPUtime=7.97 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 25083 13127 0 0 757 33 5 2 20 0 15 0 445803316 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10849036 memory=3139104 CPUtime=7.95 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 18788 13127 0 0 755 33 5 2 20 0 15 0 445803316 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10849036 memory=3139104 CPUtime=1.65 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 33996 13127 0 0 133 25 5 2 20 0 15 0 445803317 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10849036 memory=3139104 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 46 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928527439200 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10849036 memory=3139104 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 12 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928423884416 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10849036 memory=3139104 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784776 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10849036 memory=12040 CPUtime=6.44 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) S 23131 23134 15891 0 -1 1077944384 29765 13127 0 0 633 4 5 2 20 0 15 0 445803321 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928493881456 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10849036 memory=279425069875392 CPUtime=6.21 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) S 23131 23134 15891 0 -1 1077944384 25564 13127 0 0 610 4 5 2 20 0 15 0 445803321 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928492828656 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10849036 memory=3139104 CPUtime=2.64 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 18114 13127 0 0 253 4 5 2 20 0 15 0 445803321 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10849036 memory=3139104 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784776 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10849036 memory=47732 CPUtime=1.43 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1554 13127 0 0 64 72 5 2 20 0 15 0 445803321 11109412864 784776 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 2421.52 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3139104 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.58 1.58 3/227 23574
/proc/meminfo: memFree=27282860/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2481.73 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 580508 13127 0 0 247843 323 5 2 20 0 15 0 445803306 11109412864 784888 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2712259 784888 3639 1 0 2674317 0
[pid=23134/tid=23187] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2431.74 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 367025 13127 0 0 243067 100 5 2 20 0 15 0 445803315 11109412864 784888 33554432000 4194304 4196468 140733906124112 139929040940656 139928653034617 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10849036 memory=3139104 CPUtime=8.04 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 26789 13127 0 0 764 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10849036 memory=3139104 CPUtime=8.01 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 30626 13127 0 0 760 34 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10849036 memory=3139104 CPUtime=8.03 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 25261 13127 0 0 763 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.01 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 19148 13127 0 0 761 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10849036 memory=3139552 CPUtime=1.66 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 34343 13127 0 0 134 25 5 2 20 0 15 0 445803317 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 46 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928527439200 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10849036 memory=2024 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 12 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928423884416 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10849036 memory=14008 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10849036 memory=12040 CPUtime=6.44 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) S 23131 23134 15891 0 -1 1077944384 29768 13127 0 0 633 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928493881456 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10849036 memory=3139552 CPUtime=6.21 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) S 23131 23134 15891 0 -1 1077944384 25566 13127 0 0 610 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928492828656 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2.64 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 18116 13127 0 0 253 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10849036 memory=3139552 CPUtime=1.46 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1592 13127 0 0 65 74 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 2481.73 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3139552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2480.5 s]
/proc/loadavg: 1.58 1.58 1.59 3/227 23578
/proc/meminfo: memFree=27280564/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2520.09 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 586676 13127 0 0 251677 325 5 2 20 0 15 0 445803306 11109412864 784888 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2712259 784888 3639 1 0 2674317 0
[pid=23134/tid=23187] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2469.88 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 373168 13127 0 0 246881 100 5 2 20 0 15 0 445803315 11109412864 784888 33554432000 4194304 4196468 140733906124112 139929040941312 139928663783397 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.08 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 26791 13127 0 0 768 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.05 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 30631 13127 0 0 764 34 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.08 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 25264 13127 0 0 768 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.05 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 19150 13127 0 0 765 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10849036 memory=3139552 CPUtime=1.67 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 34352 13127 0 0 134 26 5 2 20 0 15 0 445803317 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 46 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928527439200 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 12 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928423884416 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10849036 memory=3139552 CPUtime=6.45 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) S 23131 23134 15891 0 -1 1077944384 29768 13127 0 0 634 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928493881456 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10849036 memory=1740 CPUtime=6.21 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) S 23131 23134 15891 0 -1 1077944384 25566 13127 0 0 610 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928492828656 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2.64 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 18116 13127 0 0 253 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10849036 memory=8243672268696741991 CPUtime=1.48 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1596 13127 0 0 66 75 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3139552 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2480.54 s]
# the end of solver process 23134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.85 s, system=3.30887 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2480.5 s]
/proc/loadavg: 1.58 1.58 1.59 3/227 23578
/proc/meminfo: memFree=27280564/32770624 swapFree=67002428/67108860
[pid=23134] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2520.09 cores=0,2,4,6
/proc/23134/stat : 23134 (java) S 23131 23134 15891 0 -1 1077944320 586676 13127 0 0 251677 325 5 2 20 0 15 0 445803306 11109412864 784888 33554432000 4194304 4196468 140733906124112 140733906106656 139929069104887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
/proc/23134/statm: 2712259 784888 3639 1 0 2674317 0
[pid=23134/tid=23187] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2469.88 cores=0,2,4,6
/proc/23134/task/23187/stat : 23187 (java) R 23131 23134 15891 0 -1 4202560 373168 13127 0 0 246881 100 5 2 20 0 15 0 445803315 11109412864 784888 33554432000 4194304 4196468 140733906124112 139929040941312 139928663783397 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23188] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.08 cores=0,2,4,6
/proc/23134/task/23188/stat : 23188 (java) S 23131 23134 15891 0 -1 1077944384 26791 13127 0 0 768 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139929073346960 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23189] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.05 cores=0,2,4,6
/proc/23134/task/23189/stat : 23189 (java) S 23131 23134 15891 0 -1 1077944384 30631 13127 0 0 764 34 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928641988880 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23190] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.08 cores=0,2,4,6
/proc/23134/task/23190/stat : 23190 (java) S 23131 23134 15891 0 -1 1077944384 25264 13127 0 0 768 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928640936592 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23191] ppid=23131 vsize=10849036 memory=3139552 CPUtime=8.05 cores=0,2,4,6
/proc/23134/task/23191/stat : 23191 (java) S 23131 23134 15891 0 -1 1077944384 19150 13127 0 0 765 33 5 2 20 0 15 0 445803316 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928639883792 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23192] ppid=23131 vsize=10849036 memory=3139552 CPUtime=1.67 cores=0,2,4,6
/proc/23134/task/23192/stat : 23192 (java) S 23131 23134 15891 0 -1 1077944384 34352 13127 0 0 134 26 5 2 20 0 15 0 445803317 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928528493168 139929069116034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23193] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23193/stat : 23193 (java) S 23131 23134 15891 0 -1 1077944384 46 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928527439200 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23194] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23194/stat : 23194 (java) S 23131 23134 15891 0 -1 1077944384 12 13127 0 0 0 0 5 2 20 0 15 0 445803318 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928423884416 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23195] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23195/stat : 23195 (java) S 23131 23134 15891 0 -1 1077944384 2 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139927819905616 139929069123483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23196] ppid=23131 vsize=10849036 memory=3139552 CPUtime=6.45 cores=0,2,4,6
/proc/23134/task/23196/stat : 23196 (java) S 23131 23134 15891 0 -1 1077944384 29768 13127 0 0 634 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928493881456 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23197] ppid=23131 vsize=10849036 memory=1740 CPUtime=6.21 cores=0,2,4,6
/proc/23134/task/23197/stat : 23197 (java) S 23131 23134 15891 0 -1 1077944384 25566 13127 0 0 610 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928492828656 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23198] ppid=23131 vsize=10849036 memory=3139552 CPUtime=2.64 cores=0,2,4,6
/proc/23134/task/23198/stat : 23198 (java) S 23131 23134 15891 0 -1 1077944384 18116 13127 0 0 253 4 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928390326640 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23199] ppid=23131 vsize=10849036 memory=3139552 CPUtime=0.07 cores=0,2,4,6
/proc/23134/task/23199/stat : 23199 (java) S 23131 23134 15891 0 -1 1077944384 3 13127 0 0 0 0 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139927350143456 139929069115093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
[pid=23134/tid=23200] ppid=23131 vsize=10849036 memory=8243672268696741991 CPUtime=1.48 cores=0,2,4,6
/proc/23134/task/23200/stat : 23200 (java) S 23131 23134 15891 0 -1 1077944384 1596 13127 0 0 66 75 5 2 20 0 15 0 445803321 11109412864 784888 33554432000 4194304 4196468 140733906124112 139928389274544 139929069116034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 25944064 140733906131696 140733906134213 140733906134213 140733906137039 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 3139552 KiB
Child status: 143
Real time (s): 2480.54
CPU time (s): 2520.16
CPU user time (s): 2516.85
CPU system time (s): 3.30887
CPU usage (%): 101.597
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 3139632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.85
system time used= 3.30887
maximum resident set size= 3143692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603846
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87933
involuntary context switches= 3498
# summary of solver processes directly reported to runsolver:
# pid: 23134
# total CPU time (s): 2520.16
# total CPU user time (s): 2516.85
# total CPU system time (s): 3.30887
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1061 second user time and 23.4821 second system time
The end