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 (15050 MiB free)
memory of node 1: 16384 MiB (15528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400536-1568680308/watcher-4400536-1568680308 -o /tmp/evaluation-result-4400536-1568680308/solver-4400536-1568680308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 207796580 HOME/instance-4400536-1568680308.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=12629, runsolver pid=12626
Current StackSize limit: 8192 KiB
[startup+0.102593 s]*
/proc/loadavg: 8.90 8.75 8.55 7/235 12645
/proc/meminfo: memFree=31295896/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
[pid=12631] ppid=12629 vsize=15144776 memory=29408 CPUtime=0.13 cores=1,3,5,7
/proc/12631/stat : 12631 (java) S 12629 12629 32513 0 -1 1077944320 5799 0 0 0 12 1 0 0 20 0 15 0 444283910 15508250624 7352 33554432000 4194304 4196468 140736899516208 140736899498752 139630766104311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
/proc/12631/statm: 3786194 7352 3148 1 0 3748377 0
[pid=12631/tid=12632] ppid=12629 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/12631/task/12632/stat : 12632 (java) R 12629 12629 32513 0 -1 4202560 3673 0 0 0 8 1 0 0 20 0 15 0 444283910 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630770332976 139630403680963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12633] ppid=12629 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12633/stat : 12633 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630358747408 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12634] ppid=12629 vsize=15144776 memory=139923921692288 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12634/stat : 12634 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630357694864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12635] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12635/stat : 12635 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630356642320 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12636] ppid=12629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12636/stat : 12636 (java) S 12629 12629 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630355589776 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12637] ppid=12629 vsize=15144776 memory=139923921692288 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12637/stat : 12637 (java) S 12629 12629 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444283912 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630327396848 139630766115458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12638] ppid=12629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12638/stat : 12638 (java) S 12629 12629 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444283912 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630259201440 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12639] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12639/stat : 12639 (java) S 12629 12629 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444283913 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630258148848 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12640] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12640/stat : 12640 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630257097424 139630766122907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12641] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12641/stat : 12641 (java) S 12629 12629 32513 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 444283915 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630256044016 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12642] ppid=12629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12642/stat : 12642 (java) R 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630254991472 139630766115458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12643] ppid=12629 vsize=15144776 memory=139923921692288 CPUtime=0.02 cores=1,3,5,7
/proc/12631/task/12643/stat : 12643 (java) S 12629 12629 32513 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 444283915 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630253938928 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12644] ppid=12629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12644/stat : 12644 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630252886624 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12645] ppid=12629 vsize=15144776 memory=139923921692288 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283916 15508250624 7352 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30856 KiB
[startup+0.210878 s]*
/proc/loadavg: 8.90 8.75 8.55 8/235 12645
/proc/meminfo: memFree=31283028/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
[pid=12631] ppid=12629 vsize=15144776 memory=40936 CPUtime=0.34 cores=1,3,5,7
/proc/12631/stat : 12631 (java) S 12629 12629 32513 0 -1 1077944320 9431 0 0 0 31 3 0 0 20 0 15 0 444283910 15508250624 10234 33554432000 4194304 4196468 140736899516208 140736899498752 139630766104311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
/proc/12631/statm: 3786194 10234 3307 1 0 3748377 0
[pid=12631/tid=12632] ppid=12629 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12631/task/12632/stat : 12632 (java) R 12629 12629 32513 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 444283910 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630770341360 139630766126237 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12633] ppid=12629 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12633/stat : 12633 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630358747408 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12634] ppid=12629 vsize=15144776 memory=139923925157982 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12634/stat : 12634 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630357694864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12635] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12635/stat : 12635 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630356642320 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12636] ppid=12629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12636/stat : 12636 (java) S 12629 12629 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444283911 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630355589776 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12637] ppid=12629 vsize=15144776 memory=139923921692288 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12637/stat : 12637 (java) S 12629 12629 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444283912 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630327396848 139630766115458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12638] ppid=12629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12638/stat : 12638 (java) S 12629 12629 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444283912 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630259201440 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12639] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12639/stat : 12639 (java) S 12629 12629 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444283913 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630258148848 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12640] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12640/stat : 12640 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630257097424 139630766122907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12641] ppid=12629 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12631/task/12641/stat : 12641 (java) S 12629 12629 32513 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 15 0 444283915 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630256044016 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12642] ppid=12629 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12631/task/12642/stat : 12642 (java) S 12629 12629 32513 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 444283915 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630254991472 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12643] ppid=12629 vsize=15144776 memory=139923921692288 CPUtime=0.08 cores=1,3,5,7
/proc/12631/task/12643/stat : 12643 (java) R 12629 12629 32513 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 15 0 444283915 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630253938928 139630766125658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12644] ppid=12629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12644/stat : 12644 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630252886624 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12645] ppid=12629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283916 15508250624 10234 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42384 KiB
[startup+0.319534 s]*
/proc/loadavg: 8.90 8.75 8.55 7/235 12645
/proc/meminfo: memFree=31275376/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
[pid=12631] ppid=12629 vsize=15149032 memory=50620 CPUtime=0.54 cores=1,3,5,7
/proc/12631/stat : 12631 (java) S 12629 12629 32513 0 -1 1077944320 10934 0 0 0 50 4 0 0 20 0 15 0 444283910 15512608768 12655 33554432000 4194304 4196468 140736899516208 140736899498752 139630766104311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
/proc/12631/statm: 3787258 12655 3362 1 0 3748377 0
[pid=12631/tid=12632] ppid=12629 vsize=15149032 memory=32213995742560408 CPUtime=0.31 cores=1,3,5,7
/proc/12631/task/12632/stat : 12632 (java) R 12629 12629 32513 0 -1 4202560 7909 0 0 0 28 3 0 0 20 0 15 0 444283910 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630770339152 139630750184798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12633] ppid=12629 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12633/stat : 12633 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630358747408 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12634] ppid=12629 vsize=15149032 memory=3550810 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12634/stat : 12634 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630357694864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12635] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12635/stat : 12635 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630356642320 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12636] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12636/stat : 12636 (java) S 12629 12629 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444283911 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630355589776 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12637] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12637/stat : 12637 (java) S 12629 12629 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444283912 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630327396848 139630766115458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12638] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12638/stat : 12638 (java) S 12629 12629 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444283912 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630259201440 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12639] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12639/stat : 12639 (java) S 12629 12629 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444283913 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630258148848 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12640] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12640/stat : 12640 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630257097424 139630766122907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12641] ppid=12629 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12631/task/12641/stat : 12641 (java) S 12629 12629 32513 0 -1 1077944384 610 0 0 0 5 0 0 0 20 0 15 0 444283915 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630256044016 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12642] ppid=12629 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12642/stat : 12642 (java) S 12629 12629 32513 0 -1 1077944384 306 0 0 0 4 0 0 0 20 0 15 0 444283915 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630254991472 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12643] ppid=12629 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12631/task/12643/stat : 12643 (java) S 12629 12629 32513 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 444283915 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630253938928 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12644] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12644/stat : 12644 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630252886624 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12645] ppid=12629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283916 15512608768 12663 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52068 KiB
[startup+0.704507 s]
/proc/loadavg: 8.90 8.75 8.55 8/235 12645
/proc/meminfo: memFree=31263588/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
[pid=12631] ppid=12629 vsize=15151156 memory=92136 CPUtime=1.62 cores=1,3,5,7
/proc/12631/stat : 12631 (java) S 12629 12629 32513 0 -1 1077944320 14151 0 0 0 157 5 0 0 20 0 15 0 444283910 15514783744 23034 33554432000 4194304 4196468 140736899516208 140736899498752 139630766104311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
/proc/12631/statm: 3787789 23034 3464 1 0 3748889 0
[pid=12631/tid=12632] ppid=12629 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/12631/task/12632/stat : 12632 (java) R 12629 12629 32513 0 -1 4202560 9150 0 0 0 64 3 0 0 20 0 15 0 444283910 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630770342904 139630748567003 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12633] ppid=12629 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12633/stat : 12633 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630358747408 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12634] ppid=12629 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12634/stat : 12634 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630357694864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12635] ppid=12629 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12635/stat : 12635 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283911 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630356642320 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12636] ppid=12629 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12636/stat : 12636 (java) S 12629 12629 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444283911 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630355589776 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12637] ppid=12629 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12637/stat : 12637 (java) S 12629 12629 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444283912 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630327396848 139630766115458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12638] ppid=12629 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12638/stat : 12638 (java) S 12629 12629 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444283912 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630259201440 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12639] ppid=12629 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12639/stat : 12639 (java) S 12629 12629 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444283913 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630258148848 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12640] ppid=12629 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12640/stat : 12640 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630257097424 139630766122907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12641] ppid=12629 vsize=15151156 memory=1764 CPUtime=0.27 cores=1,3,5,7
/proc/12631/task/12641/stat : 12641 (java) R 12629 12629 32513 0 -1 4202560 1008 0 0 0 27 0 0 0 20 0 15 0 444283915 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630256033008 139630750007408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12642] ppid=12629 vsize=15151156 memory=111628 CPUtime=0.26 cores=1,3,5,7
/proc/12631/task/12642/stat : 12642 (java) R 12629 12629 32513 0 -1 4202560 997 0 0 0 26 0 0 0 20 0 15 0 444283915 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630254981296 139630747648424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12643] ppid=12629 vsize=15151156 memory=796 CPUtime=0.39 cores=1,3,5,7
/proc/12631/task/12643/stat : 12643 (java) S 12629 12629 32513 0 -1 1077944384 1690 0 0 0 39 0 0 0 20 0 15 0 444283915 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630253938928 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12644] ppid=12629 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12644/stat : 12644 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444283915 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630252886624 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12645] ppid=12629 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444283916 15514783744 23034 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93584 KiB
[startup+1.50952 s]
/proc/loadavg: 8.90 8.75 8.55 13/239 12649
/proc/meminfo: memFree=31184908/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 605 0 0 0 0 0 0 0 20 0 19 0 444283916 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12646] ppid=12629 vsize=15417412 memory=22370 CPUtime=13.48 cores=1,3,5,7
/proc/12631/task/12646/stat : 12646 (java) R 12629 12629 32513 0 -1 4202560 573 0 0 0 1348 0 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630242613968 139630409111290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12647] ppid=12629 vsize=15417412 memory=0 CPUtime=12.81 cores=1,3,5,7
/proc/12631/task/12647/stat : 12647 (java) R 12629 12629 32513 0 -1 4202560 1191 0 0 0 1280 1 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630241563448 139630409110975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12648] ppid=12629 vsize=15417412 memory=-4695052241013923951 CPUtime=13.17 cores=1,3,5,7
/proc/12631/task/12648/stat : 12648 (java) R 12629 12629 32513 0 -1 4202560 494 0 0 0 1317 0 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630240510264 139630409217994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12649] ppid=12629 vsize=15417412 memory=6944656592455359580 CPUtime=13.21 cores=1,3,5,7
/proc/12631/task/12649/stat : 12649 (java) R 12629 12629 32513 0 -1 4202560 1088 0 0 0 1321 0 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630239456952 139630409218013 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 59.12 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 244724 KiB
[startup+15.6015 s]
/proc/loadavg: 8.84 8.75 8.55 10/239 12650
/proc/meminfo: memFree=31082972/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
[pid=12631] ppid=12629 vsize=15417412 memory=243276 CPUtime=60.72 cores=1,3,5,7
/proc/12631/stat : 12631 (java) S 12629 12629 32513 0 -1 1077944320 45045 0 0 0 6053 19 0 0 20 0 19 0 444283910 15787429888 60819 33554432000 4194304 4196468 140736899516208 140736899498752 139630766104311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
/proc/12631/statm: 3854353 60819 3537 1 0 3815453 0
[pid=12631/tid=12632] ppid=12629 vsize=15417412 memory=6791534058613427641 CPUtime=0.8 cores=1,3,5,7
/proc/12631/task/12632/stat : 12632 (java) S 12629 12629 32513 0 -1 1077944384 9304 0 0 0 76 4 0 0 20 0 19 0 444283910 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630770345088 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12633] ppid=12629 vsize=15417412 memory=243256 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12633/stat : 12633 (java) S 12629 12629 32513 0 -1 1077944384 823 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630358747408 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12634] ppid=12629 vsize=15417412 memory=-7240599203230726965 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12634/stat : 12634 (java) S 12629 12629 32513 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630357694864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12635] ppid=12629 vsize=15417412 memory=4196912344889787449 CPUtime=0.03 cores=1,3,5,7
/proc/12631/task/12635/stat : 12635 (java) S 12629 12629 32513 0 -1 1077944384 603 0 0 0 2 1 0 0 20 0 19 0 444283911 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630356642320 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12636] ppid=12629 vsize=15417412 memory=4134606225630022328 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12636/stat : 12636 (java) S 12629 12629 32513 0 -1 1077944384 523 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630355589776 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12637] ppid=12629 vsize=15417412 memory=-5153075247754915967 CPUtime=0.01 cores=1,3,5,7
/proc/12631/task/12637/stat : 12637 (java) S 12629 12629 32513 0 -1 1077944384 620 0 0 0 1 0 0 0 20 0 19 0 444283912 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630327396848 139630766115458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12638] ppid=12629 vsize=15417412 memory=4134606225630022328 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12638/stat : 12638 (java) S 12629 12629 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 444283912 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630259201504 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12639] ppid=12629 vsize=15417412 memory=-8458152057954364812 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12639/stat : 12639 (java) S 12629 12629 32513 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 444283913 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630258148864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12640] ppid=12629 vsize=15417412 memory=8514726395715218844 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12640/stat : 12640 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444283915 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630257097424 139630766122907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12641] ppid=12629 vsize=15417412 memory=7820646380463336011 CPUtime=2.26 cores=1,3,5,7
/proc/12631/task/12641/stat : 12641 (java) S 12629 12629 32513 0 -1 1077944384 12539 0 0 0 223 3 0 0 20 0 19 0 444283915 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630256044016 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12642] ppid=12629 vsize=15417412 memory=-7240506762632310630 CPUtime=2.38 cores=1,3,5,7
/proc/12631/task/12642/stat : 12642 (java) S 12629 12629 32513 0 -1 1077944384 10025 0 0 0 237 1 0 0 20 0 19 0 444283915 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630254991472 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12643] ppid=12629 vsize=15417412 memory=1112 CPUtime=0.75 cores=1,3,5,7
/proc/12631/task/12643/stat : 12643 (java) S 12629 12629 32513 0 -1 1077944384 4728 0 0 0 74 1 0 0 20 0 19 0 444283915 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630253938928 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12644] ppid=12629 vsize=15417412 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12644/stat : 12644 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444283915 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630252886624 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12645] ppid=12629 vsize=15417412 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 867 0 0 0 0 0 0 0 20 0 19 0 444283916 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12646] ppid=12629 vsize=15417412 memory=14008 CPUtime=13.88 cores=1,3,5,7
/proc/12631/task/12646/stat : 12646 (java) R 12629 12629 32513 0 -1 4202560 573 0 0 0 1388 0 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630242613968 139630409110975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12647] ppid=12629 vsize=15417412 memory=2124 CPUtime=13.21 cores=1,3,5,7
/proc/12631/task/12647/stat : 12647 (java) R 12629 12629 32513 0 -1 4202560 1240 0 0 0 1320 1 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630241563448 139630409738188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12648] ppid=12629 vsize=15417412 memory=25996 CPUtime=13.57 cores=1,3,5,7
/proc/12631/task/12648/stat : 12648 (java) R 12629 12629 32513 0 -1 4202560 496 0 0 0 1357 0 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630240510264 139630409110995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12649] ppid=12629 vsize=15417412 memory=12024 CPUtime=13.6 cores=1,3,5,7
/proc/12631/task/12649/stat : 12649 (java) R 12629 12629 32513 0 -1 4202560 1089 0 0 0 1360 0 0 0 20 0 19 0 444283992 15787429888 60819 33554432000 4194304 4196468 140736899516208 139630239456952 139630407576923 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 60.72 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 244724 KiB
[startup+16.0008 s]*
/proc/loadavg: 8.84 8.75 8.55 10/239 12650
/proc/meminfo: memFree=31082972/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
[pid=12631] ppid=12629 vsize=15417412 memory=243296 CPUtime=62.34 cores=1,3,5,7
/proc/12631/stat : 12631 (java) S 12629 12629 32513 0 -1 1077944320 45830 0 0 0 6215 19 0 0 20 0 19 0 444283910 15787429888 60824 33554432000 4194304 4196468 140736899516208 140736899498752 139630766104311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
/proc/12631/statm: 3854353 60824 3537 1 0 3815453 0
[pid=12631/tid=12632] ppid=12629 vsize=15417412 memory=6935054825532540783 CPUtime=0.8 cores=1,3,5,7
/proc/12631/task/12632/stat : 12632 (java) S 12629 12629 32513 0 -1 1077944384 9304 0 0 0 76 4 0 0 20 0 19 0 444283910 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630770345088 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12633] ppid=12629 vsize=15417412 memory=4126316290023845779 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12633/stat : 12633 (java) S 12629 12629 32513 0 -1 1077944384 823 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630358747408 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12634] ppid=12629 vsize=15417412 memory=12024 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12634/stat : 12634 (java) S 12629 12629 32513 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630357694864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12635] ppid=12629 vsize=15417412 memory=500 CPUtime=0.03 cores=1,3,5,7
/proc/12631/task/12635/stat : 12635 (java) S 12629 12629 32513 0 -1 1077944384 603 0 0 0 2 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630356642320 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12636] ppid=12629 vsize=15417412 memory=1560 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12636/stat : 12636 (java) S 12629 12629 32513 0 -1 1077944384 523 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630355589776 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12637] ppid=12629 vsize=15417412 memory=932 CPUtime=0.01 cores=1,3,5,7
/proc/12631/task/12637/stat : 12637 (java) S 12629 12629 32513 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 19 0 444283912 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630327396848 139630766115458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12638] ppid=12629 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12638/stat : 12638 (java) S 12629 12629 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 444283912 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630259201504 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12639] ppid=12629 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12639/stat : 12639 (java) S 12629 12629 32513 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 444283913 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630258148864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12640] ppid=12629 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12640/stat : 12640 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630257097424 139630766122907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12641] ppid=12629 vsize=15417412 memory=203 CPUtime=2.26 cores=1,3,5,7
/proc/12631/task/12641/stat : 12641 (java) S 12629 12629 32513 0 -1 1077944384 12652 0 0 0 223 3 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630256044016 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12642] ppid=12629 vsize=15417412 memory=219 CPUtime=2.4 cores=1,3,5,7
/proc/12631/task/12642/stat : 12642 (java) S 12629 12629 32513 0 -1 1077944384 10592 0 0 0 239 1 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630254991472 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12643] ppid=12629 vsize=15417412 memory=74 CPUtime=0.75 cores=1,3,5,7
/proc/12631/task/12643/stat : 12643 (java) S 12629 12629 32513 0 -1 1077944384 4728 0 0 0 74 1 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630253938928 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12644] ppid=12629 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12644/stat : 12644 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630252886624 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12645] ppid=12629 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 867 0 0 0 0 0 0 0 20 0 19 0 444283916 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12646] ppid=12629 vsize=15417412 memory=998 CPUtime=14.27 cores=1,3,5,7
/proc/12631/task/12646/stat : 12646 (java) R 12629 12629 32513 0 -1 4202560 576 0 0 0 1427 0 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630242615144 139630409110975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12647] ppid=12629 vsize=15417412 memory=2012 CPUtime=13.63 cores=1,3,5,7
/proc/12631/task/12647/stat : 12647 (java) R 12629 12629 32513 0 -1 4202560 1253 0 0 0 1362 1 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630241563592 139630410904603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12648] ppid=12629 vsize=15417412 memory=1388 CPUtime=13.98 cores=1,3,5,7
/proc/12631/task/12648/stat : 12648 (java) R 12629 12629 32513 0 -1 4202560 496 0 0 0 1398 0 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630240510264 139630411178986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12649] ppid=12629 vsize=15417412 memory=776 CPUtime=14.01 cores=1,3,5,7
/proc/12631/task/12649/stat : 12649 (java) R 12629 12629 32513 0 -1 4202560 1174 0 0 0 1401 0 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630239456952 139630407576276 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 62.34 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 244744 KiB
[startup+16.1175 s]
/proc/loadavg: 8.84 8.75 8.55 10/239 12650
/proc/meminfo: memFree=31082972/32770624 swapFree=66997372/67108860
[pid=12629] ppid=12626 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12629/stat : 12629 (xcsp3-exec) S 12626 12629 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444283909 115843072 362 33554432000 4194304 5098028 140725488454368 140725488452472 140460427780732 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30978048 140725488460667 140725488460909 140725488460909 140725488463818 0
/proc/12629/statm: 28282 362 304 221 0 87 0
[pid=12631] ppid=12629 vsize=15417412 memory=243296 CPUtime=62.77 cores=1,3,5,7
/proc/12631/stat : 12631 (java) S 12629 12629 32513 0 -1 1077944320 45832 0 0 0 6258 19 0 0 20 0 19 0 444283910 15787429888 60824 33554432000 4194304 4196468 140736899516208 140736899498752 139630766104311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
/proc/12631/statm: 3854353 60824 3537 1 0 3815453 0
[pid=12631/tid=12632] ppid=12629 vsize=15417412 memory=279847587457856 CPUtime=0.8 cores=1,3,5,7
/proc/12631/task/12632/stat : 12632 (java) S 12629 12629 32513 0 -1 1077944384 9304 0 0 0 76 4 0 0 20 0 19 0 444283910 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630770345088 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12633] ppid=12629 vsize=15417412 memory=279847587462544 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12633/stat : 12633 (java) S 12629 12629 32513 0 -1 1077944384 823 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630358747408 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12634] ppid=12629 vsize=15417412 memory=279847588014144 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12634/stat : 12634 (java) S 12629 12629 32513 0 -1 1077944384 184 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630357694864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12635] ppid=12629 vsize=15417412 memory=7445158546063469715 CPUtime=0.03 cores=1,3,5,7
/proc/12631/task/12635/stat : 12635 (java) S 12629 12629 32513 0 -1 1077944384 603 0 0 0 2 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630356642320 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12636] ppid=12629 vsize=15417412 memory=243208 CPUtime=0.04 cores=1,3,5,7
/proc/12631/task/12636/stat : 12636 (java) S 12629 12629 32513 0 -1 1077944384 523 0 0 0 3 1 0 0 20 0 19 0 444283911 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630355589776 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12637] ppid=12629 vsize=15417412 memory=3 CPUtime=0.01 cores=1,3,5,7
/proc/12631/task/12637/stat : 12637 (java) S 12629 12629 32513 0 -1 1077944384 624 0 0 0 1 0 0 0 20 0 19 0 444283912 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630327396848 139630766115458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12638] ppid=12629 vsize=15417412 memory=4486599637793467488 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12638/stat : 12638 (java) S 12629 12629 32513 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 444283912 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630259201504 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12639] ppid=12629 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12639/stat : 12639 (java) S 12629 12629 32513 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 19 0 444283913 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630258148864 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12640] ppid=12629 vsize=15417412 memory=7811329074687141996 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12640/stat : 12640 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630257097424 139630766122907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12641] ppid=12629 vsize=15417412 memory=6791534058613427641 CPUtime=2.26 cores=1,3,5,7
/proc/12631/task/12641/stat : 12641 (java) S 12629 12629 32513 0 -1 1077944384 12652 0 0 0 223 3 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630256044016 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12642] ppid=12629 vsize=15417412 memory=12024 CPUtime=2.4 cores=1,3,5,7
/proc/12631/task/12642/stat : 12642 (java) S 12629 12629 32513 0 -1 1077944384 10592 0 0 0 239 1 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630254991472 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12643] ppid=12629 vsize=15417412 memory=500 CPUtime=0.75 cores=1,3,5,7
/proc/12631/task/12643/stat : 12643 (java) S 12629 12629 32513 0 -1 1077944384 4728 0 0 0 74 1 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630253938928 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12644] ppid=12629 vsize=15417412 memory=11105 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12644/stat : 12644 (java) S 12629 12629 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444283915 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630252886624 139630766114517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12645] ppid=12629 vsize=15417412 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/12631/task/12645/stat : 12645 (java) S 12629 12629 32513 0 -1 1077944384 867 0 0 0 0 0 0 0 20 0 19 0 444283916 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630251834160 139630766115458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12646] ppid=12629 vsize=15417412 memory=1448 CPUtime=14.38 cores=1,3,5,7
/proc/12631/task/12646/stat : 12646 (java) R 12629 12629 32513 0 -1 4202560 576 0 0 0 1438 0 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630242615144 139630410571942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12647] ppid=12629 vsize=15417412 memory=1448 CPUtime=13.73 cores=1,3,5,7
/proc/12631/task/12647/stat : 12647 (java) R 12629 12629 32513 0 -1 4202560 1255 0 0 0 1372 1 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630241563592 139630407576276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12648] ppid=12629 vsize=15417412 memory=243120 CPUtime=14.08 cores=1,3,5,7
/proc/12631/task/12648/stat : 12648 (java) R 12629 12629 32513 0 -1 4202560 496 0 0 0 1408 0 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630240510264 139630409110905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
[pid=12631/tid=12649] ppid=12629 vsize=15417412 memory=279847587168704 CPUtime=14.11 cores=1,3,5,7
/proc/12631/task/12649/stat : 12649 (java) R 12629 12629 32513 0 -1 4202560 1174 0 0 0 1411 0 0 0 20 0 19 0 444283992 15787429888 60824 33554432000 4194304 4196468 140736899516208 139630239456952 139630409110995 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29401088 140736899519471 140736899519642 140736899519642 140736899522511 0
Current children cumulated CPU time: 62.77 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 244744 KiB
Child status: 0
Real time (s): 16.1812
CPU time (s): 62.9847
CPU user time (s): 62.7787
CPU system time (s): 0.205947
CPU usage (%): 389.246
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 244744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.7787
system time used= 0.205947
maximum resident set size= 243324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3139
involuntary context switches= 2009
# summary of solver processes directly reported to runsolver:
# pid: 12629
# total CPU time (s): 62.9847
# total CPU user time (s): 62.7787
# total CPU system time (s): 0.205947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.121654 second user time and 0.254757 second system time
The end