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 (9688 MiB free)
memory of node 1: 16384 MiB (9556 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393317-1568345449/watcher-4393317-1568345449 -o /tmp/evaluation-result-4393317-1568345449/solver-4393317-1568345449 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 156107910 HOME/instance-4393317-1568345449.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
solver pid=5809, runsolver pid=5806
Current StackSize limit: 8192 KiB
[startup+0.100606 s]*
/proc/loadavg: 8.41 8.45 7.68 9/233 5825
/proc/meminfo: memFree=19689380/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
[pid=5811] ppid=5809 vsize=15144768 memory=30116 CPUtime=0.13 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5809 5809 3331 0 -1 1077944320 5515 0 0 0 12 1 0 0 20 0 15 0 410485078 15508242432 7529 33554432000 4194304 4196468 140721999507008 140721999489552 139967181885175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
/proc/5811/statm: 3786192 7529 3118 1 0 3748377 0
[pid=5811/tid=5812] ppid=5809 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/5811/task/5812/stat : 5812 (java) R 5809 5809 3331 0 -1 4202560 3402 0 0 0 9 0 0 0 20 0 15 0 410485078 15508242432 7595 33554432000 4194304 4196468 140721999507008 139967186116496 139966818352513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5813] ppid=5809 vsize=15144768 memory=3472468356409500880 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 7595 33554432000 4194304 4196468 140721999507008 139967147166480 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5814] ppid=5809 vsize=15144768 memory=140227514349184 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966773308304 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5815] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966772255760 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5816] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5809 5809 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966771203216 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5817] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5809 5809 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410485080 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966650603504 139967181896322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5818] ppid=5809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5809 5809 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410485081 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966649549728 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5819] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5809 5809 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410485081 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966648497136 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5820] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410485083 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966647445712 139967181903771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5821] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) R 5809 5809 3331 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 15 0 410485083 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966646393424 139967167011069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5822] ppid=5809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) R 5809 5809 3331 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410485083 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966645340784 139967181896322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5823] ppid=5809 vsize=15144768 memory=140227514349184 CPUtime=0.02 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5809 5809 3331 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 410485083 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966644288240 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5824] ppid=5809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410485084 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966643235936 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5825] ppid=5809 vsize=15144768 memory=140227514349184 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485084 15508242432 7595 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31564 KiB
[startup+0.213737 s]*
/proc/loadavg: 8.41 8.45 7.68 9/233 5825
/proc/meminfo: memFree=19678172/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
[pid=5811] ppid=5809 vsize=15144768 memory=40452 CPUtime=0.34 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5809 5809 3331 0 -1 1077944320 8860 0 0 0 32 2 0 0 20 0 15 0 410485078 15508242432 10113 33554432000 4194304 4196468 140721999507008 140721999489552 139967181885175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
/proc/5811/statm: 3786192 10113 3263 1 0 3748377 0
[pid=5811/tid=5812] ppid=5809 vsize=15144768 memory=4212167822348820889 CPUtime=0.21 cores=1,3,5,7
/proc/5811/task/5812/stat : 5812 (java) R 5809 5809 3331 0 -1 4202560 6169 0 0 0 19 2 0 0 20 0 15 0 410485078 15508242432 10113 33554432000 4194304 4196468 140721999507008 139967186122400 139967181907101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5813] ppid=5809 vsize=15144768 memory=3472468356409500880 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 10113 33554432000 4194304 4196468 140721999507008 139967147166480 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5814] ppid=5809 vsize=15144768 memory=140227514349184 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966773308304 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5815] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966772255760 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5816] ppid=5809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5809 5809 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410485079 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966771203216 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5817] ppid=5809 vsize=15144768 memory=140227514349184 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5809 5809 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410485080 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966650603504 139967181896322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5818] ppid=5809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5809 5809 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410485081 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966649549728 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5819] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5809 5809 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410485081 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966648497136 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5820] ppid=5809 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410485083 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966647445712 139967181903771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5821] ppid=5809 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5809 5809 3331 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 410485083 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966646393328 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5822] ppid=5809 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5809 5809 3331 0 -1 1077944384 245 0 0 0 3 0 0 0 20 0 15 0 410485083 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966645340784 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5823] ppid=5809 vsize=15144768 memory=140227514349184 CPUtime=0.08 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5809 5809 3331 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 410485083 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966644288240 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5824] ppid=5809 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410485084 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966643235936 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5825] ppid=5809 vsize=15144768 memory=140227514349184 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485084 15508242432 10113 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41900 KiB
[startup+0.31062 s]*
/proc/loadavg: 8.41 8.45 7.68 8/233 5825
/proc/meminfo: memFree=19671236/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
[pid=5811] ppid=5809 vsize=15149024 memory=50252 CPUtime=0.53 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5809 5809 3331 0 -1 1077944320 10325 0 0 0 50 3 0 0 20 0 15 0 410485078 15512600576 12498 33554432000 4194304 4196468 140721999507008 140721999489552 139967181885175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
/proc/5811/statm: 3787256 12563 3367 1 0 3748377 0
[pid=5811/tid=5812] ppid=5809 vsize=15149024 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/5811/task/5812/stat : 5812 (java) R 5809 5809 3331 0 -1 4202560 7315 0 0 0 27 2 0 0 20 0 15 0 410485078 15512600576 12567 33554432000 4194304 4196468 140721999507008 139967186114040 139967181907101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5813] ppid=5809 vsize=15149024 memory=3472468356409500880 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15512600576 12567 33554432000 4194304 4196468 140721999507008 139967147166480 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5814] ppid=5809 vsize=15149024 memory=140227514349184 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966773308304 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5815] ppid=5809 vsize=15149024 memory=5 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485079 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966772255760 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5816] ppid=5809 vsize=15149024 memory=140227394021407 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5809 5809 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410485079 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966771203216 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5817] ppid=5809 vsize=15149024 memory=280454788022048 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5809 5809 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410485080 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966650603504 139967181896322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5818] ppid=5809 vsize=15149024 memory=140227393998351 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5809 5809 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410485081 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966649549728 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5819] ppid=5809 vsize=15149024 memory=280454908356704 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5809 5809 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410485081 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966648497136 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5820] ppid=5809 vsize=15149024 memory=140227394002959 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410485083 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966647445712 139967181903771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5821] ppid=5809 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5809 5809 3331 0 -1 1077944384 427 0 0 0 4 0 0 0 20 0 15 0 410485083 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966646393328 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5822] ppid=5809 vsize=15149024 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) R 5809 5809 3331 0 -1 4202560 355 0 0 0 6 0 0 0 20 0 15 0 410485083 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966645321800 139967162521059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5823] ppid=5809 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5809 5809 3331 0 -1 1077944384 933 0 0 0 12 0 0 0 20 0 15 0 410485083 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966644288240 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5824] ppid=5809 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410485084 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966643235936 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5825] ppid=5809 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410485084 15512600576 12567 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51700 KiB
[startup+0.706598 s]
/proc/loadavg: 8.41 8.45 7.68 8/233 5825
/proc/meminfo: memFree=19653372/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
[pid=5811] ppid=5809 vsize=15484996 memory=166808 CPUtime=1.64 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5809 5809 3331 0 -1 1077944320 14272 0 0 0 158 6 0 0 20 0 18 0 410485078 15856635904 41702 33554432000 4194304 4196468 140721999507008 140721999489552 139967181885175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
/proc/5811/statm: 3871249 41702 3461 1 0 3832351 0
[pid=5811/tid=5812] ppid=5809 vsize=15484996 memory=4639059877604708710 CPUtime=0.51 cores=1,3,5,7
/proc/5811/task/5812/stat : 5812 (java) S 5809 5809 3331 0 -1 1077944384 8246 0 0 0 48 3 0 0 20 0 18 0 410485078 15856635904 41702 33554432000 4194304 4196468 140721999507008 139967186125952 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5813] ppid=5809 vsize=15484996 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5809 5809 3331 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 18 0 410485079 15856635904 41702 33554432000 4194304 4196468 140721999507008 139967147166480 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5814] ppid=5809 vsize=15484996 memory=6935649256029252945 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 410485079 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966773308304 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5815] ppid=5809 vsize=15484996 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 410485079 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966772255760 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5816] ppid=5809 vsize=15484996 memory=7100839870140027543 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5809 5809 3331 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 18 0 410485079 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966771203216 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5817] ppid=5809 vsize=15484996 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5809 5809 3331 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 18 0 410485080 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966650603504 139967181896322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5818] ppid=5809 vsize=15484996 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5809 5809 3331 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 18 0 410485081 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966649549728 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5819] ppid=5809 vsize=15484996 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5809 5809 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 410485081 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966648497136 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5820] ppid=5809 vsize=15484996 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 410485083 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966647445712 139967181903771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5821] ppid=5809 vsize=15484996 memory=1660 CPUtime=0.21 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) R 5809 5809 3331 0 -1 4202560 985 0 0 0 21 0 0 0 20 0 18 0 410485083 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966646381200 139967165379411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5822] ppid=5809 vsize=15484996 memory=38696 CPUtime=0.26 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) R 5809 5809 3331 0 -1 4202560 881 0 0 0 26 0 0 0 20 0 18 0 410485083 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966645327568 139967165347544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5823] ppid=5809 vsize=15484996 memory=988 CPUtime=0.35 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) R 5809 5809 3331 0 -1 1077944384 1754 0 0 0 35 0 0 0 20 0 18 0 410485083 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966644288240 139967181896322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5824] ppid=5809 vsize=15484996 memory=5793994532452520804 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 410485084 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966643235936 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5825] ppid=5809 vsize=15484996 memory=8099279071866868836 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 410485084 15856635904 41702 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 168256 KiB
[startup+1.5096 s]
/proc/loadavg: 8.41 8.45 7.68 8/237 5881
/proc/meminfo: memFree=19534852/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 524 0 0 0 3 6 0 0 20 0 19 0 410485084 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5954] ppid=5809 vsize=15484996 memory=189440 CPUtime=212.56 cores=1,3,5,7
/proc/5811/task/5954/stat : 5954 (java) S 5809 5809 3331 0 -1 1077944384 1021 0 0 0 21256 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966627712448 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5955] ppid=5809 vsize=15484996 memory=2124 CPUtime=212.87 cores=1,3,5,7
/proc/5811/task/5955/stat : 5955 (java) S 5809 5809 3331 0 -1 1077944384 2313 0 0 0 21287 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966631924688 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5956] ppid=5809 vsize=15484996 memory=1448 CPUtime=212.34 cores=1,3,5,7
/proc/5811/task/5956/stat : 5956 (java) S 5809 5809 3331 0 -1 1077944384 3279 0 0 0 21234 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966629819472 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5957] ppid=5809 vsize=15484996 memory=1448 CPUtime=273.2 cores=1,3,5,7
/proc/5811/task/5957/stat : 5957 (java) R 5809 5809 3331 0 -1 4202560 1195 0 0 0 27320 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966632972160 139966824953698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 924.66 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 190888 KiB
[startup+279.201 s]
/proc/loadavg: 6.25 7.91 7.72 6/237 5986
/proc/meminfo: memFree=19511808/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
[pid=5811] ppid=5809 vsize=15484996 memory=189440 CPUtime=925.47 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5809 5809 3331 0 -1 1077944320 65277 0 0 0 92516 31 0 0 20 0 19 0 410485078 15856635904 47360 33554432000 4194304 4196468 140721999507008 140721999489552 139967181885175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
/proc/5811/statm: 3871249 47360 3514 1 0 3832351 0
[pid=5811/tid=5812] ppid=5809 vsize=15484996 memory=1660 CPUtime=0.51 cores=1,3,5,7
/proc/5811/task/5812/stat : 5812 (java) S 5809 5809 3331 0 -1 1077944384 8336 0 0 0 48 3 0 0 20 0 19 0 410485078 15856635904 47360 33554432000 4194304 4196468 140721999507008 139967186125952 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5813] ppid=5809 vsize=15484996 memory=38696 CPUtime=0.25 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5809 5809 3331 0 -1 1077944384 2639 0 0 0 22 3 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139967147166480 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5814] ppid=5809 vsize=15484996 memory=988 CPUtime=0.24 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5809 5809 3331 0 -1 1077944384 1353 0 0 0 22 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966773308304 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5815] ppid=5809 vsize=15484996 memory=2008 CPUtime=0.24 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5809 5809 3331 0 -1 1077944384 2436 0 0 0 22 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966772255760 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5816] ppid=5809 vsize=15484996 memory=1436 CPUtime=0.25 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5809 5809 3331 0 -1 1077944384 2076 0 0 0 23 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966771203216 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5817] ppid=5809 vsize=15484996 memory=1448 CPUtime=0.18 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5809 5809 3331 0 -1 1077944384 2265 0 0 0 10 8 0 0 20 0 19 0 410485080 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966650603504 139967181896322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5818] ppid=5809 vsize=15484996 memory=189440 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5809 5809 3331 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 410485081 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966649549792 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5819] ppid=5809 vsize=15484996 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5809 5809 3331 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 410485081 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966648497152 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5820] ppid=5809 vsize=15484996 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966647445712 139967181903771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5821] ppid=5809 vsize=15484996 memory=776 CPUtime=2.45 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5809 5809 3331 0 -1 1077944384 11869 0 0 0 244 1 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966646393328 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5822] ppid=5809 vsize=15484996 memory=1564 CPUtime=2.52 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5809 5809 3331 0 -1 1077944384 16565 0 0 0 252 0 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966645340784 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5823] ppid=5809 vsize=15484996 memory=5964 CPUtime=0.6 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5809 5809 3331 0 -1 1077944384 5863 0 0 0 59 1 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966644288240 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5824] ppid=5809 vsize=15484996 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410485084 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966643235936 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5825] ppid=5809 vsize=15484996 memory=2828 CPUtime=0.09 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 524 0 0 0 3 6 0 0 20 0 19 0 410485084 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5954] ppid=5809 vsize=15484996 memory=1216 CPUtime=212.56 cores=1,3,5,7
/proc/5811/task/5954/stat : 5954 (java) S 5809 5809 3331 0 -1 1077944384 1021 0 0 0 21256 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966627712448 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5955] ppid=5809 vsize=15484996 memory=984 CPUtime=212.87 cores=1,3,5,7
/proc/5811/task/5955/stat : 5955 (java) S 5809 5809 3331 0 -1 1077944384 2313 0 0 0 21287 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966631924688 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5956] ppid=5809 vsize=15484996 memory=14004 CPUtime=212.34 cores=1,3,5,7
/proc/5811/task/5956/stat : 5956 (java) S 5809 5809 3331 0 -1 1077944384 3279 0 0 0 21234 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966629819472 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5957] ppid=5809 vsize=15484996 memory=580 CPUtime=274 cores=1,3,5,7
/proc/5811/task/5957/stat : 5957 (java) R 5809 5809 3331 0 -1 4202560 1195 0 0 0 27400 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966632972160 139966824953840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 925.47 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 190888 KiB
[startup+280.001 s]*
/proc/loadavg: 6.25 7.91 7.72 6/237 5986
/proc/meminfo: memFree=19511792/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
[pid=5811] ppid=5809 vsize=15484996 memory=189440 CPUtime=926.28 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5809 5809 3331 0 -1 1077944320 65277 0 0 0 92597 31 0 0 20 0 19 0 410485078 15856635904 47360 33554432000 4194304 4196468 140721999507008 140721999489552 139967181885175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
/proc/5811/statm: 3871249 47360 3514 1 0 3832351 0
[pid=5811/tid=5812] ppid=5809 vsize=15484996 memory=8112282956445269571 CPUtime=0.51 cores=1,3,5,7
/proc/5811/task/5812/stat : 5812 (java) S 5809 5809 3331 0 -1 1077944384 8336 0 0 0 48 3 0 0 20 0 19 0 410485078 15856635904 47360 33554432000 4194304 4196468 140721999507008 139967186125952 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5813] ppid=5809 vsize=15484996 memory=-7003737579269690708 CPUtime=0.25 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5809 5809 3331 0 -1 1077944384 2639 0 0 0 22 3 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139967147166480 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5814] ppid=5809 vsize=15484996 memory=2580 CPUtime=0.24 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5809 5809 3331 0 -1 1077944384 1353 0 0 0 22 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966773308304 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5815] ppid=5809 vsize=15484996 memory=1760 CPUtime=0.24 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5809 5809 3331 0 -1 1077944384 2436 0 0 0 22 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966772255760 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5816] ppid=5809 vsize=15484996 memory=111636 CPUtime=0.25 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5809 5809 3331 0 -1 1077944384 2076 0 0 0 23 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966771203216 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5817] ppid=5809 vsize=15484996 memory=800 CPUtime=0.18 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5809 5809 3331 0 -1 1077944384 2265 0 0 0 10 8 0 0 20 0 19 0 410485080 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966650603504 139967181896322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5818] ppid=5809 vsize=15484996 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5809 5809 3331 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 410485081 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966649549792 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5819] ppid=5809 vsize=15484996 memory=924 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5809 5809 3331 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 410485081 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966648497152 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5820] ppid=5809 vsize=15484996 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966647445712 139967181903771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5821] ppid=5809 vsize=15484996 memory=4100 CPUtime=2.45 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5809 5809 3331 0 -1 1077944384 11869 0 0 0 244 1 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966646393328 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5822] ppid=5809 vsize=15484996 memory=2704 CPUtime=2.52 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5809 5809 3331 0 -1 1077944384 16565 0 0 0 252 0 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966645340784 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5823] ppid=5809 vsize=15484996 memory=2588 CPUtime=0.6 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5809 5809 3331 0 -1 1077944384 5863 0 0 0 59 1 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966644288240 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5824] ppid=5809 vsize=15484996 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410485084 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966643235936 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5825] ppid=5809 vsize=15484996 memory=3324 CPUtime=0.09 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 524 0 0 0 3 6 0 0 20 0 19 0 410485084 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5954] ppid=5809 vsize=15484996 memory=1452 CPUtime=212.56 cores=1,3,5,7
/proc/5811/task/5954/stat : 5954 (java) S 5809 5809 3331 0 -1 1077944384 1021 0 0 0 21256 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966627712448 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5955] ppid=5809 vsize=15484996 memory=199844 CPUtime=212.87 cores=1,3,5,7
/proc/5811/task/5955/stat : 5955 (java) S 5809 5809 3331 0 -1 1077944384 2313 0 0 0 21287 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966631924688 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5956] ppid=5809 vsize=15484996 memory=1412 CPUtime=212.34 cores=1,3,5,7
/proc/5811/task/5956/stat : 5956 (java) S 5809 5809 3331 0 -1 1077944384 3279 0 0 0 21234 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966629819472 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5957] ppid=5809 vsize=15484996 memory=3272 CPUtime=274.81 cores=1,3,5,7
/proc/5811/task/5957/stat : 5957 (java) R 5809 5809 3331 0 -1 4202560 1195 0 0 0 27481 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966632972160 139966824953735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 926.28 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 190888 KiB
[startup+280.201 s]
/proc/loadavg: 6.25 7.91 7.72 6/237 5986
/proc/meminfo: memFree=19511792/32770624 swapFree=66959216/67108860
[pid=5809] ppid=5806 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5809/stat : 5809 (xcsp3-exec) S 5806 5809 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410485078 115843072 362 33554432000 4194304 5098028 140735590399600 140735590397704 140695027593852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23199744 140735590404987 140735590405229 140735590405229 140735590408138 0
/proc/5809/statm: 28282 362 304 221 0 87 0
[pid=5811] ppid=5809 vsize=15484996 memory=189440 CPUtime=926.47 cores=1,3,5,7
/proc/5811/stat : 5811 (java) S 5809 5809 3331 0 -1 1077944320 65277 0 0 0 92616 31 0 0 20 0 19 0 410485078 15856635904 47360 33554432000 4194304 4196468 140721999507008 140721999489552 139967181885175 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
/proc/5811/statm: 3871249 47360 3514 1 0 3832351 0
[pid=5811/tid=5812] ppid=5809 vsize=15484996 memory=15818902244427989 CPUtime=0.51 cores=1,3,5,7
/proc/5811/task/5812/stat : 5812 (java) S 5809 5809 3331 0 -1 1077944384 8336 0 0 0 48 3 0 0 20 0 19 0 410485078 15856635904 47360 33554432000 4194304 4196468 140721999507008 139967186125952 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5813] ppid=5809 vsize=15484996 memory=3360 CPUtime=0.25 cores=1,3,5,7
/proc/5811/task/5813/stat : 5813 (java) S 5809 5809 3331 0 -1 1077944384 2639 0 0 0 22 3 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139967147166480 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5814] ppid=5809 vsize=15484996 memory=776 CPUtime=0.24 cores=1,3,5,7
/proc/5811/task/5814/stat : 5814 (java) S 5809 5809 3331 0 -1 1077944384 1353 0 0 0 22 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966773308304 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5815] ppid=5809 vsize=15484996 memory=1564 CPUtime=0.24 cores=1,3,5,7
/proc/5811/task/5815/stat : 5815 (java) S 5809 5809 3331 0 -1 1077944384 2436 0 0 0 22 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966772255760 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5816] ppid=5809 vsize=15484996 memory=5964 CPUtime=0.25 cores=1,3,5,7
/proc/5811/task/5816/stat : 5816 (java) S 5809 5809 3331 0 -1 1077944384 2076 0 0 0 23 2 0 0 20 0 19 0 410485079 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966771203216 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5817] ppid=5809 vsize=15484996 memory=1060 CPUtime=0.18 cores=1,3,5,7
/proc/5811/task/5817/stat : 5817 (java) S 5809 5809 3331 0 -1 1077944384 2265 0 0 0 10 8 0 0 20 0 19 0 410485080 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966650603504 139967181896322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5818] ppid=5809 vsize=15484996 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5818/stat : 5818 (java) S 5809 5809 3331 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 410485081 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966649549792 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5819] ppid=5809 vsize=15484996 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5819/stat : 5819 (java) S 5809 5809 3331 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 410485081 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966648497152 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5820] ppid=5809 vsize=15484996 memory=984 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5820/stat : 5820 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966647445712 139967181903771 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5821] ppid=5809 vsize=15484996 memory=14004 CPUtime=2.45 cores=1,3,5,7
/proc/5811/task/5821/stat : 5821 (java) S 5809 5809 3331 0 -1 1077944384 11869 0 0 0 244 1 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966646393328 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5822] ppid=5809 vsize=15484996 memory=20696 CPUtime=2.52 cores=1,3,5,7
/proc/5811/task/5822/stat : 5822 (java) S 5809 5809 3331 0 -1 1077944384 16565 0 0 0 252 0 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966645340784 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5823] ppid=5809 vsize=15484996 memory=14048 CPUtime=0.6 cores=1,3,5,7
/proc/5811/task/5823/stat : 5823 (java) S 5809 5809 3331 0 -1 1077944384 5863 0 0 0 59 1 0 0 20 0 19 0 410485083 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966644288240 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5824] ppid=5809 vsize=15484996 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5811/task/5824/stat : 5824 (java) S 5809 5809 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410485084 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966643235936 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5825] ppid=5809 vsize=15484996 memory=189440 CPUtime=0.09 cores=1,3,5,7
/proc/5811/task/5825/stat : 5825 (java) S 5809 5809 3331 0 -1 1077944384 524 0 0 0 3 6 0 0 20 0 19 0 410485084 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966642182448 139967181896322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5954] ppid=5809 vsize=15484996 memory=8112282956445269571 CPUtime=212.56 cores=1,3,5,7
/proc/5811/task/5954/stat : 5954 (java) S 5809 5809 3331 0 -1 1077944384 1021 0 0 0 21256 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966627712448 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5955] ppid=5809 vsize=15484996 memory=-7003737579269690708 CPUtime=212.87 cores=1,3,5,7
/proc/5811/task/5955/stat : 5955 (java) S 5809 5809 3331 0 -1 1077944384 2313 0 0 0 21287 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966631924688 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5956] ppid=5809 vsize=15484996 memory=7100839861465685612 CPUtime=212.34 cores=1,3,5,7
/proc/5811/task/5956/stat : 5956 (java) S 5809 5809 3331 0 -1 1077944384 3279 0 0 0 21234 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966629819472 139967181895381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
[pid=5811/tid=5957] ppid=5809 vsize=15484996 memory=-7175204567652784766 CPUtime=275 cores=1,3,5,7
/proc/5811/task/5957/stat : 5957 (java) R 5809 5809 3331 0 -1 4202560 1195 0 0 0 27500 0 0 0 20 0 19 0 410485416 15856635904 47360 33554432000 4194304 4196468 140721999507008 139966632972160 139966824953698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15872000 140721999512559 140721999512730 140721999512730 140721999515599 0
Current children cumulated CPU time: 926.47 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 190888 KiB
Child status: 0
Real time (s): 280.289
CPU time (s): 926.571
CPU user time (s): 926.246
CPU system time (s): 0.324943
CPU usage (%): 330.577
Max. virtual memory (cumulated for all children) (KiB): 15598124
Max. memory (cumulated for all children) (KiB): 222388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 926.246
system time used= 0.324943
maximum resident set size= 225036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66304
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11964
involuntary context switches= 16700
# summary of solver processes directly reported to runsolver:
# pid: 5809
# total CPU time (s): 926.571
# total CPU user time (s): 926.246
# total CPU system time (s): 0.324943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.79384 second user time and 3.23418 second system time
The end