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 (3297 MiB free)
memory of node 1: 16384 MiB (2752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403723-1568987983/watcher-4403723-1568987983 -o /var/tmp/evaluation-result-4403723-1568987983/solver-4403723-1568987983 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 576784803 HOME/instance-4403723-1568987983.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25168, runsolver pid=25164
[startup+0.100116 s]*
/proc/loadavg: 0.78 0.85 1.06 6/229 25203
/proc/meminfo: memFree=6163288/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
[pid=25174] ppid=25168 vsize=15144776 memory=28860 CPUtime=0.13 cores=1,3,5,7
/proc/25174/stat : 25174 (java) S 25168 25168 25111 0 -1 1077944320 5680 0 0 0 12 1 0 0 20 0 15 0 475046928 15508250624 7215 33554432000 4194304 4196468 140734998707008 140734998689552 140445347462903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
/proc/25174/statm: 3786194 7215 3158 1 0 3748377 0
[pid=25174/tid=25176] ppid=25168 vsize=15144776 memory=4351193298085119631 CPUtime=0.09 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (java) R 25168 25168 25111 0 -1 1077944384 3551 0 0 0 8 1 0 0 20 0 15 0 475046928 15508250624 7215 33554432000 4194304 4196468 140734998707008 140445351691800 140445331506533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25178] ppid=25168 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25178/stat : 25178 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7215 33554432000 4194304 4196468 140734998707008 140445300083088 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25181] ppid=25168 vsize=15144776 memory=139810408957568 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25181/stat : 25181 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7215 33554432000 4194304 4196468 140734998707008 140445299030288 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25183] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25183/stat : 25183 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7215 33554432000 4194304 4196468 140734998707008 140445297978000 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25185] ppid=25168 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25185/stat : 25185 (java) S 25168 25168 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444936624656 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25186] ppid=25168 vsize=15144776 memory=139810408957568 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25186/stat : 25186 (java) S 25168 25168 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046930 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444816067184 140445347474050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25188] ppid=25168 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25188/stat : 25188 (java) S 25168 25168 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444815013152 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25190] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25190/stat : 25190 (java) S 25168 25168 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444813960816 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25192] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25192/stat : 25192 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444812909136 140445347481499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25193] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25193/stat : 25193 (java) S 25168 25168 25111 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444811855984 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25194] ppid=25168 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25194/stat : 25194 (java) S 25168 25168 25111 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444810803184 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25195] ppid=25168 vsize=15144776 memory=139810408957568 CPUtime=0.02 cores=1,3,5,7
/proc/25174/task/25195/stat : 25195 (java) R 25168 25168 25111 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 475046933 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444809746656 140445347474838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25200] ppid=25168 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25200/stat : 25200 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444808698336 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25202] ppid=25168 vsize=15144776 memory=139810408957568 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25202/stat : 25202 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046934 15508250624 7215 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30316 KiB
[startup+0.212536 s]*
/proc/loadavg: 0.78 0.85 1.06 5/229 25203
/proc/meminfo: memFree=6137060/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
[pid=25174] ppid=25168 vsize=15144776 memory=41052 CPUtime=0.35 cores=1,3,5,7
/proc/25174/stat : 25174 (java) S 25168 25168 25111 0 -1 1077944320 9501 0 0 0 32 3 0 0 20 0 15 0 475046928 15508250624 10263 33554432000 4194304 4196468 140734998707008 140734998689552 140445347462903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
/proc/25174/statm: 3786194 10263 3296 1 0 3748377 0
[pid=25174/tid=25176] ppid=25168 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (java) R 25168 25168 25111 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 475046928 15508250624 10263 33554432000 4194304 4196468 140734998707008 140445351697888 140444977743409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25178] ppid=25168 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25178/stat : 25178 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10263 33554432000 4194304 4196468 140734998707008 140445300083088 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25181] ppid=25168 vsize=15144776 memory=139810412481592 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25181/stat : 25181 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10263 33554432000 4194304 4196468 140734998707008 140445299030288 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25183] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25183/stat : 25183 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10263 33554432000 4194304 4196468 140734998707008 140445297978000 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25185] ppid=25168 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25185/stat : 25185 (java) S 25168 25168 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046929 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444936624656 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25186] ppid=25168 vsize=15144776 memory=139810408957568 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25186/stat : 25186 (java) S 25168 25168 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475046930 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444816067184 140445347474050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25188] ppid=25168 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25188/stat : 25188 (java) S 25168 25168 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444815013152 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25190] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25190/stat : 25190 (java) S 25168 25168 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475046931 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444813960816 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25192] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25192/stat : 25192 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444812909136 140445347481499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25193] ppid=25168 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25174/task/25193/stat : 25193 (java) S 25168 25168 25111 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 475046933 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444811855984 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25194] ppid=25168 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25174/task/25194/stat : 25194 (java) S 25168 25168 25111 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 475046933 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444810803184 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25195] ppid=25168 vsize=15144776 memory=139810408957568 CPUtime=0.08 cores=1,3,5,7
/proc/25174/task/25195/stat : 25195 (java) R 25168 25168 25111 0 -1 4202560 796 0 0 0 8 0 0 0 20 0 15 0 475046933 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444809750896 140445326586321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25200] ppid=25168 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25200/stat : 25200 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444808698336 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25202] ppid=25168 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25202/stat : 25202 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046934 15508250624 10263 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42508 KiB
[startup+0.310313 s]*
/proc/loadavg: 0.78 0.85 1.06 6/229 25203
/proc/meminfo: memFree=6123800/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
[pid=25174] ppid=25168 vsize=15149032 memory=50104 CPUtime=0.52 cores=1,3,5,7
/proc/25174/stat : 25174 (java) S 25168 25168 25111 0 -1 1077944320 10850 0 1 0 48 4 0 0 20 0 15 0 475046928 15512608768 12526 33554432000 4194304 4196468 140734998707008 140734998689552 140445347462903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
/proc/25174/statm: 3787258 12526 3352 1 0 3748377 0
[pid=25174/tid=25176] ppid=25168 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (java) R 25168 25168 25111 0 -1 4202560 7710 0 1 0 27 3 0 0 20 0 15 0 475046928 15512608768 12526 33554432000 4194304 4196468 140734998707008 140445351694016 140445331543390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25178] ppid=25168 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25178/stat : 25178 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12526 33554432000 4194304 4196468 140734998707008 140445300083088 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25181] ppid=25168 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25181/stat : 25181 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12526 33554432000 4194304 4196468 140734998707008 140445299030288 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25183] ppid=25168 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25183/stat : 25183 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12526 33554432000 4194304 4196468 140734998707008 140445297978000 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25185] ppid=25168 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25185/stat : 25185 (java) S 25168 25168 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475046929 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444936624656 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25186] ppid=25168 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25186/stat : 25186 (java) S 25168 25168 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475046930 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444816067184 140445347474050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25188] ppid=25168 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25188/stat : 25188 (java) S 25168 25168 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475046931 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444815013152 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25190] ppid=25168 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25190/stat : 25190 (java) S 25168 25168 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475046931 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444813960816 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25192] ppid=25168 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25192/stat : 25192 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444812909136 140445347481499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25193] ppid=25168 vsize=15149032 memory=-8813974798734826869 CPUtime=0.03 cores=1,3,5,7
/proc/25174/task/25193/stat : 25193 (java) S 25168 25168 25111 0 -1 1077944384 395 0 0 0 3 0 0 0 20 0 15 0 475046933 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444811855984 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25194] ppid=25168 vsize=15149032 memory=7031125463459224206 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25194/stat : 25194 (java) R 25168 25168 25111 0 -1 4202560 535 0 0 0 5 0 0 0 20 0 15 0 475046933 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444810793568 140445332588763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25195] ppid=25168 vsize=15149032 memory=4426078206164241782 CPUtime=0.12 cores=1,3,5,7
/proc/25174/task/25195/stat : 25195 (java) S 25168 25168 25111 0 -1 1077944384 906 0 0 0 12 0 0 0 20 0 15 0 475046933 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444809750896 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25200] ppid=25168 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25200/stat : 25200 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475046933 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444808698336 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25202] ppid=25168 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25202/stat : 25202 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475046934 15512608768 12526 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51560 KiB
[startup+0.701418 s]
/proc/loadavg: 0.78 0.85 1.06 9/229 25203
/proc/meminfo: memFree=6096108/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
[pid=25174] ppid=25168 vsize=15419460 memory=89800 CPUtime=1.51 cores=1,3,5,7
/proc/25174/stat : 25174 (java) S 25168 25168 25111 0 -1 1077944320 15207 0 1 0 145 6 0 0 20 0 19 0 475046928 15789527040 22450 33554432000 4194304 4196468 140734998707008 140734998689552 140445347462903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
/proc/25174/statm: 3854865 22450 3452 1 0 3815965 0
[pid=25174/tid=25176] ppid=25168 vsize=15419460 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (java) S 25168 25168 25111 0 -1 1077944384 9437 0 1 0 63 3 0 0 20 0 19 0 475046928 15789527040 22450 33554432000 4194304 4196468 140734998707008 140445351703680 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25178] ppid=25168 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25178/stat : 25178 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475046929 15789527040 22450 33554432000 4194304 4196468 140734998707008 140445300083088 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25181] ppid=25168 vsize=15419460 memory=55232 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25181/stat : 25181 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475046929 15789527040 22450 33554432000 4194304 4196468 140734998707008 140445299030288 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25183] ppid=25168 vsize=15419460 memory=988 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25183/stat : 25183 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475046929 15789527040 22450 33554432000 4194304 4196468 140734998707008 140445297978000 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25185] ppid=25168 vsize=15419460 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25185/stat : 25185 (java) S 25168 25168 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475046929 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444936624656 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25186] ppid=25168 vsize=15419460 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25186/stat : 25186 (java) S 25168 25168 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475046930 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444816067184 140445347474050 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25188] ppid=25168 vsize=15419460 memory=776 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25188/stat : 25188 (java) S 25168 25168 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444815013152 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25190] ppid=25168 vsize=15419460 memory=3540 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25190/stat : 25190 (java) S 25168 25168 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475046931 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444813960816 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25192] ppid=25168 vsize=15419460 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25192/stat : 25192 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444812909136 140445347481499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25193] ppid=25168 vsize=15419460 memory=10600 CPUtime=0.2 cores=1,3,5,7
/proc/25174/task/25193/stat : 25193 (java) S 25168 25168 25111 0 -1 1077944384 1022 0 0 0 20 0 0 0 20 0 19 0 475046933 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444811855984 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25194] ppid=25168 vsize=15419460 memory=1736 CPUtime=0.19 cores=1,3,5,7
/proc/25174/task/25194/stat : 25194 (java) R 25168 25168 25111 0 -1 1077944384 1006 0 0 0 19 0 0 0 20 0 19 0 475046933 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444810803184 140445347474050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25195] ppid=25168 vsize=15419460 memory=6068 CPUtime=0.4 cores=1,3,5,7
/proc/25174/task/25195/stat : 25195 (java) R 25168 25168 25111 0 -1 4202560 2299 0 0 0 40 0 0 0 20 0 19 0 475046933 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444809750896 140445340559739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25200] ppid=25168 vsize=15419460 memory=636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25200/stat : 25200 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444808698336 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25202] ppid=25168 vsize=15419460 memory=2836 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25202/stat : 25202 (java) S 25168 25168 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475046934 15789527040 22450 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 91256 KiB
[startup+1.50079 s]
/proc/loadavg: 1.04 0.91 1.07 13/237 25211
/proc/meminfo: memFree=5993320/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/25174/task/25202/stat : 25202 (java) R 25168 25168 25111 0 -1 1077944384 380 0 0 0 0 1 0 0 20 0 19 0 475046934 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25404] ppid=25168 vsize=15619152 memory=2836 CPUtime=33.45 cores=1,3,5,7
/proc/25174/task/25404/stat : 25404 (java) R 25168 25168 25111 0 -1 4202560 400 0 0 0 3345 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444793170704 140444986090088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25405] ppid=25168 vsize=15619152 memory=1056 CPUtime=33.46 cores=1,3,5,7
/proc/25174/task/25405/stat : 25405 (java) R 25168 25168 25111 0 -1 4202560 1352 0 0 0 3346 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444791066376 140444984561790 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25406] ppid=25168 vsize=15619152 memory=1568 CPUtime=33.54 cores=1,3,5,7
/proc/25174/task/25406/stat : 25406 (java) R 25168 25168 25111 0 -1 4202560 607 0 0 0 3354 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444794227616 140444985385760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25407] ppid=25168 vsize=15619152 memory=1456 CPUtime=33.52 cores=1,3,5,7
/proc/25174/task/25407/stat : 25407 (java) R 25168 25168 25111 0 -1 4202560 817 0 0 0 3352 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444790013776 140444978747120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 214.6 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 173156 KiB
[startup+55.2011 s]
/proc/loadavg: 5.15 2.04 1.45 10/237 25438
/proc/meminfo: memFree=5450308/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
[pid=25174] ppid=25168 vsize=15619152 memory=171700 CPUtime=217.78 cores=1,3,5,7
/proc/25174/stat : 25174 (java) S 25168 25168 25111 0 -1 1077944320 72414 0 1 0 21760 18 0 0 20 0 19 0 475046928 15994011648 42925 33554432000 4194304 4196468 140734998707008 140734998689552 140445347462903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
/proc/25174/statm: 3904788 42925 3531 1 0 3865888 0
[pid=25174/tid=25176] ppid=25168 vsize=15619152 memory=55232 CPUtime=0.69 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (java) S 25168 25168 25111 0 -1 1077944384 9917 0 1 0 65 4 0 0 20 0 19 0 475046928 15994011648 42925 33554432000 4194304 4196468 140734998707008 140445351703680 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25178] ppid=25168 vsize=15619152 memory=988 CPUtime=0.04 cores=1,3,5,7
/proc/25174/task/25178/stat : 25178 (java) S 25168 25168 25111 0 -1 1077944384 1191 0 0 0 4 0 0 0 20 0 19 0 475046929 15994011648 42925 33554432000 4194304 4196468 140734998707008 140445300083088 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25181] ppid=25168 vsize=15619152 memory=2024 CPUtime=0.04 cores=1,3,5,7
/proc/25174/task/25181/stat : 25181 (java) S 25168 25168 25111 0 -1 1077944384 3135 0 0 0 4 0 0 0 20 0 19 0 475046929 15994011648 42925 33554432000 4194304 4196468 140734998707008 140445299030288 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25183] ppid=25168 vsize=15619152 memory=1456 CPUtime=0.03 cores=1,3,5,7
/proc/25174/task/25183/stat : 25183 (java) S 25168 25168 25111 0 -1 1077944384 1487 0 0 0 3 0 0 0 20 0 19 0 475046929 15994011648 42925 33554432000 4194304 4196468 140734998707008 140445297978000 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25185] ppid=25168 vsize=15619152 memory=171700 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25185/stat : 25185 (java) S 25168 25168 25111 0 -1 1077944384 402 0 0 0 5 0 0 0 20 0 19 0 475046929 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444936624656 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25186] ppid=25168 vsize=15619152 memory=139810408981281 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25186/stat : 25186 (java) S 25168 25168 25111 0 -1 1077944384 2033 0 0 0 5 0 0 0 20 0 19 0 475046930 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444816067184 140445347474050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25188] ppid=25168 vsize=15619152 memory=7739815773868550753 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25188/stat : 25188 (java) S 25168 25168 25111 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475046931 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444815013216 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25190] ppid=25168 vsize=15619152 memory=7452728842579373158 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25190/stat : 25190 (java) S 25168 25168 25111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475046931 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444813960832 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25192] ppid=25168 vsize=15619152 memory=279620625569328 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25192/stat : 25192 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444812909136 140445347481499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25193] ppid=25168 vsize=15619152 memory=279620626175712 CPUtime=3.89 cores=1,3,5,7
/proc/25174/task/25193/stat : 25193 (java) S 25168 25168 25111 0 -1 1077944384 18414 0 0 0 387 2 0 0 20 0 19 0 475046933 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444811855984 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25194] ppid=25168 vsize=15619152 memory=7591216760245346667 CPUtime=3.94 cores=1,3,5,7
/proc/25174/task/25194/stat : 25194 (java) S 25168 25168 25111 0 -1 1077944384 13420 0 0 0 393 1 0 0 20 0 19 0 475046933 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444810803184 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25195] ppid=25168 vsize=15619152 memory=7454130749351154278 CPUtime=0.79 cores=1,3,5,7
/proc/25174/task/25195/stat : 25195 (java) S 25168 25168 25111 0 -1 1077944384 9499 0 0 0 78 1 0 0 20 0 19 0 475046933 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444809750896 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25200] ppid=25168 vsize=15619152 memory=279620624580848 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25200/stat : 25200 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444808698336 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25202] ppid=25168 vsize=15619152 memory=279620624580848 CPUtime=0.01 cores=1,3,5,7
/proc/25174/task/25202/stat : 25202 (java) S 25168 25168 25111 0 -1 1077944384 380 0 0 0 0 1 0 0 20 0 19 0 475046934 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25404] ppid=25168 vsize=15619152 memory=279620624580848 CPUtime=34.25 cores=1,3,5,7
/proc/25174/task/25404/stat : 25404 (java) R 25168 25168 25111 0 -1 4202560 401 0 0 0 3425 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444793170496 140444982853090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25405] ppid=25168 vsize=15619152 memory=1456 CPUtime=34.25 cores=1,3,5,7
/proc/25174/task/25405/stat : 25405 (java) R 25168 25168 25111 0 -1 4202560 1353 0 0 0 3425 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444791066440 140444985589440 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25406] ppid=25168 vsize=15619152 memory=173752 CPUtime=34.34 cores=1,3,5,7
/proc/25174/task/25406/stat : 25406 (java) R 25168 25168 25111 0 -1 4202560 608 0 0 0 3434 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444794227616 140444985885685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25407] ppid=25168 vsize=15619152 memory=6943526294502006880 CPUtime=34.32 cores=1,3,5,7
/proc/25174/task/25407/stat : 25407 (java) R 25168 25168 25111 0 -1 4202560 817 0 0 0 3432 0 0 0 20 0 19 0 475048990 15994011648 42925 33554432000 4194304 4196468 140734998707008 140444790014168 140444984161760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 217.78 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 173156 KiB
[startup+55.6041 s]
/proc/loadavg: 5.15 2.04 1.45 10/237 25438
/proc/meminfo: memFree=5450308/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
[pid=25174] ppid=25168 vsize=15619152 memory=170676 CPUtime=219.39 cores=1,3,5,7
/proc/25174/stat : 25174 (java) S 25168 25168 25111 0 -1 1077944320 72416 0 1 0 21921 18 0 0 20 0 19 0 475046928 15994011648 42669 33554432000 4194304 4196468 140734998707008 140734998689552 140445347462903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
/proc/25174/statm: 3904788 42669 3531 1 0 3865888 0
[pid=25174/tid=25176] ppid=25168 vsize=15619152 memory=6791534058613427641 CPUtime=0.69 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (java) S 25168 25168 25111 0 -1 1077944384 9917 0 1 0 65 4 0 0 20 0 19 0 475046928 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445351703680 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25178] ppid=25168 vsize=15619152 memory=3616 CPUtime=0.04 cores=1,3,5,7
/proc/25174/task/25178/stat : 25178 (java) S 25168 25168 25111 0 -1 1077944384 1191 0 0 0 4 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445300083088 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25181] ppid=25168 vsize=15619152 memory=55232 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25181/stat : 25181 (java) S 25168 25168 25111 0 -1 1077944384 3135 0 0 0 5 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445299030288 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25183] ppid=25168 vsize=15619152 memory=988 CPUtime=0.03 cores=1,3,5,7
/proc/25174/task/25183/stat : 25183 (java) S 25168 25168 25111 0 -1 1077944384 1487 0 0 0 3 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445297978000 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25185] ppid=25168 vsize=15619152 memory=2024 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25185/stat : 25185 (java) S 25168 25168 25111 0 -1 1077944384 402 0 0 0 5 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444936624656 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25186] ppid=25168 vsize=15619152 memory=1416 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25186/stat : 25186 (java) S 25168 25168 25111 0 -1 1077944384 2033 0 0 0 5 0 0 0 20 0 19 0 475046930 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444816067184 140445347474050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25188] ppid=25168 vsize=15619152 memory=776 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25188/stat : 25188 (java) S 25168 25168 25111 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475046931 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444815013216 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25190] ppid=25168 vsize=15619152 memory=3540 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25190/stat : 25190 (java) S 25168 25168 25111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475046931 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444813960832 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25192] ppid=25168 vsize=15619152 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25192/stat : 25192 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444812909136 140445347481499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25193] ppid=25168 vsize=15619152 memory=10600 CPUtime=3.89 cores=1,3,5,7
/proc/25174/task/25193/stat : 25193 (java) S 25168 25168 25111 0 -1 1077944384 18414 0 0 0 387 2 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444811855984 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25194] ppid=25168 vsize=15619152 memory=1736 CPUtime=3.94 cores=1,3,5,7
/proc/25174/task/25194/stat : 25194 (java) S 25168 25168 25111 0 -1 1077944384 13420 0 0 0 393 1 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444810803184 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25195] ppid=25168 vsize=15619152 memory=6068 CPUtime=0.79 cores=1,3,5,7
/proc/25174/task/25195/stat : 25195 (java) S 25168 25168 25111 0 -1 1077944384 9499 0 0 0 78 1 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444809750896 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25200] ppid=25168 vsize=15619152 memory=636 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25200/stat : 25200 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444808698336 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25202] ppid=25168 vsize=15619152 memory=2836 CPUtime=0.01 cores=1,3,5,7
/proc/25174/task/25202/stat : 25202 (java) S 25168 25168 25111 0 -1 1077944384 380 0 0 0 0 1 0 0 20 0 19 0 475046934 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25404] ppid=25168 vsize=15619152 memory=1056 CPUtime=34.65 cores=1,3,5,7
/proc/25174/task/25404/stat : 25404 (java) R 25168 25168 25111 0 -1 4202560 401 0 0 0 3465 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444793174384 140444982851632 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25405] ppid=25168 vsize=15619152 memory=1568 CPUtime=34.64 cores=1,3,5,7
/proc/25174/task/25405/stat : 25405 (java) R 25168 25168 25111 0 -1 4202560 1353 0 0 0 3464 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444791066448 140444986148540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25406] ppid=25168 vsize=15619152 memory=1048 CPUtime=34.74 cores=1,3,5,7
/proc/25174/task/25406/stat : 25406 (java) R 25168 25168 25111 0 -1 4202560 609 0 0 0 3474 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444794225240 140444984163808 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25407] ppid=25168 vsize=15619152 memory=14008 CPUtime=34.72 cores=1,3,5,7
/proc/25174/task/25407/stat : 25407 (java) R 25168 25168 25111 0 -1 4202560 818 0 0 0 3472 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444790016848 140444985496999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 219.39 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 172132 KiB
[startup+55.8011 s]
/proc/loadavg: 5.15 2.04 1.45 10/237 25438
/proc/meminfo: memFree=5450308/32770624 swapFree=67002236/67108860
[pid=25168] ppid=25164 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (xcsp3-exec) S 25164 25168 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475046927 115843072 364 33554432000 4194304 5098028 140725867898144 140725867896248 139862609486460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24117248 140725867905879 140725867906137 140725867906137 140725867909062 0
/proc/25168/statm: 28282 364 305 221 0 87 0
[pid=25174] ppid=25168 vsize=15619152 memory=170676 CPUtime=220.17 cores=1,3,5,7
/proc/25174/stat : 25174 (java) S 25168 25168 25111 0 -1 1077944320 72416 0 1 0 21999 18 0 0 20 0 19 0 475046928 15994011648 42669 33554432000 4194304 4196468 140734998707008 140734998689552 140445347462903 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
/proc/25174/statm: 3904788 42669 3531 1 0 3865888 0
[pid=25174/tid=25176] ppid=25168 vsize=15619152 memory=29876 CPUtime=0.69 cores=1,3,5,7
/proc/25174/task/25176/stat : 25176 (java) S 25168 25168 25111 0 -1 1077944384 9917 0 1 0 65 4 0 0 20 0 19 0 475046928 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445351703680 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25178] ppid=25168 vsize=15619152 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/25174/task/25178/stat : 25178 (java) S 25168 25168 25111 0 -1 1077944384 1191 0 0 0 4 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445300083088 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25181] ppid=25168 vsize=15619152 memory=500 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25181/stat : 25181 (java) S 25168 25168 25111 0 -1 1077944384 3135 0 0 0 5 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445299030288 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25183] ppid=25168 vsize=15619152 memory=932 CPUtime=0.03 cores=1,3,5,7
/proc/25174/task/25183/stat : 25183 (java) S 25168 25168 25111 0 -1 1077944384 1487 0 0 0 3 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140445297978000 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25185] ppid=25168 vsize=15619152 memory=1776 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25185/stat : 25185 (java) S 25168 25168 25111 0 -1 1077944384 402 0 0 0 5 0 0 0 20 0 19 0 475046929 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444936624656 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25186] ppid=25168 vsize=15619152 memory=1656 CPUtime=0.05 cores=1,3,5,7
/proc/25174/task/25186/stat : 25186 (java) S 25168 25168 25111 0 -1 1077944384 2033 0 0 0 5 0 0 0 20 0 19 0 475046930 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444816067184 140445347474050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25188] ppid=25168 vsize=15619152 memory=804 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25188/stat : 25188 (java) S 25168 25168 25111 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475046931 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444815013216 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25190] ppid=25168 vsize=15619152 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25190/stat : 25190 (java) S 25168 25168 25111 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475046931 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444813960832 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25192] ppid=25168 vsize=15619152 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25192/stat : 25192 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444812909136 140445347481499 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25193] ppid=25168 vsize=15619152 memory=2676 CPUtime=3.89 cores=1,3,5,7
/proc/25174/task/25193/stat : 25193 (java) S 25168 25168 25111 0 -1 1077944384 18414 0 0 0 387 2 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444811855984 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25194] ppid=25168 vsize=15619152 memory=1764 CPUtime=3.94 cores=1,3,5,7
/proc/25174/task/25194/stat : 25194 (java) S 25168 25168 25111 0 -1 1077944384 13420 0 0 0 393 1 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444810803184 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25195] ppid=25168 vsize=15619152 memory=111632 CPUtime=0.79 cores=1,3,5,7
/proc/25174/task/25195/stat : 25195 (java) S 25168 25168 25111 0 -1 1077944384 9499 0 0 0 78 1 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444809750896 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25200] ppid=25168 vsize=15619152 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25174/task/25200/stat : 25200 (java) S 25168 25168 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475046933 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444808698336 140445347473109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25202] ppid=25168 vsize=15619152 memory=4096 CPUtime=0.01 cores=1,3,5,7
/proc/25174/task/25202/stat : 25202 (java) S 25168 25168 25111 0 -1 1077944384 380 0 0 0 0 1 0 0 20 0 19 0 475046934 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444807646128 140445347474050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25404] ppid=25168 vsize=15619152 memory=1808 CPUtime=34.85 cores=1,3,5,7
/proc/25174/task/25404/stat : 25404 (java) R 25168 25168 25111 0 -1 4202560 401 0 0 0 3485 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444793174384 140444982337088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25405] ppid=25168 vsize=15619152 memory=920 CPUtime=34.84 cores=1,3,5,7
/proc/25174/task/25405/stat : 25405 (java) R 25168 25168 25111 0 -1 4202560 1353 0 0 0 3484 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444791066336 140444985029260 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25406] ppid=25168 vsize=15619152 memory=3804 CPUtime=34.94 cores=1,3,5,7
/proc/25174/task/25406/stat : 25406 (java) R 25168 25168 25111 0 -1 4202560 609 0 0 0 3494 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444794225240 140444987050544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
[pid=25174/tid=25407] ppid=25168 vsize=15619152 memory=2300 CPUtime=34.92 cores=1,3,5,7
/proc/25174/task/25407/stat : 25407 (java) R 25168 25168 25111 0 -1 4202560 818 0 0 0 3492 0 0 0 20 0 19 0 475048990 15994011648 42669 33554432000 4194304 4196468 140734998707008 140444790017016 140444985367239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35110912 140734998713307 140734998713482 140734998713482 140734998716367 0
Current children cumulated CPU time: 220.17 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 172132 KiB
Child status: 0
Real time (s): 55.9006
CPU time (s): 220.563
CPU user time (s): 220.367
CPU system time (s): 0.196039
CPU usage (%): 394.563
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 246036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 220.367
system time used= 0.196039
maximum resident set size= 244580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73505
page faults= 1
swaps= 0
block input operations= 416
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7097
involuntary context switches= 4937
# summary of solver processes directly reported to runsolver:
# pid: 25168
# total CPU time (s): 220.563
# total CPU user time (s): 220.367
# total CPU system time (s): 0.196039
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.401528 second user time and 0.635087 second system time
The end