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 (2986 MiB free)
memory of node 1: 16384 MiB (3055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304267-1534052383/watcher-4304267-1534052383 -o /tmp/evaluation-result-4304267-1534052383/solver-4304267-1534052383 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534037558-11010 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1194759880 HOME/instance-4304267-1534052383.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=13919, runsolver pid=13916
[startup+0.100118 s]*
/proc/loadavg: 1.43 1.35 1.41 3/211 13976
/proc/meminfo: memFree=6179132/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=10005480 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 4450 12893 0 0 1 1 5 2 20 0 6 0 222801472 10245611520 4269 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2501370 4269 1934 1 0 2489808 0
[pid=13919/tid=13972] ppid=13916 vsize=10005480 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 2250 12893 0 0 1 0 5 2 20 0 6 0 222801481 10245611520 4269 33554432000 4194304 4196468 140733725260576 140644905034320 140644918320496 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 6 0 222801482 10245611520 4269 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=10005480 memory=140002641413760 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 6 0 222801482 10245611520 4269 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 6 0 222801482 10245611520 4269 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 6 0 222801482 10245611520 4269 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210099 s]*
/proc/loadavg: 1.43 1.35 1.41 3/220 13985
/proc/meminfo: memFree=6156576/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=10982744 memory=45432 CPUtime=0.26 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 8104 12893 0 0 17 2 5 2 20 0 15 0 222801472 11246329856 11358 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2745686 11358 2944 1 0 2708109 0
[pid=13919/tid=13972] ppid=13916 vsize=10983736 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 4669 12893 0 0 11 1 5 2 20 0 15 0 222801481 11247345664 11424 33554432000 4194304 4196468 140733725260576 140644905022368 140644925877277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=10983736 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11247345664 11424 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=10983736 memory=140002641413760 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11247345664 11424 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11247345664 11424 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801482 11247345664 11424 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=10983736 memory=140002641413760 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801483 11247345664 11490 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 13 12893 0 0 0 0 5 2 20 0 15 0 222801483 11247345664 11490 33554432000 4194304 4196468 140733725260576 140643737265568 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801484 11247345664 11490 33554432000 4194304 4196468 140733725260576 140643535939056 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11247345664 11490 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) S 13916 13919 9992 0 -1 1077944384 479 12893 0 0 1 0 5 2 20 0 15 0 222801486 11247345664 11556 33554432000 4194304 4196468 140733725260576 140644102973424 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 128 12893 0 0 0 0 5 2 20 0 15 0 222801486 11247345664 11556 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=10983736 memory=140002641413760 CPUtime=0.1 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) S 13916 13919 9992 0 -1 1077944384 617 12893 0 0 3 0 5 2 20 0 15 0 222801486 11247345664 11556 33554432000 4194304 4196468 140733725260576 140644100868336 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11247345664 11556 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=10983736 memory=140002641413760 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801487 11247345664 11556 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45432 KiB
[startup+0.310564 s]*
/proc/loadavg: 1.43 1.35 1.41 3/220 13985
/proc/meminfo: memFree=6144792/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=10983192 memory=56140 CPUtime=0.38 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 10613 12893 0 0 28 3 5 2 20 0 15 0 222801472 11246788608 14035 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2745798 14035 3063 1 0 2708109 0
[pid=13919/tid=13972] ppid=13916 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 7158 12893 0 0 19 2 5 2 20 0 15 0 222801481 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644905017568 140644933219485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=10983192 memory=7084833269481492816 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801483 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 13 12893 0 0 0 0 5 2 20 0 15 0 222801483 11246788608 14035 33554432000 4194304 4196468 140733725260576 140643737265568 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801484 11246788608 14035 33554432000 4194304 4196468 140733725260576 140643535939056 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11246788608 14035 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) S 13916 13919 9992 0 -1 1077944384 479 12893 0 0 2 0 5 2 20 0 15 0 222801486 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644102973424 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 131 12893 0 0 1 0 5 2 20 0 15 0 222801486 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) R 13916 13919 9992 0 -1 4202560 623 12893 0 0 5 0 5 2 20 0 15 0 222801486 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644100868336 140644933209494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11246788608 14035 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801487 11246788608 14035 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56140 KiB
[startup+0.700802 s]
/proc/loadavg: 1.43 1.35 1.41 3/220 13985
/proc/meminfo: memFree=6134372/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=10983192 memory=88500 CPUtime=0.98 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 16767 12893 0 0 87 4 5 2 20 0 15 0 222801472 11246788608 22125 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2745798 22125 3238 1 0 2708109 0
[pid=13919/tid=13972] ppid=13916 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 12221 12893 0 0 55 3 5 2 20 0 15 0 222801481 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644905018384 140644916384368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=10983192 memory=3768 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 2 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801482 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 5 12893 0 0 0 0 5 2 20 0 15 0 222801483 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 13 12893 0 0 0 0 5 2 20 0 15 0 222801483 11246788608 22125 33554432000 4194304 4196468 140733725260576 140643737265568 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801484 11246788608 22125 33554432000 4194304 4196468 140733725260576 140643535939056 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11246788608 22125 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) S 13916 13919 9992 0 -1 1077944384 848 12893 0 0 8 0 5 2 20 0 15 0 222801486 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644102973424 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 779 12893 0 0 9 0 5 2 20 0 15 0 222801486 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) S 13916 13919 9992 0 -1 1077944384 693 12893 0 0 13 0 5 2 20 0 15 0 222801486 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644100868336 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11246788608 22125 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801487 11246788608 22125 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88500 KiB
[startup+1.50092 s]
/proc/loadavg: 1.48 1.36 1.41 4/220 13985
/proc/meminfo: memFree=6087420/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=10998092 memory=190956 CPUtime=2.79 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 26060 12893 0 0 262 10 5 2 20 0 15 0 222801472 11262046208 47739 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2749523 47739 3467 1 0 2711181 0
[pid=13919/tid=13972] ppid=13916 vsize=10998092 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 17127 12893 0 0 128 6 5 2 20 0 15 0 222801481 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644905005424 140644933219485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 62 12893 0 0 1 0 5 2 20 0 15 0 222801482 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 33 12893 0 0 1 0 5 2 20 0 15 0 222801482 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 170 12893 0 0 1 0 5 2 20 0 15 0 222801482 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 15 12893 0 0 1 0 5 2 20 0 15 0 222801482 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 48 12893 0 0 1 0 5 2 20 0 15 0 222801483 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=10998092 memory=280005024229632 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 14 12893 0 0 0 0 5 2 20 0 15 0 222801483 11262046208 47739 33554432000 4194304 4196468 140733725260576 140643737265632 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801484 11262046208 47739 33554432000 4194304 4196468 140733725260576 140643535939072 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=10998092 memory=11796 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11262046208 47739 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=10998092 memory=5772 CPUtime=0.51 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) R 13916 13919 9992 0 -1 4202560 2937 12893 0 0 44 0 5 2 20 0 15 0 222801486 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644102973720 140644911613767 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=10998092 memory=4616 CPUtime=0.48 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 1830 12893 0 0 41 0 5 2 20 0 15 0 222801486 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=10998092 memory=1388 CPUtime=0.46 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) S 13916 13919 9992 0 -1 1077944384 1623 12893 0 0 39 0 5 2 20 0 15 0 222801486 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644100868336 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=10998092 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11262046208 47739 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=10998092 memory=880 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 1 12893 0 0 0 0 5 2 20 0 15 0 222801487 11262046208 47739 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 152509 12893 0 0 236273 43 5 2 20 0 15 0 222801481 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644905033312 140644508582095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=11080032 memory=1702968 CPUtime=13.92 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 35756 12893 0 0 1320 65 5 2 20 0 15 0 222801482 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=11080032 memory=1702456 CPUtime=13.97 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 38159 12893 0 0 1320 70 5 2 20 0 15 0 222801482 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=11080032 memory=1699892 CPUtime=13.93 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 35135 12893 0 0 1319 67 5 2 20 0 15 0 222801482 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=11080032 memory=1699892 CPUtime=13.93 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 31127 12893 0 0 1322 64 5 2 20 0 15 0 222801482 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=11080032 memory=1709644 CPUtime=3.18 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 20205 12893 0 0 282 29 5 2 20 0 15 0 222801483 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=11080032 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 25 12893 0 0 0 0 5 2 20 0 15 0 222801483 11345952768 424973 33554432000 4194304 4196468 140733725260576 140643737265696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=11080032 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 27 12893 0 0 0 0 5 2 20 0 15 0 222801484 11345952768 424973 33554432000 4194304 4196468 140733725260576 140643535939072 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=11080032 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11345952768 424973 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=11080032 memory=2252 CPUtime=13.31 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) S 13916 13919 9992 0 -1 1077944384 29913 12893 0 0 1317 7 5 2 20 0 15 0 222801486 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644102973424 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=11080032 memory=1700404 CPUtime=12.56 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 28406 12893 0 0 1242 7 5 2 20 0 15 0 222801486 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=11080032 memory=3768 CPUtime=4.24 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) S 13916 13919 9992 0 -1 1077944384 28020 12893 0 0 410 7 5 2 20 0 15 0 222801486 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644100868336 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=11080032 memory=60792 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11345952768 424973 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=11080032 memory=1699892 CPUtime=1.45 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 3571 12893 0 0 60 78 5 2 20 0 15 0 222801487 11345952768 424973 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 2453.19 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1699892 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.36 1.44 3/220 14221
/proc/meminfo: memFree=3662768/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=11080032 memory=1662936 CPUtime=2514.53 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 407331 12893 0 0 251030 416 5 2 20 0 15 0 222801472 11345952768 415734 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2770008 415734 3532 1 0 2731661 0
[pid=13919/tid=13972] ppid=13916 vsize=11080032 memory=1672684 CPUtime=2422.65 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 153268 12893 0 0 242215 43 5 2 20 0 15 0 222801481 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644905033056 140644501583539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=11080032 memory=1667552 CPUtime=14.37 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 36208 12893 0 0 1365 65 5 2 20 0 15 0 222801482 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=11080032 memory=1663960 CPUtime=14.42 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 38498 12893 0 0 1364 71 5 2 20 0 15 0 222801482 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=11080032 memory=1663448 CPUtime=14.39 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 35381 12893 0 0 1364 68 5 2 20 0 15 0 222801482 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=11080032 memory=1662936 CPUtime=14.37 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 31392 12893 0 0 1366 64 5 2 20 0 15 0 222801482 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=11080032 memory=1664476 CPUtime=3.28 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 20397 12893 0 0 290 31 5 2 20 0 15 0 222801483 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=11080032 memory=1666012 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 25 12893 0 0 0 0 5 2 20 0 15 0 222801483 11345952768 415734 33554432000 4194304 4196468 140733725260576 140643737265696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=11080032 memory=1666012 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 27 12893 0 0 0 0 5 2 20 0 15 0 222801484 11345952768 415734 33554432000 4194304 4196468 140733725260576 140643535939072 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=11080032 memory=1663960 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11345952768 415734 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=11080032 memory=1663960 CPUtime=13.31 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) S 13916 13919 9992 0 -1 1077944384 29915 12893 0 0 1317 7 5 2 20 0 15 0 222801486 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644102973424 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=11080032 memory=1664476 CPUtime=12.56 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 28408 12893 0 0 1242 7 5 2 20 0 15 0 222801486 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=11080032 memory=1664476 CPUtime=4.24 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) S 13916 13919 9992 0 -1 1077944384 28022 12893 0 0 410 7 5 2 20 0 15 0 222801486 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644100868336 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11345952768 415734 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=11080032 memory=1692 CPUtime=1.49 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 3591 12893 0 0 62 80 5 2 20 0 15 0 222801487 11345952768 415734 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 2514.53 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1662936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.7 s]
/proc/loadavg: 1.25 1.36 1.44 3/220 14221
/proc/meminfo: memFree=3665304/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=11080032 memory=1660372 CPUtime=2520.06 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 407433 12893 0 0 251582 417 5 2 20 0 15 0 222801472 11345952768 415093 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2770008 415093 3532 1 0 2731661 0
[pid=13919/tid=13972] ppid=13916 vsize=11080032 memory=1660884 CPUtime=2428 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 153367 12893 0 0 242750 43 5 2 20 0 15 0 222801481 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644905033200 140644508582671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=11080032 memory=1660884 CPUtime=14.4 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 36210 12893 0 0 1368 65 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=11080032 memory=1661908 CPUtime=14.46 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 38499 12893 0 0 1368 71 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=11080032 memory=1661396 CPUtime=14.43 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 35381 12893 0 0 1368 68 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=11080032 memory=1661908 CPUtime=14.41 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 31392 12893 0 0 1370 64 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=11080032 memory=1662424 CPUtime=3.29 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 20397 12893 0 0 291 31 5 2 20 0 15 0 222801483 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=11080032 memory=1667552 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 25 12893 0 0 0 0 5 2 20 0 15 0 222801483 11345952768 415093 33554432000 4194304 4196468 140733725260576 140643737265696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=11080032 memory=1672684 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 27 12893 0 0 0 0 5 2 20 0 15 0 222801484 11345952768 415093 33554432000 4194304 4196468 140733725260576 140643535939072 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=11080032 memory=1662424 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=11080032 memory=1172 CPUtime=13.31 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) S 13916 13919 9992 0 -1 1077944384 29915 12893 0 0 1317 7 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644102973424 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=11080032 memory=1661396 CPUtime=12.56 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 28408 12893 0 0 1242 7 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=11080032 memory=1720 CPUtime=4.24 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) S 13916 13919 9992 0 -1 1077944384 28022 12893 0 0 410 7 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644100868336 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=11080032 memory=1660372 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11345952768 415093 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=11080032 memory=1664476 CPUtime=1.49 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 3591 12893 0 0 62 80 5 2 20 0 15 0 222801487 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1660372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2447.73 s]
# the end of solver process 13919 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.9 s, system=4.2118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2447.7 s]
/proc/loadavg: 1.25 1.36 1.44 3/220 14221
/proc/meminfo: memFree=3665304/32770624 swapFree=67108856/67108860
[pid=13919] ppid=13916 vsize=11080032 memory=1660372 CPUtime=2520.06 cores=1,3,5,7
/proc/13919/stat : 13919 (java) S 13916 13919 9992 0 -1 1077944320 407433 12893 0 0 251582 417 5 2 20 0 15 0 222801472 11345952768 415093 33554432000 4194304 4196468 140733725260576 140733725243120 140644933197559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
/proc/13919/statm: 2770008 415093 3532 1 0 2731661 0
[pid=13919/tid=13972] ppid=13916 vsize=11080032 memory=1660884 CPUtime=2428 cores=1,3,5,7
/proc/13919/task/13972/stat : 13972 (java) R 13916 13919 9992 0 -1 4202560 153367 12893 0 0 242750 43 5 2 20 0 15 0 222801481 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644905033200 140644508582671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13973] ppid=13916 vsize=11080032 memory=1660884 CPUtime=14.4 cores=1,3,5,7
/proc/13919/task/13973/stat : 13973 (java) S 13916 13919 9992 0 -1 1077944384 36210 12893 0 0 1368 65 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644937439504 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13974] ppid=13916 vsize=11080032 memory=1661908 CPUtime=14.46 cores=1,3,5,7
/proc/13919/task/13974/stat : 13974 (java) S 13916 13919 9992 0 -1 1077944384 38499 12893 0 0 1368 71 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644818704784 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13975] ppid=13916 vsize=11080032 memory=1661396 CPUtime=14.43 cores=1,3,5,7
/proc/13919/task/13975/stat : 13975 (java) S 13916 13919 9992 0 -1 1077944384 35381 12893 0 0 1368 68 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644817652240 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13976] ppid=13916 vsize=11080032 memory=1661908 CPUtime=14.41 cores=1,3,5,7
/proc/13919/task/13976/stat : 13976 (java) S 13916 13919 9992 0 -1 1077944384 31392 12893 0 0 1370 64 5 2 20 0 15 0 222801482 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644816599696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13977] ppid=13916 vsize=11080032 memory=1662424 CPUtime=3.29 cores=1,3,5,7
/proc/13919/task/13977/stat : 13977 (java) S 13916 13919 9992 0 -1 1077944384 20397 12893 0 0 291 31 5 2 20 0 15 0 222801483 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644104026608 140644933208706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13978] ppid=13916 vsize=11080032 memory=1667552 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13978/stat : 13978 (java) S 13916 13919 9992 0 -1 1077944384 25 12893 0 0 0 0 5 2 20 0 15 0 222801483 11345952768 415093 33554432000 4194304 4196468 140733725260576 140643737265696 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13979] ppid=13916 vsize=11080032 memory=1672684 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13979/stat : 13979 (java) S 13916 13919 9992 0 -1 1077944384 27 12893 0 0 0 0 5 2 20 0 15 0 222801484 11345952768 415093 33554432000 4194304 4196468 140733725260576 140643535939072 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13980] ppid=13916 vsize=11080032 memory=1662424 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13980/stat : 13980 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140643228539600 140644933216155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13981] ppid=13916 vsize=11080032 memory=1172 CPUtime=13.31 cores=1,3,5,7
/proc/13919/task/13981/stat : 13981 (java) S 13916 13919 9992 0 -1 1077944384 29915 12893 0 0 1317 7 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644102973424 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13982] ppid=13916 vsize=11080032 memory=1661396 CPUtime=12.56 cores=1,3,5,7
/proc/13919/task/13982/stat : 13982 (java) S 13916 13919 9992 0 -1 1077944384 28408 12893 0 0 1242 7 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644101920880 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13983] ppid=13916 vsize=11080032 memory=1720 CPUtime=4.24 cores=1,3,5,7
/proc/13919/task/13983/stat : 13983 (java) S 13916 13919 9992 0 -1 1077944384 28022 12893 0 0 410 7 5 2 20 0 15 0 222801486 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644100868336 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13984] ppid=13916 vsize=11080032 memory=1660372 CPUtime=0.07 cores=1,3,5,7
/proc/13919/task/13984/stat : 13984 (java) S 13916 13919 9992 0 -1 1077944384 3 12893 0 0 0 0 5 2 20 0 15 0 222801487 11345952768 415093 33554432000 4194304 4196468 140733725260576 140642797742688 140644933207765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
[pid=13919/tid=13985] ppid=13916 vsize=11080032 memory=1664476 CPUtime=1.49 cores=1,3,5,7
/proc/13919/task/13985/stat : 13985 (java) S 13916 13919 9992 0 -1 1077944384 3591 12893 0 0 62 80 5 2 20 0 15 0 222801487 11345952768 415093 33554432000 4194304 4196468 140733725260576 140644099816240 140644933208706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 10534912 140733725268588 140733725271388 140733725271388 140733725274063 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1660372 KiB
Child status: 143
Real time (s): 2447.73
CPU time (s): 2520.11
CPU user time (s): 2515.9
CPU system time (s): 4.2118
CPU usage (%): 102.957
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 2501680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.9
system time used= 4.2118
maximum resident set size= 2501680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123251
involuntary context switches= 5224
# summary of solver processes directly reported to runsolver:
# pid: 13919
# total CPU time (s): 2520.11
# total CPU user time (s): 2515.9
# total CPU system time (s): 4.2118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1085 second user time and 25.275 second system time
The end