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 (10620 MiB free)
memory of node 1: 16384 MiB (10032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282913-1503213586/watcher-4282913-1503213586 -o /tmp/evaluation-result-4282913-1503213586/solver-4282913-1503213586 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503210552-7327 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 795342264 HOME/instance-4282913-1503213586.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=9095, runsolver pid=9092
[startup+0.100127 s]*
/proc/loadavg: 1.21 1.66 1.82 4/218 9111
/proc/meminfo: memFree=21131548/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13978596 memory=28364 CPUtime=0.12 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 5440 0 0 0 12 0 0 0 20 0 15 0 154439326 14314082304 7091 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3494649 7091 2871 1 0 3482966 0
[pid=9097/tid=9098] ppid=9095 vsize=13978596 memory=8261472670413198171 CPUtime=0.09 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 3461 0 0 0 9 0 0 0 20 0 15 0 154439327 14314082304 7156 33554432000 4194304 4196468 140734675257280 139993603860272 139993599638934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154439328 14314082304 7156 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13978596 memory=140672557495936 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14314082304 7156 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14314082304 7156 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14314082304 7156 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13978596 memory=140672557495936 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154439329 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154439329 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154439330 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) S 9095 9095 7296 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 154439332 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992708913904 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439332 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992707861360 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13978596 memory=140672557495936 CPUtime=0.01 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) R 9095 9095 7296 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 154439332 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992706808304 139993578762659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13978596 memory=140672557495936 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439332 14314082304 7156 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29748 KiB
[startup+0.210688 s]*
/proc/loadavg: 1.21 1.66 1.82 3/218 9111
/proc/meminfo: memFree=21120544/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13982852 memory=40680 CPUtime=0.33 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 8193 0 0 0 32 1 0 0 20 0 15 0 154439326 14318440448 10170 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3495721 10170 3086 1 0 3482974 0
[pid=9097/tid=9098] ppid=9095 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 5349 0 0 0 19 1 0 0 20 0 15 0 154439327 14318473216 10170 33554432000 4194304 4196468 140734675257280 139993603837792 139993592306717 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13982852 memory=8911 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154439328 14318440448 10170 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13982852 memory=140672558539134 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14318440448 10170 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14318440448 10170 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14318440448 10170 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13982852 memory=140672557495936 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154439329 14318440448 10170 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154439329 14318473216 10170 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154439330 14318473216 10170 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14318440448 10170 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) S 9095 9095 7296 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 154439332 14318440448 10170 33554432000 4194304 4196468 140734675257280 139992708913904 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) S 9095 9095 7296 0 -1 1077944384 347 0 0 0 3 0 0 0 20 0 15 0 154439332 14318440448 10170 33554432000 4194304 4196468 140734675257280 139992707861360 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13982852 memory=140672557495936 CPUtime=0.08 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) S 9095 9095 7296 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 15 0 154439332 14318440448 10170 33554432000 4194304 4196468 140734675257280 139992706808304 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14318440448 10170 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439332 14318440448 10170 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42064 KiB
[startup+0.316076 s]*
/proc/loadavg: 1.21 1.66 1.82 3/218 9111
/proc/meminfo: memFree=21113720/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13982928 memory=47772 CPUtime=0.51 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 9085 0 0 0 49 2 0 0 20 0 15 0 154439326 14318518272 11943 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3495732 11943 3119 1 0 3482966 0
[pid=9097/tid=9098] ppid=9095 vsize=13982928 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 6070 0 0 0 28 1 0 0 20 0 15 0 154439327 14318518272 11943 33554432000 4194304 4196468 140734675257280 139993603865504 139993583707486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154439328 14318518272 11943 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14318518272 11943 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13982928 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14318518272 11943 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13982928 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14318518272 11943 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13982928 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154439329 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13982928 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154439329 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13982928 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154439330 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13982928 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13982928 memory=7100839887185294217 CPUtime=0.03 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) S 9095 9095 7296 0 -1 1077944384 493 0 0 0 3 0 0 0 20 0 15 0 154439332 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992708913904 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) S 9095 9095 7296 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 15 0 154439332 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992707861360 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13982928 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) S 9095 9095 7296 0 -1 1077944384 850 0 0 0 13 0 0 0 20 0 15 0 154439332 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992706808304 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439332 14318518272 11943 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49156 KiB
[startup+0.700778 s]
/proc/loadavg: 1.21 1.66 1.82 6/218 9111
/proc/meminfo: memFree=21100000/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13984976 memory=71612 CPUtime=1.61 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 13107 0 0 0 158 3 0 0 20 0 15 0 154439326 14320615424 17903 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3496244 17903 3204 1 0 3483478 0
[pid=9097/tid=9098] ppid=9095 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 6623 0 0 0 65 2 0 0 20 0 15 0 154439327 14320615424 17903 33554432000 4194304 4196468 140734675257280 139993603865472 139993599638934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 17903 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 17903 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13984976 memory=43124 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 17903 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 17903 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154439330 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13984976 memory=5792 CPUtime=0.29 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) R 9095 9095 7296 0 -1 4202560 1784 0 0 0 29 0 0 0 20 0 15 0 154439332 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992708904328 139993584018980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13984976 memory=796 CPUtime=0.29 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) R 9095 9095 7296 0 -1 4202560 1749 0 0 0 29 0 0 0 20 0 15 0 154439332 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992707849592 139993591916381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13984976 memory=1436 CPUtime=0.33 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) S 9095 9095 7296 0 -1 1077944384 1657 0 0 0 33 0 0 0 20 0 15 0 154439332 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992706808304 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13984976 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 17903 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 72996 KiB
[startup+1.50077 s]
/proc/loadavg: 1.51 1.71 1.84 5/218 9111
/proc/meminfo: memFree=21085364/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13984976 memory=191628 CPUtime=14.88 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 22717 0 0 0 1481 7 0 0 20 0 15 0 154439326 14320615424 47907 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3496244 47907 3246 1 0 3483478 0
[pid=9097/tid=9098] ppid=9095 vsize=13984976 memory=8112282956445269571 CPUtime=12.75 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 7819 0 0 0 1271 4 0 0 20 0 15 0 154439327 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993603863976 139993204951719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13984976 memory=191620 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13984976 memory=132 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13984976 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 494 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439330 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13984976 memory=4144 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) S 9095 9095 7296 0 -1 1077944384 3811 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992708913904 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13984976 memory=43124 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) S 9095 9095 7296 0 -1 1077944384 5062 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992707861360 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13984976 memory=1296 CPUtime=0.39 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) S 9095 9095 7296 0 -1 1077944384 2773 0 0 0 39 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992706808304 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 14.88 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193012 KiB
[startup+13.6007 s]
/proc/loadavg: 1.44 1.69 1.83 5/218 9263
/proc/meminfo: memFree=21076428/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13984976 memory=191628 CPUtime=15.69 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 22779 0 0 0 1562 7 0 0 20 0 15 0 154439326 14320615424 47907 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3496244 47907 3246 1 0 3483478 0
[pid=9097/tid=9098] ppid=9095 vsize=13984976 memory=8112282956445269571 CPUtime=13.55 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 7834 0 0 0 1351 4 0 0 20 0 15 0 154439327 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993603866864 139993204730327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13984976 memory=43124 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 521 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13984976 memory=191628 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13984976 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439330 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13984976 memory=7598824234097836114 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) S 9095 9095 7296 0 -1 1077944384 3811 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992708913904 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13984976 memory=2866 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) S 9095 9095 7296 0 -1 1077944384 5062 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992707861360 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13984976 memory=8546823402028195750 CPUtime=0.39 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) S 9095 9095 7296 0 -1 1077944384 2773 0 0 0 39 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992706808304 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13984976 memory=-7035114785800479027 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 15.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193012 KiB
[startup+14.4008 s]
/proc/loadavg: 1.44 1.69 1.83 4/218 9263
/proc/meminfo: memFree=21014168/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13984976 memory=191628 CPUtime=16.49 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 22981 0 0 0 1642 7 0 0 20 0 15 0 154439326 14320615424 47907 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3496244 47907 3246 1 0 3483478 0
[pid=9097/tid=9098] ppid=9095 vsize=13984976 memory=43124 CPUtime=14.35 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 7876 0 0 0 1431 4 0 0 20 0 15 0 154439327 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993603866864 139993204974287 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13984976 memory=43124 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 521 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13984976 memory=8243114992657236051 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439330 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13984976 memory=288287787869012830 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13984976 memory=-7094132109863559211 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) S 9095 9095 7296 0 -1 1077944384 3811 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992708913904 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13984976 memory=-7880843606118635149 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) S 9095 9095 7296 0 -1 1077944384 5121 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992707861360 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13984976 memory=-1624781813439352349 CPUtime=0.39 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) S 9095 9095 7296 0 -1 1077944384 2874 0 0 0 39 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992706808304 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13984976 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 16.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193012 KiB
[startup+14.6008 s]
/proc/loadavg: 1.44 1.69 1.83 4/218 9263
/proc/meminfo: memFree=21014168/32770624 swapFree=67108860/67108860
[pid=9095] ppid=9092 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9095/stat : 9095 (xcsp3-exec) S 9092 9095 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154439326 9740288 346 33554432000 4194304 5098028 140724992354704 140724992352808 140590036898428 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25346048 140724992357493 140724992357696 140724992357696 140724992360427 0
/proc/9095/statm: 2378 346 289 221 0 87 0
[pid=9097] ppid=9095 vsize=13984976 memory=191628 CPUtime=16.69 cores=0,2,4,6
/proc/9097/stat : 9097 (java) S 9095 9095 7296 0 -1 1077944320 22985 0 0 0 1662 7 0 0 20 0 15 0 154439326 14320615424 47907 33554432000 4194304 4196468 140734675257280 140734675239824 139993599626999 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
/proc/9097/statm: 3496244 47907 3246 1 0 3483478 0
[pid=9097/tid=9098] ppid=9095 vsize=13984976 memory=281344920283456 CPUtime=14.55 cores=0,2,4,6
/proc/9097/task/9098/stat : 9098 (java) R 9095 9095 7296 0 -1 4202560 7880 0 0 0 1451 4 0 0 20 0 15 0 154439327 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993603863800 139993204849366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9099] ppid=9095 vsize=13984976 memory=281344920133768 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9099/stat : 9099 (java) S 9095 9095 7296 0 -1 1077944384 365 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993529715728 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9100] ppid=9095 vsize=13984976 memory=7740392974556031592 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9100/stat : 9100 (java) S 9095 9095 7296 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993528663184 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9101] ppid=9095 vsize=13984976 memory=7523376918531162212 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9101/stat : 9101 (java) S 9095 9095 7296 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993527610128 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9102] ppid=9095 vsize=13984976 memory=7162531440177276259 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9102/stat : 9102 (java) S 9095 9095 7296 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 154439328 14320615424 47907 33554432000 4194304 4196468 140734675257280 139993526557584 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9103] ppid=9095 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9103/stat : 9103 (java) S 9095 9095 7296 0 -1 1077944384 521 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992713124080 139993599638146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9104] ppid=9095 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9104/stat : 9104 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439329 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992712070304 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9105] ppid=9095 vsize=13984976 memory=191628 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9105/stat : 9105 (java) S 9095 9095 7296 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154439330 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992711017200 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9106] ppid=9095 vsize=13984976 memory=-7812193691855986592 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9106/stat : 9106 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992709965776 139993599645595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9107] ppid=9095 vsize=13984976 memory=-7684191407570971757 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9107/stat : 9107 (java) S 9095 9095 7296 0 -1 1077944384 3811 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992708913904 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9108] ppid=9095 vsize=13984976 memory=7896318971486248851 CPUtime=0.83 cores=0,2,4,6
/proc/9097/task/9108/stat : 9108 (java) S 9095 9095 7296 0 -1 1077944384 5121 0 0 0 83 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992707861360 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9109] ppid=9095 vsize=13984976 memory=8546823402028195750 CPUtime=0.39 cores=0,2,4,6
/proc/9097/task/9109/stat : 9109 (java) S 9095 9095 7296 0 -1 1077944384 2874 0 0 0 39 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992706808304 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9110] ppid=9095 vsize=13984976 memory=6944613755294413216 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9110/stat : 9110 (java) S 9095 9095 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992705756000 139993599637205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
[pid=9097/tid=9111] ppid=9095 vsize=13984976 memory=6933690279252828305 CPUtime=0 cores=0,2,4,6
/proc/9097/task/9111/stat : 9111 (java) S 9095 9095 7296 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 154439332 14320615424 47907 33554432000 4194304 4196468 140734675257280 139992704703024 139993599638146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36954112 140734675264669 140734675264844 140734675264844 140734675267535 0
Current children cumulated CPU time: 16.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 193012 KiB
Child status: 0
Real time (s): 14.68
CPU time (s): 16.7859
CPU user time (s): 16.7097
CPU system time (s): 0.076194
CPU usage (%): 114.345
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 193012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7097
system time used= 0.076194
maximum resident set size= 191936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24056
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= 2291
involuntary context switches= 153
# summary of solver processes directly reported to runsolver:
# pid: 9095
# total CPU time (s): 16.7859
# total CPU user time (s): 16.7097
# total CPU system time (s): 0.076194
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115185 second user time and 0.171905 second system time
The end