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 (6323 MiB free)
memory of node 1: 16384 MiB (8653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403795-1568991517/watcher-4403795-1568991517 -o /var/tmp/evaluation-result-4403795-1568991517/solver-4403795-1568991517 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6087 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 694818726 HOME/instance-4403795-1568991517.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=10041, runsolver pid=10038
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.78 8.53 8.08 8/233 10057
/proc/meminfo: memFree=15322768/32770624 swapFree=66988744/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
[pid=10043] ppid=10041 vsize=15144776 memory=27216 CPUtime=0.13 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 6055 0 -1 1077944320 5734 0 0 0 12 1 0 0 20 0 15 0 475414300 15508250624 6738 33554432000 4194304 4196468 140736667467984 140736667450528 139896446250743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
/proc/10043/statm: 3786194 6804 3156 1 0 3748377 0
[pid=10043/tid=10044] ppid=10041 vsize=15144776 memory=-8895323862916359523 CPUtime=0.08 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 6055 0 -1 4202560 3608 0 0 0 8 0 0 0 20 0 15 0 475414300 15508250624 6870 33554432000 4194304 4196468 140736667467984 139896450477088 139896430331230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10045] ppid=10041 vsize=15144776 memory=3472468568415204560 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10045/stat : 10045 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 6870 33554432000 4194304 4196468 140736667467984 139896038288144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10046] ppid=10041 vsize=15144776 memory=140439520052864 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10046/stat : 10046 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 6870 33554432000 4194304 4196468 140736667467984 139896037235600 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10047] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10047/stat : 10047 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 6870 33554432000 4194304 4196468 140736667467984 139896036183056 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10048] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10048/stat : 10048 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 6870 33554432000 4194304 4196468 140736667467984 139896035130512 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10049] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10049/stat : 10049 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475414303 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895914407920 139896446261890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10050] ppid=10041 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10050/stat : 10050 (java) S 10041 10041 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475414303 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895913354144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10051] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475414303 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895912301552 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10052] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895911250128 139896446269339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10053] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) R 10041 10041 6055 0 -1 4202560 469 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895910183544 139896427778640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10054] ppid=10041 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) R 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895909145200 139896446261890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10055] ppid=10041 vsize=15144776 memory=140439520052864 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10055/stat : 10055 (java) R 10041 10041 6055 0 -1 4202560 391 0 0 0 2 0 0 0 20 0 15 0 475414306 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895908092656 139896425234112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10056] ppid=10041 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10056/stat : 10056 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895907040352 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10057] ppid=10041 vsize=15144776 memory=140439520052864 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 6870 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28672 KiB
[startup+0.210714 s]*
/proc/loadavg: 8.78 8.53 8.08 6/233 10057
/proc/meminfo: memFree=15308808/32770624 swapFree=66988744/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
[pid=10043] ppid=10041 vsize=15144776 memory=39768 CPUtime=0.34 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 6055 0 -1 1077944320 9674 0 0 0 32 2 0 0 20 0 15 0 475414300 15508250624 9942 33554432000 4194304 4196468 140736667467984 140736667450528 139896446250743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
/proc/10043/statm: 3786194 9942 3296 1 0 3748377 0
[pid=10043/tid=10044] ppid=10041 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 6055 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 15 0 475414300 15508250624 9942 33554432000 4194304 4196468 140736667467984 139896450485440 139896446262678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10045] ppid=10041 vsize=15144776 memory=3472468568415204560 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10045/stat : 10045 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 9942 33554432000 4194304 4196468 140736667467984 139896038288144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10046] ppid=10041 vsize=15144776 memory=140439520052864 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10046/stat : 10046 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 9942 33554432000 4194304 4196468 140736667467984 139896037235600 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10047] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10047/stat : 10047 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 9942 33554432000 4194304 4196468 140736667467984 139896036183056 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10048] ppid=10041 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10048/stat : 10048 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475414301 15508250624 9942 33554432000 4194304 4196468 140736667467984 139896035130512 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10049] ppid=10041 vsize=15144776 memory=140439520052864 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10049/stat : 10049 (java) S 10041 10041 6055 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475414303 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895914407920 139896446261890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10050] ppid=10041 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10050/stat : 10050 (java) S 10041 10041 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475414303 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895913354144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10051] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475414303 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895912301552 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10052] ppid=10041 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895911250128 139896446269339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10053] ppid=10041 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 6055 0 -1 1077944384 747 0 0 0 3 0 0 0 20 0 15 0 475414306 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895910197744 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10054] ppid=10041 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 6055 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 475414306 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895909145200 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10055] ppid=10041 vsize=15144776 memory=140439520052864 CPUtime=0.08 cores=1,3,5,7
/proc/10043/task/10055/stat : 10055 (java) R 10041 10041 6055 0 -1 4202560 935 0 0 0 8 0 0 0 20 0 15 0 475414306 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895908092464 139896425965532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10056] ppid=10041 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10056/stat : 10056 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895907040352 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10057] ppid=10041 vsize=15144776 memory=140439520052864 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414306 15508250624 9942 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41224 KiB
[startup+0.320269 s]*
/proc/loadavg: 8.78 8.53 8.08 7/233 10057
/proc/meminfo: memFree=15301268/32770624 swapFree=66988744/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
[pid=10043] ppid=10041 vsize=15149032 memory=49824 CPUtime=0.54 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 6055 0 -1 1077944320 11291 0 0 0 51 3 0 0 20 0 15 0 475414300 15512608768 12456 33554432000 4194304 4196468 140736667467984 140736667450528 139896446250743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
/proc/10043/statm: 3787258 12456 3371 1 0 3748377 0
[pid=10043/tid=10044] ppid=10041 vsize=15149032 memory=-8094235084319000145 CPUtime=0.31 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) R 10041 10041 6055 0 -1 4202560 7903 0 0 0 28 3 0 0 20 0 15 0 475414300 15512608768 12456 33554432000 4194304 4196468 140736667467984 139896450481856 139896446272669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10045] ppid=10041 vsize=15149032 memory=3472468568415204560 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10045/stat : 10045 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475414301 15512608768 12464 33554432000 4194304 4196468 140736667467984 139896038288144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10046] ppid=10041 vsize=15149032 memory=280878910945664 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10046/stat : 10046 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414301 15512608768 12464 33554432000 4194304 4196468 140736667467984 139896037235600 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10047] ppid=10041 vsize=15149032 memory=280878781817888 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10047/stat : 10047 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414301 15512608768 12464 33554432000 4194304 4196468 140736667467984 139896036183056 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10048] ppid=10041 vsize=15149032 memory=140439390892815 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10048/stat : 10048 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475414301 15512608768 12464 33554432000 4194304 4196468 140736667467984 139896035130512 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10049] ppid=10041 vsize=15149032 memory=280878910952576 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10049/stat : 10049 (java) S 10041 10041 6055 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475414303 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895914407920 139896446261890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10050] ppid=10041 vsize=15149032 memory=140439390897423 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10050/stat : 10050 (java) S 10041 10041 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475414303 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895913354144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10051] ppid=10041 vsize=15149032 memory=140439390905815 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475414303 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895912301552 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10052] ppid=10041 vsize=15149032 memory=140439390911553 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475414306 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895911250128 139896446269339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10053] ppid=10041 vsize=15149032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 6055 0 -1 1077944384 885 0 0 0 7 0 0 0 20 0 15 0 475414306 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895910197744 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10054] ppid=10041 vsize=15149032 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 6055 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 15 0 475414306 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895909145200 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10055] ppid=10041 vsize=15149032 memory=140439520052864 CPUtime=0.13 cores=1,3,5,7
/proc/10043/task/10055/stat : 10055 (java) S 10041 10041 6055 0 -1 1077944384 1090 0 0 0 13 0 0 0 20 0 15 0 475414306 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895908092656 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10056] ppid=10041 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10056/stat : 10056 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475414306 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895907040352 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10057] ppid=10041 vsize=15149032 memory=140439520054320 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475414306 15512608768 12464 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51280 KiB
[startup+0.708267 s]
/proc/loadavg: 8.78 8.53 8.08 10/233 10057
/proc/meminfo: memFree=15283692/32770624 swapFree=66988744/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
[pid=10043] ppid=10041 vsize=15417412 memory=91024 CPUtime=1.6 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 6055 0 -1 1077944320 15947 0 0 0 155 5 0 0 20 0 19 0 475414300 15787429888 22756 33554432000 4194304 4196468 140736667467984 140736667450528 139896446250743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
/proc/10043/statm: 3854353 22756 3454 1 0 3815453 0
[pid=10043/tid=10044] ppid=10041 vsize=15417412 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) S 10041 10041 6055 0 -1 1077944384 9388 0 0 0 60 4 0 0 20 0 19 0 475414300 15787429888 22756 33554432000 4194304 4196468 140736667467984 139896450491520 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10045] ppid=10041 vsize=15417412 memory=128 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10045/stat : 10045 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475414301 15787429888 22756 33554432000 4194304 4196468 140736667467984 139896038288144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10046] ppid=10041 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10046/stat : 10046 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475414301 15787429888 22756 33554432000 4194304 4196468 140736667467984 139896037235600 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10047] ppid=10041 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10047/stat : 10047 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475414301 15787429888 22756 33554432000 4194304 4196468 140736667467984 139896036183056 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10048] ppid=10041 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10048/stat : 10048 (java) S 10041 10041 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475414301 15787429888 22756 33554432000 4194304 4196468 140736667467984 139896035130512 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10049] ppid=10041 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10049/stat : 10049 (java) S 10041 10041 6055 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475414303 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895914407920 139896446261890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10050] ppid=10041 vsize=15417412 memory=756 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10050/stat : 10050 (java) S 10041 10041 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475414303 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895913354144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10051] ppid=10041 vsize=15417412 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475414303 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895912301552 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10052] ppid=10041 vsize=15417412 memory=8100 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895911250128 139896446269339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10053] ppid=10041 vsize=15417412 memory=1164 CPUtime=0.25 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) R 10041 10041 6055 0 -1 4202560 1398 0 0 0 25 0 0 0 20 0 19 0 475414306 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895910183584 139896429734757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10054] ppid=10041 vsize=15417412 memory=9520 CPUtime=0.18 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) R 10041 10041 6055 0 -1 4202560 970 0 0 0 18 0 0 0 20 0 19 0 475414306 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895909131632 139896446272090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10055] ppid=10041 vsize=15417412 memory=14008 CPUtime=0.4 cores=1,3,5,7
/proc/10043/task/10055/stat : 10055 (java) S 10041 10041 6055 0 -1 1077944384 2191 0 0 0 40 0 0 0 20 0 19 0 475414306 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895908092784 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10056] ppid=10041 vsize=15417412 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10056/stat : 10056 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895907040352 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10057] ppid=10041 vsize=15417412 memory=12028 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475414306 15787429888 22756 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92480 KiB
[startup+1.50127 s]
/proc/loadavg: 8.78 8.53 8.08 11/237 10065
/proc/meminfo: memFree=15227892/32770624 swapFree=66988744/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1581 0 0 0 0 2 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10085] ppid=10041 vsize=15419460 memory=6628 CPUtime=138.66 cores=1,3,5,7
/proc/10043/task/10085/stat : 10085 (java) R 10041 10041 6055 0 -1 4202560 915 0 0 0 13866 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895897004120 139896089911428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10086] ppid=10041 vsize=15419460 memory=8836 CPUtime=138.41 cores=1,3,5,7
/proc/10043/task/10086/stat : 10086 (java) R 10041 10041 6055 0 -1 4202560 2197 0 0 0 13841 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895894899696 139896090237956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10087] ppid=10041 vsize=15419460 memory=11044 CPUtime=138.1 cores=1,3,5,7
/proc/10043/task/10087/stat : 10087 (java) R 10041 10041 6055 0 -1 4202560 2360 0 0 0 13810 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895893847496 139896090495739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10088] ppid=10041 vsize=15419460 memory=6791534058613427641 CPUtime=138.74 cores=1,3,5,7
/proc/10043/task/10088/stat : 10088 (java) R 10041 10041 6055 0 -1 4202560 1333 0 0 0 13874 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895895956320 139896089793045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 613.18 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 190744 KiB
[startup+154.801 s]
/proc/loadavg: 8.07 8.34 8.08 10/238 10107
/proc/meminfo: memFree=15197712/32770624 swapFree=66988760/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
[pid=10043] ppid=10041 vsize=15419460 memory=189288 CPUtime=614.77 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 6055 0 -1 1077944320 96592 0 0 0 61460 17 0 0 20 0 19 0 475414300 15789527040 47322 33554432000 4194304 4196468 140736667467984 140736667450528 139896446250743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
/proc/10043/statm: 3854865 47322 3526 1 0 3815965 0
[pid=10043/tid=10044] ppid=10041 vsize=15419460 memory=6791534058613427641 CPUtime=0.65 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) S 10041 10041 6055 0 -1 1077944384 9496 0 0 0 61 4 0 0 20 0 19 0 475414300 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896450491520 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10045] ppid=10041 vsize=15419460 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10045/stat : 10045 (java) S 10041 10041 6055 0 -1 1077944384 1754 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896038288144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10046] ppid=10041 vsize=15419460 memory=194932 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10046/stat : 10046 (java) S 10041 10041 6055 0 -1 1077944384 2036 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896037235600 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10047] ppid=10041 vsize=15419460 memory=1720 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10047/stat : 10047 (java) S 10041 10041 6055 0 -1 1077944384 1353 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896036183056 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10048] ppid=10041 vsize=15419460 memory=1564 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10048/stat : 10048 (java) S 10041 10041 6055 0 -1 1077944384 4425 0 0 0 3 1 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896035130512 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10049] ppid=10041 vsize=15419460 memory=928 CPUtime=0.05 cores=1,3,5,7
/proc/10043/task/10049/stat : 10049 (java) S 10041 10041 6055 0 -1 1077944384 2606 0 0 0 3 2 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895914407920 139896446261890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10050] ppid=10041 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10050/stat : 10050 (java) S 10041 10041 6055 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895913354208 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10051] ppid=10041 vsize=15419460 memory=198004 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 6055 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895912301568 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10052] ppid=10041 vsize=15419460 memory=189288 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895911250128 139896446269339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10053] ppid=10041 vsize=15419460 memory=8463011207919583165 CPUtime=4.45 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 6055 0 -1 1077944384 25939 0 0 0 443 2 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895910197744 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10054] ppid=10041 vsize=15419460 memory=7167663365147475933 CPUtime=4.24 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 6055 0 -1 1077944384 24608 0 0 0 423 1 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895909145200 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10055] ppid=10041 vsize=15419460 memory=1456 CPUtime=0.82 cores=1,3,5,7
/proc/10043/task/10055/stat : 10055 (java) S 10041 10041 6055 0 -1 1077944384 10325 0 0 0 81 1 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895908092656 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10056] ppid=10041 vsize=15419460 memory=201592 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10056/stat : 10056 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895907040352 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10057] ppid=10041 vsize=15419460 memory=14689690934577591 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1581 0 0 0 0 2 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10085] ppid=10041 vsize=15419460 memory=2997066 CPUtime=139.06 cores=1,3,5,7
/proc/10043/task/10085/stat : 10085 (java) R 10041 10041 6055 0 -1 4202560 915 0 0 0 13906 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895897004120 139896090379487 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10086] ppid=10041 vsize=15419460 memory=3688154 CPUtime=138.81 cores=1,3,5,7
/proc/10043/task/10086/stat : 10086 (java) R 10041 10041 6055 0 -1 4202560 2197 0 0 0 13881 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895894899696 139896089792317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10087] ppid=10041 vsize=15419460 memory=3688154 CPUtime=138.5 cores=1,3,5,7
/proc/10043/task/10087/stat : 10087 (java) R 10041 10041 6055 0 -1 4202560 2360 0 0 0 13850 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895893847496 139896090495507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10088] ppid=10041 vsize=15419460 memory=3620 CPUtime=139.14 cores=1,3,5,7
/proc/10043/task/10088/stat : 10088 (java) R 10041 10041 6055 0 -1 4202560 1333 0 0 0 13914 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895895956320 139896090237231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 614.77 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 190744 KiB
[startup+155.001 s]*
/proc/loadavg: 8.07 8.34 8.08 10/238 10107
/proc/meminfo: memFree=15197712/32770624 swapFree=66988760/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
[pid=10043] ppid=10041 vsize=15419460 memory=189288 CPUtime=615.6 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 6055 0 -1 1077944320 96592 0 0 0 61543 17 0 0 20 0 19 0 475414300 15789527040 47322 33554432000 4194304 4196468 140736667467984 140736667450528 139896446250743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
/proc/10043/statm: 3854865 47322 3526 1 0 3815965 0
[pid=10043/tid=10044] ppid=10041 vsize=15419460 memory=1398722017469774279 CPUtime=0.65 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) S 10041 10041 6055 0 -1 1077944384 9496 0 0 0 61 4 0 0 20 0 19 0 475414300 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896450491520 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10045] ppid=10041 vsize=15419460 memory=-7003737579269690708 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10045/stat : 10045 (java) S 10041 10041 6055 0 -1 1077944384 1754 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896038288144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10046] ppid=10041 vsize=15419460 memory=189288 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10046/stat : 10046 (java) S 10041 10041 6055 0 -1 1077944384 2036 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896037235600 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10047] ppid=10041 vsize=15419460 memory=3208 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10047/stat : 10047 (java) S 10041 10041 6055 0 -1 1077944384 1353 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896036183056 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10048] ppid=10041 vsize=15419460 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10048/stat : 10048 (java) S 10041 10041 6055 0 -1 1077944384 4425 0 0 0 3 1 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896035130512 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10049] ppid=10041 vsize=15419460 memory=192712 CPUtime=0.05 cores=1,3,5,7
/proc/10043/task/10049/stat : 10049 (java) S 10041 10041 6055 0 -1 1077944384 2606 0 0 0 3 2 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895914407920 139896446261890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10050] ppid=10041 vsize=15419460 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10050/stat : 10050 (java) S 10041 10041 6055 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895913354208 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10051] ppid=10041 vsize=15419460 memory=3228 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 6055 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895912301568 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10052] ppid=10041 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895911250128 139896446269339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10053] ppid=10041 vsize=15419460 memory=191856 CPUtime=4.45 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 6055 0 -1 1077944384 25939 0 0 0 443 2 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895910197744 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10054] ppid=10041 vsize=15419460 memory=1720 CPUtime=4.24 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 6055 0 -1 1077944384 24608 0 0 0 423 1 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895909145200 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10055] ppid=10041 vsize=15419460 memory=1398722017469774279 CPUtime=0.82 cores=1,3,5,7
/proc/10043/task/10055/stat : 10055 (java) S 10041 10041 6055 0 -1 1077944384 10325 0 0 0 81 1 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895908092656 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10056] ppid=10041 vsize=15419460 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10056/stat : 10056 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895907040352 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10057] ppid=10041 vsize=15419460 memory=1164 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1581 0 0 0 0 2 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10085] ppid=10041 vsize=15419460 memory=1456 CPUtime=139.26 cores=1,3,5,7
/proc/10043/task/10085/stat : 10085 (java) R 10041 10041 6055 0 -1 4202560 915 0 0 0 13926 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895897004120 139896089916526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10086] ppid=10041 vsize=15419460 memory=191856 CPUtime=139.02 cores=1,3,5,7
/proc/10043/task/10086/stat : 10086 (java) R 10041 10041 6055 0 -1 4202560 2197 0 0 0 13902 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895894899696 139896090909315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10087] ppid=10041 vsize=15419460 memory=14689690934577591 CPUtime=138.71 cores=1,3,5,7
/proc/10043/task/10087/stat : 10087 (java) R 10041 10041 6055 0 -1 4202560 2360 0 0 0 13871 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895893847496 139896090905532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10088] ppid=10041 vsize=15419460 memory=7378420470681267814 CPUtime=139.35 cores=1,3,5,7
/proc/10043/task/10088/stat : 10088 (java) R 10041 10041 6055 0 -1 4202560 1333 0 0 0 13935 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895895956320 139896090896640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 615.6 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 190744 KiB
[startup+155.111 s]
/proc/loadavg: 8.07 8.34 8.08 10/238 10107
/proc/meminfo: memFree=15197712/32770624 swapFree=66988760/67108860
[pid=10041] ppid=10038 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10041/stat : 10041 (xcsp3-exec) S 10038 10041 6055 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475414300 115843072 364 33554432000 4194304 5098028 140733655669152 140733655667256 139841801106044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33640448 140733655671639 140733655671897 140733655671897 140733655674822 0
/proc/10041/statm: 28282 364 305 221 0 87 0
[pid=10043] ppid=10041 vsize=15419460 memory=189288 CPUtime=616 cores=1,3,5,7
/proc/10043/stat : 10043 (java) S 10041 10041 6055 0 -1 1077944320 96592 0 0 0 61583 17 0 0 20 0 19 0 475414300 15789527040 47322 33554432000 4194304 4196468 140736667467984 140736667450528 139896446250743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
/proc/10043/statm: 3854865 47322 3526 1 0 3815965 0
[pid=10043/tid=10044] ppid=10041 vsize=15419460 memory=1456 CPUtime=0.65 cores=1,3,5,7
/proc/10043/task/10044/stat : 10044 (java) S 10041 10041 6055 0 -1 1077944384 9496 0 0 0 61 4 0 0 20 0 19 0 475414300 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896450491520 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10045] ppid=10041 vsize=15419460 memory=189288 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10045/stat : 10045 (java) S 10041 10041 6055 0 -1 1077944384 1754 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896038288144 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10046] ppid=10041 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10046/stat : 10046 (java) S 10041 10041 6055 0 -1 1077944384 2036 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896037235600 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10047] ppid=10041 vsize=15419460 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10047/stat : 10047 (java) S 10041 10041 6055 0 -1 1077944384 1353 0 0 0 4 0 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896036183056 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10048] ppid=10041 vsize=15419460 memory=205696 CPUtime=0.04 cores=1,3,5,7
/proc/10043/task/10048/stat : 10048 (java) S 10041 10041 6055 0 -1 1077944384 4425 0 0 0 3 1 0 0 20 0 19 0 475414301 15789527040 47322 33554432000 4194304 4196468 140736667467984 139896035130512 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10049] ppid=10041 vsize=15419460 memory=280878782692944 CPUtime=0.05 cores=1,3,5,7
/proc/10043/task/10049/stat : 10049 (java) S 10041 10041 6055 0 -1 1077944384 2606 0 0 0 3 2 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895914407920 139896446261890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10050] ppid=10041 vsize=15419460 memory=6935652554312077392 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10050/stat : 10050 (java) S 10041 10041 6055 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895913354208 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10051] ppid=10041 vsize=15419460 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10051/stat : 10051 (java) S 10041 10041 6055 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 475414303 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895912301568 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10052] ppid=10041 vsize=15419460 memory=189288 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10052/stat : 10052 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895911250128 139896446269339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10053] ppid=10041 vsize=15419460 memory=33 CPUtime=4.45 cores=1,3,5,7
/proc/10043/task/10053/stat : 10053 (java) S 10041 10041 6055 0 -1 1077944384 25939 0 0 0 443 2 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895910197744 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10054] ppid=10041 vsize=15419460 memory=3208 CPUtime=4.24 cores=1,3,5,7
/proc/10043/task/10054/stat : 10054 (java) S 10041 10041 6055 0 -1 1077944384 24608 0 0 0 423 1 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895909145200 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10055] ppid=10041 vsize=15419460 memory=189288 CPUtime=0.82 cores=1,3,5,7
/proc/10043/task/10055/stat : 10055 (java) S 10041 10041 6055 0 -1 1077944384 10325 0 0 0 81 1 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895908092656 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10056] ppid=10041 vsize=15419460 memory=57 CPUtime=0 cores=1,3,5,7
/proc/10043/task/10056/stat : 10056 (java) S 10041 10041 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895907040352 139896446260949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10057] ppid=10041 vsize=15419460 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/10043/task/10057/stat : 10057 (java) S 10041 10041 6055 0 -1 1077944384 1581 0 0 0 0 2 0 0 20 0 19 0 475414306 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895905986864 139896446261890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10085] ppid=10041 vsize=15419460 memory=184136 CPUtime=139.36 cores=1,3,5,7
/proc/10043/task/10085/stat : 10085 (java) R 10041 10041 6055 0 -1 4202560 915 0 0 0 13936 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895897004120 139896090077138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10086] ppid=10041 vsize=15419460 memory=1412 CPUtime=139.12 cores=1,3,5,7
/proc/10043/task/10086/stat : 10086 (java) R 10041 10041 6055 0 -1 4202560 2197 0 0 0 13912 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895894899696 139896087766210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10087] ppid=10041 vsize=15419460 memory=199028 CPUtime=138.81 cores=1,3,5,7
/proc/10043/task/10087/stat : 10087 (java) R 10041 10041 6055 0 -1 4202560 2360 0 0 0 13881 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895893847496 139896087774519 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
[pid=10043/tid=10088] ppid=10041 vsize=15419460 memory=1456 CPUtime=139.45 cores=1,3,5,7
/proc/10043/task/10088/stat : 10088 (java) R 10041 10041 6055 0 -1 4202560 1333 0 0 0 13945 0 0 0 20 0 19 0 475415803 15789527040 47322 33554432000 4194304 4196468 140736667467984 139895895956320 139896089911484 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140736667476955 140736667477130 140736667477130 140736667480015 0
Current children cumulated CPU time: 616 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 190744 KiB
Child status: 0
Real time (s): 155.186
CPU time (s): 616.284
CPU user time (s): 616.098
CPU system time (s): 0.185682
CPU usage (%): 397.127
Max. virtual memory (cumulated for all children) (KiB): 15534684
Max. memory (cumulated for all children) (KiB): 244096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 616.098
system time used= 0.185682
maximum resident set size= 246236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7884
involuntary context switches= 10875
# summary of solver processes directly reported to runsolver:
# pid: 10041
# total CPU time (s): 616.284
# total CPU user time (s): 616.098
# total CPU system time (s): 0.185682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.974714 second user time and 1.67278 second system time
The end