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 (14092 MiB free)
memory of node 1: 16384 MiB (14140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272520-1502801583/watcher-4272520-1502801583 -o /tmp/evaluation-result-4272520-1502801583/solver-4272520-1502801583 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 324106245 HOME/instance-4272520-1502801583.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7352, runsolver pid=7349
[startup+0.100059 s]*
/proc/loadavg: 2.23 2.09 1.94 3/217 7368
/proc/meminfo: memFree=28891840/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13978596 memory=29124 CPUtime=0.12 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 5082 0 0 0 11 1 0 0 20 0 15 0 113246308 14314082304 7281 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3494649 7281 2903 1 0 3482966 0
[pid=7354/tid=7355] ppid=7352 vsize=13978596 memory=7756226186729198427 CPUtime=0.09 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 3015 0 0 0 9 0 0 0 20 0 15 0 113246308 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376989163744 140376984944022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13978596 memory=140139383711360 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113246309 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13978596 memory=140139383711360 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113246310 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113246311 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113246311 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 5918 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 113246313 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376522144368 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376521091568 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13978596 memory=140139383711360 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) R 7352 7352 5918 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 15 0 113246313 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376520039280 140376963587977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13978596 memory=140139383711360 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246314 14314082304 7281 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30508 KiB
[startup+0.210691 s]*
/proc/loadavg: 2.23 2.09 1.94 3/217 7368
/proc/meminfo: memFree=28880908/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13982852 memory=39984 CPUtime=0.34 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 7696 0 0 0 32 2 0 0 20 0 15 0 113246308 14318440448 9996 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3495713 9996 3038 1 0 3482966 0
[pid=7354/tid=7355] ppid=7352 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 4914 0 0 0 19 1 0 0 20 0 15 0 113246308 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376989141808 140376969012574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13982852 memory=12474 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13982852 memory=140139384268539 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113246309 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13982852 memory=140139383711360 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113246310 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113246311 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113246311 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 5918 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 15 0 113246313 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376522144368 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 5918 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 113246313 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376521091568 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13982852 memory=140139383711360 CPUtime=0.08 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 5918 0 -1 1077944384 710 0 0 0 8 0 0 0 20 0 15 0 113246313 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376520039280 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246314 14318440448 9996 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41368 KiB
[startup+0.310893 s]*
/proc/loadavg: 2.23 2.09 1.94 3/217 7368
/proc/meminfo: memFree=28873712/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13982928 memory=47736 CPUtime=0.5 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 8609 0 0 0 48 2 0 0 20 0 15 0 113246308 14318518272 11934 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3495732 11934 3106 1 0 3482966 0
[pid=7354/tid=7355] ppid=7352 vsize=13982928 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 5617 0 0 0 28 1 0 0 20 0 15 0 113246308 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376989153056 140376969012574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13982928 memory=12804 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13982928 memory=556682 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113246309 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113246310 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113246311 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113246311 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 5918 0 -1 1077944384 525 0 0 0 3 0 0 0 20 0 15 0 113246313 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376522144368 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 5918 0 -1 1077944384 335 0 0 0 4 0 0 0 20 0 15 0 113246313 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376521091568 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) R 7352 7352 5918 0 -1 4202560 832 0 0 0 12 0 0 0 20 0 15 0 113246313 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376520039280 140376978028923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246314 14318518272 11934 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49120 KiB
[startup+0.700883 s]
/proc/loadavg: 2.23 2.09 1.94 5/217 7368
/proc/meminfo: memFree=28858204/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13984976 memory=76052 CPUtime=1.67 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 11636 0 0 0 163 4 0 0 20 0 15 0 113246308 14320615424 19013 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3496244 19013 3202 1 0 3483478 0
[pid=7354/tid=7355] ppid=7352 vsize=13984976 memory=4044 CPUtime=0.66 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 6090 0 0 0 64 2 0 0 20 0 15 0 113246308 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376989168000 140376984944022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13984976 memory=636 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113246309 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13984976 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113246309 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113246310 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13984976 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13984976 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13984976 memory=932 CPUtime=0.34 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) R 7352 7352 5918 0 -1 4202560 1374 0 0 0 34 0 0 0 20 0 15 0 113246313 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376522132960 140376968428656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13984976 memory=2200 CPUtime=0.32 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) R 7352 7352 5918 0 -1 4202560 1255 0 0 0 32 0 0 0 20 0 15 0 113246313 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376521083520 140376969331780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13984976 memory=6504 CPUtime=0.32 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) R 7352 7352 5918 0 -1 1077944384 1608 0 0 0 32 0 0 0 20 0 15 0 113246313 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376520039280 140376984943234 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246314 14320615424 19013 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77436 KiB
[startup+1.5009 s]
/proc/loadavg: 2.23 2.09 1.94 5/217 7368
/proc/meminfo: memFree=28814696/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13984976 memory=175100 CPUtime=73.89 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 47707 0 0 0 7369 20 0 0 20 0 15 0 113246308 14320615424 43775 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3496244 43775 3261 1 0 3483478 0
[pid=7354/tid=7355] ppid=7352 vsize=13984976 memory=8112282956445269571 CPUtime=66.79 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 10578 0 0 0 6674 5 0 0 20 0 15 0 113246308 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376989171504 140376598157928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13984976 memory=175616 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 475 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13984976 memory=4044 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1188 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13984976 memory=1792 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 2008 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13984976 memory=636 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 872 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13984976 memory=4140 CPUtime=0.05 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 1367 0 0 0 5 0 0 0 20 0 15 0 113246310 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13984976 memory=31788 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13984976 memory=1728 CPUtime=2.8 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 5918 0 -1 1077944384 13034 0 0 0 278 2 0 0 20 0 15 0 113246313 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376522144368 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13984976 memory=1384 CPUtime=2.54 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 5918 0 -1 1077944384 10811 0 0 0 253 1 0 0 20 0 15 0 113246313 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376521091568 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13984976 memory=176128 CPUtime=0.5 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 5918 0 -1 1077944384 5632 0 0 0 49 1 0 0 20 0 15 0 113246313 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376520039280 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13984976 memory=1420 CPUtime=0.03 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 392 0 0 0 1 2 0 0 20 0 15 0 113246314 14320615424 43775 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 73.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 176484 KiB
[startup+68.0008 s]*
/proc/loadavg: 1.53 1.92 1.89 3/217 7369
/proc/meminfo: memFree=28679984/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13984976 memory=176632 CPUtime=74.71 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 47721 0 0 0 7451 20 0 0 20 0 15 0 113246308 14320615424 44158 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3496244 44158 3261 1 0 3483478 0
[pid=7354/tid=7355] ppid=7352 vsize=13984976 memory=8112282956445269571 CPUtime=67.59 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 10579 0 0 0 6754 5 0 0 20 0 15 0 113246308 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376989171760 140376593998951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13984976 memory=4126316290023845779 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 476 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13984976 memory=28868 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1200 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13984976 memory=-1189914978686163229 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 2008 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13984976 memory=-6800859132029471843 CPUtime=0.27 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 872 0 0 0 26 1 0 0 20 0 15 0 113246309 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13984976 memory=-3535470213243961690 CPUtime=0.05 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 1367 0 0 0 5 0 0 0 20 0 15 0 113246310 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13984976 memory=-7751062316387021378 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13984976 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13984976 memory=932 CPUtime=2.8 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 5918 0 -1 1077944384 13034 0 0 0 278 2 0 0 20 0 15 0 113246313 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376522144368 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13984976 memory=2200 CPUtime=2.54 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 5918 0 -1 1077944384 10811 0 0 0 253 1 0 0 20 0 15 0 113246313 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376521091568 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13984976 memory=6504 CPUtime=0.5 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 5918 0 -1 1077944384 5632 0 0 0 49 1 0 0 20 0 15 0 113246313 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376520039280 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 392 0 0 0 1 2 0 0 20 0 15 0 113246314 14320615424 44158 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 74.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 178016 KiB
[startup+68.8008 s]
/proc/loadavg: 1.53 1.92 1.89 3/217 7369
/proc/meminfo: memFree=28679984/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13984976 memory=177656 CPUtime=75.53 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 47743 0 0 0 7532 21 0 0 20 0 15 0 113246308 14320615424 44414 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3496244 44414 3261 1 0 3483478 0
[pid=7354/tid=7355] ppid=7352 vsize=13984976 memory=39908 CPUtime=68.38 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 10581 0 0 0 6833 5 0 0 20 0 15 0 113246308 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376989171920 140376596979637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13984976 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 478 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13984976 memory=11032 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1207 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13984976 memory=1712 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 2010 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13984976 memory=1952 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 881 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13984976 memory=8560 CPUtime=0.06 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 1367 0 0 0 6 0 0 0 20 0 15 0 113246310 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13984976 memory=0 CPUtime=2.8 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 5918 0 -1 1077944384 13034 0 0 0 278 2 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376522144368 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13984976 memory=-8253362762722141311 CPUtime=2.54 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 5918 0 -1 1077944384 10811 0 0 0 253 1 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376521091568 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13984976 memory=-8412652177879177843 CPUtime=0.5 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 5918 0 -1 1077944384 5632 0 0 0 49 1 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376520039280 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13984976 memory=7822038051842261661 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13984976 memory=-6520471753822164382 CPUtime=0.03 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 392 0 0 0 1 2 0 0 20 0 15 0 113246314 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 75.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 179040 KiB
[startup+69.2008 s]
/proc/loadavg: 1.49 1.90 1.88 3/217 7369
/proc/meminfo: memFree=28678444/32770624 swapFree=67108860/67108860
[pid=7352] ppid=7349 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113246308 9740288 346 33554432000 4194304 5098028 140728923320752 140728923318856 140342596027004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12173312 140728923329647 140728923329851 140728923329851 140728923332587 0
/proc/7352/statm: 2378 346 289 221 0 87 0
[pid=7354] ppid=7352 vsize=13984976 memory=177656 CPUtime=75.94 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 5918 0 -1 1077944320 47749 0 0 0 7573 21 0 0 20 0 15 0 113246308 14320615424 44414 33554432000 4194304 4196468 140721777080672 140721777063216 140376984932087 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
/proc/7354/statm: 3496244 44414 3261 1 0 3483478 0
[pid=7354/tid=7355] ppid=7352 vsize=13984976 memory=0 CPUtime=68.77 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 5918 0 -1 4202560 10582 0 0 0 6872 5 0 0 20 0 15 0 113246308 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376989171600 140376597852234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7356] ppid=7352 vsize=13984976 memory=1384 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 5918 0 -1 1077944384 479 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376915020688 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7357] ppid=7352 vsize=13984976 memory=178168 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 5918 0 -1 1077944384 1208 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376913967888 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7358] ppid=7352 vsize=13984976 memory=14698478437665088 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 5918 0 -1 1077944384 2012 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376578636944 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7359] ppid=7352 vsize=13984976 memory=173508 CPUtime=0.28 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 5918 0 -1 1077944384 882 0 0 0 27 1 0 0 20 0 15 0 113246309 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376577584144 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7360] ppid=7352 vsize=13984976 memory=2200 CPUtime=0.06 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 5918 0 -1 1077944384 1367 0 0 0 6 0 0 0 20 0 15 0 113246310 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376526354544 140376984943234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7361] ppid=7352 vsize=13984976 memory=6504 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 5918 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376525300512 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7362] ppid=7352 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 5918 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 113246311 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376524248176 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7363] ppid=7352 vsize=13984976 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376523196496 140376984950683 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7364] ppid=7352 vsize=13984976 memory=920 CPUtime=2.8 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 5918 0 -1 1077944384 13034 0 0 0 278 2 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376522144368 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7365] ppid=7352 vsize=13984976 memory=920 CPUtime=2.54 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 5918 0 -1 1077944384 10811 0 0 0 253 1 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376521091568 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7366] ppid=7352 vsize=13984976 memory=3836 CPUtime=0.5 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 5918 0 -1 1077944384 5632 0 0 0 49 1 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376520039280 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7367] ppid=7352 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113246313 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376518986720 140376984942293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
[pid=7354/tid=7368] ppid=7352 vsize=13984976 memory=178168 CPUtime=0.03 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 5918 0 -1 1077944384 392 0 0 0 1 2 0 0 20 0 15 0 113246314 14320615424 44414 33554432000 4194304 4196468 140721777080672 140376517933488 140376984943234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24195072 140721777083543 140721777083719 140721777083719 140721777086415 0
Current children cumulated CPU time: 75.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 179040 KiB
Child status: 0
Real time (s): 69.2953
CPU time (s): 76.0426
CPU user time (s): 75.8252
CPU system time (s): 0.217334
CPU usage (%): 109.737
Max. virtual memory (cumulated for all children) (KiB): 13996468
Max. memory (cumulated for all children) (KiB): 227020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.8252
system time used= 0.217334
maximum resident set size= 229228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5095
involuntary context switches= 125
# summary of solver processes directly reported to runsolver:
# pid: 7352
# total CPU time (s): 76.0426
# total CPU user time (s): 75.8252
# total CPU system time (s): 0.217334
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.474229 second user time and 0.707427 second system time
The end