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 (5366 MiB free)
memory of node 1: 16384 MiB (2626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402664-1568988749/watcher-4402664-1568988749 -o /tmp/evaluation-result-4402664-1568988749/solver-4402664-1568988749 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568967596-5049 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1201630527 HOME/instance-4402664-1568988749.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=11893, runsolver pid=11890
[startup+0.100057 s]*
/proc/loadavg: 1.36 1.34 1.43 3/218 11950
/proc/meminfo: memFree=8176720/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=9972712 memory=17340 CPUtime=0.1 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 4560 13338 0 0 1 1 5 3 20 0 6 0 475143704 10212057088 4335 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2493178 4335 1958 1 0 2481616 0
[pid=11893/tid=11946] ppid=11890 vsize=9988792 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) R 11890 11893 5017 0 -1 4202560 2398 13338 0 0 1 0 5 3 20 0 6 0 475143713 10228523008 4335 33554432000 4194304 4196468 140733197508784 140061397647952 140061409571024 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 6 0 475143714 10228523008 4335 33554432000 4194304 4196468 140733197508784 140061430053392 140061425821397 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=9988792 memory=140608296982805 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 6 0 475143714 10228523008 4335 33554432000 4194304 4196468 140733197508784 140061318326928 140061425821397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 6 0 475143714 10228523008 4335 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=9988792 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 6 0 475143714 10228523008 4335 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB
[startup+0.21008 s]*
/proc/loadavg: 1.36 1.34 1.43 5/227 11959
/proc/meminfo: memFree=8156832/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=10820196 memory=44248 CPUtime=0.27 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 7514 13338 0 0 17 2 5 3 20 0 15 0 475143704 11079880704 11062 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2705049 11062 3289 1 0 2667149 0
[pid=11893/tid=11946] ppid=11890 vsize=10820196 memory=751940894209540401 CPUtime=0.2 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) R 11890 11893 5017 0 -1 4202560 4001 13338 0 0 11 1 5 3 20 0 15 0 475143713 11079880704 11062 33554432000 4194304 4196468 140733197508784 140061397622224 140061425833117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 11062 33554432000 4194304 4196468 140733197508784 140061430053392 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10820196 memory=140608296982805 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 11062 33554432000 4194304 4196468 140733197508784 140061318326928 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 11062 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 11062 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143715 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060885203696 140061425822338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 33 13338 0 0 0 0 5 3 20 0 15 0 475143716 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060884149920 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143716 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060762563824 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 477 13338 0 0 1 0 5 3 20 0 15 0 475143719 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 179 13338 0 0 1 0 5 3 20 0 15 0 475143719 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10820196 memory=140608293426816 CPUtime=0.11 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) S 11890 11893 5017 0 -1 1077944384 606 13338 0 0 3 0 5 3 20 0 15 0 475143719 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060848486384 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11079880704 11062 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10820196 memory=140608293426816 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143719 11079880704 11062 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44248 KiB
[startup+0.31058 s]*
/proc/loadavg: 1.36 1.34 1.43 3/227 11959
/proc/meminfo: memFree=8144512/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=10820196 memory=52712 CPUtime=0.41 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 10862 13338 0 0 29 4 5 3 20 0 15 0 475143704 11079880704 13178 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2705049 13178 3311 1 0 2667149 0
[pid=11893/tid=11946] ppid=11890 vsize=10820196 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) R 11890 11893 5017 0 -1 4202560 7337 13338 0 0 19 3 5 3 20 0 15 0 475143713 11079880704 13178 33554432000 4194304 4196468 140733197508784 140061397620112 140061410984150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 13178 33554432000 4194304 4196468 140733197508784 140061430053392 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 13178 33554432000 4194304 4196468 140733197508784 140061318326928 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 13178 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143714 11079880704 13178 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10820196 memory=140608293426815 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143715 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060885203696 140061425822338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 33 13338 0 0 0 0 5 3 20 0 15 0 475143716 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060884149920 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143716 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060762563824 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 477 13338 0 0 2 0 5 3 20 0 15 0 475143719 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 180 13338 0 0 1 0 5 3 20 0 15 0 475143719 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10820196 memory=140608293426816 CPUtime=0.13 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) S 11890 11893 5017 0 -1 1077944384 614 13338 0 0 5 0 5 3 20 0 15 0 475143719 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060848486384 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11079880704 13178 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10820196 memory=140608293426816 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143719 11079880704 13178 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52712 KiB
[startup+0.700724 s]
/proc/loadavg: 1.36 1.34 1.43 4/227 11959
/proc/meminfo: memFree=8128880/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=10824364 memory=85700 CPUtime=1.16 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 15170 13338 0 0 102 6 5 3 20 0 15 0 475143704 11084148736 21425 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2706091 21425 3513 1 0 2668173 0
[pid=11893/tid=11946] ppid=11890 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) R 11890 11893 5017 0 -1 4202560 10494 13338 0 0 55 4 5 3 20 0 15 0 475143713 11084148736 21425 33554432000 4194304 4196468 140733197508784 140061397636448 140061425833117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10824364 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143714 11084148736 21425 33554432000 4194304 4196468 140733197508784 140061430053392 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10824364 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143714 11084148736 21425 33554432000 4194304 4196468 140733197508784 140061318326928 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10824364 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143714 11084148736 21425 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143714 11084148736 21425 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 5 13338 0 0 0 0 5 3 20 0 15 0 475143715 11084148736 21425 33554432000 4194304 4196468 140733197508784 140060885203696 140061425822338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 33 13338 0 0 0 0 5 3 20 0 15 0 475143716 11084148736 21425 33554432000 4194304 4196468 140733197508784 140060884149920 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143716 11084148736 21425 33554432000 4194304 4196468 140733197508784 140060762563824 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11084148736 21425 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 955 13338 0 0 17 0 5 3 20 0 15 0 475143719 11084148736 21425 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10824364 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 650 13338 0 0 11 0 5 3 20 0 15 0 475143719 11084148736 21447 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) R 11890 11893 5017 0 -1 4202560 817 13338 0 0 17 0 5 3 20 0 15 0 475143719 11084148736 21447 33554432000 4194304 4196468 140733197508784 140060848480960 140061418908083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11084148736 21447 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10824364 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 1 13338 0 0 0 0 5 3 20 0 15 0 475143719 11084148736 21447 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85700 KiB
[startup+1.50072 s]
/proc/loadavg: 1.36 1.34 1.43 3/227 11959
/proc/meminfo: memFree=8084872/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=10834680 memory=179468 CPUtime=2.69 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 24965 13338 0 0 251 10 5 3 20 0 15 0 475143704 11094712320 44867 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2708670 44867 3583 1 0 2670733 0
[pid=11893/tid=11946] ppid=11890 vsize=10834680 memory=-7169539485663701033 CPUtime=1.44 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) R 11890 11893 5017 0 -1 4202560 16638 13338 0 0 130 6 5 3 20 0 15 0 475143713 11094712320 44867 33554432000 4194304 4196468 140733197508784 140061397621696 140061425823126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) S 11890 11893 5017 0 -1 1077944384 317 13338 0 0 1 0 5 3 20 0 15 0 475143714 11094712320 44867 33554432000 4194304 4196468 140733197508784 140061430053392 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 100 13338 0 0 1 0 5 3 20 0 15 0 475143714 11094712320 44867 33554432000 4194304 4196468 140733197508784 140061318326928 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 33 13338 0 0 1 0 5 3 20 0 15 0 475143714 11094712320 44867 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10834680 memory=-4059589565078923626 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 32 13338 0 0 1 0 5 3 20 0 15 0 475143714 11094712320 44867 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 1488 13338 0 0 1 0 5 3 20 0 15 0 475143715 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060885203696 140061425822338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10834680 memory=281216339379136 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 34 13338 0 0 0 0 5 3 20 0 15 0 475143716 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060884149984 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10834680 memory=175764 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143716 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060762563840 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10834680 memory=102666898267486 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10834680 memory=281216339162208 CPUtime=0.48 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 1248 13338 0 0 40 0 5 3 20 0 15 0 475143719 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10834680 memory=281216339164448 CPUtime=0.4 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 1237 13338 0 0 32 0 5 3 20 0 15 0 475143719 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10834680 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) R 11890 11893 5017 0 -1 4202560 1623 13338 0 0 41 0 5 3 20 0 15 0 475143719 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060848486384 140061405525988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11094712320 44867 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11094712320 44867 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/11893/task/11946/stat : 11946 (java) R 11890 11893 5017 0 -1 4202560 79512 13338 0 0 235667 58 5 3 20 0 15 0 475143713 11107315712 332821 33554432000 4194304 4196468 140733197508784 140061397647136 140060984290011 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10846988 memory=1331284 CPUtime=12.43 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) S 11890 11893 5017 0 -1 1077944384 36565 13338 0 0 1171 64 5 3 20 0 15 0 475143714 11107315712 332821 33554432000 4194304 4196468 140733197508784 140061430053392 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10846988 memory=1331276 CPUtime=12.41 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 21043 13338 0 0 1174 59 5 3 20 0 15 0 475143714 11107315712 332821 33554432000 4194304 4196468 140733197508784 140061318326928 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10846988 memory=1331284 CPUtime=12.45 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 11858 13338 0 0 1179 58 5 3 20 0 15 0 475143714 11107315712 332821 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10846988 memory=1331284 CPUtime=12.42 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 24178 13338 0 0 1173 61 5 3 20 0 15 0 475143714 11107315712 332821 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10846988 memory=8 CPUtime=10.69 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 22440 13338 0 0 1001 60 5 3 20 0 15 0 475143715 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060885203696 140061425822338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10846988 memory=1326512 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 38 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060884149984 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10846988 memory=1331284 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 4 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060762563840 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10846988 memory=1331284 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10846988 memory=3624 CPUtime=5.54 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 26644 13338 0 0 542 4 5 3 20 0 15 0 475143719 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10846988 memory=6791534058613427641 CPUtime=5.4 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 23019 13338 0 0 529 3 5 3 20 0 15 0 475143719 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10846988 memory=1331276 CPUtime=2.39 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) S 11890 11893 5017 0 -1 1077944384 20357 13338 0 0 227 4 5 3 20 0 15 0 475143719 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060848486384 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10846988 memory=1331284 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 332821 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10846988 memory=1331284 CPUtime=1.42 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 1680 13338 0 0 56 78 5 3 20 0 15 0 475143719 11107315712 332821 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 2431.87 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1331284 KiB
[startup+2442.3 s]
/proc/loadavg: 0.76 0.76 1.01 2/206 12227
/proc/meminfo: memFree=7801916/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=10846988 memory=1333356 CPUtime=2492.84 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 272194 13338 0 0 248885 391 5 3 20 0 15 0 475143704 11107315712 333339 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2711747 333339 3631 1 0 2673805 0
[pid=11893/tid=11946] ppid=11890 vsize=10846988 memory=1333356 CPUtime=2416.69 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) R 11890 11893 5017 0 -1 4202560 80601 13338 0 0 241602 59 5 3 20 0 15 0 475143713 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061397646912 140060984289921 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.75 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) S 11890 11893 5017 0 -1 1077944384 36999 13338 0 0 1202 65 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061430053392 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.74 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 21195 13338 0 0 1206 60 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061318326928 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10846988 memory=1333332 CPUtime=12.78 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 11972 13338 0 0 1210 60 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.75 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 24584 13338 0 0 1204 63 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10846988 memory=1333356 CPUtime=10.97 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 22848 13338 0 0 1027 62 5 3 20 0 15 0 475143715 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060885203696 140061425822338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 38 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060884149984 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 4 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060762563840 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10846988 memory=1326512 CPUtime=5.54 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 26648 13338 0 0 542 4 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10846988 memory=8 CPUtime=5.4 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 23023 13338 0 0 529 3 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10846988 memory=1333356 CPUtime=2.39 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) S 11890 11893 5017 0 -1 1077944384 20361 13338 0 0 227 4 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060848486384 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10846988 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10846988 memory=1333356 CPUtime=1.45 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 1710 13338 0 0 57 80 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 2492.84 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1333356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.11 s]
/proc/loadavg: 0.73 0.75 1.00 2/206 12230
/proc/meminfo: memFree=7801640/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=10846988 memory=1333356 CPUtime=2520.06 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 273467 13338 0 0 251604 394 5 3 20 0 15 0 475143704 11107315712 333339 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2711747 333339 3631 1 0 2673805 0
[pid=11893/tid=11946] ppid=11890 vsize=10846988 memory=1333356 CPUtime=2443.24 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) S 11890 11893 5017 0 -1 1077944384 81146 13338 0 0 244256 60 5 3 20 0 15 0 475143713 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061397646592 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10846988 memory=1333332 CPUtime=12.89 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) R 11890 11893 5017 0 -1 4202560 37024 13338 0 0 1215 66 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061430053512 140061418439399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.87 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 21213 13338 0 0 1219 60 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061318326944 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.92 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 12059 13338 0 0 1224 60 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.89 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 24972 13338 0 0 1217 64 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10846988 memory=1333356 CPUtime=11.07 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 23043 13338 0 0 1037 62 5 3 20 0 15 0 475143715 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060885202208 140061425821397 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 38 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060884149984 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 4 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060762563840 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10846988 memory=1333356 CPUtime=5.54 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 26648 13338 0 0 542 4 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10846988 memory=780 CPUtime=5.4 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 23023 13338 0 0 529 3 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10846988 memory=620 CPUtime=2.39 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) S 11890 11893 5017 0 -1 1077944384 20361 13338 0 0 227 4 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060848486384 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10846988 memory=1496 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10846988 memory=1333356 CPUtime=1.47 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 1725 13338 0 0 58 81 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1333356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.14 s]
# the end of solver process 11893 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.13 s, system=3.99326 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.11 s]
/proc/loadavg: 0.73 0.75 1.00 2/206 12230
/proc/meminfo: memFree=7801640/32770624 swapFree=66959532/67108860
[pid=11893] ppid=11890 vsize=10846988 memory=1333356 CPUtime=2520.06 cores=1,3,5,7
/proc/11893/stat : 11893 (java) S 11890 11893 5017 0 -1 1077944320 273467 13338 0 0 251604 394 5 3 20 0 15 0 475143704 11107315712 333339 33554432000 4194304 4196468 140733197508784 140733197491328 140061425811191 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
/proc/11893/statm: 2711747 333339 3631 1 0 2673805 0
[pid=11893/tid=11946] ppid=11890 vsize=10846988 memory=1333356 CPUtime=2443.24 cores=1,3,5,7
/proc/11893/task/11946/stat : 11946 (java) S 11890 11893 5017 0 -1 1077944384 81146 13338 0 0 244256 60 5 3 20 0 15 0 475143713 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061397646592 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11947] ppid=11890 vsize=10846988 memory=1333332 CPUtime=12.89 cores=1,3,5,7
/proc/11893/task/11947/stat : 11947 (java) R 11890 11893 5017 0 -1 4202560 37024 13338 0 0 1215 66 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061430053512 140061418439399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11948] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.87 cores=1,3,5,7
/proc/11893/task/11948/stat : 11948 (java) S 11890 11893 5017 0 -1 1077944384 21213 13338 0 0 1219 60 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061318326944 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11949] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.92 cores=1,3,5,7
/proc/11893/task/11949/stat : 11949 (java) S 11890 11893 5017 0 -1 1077944384 12059 13338 0 0 1224 60 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061317273872 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11950] ppid=11890 vsize=10846988 memory=1333356 CPUtime=12.89 cores=1,3,5,7
/proc/11893/task/11950/stat : 11950 (java) S 11890 11893 5017 0 -1 1077944384 24972 13338 0 0 1217 64 5 3 20 0 15 0 475143714 11107315712 333339 33554432000 4194304 4196468 140733197508784 140061316221328 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11951] ppid=11890 vsize=10846988 memory=1333356 CPUtime=11.07 cores=1,3,5,7
/proc/11893/task/11951/stat : 11951 (java) S 11890 11893 5017 0 -1 1077944384 23043 13338 0 0 1037 62 5 3 20 0 15 0 475143715 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060885202208 140061425821397 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11952] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11952/stat : 11952 (java) S 11890 11893 5017 0 -1 1077944384 38 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060884149984 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11953] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11953/stat : 11953 (java) S 11890 11893 5017 0 -1 1077944384 4 13338 0 0 0 0 5 3 20 0 15 0 475143716 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060762563840 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11954] ppid=11890 vsize=10846988 memory=1333356 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11954/stat : 11954 (java) S 11890 11893 5017 0 -1 1077944384 2 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060628347344 140061425829787 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11955] ppid=11890 vsize=10846988 memory=1333356 CPUtime=5.54 cores=1,3,5,7
/proc/11893/task/11955/stat : 11955 (java) S 11890 11893 5017 0 -1 1077944384 26648 13338 0 0 542 4 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060850591984 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11956] ppid=11890 vsize=10846988 memory=780 CPUtime=5.4 cores=1,3,5,7
/proc/11893/task/11956/stat : 11956 (java) S 11890 11893 5017 0 -1 1077944384 23023 13338 0 0 529 3 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060849539440 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11957] ppid=11890 vsize=10846988 memory=620 CPUtime=2.39 cores=1,3,5,7
/proc/11893/task/11957/stat : 11957 (java) S 11890 11893 5017 0 -1 1077944384 20361 13338 0 0 227 4 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060848486384 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11958] ppid=11890 vsize=10846988 memory=1496 CPUtime=0.08 cores=1,3,5,7
/proc/11893/task/11958/stat : 11958 (java) S 11890 11893 5017 0 -1 1077944384 3 13338 0 0 0 0 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140059688823136 140061425821397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
[pid=11893/tid=11959] ppid=11890 vsize=10846988 memory=1333356 CPUtime=1.47 cores=1,3,5,7
/proc/11893/task/11959/stat : 11959 (java) S 11890 11893 5017 0 -1 1077944384 1725 13338 0 0 58 81 5 3 20 0 15 0 475143719 11107315712 333339 33554432000 4194304 4196468 140733197508784 140060847434800 140061425822338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23601152 140733197511407 140733197513925 140733197513925 140733197516751 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1333356 KiB
Child status: 143
Real time (s): 2469.14
CPU time (s): 2520.12
CPU user time (s): 2516.13
CPU system time (s): 3.99326
CPU usage (%): 102.065
Max. virtual memory (cumulated for all children) (KiB): 10849816
Max. memory (cumulated for all children) (KiB): 1333356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.13
system time used= 3.99326
maximum resident set size= 1337588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289318
involuntary context switches= 9223
# summary of solver processes directly reported to runsolver:
# pid: 11893
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.13
# total CPU system time (s): 3.99326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4814 second user time and 21.4288 second system time
The end