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 (14573 MiB free)
memory of node 1: 16384 MiB (15193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399102-1568699941/watcher-4399102-1568699941 -o /tmp/evaluation-result-4399102-1568699941/solver-4399102-1568699941 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568698608-10315 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 418573478 HOME/instance-4399102-1568699941.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11378, runsolver pid=11375
Current StackSize limit: 8192 KiB
[startup+0.100176 s]*
/proc/loadavg: 8.28 7.88 7.51 6/233 11394
/proc/meminfo: memFree=30464508/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15144776 memory=29648 CPUtime=0.13 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 5805 0 0 0 12 1 0 0 20 0 15 0 446263014 15508250624 7412 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3786194 7412 3152 1 0 3748377 0
[pid=11380/tid=11381] ppid=11378 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) R 11378 11378 10284 0 -1 4202560 3742 0 0 0 8 0 0 0 20 0 15 0 446263014 15508250624 7412 33554432000 4194304 4196468 140724311940448 140573154918288 140573150708314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 7412 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15144776 memory=3474723676358678176 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 7412 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 7412 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 7412 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) S 11378 11378 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263017 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572619205488 140573150698114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263017 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572618151456 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263017 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572617098608 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) S 11378 11378 10284 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572614994288 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) R 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572613941488 140573150698114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15144776 memory=140277473580672 CPUtime=0.02 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) R 11378 11378 10284 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 446263020 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572612888688 140573150698902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 7412 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31096 KiB
[startup+0.210875 s]*
/proc/loadavg: 8.28 7.88 7.51 6/233 11394
/proc/meminfo: memFree=30451628/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15144776 memory=40356 CPUtime=0.34 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 9285 0 0 0 32 2 0 0 20 0 15 0 446263014 15508250624 10089 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3786194 10089 3304 1 0 3748377 0
[pid=11380/tid=11381] ppid=11378 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) R 11378 11378 10284 0 -1 4202560 6594 0 0 0 18 2 0 0 20 0 15 0 446263014 15508250624 10089 33554432000 4194304 4196468 140724311940448 140573154920704 140573132587104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15144776 memory=1946935 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 10089 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15144776 memory=140277475527696 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 10089 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 10089 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263015 15508250624 10089 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15144776 memory=140277473580672 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) S 11378 11378 10284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263017 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572619205488 140573150698114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263017 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572618151456 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263017 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572617098608 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) S 11378 11378 10284 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 446263020 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572614994288 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) S 11378 11378 10284 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 446263020 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572613941488 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15144776 memory=140277473580672 CPUtime=0.08 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) R 11378 11378 10284 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 446263020 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572612888496 140573129503170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263020 15508250624 10089 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41804 KiB
[startup+0.310738 s]*
/proc/loadavg: 8.28 7.88 7.51 7/233 11394
/proc/meminfo: memFree=30444852/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15149032 memory=49764 CPUtime=0.53 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 10737 0 0 0 50 3 0 0 20 0 15 0 446263014 15512608768 12441 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3787258 12441 3353 1 0 3748377 0
[pid=11380/tid=11381] ppid=11378 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) R 11378 11378 10284 0 -1 4202560 7731 0 0 0 27 2 0 0 20 0 15 0 446263014 15512608768 12441 33554432000 4194304 4196468 140724311940448 140573154915312 140573134767454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15512608768 12441 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15512608768 12441 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15512608768 12441 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263015 15512608768 12441 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) S 11378 11378 10284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263017 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572619205488 140573150698114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263017 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572618151456 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263017 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572617098608 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) S 11378 11378 10284 0 -1 1077944384 592 0 0 0 5 0 0 0 20 0 15 0 446263020 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572614994288 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) R 11378 11378 10284 0 -1 4202560 208 0 0 0 4 0 0 0 20 0 15 0 446263020 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572613932944 140573132231120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) S 11378 11378 10284 0 -1 1077944384 910 0 0 0 13 0 0 0 20 0 15 0 446263020 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572612888688 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263020 15512608768 12441 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51212 KiB
[startup+0.7008 s]
/proc/loadavg: 8.28 7.88 7.51 8/233 11394
/proc/meminfo: memFree=30400772/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15151156 memory=177132 CPUtime=1.59 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 13932 0 0 0 152 7 0 0 20 0 15 0 446263014 15514783744 44283 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3787789 44283 3444 1 0 3748889 0
[pid=11380/tid=11381] ppid=11378 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) R 11378 11378 10284 0 -1 4202560 8378 0 0 0 63 5 0 0 20 0 15 0 446263014 15514783744 44283 33554432000 4194304 4196468 140724311940448 140573154920688 140572756161376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15514783744 44283 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15514783744 44283 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263015 15514783744 44283 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263015 15514783744 44283 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) S 11378 11378 10284 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263017 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572619205488 140573150698114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263017 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572618151456 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263017 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572617098608 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15151156 memory=620 CPUtime=0.32 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) R 11378 11378 10284 0 -1 4202560 1655 0 0 0 32 0 0 0 20 0 15 0 446263020 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572614981040 140573132217521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15151156 memory=1496 CPUtime=0.3 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) R 11378 11378 10284 0 -1 4202560 1123 0 0 0 30 0 0 0 20 0 15 0 446263020 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572613929120 140573134179591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15151156 memory=1016 CPUtime=0.26 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) S 11378 11378 10284 0 -1 1077944384 1470 0 0 0 26 0 0 0 20 0 15 0 446263020 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572612888688 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15151156 memory=6016 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 44283 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 178580 KiB
[startup+1.50082 s]
/proc/loadavg: 8.28 7.88 7.51 6/233 11394
/proc/meminfo: memFree=30259608/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15151156 memory=1811004 CPUtime=10.05 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 21659 0 0 0 864 141 0 0 20 0 15 0 446263014 15514783744 452751 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3787789 452751 3495 1 0 3748889 0
[pid=11380/tid=11381] ppid=11378 vsize=15151156 memory=1188 CPUtime=3.29 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) S 11378 11378 10284 0 -1 1077944384 9606 0 0 0 317 12 0 0 20 0 15 0 446263014 15514783744 452751 33554432000 4194304 4196468 140724311940448 140573154924192 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15151156 memory=1536 CPUtime=1.13 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1340 0 0 0 82 31 0 0 20 0 15 0 446263015 15514783744 452751 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15151156 memory=9592 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 930 0 0 0 80 32 0 0 20 0 15 0 446263015 15514783744 452751 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15151156 memory=2828 CPUtime=1.11 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 919 0 0 0 81 30 0 0 20 0 15 0 446263015 15514783744 452751 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15151156 memory=780 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 1434 0 0 0 82 30 0 0 20 0 15 0 446263015 15514783744 452751 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15151156 memory=620 CPUtime=0.34 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) R 11378 11378 10284 0 -1 4202560 1179 0 0 0 34 0 0 0 20 0 15 0 446263017 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572619204032 140573135387598 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263017 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572618151520 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15151156 memory=573960 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 446263017 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572617098624 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15151156 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) S 11378 11378 10284 0 -1 1077944384 1852 0 0 0 72 1 0 0 20 0 15 0 446263020 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572614994288 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) S 11378 11378 10284 0 -1 1077944384 1243 0 0 0 68 0 0 0 20 0 15 0 446263020 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572613941488 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15151156 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) S 11378 11378 10284 0 -1 1077944384 1856 0 0 0 45 0 0 0 20 0 15 0 446263020 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572612888688 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 452751 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1812452 KiB
[startup+5.20077 s]
/proc/loadavg: 8.18 7.86 7.51 6/233 11394
/proc/meminfo: memFree=28676508/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15151156 memory=1813204 CPUtime=10.45 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 22193 0 0 0 904 141 0 0 20 0 15 0 446263014 15514783744 453301 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3787789 453301 3495 1 0 3748889 0
[pid=11380/tid=11381] ppid=11378 vsize=15151156 memory=0 CPUtime=3.51 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) R 11378 11378 10284 0 -1 4202560 9607 0 0 0 339 12 0 0 20 0 15 0 446263014 15514783744 453301 33554432000 4194304 4196468 140724311940448 140573154923640 140573132976339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15151156 memory=280554646265728 CPUtime=1.13 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1340 0 0 0 82 31 0 0 20 0 15 0 446263015 15514783744 453301 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15151156 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 930 0 0 0 80 32 0 0 20 0 15 0 446263015 15514783744 453301 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15151156 memory=280554646279360 CPUtime=1.11 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 919 0 0 0 81 30 0 0 20 0 15 0 446263015 15514783744 453301 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15151156 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 1434 0 0 0 82 30 0 0 20 0 15 0 446263015 15514783744 453301 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15151156 memory=280554646283904 CPUtime=0.51 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) S 11378 11378 10284 0 -1 1077944384 1708 0 0 0 51 0 0 0 20 0 15 0 446263017 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572619205488 140573150698114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263017 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572618151520 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15151156 memory=280554646292992 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 446263017 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572617098624 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15151156 memory=280554646226848 CPUtime=0.73 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) S 11378 11378 10284 0 -1 1077944384 1852 0 0 0 72 1 0 0 20 0 15 0 446263020 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572614994288 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15151156 memory=3055200214456942688 CPUtime=0.68 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) S 11378 11378 10284 0 -1 1077944384 1243 0 0 0 68 0 0 0 20 0 15 0 446263020 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572613941488 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15151156 memory=3053811428158493008 CPUtime=0.46 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) R 11378 11378 10284 0 -1 4202560 1860 0 0 0 46 0 0 0 20 0 15 0 446263020 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572612888688 140573150708314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15151156 memory=7156589700781789268 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15151156 memory=4279353494035522368 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263020 15514783744 453301 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 10.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1814652 KiB
[startup+5.60076 s]
/proc/loadavg: 8.18 7.86 7.51 6/233 11394
/proc/meminfo: memFree=28676508/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15417412 memory=1813744 CPUtime=10.99 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 22587 0 0 0 958 141 0 0 20 0 19 0 446263014 15787429888 453436 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3854353 453436 3495 1 0 3815453 0
[pid=11380/tid=11381] ppid=11378 vsize=15417412 memory=988 CPUtime=3.89 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) S 11378 11378 10284 0 -1 1077944384 9735 0 0 0 376 13 0 0 20 0 19 0 446263014 15787429888 453436 33554432000 4194304 4196468 140724311940448 140573154927744 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15417412 memory=2024 CPUtime=1.13 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1340 0 0 0 82 31 0 0 20 0 19 0 446263015 15787429888 453436 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15417412 memory=1384 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 930 0 0 0 80 32 0 0 20 0 19 0 446263015 15787429888 453436 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15417412 memory=4156 CPUtime=1.11 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 919 0 0 0 81 30 0 0 20 0 19 0 446263015 15787429888 453436 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15417412 memory=1056 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 1434 0 0 0 82 30 0 0 20 0 19 0 446263015 15787429888 453436 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15417412 memory=1188 CPUtime=0.51 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) S 11378 11378 10284 0 -1 1077944384 1709 0 0 0 51 0 0 0 20 0 19 0 446263017 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572619205488 140573150698114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15417412 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446263017 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572618151520 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15417412 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446263017 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572617098624 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263020 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15417412 memory=780 CPUtime=0.77 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) R 11378 11378 10284 0 -1 4202560 1878 0 0 0 76 1 0 0 20 0 19 0 446263020 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572614980384 140573128709948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15417412 memory=620 CPUtime=0.73 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) S 11378 11378 10284 0 -1 1077944384 1283 0 0 0 73 0 0 0 20 0 19 0 446263020 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572613927696 140573150708157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15417412 memory=1496 CPUtime=0.48 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) R 11378 11378 10284 0 -1 1077944384 1910 0 0 0 48 0 0 0 20 0 19 0 446263020 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572612888688 140573150698114 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15417412 memory=1016 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263020 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15417412 memory=6016 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263020 15787429888 453436 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1815192 KiB
[startup+5.70577 s]
/proc/loadavg: 8.18 7.86 7.51 6/233 11394
/proc/meminfo: memFree=28676508/32770624 swapFree=66953076/67108860
[pid=11378] ppid=11375 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11378/stat : 11378 (xcsp3-exec) S 11375 11378 10284 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446263014 115843072 362 33554432000 4194304 5098028 140723126915808 140723126913912 139759643751036 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 14581760 140723126924155 140723126924397 140723126924397 140723126927306 0
/proc/11378/statm: 28282 362 304 221 0 87 0
[pid=11380] ppid=11378 vsize=15417412 memory=1814480 CPUtime=11.4 cores=0,2,4,6
/proc/11380/stat : 11380 (java) S 11378 11378 10284 0 -1 1077944320 22702 0 0 0 999 141 0 0 20 0 19 0 446263014 15787429888 453620 33554432000 4194304 4196468 140724311940448 140724311922992 140573150686967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
/proc/11380/statm: 3854353 453620 3503 1 0 3815453 0
[pid=11380/tid=11381] ppid=11378 vsize=15417412 memory=288230574492221466 CPUtime=3.89 cores=0,2,4,6
/proc/11380/task/11381/stat : 11381 (java) S 11378 11378 10284 0 -1 1077944384 9735 0 0 0 376 13 0 0 20 0 19 0 446263014 15787429888 453620 33554432000 4194304 4196468 140724311940448 140573154927744 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11382] ppid=11378 vsize=15417412 memory=288230596050944315 CPUtime=1.13 cores=0,2,4,6
/proc/11380/task/11382/stat : 11382 (java) S 11378 11378 10284 0 -1 1077944384 1340 0 0 0 82 31 0 0 20 0 19 0 446263015 15787429888 453620 33554432000 4194304 4196468 140724311940448 140573078727312 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11383] ppid=11378 vsize=15417412 memory=16100368647981698 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11383/stat : 11383 (java) S 11378 11378 10284 0 -1 1077944384 930 0 0 0 80 32 0 0 20 0 19 0 446263015 15787429888 453620 33554432000 4194304 4196468 140724311940448 140573077674512 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11384] ppid=11378 vsize=15417412 memory=3624 CPUtime=1.11 cores=0,2,4,6
/proc/11380/task/11384/stat : 11384 (java) S 11378 11378 10284 0 -1 1077944384 919 0 0 0 81 30 0 0 20 0 19 0 446263015 15787429888 453620 33554432000 4194304 4196468 140724311940448 140573076621712 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11385] ppid=11378 vsize=15417412 memory=140277323154529 CPUtime=1.12 cores=0,2,4,6
/proc/11380/task/11385/stat : 11385 (java) S 11378 11378 10284 0 -1 1077944384 1434 0 0 0 82 30 0 0 20 0 19 0 446263015 15787429888 453620 33554432000 4194304 4196468 140724311940448 140573075568912 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11386] ppid=11378 vsize=15417412 memory=7445127948764144237 CPUtime=0.51 cores=0,2,4,6
/proc/11380/task/11386/stat : 11386 (java) S 11378 11378 10284 0 -1 1077944384 1709 0 0 0 51 0 0 0 20 0 19 0 446263017 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572619205488 140573150698114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11387] ppid=11378 vsize=15417412 memory=1761428 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11387/stat : 11387 (java) S 11378 11378 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446263017 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572618151520 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11388] ppid=11378 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11388/stat : 11388 (java) S 11378 11378 10284 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446263017 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572617098624 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11389] ppid=11378 vsize=15417412 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11389/stat : 11389 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263020 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572616046928 140573150705563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11390] ppid=11378 vsize=15417412 memory=6628 CPUtime=0.84 cores=0,2,4,6
/proc/11380/task/11390/stat : 11390 (java) R 11378 11378 10284 0 -1 4202560 1886 0 0 0 83 1 0 0 20 0 19 0 446263020 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572614990656 140573134170224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11391] ppid=11378 vsize=15417412 memory=56 CPUtime=0.78 cores=0,2,4,6
/proc/11380/task/11391/stat : 11391 (java) R 11378 11378 10284 0 -1 4202560 1301 0 0 0 78 0 0 0 20 0 19 0 446263020 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572613926640 140573135810559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11392] ppid=11378 vsize=15417412 memory=576601033652830326 CPUtime=0.51 cores=0,2,4,6
/proc/11380/task/11392/stat : 11392 (java) S 11378 11378 10284 0 -1 1077944384 1949 0 0 0 51 0 0 0 20 0 19 0 446263020 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572612888688 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11393] ppid=11378 vsize=15417412 memory=1947275 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11393/stat : 11393 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263020 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572611836128 140573150697173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
[pid=11380/tid=11394] ppid=11378 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11380/task/11394/stat : 11394 (java) S 11378 11378 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263020 15787429888 453620 33554432000 4194304 4196468 140724311940448 140572610784432 140573150698114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 21512192 140724311946223 140724311946394 140724311946394 140724311949263 0
Current children cumulated CPU time: 11.4 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1815928 KiB
Child status: 0
Real time (s): 5.73569
CPU time (s): 11.4557
CPU user time (s): 10.0286
CPU system time (s): 1.42714
CPU usage (%): 199.727
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1815928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0286
system time used= 1.42714
maximum resident set size= 1815684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23313
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= 2472
involuntary context switches= 155
# summary of solver processes directly reported to runsolver:
# pid: 11378
# total CPU time (s): 11.4557
# total CPU user time (s): 10.0286
# total CPU system time (s): 1.42714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053131 second user time and 0.105108 second system time
The end