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 (13501 MiB free)
memory of node 1: 16384 MiB (15712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387245-1568296742/watcher-4387245-1568296742 -o /tmp/evaluation-result-4387245-1568296742/solver-4387245-1568296742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568285922-554 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1671357712 HOME/instance-4387245-1568296742.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3312, runsolver pid=3309
Current StackSize limit: 8192 KiB
[startup+0.109522 s]*
/proc/loadavg: 2.05 1.88 1.75 3/218 3370
/proc/meminfo: memFree=29905548/32770624 swapFree=66978972/67108860
[pid=3312] ppid=3309 vsize=10355560 memory=22668 CPUtime=0.1 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 4910 13015 0 0 2 1 5 2 20 0 9 0 405936896 10604093440 5667 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2588890 5667 2102 1 0 2551431 0
[pid=3312/tid=3365] ppid=3309 vsize=10355560 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 2684 13015 0 0 1 0 5 2 20 0 9 0 405936905 10604093440 5667 33554432000 4194304 4196468 140736160958208 140525369884528 140525383730995 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10355560 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 9 0 405936906 10604093440 5667 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10355560 memory=140263551090032 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 9 0 405936906 10604093440 5667 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 9 0 405936906 10604093440 5667 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 9 0 405936906 10604093440 5667 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10355560 memory=140263548094080 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 9 0 405936907 10604093440 5667 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 9 0 405936907 10604093440 5667 33554432000 4194304 4196468 140736160958208 140524601648160 140525398058709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 9 0 405936908 10604093440 5667 33554432000 4194304 4196468 140736160958208 140524484813744 140525398058709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22668 KiB
[startup+0.209956 s]*
/proc/loadavg: 2.05 1.88 1.75 3/226 3378
/proc/meminfo: memFree=29889088/32770624 swapFree=66978972/67108860
[pid=3312] ppid=3309 vsize=10818940 memory=38904 CPUtime=0.26 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 7089 13015 0 0 17 2 5 2 20 0 15 0 405936896 11078594560 9726 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2704735 9726 2981 1 0 2667149 0
[pid=3312/tid=3365] ppid=3309 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 3586 13015 0 0 10 1 5 2 20 0 15 0 405936905 11078594560 9791 33554432000 4194304 4196468 140736160958208 140525369881088 140525382128990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10818940 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11078594560 9791 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10818940 memory=140263551090032 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936906 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10818940 memory=140263548094080 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936907 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 15 0 405936907 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524601648160 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524484813680 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11078594560 9791 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 466 13015 0 0 1 0 5 2 20 0 15 0 405936910 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 32244 0 -1 1077944384 162 13015 0 0 1 0 5 2 20 0 15 0 405936910 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524567038704 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10818940 memory=140263548094080 CPUtime=0.1 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) R 3309 3312 32244 0 -1 4202560 632 13015 0 0 3 0 5 2 20 0 15 0 405936910 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524565985904 140525376660313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3377] ppid=3309 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936911 11078594560 9791 33554432000 4194304 4196468 140736160958208 140523942529760 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3378] ppid=3309 vsize=10818940 memory=140263548094080 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936911 11078594560 9791 33554432000 4194304 4196468 140736160958208 140524564933296 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38904 KiB
[startup+0.310337 s]*
/proc/loadavg: 2.05 1.88 1.75 3/226 3378
/proc/meminfo: memFree=29878840/32770624 swapFree=66978972/67108860
[pid=3312] ppid=3309 vsize=10820244 memory=50488 CPUtime=0.4 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 10843 13015 0 0 29 4 5 2 20 0 15 0 405936896 11079929856 12622 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2705061 12622 3300 1 0 2667149 0
[pid=3312/tid=3365] ppid=3309 vsize=10820244 memory=8326441112148417179 CPUtime=0.29 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 7311 13015 0 0 19 3 5 2 20 0 15 0 405936905 11079929856 12622 33554432000 4194304 4196468 140736160958208 140525369876176 140525383358943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10820244 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11079929856 12622 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936906 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10820244 memory=4294969536 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936907 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10820244 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 15 0 405936907 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524601648160 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10820244 memory=140263548094080 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524484813680 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11079929856 12622 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 466 13015 0 0 1 0 5 2 20 0 15 0 405936910 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) R 3309 3312 32244 0 -1 4202560 164 13015 0 0 2 0 5 2 20 0 15 0 405936910 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524567038704 140525382946087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10820244 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 32244 0 -1 1077944384 645 13015 0 0 5 0 5 2 20 0 15 0 405936910 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524565985904 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3377] ppid=3309 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936911 11079929856 12622 33554432000 4194304 4196468 140736160958208 140523942529760 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3378] ppid=3309 vsize=10820244 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936911 11079929856 12622 33554432000 4194304 4196468 140736160958208 140524564933296 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820244 KiB
Current children cumulated memory: 50488 KiB
[startup+0.700793 s]
/proc/loadavg: 2.05 1.88 1.75 5/226 3378
/proc/meminfo: memFree=29863244/32770624 swapFree=66978972/67108860
[pid=3312] ppid=3309 vsize=10824340 memory=80664 CPUtime=1.13 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 14892 13015 0 0 101 5 5 2 20 0 15 0 405936896 11084124160 20166 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2706085 20166 3501 1 0 2668173 0
[pid=3312/tid=3365] ppid=3309 vsize=10824340 memory=140265041953337 CPUtime=0.66 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 10526 13015 0 0 55 4 5 2 20 0 15 0 405936905 11084124160 20166 33554432000 4194304 4196468 140736160958208 140525369875696 140525398060438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10824340 memory=140265041953339 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11084124160 20166 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10824340 memory=140265041953344 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936906 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10824340 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10824340 memory=7380367697367295296 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 2 13015 0 0 0 0 5 2 20 0 15 0 405936906 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10824340 memory=756 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 5 13015 0 0 0 0 5 2 20 0 15 0 405936907 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10824340 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 33 13015 0 0 0 0 5 2 20 0 15 0 405936907 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524601648160 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10824340 memory=7964 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524484813680 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10824340 memory=1164 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11084124160 20166 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10824340 memory=9580 CPUtime=0.21 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 810 13015 0 0 14 0 5 2 20 0 15 0 405936910 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10824340 memory=14008 CPUtime=0.2 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 32244 0 -1 1077944384 448 13015 0 0 13 0 5 2 20 0 15 0 405936910 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524567038704 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10824340 memory=2120 CPUtime=0.24 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) R 3309 3312 32244 0 -1 4202560 847 13015 0 0 17 0 5 2 20 0 15 0 405936910 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524565985904 140525391148203 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3377] ppid=3309 vsize=10824340 memory=11976 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936911 11084124160 20166 33554432000 4194304 4196468 140736160958208 140523942529760 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3378] ppid=3309 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936911 11084124160 20166 33554432000 4194304 4196468 140736160958208 140524564933296 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80664 KiB
[startup+1.50185 s]
/proc/loadavg: 2.05 1.88 1.75 3/226 3378
/proc/meminfo: memFree=29820160/32770624 swapFree=66978972/67108860
[pid=3312] ppid=3309 vsize=10834656 memory=166608 CPUtime=2.46 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 21888 13015 0 0 228 11 5 2 20 0 15 0 405936896 11094687744 41652 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2708664 41652 3573 1 0 2670733 0
[pid=3312/tid=3365] ppid=3309 vsize=10834656 memory=756 CPUtime=1.43 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 15365 13015 0 0 130 6 5 2 20 0 15 0 405936905 11094687744 41652 33554432000 4194304 4196468 140736160958208 140525369860880 140525398070429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10834656 memory=1548 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 59 13015 0 0 1 0 5 2 20 0 15 0 405936906 11094687744 41652 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10834656 memory=7964 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 21 13015 0 0 1 0 5 2 20 0 15 0 405936906 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10834656 memory=1164 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 96 13015 0 0 1 0 5 2 20 0 15 0 405936906 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10834656 memory=9580 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 386 13015 0 0 1 0 5 2 20 0 15 0 405936906 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10834656 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 557 13015 0 0 1 0 5 2 20 0 15 0 405936907 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 34 13015 0 0 0 0 5 2 20 0 15 0 405936907 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524601648224 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524484813696 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10834656 memory=15479062137908 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11094687744 41652 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10834656 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 951 13015 0 0 26 1 5 2 20 0 15 0 405936910 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10834656 memory=-3039135443232236825 CPUtime=0.28 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) R 3309 3312 32244 0 -1 1077944384 530 13015 0 0 21 0 5 2 20 0 15 0 405936910 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524567038704 140525398059650 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10834656 memory=-2098775911743863648 CPUtime=0.49 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) R 3309 3312 32244 0 -1 4202560 1674 13015 0 0 42 0 5 2 20 0 15 0 405936910 11094687744 41652 33554432000 4194304 4196468 140736160958208 140524565981632 140525382128990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
################
# More data... #
################
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 56229 13015 0 0 235582 45 5 2 20 0 15 0 405936905 11107291136 175973 33554432000 4194304 4196468 140736160958208 140525369884128 140524977892424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10846964 memory=703892 CPUtime=11.29 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 11228 13015 0 0 1063 59 5 2 20 0 15 0 405936906 11107291136 175973 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10846964 memory=703892 CPUtime=11.3 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 8190 13015 0 0 1064 59 5 2 20 0 15 0 405936906 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10846964 memory=703892 CPUtime=11.3 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 10982 13015 0 0 1061 62 5 2 20 0 15 0 405936906 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10846964 memory=703892 CPUtime=11.32 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 7677 13015 0 0 1066 59 5 2 20 0 15 0 405936906 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10846964 memory=703892 CPUtime=10.76 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 12367 13015 0 0 1017 52 5 2 20 0 15 0 405936907 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10846964 memory=703824 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 40 13015 0 0 0 0 5 2 20 0 15 0 405936907 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524601648288 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10846964 memory=703892 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524484813696 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10846964 memory=703824 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11107291136 175973 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10846964 memory=164 CPUtime=4.67 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 17678 13015 0 0 456 4 5 2 20 0 15 0 405936910 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 55 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10846964 memory=4638778398332698729 CPUtime=3.78 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 32244 0 -1 1077944384 15180 13015 0 0 366 5 5 2 20 0 15 0 405936910 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524567038704 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10846964 memory=703892 CPUtime=3.32 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 32244 0 -1 1077944384 25143 13015 0 0 319 6 5 2 20 0 15 0 405936910 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524565985904 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3377] ppid=3309 vsize=10846964 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936911 11107291136 175973 33554432000 4194304 4196468 140736160958208 140523942529760 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3378] ppid=3309 vsize=10846964 memory=3772 CPUtime=1.37 cores=1,3,5,7
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 32244 0 -1 1077944384 672 13015 0 0 60 70 5 2 20 0 15 0 405936911 11107291136 175973 33554432000 4194304 4196468 140736160958208 140524564933296 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 2424.93 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 703892 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.36 1.40 3/227 3755
/proc/meminfo: memFree=30396644/32770624 swapFree=66979032/67108860
[pid=3312] ppid=3309 vsize=10846964 memory=703924 CPUtime=2485.75 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 168440 13015 0 0 248208 360 5 2 20 0 15 0 405936896 11107291136 175981 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2711741 175981 3626 1 0 2673805 0
[pid=3312/tid=3365] ppid=3309 vsize=10846964 memory=703924 CPUtime=2415.75 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 56688 13015 0 0 241522 46 5 2 20 0 15 0 405936905 11107291136 175981 33554432000 4194304 4196468 140736160958208 140525369883040 140524984619172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10846964 memory=703924 CPUtime=11.59 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 11293 13015 0 0 1091 61 5 2 20 0 15 0 405936906 11107291136 175981 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10846964 memory=703924 CPUtime=11.6 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 8388 13015 0 0 1093 60 5 2 20 0 15 0 405936906 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10846964 memory=703924 CPUtime=11.59 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 11008 13015 0 0 1088 64 5 2 20 0 15 0 405936906 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10846964 memory=703924 CPUtime=11.58 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 7687 13015 0 0 1091 60 5 2 20 0 15 0 405936906 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10846964 memory=703924 CPUtime=11.01 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 12444 13015 0 0 1039 55 5 2 20 0 15 0 405936907 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10846964 memory=703924 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 40 13015 0 0 0 0 5 2 20 0 15 0 405936907 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524601648288 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10846964 memory=703924 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524484813696 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10846964 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11107291136 175981 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10846964 memory=2004 CPUtime=4.67 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 17678 13015 0 0 456 4 5 2 20 0 15 0 405936910 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10846964 memory=984 CPUtime=3.78 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 32244 0 -1 1077944384 15180 13015 0 0 366 5 5 2 20 0 15 0 405936910 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524567038704 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10846964 memory=703924 CPUtime=3.32 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 32244 0 -1 1077944384 25144 13015 0 0 319 6 5 2 20 0 15 0 405936910 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524565985904 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3377] ppid=3309 vsize=10846964 memory=703924 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936911 11107291136 175981 33554432000 4194304 4196468 140736160958208 140523942529760 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3378] ppid=3309 vsize=10846964 memory=9580 CPUtime=1.41 cores=1,3,5,7
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 32244 0 -1 1077944384 675 13015 0 0 62 72 5 2 20 0 15 0 405936911 11107291136 175981 33554432000 4194304 4196468 140736160958208 140524564933296 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 2485.75 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 703924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.11 s]
/proc/loadavg: 1.23 1.33 1.39 3/227 3758
/proc/meminfo: memFree=30394176/32770624 swapFree=66979032/67108860
[pid=3312] ppid=3309 vsize=10846964 memory=706008 CPUtime=2520.04 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 169128 13015 0 0 251632 365 5 2 20 0 15 0 405936896 11107291136 176502 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2711741 176502 3626 1 0 2673805 0
[pid=3312/tid=3365] ppid=3309 vsize=10846964 memory=706008 CPUtime=2449.22 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 57000 13015 0 0 244869 46 5 2 20 0 15 0 405936905 11107291136 176502 33554432000 4194304 4196468 140736160958208 140525369884016 140524985042805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10846964 memory=706008 CPUtime=11.75 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 11304 13015 0 0 1106 62 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10846964 memory=706008 CPUtime=11.76 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 8431 13015 0 0 1108 61 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10846964 memory=703960 CPUtime=11.74 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 11018 13015 0 0 1103 64 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10846964 memory=706008 CPUtime=11.75 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 7840 13015 0 0 1107 61 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10846964 memory=2600 CPUtime=11.15 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 12591 13015 0 0 1053 55 5 2 20 0 15 0 405936907 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10846964 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 40 13015 0 0 0 0 5 2 20 0 15 0 405936907 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524601648288 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10846964 memory=706008 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524484813696 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10846964 memory=706008 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10846964 memory=7 CPUtime=4.67 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 17680 13015 0 0 456 4 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10846964 memory=706008 CPUtime=3.78 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 32244 0 -1 1077944384 15182 13015 0 0 366 5 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524567038704 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10846964 memory=706008 CPUtime=3.32 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 32244 0 -1 1077944384 25146 13015 0 0 319 6 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524565985904 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3377] ppid=3309 vsize=10846964 memory=706008 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936911 11107291136 176502 33554432000 4194304 4196468 140736160958208 140523942529760 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3378] ppid=3309 vsize=10846964 memory=706008 CPUtime=1.43 cores=1,3,5,7
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 32244 0 -1 1077944384 681 13015 0 0 63 73 5 2 20 0 15 0 405936911 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524564933296 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 706008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.14 s]
# the end of solver process 3312 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.4 s, system=3.6878 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.11 s]
/proc/loadavg: 1.23 1.33 1.39 3/227 3758
/proc/meminfo: memFree=30394176/32770624 swapFree=66979032/67108860
[pid=3312] ppid=3309 vsize=10846964 memory=706008 CPUtime=2520.04 cores=1,3,5,7
/proc/3312/stat : 3312 (java) S 3309 3312 32244 0 -1 1077944320 169128 13015 0 0 251632 365 5 2 20 0 15 0 405936896 11107291136 176502 33554432000 4194304 4196468 140736160958208 140736160940752 140525398048503 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
/proc/3312/statm: 2711741 176502 3626 1 0 2673805 0
[pid=3312/tid=3365] ppid=3309 vsize=10846964 memory=706008 CPUtime=2449.22 cores=1,3,5,7
/proc/3312/task/3365/stat : 3365 (java) R 3309 3312 32244 0 -1 4202560 57000 13015 0 0 244869 46 5 2 20 0 15 0 405936905 11107291136 176502 33554432000 4194304 4196468 140736160958208 140525369884016 140524985042805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3366] ppid=3309 vsize=10846964 memory=706008 CPUtime=11.75 cores=1,3,5,7
/proc/3312/task/3366/stat : 3366 (java) S 3309 3312 32244 0 -1 1077944384 11304 13015 0 0 1106 62 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140525402291344 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3367] ppid=3309 vsize=10846964 memory=706008 CPUtime=11.76 cores=1,3,5,7
/proc/3312/task/3367/stat : 3367 (java) S 3309 3312 32244 0 -1 1077944384 8431 13015 0 0 1108 61 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524971355152 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3368] ppid=3309 vsize=10846964 memory=703960 CPUtime=11.74 cores=1,3,5,7
/proc/3312/task/3368/stat : 3368 (java) S 3309 3312 32244 0 -1 1077944384 11018 13015 0 0 1103 64 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524970302352 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3369] ppid=3309 vsize=10846964 memory=706008 CPUtime=11.75 cores=1,3,5,7
/proc/3312/task/3369/stat : 3369 (java) S 3309 3312 32244 0 -1 1077944384 7840 13015 0 0 1107 61 5 2 20 0 15 0 405936906 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524969249552 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3370] ppid=3309 vsize=10846964 memory=2600 CPUtime=11.15 cores=1,3,5,7
/proc/3312/task/3370/stat : 3370 (java) S 3309 3312 32244 0 -1 1077944384 12591 13015 0 0 1053 55 5 2 20 0 15 0 405936907 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524602702192 140525398059650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3371] ppid=3309 vsize=10846964 memory=1548 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3371/stat : 3371 (java) S 3309 3312 32244 0 -1 1077944384 40 13015 0 0 0 0 5 2 20 0 15 0 405936907 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524601648288 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3372] ppid=3309 vsize=10846964 memory=706008 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3372/stat : 3372 (java) S 3309 3312 32244 0 -1 1077944384 1 13015 0 0 0 0 5 2 20 0 15 0 405936908 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524484813696 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3373] ppid=3309 vsize=10846964 memory=706008 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3373/stat : 3373 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140523976087376 140525398067099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3374] ppid=3309 vsize=10846964 memory=7 CPUtime=4.67 cores=1,3,5,7
/proc/3312/task/3374/stat : 3374 (java) S 3309 3312 32244 0 -1 1077944384 17680 13015 0 0 456 4 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524568091504 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 55 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3375] ppid=3309 vsize=10846964 memory=706008 CPUtime=3.78 cores=1,3,5,7
/proc/3312/task/3375/stat : 3375 (java) S 3309 3312 32244 0 -1 1077944384 15182 13015 0 0 366 5 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524567038704 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3376] ppid=3309 vsize=10846964 memory=706008 CPUtime=3.32 cores=1,3,5,7
/proc/3312/task/3376/stat : 3376 (java) S 3309 3312 32244 0 -1 1077944384 25146 13015 0 0 319 6 5 2 20 0 15 0 405936910 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524565985904 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3377] ppid=3309 vsize=10846964 memory=706008 CPUtime=0.07 cores=1,3,5,7
/proc/3312/task/3377/stat : 3377 (java) S 3309 3312 32244 0 -1 1077944384 3 13015 0 0 0 0 5 2 20 0 15 0 405936911 11107291136 176502 33554432000 4194304 4196468 140736160958208 140523942529760 140525398058709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
[pid=3312/tid=3378] ppid=3309 vsize=10846964 memory=706008 CPUtime=1.43 cores=1,3,5,7
/proc/3312/task/3378/stat : 3378 (java) S 3309 3312 32244 0 -1 1077944384 681 13015 0 0 63 73 5 2 20 0 15 0 405936911 11107291136 176502 33554432000 4194304 4196468 140736160958208 140524564933296 140525398059650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 52 0 0 6293624 6294260 29396992 140736160963317 140736160965829 140736160965829 140736160968655 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 706008 KiB
Child status: 143
Real time (s): 2476.14
CPU time (s): 2520.09
CPU user time (s): 2516.4
CPU system time (s): 3.6878
CPU usage (%): 101.775
Max. virtual memory (cumulated for all children) (KiB): 10849628
Max. memory (cumulated for all children) (KiB): 706008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.4
system time used= 3.6878
maximum resident set size= 710232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302158
involuntary context switches= 7129
# summary of solver processes directly reported to runsolver:
# pid: 3312
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.4
# total CPU system time (s): 3.6878
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1238 second user time and 24.4239 second system time
The end