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 (1773 MiB free)
memory of node 1: 16384 MiB (3032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403175-1568979655/watcher-4403175-1568979655 -o /var/tmp/evaluation-result-4403175-1568979655/solver-4403175-1568979655 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568967596-32357 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=48196352 HOME/instance-4403175-1568979655.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3326, runsolver pid=3323
[startup+0.100057 s]*
/proc/loadavg: 1.29 1.40 1.41 3/218 3383
/proc/meminfo: memFree=4913428/32770624 swapFree=66988528/67108860
[pid=3326] ppid=3323 vsize=9972712 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 4459 13092 0 0 1 0 5 3 20 0 6 0 474228094 10212057088 4203 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2493178 4203 1934 1 0 2481616 0
[pid=3326/tid=3379] ppid=3323 vsize=9972712 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 2322 13092 0 0 1 0 5 3 20 0 6 0 474228103 10212057088 4269 33554432000 4194304 4196468 140723082283440 139830511481424 139830521141680 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 6 0 474228103 10212057088 4269 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=9972712 memory=140525451806336 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 6 0 474228103 10212057088 4269 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 6 0 474228103 10212057088 4269 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 6 0 474228103 10212057088 4269 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209884 s]*
/proc/loadavg: 1.29 1.40 1.41 3/227 3392
/proc/meminfo: memFree=4894660/32770624 swapFree=66988528/67108860
[pid=3326] ppid=3323 vsize=10820176 memory=42588 CPUtime=0.26 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 7560 13092 0 0 17 1 5 3 20 0 15 0 474228094 11079860224 10647 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2705046 10647 3293 1 0 2667149 0
[pid=3326/tid=3379] ppid=3323 vsize=10820196 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 4084 13092 0 0 11 1 5 3 20 0 15 0 474228103 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830511455696 139830539666589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10820196 memory=4294967638 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10820196 memory=288370901603518080 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10820196 memory=140525451806336 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 474228105 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 13 13092 0 0 0 0 5 3 20 0 15 0 474228105 11079880704 10647 33554432000 4194304 4196468 140723082283440 139829975180576 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228105 11079880704 10647 33554432000 4194304 4196468 140723082283440 139829371201136 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11079880704 10647 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) R 3323 3326 32325 0 -1 4202560 368 13092 0 0 1 0 5 3 20 0 15 0 474228108 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830065236080 139830539666010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) S 3323 3326 32325 0 -1 1077944384 297 13092 0 0 1 0 5 3 20 0 15 0 474228108 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830064183280 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10820196 memory=140525451806336 CPUtime=0.11 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) R 3323 3326 32325 0 -1 1077944384 600 13092 0 0 3 0 5 3 20 0 15 0 474228108 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830063130992 139830539655810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11079880704 10647 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10820196 memory=140525451806336 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228109 11079880704 10647 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820176 KiB
Current children cumulated memory: 42588 KiB
[startup+0.310315 s]*
/proc/loadavg: 1.29 1.40 1.41 4/227 3392
/proc/meminfo: memFree=4882112/32770624 swapFree=66988528/67108860
[pid=3326] ppid=3323 vsize=10820196 memory=50784 CPUtime=0.4 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 10935 13092 0 0 29 3 5 3 20 0 15 0 474228094 11079880704 12696 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2705049 12696 3318 1 0 2667149 0
[pid=3326/tid=3379] ppid=3323 vsize=10820196 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 7429 13092 0 0 19 2 5 3 20 0 15 0 474228103 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830511456208 139830523725150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10820196 memory=-2843878391411229854 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10820196 memory=-8412656567334364540 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 474228103 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 474228105 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 13 13092 0 0 0 0 5 3 20 0 15 0 474228105 11079880704 12696 33554432000 4194304 4196468 140723082283440 139829975180576 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228105 11079880704 12696 33554432000 4194304 4196468 140723082283440 139829371201136 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11079880704 12696 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) S 3323 3326 32325 0 -1 1077944384 370 13092 0 0 2 0 5 3 20 0 15 0 474228108 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830065236080 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) S 3323 3326 32325 0 -1 1077944384 297 13092 0 0 1 0 5 3 20 0 15 0 474228108 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830064183280 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) S 3323 3326 32325 0 -1 1077944384 608 13092 0 0 5 0 5 3 20 0 15 0 474228108 11079880704 12696 33554432000 4194304 4196468 140723082283440 139830063130992 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11079880704 12761 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228109 11079880704 12761 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50784 KiB
[startup+0.700681 s]
/proc/loadavg: 1.29 1.40 1.41 3/227 3392
/proc/meminfo: memFree=4867932/32770624 swapFree=66988528/67108860
[pid=3326] ppid=3323 vsize=10824364 memory=83616 CPUtime=1.16 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 15127 13092 0 0 103 5 5 3 20 0 15 0 474228094 11084148736 20904 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2706091 20904 3514 1 0 2668173 0
[pid=3326/tid=3379] ppid=3323 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 10528 13092 0 0 55 4 5 3 20 0 15 0 474228103 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830511474208 139830523725150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10824364 memory=281050580257520 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228103 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10824364 memory=8242257093008635445 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 2 13092 0 0 0 0 5 3 20 0 15 0 474228103 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10824364 memory=5788640000734288224 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 5 13092 0 0 0 0 5 3 20 0 15 0 474228105 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10824364 memory=7007714649526264384 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 13 13092 0 0 0 0 5 3 20 0 15 0 474228105 11084148736 20904 33554432000 4194304 4196468 140723082283440 139829975180576 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10824364 memory=4638778398332698722 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228105 11084148736 20904 33554432000 4194304 4196468 140723082283440 139829371201136 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10824364 memory=4715433313220523562 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11084148736 20904 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10824364 memory=6944656575208382560 CPUtime=0.24 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) S 3323 3326 32325 0 -1 1077944384 866 13092 0 0 16 0 5 3 20 0 15 0 474228108 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830065236080 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) R 3323 3326 32325 0 -1 4202560 711 13092 0 0 13 0 5 3 20 0 15 0 474228108 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830064183280 139830519343275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) S 3323 3326 32325 0 -1 1077944384 787 13092 0 0 17 0 5 3 20 0 15 0 474228108 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830063130992 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10824364 memory=140525451805217 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11084148736 20904 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228109 11084148736 20904 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83616 KiB
[startup+1.50071 s]
/proc/loadavg: 1.29 1.40 1.41 4/227 3392
/proc/meminfo: memFree=4822792/32770624 swapFree=66988528/67108860
[pid=3326] ppid=3323 vsize=10834680 memory=169572 CPUtime=2.47 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 22008 13092 0 0 230 9 5 3 20 0 15 0 474228094 11094712320 42393 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2708670 42393 3582 1 0 2670733 0
[pid=3326/tid=3379] ppid=3323 vsize=10834680 memory=140525293371997 CPUtime=1.44 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 15306 13092 0 0 130 6 5 3 20 0 15 0 474228103 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830511438528 139830539656598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10834680 memory=140525293981037 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 433 13092 0 0 1 0 5 3 20 0 15 0 474228103 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10834680 memory=5611 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 34 13092 0 0 1 0 5 3 20 0 15 0 474228103 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10834680 memory=2256 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 92 13092 0 0 1 0 5 3 20 0 15 0 474228103 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10834680 memory=81 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 99 13092 0 0 1 0 5 3 20 0 15 0 474228103 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 202 13092 0 0 1 0 5 3 20 0 15 0 474228105 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10834680 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 14 13092 0 0 0 0 5 3 20 0 15 0 474228105 11094712320 42393 33554432000 4194304 4196468 140723082283440 139829975180640 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10834680 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228105 11094712320 42393 33554432000 4194304 4196468 140723082283440 139829371201152 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10834680 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11094712320 42393 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10834680 memory=6943526294502006880 CPUtime=0.35 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) S 3323 3326 32325 0 -1 1077944384 1042 13092 0 0 27 0 5 3 20 0 15 0 474228108 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830065236080 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10834680 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) R 3323 3326 32325 0 -1 1077944384 851 13092 0 0 24 0 5 3 20 0 15 0 474228108 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830064183280 139830539655810 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10834680 memory=3473738901061120054 CPUtime=0.49 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) R 3323 3326 32325 0 -1 4202560 1721 13092 0 0 41 0 5 3 20 0 15 0 474228108 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830063130992 139830539666010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11094712320 42393 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10834680 memory=-7966001967407402336 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1 13092 0 0 0 0 5 3 20 0 15 0 474228109 11094712320 42393 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 62226 13092 0 0 223584 50 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830511479952 139830138443917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.41 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 8986 13092 0 0 1076 57 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10849048 memory=904096 CPUtime=11.39 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 9414 13092 0 0 1075 56 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.39 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 11160 13092 0 0 1076 55 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.39 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 11941 13092 0 0 1074 57 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.31 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 12678 13092 0 0 1071 52 5 3 20 0 15 0 474228105 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 21 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829975180640 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 11 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829371201152 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10849048 memory=906144 CPUtime=4.01 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) S 3323 3326 32325 0 -1 1077944384 17853 13092 0 0 388 5 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830065236080 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10849048 memory=906144 CPUtime=4.01 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) S 3323 3326 32325 0 -1 1077944384 25232 13092 0 0 390 3 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830064183280 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10849048 memory=906144 CPUtime=3.75 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) S 3323 3326 32325 0 -1 1077944384 26081 13092 0 0 361 6 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830063130992 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10849048 memory=920 CPUtime=1.37 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1321 13092 0 0 61 68 5 3 20 0 15 0 474228109 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 2305.85 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 906144 KiB
[startup+2322.3 s]
/proc/loadavg: 1.23 1.38 1.40 3/227 3750
/proc/meminfo: memFree=4343564/32770624 swapFree=66988564/67108860
[pid=3326] ppid=3323 vsize=10849048 memory=906144 CPUtime=2366.73 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 190423 13092 0 0 236310 355 5 3 20 0 15 0 474228094 11109425152 226536 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2712262 226536 3628 1 0 2674317 0
[pid=3326/tid=3379] ppid=3323 vsize=10849048 memory=906144 CPUtime=2295.74 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 62858 13092 0 0 229515 51 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830511480128 139830137118290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.72 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 9074 13092 0 0 1106 58 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.71 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 9456 13092 0 0 1105 58 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.71 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 11460 13092 0 0 1107 56 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10849048 memory=55 CPUtime=11.69 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 11952 13092 0 0 1103 58 5 3 20 0 15 0 474228103 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10849048 memory=906144 CPUtime=11.6 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 12882 13092 0 0 1098 54 5 3 20 0 15 0 474228105 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 21 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829975180640 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 11 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829371201152 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10849048 memory=906144 CPUtime=4.02 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) S 3323 3326 32325 0 -1 1077944384 17855 13092 0 0 389 5 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830065236080 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10849048 memory=906144 CPUtime=4.01 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) S 3323 3326 32325 0 -1 1077944384 25234 13092 0 0 390 3 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830064183280 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10849048 memory=906144 CPUtime=3.75 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) S 3323 3326 32325 0 -1 1077944384 26083 13092 0 0 361 6 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830063130992 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 226536 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10849048 memory=906144 CPUtime=1.4 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1325 13092 0 0 62 70 5 3 20 0 15 0 474228109 11109425152 226536 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 2366.73 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 906144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2355.11 s]
/proc/loadavg: 1.23 1.37 1.40 3/227 3754
/proc/meminfo: memFree=4337892/32770624 swapFree=66988564/67108860
[pid=3326] ppid=3323 vsize=10849048 memory=908192 CPUtime=2400.06 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 191257 13092 0 0 239639 359 5 3 20 0 15 0 474228094 11109425152 227048 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2712262 227048 3628 1 0 2674317 0
[pid=3326/tid=3379] ppid=3323 vsize=10849048 memory=906144 CPUtime=2328.14 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 63296 13092 0 0 232755 51 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830511479792 139830127306291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10849048 memory=224417 CPUtime=11.9 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 9105 13092 0 0 1124 58 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10849048 memory=55 CPUtime=11.89 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 9475 13092 0 0 1122 59 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10849048 memory=0 CPUtime=11.9 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 11591 13092 0 0 1125 57 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10849048 memory=897952 CPUtime=11.88 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 11965 13092 0 0 1121 59 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10849048 memory=897952 CPUtime=11.77 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 13063 13092 0 0 1115 54 5 3 20 0 15 0 474228105 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10849048 memory=902048 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 21 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829975180640 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10849048 memory=902048 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 11 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829371201152 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10849048 memory=3620 CPUtime=4.02 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) S 3323 3326 32325 0 -1 1077944384 17857 13092 0 0 389 5 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830065236080 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10849048 memory=0 CPUtime=4.01 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) S 3323 3326 32325 0 -1 1077944384 25236 13092 0 0 390 3 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830064183280 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10849048 memory=281050581412880 CPUtime=3.75 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) S 3323 3326 32325 0 -1 1077944384 26085 13092 0 0 361 6 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830063130992 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10849048 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10849048 memory=393 CPUtime=1.42 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1340 13092 0 0 63 71 5 3 20 0 15 0 474228109 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 908192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2355.14 s]
# the end of solver process 3326 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.46 s, system=3.63972 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2355.11 s]
/proc/loadavg: 1.23 1.37 1.40 3/227 3754
/proc/meminfo: memFree=4337892/32770624 swapFree=66988564/67108860
[pid=3326] ppid=3323 vsize=10849048 memory=908192 CPUtime=2400.06 cores=1,3,5,7
/proc/3326/stat : 3326 (java) S 3323 3326 32325 0 -1 1077944320 191257 13092 0 0 239639 359 5 3 20 0 15 0 474228094 11109425152 227048 33554432000 4194304 4196468 140723082283440 140723082265984 139830539644663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
/proc/3326/statm: 2712262 227048 3628 1 0 2674317 0
[pid=3326/tid=3379] ppid=3323 vsize=10849048 memory=906144 CPUtime=2328.14 cores=1,3,5,7
/proc/3326/task/3379/stat : 3379 (java) R 3323 3326 32325 0 -1 4202560 63296 13092 0 0 232755 51 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830511479792 139830127306291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3380] ppid=3323 vsize=10849048 memory=224417 CPUtime=11.9 cores=1,3,5,7
/proc/3326/task/3380/stat : 3380 (java) S 3323 3326 32325 0 -1 1077944384 9105 13092 0 0 1124 58 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830543886736 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3381] ppid=3323 vsize=10849048 memory=55 CPUtime=11.89 cores=1,3,5,7
/proc/3326/task/3381/stat : 3381 (java) S 3323 3326 32325 0 -1 1077944384 9475 13092 0 0 1122 59 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830448089360 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3382] ppid=3323 vsize=10849048 memory=0 CPUtime=11.9 cores=1,3,5,7
/proc/3326/task/3382/stat : 3382 (java) S 3323 3326 32325 0 -1 1077944384 11591 13092 0 0 1125 57 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830447037072 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3383] ppid=3323 vsize=10849048 memory=897952 CPUtime=11.88 cores=1,3,5,7
/proc/3326/task/3383/stat : 3383 (java) S 3323 3326 32325 0 -1 1077944384 11965 13092 0 0 1121 59 5 3 20 0 15 0 474228103 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830110247440 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3384] ppid=3323 vsize=10849048 memory=897952 CPUtime=11.77 cores=1,3,5,7
/proc/3326/task/3384/stat : 3384 (java) S 3323 3326 32325 0 -1 1077944384 13063 13092 0 0 1115 54 5 3 20 0 15 0 474228105 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830066289264 139830539655810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3385] ppid=3323 vsize=10849048 memory=902048 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3385/stat : 3385 (java) S 3323 3326 32325 0 -1 1077944384 21 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829975180640 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3386] ppid=3323 vsize=10849048 memory=902048 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3386/stat : 3386 (java) S 3323 3326 32325 0 -1 1077944384 11 13092 0 0 0 0 5 3 20 0 15 0 474228105 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829371201152 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3387] ppid=3323 vsize=10849048 memory=906144 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3387/stat : 3387 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829063801424 139830539663259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3388] ppid=3323 vsize=10849048 memory=3620 CPUtime=4.02 cores=1,3,5,7
/proc/3326/task/3388/stat : 3388 (java) S 3323 3326 32325 0 -1 1077944384 17857 13092 0 0 389 5 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830065236080 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3389] ppid=3323 vsize=10849048 memory=0 CPUtime=4.01 cores=1,3,5,7
/proc/3326/task/3389/stat : 3389 (java) S 3323 3326 32325 0 -1 1077944384 25236 13092 0 0 390 3 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830064183280 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3390] ppid=3323 vsize=10849048 memory=281050581412880 CPUtime=3.75 cores=1,3,5,7
/proc/3326/task/3390/stat : 3390 (java) S 3323 3326 32325 0 -1 1077944384 26085 13092 0 0 361 6 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830063130992 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3391] ppid=3323 vsize=10849048 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3326/task/3391/stat : 3391 (java) S 3323 3326 32325 0 -1 1077944384 3 13092 0 0 0 0 5 3 20 0 15 0 474228108 11109425152 227048 33554432000 4194304 4196468 140723082283440 139829030242784 139830539654869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
[pid=3326/tid=3392] ppid=3323 vsize=10849048 memory=393 CPUtime=1.42 cores=1,3,5,7
/proc/3326/task/3392/stat : 3392 (java) S 3323 3326 32325 0 -1 1077944384 1340 13092 0 0 63 71 5 3 20 0 15 0 474228109 11109425152 227048 33554432000 4194304 4196468 140723082283440 139830062078896 139830539655810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 19087360 140723082291813 140723082294453 140723082294453 140723082297295 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 908192 KiB
Child status: 143
Real time (s): 2355.14
CPU time (s): 2400.1
CPU user time (s): 2396.46
CPU system time (s): 3.63972
CPU usage (%): 101.909
Max. virtual memory (cumulated for all children) (KiB): 10852036
Max. memory (cumulated for all children) (KiB): 908192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.46
system time used= 3.63972
maximum resident set size= 912412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283451
involuntary context switches= 6670
# summary of solver processes directly reported to runsolver:
# pid: 3326
# total CPU time (s): 2400.1
# total CPU user time (s): 2396.46
# total CPU system time (s): 3.63972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8566 second user time and 20.1299 second system time
The end