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 (13739 MiB free)
memory of node 1: 16384 MiB (15246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400958-1568685684/watcher-4400958-1568685684 -o /tmp/evaluation-result-4400958-1568685684/solver-4400958-1568685684 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=584762253 HOME/instance-4400958-1568685684.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
Current StackSize limit: 8192 KiB
solver pid=22057, runsolver pid=22054
[startup+0.100058 s]*
/proc/loadavg: 1.32 1.31 1.33 3/217 22114
/proc/meminfo: memFree=29673040/32770624 swapFree=66926536/67108860
[pid=22057] ppid=22054 vsize=9972712 memory=19124 CPUtime=0.08 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 4489 13474 0 0 1 0 5 2 20 0 6 0 444824201 10212057088 4781 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2493178 4781 1963 1 0 2481616 0
[pid=22057/tid=22110] ppid=22054 vsize=9988792 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 2309 13474 0 0 1 0 5 2 20 0 6 0 444824210 10228523008 4781 33554432000 4194304 4196468 140722437253776 140361743450704 140361757202016 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 6 0 444824211 10228523008 4781 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=9988792 memory=139780261766521 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 6 0 444824211 10228523008 4781 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 6 0 444824211 10228523008 4781 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 6 0 444824211 10228523008 4781 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.209852 s]*
/proc/loadavg: 1.32 1.31 1.33 4/226 22123
/proc/meminfo: memFree=29652788/32770624 swapFree=66926536/67108860
[pid=22057] ppid=22054 vsize=10821220 memory=42484 CPUtime=0.26 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 8501 13474 0 0 18 1 5 2 20 0 15 0 444824201 11080929280 10621 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2705305 10621 3298 1 0 2667405 0
[pid=22057/tid=22110] ppid=22054 vsize=10821220 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 5064 13474 0 0 11 1 5 2 20 0 15 0 444824210 11080929280 10753 33554432000 4194304 4196468 140722437253776 140361743426304 140361764293661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11080929280 10753 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10821220 memory=139780261766521 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11080929280 10753 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11080929280 10753 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824211 11080929280 10753 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824212 11080929280 10753 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 13 13474 0 0 0 0 5 2 20 0 15 0 444824213 11080929280 10753 33554432000 4194304 4196468 140722437253776 140361208947872 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824213 11080929280 10753 33554432000 4194304 4196468 140722437253776 140360604967664 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11080929280 10819 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 466 13474 0 0 1 0 5 2 20 0 15 0 444824215 11080929280 10819 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) S 22054 22057 18141 0 -1 1077944384 189 13474 0 0 1 0 5 2 20 0 15 0 444824215 11080929280 10819 33554432000 4194304 4196468 140722437253776 140361296178032 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10821220 memory=139780261746304 CPUtime=0.1 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) S 22054 22057 18141 0 -1 1077944384 627 13474 0 0 3 0 5 2 20 0 15 0 444824215 11080929280 10885 33554432000 4194304 4196468 140722437253776 140361295124976 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11080929280 10885 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10821220 memory=139780261746304 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824216 11080929280 10885 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 42484 KiB
[startup+0.310535 s]*
/proc/loadavg: 1.32 1.31 1.33 4/226 22123
/proc/meminfo: memFree=29643508/32770624 swapFree=66926536/67108860
[pid=22057] ppid=22054 vsize=10820268 memory=50120 CPUtime=0.4 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 10770 13474 0 0 31 2 5 2 20 0 15 0 444824201 11079954432 12530 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2705067 12530 3309 1 0 2667149 0
[pid=22057/tid=22110] ppid=22054 vsize=10820268 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 7236 13474 0 0 20 1 5 2 20 0 15 0 444824210 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361743422896 140361771635869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824211 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10820268 memory=139780261746303 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824212 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 13 13474 0 0 0 0 5 2 20 0 15 0 444824213 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361208947872 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824213 11079954432 12530 33554432000 4194304 4196468 140722437253776 140360604967664 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11079954432 12530 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 466 13474 0 0 2 0 5 2 20 0 15 0 444824215 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10820268 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) S 22054 22057 18141 0 -1 1077944384 190 13474 0 0 2 0 5 2 20 0 15 0 444824215 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361296178032 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10820268 memory=139780261746304 CPUtime=0.12 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) S 22054 22057 18141 0 -1 1077944384 646 13474 0 0 5 0 5 2 20 0 15 0 444824215 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361295124976 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11079954432 12530 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10820268 memory=139780261746304 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824216 11079954432 12530 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 50120 KiB
[startup+0.700666 s]
/proc/loadavg: 1.32 1.31 1.33 4/226 22123
/proc/meminfo: memFree=29627480/32770624 swapFree=66926536/67108860
[pid=22057] ppid=22054 vsize=10825388 memory=84052 CPUtime=1.13 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 15228 13474 0 0 103 3 5 2 20 0 15 0 444824201 11085197312 21013 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2706091 21013 3513 1 0 2668173 0
[pid=22057/tid=22110] ppid=22054 vsize=10825388 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 10506 13474 0 0 57 3 5 2 20 0 15 0 444824210 11085197312 21013 33554432000 4194304 4196468 140722437253776 140361743431872 140361764293661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10825388 memory=1284 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11085197312 21013 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10825388 memory=1044 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11085197312 21013 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10824364 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824211 11084148736 21013 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824211 11084148736 21013 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 5 13474 0 0 0 0 5 2 20 0 15 0 444824212 11084148736 21013 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 13 13474 0 0 0 0 5 2 20 0 15 0 444824213 11085197312 21013 33554432000 4194304 4196468 140722437253776 140361208947872 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824213 11085197312 21013 33554432000 4194304 4196468 140722437253776 140360604967664 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11085197312 21013 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 922 13474 0 0 13 0 5 2 20 0 15 0 444824215 11084148736 21013 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) R 22054 22057 18141 0 -1 4202560 682 13474 0 0 14 0 5 2 20 0 15 0 444824215 11084148736 21013 33554432000 4194304 4196468 140722437253776 140361296164000 140361756739983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) S 22054 22057 18141 0 -1 1077944384 886 13474 0 0 17 0 5 2 20 0 15 0 444824215 11084148736 21013 33554432000 4194304 4196468 140722437253776 140361295124976 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11084148736 21013 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10824364 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824216 11084148736 21013 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 84052 KiB
[startup+1.50077 s]
/proc/loadavg: 1.32 1.31 1.33 3/226 22123
/proc/meminfo: memFree=29580120/32770624 swapFree=66926536/67108860
[pid=22057] ppid=22054 vsize=10834680 memory=171416 CPUtime=2.46 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 20510 13474 0 0 231 8 5 2 20 0 15 0 444824201 11094712320 42854 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2708670 42854 3573 1 0 2670733 0
[pid=22057/tid=22110] ppid=22054 vsize=10834680 memory=139780113306200 CPUtime=1.43 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 14920 13474 0 0 132 4 5 2 20 0 15 0 444824210 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361743422560 140361771625878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10834680 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 21 13474 0 0 1 0 5 2 20 0 15 0 444824211 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10834680 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 23 13474 0 0 1 0 5 2 20 0 15 0 444824211 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10834680 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 34 13474 0 0 0 0 5 2 20 0 15 0 444824211 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10834680 memory=279560227019168 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 29 13474 0 0 0 0 5 2 20 0 15 0 444824211 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10834680 memory=234500919438472 CPUtime=0.08 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 44 13474 0 0 1 0 5 2 20 0 15 0 444824212 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 14 13474 0 0 0 0 5 2 20 0 15 0 444824213 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361208947872 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10834680 memory=6011695459786978096 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824213 11094712320 42854 33554432000 4194304 4196468 140722437253776 140360604967664 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10834680 memory=-8412658770403813517 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11094712320 42854 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10834680 memory=-7668917182949848256 CPUtime=0.32 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 983 13474 0 0 25 0 5 2 20 0 15 0 444824215 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10834680 memory=8514726395714956677 CPUtime=0.33 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) S 22054 22057 18141 0 -1 1077944384 752 13474 0 0 26 0 5 2 20 0 15 0 444824215 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361296178032 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10834680 memory=7100839887184299122 CPUtime=0.47 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) R 22054 22057 18141 0 -1 4202560 1472 13474 0 0 40 0 5 2 20 0 15 0 444824215 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361295124976 140361771635290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10834680 memory=4628420171383865741 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11094712320 42854 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1 13474 0 0 0 0 5 2 20 0 15 0 444824216 11094712320 42854 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 2.46 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 58702 13474 0 0 235392 50 5 2 20 0 15 0 444824210 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361743449984 140361368030854 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10844940 memory=815252 CPUtime=12.28 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 8249 13474 0 0 1156 65 5 2 20 0 15 0 444824211 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10844940 memory=815252 CPUtime=12.27 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 12407 13474 0 0 1148 72 5 2 20 0 15 0 444824211 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10844940 memory=815252 CPUtime=12.25 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 16562 13474 0 0 1147 71 5 2 20 0 15 0 444824211 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10844940 memory=6944656592387989552 CPUtime=12.22 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 14647 13474 0 0 1148 67 5 2 20 0 15 0 444824211 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10844940 memory=815252 CPUtime=11.77 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 12972 13474 0 0 1109 61 5 2 20 0 15 0 444824212 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10844940 memory=815252 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 14 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361208947936 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10844940 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 203813 33554432000 4194304 4196468 140722437253776 140360604967680 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10844940 memory=815252 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11105218560 203813 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10844940 memory=815252 CPUtime=2.71 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 12786 13474 0 0 262 2 5 2 20 0 15 0 444824215 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10844940 memory=815252 CPUtime=2.57 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) S 22054 22057 18141 0 -1 1077944384 11364 13474 0 0 248 2 5 2 20 0 15 0 444824215 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361296178032 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10844940 memory=815252 CPUtime=1.28 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) S 22054 22057 18141 0 -1 1077944384 9429 13474 0 0 119 2 5 2 20 0 15 0 444824215 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361295124976 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10844940 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11105218560 203813 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10844940 memory=31056 CPUtime=1.51 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1271 13474 0 0 64 80 5 2 20 0 15 0 444824216 11105218560 203813 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 2422.84 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 815252 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.37 1.39 3/227 22797
/proc/meminfo: memFree=29398168/32770624 swapFree=66926592/67108860
[pid=22057] ppid=22054 vsize=10844940 memory=817300 CPUtime=2483.72 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 161922 13474 0 0 247965 400 5 2 20 0 15 0 444824201 11105218560 204325 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2711235 204325 3622 1 0 2673293 0
[pid=22057/tid=22110] ppid=22054 vsize=10844940 memory=817300 CPUtime=2413.81 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 59406 13474 0 0 241323 51 5 2 20 0 15 0 444824210 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361743450272 140361371700736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.59 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 8273 13474 0 0 1185 67 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10844940 memory=815252 CPUtime=12.57 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 12462 13474 0 0 1176 74 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10844940 memory=815252 CPUtime=12.57 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 16691 13474 0 0 1177 73 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10844940 memory=815252 CPUtime=12.53 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 14816 13474 0 0 1177 69 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10844940 memory=815252 CPUtime=12.05 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 13169 13474 0 0 1136 62 5 2 20 0 15 0 444824212 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 14 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361208947936 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10844940 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360604967680 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10844940 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10844940 memory=6791534058613427641 CPUtime=2.71 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 12788 13474 0 0 262 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10844940 memory=6791534058613427641 CPUtime=2.57 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) S 22054 22057 18141 0 -1 1077944384 11366 13474 0 0 248 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361296178032 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10844940 memory=3580 CPUtime=1.28 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) S 22054 22057 18141 0 -1 1077944384 9431 13474 0 0 119 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361295124976 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10844940 memory=9364 CPUtime=1.55 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1289 13474 0 0 65 83 5 2 20 0 15 0 444824216 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 2483.72 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 817300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.11 s]
/proc/loadavg: 1.12 1.32 1.38 3/227 22799
/proc/meminfo: memFree=29390332/32770624 swapFree=66926592/67108860
[pid=22057] ppid=22054 vsize=10844940 memory=817300 CPUtime=2520.08 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 162520 13474 0 0 251597 404 5 2 20 0 15 0 444824201 11105218560 204325 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2711235 204325 3622 1 0 2673293 0
[pid=22057/tid=22110] ppid=22054 vsize=10844940 memory=817300 CPUtime=2449.18 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 59773 13474 0 0 244859 52 5 2 20 0 15 0 444824210 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361743450000 140361369201280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10844940 memory=0 CPUtime=12.79 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 8287 13474 0 0 1204 68 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.77 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 12564 13474 0 0 1196 74 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.77 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 16723 13474 0 0 1196 74 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.72 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 14826 13474 0 0 1195 70 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.24 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 13226 13474 0 0 1154 63 5 2 20 0 15 0 444824212 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 14 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361208947936 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360604967680 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10844940 memory=817300 CPUtime=2.71 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 12788 13474 0 0 262 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10844940 memory=817300 CPUtime=2.57 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) S 22054 22057 18141 0 -1 1077944384 11366 13474 0 0 248 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361296178032 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10844940 memory=817300 CPUtime=1.28 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) S 22054 22057 18141 0 -1 1077944384 9431 13474 0 0 119 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361295124976 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10844940 memory=817300 CPUtime=1.57 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1305 13474 0 0 66 84 5 2 20 0 15 0 444824216 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 817300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.14 s]
# the end of solver process 22057 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.05 s, system=4.08373 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.11 s]
/proc/loadavg: 1.12 1.32 1.38 3/227 22799
/proc/meminfo: memFree=29390332/32770624 swapFree=66926592/67108860
[pid=22057] ppid=22054 vsize=10844940 memory=817300 CPUtime=2520.08 cores=1,3,5,7
/proc/22057/stat : 22057 (java) S 22054 22057 18141 0 -1 1077944320 162520 13474 0 0 251597 404 5 2 20 0 15 0 444824201 11105218560 204325 33554432000 4194304 4196468 140722437253776 140722437236320 140361771613943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
/proc/22057/statm: 2711235 204325 3622 1 0 2673293 0
[pid=22057/tid=22110] ppid=22054 vsize=10844940 memory=817300 CPUtime=2449.18 cores=1,3,5,7
/proc/22057/task/22110/stat : 22110 (java) R 22054 22057 18141 0 -1 4202560 59773 13474 0 0 244859 52 5 2 20 0 15 0 444824210 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361743450000 140361369201280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22111] ppid=22054 vsize=10844940 memory=0 CPUtime=12.79 cores=1,3,5,7
/proc/22057/task/22111/stat : 22111 (java) S 22054 22057 18141 0 -1 1077944384 8287 13474 0 0 1204 68 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361775856656 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22112] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.77 cores=1,3,5,7
/proc/22057/task/22112/stat : 22112 (java) S 22054 22057 18141 0 -1 1077944384 12564 13474 0 0 1196 74 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361680059536 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22113] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.77 cores=1,3,5,7
/proc/22057/task/22113/stat : 22113 (java) S 22054 22057 18141 0 -1 1077944384 16723 13474 0 0 1196 74 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361344015120 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22114] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.72 cores=1,3,5,7
/proc/22057/task/22114/stat : 22114 (java) S 22054 22057 18141 0 -1 1077944384 14826 13474 0 0 1195 70 5 2 20 0 15 0 444824211 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361342962576 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22115] ppid=22054 vsize=10844940 memory=817300 CPUtime=12.24 cores=1,3,5,7
/proc/22057/task/22115/stat : 22115 (java) S 22054 22057 18141 0 -1 1077944384 13226 13474 0 0 1154 63 5 2 20 0 15 0 444824212 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361298282736 140361771625090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22116] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22116/stat : 22116 (java) S 22054 22057 18141 0 -1 1077944384 14 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361208947936 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22117] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22117/stat : 22117 (java) S 22054 22057 18141 0 -1 1077944384 2 13474 0 0 0 0 5 2 20 0 15 0 444824213 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360604967680 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22118] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22118/stat : 22118 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360297568208 140361771632539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22119] ppid=22054 vsize=10844940 memory=817300 CPUtime=2.71 cores=1,3,5,7
/proc/22057/task/22119/stat : 22119 (java) S 22054 22057 18141 0 -1 1077944384 12788 13474 0 0 262 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361297230576 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22120] ppid=22054 vsize=10844940 memory=817300 CPUtime=2.57 cores=1,3,5,7
/proc/22057/task/22120/stat : 22120 (java) S 22054 22057 18141 0 -1 1077944384 11366 13474 0 0 248 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361296178032 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22121] ppid=22054 vsize=10844940 memory=817300 CPUtime=1.28 cores=1,3,5,7
/proc/22057/task/22121/stat : 22121 (java) S 22054 22057 18141 0 -1 1077944384 9431 13474 0 0 119 2 5 2 20 0 15 0 444824215 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361295124976 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22122] ppid=22054 vsize=10844940 memory=817300 CPUtime=0.07 cores=1,3,5,7
/proc/22057/task/22122/stat : 22122 (java) S 22054 22057 18141 0 -1 1077944384 3 13474 0 0 0 0 5 2 20 0 15 0 444824216 11105218560 204325 33554432000 4194304 4196468 140722437253776 140360264010592 140361771624149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
[pid=22057/tid=22123] ppid=22054 vsize=10844940 memory=817300 CPUtime=1.57 cores=1,3,5,7
/proc/22057/task/22123/stat : 22123 (java) S 22054 22057 18141 0 -1 1077944384 1305 13474 0 0 66 84 5 2 20 0 15 0 444824216 11105218560 204325 33554432000 4194304 4196468 140722437253776 140361294072368 140361771625090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9838592 140722437257968 140722437260485 140722437260485 140722437263311 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 817300 KiB
Child status: 143
Real time (s): 2478.14
CPU time (s): 2520.13
CPU user time (s): 2516.05
CPU system time (s): 4.08373
CPU usage (%): 101.695
Max. virtual memory (cumulated for all children) (KiB): 10847744
Max. memory (cumulated for all children) (KiB): 817300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.05
system time used= 4.08373
maximum resident set size= 821512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327337
involuntary context switches= 9179
# summary of solver processes directly reported to runsolver:
# pid: 22057
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.05
# total CPU system time (s): 4.08373
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4769 second user time and 23.6863 second system time
The end