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 (3211 MiB free)
memory of node 1: 16384 MiB (9484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405955-1569413295/watcher-4405955-1569413295 -o /var/tmp/evaluation-result-4405955-1569413295/solver-4405955-1569413295 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1569396627-18796 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1235200647 HOME/instance-4405955-1569413295.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=23702, runsolver pid=23699
Current StackSize limit: 8192 KiB
[startup+0.100109 s]*
/proc/loadavg: 4.65 3.79 2.73 7/229 23718
/proc/meminfo: memFree=12985704/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15144776 memory=28876 CPUtime=0.13 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 5679 0 0 0 13 0 0 0 20 0 15 0 517265955 15508250624 7219 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3786194 7219 3153 1 0 3748377 0
[pid=23704/tid=23705] ppid=23702 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 3545 0 0 0 9 0 0 0 20 0 15 0 517265955 15508250624 7219 33554432000 4194304 4196468 140734655404688 139920155538576 139920151326102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 7219 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15144776 memory=140353204860544 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15144776 memory=140353204860544 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265957 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265958 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919024395296 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265958 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919023342448 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) S 23702 23702 18764 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 517265960 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919021239152 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) S 23702 23702 18764 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 517265960 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919020186352 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15144776 memory=140353204860544 CPUtime=0.02 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 517265960 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15144776 memory=140353204860544 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265961 15508250624 7219 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30332 KiB
[startup+0.210769 s]*
/proc/loadavg: 4.65 3.79 2.73 7/229 23718
/proc/meminfo: memFree=12971788/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15144776 memory=41200 CPUtime=0.35 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 9490 0 0 0 33 2 0 0 20 0 15 0 517265955 15508250624 10300 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3786194 10300 3315 1 0 3748377 0
[pid=23704/tid=23705] ppid=23702 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 6599 0 0 0 18 1 0 0 20 0 15 0 517265955 15508250624 10300 33554432000 4194304 4196468 140734655404688 139920155551632 139920135394654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15144776 memory=9276 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 10300 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15144776 memory=3834312821479594545 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265956 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517265957 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265958 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919024395296 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15144776 memory=140353204860544 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265958 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919023342448 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) S 23702 23702 18764 0 -1 1077944384 620 0 0 0 2 0 0 0 20 0 15 0 517265960 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919021239152 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) S 23702 23702 18764 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 15 0 517265960 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919020186352 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 801 0 0 0 8 0 0 0 20 0 15 0 517265960 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265961 15508250624 10300 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42656 KiB
[startup+0.310586 s]*
/proc/loadavg: 4.65 3.79 2.73 7/229 23718
/proc/meminfo: memFree=12964852/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15149032 memory=50196 CPUtime=0.54 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 10870 0 0 0 51 3 0 0 20 0 15 0 517265955 15512608768 12549 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3787258 12549 3368 1 0 3748377 0
[pid=23704/tid=23705] ppid=23702 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 7801 0 0 0 28 2 0 0 20 0 15 0 517265955 15512608768 12549 33554432000 4194304 4196468 140734655404688 139920155545280 139920135394654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15512608768 12549 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15149032 memory=3835157272162749069 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265956 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15149032 memory=140353204860544 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517265957 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265958 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919024395296 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265958 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919023342448 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) S 23702 23702 18764 0 -1 1077944384 720 0 0 0 5 0 0 0 20 0 15 0 517265960 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919021239152 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) S 23702 23702 18764 0 -1 1077944384 173 0 0 0 4 0 0 0 20 0 15 0 517265960 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919020186352 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15149032 memory=140353204860544 CPUtime=0.13 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 877 0 0 0 13 0 0 0 20 0 15 0 517265960 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15149032 memory=140353204860544 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265961 15512608768 12549 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51652 KiB
[startup+0.700829 s]
/proc/loadavg: 4.65 3.79 2.73 9/229 23718
/proc/meminfo: memFree=12938304/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15151156 memory=117028 CPUtime=1.71 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 14257 0 0 0 166 5 0 0 20 0 15 0 517265955 15514783744 29257 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3787789 29257 3443 1 0 3748889 0
[pid=23704/tid=23705] ppid=23702 vsize=15151156 memory=2120 CPUtime=0.68 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 8317 0 0 0 65 3 0 0 20 0 15 0 517265955 15514783744 29257 33554432000 4194304 4196468 140734655404688 139920155547056 139919787082424 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15151156 memory=508 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15514783744 29257 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265956 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265956 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15151156 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517265957 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15151156 memory=864 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265958 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919024395296 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15151156 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265958 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919023342448 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15151156 memory=2496 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15151156 memory=7302135314614015842 CPUtime=0.35 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) R 23702 23702 18764 0 -1 4202560 1853 0 0 0 35 0 0 0 20 0 15 0 517265960 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919021224904 139920132506106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15151156 memory=5795403093133454681 CPUtime=0.34 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) R 23702 23702 18764 0 -1 4202560 1217 0 0 0 34 0 0 0 20 0 15 0 517265960 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919020186352 139920134810955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15151156 memory=7223887401239728208 CPUtime=0.3 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 1561 0 0 0 30 0 0 0 20 0 15 0 517265960 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15151156 memory=7079772213163872336 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15151156 memory=5794554270290830437 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265961 15514783744 29257 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 118484 KiB
[startup+1.50154 s]
/proc/loadavg: 4.65 3.79 2.73 7/229 23718
/proc/meminfo: memFree=12811956/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1482.86 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 110563 0 0 0 148151 135 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3788301 402717 3533 1 0 3749401 0
[pid=23704/tid=23705] ppid=23702 vsize=15153204 memory=14066017897321 CPUtime=1466.9 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 38117 0 0 0 146670 20 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920155550784 139919792614749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15153204 memory=2372 CPUtime=1.42 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 2970 0 0 0 127 15 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1.45 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 2910 0 0 0 129 16 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 3133 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15153204 memory=508 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2713 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15153204 memory=-3622645143214314312 CPUtime=0.46 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 4033 0 0 0 43 3 0 0 20 0 15 0 517265957 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15153204 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919024395360 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15153204 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919023342464 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15153204 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15153204 memory=6791534058613427641 CPUtime=4.15 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) S 23702 23702 18764 0 -1 1077944384 21049 0 0 0 412 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919021239152 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15153204 memory=1610868 CPUtime=3.61 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) S 23702 23702 18764 0 -1 1077944384 21506 0 0 0 358 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919020186352 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15153204 memory=3616 CPUtime=1.04 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 11963 0 0 0 102 2 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15153204 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15153204 memory=-3622645143214314312 CPUtime=0.82 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 796 0 0 0 37 45 0 0 20 0 15 0 517265961 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 1482.86 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1612324 KiB
[startup+1469.6 s]
/proc/loadavg: 2.01 2.09 2.29 3/229 23932
/proc/meminfo: memFree=21789384/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1483.65 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 110563 0 0 0 148230 135 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3788301 402717 3533 1 0 3749401 0
[pid=23704/tid=23705] ppid=23702 vsize=15153204 memory=65744 CPUtime=1467.7 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 38117 0 0 0 146750 20 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920155550784 139919784778151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15153204 memory=988 CPUtime=1.42 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 2970 0 0 0 127 15 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15153204 memory=6791534058613427641 CPUtime=1.45 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 2910 0 0 0 129 16 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 3133 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15153204 memory=1976 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2713 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15153204 memory=2496 CPUtime=0.46 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 4033 0 0 0 43 3 0 0 20 0 15 0 517265957 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15153204 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919024395360 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15153204 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919023342464 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15153204 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15153204 memory=1056 CPUtime=4.15 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) S 23702 23702 18764 0 -1 1077944384 21049 0 0 0 412 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919021239152 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15153204 memory=3616 CPUtime=3.61 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) S 23702 23702 18764 0 -1 1077944384 21506 0 0 0 358 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919020186352 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15153204 memory=1552 CPUtime=1.04 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 11963 0 0 0 102 2 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15153204 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15153204 memory=1196 CPUtime=0.82 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 796 0 0 0 37 45 0 0 20 0 15 0 517265961 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 1483.65 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1612324 KiB
[startup+1469.8 s]
/proc/loadavg: 2.01 2.09 2.29 3/229 23932
/proc/meminfo: memFree=21789384/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1483.85 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 110578 0 0 0 148250 135 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3788301 402717 3533 1 0 3749401 0
[pid=23704/tid=23705] ppid=23702 vsize=15153204 memory=36784 CPUtime=1467.9 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 38132 0 0 0 146770 20 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920155550784 139919793304189 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15153204 memory=2120 CPUtime=1.42 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 2970 0 0 0 127 15 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15153204 memory=508 CPUtime=1.45 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 2910 0 0 0 129 16 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15153204 memory=-3622645143214314312 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 3133 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2713 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15153204 memory=1444 CPUtime=0.46 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 4033 0 0 0 43 3 0 0 20 0 15 0 517265957 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15153204 memory=864 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919024395360 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15153204 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919023342464 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15153204 memory=712 CPUtime=4.15 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) S 23702 23702 18764 0 -1 1077944384 21049 0 0 0 412 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919021239152 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15153204 memory=2832 CPUtime=3.61 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) S 23702 23702 18764 0 -1 1077944384 21506 0 0 0 358 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919020186352 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15153204 memory=8144 CPUtime=1.04 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 11963 0 0 0 102 2 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15153204 memory=10492 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15153204 memory=6791534058613427641 CPUtime=0.82 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 796 0 0 0 37 45 0 0 20 0 15 0 517265961 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 1483.85 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1612324 KiB
[startup+1469.9 s]
/proc/loadavg: 2.01 2.09 2.29 3/229 23932
/proc/meminfo: memFree=21789384/32770624 swapFree=66966900/67108860
[pid=23702] ppid=23699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23702/stat : 23702 (xcsp3-exec) S 23699 23702 18764 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 517265954 115843072 364 33554432000 4194304 5098028 140724236052816 140724236050920 140176670528124 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18128896 140724236059478 140724236059737 140724236059737 140724236062662 0
/proc/23702/statm: 28282 364 305 221 0 87 0
[pid=23704] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1483.95 cores=1,3,5,7
/proc/23704/stat : 23704 (java) S 23702 23702 18764 0 -1 1077944320 110578 0 0 0 148260 135 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 140734655387232 139920151314167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
/proc/23704/statm: 3788301 402717 3533 1 0 3749401 0
[pid=23704/tid=23705] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1468 cores=1,3,5,7
/proc/23704/task/23705/stat : 23705 (java) R 23702 23702 18764 0 -1 4202560 38132 0 0 0 146780 20 0 0 20 0 15 0 517265955 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920155550784 139919787767522 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23706] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1.42 cores=1,3,5,7
/proc/23704/task/23706/stat : 23706 (java) S 23702 23702 18764 0 -1 1077944384 2970 0 0 0 127 15 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139920103935120 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23707] ppid=23702 vsize=15153204 memory=1456 CPUtime=1.45 cores=1,3,5,7
/proc/23704/task/23707/stat : 23707 (java) S 23702 23702 18764 0 -1 1077944384 2910 0 0 0 129 16 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919742655504 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23708] ppid=23702 vsize=15153204 memory=1610868 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23708/stat : 23708 (java) S 23702 23702 18764 0 -1 1077944384 3133 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919741602704 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23709] ppid=23702 vsize=15153204 memory=1456 CPUtime=1.46 cores=1,3,5,7
/proc/23704/task/23709/stat : 23709 (java) S 23702 23702 18764 0 -1 1077944384 2713 0 0 0 129 17 0 0 20 0 15 0 517265956 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919740549904 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23710] ppid=23702 vsize=15153204 memory=1610868 CPUtime=0.46 cores=1,3,5,7
/proc/23704/task/23710/stat : 23710 (java) S 23702 23702 18764 0 -1 1077944384 4033 0 0 0 43 3 0 0 20 0 15 0 517265957 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919025449328 139920151325314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23711] ppid=23702 vsize=15153204 memory=1610868 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23711/stat : 23711 (java) S 23702 23702 18764 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919024395360 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23712] ppid=23702 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23712/stat : 23712 (java) S 23702 23702 18764 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265958 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919023342464 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23713] ppid=23702 vsize=15153204 memory=1608820 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23713/stat : 23713 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919022290768 139920151332763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23714] ppid=23702 vsize=15153204 memory=1456 CPUtime=4.15 cores=1,3,5,7
/proc/23704/task/23714/stat : 23714 (java) S 23702 23702 18764 0 -1 1077944384 21049 0 0 0 412 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919021239152 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23715] ppid=23702 vsize=15153204 memory=3612 CPUtime=3.61 cores=1,3,5,7
/proc/23704/task/23715/stat : 23715 (java) S 23702 23702 18764 0 -1 1077944384 21506 0 0 0 358 3 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919020186352 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23716] ppid=23702 vsize=15153204 memory=65744 CPUtime=1.04 cores=1,3,5,7
/proc/23704/task/23716/stat : 23716 (java) S 23702 23702 18764 0 -1 1077944384 11963 0 0 0 102 2 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919019133552 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23717] ppid=23702 vsize=15153204 memory=1610868 CPUtime=0 cores=1,3,5,7
/proc/23704/task/23717/stat : 23717 (java) S 23702 23702 18764 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265960 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919018080992 139920151324373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
[pid=23704/tid=23718] ppid=23702 vsize=15153204 memory=1608820 CPUtime=0.82 cores=1,3,5,7
/proc/23704/task/23718/stat : 23718 (java) S 23702 23702 18764 0 -1 1077944384 796 0 0 0 37 45 0 0 20 0 15 0 517265961 15516880896 402717 33554432000 4194304 4196468 140734655404688 139919017028272 139920151325314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 9265152 140734655407067 140734655407242 140734655407242 140734655410127 0
Current children cumulated CPU time: 1483.95 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1612324 KiB
Child status: 0
Real time (s): 1469.92
CPU time (s): 1483.98
CPU user time (s): 1482.62
CPU system time (s): 1.36442
CPU usage (%): 100.957
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 1612324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.62
system time used= 1.36442
maximum resident set size= 1610968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112555
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35703
involuntary context switches= 809
# summary of solver processes directly reported to runsolver:
# pid: 23702
# total CPU time (s): 1483.98
# total CPU user time (s): 1482.62
# total CPU system time (s): 1.36442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57635 second user time and 14.8152 second system time
The end