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 (9545 MiB free)
memory of node 1: 16384 MiB (12657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406071-1569410522/watcher-4406071-1569410522 -o /var/tmp/evaluation-result-4406071-1569410522/solver-4406071-1569410522 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1962001178 HOME/instance-4406071-1569410522.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=7713, runsolver pid=7710
[startup+0.100154 s]*
/proc/loadavg: 1.63 1.62 1.64 4/234 7729
/proc/meminfo: memFree=22720088/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15144776 memory=29436 CPUtime=0.13 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 5836 0 0 0 12 1 0 0 20 0 15 0 517291748 15508250624 7359 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3786194 7359 3142 1 0 3748377 0
[pid=7715/tid=7716] ppid=7713 vsize=15144776 memory=8117357482337342299 CPUtime=0.09 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) R 7713 7713 3690 0 -1 4202560 3731 0 0 0 9 0 0 0 20 0 15 0 517291748 15508250624 7359 33554432000 4194304 4196468 140737181656480 140041165362376 140041153366846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15508250624 7359 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15144776 memory=140456895366784 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15508250624 7359 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15508250624 7359 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15508250624 7359 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15144776 memory=140456895366784 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291750 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517291751 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040627798944 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517291751 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040626746352 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) S 7713 7713 3690 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 517291753 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040624642544 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) S 7713 7713 3690 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517291753 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040623590000 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15144776 memory=140456895366784 CPUtime=0.02 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) R 7713 7713 3690 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 517291753 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040622537456 140041139619424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15144776 memory=140456895366784 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291754 15508250624 7359 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30892 KiB
[startup+0.213993 s]*
/proc/loadavg: 1.63 1.62 1.64 4/234 7729
/proc/meminfo: memFree=22685160/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15144776 memory=40212 CPUtime=0.35 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 9351 0 0 0 32 3 0 0 20 0 15 0 517291748 15508250624 10053 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3786194 10053 3259 1 0 3748377 0
[pid=7715/tid=7716] ppid=7713 vsize=15146892 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) D 7713 7713 3690 0 -1 1077944384 6641 0 0 0 19 2 0 0 20 0 15 0 517291748 15510417408 10080 33554432000 4194304 4196468 140737181656480 140041165350712 140041163404999 0 4 0 16800975 18446744072101711396 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15146892 memory=13591 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15510417408 10080 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15146892 memory=140456899262844 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15510417408 10080 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15146892 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15510417408 10080 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15146892 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15510417408 10080 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15146892 memory=140456895366784 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517291750 15510417408 10080 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15146892 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517291751 15510417408 10080 33554432000 4194304 4196468 140737181656480 140040627798944 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15146892 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517291751 15510417408 10080 33554432000 4194304 4196468 140737181656480 140040626746352 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15512608768 10083 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15149032 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) S 7713 7713 3690 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 517291753 15512608768 10083 33554432000 4194304 4196468 140737181656480 140040624642544 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) S 7713 7713 3690 0 -1 1077944384 261 0 0 0 3 0 0 0 20 0 15 0 517291753 15512608768 10083 33554432000 4194304 4196468 140737181656480 140040623590000 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15149032 memory=140456895366784 CPUtime=0.08 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) S 7713 7713 3690 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 517291753 15512608768 10083 33554432000 4194304 4196468 140737181656480 140040622537456 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15512608768 10083 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291754 15512608768 10083 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41668 KiB
[startup+0.310969 s]*
/proc/loadavg: 1.63 1.62 1.64 4/234 7729
/proc/meminfo: memFree=22677144/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15149032 memory=49956 CPUtime=0.53 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 10793 0 0 0 50 3 0 0 20 0 15 0 517291748 15512608768 12489 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3787258 12489 3373 1 0 3748377 0
[pid=7715/tid=7716] ppid=7713 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) R 7713 7713 3690 0 -1 4202560 7795 0 0 0 28 2 0 0 20 0 15 0 517291748 15512608768 12489 33554432000 4194304 4196468 140737181656480 140041165363504 140041145210206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15149032 memory=13953 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15512608768 12489 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15149032 memory=3903693 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15512608768 12489 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15512608768 12489 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15512608768 12489 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517291750 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517291751 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040627798944 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517291751 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040626746352 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) S 7713 7713 3690 0 -1 1077944384 396 0 0 0 3 0 0 0 20 0 15 0 517291753 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040624642544 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) S 7713 7713 3690 0 -1 1077944384 360 0 0 0 6 0 0 0 20 0 15 0 517291753 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040623590000 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) S 7713 7713 3690 0 -1 1077944384 952 0 0 0 12 0 0 0 20 0 15 0 517291753 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040622537456 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291754 15512608768 12489 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51412 KiB
[startup+0.701283 s]
/proc/loadavg: 1.63 1.62 1.64 6/234 7729
/proc/meminfo: memFree=22662012/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15151156 memory=73688 CPUtime=1.63 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 15587 0 0 0 158 5 0 0 20 0 15 0 517291748 15514783744 18422 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3787789 18422 3451 1 0 3748889 0
[pid=7715/tid=7716] ppid=7713 vsize=15151156 memory=35700 CPUtime=0.68 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) R 7713 7713 3690 0 -1 4202560 9011 0 0 0 65 3 0 0 20 0 15 0 517291748 15514783744 18422 33554432000 4194304 4196468 140737181656480 140041165368256 140041145506736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15151156 memory=496 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15514783744 18422 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15514783744 18422 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291749 15514783744 18422 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15151156 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517291749 15514783744 18422 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517291750 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040627798944 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040626746352 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15151156 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15151156 memory=1768 CPUtime=0.28 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) R 7713 7713 3690 0 -1 4202560 1772 0 0 0 28 0 0 0 20 0 15 0 517291753 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040624635032 140041140494334 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15151156 memory=111628 CPUtime=0.34 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) R 7713 7713 3690 0 -1 4202560 1499 0 0 0 34 0 0 0 20 0 15 0 517291753 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040623571016 140041142674393 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15151156 memory=804 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) S 7713 7713 3690 0 -1 1077944384 1995 0 0 0 30 0 0 0 20 0 15 0 517291753 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040622537456 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517291754 15514783744 18422 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 75144 KiB
[startup+1.50092 s]
/proc/loadavg: 1.63 1.62 1.64 5/234 7729
/proc/meminfo: memFree=22610216/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15151156 memory=361992 CPUtime=157.31 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 54370 0 0 0 15700 31 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3787789 90498 3501 1 0 3748889 0
[pid=7715/tid=7716] ppid=7713 vsize=15151156 memory=246956 CPUtime=152.76 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) R 7713 7713 3690 0 -1 4202560 17260 0 0 0 15266 10 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041165369584 140040785368389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15151156 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 1579 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15151156 memory=1456 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 974 0 0 0 26 4 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15151156 memory=3280 CPUtime=0.29 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 878 0 0 0 26 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15151156 memory=65832 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 570 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15151156 memory=28 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 1595 0 0 0 35 3 0 0 20 0 15 0 517291750 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040627799008 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040626746368 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15151156 memory=7014751519583655524 CPUtime=1.23 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) S 7713 7713 3690 0 -1 1077944384 16194 0 0 0 121 2 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040624642544 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15151156 memory=6225185605443610457 CPUtime=1.2 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) S 7713 7713 3690 0 -1 1077944384 8129 0 0 0 120 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040623590000 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15151156 memory=8112282956445269571 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) S 7713 7713 3690 0 -1 1077944384 4600 0 0 0 38 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040622537456 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15151156 memory=304776 CPUtime=0.05 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1187 0 0 0 3 2 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 157.31 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 363448 KiB
[startup+154.401 s]
/proc/loadavg: 1.66 1.66 1.66 3/234 7742
/proc/meminfo: memFree=21759584/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15151156 memory=361992 CPUtime=158.11 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 54375 0 0 0 15780 31 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3787789 90498 3501 1 0 3748889 0
[pid=7715/tid=7716] ppid=7713 vsize=15151156 memory=1428 CPUtime=153.56 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) R 7713 7713 3690 0 -1 4202560 17265 0 0 0 15346 10 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041165369472 140040784595473 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15151156 memory=1716 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 1579 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15151156 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 974 0 0 0 26 4 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15151156 memory=6212 CPUtime=0.29 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 878 0 0 0 26 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15151156 memory=1456 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 570 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15151156 memory=361992 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 1595 0 0 0 35 3 0 0 20 0 15 0 517291750 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15151156 memory=361992 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040627799008 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15151156 memory=319004 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040626746368 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15151156 memory=1212 CPUtime=1.23 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) S 7713 7713 3690 0 -1 1077944384 16194 0 0 0 121 2 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040624642544 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15151156 memory=1456 CPUtime=1.2 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) S 7713 7713 3690 0 -1 1077944384 8129 0 0 0 120 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040623590000 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15151156 memory=184848 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) S 7713 7713 3690 0 -1 1077944384 4600 0 0 0 38 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040622537456 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15151156 memory=2052 CPUtime=0.06 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1187 0 0 0 3 3 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 158.11 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 363448 KiB
[startup+154.801 s]
/proc/loadavg: 1.66 1.66 1.66 3/234 7742
/proc/meminfo: memFree=21759584/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15151156 memory=361992 CPUtime=158.51 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 54377 0 0 0 15820 31 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3787789 90498 3501 1 0 3748889 0
[pid=7715/tid=7716] ppid=7713 vsize=15151156 memory=8112282956445269571 CPUtime=153.96 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) R 7713 7713 3690 0 -1 4202560 17267 0 0 0 15386 10 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041165369472 140040784595595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15151156 memory=361992 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 1579 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15151156 memory=35700 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 974 0 0 0 26 4 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15151156 memory=496 CPUtime=0.29 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 878 0 0 0 26 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15151156 memory=1564 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 570 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15151156 memory=928 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 1595 0 0 0 35 3 0 0 20 0 15 0 517291750 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15151156 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040627799008 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040626746368 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15151156 memory=361992 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15151156 memory=728 CPUtime=1.23 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) S 7713 7713 3690 0 -1 1077944384 16194 0 0 0 121 2 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040624642544 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15151156 memory=3956 CPUtime=1.2 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) S 7713 7713 3690 0 -1 1077944384 8129 0 0 0 120 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040623590000 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15151156 memory=2832 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) S 7713 7713 3690 0 -1 1077944384 4600 0 0 0 38 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040622537456 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15151156 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15151156 memory=3280 CPUtime=0.06 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1187 0 0 0 3 3 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 158.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 363448 KiB
[startup+154.901 s]
/proc/loadavg: 1.66 1.66 1.66 3/234 7742
/proc/meminfo: memFree=21759584/32770624 swapFree=67003060/67108860
[pid=7713] ppid=7710 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7713/stat : 7713 (xcsp3-exec) S 7710 7713 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517291748 115843072 364 33554432000 4194304 5098028 140726274766128 140726274764232 140036695896700 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13062144 140726274773846 140726274774105 140726274774105 140726274777030 0
/proc/7713/statm: 28282 364 305 221 0 87 0
[pid=7715] ppid=7713 vsize=15151156 memory=361992 CPUtime=158.61 cores=1,3,5,7
/proc/7715/stat : 7715 (java) S 7713 7713 3690 0 -1 1077944320 54378 0 0 0 15830 31 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140737181639024 140041161129719 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
/proc/7715/statm: 3787789 90498 3501 1 0 3748889 0
[pid=7715/tid=7716] ppid=7713 vsize=15151156 memory=361992 CPUtime=154.06 cores=1,3,5,7
/proc/7715/task/7716/stat : 7716 (java) R 7713 7713 3690 0 -1 4202560 17268 0 0 0 15396 10 0 0 20 0 15 0 517291748 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041165369472 140040784595360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7717] ppid=7713 vsize=15151156 memory=361992 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7717/stat : 7717 (java) S 7713 7713 3690 0 -1 1077944384 1579 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041113750288 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7718] ppid=7713 vsize=15151156 memory=1456 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7718/stat : 7718 (java) S 7713 7713 3690 0 -1 1077944384 974 0 0 0 26 4 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041112697744 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7719] ppid=7713 vsize=15151156 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/7715/task/7719/stat : 7719 (java) S 7713 7713 3690 0 -1 1077944384 878 0 0 0 26 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041111645200 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7720] ppid=7713 vsize=15151156 memory=65832 CPUtime=0.3 cores=1,3,5,7
/proc/7715/task/7720/stat : 7720 (java) S 7713 7713 3690 0 -1 1077944384 570 0 0 0 27 3 0 0 20 0 15 0 517291749 15514783744 90498 33554432000 4194304 4196468 140737181656480 140041110592656 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7721] ppid=7713 vsize=15151156 memory=988 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7721/stat : 7721 (java) S 7713 7713 3690 0 -1 1077944384 1595 0 0 0 35 3 0 0 20 0 15 0 517291750 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040628852720 140041161140866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7722] ppid=7713 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7722/stat : 7722 (java) S 7713 7713 3690 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040627799008 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7723] ppid=7713 vsize=15151156 memory=361920 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7723/stat : 7723 (java) S 7713 7713 3690 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 517291751 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040626746368 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7724] ppid=7713 vsize=15151156 memory=361992 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7724/stat : 7724 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040625694928 140041161148315 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7725] ppid=7713 vsize=15151156 memory=1456 CPUtime=1.23 cores=1,3,5,7
/proc/7715/task/7725/stat : 7725 (java) S 7713 7713 3690 0 -1 1077944384 16194 0 0 0 121 2 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040624642544 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7726] ppid=7713 vsize=15151156 memory=14318 CPUtime=1.2 cores=1,3,5,7
/proc/7715/task/7726/stat : 7726 (java) S 7713 7713 3690 0 -1 1077944384 8129 0 0 0 120 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040623590000 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7727] ppid=7713 vsize=15151156 memory=30 CPUtime=0.38 cores=1,3,5,7
/proc/7715/task/7727/stat : 7727 (java) S 7713 7713 3690 0 -1 1077944384 4600 0 0 0 38 0 0 0 20 0 15 0 517291753 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040622537456 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7728] ppid=7713 vsize=15151156 memory=65832 CPUtime=0 cores=1,3,5,7
/proc/7715/task/7728/stat : 7728 (java) S 7713 7713 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040621485152 140041161139925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
[pid=7715/tid=7729] ppid=7713 vsize=15151156 memory=988 CPUtime=0.06 cores=1,3,5,7
/proc/7715/task/7729/stat : 7729 (java) S 7713 7713 3690 0 -1 1077944384 1187 0 0 0 3 3 0 0 20 0 15 0 517291754 15514783744 90498 33554432000 4194304 4196468 140737181656480 140040620431664 140041161140866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 28319744 140737181664219 140737181664394 140737181664394 140737181667279 0
Current children cumulated CPU time: 158.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 363448 KiB
Child status: 0
Real time (s): 154.979
CPU time (s): 158.693
CPU user time (s): 158.371
CPU system time (s): 0.321651
CPU usage (%): 102.396
Max. virtual memory (cumulated for all children) (KiB): 15266592
Max. memory (cumulated for all children) (KiB): 363448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.371
system time used= 0.321651
maximum resident set size= 362276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14990
involuntary context switches= 399
# summary of solver processes directly reported to runsolver:
# pid: 7713
# total CPU time (s): 158.693
# total CPU user time (s): 158.371
# total CPU system time (s): 0.321651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.992649 second user time and 1.54075 second system time
The end