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 (12221 MiB free)
memory of node 1: 16384 MiB (14169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405725-1569415861/watcher-4405725-1569415861 -o /var/tmp/evaluation-result-4405725-1569415861/solver-4405725-1569415861 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569406883-8784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1809090687 HOME/instance-4405725-1569415861.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=10319, runsolver pid=10316
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.97 1.78 1.78 4/229 10335
/proc/meminfo: memFree=27006760/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
[pid=10321] ppid=10319 vsize=15144776 memory=29624 CPUtime=0.13 cores=1,3,5,7
/proc/10321/stat : 10321 (java) S 10319 10319 8752 0 -1 1077944320 5826 0 0 0 12 1 0 0 20 0 15 0 517858556 15508250624 7406 33554432000 4194304 4196468 140728949616576 140728949599120 140431284567799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
/proc/10321/statm: 3786194 7406 3153 1 0 3748377 0
[pid=10321/tid=10322] ppid=10319 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (java) R 10319 10319 8752 0 -1 4202560 3708 0 0 0 9 0 0 0 20 0 15 0 517858556 15508250624 7406 33554432000 4194304 4196468 140728949616576 140431288798176 140431276804926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10323] ppid=10319 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10323/stat : 10323 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 7406 33554432000 4194304 4196468 140728949616576 140431212608528 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10324] ppid=10319 vsize=15144776 memory=139681796114048 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 7406 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 7406 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 7406 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15144776 memory=139681796114048 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517858558 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517858559 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430752085152 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517858559 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430751032048 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 517858561 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517858561 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15144776 memory=139681796114048 CPUtime=0.02 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) R 10319 10319 8752 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 517858561 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430746823152 140431263272566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15144776 memory=139681796114048 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858562 15508250624 7406 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31076 KiB
[startup+0.210748 s]*
/proc/loadavg: 1.97 1.78 1.78 5/229 10335
/proc/meminfo: memFree=26994500/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
[pid=10321] ppid=10319 vsize=15144776 memory=40196 CPUtime=0.35 cores=1,3,5,7
/proc/10321/stat : 10321 (java) S 10319 10319 8752 0 -1 1077944320 9288 0 0 0 32 3 0 0 20 0 15 0 517858556 15508250624 10049 33554432000 4194304 4196468 140728949616576 140728949599120 140431284567799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
/proc/10321/statm: 3786194 10049 3268 1 0 3748377 0
[pid=10321/tid=10322] ppid=10319 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (java) R 10319 10319 8752 0 -1 4202560 6569 0 0 0 18 2 0 0 20 0 15 0 517858556 15508250624 10049 33554432000 4194304 4196468 140728949616576 140431288798448 140431268648286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10323] ppid=10319 vsize=15144776 memory=13575 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10323/stat : 10323 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 10049 33554432000 4194304 4196468 140728949616576 140431212608528 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10324] ppid=10319 vsize=15144776 memory=139681796124426 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 10049 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 10049 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517858557 15508250624 10049 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15144776 memory=139681796114048 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517858558 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517858559 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430752085152 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517858559 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430751032048 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 15 0 517858561 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 15 0 517858561 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15144776 memory=139681796114048 CPUtime=0.08 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) S 10319 10319 8752 0 -1 1077944384 795 0 0 0 8 0 0 0 20 0 15 0 517858561 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430746823152 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858562 15508250624 10049 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41648 KiB
[startup+0.310534 s]*
/proc/loadavg: 1.97 1.78 1.78 4/229 10335
/proc/meminfo: memFree=26987120/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
[pid=10321] ppid=10319 vsize=15149032 memory=49564 CPUtime=0.54 cores=1,3,5,7
/proc/10321/stat : 10321 (java) S 10319 10319 8752 0 -1 1077944320 10778 0 0 0 50 4 0 0 20 0 15 0 517858556 15512608768 12391 33554432000 4194304 4196468 140728949616576 140728949599120 140431284567799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
/proc/10321/statm: 3787258 12391 3370 1 0 3748377 0
[pid=10321/tid=10322] ppid=10319 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (java) R 10319 10319 8752 0 -1 4202560 7780 0 0 0 27 3 0 0 20 0 15 0 517858556 15512608768 12391 33554432000 4194304 4196468 140728949616576 140431288800896 140431268648286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10323] ppid=10319 vsize=15149032 memory=13938 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10323/stat : 10323 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15512608768 12391 33554432000 4194304 4196468 140728949616576 140431212608528 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10324] ppid=10319 vsize=15149032 memory=3887668 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15512608768 12391 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15512608768 12391 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517858557 15512608768 12391 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517858558 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517858559 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430752085152 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517858559 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430751032048 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 517858561 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 330 0 0 0 5 0 0 0 20 0 15 0 517858561 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) S 10319 10319 8752 0 -1 1077944384 946 0 0 0 12 0 0 0 20 0 15 0 517858561 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430746823152 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858562 15512608768 12391 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51016 KiB
[startup+0.700899 s]
/proc/loadavg: 1.97 1.78 1.78 6/229 10335
/proc/meminfo: memFree=26973268/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
[pid=10321] ppid=10319 vsize=15151156 memory=173560 CPUtime=1.48 cores=1,3,5,7
/proc/10321/stat : 10321 (java) S 10319 10319 8752 0 -1 1077944320 14242 0 0 0 141 7 0 0 20 0 15 0 517858556 15514783744 43390 33554432000 4194304 4196468 140728949616576 140728949599120 140431284567799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
/proc/10321/statm: 3787789 43390 3452 1 0 3748889 0
[pid=10321/tid=10322] ppid=10319 vsize=15151156 memory=12328 CPUtime=0.68 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (java) R 10319 10319 8752 0 -1 4202560 8820 0 0 0 63 5 0 0 20 0 15 0 517858556 15514783744 43390 33554432000 4194304 4196468 140728949616576 140431288802480 140430888494021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10323] ppid=10319 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10323/stat : 10323 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15514783744 43390 33554432000 4194304 4196468 140728949616576 140431212608528 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10324] ppid=10319 vsize=15151156 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15514783744 43390 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15151156 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858557 15514783744 43390 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517858557 15514783744 43390 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15151156 memory=1940 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517858558 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15151156 memory=1996 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430752085152 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15151156 memory=2508 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430751032048 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15151156 memory=1532 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15151156 memory=836 CPUtime=0.23 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 1257 0 0 0 23 0 0 0 20 0 15 0 517858561 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15151156 memory=1760 CPUtime=0.23 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 914 0 0 0 23 0 0 0 20 0 15 0 517858561 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15151156 memory=111632 CPUtime=0.29 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) S 10319 10319 8752 0 -1 1077944384 1943 0 0 0 29 0 0 0 20 0 15 0 517858561 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430746823152 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517858562 15514783744 43390 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 175012 KiB
[startup+1.50084 s]
/proc/loadavg: 1.97 1.78 1.78 6/229 10335
/proc/meminfo: memFree=26702380/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 24218 0 0 0 2287 117 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15151156 memory=9130920 CPUtime=24.05 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 26793 0 0 0 2291 114 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15151156 memory=1040 CPUtime=24.06 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 28600 0 0 0 2311 95 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15151156 memory=1452 CPUtime=9.8 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 19842 0 0 0 976 4 0 0 20 0 15 0 517858558 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15151156 memory=1480 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430752085216 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15151156 memory=3880 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430751032064 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15151156 memory=7712 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15151156 memory=1760 CPUtime=1.87 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 12498 0 0 0 184 3 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15151156 memory=3648 CPUtime=2.01 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 14456 0 0 0 199 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15151156 memory=54268 CPUtime=0.65 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) S 10319 10319 8752 0 -1 1077944384 9484 0 0 0 63 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430746823152 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15151156 memory=2084 CPUtime=0.24 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 514 0 0 0 11 13 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 483.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9132372 KiB
[startup+408.001 s]*
/proc/loadavg: 1.81 1.78 1.76 3/230 10369
/proc/meminfo: memFree=17750544/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
[pid=10321] ppid=10319 vsize=15151156 memory=9130920 CPUtime=484.8 cores=1,3,5,7
/proc/10321/stat : 10321 (java) S 10319 10319 8752 0 -1 1077944320 197507 0 0 0 47970 510 0 0 20 0 15 0 517858556 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140728949599120 140431284567799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
/proc/10321/statm: 3787789 2282730 3521 1 0 3748889 0
[pid=10321/tid=10322] ppid=10319 vsize=15151156 memory=6791534058613427641 CPUtime=373.91 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (java) R 10319 10319 8752 0 -1 4202560 38560 0 0 0 37344 47 0 0 20 0 15 0 517858556 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431288803664 140430891266783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10323] ppid=10319 vsize=15151156 memory=4126316290023845779 CPUtime=24.07 cores=1,3,5,7
/proc/10321/task/10323/stat : 10323 (java) S 10319 10319 8752 0 -1 1077944384 21217 0 0 0 2295 112 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431212608528 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10324] ppid=10319 vsize=15151156 memory=7235149793717150824 CPUtime=24.04 cores=1,3,5,7
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 24218 0 0 0 2287 117 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15151156 memory=7020940743718430528 CPUtime=24.05 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 26793 0 0 0 2291 114 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15151156 memory=7234300875901071204 CPUtime=24.06 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 28600 0 0 0 2311 95 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15151156 memory=7234300875901071204 CPUtime=9.8 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 19842 0 0 0 976 4 0 0 20 0 15 0 517858558 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15151156 memory=7594306361778921839 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430752085216 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15151156 memory=7020940743718430528 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430751032064 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15151156 memory=7020940743718430528 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15151156 memory=5859853196216265319 CPUtime=1.87 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 12498 0 0 0 184 3 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15151156 memory=8514726395714825349 CPUtime=2.01 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 14456 0 0 0 199 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15151156 memory=5859853196216265319 CPUtime=0.65 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) S 10319 10319 8752 0 -1 1077944384 9484 0 0 0 63 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430746823152 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15151156 memory=7594306361778921839 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15151156 memory=5859853196216265319 CPUtime=0.24 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 514 0 0 0 11 13 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 484.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9132372 KiB
[startup+409.601 s]
/proc/loadavg: 1.81 1.78 1.76 3/230 10369
/proc/meminfo: memFree=17750648/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
[pid=10321] ppid=10319 vsize=15151156 memory=9130920 CPUtime=486.39 cores=1,3,5,7
/proc/10321/stat : 10321 (java) S 10319 10319 8752 0 -1 1077944320 197610 0 0 0 48129 510 0 0 20 0 15 0 517858556 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140728949599120 140431284567799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
/proc/10321/statm: 3787789 2282730 3521 1 0 3748889 0
[pid=10321/tid=10322] ppid=10319 vsize=15151156 memory=7712 CPUtime=375.5 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (java) R 10319 10319 8752 0 -1 4202560 38663 0 0 0 37503 47 0 0 20 0 15 0 517858556 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431288803664 140430890528469 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10323] ppid=10319 vsize=15151156 memory=1760 CPUtime=24.07 cores=1,3,5,7
/proc/10321/task/10323/stat : 10323 (java) S 10319 10319 8752 0 -1 1077944384 21217 0 0 0 2295 112 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431212608528 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10324] ppid=10319 vsize=15151156 memory=1172 CPUtime=24.04 cores=1,3,5,7
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 24218 0 0 0 2287 117 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15151156 memory=2256 CPUtime=24.05 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 26793 0 0 0 2291 114 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15151156 memory=12328 CPUtime=24.06 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 28600 0 0 0 2311 95 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15151156 memory=500 CPUtime=9.8 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 19842 0 0 0 976 4 0 0 20 0 15 0 517858558 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430752085216 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430751032064 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15151156 memory=1452 CPUtime=1.87 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 12498 0 0 0 184 3 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15151156 memory=9130920 CPUtime=2.01 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 14456 0 0 0 199 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15151156 memory=2084 CPUtime=0.65 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) S 10319 10319 8752 0 -1 1077944384 9484 0 0 0 63 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430746823152 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15151156 memory=1190 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15151156 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 514 0 0 0 11 13 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 486.39 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9132372 KiB
[startup+410.001 s]*
/proc/loadavg: 1.81 1.78 1.76 3/230 10369
/proc/meminfo: memFree=17750648/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
[pid=10321] ppid=10319 vsize=15151156 memory=9130920 CPUtime=486.8 cores=1,3,5,7
/proc/10321/stat : 10321 (java) S 10319 10319 8752 0 -1 1077944320 197610 0 0 0 48170 510 0 0 20 0 15 0 517858556 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140728949599120 140431284567799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
/proc/10321/statm: 3787789 2282730 3521 1 0 3748889 0
[pid=10321/tid=10322] ppid=10319 vsize=15151156 memory=6791534058613427641 CPUtime=375.91 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (java) R 10319 10319 8752 0 -1 4202560 38663 0 0 0 37544 47 0 0 20 0 15 0 517858556 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431288803664 140430891264194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10323] ppid=10319 vsize=15151156 memory=4126316290023845779 CPUtime=24.07 cores=1,3,5,7
/proc/10321/task/10323/stat : 10323 (java) S 10319 10319 8752 0 -1 1077944384 21217 0 0 0 2295 112 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431212608528 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10324] ppid=10319 vsize=15151156 memory=-7517466914345674145 CPUtime=24.04 cores=1,3,5,7
/proc/10321/task/10324/stat : 10324 (java) S 10319 10319 8752 0 -1 1077944384 24218 0 0 0 2287 117 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431211555984 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10325] ppid=10319 vsize=15151156 memory=4121392000370096128 CPUtime=24.05 cores=1,3,5,7
/proc/10321/task/10325/stat : 10325 (java) S 10319 10319 8752 0 -1 1077944384 26793 0 0 0 2291 114 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431210502928 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10326] ppid=10319 vsize=15151156 memory=4122236425835060225 CPUtime=24.06 cores=1,3,5,7
/proc/10321/task/10326/stat : 10326 (java) S 10319 10319 8752 0 -1 1077944384 28600 0 0 0 2311 95 0 0 20 0 15 0 517858557 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140431209450384 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10327] ppid=10319 vsize=15151156 memory=56 CPUtime=9.8 cores=1,3,5,7
/proc/10321/task/10327/stat : 10327 (java) S 10319 10319 8752 0 -1 1077944384 19842 0 0 0 976 4 0 0 20 0 15 0 517858558 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430753138928 140431284578946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10328] ppid=10319 vsize=15151156 memory=3053811428090794576 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10328/stat : 10328 (java) S 10319 10319 8752 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430752085216 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10329] ppid=10319 vsize=15151156 memory=3054355789459570789 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10329/stat : 10329 (java) S 10319 10319 8752 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 517858559 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430751032064 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10330] ppid=10319 vsize=15151156 memory=7156589692208631891 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10330/stat : 10330 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430749980624 140431284586395 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10331] ppid=10319 vsize=15151156 memory=7806817795975435370 CPUtime=1.87 cores=1,3,5,7
/proc/10321/task/10331/stat : 10331 (java) S 10319 10319 8752 0 -1 1077944384 12498 0 0 0 184 3 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430748928752 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10332] ppid=10319 vsize=15151156 memory=1412 CPUtime=2.01 cores=1,3,5,7
/proc/10321/task/10332/stat : 10332 (java) S 10319 10319 8752 0 -1 1077944384 14456 0 0 0 199 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430747876208 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10333] ppid=10319 vsize=15151156 memory=3120 CPUtime=0.65 cores=1,3,5,7
/proc/10321/task/10333/stat : 10333 (java) S 10319 10319 8752 0 -1 1077944384 9484 0 0 0 63 2 0 0 20 0 15 0 517858561 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430746823152 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10334] ppid=10319 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10334/stat : 10334 (java) S 10319 10319 8752 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430745770848 140431284578005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
[pid=10321/tid=10335] ppid=10319 vsize=15151156 memory=9130716 CPUtime=0.24 cores=1,3,5,7
/proc/10321/task/10335/stat : 10335 (java) S 10319 10319 8752 0 -1 1077944384 514 0 0 0 11 13 0 0 20 0 15 0 517858562 15514783744 2282730 33554432000 4194304 4196468 140728949616576 140430744717872 140431284578946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15142912 140728949617627 140728949617802 140728949617802 140728949620687 0
Current children cumulated CPU time: 486.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9132372 KiB
[startup+410.201 s]
/proc/loadavg: 1.81 1.78 1.76 3/230 10369
/proc/meminfo: memFree=17750648/32770624 swapFree=67024144/67108860
[pid=10319] ppid=10316 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10319/stat : 10319 (xcsp3-exec) S 10316 10319 8752 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517858556 115843072 363 33554432000 4194304 5098028 140728888024288 140728888022392 140553397293692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12947456 140728888025942 140728888026201 140728888026201 140728888029126 0
/proc/10319/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 410.225
CPU time (s): 487.015
CPU user time (s): 481.872
CPU system time (s): 5.14287
CPU usage (%): 118.719
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 9145076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 481.872
system time used= 5.14287
maximum resident set size= 9143624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14407
involuntary context switches= 1145
# summary of solver processes directly reported to runsolver:
# pid: 10319
# total CPU time (s): 487.015
# total CPU user time (s): 481.872
# total CPU system time (s): 5.14287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.66776 second user time and 4.09781 second system time
The end