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 (8826 MiB free)
memory of node 1: 16384 MiB (6249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403656-1568991637/watcher-4403656-1568991637 -o /var/tmp/evaluation-result-4403656-1568991637/solver-4403656-1568991637 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 335183377 HOME/instance-4403656-1568991637.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8707, runsolver pid=8704
Current StackSize limit: 8192 KiB
[startup+0.100125 s]*
/proc/loadavg: 9.09 8.64 8.29 2/210 8723
/proc/meminfo: memFree=15445228/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
[pid=8709] ppid=8707 vsize=15144776 memory=27608 CPUtime=0.13 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 1883 0 -1 1077944320 5807 0 0 0 11 2 0 0 20 0 15 0 475419325 15508250624 6902 33554432000 4194304 4196468 140727527014320 140727526996864 139835914522359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
/proc/8709/statm: 3786194 6902 3157 1 0 3748377 0
[pid=8709/tid=8710] ppid=8707 vsize=15144776 memory=7100839852556125036 CPUtime=0.09 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 1883 0 -1 4202560 3708 0 0 0 8 1 0 0 20 0 15 0 475419326 15508250624 6902 33554432000 4194304 4196468 140727527014320 139835918747200 139835914534294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8711] ppid=8707 vsize=15144776 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 6902 33554432000 4194304 4196468 140727527014320 139835882080784 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8712] ppid=8707 vsize=15144776 memory=140182313219712 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 6902 33554432000 4194304 4196468 140727527014320 139835506092688 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8713] ppid=8707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 6902 33554432000 4194304 4196468 140727527014320 139835505039632 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8714] ppid=8707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 6902 33554432000 4194304 4196468 140727527014320 139835503987088 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8715] ppid=8707 vsize=15144776 memory=140182313219712 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475419328 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834787670768 139835914533506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8716] ppid=8707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475419328 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834786616992 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8717] ppid=8707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475419328 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834785563888 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8718] ppid=8707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834784512464 139835914540955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8719] ppid=8707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 1883 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834783459568 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 1883 0 -1 1077944384 399 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834782407024 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15144776 memory=140182313219712 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 1883 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 15 0 475419331 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834781353968 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15144776 memory=140182313219712 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 6902 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29060 KiB
[startup+0.210609 s]*
/proc/loadavg: 9.09 8.64 8.29 2/207 8740
/proc/meminfo: memFree=15457628/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
[pid=8709] ppid=8707 vsize=15144776 memory=39312 CPUtime=0.34 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 1883 0 -1 1077944320 9558 0 0 0 31 3 0 0 20 0 15 0 475419325 15508250624 9828 33554432000 4194304 4196468 140727527014320 140727526996864 139835914522359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
/proc/8709/statm: 3786194 9828 3319 1 0 3748377 0
[pid=8709/tid=8710] ppid=8707 vsize=15144776 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 1883 0 -1 4202560 6645 0 0 0 18 2 0 0 20 0 15 0 475419326 15508250624 9894 33554432000 4194304 4196468 140727527014320 139835918759424 139835907200373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8711] ppid=8707 vsize=15144776 memory=288230596134830103 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 9894 33554432000 4194304 4196468 140727527014320 139835882080784 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8712] ppid=8707 vsize=15144776 memory=3762953953055061664 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 9894 33554432000 4194304 4196468 140727527014320 139835506092688 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8713] ppid=8707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 9894 33554432000 4194304 4196468 140727527014320 139835505039632 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8714] ppid=8707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475419326 15508250624 9894 33554432000 4194304 4196468 140727527014320 139835503987088 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8715] ppid=8707 vsize=15144776 memory=140182313219712 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475419328 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834787670768 139835914533506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8716] ppid=8707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475419328 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834786616992 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8717] ppid=8707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475419328 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834785563888 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8718] ppid=8707 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834784512464 139835914540955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8719] ppid=8707 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 1883 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 475419331 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834783459568 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 1883 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 15 0 475419331 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834782407024 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15144776 memory=140182313219712 CPUtime=0.07 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 1883 0 -1 1077944384 925 0 0 0 7 0 0 0 20 0 15 0 475419331 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834781353968 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15144776 memory=140182313219712 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419331 15508250624 9894 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40764 KiB
[startup+0.310383 s]*
/proc/loadavg: 9.09 8.64 8.29 5/207 8745
/proc/meminfo: memFree=15427248/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
[pid=8709] ppid=8707 vsize=15149032 memory=48212 CPUtime=0.53 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 1883 0 -1 1077944320 10888 0 0 0 49 4 0 0 20 0 15 0 475419325 15512608768 12053 33554432000 4194304 4196468 140727527014320 140727526996864 139835914522359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
/proc/8709/statm: 3787258 12053 3351 1 0 3748377 0
[pid=8709/tid=8710] ppid=8707 vsize=15149032 memory=4640748753518612560 CPUtime=0.3 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) R 8707 8707 1883 0 -1 4202560 7708 0 0 0 27 3 0 0 20 0 15 0 475419326 15512608768 12053 33554432000 4194304 4196468 140727527014320 139835918753472 139835914544285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8711] ppid=8707 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15512608768 12067 33554432000 4194304 4196468 140727527014320 139835882080784 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8712] ppid=8707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15512608768 12067 33554432000 4194304 4196468 140727527014320 139835506092688 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8713] ppid=8707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419326 15512608768 12067 33554432000 4194304 4196468 140727527014320 139835505039632 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8714] ppid=8707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475419326 15512608768 12067 33554432000 4194304 4196468 140727527014320 139835503987088 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8715] ppid=8707 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475419328 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834787670768 139835914533506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8716] ppid=8707 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475419328 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834786616992 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8717] ppid=8707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475419328 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834785563888 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8718] ppid=8707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834784512464 139835914540955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8719] ppid=8707 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) R 8707 8707 1883 0 -1 1077944384 167 0 0 0 3 0 0 0 20 0 15 0 475419331 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834783459568 139835914533506 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 1883 0 -1 1077944384 570 0 0 0 4 0 0 0 20 0 15 0 475419331 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834782407024 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) R 8707 8707 1883 0 -1 4202560 1136 0 0 0 13 0 0 0 20 0 15 0 475419331 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834781353968 139835893543269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475419331 15512608768 12067 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 49664 KiB
[startup+0.700959 s]
/proc/loadavg: 9.09 8.64 8.29 8/233 8815
/proc/meminfo: memFree=15288832/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
[pid=8709] ppid=8707 vsize=15486032 memory=173976 CPUtime=1.63 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 1883 0 -1 1077944320 17677 0 0 0 156 7 0 0 20 0 19 0 475419325 15857696768 43494 33554432000 4194304 4196468 140727527014320 140727526996864 139835914522359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
/proc/8709/statm: 3871508 43494 3479 1 0 3832608 0
[pid=8709/tid=8710] ppid=8707 vsize=15486032 memory=164 CPUtime=0.45 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) S 8707 8707 1883 0 -1 1077944384 9105 0 0 0 42 3 0 0 20 0 19 0 475419326 15857696768 43494 33554432000 4194304 4196468 140727527014320 139835918763136 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8711] ppid=8707 vsize=15486032 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 1883 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 19 0 475419326 15857696768 43494 33554432000 4194304 4196468 140727527014320 139835882080784 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8712] ppid=8707 vsize=15486032 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 1883 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 19 0 475419326 15857696768 43494 33554432000 4194304 4196468 140727527014320 139835506092688 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8713] ppid=8707 vsize=15486032 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 1883 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 19 0 475419326 15857696768 43494 33554432000 4194304 4196468 140727527014320 139835505039632 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8714] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475419326 15857696768 43494 33554432000 4194304 4196468 140727527014320 139835503987088 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8715] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 1883 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475419328 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834787670768 139835914533506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8716] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475419328 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834786616992 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8717] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 1883 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475419328 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834785563888 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8718] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834784512464 139835914540955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8719] ppid=8707 vsize=15486032 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) R 8707 8707 1883 0 -1 4202560 1317 0 0 0 23 0 0 0 20 0 19 0 475419331 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834783440584 139835895224023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15486032 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) R 8707 8707 1883 0 -1 4202560 1595 0 0 0 23 0 0 0 20 0 19 0 475419331 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834782388040 139835895712030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15486032 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) R 8707 8707 1883 0 -1 1077944384 2057 0 0 0 30 0 0 0 20 0 19 0 475419331 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834781353968 139835914533506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15486032 memory=40256 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 43494 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 175428 KiB
[startup+1.51096 s]
/proc/loadavg: 9.09 8.64 8.29 13/236 9058
/proc/meminfo: memFree=15102032/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 1883 0 -1 1077944384 6450 0 0 0 125 0 0 0 20 0 19 0 475419331 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834783459568 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15486032 memory=8076 CPUtime=1.31 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 1883 0 -1 1077944384 9305 0 0 0 130 1 0 0 20 0 19 0 475419331 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834782407024 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15486032 memory=3624 CPUtime=0.44 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 1883 0 -1 1077944384 3183 0 0 0 43 1 0 0 20 0 19 0 475419331 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834781353968 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15486032 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15486032 memory=347192 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9159] ppid=8707 vsize=15486032 memory=280364325078640 CPUtime=8.01 cores=0,2,4,6
/proc/8709/task/9159/stat : 9159 (java) R 8707 8707 1883 0 -1 4202560 170 0 0 0 800 1 0 0 20 0 19 0 475419455 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834765008144 140727528057241 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9160] ppid=8707 vsize=15486032 memory=8257237230706253920 CPUtime=7.98 cores=0,2,4,6
/proc/8709/task/9160/stat : 9160 (java) R 8707 8707 1883 0 -1 4202560 509 0 0 0 798 0 0 0 20 0 19 0 475419455 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834766061584 139835554884213 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9161] ppid=8707 vsize=15486032 memory=0 CPUtime=7.72 cores=0,2,4,6
/proc/8709/task/9161/stat : 9161 (java) R 8707 8707 1883 0 -1 4202560 677 0 0 0 772 0 0 0 20 0 19 0 475419455 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834768163848 139835555888708 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9162] ppid=8707 vsize=15486032 memory=7516877558933115733 CPUtime=7.92 cores=0,2,4,6
/proc/8709/task/9162/stat : 9162 (java) R 8707 8707 1883 0 -1 4202560 516 0 0 0 791 1 0 0 20 0 19 0 475419455 15857696768 87786 33554432000 4194304 4196468 140727527014320 139834767114504 139835552147999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 36.89 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 352596 KiB
[startup+10.001 s]*
/proc/loadavg: 9.22 8.69 8.30 9/236 9202
/proc/meminfo: memFree=14785432/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
[pid=8709] ppid=8707 vsize=15486032 memory=353196 CPUtime=38.51 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 1883 0 -1 1077944320 37049 0 0 0 3833 18 0 0 20 0 19 0 475419325 15857696768 88299 33554432000 4194304 4196468 140727527014320 140727526996864 139835914522359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
/proc/8709/statm: 3871508 88299 3515 1 0 3832608 0
[pid=8709/tid=8710] ppid=8707 vsize=15486032 memory=-2698087569006908830 CPUtime=0.46 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) S 8707 8707 1883 0 -1 1077944384 9105 0 0 0 43 3 0 0 20 0 19 0 475419326 15857696768 88299 33554432000 4194304 4196468 140727527014320 139835918763136 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8711] ppid=8707 vsize=15486032 memory=3472328295574039403 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 1883 0 -1 1077944384 468 0 0 0 2 1 0 0 20 0 19 0 475419326 15857696768 88299 33554432000 4194304 4196468 140727527014320 139835882080784 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8712] ppid=8707 vsize=15486032 memory=3471342578634057392 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 1883 0 -1 1077944384 442 0 0 0 2 1 0 0 20 0 19 0 475419326 15857696768 88299 33554432000 4194304 4196468 140727527014320 139835506092688 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8713] ppid=8707 vsize=15486032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 1883 0 -1 1077944384 214 0 0 0 2 1 0 0 20 0 19 0 475419326 15857696768 88299 33554432000 4194304 4196468 140727527014320 139835505039632 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8714] ppid=8707 vsize=15486032 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 1883 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 19 0 475419326 15857696768 88299 33554432000 4194304 4196468 140727527014320 139835503987088 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8715] ppid=8707 vsize=15486032 memory=140182313219712 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 1883 0 -1 1077944384 791 0 0 0 1 0 0 0 20 0 19 0 475419328 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834787670768 139835914533506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8716] ppid=8707 vsize=15486032 memory=664970774370808936 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475419328 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834786617056 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8717] ppid=8707 vsize=15486032 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475419328 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834785563904 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8718] ppid=8707 vsize=15486032 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834784512464 139835914540955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8719] ppid=8707 vsize=15486032 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 1883 0 -1 1077944384 6565 0 0 0 127 0 0 0 20 0 19 0 475419331 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834783459568 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15486032 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 1883 0 -1 1077944384 9305 0 0 0 130 1 0 0 20 0 19 0 475419331 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834782407024 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15486032 memory=3763099673816014896 CPUtime=0.44 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 1883 0 -1 1077944384 3183 0 0 0 43 1 0 0 20 0 19 0 475419331 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834781353968 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15486032 memory=3617434727321693104 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15486032 memory=2319389199166349359 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9159] ppid=8707 vsize=15486032 memory=140182313219712 CPUtime=8.4 cores=0,2,4,6
/proc/8709/task/9159/stat : 9159 (java) R 8707 8707 1883 0 -1 4202560 173 0 0 0 839 1 0 0 20 0 19 0 475419455 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834765004968 139835894232800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9160] ppid=8707 vsize=15486032 memory=3472285459217662566 CPUtime=8.38 cores=0,2,4,6
/proc/8709/task/9160/stat : 9160 (java) R 8707 8707 1883 0 -1 4202560 528 0 0 0 838 0 0 0 20 0 19 0 475419455 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834766057488 139835552148047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9161] ppid=8707 vsize=15486032 memory=3472425641446603760 CPUtime=8.12 cores=0,2,4,6
/proc/8709/task/9161/stat : 9161 (java) R 8707 8707 1883 0 -1 4202560 684 0 0 0 812 0 0 0 20 0 19 0 475419455 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834768163816 139835552147215 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9162] ppid=8707 vsize=15486032 memory=0 CPUtime=8.32 cores=0,2,4,6
/proc/8709/task/9162/stat : 9162 (java) R 8707 8707 1883 0 -1 4202560 521 0 0 0 831 1 0 0 20 0 19 0 475419455 15857696768 88299 33554432000 4194304 4196468 140727527014320 139834767111920 139835555076062 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 38.51 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 354648 KiB
[startup+10.401 s]
/proc/loadavg: 9.22 8.69 8.30 9/236 9202
/proc/meminfo: memFree=14785432/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
[pid=8709] ppid=8707 vsize=15486032 memory=349148 CPUtime=40.07 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 1883 0 -1 1077944320 37092 0 0 0 3989 18 0 0 20 0 19 0 475419325 15857696768 87287 33554432000 4194304 4196468 140727527014320 140727526996864 139835914522359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
/proc/8709/statm: 3871508 87287 3515 1 0 3832608 0
[pid=8709/tid=8710] ppid=8707 vsize=15486032 memory=-6935123839545469842 CPUtime=0.46 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) S 8707 8707 1883 0 -1 1077944384 9105 0 0 0 43 3 0 0 20 0 19 0 475419326 15857696768 87287 33554432000 4194304 4196468 140727527014320 139835918763136 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8711] ppid=8707 vsize=15486032 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) S 8707 8707 1883 0 -1 1077944384 470 0 0 0 2 1 0 0 20 0 19 0 475419326 15857696768 87287 33554432000 4194304 4196468 140727527014320 139835882080784 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8712] ppid=8707 vsize=15486032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) S 8707 8707 1883 0 -1 1077944384 444 0 0 0 2 1 0 0 20 0 19 0 475419326 15857696768 87287 33554432000 4194304 4196468 140727527014320 139835506092688 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8713] ppid=8707 vsize=15486032 memory=140182162789968 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) S 8707 8707 1883 0 -1 1077944384 215 0 0 0 2 1 0 0 20 0 19 0 475419326 15857696768 87287 33554432000 4194304 4196468 140727527014320 139835505039632 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8714] ppid=8707 vsize=15486032 memory=6408091206851 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) S 8707 8707 1883 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 19 0 475419326 15857696768 87287 33554432000 4194304 4196468 140727527014320 139835503987088 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8715] ppid=8707 vsize=15486032 memory=288230596050944315 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 1883 0 -1 1077944384 791 0 0 0 1 0 0 0 20 0 19 0 475419328 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834787670768 139835914533506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8716] ppid=8707 vsize=15486032 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475419328 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834786617056 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8717] ppid=8707 vsize=15486032 memory=353180 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475419328 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834785563904 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8718] ppid=8707 vsize=15486032 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834784512464 139835914540955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8719] ppid=8707 vsize=15486032 memory=8076 CPUtime=1.27 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 1883 0 -1 1077944384 6565 0 0 0 127 0 0 0 20 0 19 0 475419331 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834783459568 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15486032 memory=3624 CPUtime=1.31 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 1883 0 -1 1077944384 9305 0 0 0 130 1 0 0 20 0 19 0 475419331 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834782407024 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15486032 memory=1556 CPUtime=0.44 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 1883 0 -1 1077944384 3183 0 0 0 43 1 0 0 20 0 19 0 475419331 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834781353968 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15486032 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 19 0 475419331 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9159] ppid=8707 vsize=15486032 memory=140182162981760 CPUtime=8.79 cores=0,2,4,6
/proc/8709/task/9159/stat : 9159 (java) R 8707 8707 1883 0 -1 4202560 173 0 0 0 878 1 0 0 20 0 19 0 475419455 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834765004832 139835554658733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9160] ppid=8707 vsize=15486032 memory=280364325480288 CPUtime=8.77 cores=0,2,4,6
/proc/8709/task/9160/stat : 9160 (java) R 8707 8707 1883 0 -1 4202560 532 0 0 0 877 0 0 0 20 0 19 0 475419455 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834766059632 139835555591808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9161] ppid=8707 vsize=15486032 memory=39581143534314 CPUtime=8.51 cores=0,2,4,6
/proc/8709/task/9161/stat : 9161 (java) R 8707 8707 1883 0 -1 4202560 692 0 0 0 851 0 0 0 20 0 19 0 475419455 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834768163816 139835554429570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=9162] ppid=8707 vsize=15486032 memory=39581143534314 CPUtime=8.7 cores=0,2,4,6
/proc/8709/task/9162/stat : 9162 (java) R 8707 8707 1883 0 -1 4202560 521 0 0 0 869 1 0 0 20 0 19 0 475419455 15857696768 87287 33554432000 4194304 4196468 140727527014320 139834767109520 139835555076285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 40.07 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 350600 KiB
[startup+10.501 s]
/proc/loadavg: 9.22 8.69 8.30 9/236 9202
/proc/meminfo: memFree=14785432/32770624 swapFree=66952592/67108860
[pid=8707] ppid=8704 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8707/stat : 8707 (xcsp3-exec) S 8704 8707 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475419325 115843072 363 33554432000 4194304 5098028 140733512577872 140733512575976 140181454430844 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21147648 140733512581975 140733512582233 140733512582233 140733512585158 0
/proc/8707/statm: 28282 363 304 221 0 87 0
[pid=8709] ppid=8707 vsize=15486032 memory=350972 CPUtime=40.46 cores=0,2,4,6
/proc/8709/stat : 8709 (java) S 8707 8707 1883 0 -1 1077944320 37734 0 0 0 4028 18 0 0 20 0 15 0 475419325 15857696768 87743 33554432000 4194304 4196468 140727527014320 140727526996864 139835914522359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
/proc/8709/statm: 3871508 87743 3515 1 0 3832608 0
[pid=8709/tid=8710] ppid=8707 vsize=15486032 memory=1556 CPUtime=0.46 cores=0,2,4,6
/proc/8709/task/8710/stat : 8710 (java) S 8707 8707 1883 0 -1 1077944384 9421 0 0 0 43 3 0 0 20 0 15 0 475419326 15857696768 87743 33554432000 4194304 4196468 140727527014320 139835918763952 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8711] ppid=8707 vsize=15486032 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8711/stat : 8711 (java) R 8707 8707 1883 0 -1 4202560 474 0 0 0 2 1 0 0 20 0 15 0 475419326 15857696768 87743 33554432000 4194304 4196468 140727527014320 139835882080784 139835907150567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8712] ppid=8707 vsize=15486032 memory=689 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8712/stat : 8712 (java) R 8707 8707 1883 0 -1 4202560 445 0 0 0 2 1 0 0 20 0 15 0 475419326 15857696768 87743 33554432000 4194304 4196468 140727527014320 139835506092688 139835907150567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8713] ppid=8707 vsize=15486032 memory=663 CPUtime=0.03 cores=0,2,4,6
/proc/8709/task/8713/stat : 8713 (java) R 8707 8707 1883 0 -1 4202560 218 0 0 0 2 1 0 0 20 0 15 0 475419326 15857696768 87743 33554432000 4194304 4196468 140727527014320 139835505039752 139835907150567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8714] ppid=8707 vsize=15486032 memory=351136 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8714/stat : 8714 (java) R 8707 8707 1883 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 475419326 15857696768 87743 33554432000 4194304 4196468 140727527014320 139835503987088 139835914532565 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8715] ppid=8707 vsize=15486032 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/8709/task/8715/stat : 8715 (java) S 8707 8707 1883 0 -1 1077944384 792 0 0 0 1 0 0 0 20 0 15 0 475419328 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834787669280 139835914532565 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8716] ppid=8707 vsize=15486032 memory=352588 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8716/stat : 8716 (java) S 8707 8707 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475419328 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834786617056 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8717] ppid=8707 vsize=15486032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8717/stat : 8717 (java) S 8707 8707 1883 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475419328 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834785563904 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8718] ppid=8707 vsize=15486032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8718/stat : 8718 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834784512464 139835914540955 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8719] ppid=8707 vsize=15486032 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/8709/task/8719/stat : 8719 (java) S 8707 8707 1883 0 -1 1077944384 6565 0 0 0 127 0 0 0 20 0 15 0 475419331 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834783459568 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8720] ppid=8707 vsize=15486032 memory=351056 CPUtime=1.32 cores=0,2,4,6
/proc/8709/task/8720/stat : 8720 (java) S 8707 8707 1883 0 -1 1077944384 9421 0 0 0 131 1 0 0 20 0 15 0 475419331 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834782392016 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8721] ppid=8707 vsize=15486032 memory=350032 CPUtime=0.44 cores=0,2,4,6
/proc/8709/task/8721/stat : 8721 (java) S 8707 8707 1883 0 -1 1077944384 3301 0 0 0 43 1 0 0 20 0 15 0 475419331 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834781353968 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8722] ppid=8707 vsize=15486032 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8722/stat : 8722 (java) S 8707 8707 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475419331 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834780301664 139835914532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
[pid=8709/tid=8723] ppid=8707 vsize=15486032 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/8709/task/8723/stat : 8723 (java) S 8707 8707 1883 0 -1 1077944384 477 0 0 0 0 0 0 0 20 0 15 0 475419331 15857696768 87743 33554432000 4194304 4196468 140727527014320 139834779249712 139835914533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30539776 140727527019483 140727527019658 140727527019658 140727527022543 0
Current children cumulated CPU time: 40.46 s
Current children cumulated vsize: 15599160 KiB
Current children cumulated memory: 352424 KiB
Child status: 0
Real time (s): 10.5094
CPU time (s): 40.4878
CPU user time (s): 40.292
CPU system time (s): 0.195821
CPU usage (%): 385.253
Max. virtual memory (cumulated for all children) (KiB): 15601296
Max. memory (cumulated for all children) (KiB): 356116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.292
system time used= 0.195821
maximum resident set size= 355244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3421
involuntary context switches= 1176
# summary of solver processes directly reported to runsolver:
# pid: 8707
# total CPU time (s): 40.4878
# total CPU user time (s): 40.292
# total CPU system time (s): 0.195821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.109895 second user time and 0.139744 second system time
The end