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 (3379 MiB free)
memory of node 1: 16384 MiB (6395 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403966-1568991484/watcher-4403966-1568991484 -o /tmp/evaluation-result-4403966-1568991484/solver-4403966-1568991484 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568987794-29632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 615850958 HOME/instance-4403966-1568991484.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30083, runsolver pid=30080
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.75 0.93 0.99 7/234 30099
/proc/meminfo: memFree=9993040/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
[pid=30085] ppid=30083 vsize=15144776 memory=29128 CPUtime=0.13 cores=0,2,4,6
/proc/30085/stat : 30085 (java) S 30083 30083 29601 0 -1 1077944320 5724 0 0 0 11 2 0 0 20 0 15 0 475402619 15508250624 7282 33554432000 4194304 4196468 140721152741072 140721152723616 139932339945207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
/proc/30085/statm: 3786194 7282 3180 1 0 3748377 0
[pid=30085/tid=30086] ppid=30083 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (java) R 30083 30083 29601 0 -1 4202560 3610 0 0 0 8 1 0 0 20 0 15 0 475402619 15508250624 7282 33554432000 4194304 4196468 140721152741072 139932344169616 139932321594000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30087] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 7282 33554432000 4194304 4196468 140721152741072 139932251601424 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30088] ppid=30083 vsize=15144776 memory=288370738050426496 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (java) S 30083 30083 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 7282 33554432000 4194304 4196468 140721152741072 139932250548880 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30089] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30089/stat : 30089 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931930323216 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30090] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30090/stat : 30090 (java) S 30083 30083 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931929270672 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30091] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30091/stat : 30091 (java) S 30083 30083 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475402621 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931808176880 139932339956354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30092] ppid=30083 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30092/stat : 30092 (java) S 30083 30083 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475402622 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931807123104 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30093] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30093/stat : 30093 (java) S 30083 30083 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475402622 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931806070000 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30094] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30094/stat : 30094 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475402624 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931805018576 139932339963803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30095] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30095/stat : 30095 (java) R 30083 30083 29601 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 475402624 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931803965680 139932339956354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30096] ppid=30083 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30096/stat : 30096 (java) S 30083 30083 29601 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 475402624 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931802913136 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30097] ppid=30083 vsize=15144776 memory=140361898714752 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30097/stat : 30097 (java) R 30083 30083 29601 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 475402624 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931801860080 139932332182334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30098] ppid=30083 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30098/stat : 30098 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475402624 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931800807776 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30099] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402625 15508250624 7282 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30576 KiB
[startup+0.210808 s]*
/proc/loadavg: 1.75 0.93 0.99 8/234 30099
/proc/meminfo: memFree=9981564/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
[pid=30085] ppid=30083 vsize=15144776 memory=40400 CPUtime=0.34 cores=0,2,4,6
/proc/30085/stat : 30085 (java) S 30083 30083 29601 0 -1 1077944320 9328 0 0 0 31 3 0 0 20 0 15 0 475402619 15508250624 10100 33554432000 4194304 4196468 140721152741072 140721152723616 139932339945207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
/proc/30085/statm: 3786194 10100 3266 1 0 3748377 0
[pid=30085/tid=30086] ppid=30083 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (java) R 30083 30083 29601 0 -1 4202560 6630 0 0 0 17 3 0 0 20 0 15 0 475402619 15508250624 10100 33554432000 4194304 4196468 140721152741072 139932344180192 139932324025694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30087] ppid=30083 vsize=15144776 memory=2669799 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 10100 33554432000 4194304 4196468 140721152741072 139932251601424 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30088] ppid=30083 vsize=15144776 memory=140361898743897 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (java) S 30083 30083 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 10100 33554432000 4194304 4196468 140721152741072 139932250548880 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30089] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30089/stat : 30089 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931930323216 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30090] ppid=30083 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30090/stat : 30090 (java) S 30083 30083 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475402620 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931929270672 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30091] ppid=30083 vsize=15144776 memory=140361898714752 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30091/stat : 30091 (java) S 30083 30083 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475402621 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931808176880 139932339956354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30092] ppid=30083 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30092/stat : 30092 (java) S 30083 30083 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475402622 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931807123104 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30093] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30093/stat : 30093 (java) S 30083 30083 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475402622 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931806070000 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30094] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30094/stat : 30094 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475402624 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931805018576 139932339963803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30095] ppid=30083 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30085/task/30095/stat : 30095 (java) R 30083 30083 29601 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 15 0 475402624 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931803965680 139932339956354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30096] ppid=30083 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30085/task/30096/stat : 30096 (java) S 30083 30083 29601 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 15 0 475402624 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931802913136 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30097] ppid=30083 vsize=15144776 memory=140361898714752 CPUtime=0.08 cores=0,2,4,6
/proc/30085/task/30097/stat : 30097 (java) R 30083 30083 29601 0 -1 4202560 793 0 0 0 8 0 0 0 20 0 15 0 475402624 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931801860080 139932339966554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30098] ppid=30083 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30098/stat : 30098 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475402624 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931800807776 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30099] ppid=30083 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402625 15508250624 10100 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41848 KiB
[startup+0.316154 s]*
/proc/loadavg: 1.75 0.93 0.99 6/234 30099
/proc/meminfo: memFree=9973684/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
[pid=30085] ppid=30083 vsize=15149032 memory=50200 CPUtime=0.52 cores=0,2,4,6
/proc/30085/stat : 30085 (java) S 30083 30083 29601 0 -1 1077944320 10845 0 0 0 48 4 0 0 20 0 15 0 475402619 15512608768 12550 33554432000 4194304 4196468 140721152741072 140721152723616 139932339945207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
/proc/30085/statm: 3787258 12550 3370 1 0 3748377 0
[pid=30085/tid=30086] ppid=30083 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (java) R 30083 30083 29601 0 -1 4202560 7889 0 0 0 27 3 0 0 20 0 15 0 475402619 15512608768 12550 33554432000 4194304 4196468 140721152741072 139932344180048 139932324025694 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30087] ppid=30083 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402620 15512608768 12550 33554432000 4194304 4196468 140721152741072 139932251601424 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30088] ppid=30083 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (java) S 30083 30083 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475402620 15512608768 12550 33554432000 4194304 4196468 140721152741072 139932250548880 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30089] ppid=30083 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30089/stat : 30089 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402620 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931930323216 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30090] ppid=30083 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30090/stat : 30090 (java) S 30083 30083 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475402620 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931929270672 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30091] ppid=30083 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30091/stat : 30091 (java) S 30083 30083 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475402621 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931808176880 139932339956354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30092] ppid=30083 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30092/stat : 30092 (java) S 30083 30083 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475402622 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931807123104 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30093] ppid=30083 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30093/stat : 30093 (java) S 30083 30083 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475402622 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931806070000 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30094] ppid=30083 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30094/stat : 30094 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475402624 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931805018576 139932339963803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30095] ppid=30083 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/30085/task/30095/stat : 30095 (java) S 30083 30083 29601 0 -1 1077944384 478 0 0 0 5 0 0 0 20 0 15 0 475402624 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931803965680 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30096] ppid=30083 vsize=15149032 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30096/stat : 30096 (java) S 30083 30083 29601 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 475402624 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931802913136 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30097] ppid=30083 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30085/task/30097/stat : 30097 (java) S 30083 30083 29601 0 -1 1077944384 961 0 0 0 12 0 0 0 20 0 15 0 475402624 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931801860080 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30098] ppid=30083 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30098/stat : 30098 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475402624 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931800807776 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30099] ppid=30083 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475402625 15512608768 12550 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51648 KiB
[startup+0.70115 s]
/proc/loadavg: 1.75 0.93 0.99 12/238 30167
/proc/meminfo: memFree=9862180/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
[pid=30085] ppid=30083 vsize=15485004 memory=175792 CPUtime=1.68 cores=0,2,4,6
/proc/30085/stat : 30085 (java) S 30083 30083 29601 0 -1 1077944320 17198 0 0 0 160 8 0 0 20 0 19 0 475402619 15856644096 43948 33554432000 4194304 4196468 140721152741072 140721152723616 139932339945207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
/proc/30085/statm: 3871251 43948 3460 1 0 3832351 0
[pid=30085/tid=30086] ppid=30083 vsize=15485004 memory=7738122478750755172 CPUtime=0.44 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (java) S 30083 30083 29601 0 -1 1077944384 9030 0 0 0 40 4 0 0 20 0 19 0 475402619 15856644096 43948 33554432000 4194304 4196468 140721152741072 139932344185984 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30087] ppid=30083 vsize=15485004 memory=7223880786990092368 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (java) S 30083 30083 29601 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475402620 15856644096 43948 33554432000 4194304 4196468 140721152741072 139932251601424 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30088] ppid=30083 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (java) S 30083 30083 29601 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475402620 15856644096 43948 33554432000 4194304 4196468 140721152741072 139932250548880 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30089] ppid=30083 vsize=15485004 memory=-7533522213388100735 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30089/stat : 30089 (java) S 30083 30083 29601 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 19 0 475402620 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931930323216 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30090] ppid=30083 vsize=15485004 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30090/stat : 30090 (java) S 30083 30083 29601 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 475402620 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931929270672 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30091] ppid=30083 vsize=15485004 memory=7516614784244011344 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30091/stat : 30091 (java) S 30083 30083 29601 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475402621 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931808176880 139932339956354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30092] ppid=30083 vsize=15485004 memory=772 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30092/stat : 30092 (java) S 30083 30083 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931807123104 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30093] ppid=30083 vsize=15485004 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30093/stat : 30093 (java) S 30083 30083 29601 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931806070000 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30094] ppid=30083 vsize=15485004 memory=948 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30094/stat : 30094 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931805018576 139932339963803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30095] ppid=30083 vsize=15485004 memory=2832 CPUtime=0.27 cores=0,2,4,6
/proc/30085/task/30095/stat : 30095 (java) R 30083 30083 29601 0 -1 4202560 1493 0 0 0 27 0 0 0 20 0 19 0 475402624 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931803946696 139932323431259 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30096] ppid=30083 vsize=15485004 memory=9492 CPUtime=0.22 cores=0,2,4,6
/proc/30085/task/30096/stat : 30096 (java) R 30083 30083 29601 0 -1 4202560 1218 0 0 0 22 0 0 0 20 0 19 0 475402624 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931802899016 139932321466471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30097] ppid=30083 vsize=15485004 memory=1548 CPUtime=0.3 cores=0,2,4,6
/proc/30085/task/30097/stat : 30097 (java) R 30083 30083 29601 0 -1 1077944384 1804 0 0 0 30 0 0 0 20 0 19 0 475402624 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931801860080 139932339956354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30098] ppid=30083 vsize=15485004 memory=628 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30098/stat : 30098 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931800807776 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30099] ppid=30083 vsize=15485004 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475402625 15856644096 43948 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 177240 KiB
[startup+1.50915 s]
/proc/loadavg: 1.75 0.93 0.99 11/238 30259
/proc/meminfo: memFree=9828232/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 19 0 475402625 15856644096 52488 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30272] ppid=30083 vsize=15485004 memory=628 CPUtime=2.98 cores=0,2,4,6
/proc/30085/task/30272/stat : 30272 (java) R 30083 30083 29601 0 -1 4202560 95 0 0 0 298 0 0 0 20 0 19 0 475402927 15856644096 52488 33554432000 4194304 4196468 140721152741072 139931788668432 139931934010540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30273] ppid=30083 vsize=15485004 memory=1056 CPUtime=2.93 cores=0,2,4,6
/proc/30085/task/30273/stat : 30273 (java) R 30083 30083 29601 0 -1 4202560 258 0 0 0 293 0 0 0 20 0 19 0 475402927 15856644096 52488 33554432000 4194304 4196468 140721152741072 139931789723136 139931934933579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30274] ppid=30083 vsize=15485004 memory=1720 CPUtime=3.05 cores=0,2,4,6
/proc/30085/task/30274/stat : 30274 (java) R 30083 30083 29601 0 -1 4202560 405 0 0 0 305 0 0 0 20 0 19 0 475402927 15856644096 52488 33554432000 4194304 4196468 140721152741072 139931790774528 139931933741802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30275] ppid=30083 vsize=15485004 memory=6048 CPUtime=2.91 cores=0,2,4,6
/proc/30085/task/30275/stat : 30275 (java) R 30083 30083 29601 0 -1 4202560 200 0 0 0 291 0 0 0 20 0 19 0 475402927 15856644096 52488 33554432000 4194304 4196468 140721152741072 139931785512056 139931930669385 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 23.34 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 211400 KiB
[startup+8.00615 s]*
/proc/loadavg: 2.33 1.06 1.04 11/237 30626
/proc/meminfo: memFree=9994964/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
[pid=30085] ppid=30083 vsize=15485004 memory=201304 CPUtime=29.71 cores=0,2,4,6
/proc/30085/stat : 30085 (java) S 30083 30083 29601 0 -1 1077944320 32257 0 0 0 2958 13 0 0 20 0 19 0 475402619 15856644096 50326 33554432000 4194304 4196468 140721152741072 140721152723616 139932339945207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
/proc/30085/statm: 3871251 50326 3511 1 0 3832351 0
[pid=30085/tid=30086] ppid=30083 vsize=15485004 memory=8317482817917895235 CPUtime=0.45 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (java) S 30083 30083 29601 0 -1 1077944384 9031 0 0 0 41 4 0 0 20 0 19 0 475402619 15856644096 50326 33554432000 4194304 4196468 140721152741072 139932344185984 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30087] ppid=30083 vsize=15485004 memory=6656426216303648864 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (java) S 30083 30083 29601 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 50326 33554432000 4194304 4196468 140721152741072 139932251601424 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30088] ppid=30083 vsize=15485004 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (java) S 30083 30083 29601 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 19 0 475402620 15856644096 50326 33554432000 4194304 4196468 140721152741072 139932250548880 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30089] ppid=30083 vsize=15485004 memory=6656426216303648864 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30089/stat : 30089 (java) S 30083 30083 29601 0 -1 1077944384 247 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931930323216 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30090] ppid=30083 vsize=15485004 memory=6944652177228980320 CPUtime=0.01 cores=0,2,4,6
/proc/30085/task/30090/stat : 30090 (java) R 30083 30083 29601 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 19 0 475402620 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931929270672 139932339955413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30091] ppid=30083 vsize=15485004 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/30085/task/30091/stat : 30091 (java) S 30083 30083 29601 0 -1 1077944384 502 0 0 0 1 0 0 0 20 0 19 0 475402621 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931808176880 139932339956354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30092] ppid=30083 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30092/stat : 30092 (java) S 30083 30083 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931807123168 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30093] ppid=30083 vsize=15485004 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30093/stat : 30093 (java) S 30083 30083 29601 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931806070016 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30094] ppid=30083 vsize=15485004 memory=1 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30094/stat : 30094 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931805018576 139932339963803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30095] ppid=30083 vsize=15485004 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/30085/task/30095/stat : 30095 (java) S 30083 30083 29601 0 -1 1077944384 5625 0 0 0 138 0 0 0 20 0 19 0 475402624 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931803965680 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30096] ppid=30083 vsize=15485004 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/30085/task/30096/stat : 30096 (java) S 30083 30083 29601 0 -1 1077944384 6030 0 0 0 159 1 0 0 20 0 19 0 475402624 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931802913136 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30097] ppid=30083 vsize=15485004 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/30085/task/30097/stat : 30097 (java) S 30083 30083 29601 0 -1 1077944384 4481 0 0 0 48 0 0 0 20 0 19 0 475402624 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931801860080 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30098] ppid=30083 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30098/stat : 30098 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931800807776 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30099] ppid=30083 vsize=15485004 memory=140361746138283 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 19 0 475402625 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30272] ppid=30083 vsize=15485004 memory=5 CPUtime=4.55 cores=0,2,4,6
/proc/30085/task/30272/stat : 30272 (java) R 30083 30083 29601 0 -1 4202560 97 0 0 0 455 0 0 0 20 0 19 0 475402927 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931788668512 139931934259414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30273] ppid=30083 vsize=15485004 memory=0 CPUtime=4.38 cores=0,2,4,6
/proc/30085/task/30273/stat : 30273 (java) R 30083 30083 29601 0 -1 1077944384 259 0 0 0 438 0 0 0 20 0 19 0 475402927 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931789721120 139932339955413 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30274] ppid=30083 vsize=15485004 memory=23 CPUtime=4.63 cores=0,2,4,6
/proc/30085/task/30274/stat : 30274 (java) R 30083 30083 29601 0 -1 4202560 411 0 0 0 463 0 0 0 20 0 19 0 475402927 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931790777104 139931934010418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30275] ppid=30083 vsize=15485004 memory=0 CPUtime=4.45 cores=0,2,4,6
/proc/30085/task/30275/stat : 30275 (java) R 30083 30083 29601 0 -1 4202560 205 0 0 0 445 0 0 0 20 0 19 0 475402927 15856644096 50326 33554432000 4194304 4196468 140721152741072 139931785511200 139931931482095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 29.71 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 202752 KiB
[startup+8.40115 s]
/proc/loadavg: 2.33 1.06 1.04 11/237 30626
/proc/meminfo: memFree=9994964/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
[pid=30085] ppid=30083 vsize=15485004 memory=200864 CPUtime=31.23 cores=0,2,4,6
/proc/30085/stat : 30085 (java) S 30083 30083 29601 0 -1 1077944320 32280 0 0 0 3110 13 0 0 20 0 19 0 475402619 15856644096 50216 33554432000 4194304 4196468 140721152741072 140721152723616 139932339945207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
/proc/30085/statm: 3871251 50216 3511 1 0 3832351 0
[pid=30085/tid=30086] ppid=30083 vsize=15485004 memory=1412 CPUtime=0.45 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (java) S 30083 30083 29601 0 -1 1077944384 9031 0 0 0 41 4 0 0 20 0 19 0 475402619 15856644096 50216 33554432000 4194304 4196468 140721152741072 139932344185984 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30087] ppid=30083 vsize=15485004 memory=2776 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (java) S 30083 30083 29601 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 50216 33554432000 4194304 4196468 140721152741072 139932251601424 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30088] ppid=30083 vsize=15485004 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (java) S 30083 30083 29601 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 19 0 475402620 15856644096 50216 33554432000 4194304 4196468 140721152741072 139932250548880 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30089] ppid=30083 vsize=15485004 memory=636372 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30089/stat : 30089 (java) S 30083 30083 29601 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931930323216 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30090] ppid=30083 vsize=15485004 memory=203868 CPUtime=0.01 cores=0,2,4,6
/proc/30085/task/30090/stat : 30090 (java) S 30083 30083 29601 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 19 0 475402620 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931929270672 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30091] ppid=30083 vsize=15485004 memory=288230617509003574 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30091/stat : 30091 (java) S 30083 30083 29601 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 19 0 475402621 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931808176880 139932339956354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30092] ppid=30083 vsize=15485004 memory=14972261127948741 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30092/stat : 30092 (java) S 30083 30083 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931807123168 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30093] ppid=30083 vsize=15485004 memory=216992 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30093/stat : 30093 (java) S 30083 30083 29601 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931806070016 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30094] ppid=30083 vsize=15485004 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30094/stat : 30094 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931805018576 139932339963803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30095] ppid=30083 vsize=15485004 memory=500 CPUtime=1.38 cores=0,2,4,6
/proc/30085/task/30095/stat : 30095 (java) S 30083 30083 29601 0 -1 1077944384 5625 0 0 0 138 0 0 0 20 0 19 0 475402624 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931803965680 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30096] ppid=30083 vsize=15485004 memory=928 CPUtime=1.63 cores=0,2,4,6
/proc/30085/task/30096/stat : 30096 (java) S 30083 30083 29601 0 -1 1077944384 6042 0 0 0 162 1 0 0 20 0 19 0 475402624 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931802913136 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30097] ppid=30083 vsize=15485004 memory=1728 CPUtime=0.48 cores=0,2,4,6
/proc/30085/task/30097/stat : 30097 (java) S 30083 30083 29601 0 -1 1077944384 4481 0 0 0 48 0 0 0 20 0 19 0 475402624 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931801860080 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30098] ppid=30083 vsize=15485004 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30098/stat : 30098 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931800807776 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30099] ppid=30083 vsize=15485004 memory=860 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 19 0 475402625 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30272] ppid=30083 vsize=15485004 memory=1980 CPUtime=4.93 cores=0,2,4,6
/proc/30085/task/30272/stat : 30272 (java) R 30083 30083 29601 0 -1 4202560 98 0 0 0 493 0 0 0 20 0 19 0 475402927 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931788668568 139931934259568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30273] ppid=30083 vsize=15485004 memory=2552 CPUtime=4.76 cores=0,2,4,6
/proc/30085/task/30273/stat : 30273 (java) R 30083 30083 29601 0 -1 4202560 262 0 0 0 476 0 0 0 20 0 19 0 475402927 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931789721840 139931934796405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30274] ppid=30083 vsize=15485004 memory=1760 CPUtime=4.98 cores=0,2,4,6
/proc/30085/task/30274/stat : 30274 (java) R 30083 30083 29601 0 -1 4202560 411 0 0 0 498 0 0 0 20 0 19 0 475402927 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931790774776 139932325155661 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30275] ppid=30083 vsize=15485004 memory=111632 CPUtime=4.83 cores=0,2,4,6
/proc/30085/task/30275/stat : 30275 (java) R 30083 30083 29601 0 -1 4202560 205 0 0 0 483 0 0 0 20 0 19 0 475402927 15856644096 50216 33554432000 4194304 4196468 140721152741072 139931785513312 139931934010478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 31.23 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 202312 KiB
[startup+8.80115 s]
/proc/loadavg: 2.33 1.06 1.04 11/237 30626
/proc/meminfo: memFree=9994964/32770624 swapFree=66998164/67108860
[pid=30083] ppid=30080 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30083/stat : 30083 (xcsp3-exec) S 30080 30083 29601 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475402618 115843072 362 33554432000 4194304 5098028 140735805718304 140735805716408 140180388385404 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36655104 140735805719419 140735805719661 140735805719661 140735805722570 0
/proc/30083/statm: 28282 362 304 221 0 87 0
[pid=30085] ppid=30083 vsize=15485004 memory=196760 CPUtime=32.83 cores=0,2,4,6
/proc/30085/stat : 30085 (java) S 30083 30083 29601 0 -1 1077944320 32288 0 0 0 3269 14 0 0 20 0 19 0 475402619 15856644096 49190 33554432000 4194304 4196468 140721152741072 140721152723616 139932339945207 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
/proc/30085/statm: 3871251 49190 3511 1 0 3832351 0
[pid=30085/tid=30086] ppid=30083 vsize=15485004 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/30085/task/30086/stat : 30086 (java) S 30083 30083 29601 0 -1 1077944384 9031 0 0 0 41 4 0 0 20 0 19 0 475402619 15856644096 49190 33554432000 4194304 4196468 140721152741072 139932344185984 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30087] ppid=30083 vsize=15485004 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30087/stat : 30087 (java) S 30083 30083 29601 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 49190 33554432000 4194304 4196468 140721152741072 139932251601424 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30088] ppid=30083 vsize=15485004 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30088/stat : 30088 (java) S 30083 30083 29601 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 49190 33554432000 4194304 4196468 140721152741072 139932250548880 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30089] ppid=30083 vsize=15485004 memory=3804 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30089/stat : 30089 (java) S 30083 30083 29601 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931930323216 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30090] ppid=30083 vsize=15485004 memory=2576 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30090/stat : 30090 (java) S 30083 30083 29601 0 -1 1077944384 32 0 0 0 2 0 0 0 20 0 19 0 475402620 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931929270672 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30091] ppid=30083 vsize=15485004 memory=2596 CPUtime=0.02 cores=0,2,4,6
/proc/30085/task/30091/stat : 30091 (java) S 30083 30083 29601 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 19 0 475402621 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931808176880 139932339956354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30092] ppid=30083 vsize=15485004 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30092/stat : 30092 (java) S 30083 30083 29601 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931807123168 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30093] ppid=30083 vsize=15485004 memory=2644 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30093/stat : 30093 (java) S 30083 30083 29601 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475402622 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931806070016 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30094] ppid=30083 vsize=15485004 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30094/stat : 30094 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931805018576 139932339963803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30095] ppid=30083 vsize=15485004 memory=206896 CPUtime=1.38 cores=0,2,4,6
/proc/30085/task/30095/stat : 30095 (java) S 30083 30083 29601 0 -1 1077944384 5625 0 0 0 138 0 0 0 20 0 19 0 475402624 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931803965680 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30096] ppid=30083 vsize=15485004 memory=1408 CPUtime=1.63 cores=0,2,4,6
/proc/30085/task/30096/stat : 30096 (java) S 30083 30083 29601 0 -1 1077944384 6042 0 0 0 162 1 0 0 20 0 19 0 475402624 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931802913136 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30097] ppid=30083 vsize=15485004 memory=2428 CPUtime=0.48 cores=0,2,4,6
/proc/30085/task/30097/stat : 30097 (java) S 30083 30083 29601 0 -1 1077944384 4481 0 0 0 48 0 0 0 20 0 19 0 475402624 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931801860080 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30098] ppid=30083 vsize=15485004 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30098/stat : 30098 (java) S 30083 30083 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475402624 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931800807776 139932339955413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30099] ppid=30083 vsize=15485004 memory=197644 CPUtime=0 cores=0,2,4,6
/proc/30085/task/30099/stat : 30099 (java) S 30083 30083 29601 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 19 0 475402625 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931799755824 139932339956354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30272] ppid=30083 vsize=15485004 memory=1164 CPUtime=5.33 cores=0,2,4,6
/proc/30085/task/30272/stat : 30272 (java) R 30083 30083 29601 0 -1 4202560 98 0 0 0 533 0 0 0 20 0 19 0 475402927 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931788668432 139931933742070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30273] ppid=30083 vsize=15485004 memory=288230574492221466 CPUtime=5.15 cores=0,2,4,6
/proc/30085/task/30273/stat : 30273 (java) R 30083 30083 29601 0 -1 4202560 263 0 0 0 515 0 0 0 20 0 19 0 475402927 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931789720928 139931936111209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30274] ppid=30083 vsize=15485004 memory=6791534058613427641 CPUtime=5.38 cores=0,2,4,6
/proc/30085/task/30274/stat : 30274 (java) R 30083 30083 29601 0 -1 4202560 412 0 0 0 538 0 0 0 20 0 19 0 475402927 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931790774776 139931933741216 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
[pid=30085/tid=30275] ppid=30083 vsize=15485004 memory=288230617509003574 CPUtime=5.22 cores=0,2,4,6
/proc/30085/task/30275/stat : 30275 (java) R 30083 30083 29601 0 -1 4202560 206 0 0 0 522 0 0 0 20 0 19 0 475402927 15856644096 49190 33554432000 4194304 4196468 140721152741072 139931785513328 139931934795175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38137856 140721152742383 140721152742554 140721152742554 140721152745423 0
Current children cumulated CPU time: 32.83 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 198208 KiB
Child status: 0
Real time (s): 8.88511
CPU time (s): 33.1442
CPU user time (s): 32.997
CPU system time (s): 0.147218
CPU usage (%): 373.031
Max. virtual memory (cumulated for all children) (KiB): 15598132
Max. memory (cumulated for all children) (KiB): 221804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.997
system time used= 0.147218
maximum resident set size= 220744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34528
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= 3985
involuntary context switches= 1055
# summary of solver processes directly reported to runsolver:
# pid: 30083
# total CPU time (s): 33.1442
# total CPU user time (s): 32.997
# total CPU system time (s): 0.147218
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08741 second user time and 0.127143 second system time
The end