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 (8079 MiB free)
memory of node 1: 16384 MiB (15015 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302821-1532897288/watcher-4302821-1532897288 -o /tmp/evaluation-result-4302821-1532897288/solver-4302821-1532897288 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=897811109 -superng HOME/instance-4302821-1532897288.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
solver pid=20386, runsolver pid=20383
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 1.59 1.81 1.89 6/206 20443
/proc/meminfo: memFree=23631196/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=10088124 memory=17868 CPUtime=0.09 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 4604 12877 0 0 2 0 4 3 20 0 7 0 107291947 10330238976 4467 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2522031 4467 2031 1 0 2510469 0
[pid=20386/tid=20439] ppid=20383 vsize=10088124 memory=4279135704047453582 CPUtime=0.08 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 2421 12877 0 0 1 0 4 3 20 0 7 0 107291956 10330238976 4467 33554432000 4194304 4196468 140727610848896 140002885675792 140002897913182 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=10088124 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 7 0 107291956 10330238976 4467 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=10088124 memory=140390426322560 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 7 0 107291956 10330238976 4467 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 7 0 107291956 10330238976 4467 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 7 0 107291956 10330238976 4467 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=10088124 memory=140390426322560 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 7 0 107291958 10330238976 4467 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 17868 KiB
[startup+0.209861 s]*
/proc/loadavg: 1.59 1.81 1.89 5/215 20452
/proc/meminfo: memFree=23601228/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=10982744 memory=48264 CPUtime=0.25 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 9414 12877 0 0 17 1 4 3 20 0 15 0 107291947 11246329856 12066 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2745686 12066 2950 1 0 2708109 0
[pid=20386/tid=20439] ppid=20383 vsize=10982776 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 5984 12877 0 0 11 1 4 3 20 0 15 0 107291956 11246362624 12066 33554432000 4194304 4196468 140727610848896 140002885657504 140002906512413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=10982776 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246362624 12066 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=10982776 memory=3905095743052031648 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246362624 12066 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246362624 12066 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246362624 12066 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=10982776 memory=140390426322560 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246362624 12066 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 14 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246362624 12066 33554432000 4194304 4196468 140727610848896 140001720394528 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246362624 12066 33554432000 4194304 4196468 140727610848896 140001572545648 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246362624 12066 33554432000 4194304 4196468 140727610848896 140001265145936 140002913851291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 427 12877 0 0 1 0 4 3 20 0 15 0 107291961 11246329856 12066 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 184 12877 0 0 1 0 4 3 20 0 15 0 107291961 11246329856 12066 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=10982744 memory=140390426322560 CPUtime=0.1 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 609 12877 0 0 3 0 4 3 20 0 15 0 107291961 11246329856 12066 33554432000 4194304 4196468 140727610848896 140002336562032 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246329856 12066 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20452] ppid=20383 vsize=10982744 memory=140390426322560 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20452/stat : 20452 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246329856 12066 33554432000 4194304 4196468 140727610848896 140002335508912 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 48264 KiB
[startup+0.31041 s]*
/proc/loadavg: 1.59 1.81 1.89 3/215 20452
/proc/meminfo: memFree=23574892/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=10983192 memory=56144 CPUtime=0.38 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 10636 12877 0 0 29 2 4 3 20 0 15 0 107291947 11246788608 14036 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2745798 14036 3069 1 0 2708109 0
[pid=20386/tid=20439] ppid=20383 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 7177 12877 0 0 21 1 4 3 20 0 15 0 107291956 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002885644704 140002897019533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 14 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246788608 14036 33554432000 4194304 4196468 140727610848896 140001720394528 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246788608 14036 33554432000 4194304 4196468 140727610848896 140001572545648 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246788608 14036 33554432000 4194304 4196468 140727610848896 140001265145936 140002913851291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 429 12877 0 0 1 0 4 3 20 0 15 0 107291961 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 187 12877 0 0 1 0 4 3 20 0 15 0 107291961 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=10983192 memory=140390426322560 CPUtime=0.12 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 617 12877 0 0 5 0 4 3 20 0 15 0 107291961 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002336562032 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246788608 14036 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20452] ppid=20383 vsize=10983192 memory=140390426322560 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20452/stat : 20452 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246788608 14036 33554432000 4194304 4196468 140727610848896 140002335508912 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56144 KiB
[startup+0.700754 s]
/proc/loadavg: 1.59 1.81 1.89 6/215 20452
/proc/meminfo: memFree=23536980/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=10983192 memory=88832 CPUtime=0.98 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 16773 12877 0 0 88 3 4 3 20 0 15 0 107291947 11246788608 22208 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2745798 22208 3246 1 0 2708109 0
[pid=20386/tid=20439] ppid=20383 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 12240 12877 0 0 57 2 4 3 20 0 15 0 107291956 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002885653520 140002894108089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 15 0 107291956 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=10983192 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 5 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=10983192 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 14 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246788608 22208 33554432000 4194304 4196468 140727610848896 140001720394528 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291958 11246788608 22208 33554432000 4194304 4196468 140727610848896 140001572545648 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246788608 22208 33554432000 4194304 4196468 140727610848896 140001265145936 140002913851291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 805 12877 0 0 7 0 4 3 20 0 15 0 107291961 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 811 12877 0 0 10 0 4 3 20 0 15 0 107291961 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 688 12877 0 0 13 0 4 3 20 0 15 0 107291961 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002336562032 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246788608 22208 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20452] ppid=20383 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20452/stat : 20452 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291961 11246788608 22208 33554432000 4194304 4196468 140727610848896 140002335508912 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88832 KiB
[startup+1.50073 s]
/proc/loadavg: 1.59 1.81 1.89 6/215 20452
/proc/meminfo: memFree=23483084/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=10996044 memory=179972 CPUtime=2.99 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 24142 12877 0 0 285 7 4 3 20 0 15 0 107291947 11259949056 44993 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2749011 44993 3448 1 0 2710669 0
[pid=20386/tid=20439] ppid=20383 vsize=10996044 memory=-5153075247754915967 CPUtime=1.45 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 16761 12877 0 0 134 4 4 3 20 0 15 0 107291956 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002885664384 140002913854621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=10996044 memory=7752263530325243188 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=10996044 memory=6720696446780543624 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=10996044 memory=-5153075247754915967 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291956 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=10996044 memory=126584 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 2 12877 0 0 0 0 4 3 20 0 15 0 107291956 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 13 12877 0 0 0 0 4 3 20 0 15 0 107291958 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 14 12877 0 0 0 0 4 3 20 0 15 0 107291958 11259949056 44993 33554432000 4194304 4196468 140727610848896 140001720394528 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=10996044 memory=280780534253248 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291958 11259949056 44993 33554432000 4194304 4196468 140727610848896 140001572545648 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=10996044 memory=280780534667472 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11259949056 44993 33554432000 4194304 4196468 140727610848896 140001265145936 140002913851291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=10996044 memory=140390267136336 CPUtime=0.56 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 1540 12877 0 0 49 0 4 3 20 0 15 0 107291961 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=10996044 memory=140390426325073 CPUtime=0.62 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 1997 12877 0 0 55 0 4 3 20 0 15 0 107291961 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=10996044 memory=96 CPUtime=0.51 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 1607 12877 0 0 44 0 4 3 20 0 15 0 107291961 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002336562032 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=10996044 memory=3 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11259949056 44993 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20452] ppid=20383 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20452/stat : 20452 (java) S 20383 20386 12222 0 -1 1077944384 1 12877 0 0 0 0 4 3 20 0 15 0 107291961 11259949056 44993 33554432000 4194304 4196468 140727610848896 140002335508912 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
################
# More data... #
################
/proc/20386/statm: 2754136 797125 3531 1 0 2715789 0
[pid=20386/tid=20439] ppid=20383 vsize=11016544 memory=3186452 CPUtime=99.67 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 56370 12877 0 0 9922 38 4 3 20 0 15 0 107291956 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002885661536 140002485551186 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=11016544 memory=3188500 CPUtime=2.36 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1248 12877 0 0 204 25 4 3 20 0 15 0 107291956 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=11016544 memory=3090048 CPUtime=2.35 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 3818 12877 0 0 202 26 4 3 20 0 15 0 107291956 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=11016544 memory=3188500 CPUtime=2.36 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 2269 12877 0 0 203 26 4 3 20 0 15 0 107291956 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=11016544 memory=4 CPUtime=2.34 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 1486 12877 0 0 202 25 4 3 20 0 15 0 107291956 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=11016544 memory=13109 CPUtime=0.33 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 8142 12877 0 0 25 1 4 3 20 0 15 0 107291958 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=11016544 memory=3188500 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 22 12877 0 0 0 0 4 3 20 0 15 0 107291958 11280941056 797125 33554432000 4194304 4196468 140727610848896 140001720394656 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=11016544 memory=3188500 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 17 12877 0 0 0 0 4 3 20 0 15 0 107291958 11280941056 797125 33554432000 4194304 4196468 140727610848896 140001572545824 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=11016544 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11280941056 797125 33554432000 4194304 4196468 140727610848896 140001265145936 140002913851291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=11016544 memory=8976414709404591081 CPUtime=9.3 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 16576 12877 0 0 919 4 4 3 20 0 15 0 107291961 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=11016544 memory=3188500 CPUtime=9.99 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 21548 12877 0 0 988 4 4 3 20 0 15 0 107291961 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=11016544 memory=3188500 CPUtime=3.07 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 17915 12877 0 0 295 5 4 3 20 0 15 0 107291961 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002336562032 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=11016544 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11280941056 797125 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20452] ppid=20383 vsize=11016544 memory=280780535467248 CPUtime=0.12 cores=1,3,5,7
/proc/20386/task/20452/stat : 20452 (java) S 20383 20386 12222 0 -1 1077944384 834 12877 0 0 2 3 4 3 20 0 15 0 107291961 11280941056 797125 33554432000 4194304 4196468 140727610848896 140002335508912 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 131.36 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3188500 KiB
[startup+162.301 s]
/proc/loadavg: 1.82 1.88 1.92 3/216 20589
/proc/meminfo: memFree=19814472/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=11016544 memory=3221312 CPUtime=194.49 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 148994 12877 0 0 19274 168 4 3 20 0 15 0 107291947 11280941056 805328 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2754136 805328 3531 1 0 2715789 0
[pid=20386/tid=20439] ppid=20383 vsize=11016544 memory=3221320 CPUtime=158.96 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 61353 12877 0 0 15851 38 4 3 20 0 15 0 107291956 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002885663472 140002478781896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=11016544 memory=3221320 CPUtime=3.04 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1540 12877 0 0 271 26 4 3 20 0 15 0 107291956 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=11016544 memory=3221312 CPUtime=3.03 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 4217 12877 0 0 269 27 4 3 20 0 15 0 107291956 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=11016544 memory=3221312 CPUtime=3.04 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 2510 12877 0 0 270 27 4 3 20 0 15 0 107291956 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=11016544 memory=3221312 CPUtime=3.02 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 3289 12877 0 0 268 27 4 3 20 0 15 0 107291956 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=11016544 memory=3221312 CPUtime=0.34 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 8484 12877 0 0 26 1 4 3 20 0 15 0 107291958 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=11016544 memory=3221320 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 22 12877 0 0 0 0 4 3 20 0 15 0 107291958 11280941056 805328 33554432000 4194304 4196468 140727610848896 140001720394656 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=11016544 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 17 12877 0 0 0 0 4 3 20 0 15 0 107291958 11280941056 805328 33554432000 4194304 4196468 140727610848896 140001572545824 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=11016544 memory=3217236 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11280941056 805328 33554432000 4194304 4196468 140727610848896 140001265145936 140002913851291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=11016544 memory=3221312 CPUtime=9.73 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 18265 12877 0 0 962 4 4 3 20 0 15 0 107291961 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=11016544 memory=796 CPUtime=10.56 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 23730 12877 0 0 1044 5 4 3 20 0 15 0 107291961 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=11016544 memory=1792 CPUtime=3.14 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 22494 12877 0 0 302 5 4 3 20 0 15 0 107291961 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002336562032 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=11016544 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11280941056 805328 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20452] ppid=20383 vsize=11016544 memory=3221312 CPUtime=0.15 cores=1,3,5,7
/proc/20386/task/20452/stat : 20452 (java) S 20383 20386 12222 0 -1 1077944384 870 12877 0 0 3 5 4 3 20 0 15 0 107291961 11280941056 805328 33554432000 4194304 4196468 140727610848896 140002335508912 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 194.49 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3221312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+219.001 s]*
/proc/loadavg: 1.74 1.84 1.90 3/216 20590
/proc/meminfo: memFree=19779064/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=11016544 memory=3254100 CPUtime=252.06 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 164149 12877 0 0 25024 175 4 3 20 0 15 0 107291947 11280941056 813525 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2754136 813525 3531 1 0 2715789 0
[pid=20386/tid=20439] ppid=20383 vsize=11016544 memory=6791534058613427641 CPUtime=215.43 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) R 20383 20386 12222 0 -1 4202560 66392 12877 0 0 21497 39 4 3 20 0 15 0 107291956 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002885661488 140002462860443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=11016544 memory=4126316290023845779 CPUtime=3.27 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1788 12877 0 0 293 27 4 3 20 0 15 0 107291956 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=11016544 memory=7284 CPUtime=3.27 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 4312 12877 0 0 292 28 4 3 20 0 15 0 107291956 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=11016544 memory=840 CPUtime=3.27 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 3427 12877 0 0 292 28 4 3 20 0 15 0 107291956 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=11016544 memory=1696 CPUtime=3.25 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 4667 12877 0 0 290 28 4 3 20 0 15 0 107291956 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=11016544 memory=916 CPUtime=0.35 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 8777 12877 0 0 27 1 4 3 20 0 15 0 107291958 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002339719280 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=11016544 memory=3852 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 22 12877 0 0 0 0 4 3 20 0 15 0 107291958 11280941056 813525 33554432000 4194304 4196468 140727610848896 140001720394656 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=11016544 memory=2592 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 17 12877 0 0 0 0 4 3 20 0 15 0 107291958 11280941056 813525 33554432000 4194304 4196468 140727610848896 140001572545824 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=11016544 memory=2684 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11280941056 813525 33554432000 4194304 4196468 140727610848896 140001265145936 140002913851291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=11016544 memory=4100 CPUtime=9.8 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 21016 12877 0 0 969 4 4 3 20 0 15 0 107291961 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=11016544 memory=1404 CPUtime=10.6 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 26587 12877 0 0 1048 5 4 3 20 0 15 0 107291961 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=11016544 memory=2972 CPUtime=3.16 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 24024 12877 0 0 304 5 4 3 20 0 15 0 107291961 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002336562032 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=11016544 memory=3254100 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11280941056 813525 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20452] ppid=20383 vsize=11016544 memory=1404 CPUtime=0.18 cores=1,3,5,7
/proc/20386/task/20452/stat : 20452 (java) S 20383 20386 12222 0 -1 1077944384 917 12877 0 0 4 7 4 3 20 0 15 0 107291961 11280941056 813525 33554432000 4194304 4196468 140727610848896 140002335508912 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3254100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+219.14 s]
# the end of solver process 20386 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.427 s, system=1.80985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+219.115 s]
/proc/loadavg: 1.74 1.84 1.90 3/216 20590
/proc/meminfo: memFree=19779064/32770624 swapFree=67108404/67108860
[pid=20386] ppid=20383 vsize=11277668 memory=3256316 CPUtime=252.19 cores=1,3,5,7
/proc/20386/stat : 20386 (java) S 20383 20386 12222 0 -1 1077944320 165279 12877 0 0 25037 175 4 3 20 0 15 0 107291947 11548332032 814079 33554432000 4194304 4196468 140727610848896 140727610831440 140002913832695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
/proc/20386/statm: 2819417 814079 3534 1 0 2781070 0
[pid=20386/tid=20439] ppid=20383 vsize=11277668 memory=3254100 CPUtime=215.5 cores=1,3,5,7
/proc/20386/task/20439/stat : 20439 (java) S 20383 20386 12222 0 -1 1077944384 66712 12877 0 0 21504 39 4 3 20 0 15 0 107291956 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002885674736 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20440] ppid=20383 vsize=11277668 memory=3254100 CPUtime=3.28 cores=1,3,5,7
/proc/20386/task/20440/stat : 20440 (java) S 20383 20386 12222 0 -1 1077944384 1797 12877 0 0 294 27 4 3 20 0 15 0 107291956 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002918075280 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20441] ppid=20383 vsize=11277668 memory=3254100 CPUtime=3.28 cores=1,3,5,7
/proc/20386/task/20441/stat : 20441 (java) S 20383 20386 12222 0 -1 1077944384 4314 12877 0 0 293 28 4 3 20 0 15 0 107291956 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002783410960 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20442] ppid=20383 vsize=11277668 memory=3254100 CPUtime=3.28 cores=1,3,5,7
/proc/20386/task/20442/stat : 20442 (java) S 20383 20386 12222 0 -1 1077944384 3428 12877 0 0 293 28 4 3 20 0 15 0 107291956 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002782358672 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20443] ppid=20383 vsize=11277668 memory=3254100 CPUtime=3.27 cores=1,3,5,7
/proc/20386/task/20443/stat : 20443 (java) S 20383 20386 12222 0 -1 1077944384 4670 12877 0 0 292 28 4 3 20 0 15 0 107291956 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002451123216 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20444] ppid=20383 vsize=11277668 memory=3254100 CPUtime=0.35 cores=1,3,5,7
/proc/20386/task/20444/stat : 20444 (java) S 20383 20386 12222 0 -1 1077944384 8787 12877 0 0 27 1 4 3 20 0 15 0 107291958 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002339718784 140002913843842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20445] ppid=20383 vsize=11277668 memory=3254100 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20445/stat : 20445 (java) S 20383 20386 12222 0 -1 1077944384 22 12877 0 0 0 0 4 3 20 0 15 0 107291958 11548332032 814079 33554432000 4194304 4196468 140727610848896 140001720394656 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20446] ppid=20383 vsize=11277668 memory=3254100 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20446/stat : 20446 (java) S 20383 20386 12222 0 -1 1077944384 17 12877 0 0 0 0 4 3 20 0 15 0 107291958 11548332032 814079 33554432000 4194304 4196468 140727610848896 140001572545824 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20447] ppid=20383 vsize=11277668 memory=3254100 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20447/stat : 20447 (java) S 20383 20386 12222 0 -1 1077944384 126 12877 0 0 0 0 4 3 20 0 15 0 107291961 11548332032 814079 33554432000 4194304 4196468 140727610848896 140001265144992 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20448] ppid=20383 vsize=11277668 memory=3254100 CPUtime=9.8 cores=1,3,5,7
/proc/20386/task/20448/stat : 20448 (java) S 20383 20386 12222 0 -1 1077944384 21018 12877 0 0 969 4 4 3 20 0 15 0 107291961 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002338667120 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20449] ppid=20383 vsize=11277668 memory=3254100 CPUtime=10.6 cores=1,3,5,7
/proc/20386/task/20449/stat : 20449 (java) S 20383 20386 12222 0 -1 1077944384 26587 12877 0 0 1048 5 4 3 20 0 15 0 107291961 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002337614320 140002913843842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20450] ppid=20383 vsize=11277668 memory=3254100 CPUtime=3.17 cores=1,3,5,7
/proc/20386/task/20450/stat : 20450 (java) S 20383 20386 12222 0 -1 1077944384 24136 12877 0 0 304 6 4 3 20 0 15 0 107291961 11548332032 814079 33554432000 4194304 4196468 140727610848896 140002336557904 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
[pid=20386/tid=20451] ppid=20383 vsize=11277668 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/20386/task/20451/stat : 20451 (java) S 20383 20386 12222 0 -1 1077944384 3 12877 0 0 0 0 4 3 20 0 15 0 107291961 11548332032 814079 33554432000 4194304 4196468 140727610848896 140000834350048 140002913842901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31703040 140727610849897 140727610852705 140727610852705 140727610855375 0
Current children cumulated CPU time: 252.19 s
Current children cumulated vsize: 11277668 KiB
Current children cumulated memory: 3256316 KiB
Child status: 143
Real time (s): 219.14
CPU time (s): 252.237
CPU user time (s): 250.427
CPU system time (s): 1.80985
CPU usage (%): 115.103
Max. virtual memory (cumulated for all children) (KiB): 11277668
Max. memory (cumulated for all children) (KiB): 3256316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.427
system time used= 1.80985
maximum resident set size= 3258308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178179
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= 17452
involuntary context switches= 402
# summary of solver processes directly reported to runsolver:
# pid: 20386
# total CPU time (s): 252.237
# total CPU user time (s): 250.427
# total CPU system time (s): 1.80985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26964 second user time and 2.15924 second system time
The end