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 (13725 MiB free)
memory of node 1: 16384 MiB (14079 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274751-1502859955/watcher-4274751-1502859955 -o /tmp/evaluation-result-4274751-1502859955/solver-4274751-1502859955 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502839307-13258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 755664772 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274751-1502859955.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=15664, runsolver pid=15661
[startup+0.100161 s]*
/proc/loadavg: 1.13 1.28 1.36 4/216 15679
/proc/meminfo: memFree=28453340/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13980164 memory=32944 CPUtime=0.13 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 8171 0 0 0 11 2 0 0 20 0 15 0 119083578 14315687936 8236 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3495041 8236 3408 1 0 3482761 0
[pid=15664/tid=15666] ppid=15661 vsize=13980164 memory=-7038777180040225399 CPUtime=0.09 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 6103 0 0 0 8 1 0 0 20 0 15 0 119083578 14315687936 8236 33554432000 4194304 4196468 140724870507120 140234558572880 140234554397853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13980164 memory=5793855852557896121 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 8236 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13980164 memory=140601548002944 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 8236 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 8236 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 8236 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119083580 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119083581 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233466401824 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119083581 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233465348976 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 119083583 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13980164 memory=140601548002944 CPUtime=0.02 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) R 15661 15664 13226 0 -1 4202560 378 0 0 0 2 0 0 0 20 0 15 0 119083583 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233461140080 140234554397274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13980164 memory=140601548002944 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083584 14315687936 8236 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 32944 KiB
[startup+0.210656 s]*
/proc/loadavg: 1.13 1.28 1.36 3/216 15679
/proc/meminfo: memFree=28444964/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13980196 memory=42768 CPUtime=0.3 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 9314 0 0 0 28 2 0 0 20 0 15 0 119083578 14315720704 10692 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3495041 10692 3649 1 0 3482761 0
[pid=15664/tid=15666] ppid=15661 vsize=13980196 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 6855 0 0 0 18 2 0 0 20 0 15 0 119083578 14315720704 10692 33554432000 4194304 4196468 140724870507120 140234558591952 140234547115917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13980164 memory=4211974327752793482 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 10692 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13980164 memory=140601548002944 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 10692 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 10692 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119083579 14315687936 10692 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13980196 memory=140601548002944 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119083580 14315720704 10692 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13980196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119083581 14315720704 10692 33554432000 4194304 4196468 140724870507120 140233466401824 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119083581 14315687936 10692 33554432000 4194304 4196468 140724870507120 140233465348976 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14315687936 10692 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13980164 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 119083583 14315687936 10692 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13980196 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 119083583 14315720704 10692 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13980196 memory=140601548002944 CPUtime=0.05 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) S 15661 15664 13226 0 -1 1077944384 436 0 0 0 5 0 0 0 20 0 15 0 119083583 14315720704 10692 33554432000 4194304 4196468 140724870507120 140233461140080 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14315687936 10692 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13980164 memory=140601548002944 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083584 14315687936 10692 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980196 KiB
Current children cumulated memory: 42768 KiB
[startup+0.31073 s]*
/proc/loadavg: 1.13 1.28 1.36 4/216 15679
/proc/meminfo: memFree=28436528/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13980184 memory=50984 CPUtime=0.5 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 10468 0 0 0 47 3 0 0 20 0 15 0 119083578 14315708416 12746 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3495046 12746 3714 1 0 3482761 0
[pid=15664/tid=15666] ppid=15661 vsize=13980184 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 7543 0 0 0 27 2 0 0 20 0 15 0 119083578 14315708416 12746 33554432000 4194304 4196468 140724870507120 140234558607144 140234538494560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13980184 memory=4211974327752793482 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315708416 12746 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13980184 memory=140601548005301 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315708416 12746 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13980184 memory=140601391701434 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14315708416 12746 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13980184 memory=140601391697359 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119083579 14315708416 12746 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13980184 memory=140601548016197 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119083580 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13980184 memory=140601391706575 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119083581 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233466401824 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13980184 memory=281202783403920 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119083581 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233465348976 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13980184 memory=281202783401584 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13980184 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 777 0 0 0 6 0 0 0 20 0 15 0 119083583 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13980184 memory=2240 CPUtime=0.03 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 119083583 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13980184 memory=140601548002944 CPUtime=0.09 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) R 15661 15664 13226 0 -1 4202560 484 0 0 0 9 0 0 0 20 0 15 0 119083583 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233461140080 140234533669360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13980184 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13980184 memory=140601548002944 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083584 14315708416 12746 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50984 KiB
[startup+0.700781 s]
/proc/loadavg: 1.13 1.28 1.36 6/216 15679
/proc/meminfo: memFree=28421392/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13984280 memory=84200 CPUtime=1.24 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 13660 0 0 0 119 5 0 0 20 0 15 0 119083578 14319902720 21050 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3496070 21050 3755 1 0 3483785 0
[pid=15664/tid=15666] ppid=15661 vsize=13984280 memory=1952 CPUtime=0.68 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 9186 0 0 0 64 4 0 0 20 0 15 0 119083578 14319902720 21050 33554432000 4194304 4196468 140724870507120 140234558602416 140234538456414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13984280 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 21050 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13984280 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 21050 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13984280 memory=7662705889289527641 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 21050 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13984280 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 21050 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13984280 memory=5859271421084194152 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119083580 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119083581 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233466401824 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119083581 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233465348976 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13984280 memory=39 CPUtime=0.17 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 1380 0 0 0 17 0 0 0 20 0 15 0 119083583 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13984280 memory=4 CPUtime=0.12 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 671 0 0 0 12 0 0 0 20 0 15 0 119083583 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13984280 memory=7053 CPUtime=0.23 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) S 15661 15664 13226 0 -1 1077944384 1043 0 0 0 23 0 0 0 20 0 15 0 119083583 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233461140080 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13984280 memory=281202783587824 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13984280 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083584 14319902720 21050 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 84200 KiB
[startup+1.50077 s]
/proc/loadavg: 1.13 1.28 1.36 5/216 15679
/proc/meminfo: memFree=28353084/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13984280 memory=161480 CPUtime=3.62 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 24331 0 0 0 355 7 0 0 20 0 15 0 119083578 14319902720 40370 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3496070 40370 3783 1 0 3483785 0
[pid=15664/tid=15666] ppid=15661 vsize=13984280 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 10472 0 0 0 142 5 0 0 20 0 15 0 119083578 14319902720 40370 33554432000 4194304 4196468 140724870507120 140234558611984 140234193240924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13984280 memory=4946531983634700928 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 40370 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13984280 memory=-6079155062941556521 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 40370 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13984280 memory=-6305709520703742848 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 40370 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13984280 memory=-5791734161661911656 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119083579 14319902720 40370 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13984280 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119083580 14319902720 40370 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
################
# More data... #
################
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 64974 0 0 0 235539 44 0 0 20 0 15 0 119083578 14321999872 146746 33554432000 4194304 4196468 140724870507120 140234558614448 140234194464292 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13986328 memory=582888 CPUtime=14.55 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 8222 0 0 0 1395 60 0 0 20 0 15 0 119083579 14321999872 146746 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13986328 memory=580840 CPUtime=14.56 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 8801 0 0 0 1394 62 0 0 20 0 15 0 119083579 14321999872 146746 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13986328 memory=586984 CPUtime=14.57 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 7423 0 0 0 1398 59 0 0 20 0 15 0 119083579 14321999872 146746 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13986328 memory=586984 CPUtime=14.57 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 9061 0 0 0 1396 61 0 0 20 0 15 0 119083579 14321999872 146746 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13986328 memory=586984 CPUtime=8.55 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 6679 0 0 0 791 64 0 0 20 0 15 0 119083580 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13986328 memory=586984 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233466401888 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13986328 memory=586984 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233465348992 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13986328 memory=586984 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13986328 memory=586984 CPUtime=2.67 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 20654 0 0 0 265 2 0 0 20 0 15 0 119083583 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13986328 memory=4612 CPUtime=2.22 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 16798 0 0 0 220 2 0 0 20 0 15 0 119083583 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13986328 memory=5296 CPUtime=0.8 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) S 15661 15664 13226 0 -1 1077944384 14921 0 0 0 78 2 0 0 20 0 15 0 119083583 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233461140080 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13986328 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13986328 memory=4612 CPUtime=1.39 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 965 0 0 0 62 77 0 0 20 0 15 0 119083584 14321999872 146746 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 2429.8 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 586984 KiB
[startup+2442.3 s]
/proc/loadavg: 1.18 1.30 1.31 3/216 15853
/proc/meminfo: memFree=27088396/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13986328 memory=591080 CPUtime=2491 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 161810 0 0 0 248722 378 0 0 20 0 15 0 119083578 14321999872 147770 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3496582 147770 3848 1 0 3484297 0
[pid=15664/tid=15666] ppid=15661 vsize=13986328 memory=586984 CPUtime=2415.19 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 65663 0 0 0 241475 44 0 0 20 0 15 0 119083578 14321999872 147770 33554432000 4194304 4196468 140724870507120 140234558614448 140234194303456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13986328 memory=586984 CPUtime=14.96 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 8518 0 0 0 1435 61 0 0 20 0 15 0 119083579 14321999872 147770 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13986328 memory=589032 CPUtime=14.96 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 9010 0 0 0 1433 63 0 0 20 0 15 0 119083579 14321999872 147770 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13986328 memory=591080 CPUtime=14.98 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 7586 0 0 0 1437 61 0 0 20 0 15 0 119083579 14321999872 147770 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13986328 memory=591080 CPUtime=14.98 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 9340 0 0 0 1436 62 0 0 20 0 15 0 119083579 14321999872 147770 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13986328 memory=591080 CPUtime=8.72 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 6855 0 0 0 807 65 0 0 20 0 15 0 119083580 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13986328 memory=591080 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233466401888 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13986328 memory=591080 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233465348992 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13986328 memory=591080 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13986328 memory=591080 CPUtime=2.67 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 20656 0 0 0 265 2 0 0 20 0 15 0 119083583 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13986328 memory=612 CPUtime=2.22 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 16800 0 0 0 220 2 0 0 20 0 15 0 119083583 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13986328 memory=591080 CPUtime=0.8 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) S 15661 15664 13226 0 -1 1077944384 14923 0 0 0 78 2 0 0 20 0 15 0 119083583 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233461140080 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13986328 memory=591080 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13986328 memory=1196 CPUtime=1.42 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 980 0 0 0 63 79 0 0 20 0 15 0 119083584 14321999872 147770 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 2491 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 591080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.7 s]
/proc/loadavg: 1.05 1.25 1.30 3/216 15854
/proc/meminfo: memFree=27047908/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13986328 memory=593128 CPUtime=2520 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 162669 0 0 0 251618 382 0 0 20 0 15 0 119083578 14321999872 148282 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3496582 148282 3848 1 0 3484297 0
[pid=15664/tid=15666] ppid=15661 vsize=13986328 memory=956 CPUtime=2443.27 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 66011 0 0 0 244282 45 0 0 20 0 15 0 119083578 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234558614336 140234194303739 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13986328 memory=1420 CPUtime=15.17 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 8646 0 0 0 1455 62 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13986328 memory=593128 CPUtime=15.16 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 9071 0 0 0 1452 64 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13986328 memory=593128 CPUtime=15.18 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 7746 0 0 0 1456 62 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13986328 memory=593128 CPUtime=15.19 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 9498 0 0 0 1456 63 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13986328 memory=593128 CPUtime=8.81 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 6857 0 0 0 816 65 0 0 20 0 15 0 119083580 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13986328 memory=593128 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233466401888 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13986328 memory=593128 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233465348992 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13986328 memory=593128 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13986328 memory=0 CPUtime=2.67 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 20656 0 0 0 265 2 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13986328 memory=593128 CPUtime=2.22 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 16800 0 0 0 220 2 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13986328 memory=593128 CPUtime=0.8 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) S 15661 15664 13226 0 -1 1077944384 14923 0 0 0 78 2 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233461140080 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13986328 memory=33068 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13986328 memory=1292 CPUtime=1.43 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 982 0 0 0 64 79 0 0 20 0 15 0 119083584 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 593128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.71 s]
# the end of solver process 15664 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.2 s, system=3.82853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.7 s]
/proc/loadavg: 1.05 1.25 1.30 3/216 15854
/proc/meminfo: memFree=27047908/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=13986328 memory=593128 CPUtime=2520 cores=1,3,5,7
/proc/15664/stat : 15664 (java) S 15661 15664 13226 0 -1 1077944320 162669 0 0 0 251618 382 0 0 20 0 15 0 119083578 14321999872 148282 33554432000 4194304 4196468 140724870507120 140724870489664 140234554375927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
/proc/15664/statm: 3496582 148282 3848 1 0 3484297 0
[pid=15664/tid=15666] ppid=15661 vsize=13986328 memory=956 CPUtime=2443.27 cores=1,3,5,7
/proc/15664/task/15666/stat : 15666 (java) R 15661 15664 13226 0 -1 4202560 66011 0 0 0 244282 45 0 0 20 0 15 0 119083578 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234558614336 140234194303739 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15667] ppid=15661 vsize=13986328 memory=1420 CPUtime=15.17 cores=1,3,5,7
/proc/15664/task/15667/stat : 15667 (java) S 15661 15664 13226 0 -1 1077944384 8646 0 0 0 1455 62 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234510929040 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15668] ppid=15661 vsize=13986328 memory=593128 CPUtime=15.16 cores=1,3,5,7
/proc/15664/task/15668/stat : 15668 (java) S 15661 15664 13226 0 -1 1077944384 9071 0 0 0 1452 64 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234509876240 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15669] ppid=15661 vsize=13986328 memory=593128 CPUtime=15.18 cores=1,3,5,7
/proc/15664/task/15669/stat : 15669 (java) S 15661 15664 13226 0 -1 1077944384 7746 0 0 0 1456 62 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234508823440 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15670] ppid=15661 vsize=13986328 memory=593128 CPUtime=15.19 cores=1,3,5,7
/proc/15664/task/15670/stat : 15670 (java) S 15661 15664 13226 0 -1 1077944384 9498 0 0 0 1456 63 0 0 20 0 15 0 119083579 14321999872 148282 33554432000 4194304 4196468 140724870507120 140234147162896 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15671] ppid=15661 vsize=13986328 memory=593128 CPUtime=8.81 cores=1,3,5,7
/proc/15664/task/15671/stat : 15671 (java) S 15661 15664 13226 0 -1 1077944384 6857 0 0 0 816 65 0 0 20 0 15 0 119083580 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233467455856 140234554387074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15672] ppid=15661 vsize=13986328 memory=593128 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15672/stat : 15672 (java) S 15661 15664 13226 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233466401888 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15673] ppid=15661 vsize=13986328 memory=593128 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15673/stat : 15673 (java) S 15661 15664 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 119083581 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233465348992 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15674] ppid=15661 vsize=13986328 memory=593128 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15674/stat : 15674 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233464297296 140234554394523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15675] ppid=15661 vsize=13986328 memory=0 CPUtime=2.67 cores=1,3,5,7
/proc/15664/task/15675/stat : 15675 (java) S 15661 15664 13226 0 -1 1077944384 20656 0 0 0 265 2 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233463245680 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15676] ppid=15661 vsize=13986328 memory=593128 CPUtime=2.22 cores=1,3,5,7
/proc/15664/task/15676/stat : 15676 (java) S 15661 15664 13226 0 -1 1077944384 16800 0 0 0 220 2 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233462192880 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15677] ppid=15661 vsize=13986328 memory=593128 CPUtime=0.8 cores=1,3,5,7
/proc/15664/task/15677/stat : 15677 (java) S 15661 15664 13226 0 -1 1077944384 14923 0 0 0 78 2 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233461140080 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15678] ppid=15661 vsize=13986328 memory=33068 CPUtime=0 cores=1,3,5,7
/proc/15664/task/15678/stat : 15678 (java) S 15661 15664 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119083583 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233460087520 140234554386133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
[pid=15664/tid=15679] ppid=15661 vsize=13986328 memory=1292 CPUtime=1.43 cores=1,3,5,7
/proc/15664/task/15679/stat : 15679 (java) S 15661 15664 13226 0 -1 1077944384 982 0 0 0 64 79 0 0 20 0 15 0 119083584 14321999872 148282 33554432000 4194304 4196468 140724870507120 140233459034800 140234554387074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 28823552 140724870509673 140724870509855 140724870509855 140724870512591 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 593128 KiB
Child status: 143
Real time (s): 2470.71
CPU time (s): 2520.02
CPU user time (s): 2516.2
CPU system time (s): 3.82853
CPU usage (%): 101.996
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 593128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 3.82853
maximum resident set size= 593400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 299587
involuntary context switches= 5583
# summary of solver processes directly reported to runsolver:
# pid: 15664
# total CPU time (s): 2520.02
# total CPU user time (s): 2516.2
# total CPU system time (s): 3.82853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7959 second user time and 24.1788 second system time
The end