runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247539-1500690200/watcher-4247539-1500690200 -o /tmp/evaluation-result-4247539-1500690200/solver-4247539-1500690200 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1569022795 HOME/instance-4247539-1500690200.xml
pid=30628
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.01 10.48 7.81 10/270 30631
/proc/meminfo: memFree=30053788/32770624 swapFree=5892/119996
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
[startup+0.100157 s]
/proc/loadavg: 15.01 10.48 7.81 10/270 30631
/proc/meminfo: memFree=30053788/32770624 swapFree=5892/119996
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200258 s]
/proc/loadavg: 15.01 10.48 7.81 10/270 30631
/proc/meminfo: memFree=30053788/32770624 swapFree=5892/119996
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300341 s]
/proc/loadavg: 15.01 10.48 7.81 10/270 30631
/proc/meminfo: memFree=30053788/32770624 swapFree=5892/119996
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 15.01 10.48 7.81 10/270 30631
/proc/meminfo: memFree=30053788/32770624 swapFree=5892/119996
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50156 s]
/proc/loadavg: 15.01 10.48 7.81 23/299 30660
/proc/meminfo: memFree=29910556/32770624 swapFree=5892/120056
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
[pid=30632] ppid=30631 vsize=13806364 CPUtime=7.66 cores=0,2,4,6,8,10,12,14
/proc/30632/stat : 30632 (java) S 30631 30631 15667 0 -1 1077944320 27028 0 0 0 756 10 0 0 20 0 28 0 4289684 14137716736 37104 33554432000 4194304 4196468 140734414894912 140734414877456 139744348102391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
/proc/30632/statm: 3451591 37104 3204 1 0 3438824 0
[pid=30632/tid=30633] ppid=30631 vsize=13806364 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30633/stat : 30633 (java) S 30631 30631 15667 0 -1 1077944384 6927 0 0 0 65 3 0 0 20 0 28 0 4289684 14137716736 37104 33554432000 4194304 4196468 140734414894912 139744352343168 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30635] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30635/stat : 30635 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139744280239248 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30636] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30636/stat : 30636 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139744279186448 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30637] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30637/stat : 30637 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743944739728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30638] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30638/stat : 30638 (java) S 30631 30631 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743943686928 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30639] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30639/stat : 30639 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743942634128 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30640] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30640/stat : 30640 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743941581328 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30641] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30641/stat : 30641 (java) S 30631 30631 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743940528528 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30642] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30642/stat : 30642 (java) S 30631 30631 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4289685 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743939475728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30643] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30643/stat : 30643 (java) S 30631 30631 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4289688 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743877495664 139744348113538 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30644] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30644/stat : 30644 (java) S 30631 30631 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4289689 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743876441632 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30645] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30645/stat : 30645 (java) S 30631 30631 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4289689 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743807399280 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30646] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30646/stat : 30646 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289693 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743806347600 139744348120987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30647] ppid=30631 vsize=13806364 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30647/stat : 30647 (java) R 30631 30631 15667 0 -1 4202560 3574 0 0 0 55 1 0 0 20 0 28 0 4289693 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743805275976 139744327321032 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30648] ppid=30631 vsize=13806364 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30648/stat : 30648 (java) R 30631 30631 15667 0 -1 4202560 5595 0 0 0 66 1 0 0 20 0 28 0 4289693 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743804227832 139744340339518 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30649] ppid=30631 vsize=13806364 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30649/stat : 30649 (java) R 30631 30631 15667 0 -1 4202560 4970 0 0 0 75 1 0 0 20 0 28 0 4289693 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743803175520 139744331489195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30650] ppid=30631 vsize=13806364 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30650/stat : 30650 (java) S 30631 30631 15667 0 -1 1077944384 4112 0 0 0 66 1 0 0 20 0 28 0 4289693 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743802136560 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30651] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30651/stat : 30651 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289693 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743801085024 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30652] ppid=30631 vsize=13806364 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30652/stat : 30652 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289693 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743800032304 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30653] ppid=30631 vsize=13806364 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30653/stat : 30653 (java) R 30631 30631 15667 0 -1 4202560 104 0 0 0 59 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743792518360 139743963256509 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30654] ppid=30631 vsize=13806364 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30654/stat : 30654 (java) R 30631 30631 15667 0 -1 4202560 46 0 0 0 56 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743791464648 139743961928092 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30655] ppid=30631 vsize=13806364 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30655/stat : 30655 (java) R 30631 30631 15667 0 -1 4202560 56 0 0 0 47 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743790413768 139743961357134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30656] ppid=30631 vsize=13806364 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30656/stat : 30656 (java) R 30631 30631 15667 0 -1 4202560 82 0 0 0 43 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743789360792 139743962524623 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30657] ppid=30631 vsize=13806364 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30657/stat : 30657 (java) R 30631 30631 15667 0 -1 4202560 81 0 0 0 59 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743788308568 139743962513216 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30658] ppid=30631 vsize=13806364 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30658/stat : 30658 (java) R 30631 30631 15667 0 -1 4202560 63 0 0 0 46 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743787252440 139743963289097 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30659] ppid=30631 vsize=13806364 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30659/stat : 30659 (java) R 30631 30631 15667 0 -1 4202560 81 0 0 0 59 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743786201672 139743963288398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30660] ppid=30631 vsize=13806364 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30660/stat : 30660 (java) R 30631 30631 15667 0 -1 4202560 33 0 0 0 54 0 0 0 20 0 28 0 4289755 14137716736 37104 33554432000 4194304 4196468 140734414894912 139743785149008 139743963011174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 13815876
[startup+3.10142 s]
/proc/loadavg: 15.17 10.58 7.86 20/299 30660
/proc/meminfo: memFree=29803300/32770624 swapFree=5892/120056
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
[pid=30632] ppid=30631 vsize=13801768 CPUtime=20.4 cores=0,2,4,6,8,10,12,14
/proc/30632/stat : 30632 (java) S 30631 30631 15667 0 -1 1077944320 55705 0 0 0 2025 15 0 0 20 0 28 0 4289684 14133010432 55461 33554432000 4194304 4196468 140734414894912 140734414877456 139744348102391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
/proc/30632/statm: 3450442 55461 3208 1 0 3437675 0
[pid=30632/tid=30633] ppid=30631 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30633/stat : 30633 (java) S 30631 30631 15667 0 -1 1077944384 6927 0 0 0 65 3 0 0 20 0 28 0 4289684 14133010432 55461 33554432000 4194304 4196468 140734414894912 139744352343168 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30635] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30635/stat : 30635 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139744280239248 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30636] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30636/stat : 30636 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139744279186448 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30637] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30637/stat : 30637 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743944739728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30638] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30638/stat : 30638 (java) S 30631 30631 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743943686928 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30639] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30639/stat : 30639 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743942634128 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30640] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30640/stat : 30640 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743941581328 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30641] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30641/stat : 30641 (java) S 30631 30631 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743940528528 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30642] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30642/stat : 30642 (java) S 30631 30631 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4289685 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743939475728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30643] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30643/stat : 30643 (java) S 30631 30631 15667 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 4289688 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743877495664 139744348113538 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30644] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30644/stat : 30644 (java) S 30631 30631 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4289689 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743876441632 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30645] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30645/stat : 30645 (java) S 30631 30631 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4289689 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743807399280 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30646] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30646/stat : 30646 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289693 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743806347600 139744348120987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30647] ppid=30631 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30647/stat : 30647 (java) R 30631 30631 15667 0 -1 4202560 13078 0 0 0 185 2 0 0 20 0 28 0 4289693 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743805281392 139744329645723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30648] ppid=30631 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30648/stat : 30648 (java) R 30631 30631 15667 0 -1 4202560 16392 0 0 0 180 2 0 0 20 0 28 0 4289693 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743804228184 139744327348565 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30649] ppid=30631 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30649/stat : 30649 (java) R 30631 30631 15667 0 -1 4202560 11415 0 0 0 186 2 0 0 20 0 28 0 4289693 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743803170928 139744326119370 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30650] ppid=30631 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30650/stat : 30650 (java) S 30631 30631 15667 0 -1 1077944384 5815 0 0 0 73 2 0 0 20 0 28 0 4289693 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743802136560 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30651] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30651/stat : 30651 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289693 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743801085024 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30652] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30652/stat : 30652 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289693 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743800032304 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30653] ppid=30631 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30653/stat : 30653 (java) R 30631 30631 15667 0 -1 4202560 109 0 0 0 160 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743792517080 139743958538404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30654] ppid=30631 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30654/stat : 30654 (java) R 30631 30631 15667 0 -1 4202560 96 0 0 0 160 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743791465576 139743960141011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30655] ppid=30631 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30655/stat : 30655 (java) R 30631 30631 15667 0 -1 4202560 79 0 0 0 148 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743790414040 139743960140933 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30656] ppid=30631 vsize=13801768 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30656/stat : 30656 (java) R 30631 30631 15667 0 -1 4202560 124 0 0 0 163 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743789360720 139743962700104 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30657] ppid=30631 vsize=13801768 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30657/stat : 30657 (java) R 30631 30631 15667 0 -1 4202560 101 0 0 0 174 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743788306648 139743958433024 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30658] ppid=30631 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30658/stat : 30658 (java) R 30631 30631 15667 0 -1 4202560 76 0 0 0 156 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743787252904 139743962863020 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30659] ppid=30631 vsize=13801768 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30659/stat : 30659 (java) R 30631 30631 15667 0 -1 4202560 102 0 0 0 182 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743786203080 139743963042395 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30660] ppid=30631 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30660/stat : 30660 (java) R 30631 30631 15667 0 -1 4202560 53 0 0 0 188 0 0 0 20 0 28 0 4289755 14133010432 55461 33554432000 4194304 4196468 140734414894912 139743785149032 139743958551997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
Current children cumulated CPU time (s) 20.4
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 15.17 10.58 7.86 19/299 30660
/proc/meminfo: memFree=29566496/32770624 swapFree=5892/120064
################
# More data... #
################
[pid=30632/tid=30659] ppid=30631 vsize=13801768 CPUtime=215.33 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30659/stat : 30659 (java) R 30631 30631 15667 0 -1 4202560 2385 0 0 0 21532 1 0 0 20 0 28 0 4289755 14133010432 97576 33554432000 4194304 4196468 140734414894912 139743786202040 139743966248324 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30660] ppid=30631 vsize=13801768 CPUtime=215.8 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30660/stat : 30660 (java) R 30631 30631 15667 0 -1 4202560 1015 0 0 0 21578 2 0 0 20 0 28 0 4289755 14133010432 97576 33554432000 4194304 4196468 140734414894912 139743785148600 139744327812833 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
Current children cumulated CPU time (s) 1749.34
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.76 13.63 9.85 17/299 30842
/proc/meminfo: memFree=30834840/32770624 swapFree=5892/120456
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
[pid=30632] ppid=30631 vsize=13801768 CPUtime=2222.06 cores=0,2,4,6,8,10,12,14
/proc/30632/stat : 30632 (java) S 30631 30631 15667 0 -1 1077944320 113205 0 0 0 221875 331 0 0 20 0 28 0 4289684 14133010432 103195 33554432000 4194304 4196468 140734414894912 140734414877456 139744348102391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
/proc/30632/statm: 3450442 103195 3297 1 0 3437675 0
[pid=30632/tid=30633] ppid=30631 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30633/stat : 30633 (java) S 30631 30631 15667 0 -1 1077944384 6927 0 0 0 65 3 0 0 20 0 28 0 4289684 14133010432 103195 33554432000 4194304 4196468 140734414894912 139744352343168 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30635] ppid=30631 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30635/stat : 30635 (java) S 30631 30631 15667 0 -1 1077944384 1498 0 0 0 115 17 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139744280239248 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30636] ppid=30631 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30636/stat : 30636 (java) S 30631 30631 15667 0 -1 1077944384 907 0 0 0 115 15 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139744279186448 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30637] ppid=30631 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30637/stat : 30637 (java) S 30631 30631 15667 0 -1 1077944384 2593 0 0 0 113 19 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743944739728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30638] ppid=30631 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30638/stat : 30638 (java) S 30631 30631 15667 0 -1 1077944384 794 0 0 0 113 16 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743943686928 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30639] ppid=30631 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30639/stat : 30639 (java) S 30631 30631 15667 0 -1 1077944384 1756 0 0 0 116 16 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743942634128 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30640] ppid=30631 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30640/stat : 30640 (java) S 30631 30631 15667 0 -1 1077944384 1823 0 0 0 115 15 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743941581328 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30641] ppid=30631 vsize=13801768 CPUtime=1.33 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30641/stat : 30641 (java) S 30631 30631 15667 0 -1 1077944384 1736 0 0 0 116 17 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743940528528 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30642] ppid=30631 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30642/stat : 30642 (java) S 30631 30631 15667 0 -1 1077944384 1144 0 0 0 115 14 0 0 20 0 28 0 4289685 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743939475728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30643] ppid=30631 vsize=13801768 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30643/stat : 30643 (java) S 30631 30631 15667 0 -1 1077944384 8337 0 0 0 128 162 0 0 20 0 28 0 4289688 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743877495664 139744348113538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30644] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30644/stat : 30644 (java) S 30631 30631 15667 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4289689 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743876441696 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30645] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30645/stat : 30645 (java) S 30631 30631 15667 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4289689 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743807399296 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30646] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30646/stat : 30646 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289693 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743806347600 139744348120987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30647] ppid=30631 vsize=13801768 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30647/stat : 30647 (java) S 30631 30631 15667 0 -1 1077944384 18378 0 0 0 457 3 0 0 20 0 28 0 4289693 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743805294960 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30648] ppid=30631 vsize=13801768 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30648/stat : 30648 (java) S 30631 30631 15667 0 -1 1077944384 20963 0 0 0 420 2 0 0 20 0 28 0 4289693 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743804242160 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30649] ppid=30631 vsize=13801768 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30649/stat : 30649 (java) S 30631 30631 15667 0 -1 1077944384 18104 0 0 0 422 3 0 0 20 0 28 0 4289693 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743803189360 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30650] ppid=30631 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30650/stat : 30650 (java) S 30631 30631 15667 0 -1 1077944384 9015 0 0 0 90 2 0 0 20 0 28 0 4289693 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743802136560 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30651] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30651/stat : 30651 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289693 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743801085024 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30652] ppid=30631 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30652/stat : 30652 (java) S 30631 30631 15667 0 -1 1077944384 389 0 0 0 7 5 0 0 20 0 28 0 4289693 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743800032304 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30653] ppid=30631 vsize=13801768 CPUtime=273.13 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30653/stat : 30653 (java) R 30631 30631 15667 0 -1 4202560 1553 0 0 0 27312 1 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743792515928 139743967057126 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30654] ppid=30631 vsize=13801768 CPUtime=274.53 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30654/stat : 30654 (java) R 30631 30631 15667 0 -1 4202560 2981 0 0 0 27451 2 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743791467392 139743966248452 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30655] ppid=30631 vsize=13801768 CPUtime=274.31 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30655/stat : 30655 (java) R 30631 30631 15667 0 -1 4202560 841 0 0 0 27430 1 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743790411880 139743966248338 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30656] ppid=30631 vsize=13801768 CPUtime=275.15 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30656/stat : 30656 (java) R 30631 30631 15667 0 -1 4202560 1663 0 0 0 27512 3 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743789358832 139743966248079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30657] ppid=30631 vsize=13801768 CPUtime=273.91 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30657/stat : 30657 (java) R 30631 30631 15667 0 -1 4202560 1056 0 0 0 27390 1 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743788306200 139743966248338 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30658] ppid=30631 vsize=13801768 CPUtime=274.14 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30658/stat : 30658 (java) R 30631 30631 15667 0 -1 4202560 1825 0 0 0 27412 2 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743787253480 139743963597076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30659] ppid=30631 vsize=13801768 CPUtime=274 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30659/stat : 30659 (java) R 30631 30631 15667 0 -1 4202560 5457 0 0 0 27399 1 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743786202040 139743968056369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30660] ppid=30631 vsize=13801768 CPUtime=274.47 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30660/stat : 30660 (java) R 30631 30631 15667 0 -1 4202560 2118 0 0 0 27445 2 0 0 20 0 28 0 4289755 14133010432 103195 33554432000 4194304 4196468 140734414894912 139743785148488 139743967969951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
Current children cumulated CPU time (s) 2222.06
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.002 s]
/proc/loadavg: 15.84 13.82 10.02 17/299 30866
/proc/meminfo: memFree=30832224/32770624 swapFree=5892/120488
[pid=30631] ppid=30628 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30631/stat : 30631 (xcsp3-exec) S 30628 30631 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4289684 9740288 346 33554432000 4194304 5098028 140725565641840 140725565639944 139776810726012 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 38014976 140725565650062 140725565650272 140725565650272 140725565652971 0
/proc/30631/statm: 2378 346 289 221 0 87 0
[pid=30632] ppid=30631 vsize=13801768 CPUtime=2400.28 cores=0,2,4,6,8,10,12,14
/proc/30632/stat : 30632 (java) S 30631 30631 15667 0 -1 1077944320 115163 0 0 0 239665 363 0 0 20 0 28 0 4289684 14133010432 104690 33554432000 4194304 4196468 140734414894912 140734414877456 139744348102391 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
/proc/30632/statm: 3450442 104690 3297 1 0 3437675 0
[pid=30632/tid=30633] ppid=30631 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30633/stat : 30633 (java) S 30631 30631 15667 0 -1 1077944384 6927 0 0 0 65 3 0 0 20 0 28 0 4289684 14133010432 104690 33554432000 4194304 4196468 140734414894912 139744352343168 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30635] ppid=30631 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30635/stat : 30635 (java) S 30631 30631 15667 0 -1 1077944384 1575 0 0 0 125 18 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139744280239248 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30636] ppid=30631 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30636/stat : 30636 (java) S 30631 30631 15667 0 -1 1077944384 1072 0 0 0 124 17 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139744279186448 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30637] ppid=30631 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30637/stat : 30637 (java) S 30631 30631 15667 0 -1 1077944384 2918 0 0 0 122 20 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743944739728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30638] ppid=30631 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30638/stat : 30638 (java) S 30631 30631 15667 0 -1 1077944384 821 0 0 0 123 17 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743943686928 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30639] ppid=30631 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30639/stat : 30639 (java) S 30631 30631 15667 0 -1 1077944384 1858 0 0 0 126 18 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743942634128 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30640] ppid=30631 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30640/stat : 30640 (java) S 30631 30631 15667 0 -1 1077944384 1882 0 0 0 125 17 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743941581328 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30641] ppid=30631 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30641/stat : 30641 (java) S 30631 30631 15667 0 -1 1077944384 1755 0 0 0 125 18 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743940528528 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30642] ppid=30631 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30642/stat : 30642 (java) S 30631 30631 15667 0 -1 1077944384 1199 0 0 0 124 16 0 0 20 0 28 0 4289685 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743939475728 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30643] ppid=30631 vsize=13801768 CPUtime=3.28 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30643/stat : 30643 (java) S 30631 30631 15667 0 -1 1077944384 8759 0 0 0 143 185 0 0 20 0 28 0 4289688 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743877495664 139744348113538 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30644] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30644/stat : 30644 (java) S 30631 30631 15667 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4289689 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743876441696 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30645] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30645/stat : 30645 (java) S 30631 30631 15667 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4289689 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743807399296 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30646] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30646/stat : 30646 (java) S 30631 30631 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4289693 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743806347600 139744348120987 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30647] ppid=30631 vsize=13801768 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30647/stat : 30647 (java) S 30631 30631 15667 0 -1 1077944384 18380 0 0 0 457 3 0 0 20 0 28 0 4289693 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743805294960 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30648] ppid=30631 vsize=13801768 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30648/stat : 30648 (java) S 30631 30631 15667 0 -1 1077944384 20966 0 0 0 420 2 0 0 20 0 28 0 4289693 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743804242160 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30649] ppid=30631 vsize=13801768 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30649/stat : 30649 (java) S 30631 30631 15667 0 -1 1077944384 18106 0 0 0 422 3 0 0 20 0 28 0 4289693 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743803189360 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30650] ppid=30631 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30650/stat : 30650 (java) S 30631 30631 15667 0 -1 1077944384 9017 0 0 0 90 2 0 0 20 0 28 0 4289693 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743802136560 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30651] ppid=30631 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30651/stat : 30651 (java) S 30631 30631 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4289693 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743801085024 139744348112597 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30652] ppid=30631 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30652/stat : 30652 (java) S 30631 30631 15667 0 -1 1077944384 391 0 0 0 7 5 0 0 20 0 28 0 4289693 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743800032304 139744348113538 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 7 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30653] ppid=30631 vsize=13801768 CPUtime=295.19 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30653/stat : 30653 (java) R 30631 30631 15667 0 -1 4202560 1635 0 0 0 29517 2 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743792515688 139743963074737 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30654] ppid=30631 vsize=13801768 CPUtime=296.63 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30654/stat : 30654 (java) R 30631 30631 15667 0 -1 4202560 3011 0 0 0 29660 3 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743791467392 139743965369688 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30655] ppid=30631 vsize=13801768 CPUtime=296.6 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30655/stat : 30655 (java) R 30631 30631 15667 0 -1 4202560 850 0 0 0 29659 1 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743790411880 139743966248304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30656] ppid=30631 vsize=13801768 CPUtime=297.37 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30656/stat : 30656 (java) R 30631 30631 15667 0 -1 4202560 1760 0 0 0 29734 3 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743789358832 139743966248347 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30657] ppid=30631 vsize=13801768 CPUtime=296 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30657/stat : 30657 (java) R 30631 30631 15667 0 -1 4202560 1075 0 0 0 29599 1 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743788305688 139743965997792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30658] ppid=30631 vsize=13801768 CPUtime=296.18 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30658/stat : 30658 (java) R 30631 30631 15667 0 -1 4202560 1930 0 0 0 29616 2 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743787253432 139743967201739 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30659] ppid=30631 vsize=13801768 CPUtime=296.07 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30659/stat : 30659 (java) R 30631 30631 15667 0 -1 4202560 5716 0 0 0 29605 2 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743786202040 139743962684520 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
[pid=30632/tid=30660] ppid=30631 vsize=13801768 CPUtime=296.62 cores=0,2,4,6,8,10,12,14
/proc/30632/task/30660/stat : 30660 (java) R 30631 30631 15667 0 -1 4202560 2213 0 0 0 29660 2 0 0 20 0 28 0 4289755 14133010432 104690 33554432000 4194304 4196468 140734414894912 139743785148248 139743966004494 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22872064 140734414898364 140734414898540 140734414898540 140734414901199 0
Current children cumulated CPU time (s) 2400.28
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30632 sig 9
??? kill 30631 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30631 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1642
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=821
# CPU time returned by wait4() is 0.002463
# while last known CPU time is 2400.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 305.012
CPU time (s): 2400.28
CPU user time (s): 2396.65
CPU system time (s): 3.63
CPU usage (%): 786.945
Max. virtual memory (cumulated for all children) (KiB): 13816452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001642
system time used= 0.000821
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.74838 second user time and 4.19097 second system time
The end