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 (12625 MiB free)
memory of node 1: 16384 MiB (14273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302633-1532898291/watcher-4302633-1532898291 -o /tmp/evaluation-result-4302633-1532898291/solver-4302633-1532898291 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28701 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1442882185 -superng HOME/instance-4302633-1532898291.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Starting watchdog threadCurrent StackSize limit: 8192 KiB
solver pid=3793, runsolver pid=3790
[startup+0.100059 s]*
/proc/loadavg: 1.65 1.91 1.84 3/213 3850
/proc/meminfo: memFree=27538816/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=10005480 memory=16552 CPUtime=0.09 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 4326 13091 0 0 1 0 5 3 20 0 6 0 107392360 10245611520 4138 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2501370 4138 1933 1 0 2489808 0
[pid=3793/tid=3846] ppid=3790 vsize=10005480 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 2184 13091 0 0 1 0 5 3 20 0 6 0 107392369 10245611520 4716 33554432000 4194304 4196468 140732237375296 140708384236112 140708396479838 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=10005480 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 6 0 107392370 10245611520 4716 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=10005480 memory=139761969071744 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 6 0 107392370 10245611520 4716 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 6 0 107392370 10245611520 4716 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 6 0 107392370 10245611520 4716 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16552 KiB
[startup+0.210972 s]*
/proc/loadavg: 1.65 1.91 1.84 3/222 3859
/proc/meminfo: memFree=27514556/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=10982744 memory=43432 CPUtime=0.26 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 7572 13091 0 0 17 1 5 3 20 0 15 0 107392360 11246329856 10858 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2745686 10858 2957 1 0 2708109 0
[pid=3793/tid=3846] ppid=3790 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 4480 13091 0 0 11 0 5 3 20 0 15 0 107392369 11246329856 11188 33554432000 4194304 4196468 140732237375296 140708384216464 140708396479838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=10982744 memory=288292155783643159 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246329856 11188 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=10982744 memory=3762111323983906464 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246329856 11188 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) S 3790 3793 19273 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 107392371 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707905534192 140708412410498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 13 13091 0 0 0 0 5 3 20 0 15 0 107392372 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707168773280 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=10982744 memory=139761969071744 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392372 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707020923632 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246329856 11188 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) R 3790 3793 19273 0 -1 4202560 415 13091 0 0 1 0 5 3 20 0 15 0 107392375 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 191 13091 0 0 1 0 5 3 20 0 15 0 107392375 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=10982744 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) R 3790 3793 19273 0 -1 4202560 613 13091 0 0 3 0 5 3 20 0 15 0 107392375 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707902376432 140708412420698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246329856 11188 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246329856 11188 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43432 KiB
[startup+0.310464 s]*
/proc/loadavg: 1.65 1.91 1.84 3/222 3859
/proc/meminfo: memFree=27503224/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=10983192 memory=55452 CPUtime=0.38 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 10408 13091 0 0 28 2 5 3 20 0 15 0 107392360 11246788608 13863 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2745798 13863 3076 1 0 2708109 0
[pid=3793/tid=3846] ppid=3790 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 6965 13091 0 0 19 1 5 3 20 0 15 0 107392369 11246788608 13863 33554432000 4194304 4196468 140732237375296 140708384211360 140708393963356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 13863 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=10983192 memory=-2843876213913142430 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 13863 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=10983192 memory=-8412656567334364540 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) S 3790 3793 19273 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 107392371 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707905534192 140708412410498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 13 13091 0 0 0 0 5 3 20 0 15 0 107392372 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707168773280 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392372 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707020923632 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246788608 13863 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) S 3790 3793 19273 0 -1 1077944384 417 13091 0 0 1 0 5 3 20 0 15 0 107392375 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 191 13091 0 0 1 0 5 3 20 0 15 0 107392375 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) S 3790 3793 19273 0 -1 1077944384 623 13091 0 0 4 0 5 3 20 0 15 0 107392375 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707902376432 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246788608 13863 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246788608 13863 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55452 KiB
[startup+0.700819 s]
/proc/loadavg: 1.65 1.91 1.84 4/222 3859
/proc/meminfo: memFree=27491936/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=10983192 memory=88176 CPUtime=1 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 16753 13091 0 0 88 4 5 3 20 0 15 0 107392360 11246788608 22044 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2745798 22044 3238 1 0 2708109 0
[pid=3793/tid=3846] ppid=3790 vsize=10983192 memory=30744 CPUtime=0.66 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 12189 13091 0 0 56 2 5 3 20 0 15 0 107392369 11246788608 22044 33554432000 4194304 4196468 140732237375296 140708384220176 140708412421277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=10983192 memory=279523719384848 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 22044 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=10983192 memory=2494704912129 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 22044 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=10983192 memory=2524769683201 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 22044 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=10983192 memory=2550539486977 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 2 13091 0 0 0 0 5 3 20 0 15 0 107392370 11246788608 22044 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=10983192 memory=2563424388865 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) S 3790 3793 19273 0 -1 1077944384 5 13091 0 0 0 0 5 3 20 0 15 0 107392371 11246788608 22044 33554432000 4194304 4196468 140732237375296 140707905534192 140708412410498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=10983192 memory=2572014323457 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 13 13091 0 0 0 0 5 3 20 0 15 0 107392372 11246788608 22044 33554432000 4194304 4196468 140732237375296 140707168773280 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=10983192 memory=2632143865601 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392372 11246788608 22108 33554432000 4194304 4196468 140732237375296 140707020923632 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=10983192 memory=19773292 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246788608 22108 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=10983192 memory=-7453528518462155811 CPUtime=0.17 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) S 3790 3793 19273 0 -1 1077944384 1038 13091 0 0 9 0 5 3 20 0 15 0 107392375 11246788608 22108 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=10983192 memory=279523719947840 CPUtime=0.16 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 584 13091 0 0 8 0 5 3 20 0 15 0 107392375 11246788608 22108 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=10983192 memory=139762530779769 CPUtime=0.21 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) R 3790 3793 19273 0 -1 4202560 716 13091 0 0 13 0 5 3 20 0 15 0 107392375 11246788608 22108 33554432000 4194304 4196468 140732237375296 140707902376432 140708412411286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=10983192 memory=142476950110869 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246788608 22108 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=10983192 memory=139762530780046 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392375 11246788608 22108 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88176 KiB
[startup+1.5008 s]
/proc/loadavg: 1.65 1.91 1.84 3/222 3859
/proc/meminfo: memFree=27445356/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=10998092 memory=179440 CPUtime=2.25 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 23944 13091 0 0 208 9 5 3 20 0 15 0 107392360 11262046208 44860 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2749523 44860 3465 1 0 2711181 0
[pid=3793/tid=3846] ppid=3790 vsize=10998092 memory=118 CPUtime=1.44 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 17854 13091 0 0 130 6 5 3 20 0 15 0 107392369 11262046208 44860 33554432000 4194304 4196468 140732237375296 140708384231520 140708398094333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 290 13091 0 0 1 0 5 3 20 0 15 0 107392370 11262046208 44860 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 63 13091 0 0 1 0 5 3 20 0 15 0 107392370 11262046208 44860 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 30 13091 0 0 1 0 5 3 20 0 15 0 107392370 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 42 13091 0 0 1 0 5 3 20 0 15 0 107392370 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) S 3790 3793 19273 0 -1 1077944384 48 13091 0 0 1 0 5 3 20 0 15 0 107392371 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707905534192 140708412410498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 14 13091 0 0 0 0 5 3 20 0 15 0 107392372 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707168773344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392372 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707020923648 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=10998092 memory=279523719441344 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11262046208 44860 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=10998092 memory=6442213876440394334 CPUtime=0.3 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) S 3790 3793 19273 0 -1 1077944384 1501 13091 0 0 22 0 5 3 20 0 15 0 107392375 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=10998092 memory=7813582992590659929 CPUtime=0.28 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 775 13091 0 0 20 0 5 3 20 0 15 0 107392375 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=10998092 memory=5794842325107042147 CPUtime=0.37 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) S 3790 3793 19273 0 -1 1077944384 1124 13091 0 0 29 0 5 3 20 0 15 0 107392375 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707902376432 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=10998092 memory=8026095560356949602 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11262046208 44860 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=10998092 memory=7665803187691809128 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 1 13091 0 0 0 0 5 3 20 0 15 0 107392375 11262046208 44860 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/3793/task/3846/stat : 3846 (java) S 3790 3793 19273 0 -1 1077944384 54132 13091 0 0 16099 21 5 3 20 0 15 0 107392369 11343855616 184806 33554432000 4194304 4196468 140732237375296 140708384234864 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.47 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 2015 13091 0 0 34 5 5 3 20 0 15 0 107392370 11343855616 184806 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.47 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 3242 13091 0 0 34 5 5 3 20 0 15 0 107392370 11343855616 184806 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.47 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1136 13091 0 0 35 4 5 3 20 0 15 0 107392370 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.47 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 3087 13091 0 0 35 4 5 3 20 0 15 0 107392370 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.42 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) R 3790 3793 19273 0 -1 4202560 1912 13091 0 0 32 2 5 3 20 0 15 0 107392371 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707905532704 140708412411286 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 19 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707168773344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=11077984 memory=739196 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 6 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707020923648 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=11077984 memory=279523720206464 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184806 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=11077984 memory=33 CPUtime=7.83 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) S 3790 3793 19273 0 -1 1077944384 19543 13091 0 0 772 3 5 3 20 0 15 0 107392375 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=11077984 memory=739224 CPUtime=7.62 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 13933 13091 0 0 750 4 5 3 20 0 15 0 107392375 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=11077984 memory=2396 CPUtime=3.29 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) S 3790 3793 19273 0 -1 1077944384 18661 13091 0 0 316 5 5 3 20 0 15 0 107392375 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707902376432 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184806 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=11077984 memory=739224 CPUtime=0.16 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 373 13091 0 0 4 4 5 3 20 0 15 0 107392375 11343855616 184806 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 181.87 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 739224 KiB
[startup+222.301 s]
/proc/loadavg: 1.54 1.71 1.77 3/218 3993
/proc/meminfo: memFree=26885964/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=11077984 memory=739300 CPUtime=242.59 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 125690 13091 0 0 24186 65 5 3 20 0 15 0 107392360 11343855616 184825 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2769496 184825 3527 1 0 2731149 0
[pid=3793/tid=3846] ppid=3790 vsize=11077984 memory=739224 CPUtime=220.7 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 55079 13091 0 0 22040 22 5 3 20 0 15 0 107392369 11343855616 184825 33554432000 4194304 4196468 140732237375296 140708384234784 140707985574623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=11077984 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 2092 13091 0 0 56 7 5 3 20 0 15 0 107392370 11343855616 184825 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.71 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 4270 13091 0 0 57 6 5 3 20 0 15 0 107392370 11343855616 184825 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.71 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1184 13091 0 0 58 5 5 3 20 0 15 0 107392370 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=11077984 memory=1292 CPUtime=0.71 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 3149 13091 0 0 58 5 5 3 20 0 15 0 107392370 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.64 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) S 3790 3793 19273 0 -1 1077944384 1921 13091 0 0 53 3 5 3 20 0 15 0 107392371 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707905534192 140708412410498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 19 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707168773344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=11077984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 6 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707020923648 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=11077984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184825 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=11077984 memory=10592 CPUtime=7.88 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) S 3790 3793 19273 0 -1 1077944384 20966 13091 0 0 776 4 5 3 20 0 15 0 107392375 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=11077984 memory=13 CPUtime=7.66 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 14910 13091 0 0 754 4 5 3 20 0 15 0 107392375 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=11077984 memory=0 CPUtime=3.29 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) S 3790 3793 19273 0 -1 1077944384 19515 13091 0 0 316 5 5 3 20 0 15 0 107392375 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707902376432 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184825 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=11077984 memory=4096 CPUtime=0.2 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 378 13091 0 0 6 6 5 3 20 0 15 0 107392375 11343855616 184825 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 242.59 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 739300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+231.701 s]
/proc/loadavg: 1.49 1.70 1.77 3/218 3993
/proc/meminfo: memFree=26886112/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=11077984 memory=739328 CPUtime=252.08 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 125813 13091 0 0 25134 66 5 3 20 0 15 0 107392360 11343855616 184832 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2769496 184832 3527 1 0 2731149 0
[pid=3793/tid=3846] ppid=3790 vsize=11077984 memory=739328 CPUtime=230 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 55138 13091 0 0 22970 22 5 3 20 0 15 0 107392369 11343855616 184832 33554432000 4194304 4196468 140732237375296 140708384234672 140707981592962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=11077984 memory=1844 CPUtime=0.75 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 2101 13091 0 0 60 7 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=11077984 memory=4096 CPUtime=0.74 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 4277 13091 0 0 60 6 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.75 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1193 13091 0 0 62 5 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.75 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 3160 13091 0 0 62 5 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.68 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) S 3790 3793 19273 0 -1 1077944384 1921 13091 0 0 56 4 5 3 20 0 15 0 107392371 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707905534192 140708412410498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 19 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707168773344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 6 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707020923648 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=11077984 memory=739328 CPUtime=7.89 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) S 3790 3793 19273 0 -1 1077944384 20994 13091 0 0 777 4 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=11077984 memory=25160 CPUtime=7.66 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 14910 13091 0 0 754 4 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=11077984 memory=0 CPUtime=3.29 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) S 3790 3793 19273 0 -1 1077944384 19515 13091 0 0 316 5 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707902376432 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=11077984 memory=279523721162880 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=11077984 memory=4096 CPUtime=0.2 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 378 13091 0 0 6 6 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 739328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+231.735 s]
# the end of solver process 3793 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.417 s, system=0.712922 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+231.701 s]
/proc/loadavg: 1.49 1.70 1.77 3/218 3993
/proc/meminfo: memFree=26886112/32770624 swapFree=67108744/67108860
[pid=3793] ppid=3790 vsize=11077984 memory=739328 CPUtime=252.08 cores=1,3,5,7
/proc/3793/stat : 3793 (java) S 3790 3793 19273 0 -1 1077944320 125813 13091 0 0 25134 66 5 3 20 0 15 0 107392360 11343855616 184832 33554432000 4194304 4196468 140732237375296 140732237357840 140708412399351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
/proc/3793/statm: 2769496 184832 3527 1 0 2731149 0
[pid=3793/tid=3846] ppid=3790 vsize=11077984 memory=739328 CPUtime=230 cores=1,3,5,7
/proc/3793/task/3846/stat : 3846 (java) R 3790 3793 19273 0 -1 4202560 55138 13091 0 0 22970 22 5 3 20 0 15 0 107392369 11343855616 184832 33554432000 4194304 4196468 140732237375296 140708384234672 140707981592962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3847] ppid=3790 vsize=11077984 memory=1844 CPUtime=0.75 cores=1,3,5,7
/proc/3793/task/3847/stat : 3847 (java) S 3790 3793 19273 0 -1 1077944384 2101 13091 0 0 60 7 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140708416642064 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3848] ppid=3790 vsize=11077984 memory=4096 CPUtime=0.74 cores=1,3,5,7
/proc/3793/task/3848/stat : 3848 (java) S 3790 3793 19273 0 -1 1077944384 4277 13091 0 0 60 6 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140708297907344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3849] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.75 cores=1,3,5,7
/proc/3793/task/3849/stat : 3849 (java) S 3790 3793 19273 0 -1 1077944384 1193 13091 0 0 62 5 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707950680848 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3850] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.75 cores=1,3,5,7
/proc/3793/task/3850/stat : 3850 (java) S 3790 3793 19273 0 -1 1077944384 3160 13091 0 0 62 5 5 3 20 0 15 0 107392370 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707949628304 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3851] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.68 cores=1,3,5,7
/proc/3793/task/3851/stat : 3851 (java) S 3790 3793 19273 0 -1 1077944384 1921 13091 0 0 56 4 5 3 20 0 15 0 107392371 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707905534192 140708412410498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3852] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3852/stat : 3852 (java) S 3790 3793 19273 0 -1 1077944384 19 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707168773344 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3853] ppid=3790 vsize=11077984 memory=739300 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3853/stat : 3853 (java) S 3790 3793 19273 0 -1 1077944384 6 13091 0 0 0 0 5 3 20 0 15 0 107392372 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707020923648 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3854] ppid=3790 vsize=11077984 memory=739328 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3854/stat : 3854 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140706713524176 140708412417947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3855] ppid=3790 vsize=11077984 memory=739328 CPUtime=7.89 cores=1,3,5,7
/proc/3793/task/3855/stat : 3855 (java) S 3790 3793 19273 0 -1 1077944384 20994 13091 0 0 777 4 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707904482032 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3856] ppid=3790 vsize=11077984 memory=25160 CPUtime=7.66 cores=1,3,5,7
/proc/3793/task/3856/stat : 3856 (java) S 3790 3793 19273 0 -1 1077944384 14910 13091 0 0 754 4 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707903429488 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3857] ppid=3790 vsize=11077984 memory=0 CPUtime=3.29 cores=1,3,5,7
/proc/3793/task/3857/stat : 3857 (java) S 3790 3793 19273 0 -1 1077944384 19515 13091 0 0 316 5 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707902376432 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3858] ppid=3790 vsize=11077984 memory=279523721162880 CPUtime=0.08 cores=1,3,5,7
/proc/3793/task/3858/stat : 3858 (java) S 3790 3793 19273 0 -1 1077944384 3 13091 0 0 0 0 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140706282728288 140708412409557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
[pid=3793/tid=3859] ppid=3790 vsize=11077984 memory=4096 CPUtime=0.2 cores=1,3,5,7
/proc/3793/task/3859/stat : 3859 (java) S 3790 3793 19273 0 -1 1077944384 378 13091 0 0 6 6 5 3 20 0 15 0 107392375 11343855616 184832 33554432000 4194304 4196468 140732237375296 140707901323824 140708412410498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11739136 140732237384296 140732237387105 140732237387105 140732237389775 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 739328 KiB
Child status: 143
Real time (s): 231.735
CPU time (s): 252.129
CPU user time (s): 251.417
CPU system time (s): 0.712922
CPU usage (%): 108.801
Max. virtual memory (cumulated for all children) (KiB): 11080840
Max. memory (cumulated for all children) (KiB): 780988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.417
system time used= 0.712922
maximum resident set size= 781348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30891
involuntary context switches= 771
# summary of solver processes directly reported to runsolver:
# pid: 3793
# total CPU time (s): 252.129
# total CPU user time (s): 251.417
# total CPU system time (s): 0.712922
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.44096 second user time and 2.24617 second system time
The end