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 (12255 MiB free)
memory of node 1: 16384 MiB (12863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269752-1502791446/watcher-4269752-1502791446 -o /tmp/evaluation-result-4269752-1502791446/solver-4269752-1502791446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15705 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1860620280 HOME/instance-4269752-1502791446.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16763, runsolver pid=16760
[startup+0.100127 s]*
/proc/loadavg: 1.91 2.00 2.08 4/217 16779
/proc/meminfo: memFree=25706104/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13978596 memory=27820 CPUtime=0.12 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 5329 0 0 0 11 1 0 0 20 0 15 0 112216230 14314082304 6955 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3494649 6955 2862 1 0 3482966 0
[pid=16765/tid=16766] ppid=16763 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) R 16763 16763 15674 0 -1 4202560 3326 0 0 0 8 1 0 0 20 0 15 0 112216231 14314082304 6955 33554432000 4194304 4196468 140730950516032 140085173368624 140085169147286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14314082304 6955 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13978596 memory=140585446606464 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14314082304 6955 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112216232 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13978596 memory=140585446606464 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112216233 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112216233 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112216233 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) S 16763 16763 15674 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 112216236 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084639230192 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) S 16763 16763 15674 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 112216236 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084638177648 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13978596 memory=140585446606464 CPUtime=0.01 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) R 16763 16763 15674 0 -1 4202560 305 0 0 0 1 0 0 0 20 0 15 0 112216236 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084637124592 140085147504020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13978596 memory=140585446606464 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216236 14314082304 6955 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29204 KiB
[startup+0.210864 s]*
/proc/loadavg: 1.91 2.00 2.08 3/217 16779
/proc/meminfo: memFree=25694560/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13982852 memory=39900 CPUtime=0.33 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 8095 0 0 0 31 2 0 0 20 0 15 0 112216230 14318440448 9975 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3495713 9975 3029 1 0 3482966 0
[pid=16765/tid=16766] ppid=16763 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) D 16763 16763 15674 0 -1 1077944384 5335 0 0 0 18 1 0 0 20 0 15 0 112216231 14318440448 9975 33554432000 4194304 4196468 140730950516032 140085173344960 140085161814573 0 4 0 16800975 18446744072101613092 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13982852 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14318440448 9975 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13982852 memory=140585446622422 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14318440448 9975 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112216232 14318473216 9975 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13982884 memory=140585446606464 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112216233 14318473216 9975 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112216233 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112216233 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) S 16763 16763 15674 0 -1 1077944384 452 0 0 0 3 0 0 0 20 0 15 0 112216236 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084639230192 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) S 16763 16763 15674 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 112216236 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084638177648 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13982852 memory=140585446606464 CPUtime=0.07 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) S 16763 16763 15674 0 -1 1077944384 709 0 0 0 7 0 0 0 20 0 15 0 112216236 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084637124592 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14318440448 9975 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216236 14318473216 9975 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41284 KiB
[startup+0.312541 s]*
/proc/loadavg: 1.91 2.00 2.08 4/217 16779
/proc/meminfo: memFree=25687784/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13982852 memory=47248 CPUtime=0.51 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 8986 0 0 0 48 3 0 0 20 0 15 0 112216230 14318440448 11812 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3495713 11812 3077 1 0 3482966 0
[pid=16765/tid=16766] ppid=16763 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) S 16763 16763 15674 0 -1 1077944384 5925 0 0 0 28 2 0 0 20 0 15 0 112216231 14318440448 11812 33554432000 4194304 4196468 140730950516032 140085173373248 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14318440448 11812 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14318440448 11812 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112216232 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112216233 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112216233 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112216233 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) R 16763 16763 15674 0 -1 4202560 458 0 0 0 4 0 0 0 20 0 15 0 112216236 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084639230288 140085154746048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) R 16763 16763 15674 0 -1 1077944384 440 0 0 0 3 0 0 0 20 0 15 0 112216236 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084638177648 140085169146498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) R 16763 16763 15674 0 -1 4202560 860 0 0 0 12 0 0 0 20 0 15 0 112216236 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084637121768 140085147674405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216236 14318440448 11812 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48632 KiB
[startup+0.700786 s]
/proc/loadavg: 1.91 2.00 2.08 5/217 16779
/proc/meminfo: memFree=25660084/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13984976 memory=99732 CPUtime=1.72 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 12472 0 0 0 167 5 0 0 20 0 15 0 112216230 14320615424 24933 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3496244 24933 3195 1 0 3483478 0
[pid=16765/tid=16766] ppid=16763 vsize=13984976 memory=31660 CPUtime=0.66 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) R 16763 16763 15674 0 -1 4202560 6509 0 0 0 63 3 0 0 20 0 15 0 112216231 14320615424 24933 33554432000 4194304 4196468 140730950516032 140085173355008 140084808169741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14320615424 24933 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14320615424 24933 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216232 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112216232 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13984976 memory=5300 CPUtime=0.39 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) R 16763 16763 15674 0 -1 4202560 1538 0 0 0 39 0 0 0 20 0 15 0 112216236 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084639230192 140085152348230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13984976 memory=4616 CPUtime=0.32 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) R 16763 16763 15674 0 -1 4202560 1399 0 0 0 32 0 0 0 20 0 15 0 112216236 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084638168240 140085162241013 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13984976 memory=1928 CPUtime=0.31 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) S 16763 16763 15674 0 -1 1077944384 1718 0 0 0 31 0 0 0 20 0 15 0 112216236 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084637124592 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 24933 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 101116 KiB
[startup+1.50086 s]
/proc/loadavg: 1.91 2.00 2.08 4/217 16779
/proc/meminfo: memFree=25594856/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13984976 memory=724056 CPUtime=9.31 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 24834 0 0 0 867 64 0 0 20 0 15 0 112216230 14320615424 181014 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3496244 181014 3261 1 0 3483478 0
[pid=16765/tid=16766] ppid=16763 vsize=13984976 memory=6791534058613427641 CPUtime=3.88 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) R 16763 16763 15674 0 -1 4202560 7572 0 0 0 383 5 0 0 20 0 15 0 112216231 14320615424 181014 33554432000 4194304 4196468 140730950516032 140085173371568 140084808414933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13984976 memory=32500 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1744 0 0 0 68 14 0 0 20 0 15 0 112216232 14320615424 181014 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13984976 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1044 0 0 0 68 13 0 0 20 0 15 0 112216232 14320615424 181014 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13984976 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1546 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13984976 memory=6941573596379046505 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 1249 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13984976 memory=6941573596379046505 CPUtime=0.03 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 1516 0 0 0 3 0 0 0 20 0 15 0 112216233 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13984976 memory=3976733718748687464 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13984976 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) S 16763 16763 15674 0 -1 1077944384 2110 0 0 0 77 0 0 0 20 0 15 0 112216236 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084639230192 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13984976 memory=70 CPUtime=0.78 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) S 16763 16763 15674 0 -1 1077944384 2094 0 0 0 78 0 0 0 20 0 15 0 112216236 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084638177648 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13984976 memory=60 CPUtime=0.48 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) S 16763 16763 15674 0 -1 1077944384 4593 0 0 0 48 0 0 0 20 0 15 0 112216236 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084637124592 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13984976 memory=46 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181014 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 725440 KiB
[startup+5.20076 s]
/proc/loadavg: 2.00 2.02 2.08 3/217 16779
/proc/meminfo: memFree=25009132/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13984976 memory=724060 CPUtime=9.72 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 24895 0 0 0 908 64 0 0 20 0 15 0 112216230 14320615424 181015 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3496244 181015 3261 1 0 3483478 0
[pid=16765/tid=16766] ppid=16763 vsize=13984976 memory=288230621803970871 CPUtime=4.28 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) R 16763 16763 15674 0 -1 4202560 7573 0 0 0 423 5 0 0 20 0 15 0 112216231 14320615424 181015 33554432000 4194304 4196468 140730950516032 140085173371568 140084808414896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13984976 memory=14699582244260269 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1744 0 0 0 68 14 0 0 20 0 15 0 112216232 14320615424 181015 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13984976 memory=1428 CPUtime=0.81 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1044 0 0 0 68 13 0 0 20 0 15 0 112216232 14320615424 181015 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13984976 memory=1196 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1546 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13984976 memory=2241 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 1249 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13984976 memory=2244 CPUtime=0.03 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 1516 0 0 0 3 0 0 0 20 0 15 0 112216233 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13984976 memory=-7812193691859142048 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13984976 memory=-7737621075815351712 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13984976 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) S 16763 16763 15674 0 -1 1077944384 2110 0 0 0 77 0 0 0 20 0 15 0 112216236 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084639230192 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13984976 memory=3684120402823164085 CPUtime=0.78 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) S 16763 16763 15674 0 -1 1077944384 2094 0 0 0 78 0 0 0 20 0 15 0 112216236 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084638177648 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13984976 memory=-8171376296011865461 CPUtime=0.48 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) S 16763 16763 15674 0 -1 1077944384 4593 0 0 0 48 0 0 0 20 0 15 0 112216236 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084637124592 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13984976 memory=6944652027076318631 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13984976 memory=908 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181015 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 9.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 725444 KiB
[startup+5.6008 s]
/proc/loadavg: 2.00 2.02 2.08 3/217 16779
/proc/meminfo: memFree=25009132/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13984976 memory=725008 CPUtime=10.56 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 26278 0 0 0 992 64 0 0 20 0 15 0 112216230 14320615424 181252 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3496244 181252 3272 1 0 3483478 0
[pid=16765/tid=16766] ppid=16763 vsize=13984976 memory=0 CPUtime=4.69 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) R 16763 16763 15674 0 -1 4202560 7813 0 0 0 463 6 0 0 20 0 15 0 112216231 14320615424 181252 33554432000 4194304 4196468 140730950516032 140085173374208 140085169147286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13984976 memory=1384 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1744 0 0 0 68 14 0 0 20 0 15 0 112216232 14320615424 181252 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13984976 memory=723984 CPUtime=0.81 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1044 0 0 0 68 13 0 0 20 0 15 0 112216232 14320615424 181252 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13984976 memory=2400 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1546 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13984976 memory=1728 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 1249 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13984976 memory=12032 CPUtime=0.03 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 1516 0 0 0 3 0 0 0 20 0 15 0 112216233 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13984976 memory=1228 CPUtime=0.96 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) R 16763 16763 15674 0 -1 4202560 2662 0 0 0 96 0 0 0 20 0 15 0 112216236 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084639230192 140085162120393 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13984976 memory=5300 CPUtime=0.98 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) R 16763 16763 15674 0 -1 4202560 2520 0 0 0 98 0 0 0 20 0 15 0 112216236 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084638163872 140085155163191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13984976 memory=4616 CPUtime=0.54 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) S 16763 16763 15674 0 -1 1077944384 4758 0 0 0 54 0 0 0 20 0 15 0 112216236 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084637124592 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181252 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 10.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 726392 KiB
[startup+5.70157 s]
/proc/loadavg: 2.00 2.02 2.08 3/217 16779
/proc/meminfo: memFree=25009132/32770624 swapFree=67108860/67108860
[pid=16763] ppid=16760 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/16763/stat : 16763 (xcsp3-exec) S 16760 16763 15674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 112216230 9740288 346 33554432000 4194304 5098028 140723136786976 140723136785080 140149709181564 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 38699008 140723136791662 140723136791867 140723136791867 140723136794603 0
/proc/16763/statm: 2378 346 289 221 0 87 0
[pid=16765] ppid=16763 vsize=13984976 memory=725108 CPUtime=10.81 cores=0,2,4,6
/proc/16765/stat : 16765 (java) S 16763 16763 15674 0 -1 1077944320 26346 0 0 0 1016 65 0 0 20 0 15 0 112216230 14320615424 181277 33554432000 4194304 4196468 140730950516032 140730950498576 140085169135351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
/proc/16765/statm: 3496244 181277 3272 1 0 3483478 0
[pid=16765/tid=16766] ppid=16763 vsize=13984976 memory=1384 CPUtime=4.79 cores=0,2,4,6
/proc/16765/task/16766/stat : 16766 (java) R 16763 16763 15674 0 -1 4202560 7820 0 0 0 473 6 0 0 20 0 15 0 112216231 14320615424 181277 33554432000 4194304 4196468 140730950516032 140085173372384 140085153450588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16767] ppid=16763 vsize=13984976 memory=724060 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16767/stat : 16767 (java) S 16763 16763 15674 0 -1 1077944384 1744 0 0 0 68 14 0 0 20 0 15 0 112216232 14320615424 181277 33554432000 4194304 4196468 140730950516032 140085125687824 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16768] ppid=16763 vsize=13984976 memory=0 CPUtime=0.81 cores=0,2,4,6
/proc/16765/task/16768/stat : 16768 (java) S 16763 16763 15674 0 -1 1077944384 1044 0 0 0 68 13 0 0 20 0 15 0 112216232 14320615424 181277 33554432000 4194304 4196468 140730950516032 140085124635280 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16769] ppid=16763 vsize=13984976 memory=-6948614817169703622 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16769/stat : 16769 (java) S 16763 16763 15674 0 -1 1077944384 1546 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084762831120 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16770] ppid=16763 vsize=13984976 memory=-3252517613199061085 CPUtime=0.82 cores=0,2,4,6
/proc/16765/task/16770/stat : 16770 (java) S 16763 16763 15674 0 -1 1077944384 1249 0 0 0 69 13 0 0 20 0 15 0 112216232 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084761778576 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16771] ppid=16763 vsize=13984976 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/16765/task/16771/stat : 16771 (java) S 16763 16763 15674 0 -1 1077944384 1516 0 0 0 3 0 0 0 20 0 15 0 112216233 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084643441392 140085169146498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16772] ppid=16763 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16772/stat : 16772 (java) S 16763 16763 15674 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084642387616 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16773] ppid=16763 vsize=13984976 memory=140585285483488 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16773/stat : 16773 (java) S 16763 16763 15674 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 112216233 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084641334512 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16774] ppid=16763 vsize=13984976 memory=369528 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16774/stat : 16774 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084640283088 140085169153947 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16775] ppid=16763 vsize=13984976 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/16765/task/16775/stat : 16775 (java) R 16763 16763 15674 0 -1 4202560 2684 0 0 0 102 0 0 0 20 0 15 0 112216236 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084639220176 140085161424640 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16776] ppid=16763 vsize=13984976 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/16765/task/16776/stat : 16776 (java) R 16763 16763 15674 0 -1 4202560 2532 0 0 0 104 0 0 0 20 0 15 0 112216236 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084638159216 140085149769472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16777] ppid=16763 vsize=13984976 memory=7523376918531162212 CPUtime=0.55 cores=0,2,4,6
/proc/16765/task/16777/stat : 16777 (java) S 16763 16763 15674 0 -1 1077944384 4785 0 0 0 55 0 0 0 20 0 15 0 112216236 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084637124592 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16778] ppid=16763 vsize=13984976 memory=7523107478184158290 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16778/stat : 16778 (java) S 16763 16763 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084636072288 140085169145557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
[pid=16765/tid=16779] ppid=16763 vsize=13984976 memory=8099833259852652885 CPUtime=0 cores=0,2,4,6
/proc/16765/task/16779/stat : 16779 (java) S 16763 16763 15674 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 112216236 14320615424 181277 33554432000 4194304 4196468 140730950516032 140084635020336 140085169146498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34279424 140730950517911 140730950518087 140730950518087 140730950520783 0
Current children cumulated CPU time: 10.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 726492 KiB
Child status: 0
Real time (s): 5.74315
CPU time (s): 10.8938
CPU user time (s): 10.2337
CPU system time (s): 0.660101
CPU usage (%): 189.683
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 726492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2337
system time used= 0.660101
maximum resident set size= 726256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2596
involuntary context switches= 302
# summary of solver processes directly reported to runsolver:
# pid: 16763
# total CPU time (s): 10.8938
# total CPU user time (s): 10.2337
# total CPU system time (s): 0.660101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051471 second user time and 0.10773 second system time
The end