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 (3869 MiB free)
memory of node 1: 16384 MiB (2350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403533-1568993128/watcher-4403533-1568993128 -o /var/tmp/evaluation-result-4403533-1568993128/solver-4403533-1568993128 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568993083-15075 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 617928626 HOME/instance-4403533-1568993128.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15204, runsolver pid=15201
[startup+0.101293 s]*
/proc/loadavg: 5.22 6.90 7.02 9/234 15220
/proc/meminfo: memFree=6351144/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
[pid=15206] ppid=15204 vsize=15144776 memory=28696 CPUtime=0.13 cores=0,2,4,6
/proc/15206/stat : 15206 (java) S 15204 15204 13261 0 -1 1077944320 5670 0 0 0 12 1 0 0 20 0 15 0 475226790 15508250624 7174 33554432000 4194304 4196468 140728041440416 140728041422960 140481394474743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
/proc/15206/statm: 3786194 7174 3140 1 0 3748377 0
[pid=15206/tid=15207] ppid=15204 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0,2,4,6
/proc/15206/task/15207/stat : 15207 (java) R 15204 15204 13261 0 -1 4202560 3554 0 0 0 9 0 0 0 20 0 15 0 475226790 15508250624 7174 33554432000 4194304 4196468 140728041440416 140481398704816 140481394486678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15208] ppid=15204 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15208/stat : 15208 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 7174 33554432000 4194304 4196468 140728041440416 140481347094928 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15209] ppid=15204 vsize=15144776 memory=140278271284864 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15209/stat : 15209 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 7174 33554432000 4194304 4196468 140728041440416 140481346042128 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15210] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15210/stat : 15210 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 7174 33554432000 4194304 4196468 140728041440416 140481344989840 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15211] ppid=15204 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15211/stat : 15211 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 7174 33554432000 4194304 4196468 140728041440416 140481343937040 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15212] ppid=15204 vsize=15144776 memory=140278271284864 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15212/stat : 15212 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226793 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480728783472 140481394485890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15213] ppid=15204 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15213/stat : 15213 (java) S 15204 15204 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475226793 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480727729440 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15214] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15214/stat : 15214 (java) S 15204 15204 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475226793 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480726677104 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15215] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15215/stat : 15215 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480725625424 140481394493339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15216] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15216/stat : 15216 (java) S 15204 15204 13261 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480724572272 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15217] ppid=15204 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15217/stat : 15217 (java) S 15204 15204 13261 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480723519472 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15218] ppid=15204 vsize=15144776 memory=140278271284864 CPUtime=0.02 cores=0,2,4,6
/proc/15206/task/15218/stat : 15218 (java) R 15204 15204 13261 0 -1 4202560 325 0 0 0 2 0 0 0 20 0 15 0 475226796 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480722467184 140481386711870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15219] ppid=15204 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15219/stat : 15219 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480721414624 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15220] ppid=15204 vsize=15144776 memory=140278271284864 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 7174 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30152 KiB
[startup+0.210831 s]*
/proc/loadavg: 5.22 6.90 7.02 11/234 15220
/proc/meminfo: memFree=6336064/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
[pid=15206] ppid=15204 vsize=15144776 memory=40624 CPUtime=0.34 cores=0,2,4,6
/proc/15206/stat : 15206 (java) S 15204 15204 13261 0 -1 1077944320 9347 0 0 0 32 2 0 0 20 0 15 0 475226790 15508250624 10156 33554432000 4194304 4196468 140728041440416 140728041422960 140481394474743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
/proc/15206/statm: 3786194 10156 3313 1 0 3748377 0
[pid=15206/tid=15207] ppid=15204 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/15206/task/15207/stat : 15207 (java) R 15204 15204 13261 0 -1 4202560 6571 0 0 0 18 2 0 0 20 0 15 0 475226790 15508250624 10156 33554432000 4194304 4196468 140728041440416 140481398706656 140481378555230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15208] ppid=15204 vsize=15144776 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15208/stat : 15208 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 10156 33554432000 4194304 4196468 140728041440416 140481347094928 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15209] ppid=15204 vsize=15144776 memory=140278274804658 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15209/stat : 15209 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 10156 33554432000 4194304 4196468 140728041440416 140481346042128 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15210] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15210/stat : 15210 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 10156 33554432000 4194304 4196468 140728041440416 140481344989840 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15211] ppid=15204 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15211/stat : 15211 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15508250624 10156 33554432000 4194304 4196468 140728041440416 140481343937040 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15212] ppid=15204 vsize=15144776 memory=140278271284864 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15212/stat : 15212 (java) S 15204 15204 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475226793 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480728783472 140481394485890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15213] ppid=15204 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15213/stat : 15213 (java) S 15204 15204 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475226793 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480727729440 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15214] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15214/stat : 15214 (java) S 15204 15204 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475226793 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480726677104 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15215] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15215/stat : 15215 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480725625424 140481394493339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15216] ppid=15204 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15206/task/15216/stat : 15216 (java) S 15204 15204 13261 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 475226796 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480724572272 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15217] ppid=15204 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15206/task/15217/stat : 15217 (java) S 15204 15204 13261 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 475226796 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480723519472 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15218] ppid=15204 vsize=15144776 memory=140278271284864 CPUtime=0.08 cores=0,2,4,6
/proc/15206/task/15218/stat : 15218 (java) R 15204 15204 13261 0 -1 4202560 797 0 0 0 8 0 0 0 20 0 15 0 475226796 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480722467184 140481394486678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15219] ppid=15204 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15219/stat : 15219 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480721414624 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15220] ppid=15204 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475226796 15508250624 10156 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42080 KiB
[startup+0.310709 s]*
/proc/loadavg: 5.22 6.90 7.02 10/234 15220
/proc/meminfo: memFree=6326012/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
[pid=15206] ppid=15204 vsize=15149032 memory=49640 CPUtime=0.53 cores=0,2,4,6
/proc/15206/stat : 15206 (java) S 15204 15204 13261 0 -1 1077944320 10748 0 0 0 50 3 0 0 20 0 15 0 475226790 15512608768 12410 33554432000 4194304 4196468 140728041440416 140728041422960 140481394474743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
/proc/15206/statm: 3787258 12410 3358 1 0 3748377 0
[pid=15206/tid=15207] ppid=15204 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/15206/task/15207/stat : 15207 (java) R 15204 15204 13261 0 -1 4202560 7721 0 0 0 27 3 0 0 20 0 15 0 475226790 15512608768 12410 33554432000 4194304 4196468 140728041440416 140481398705856 140481394496669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15208] ppid=15204 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15208/stat : 15208 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475226791 15512608768 12410 33554432000 4194304 4196468 140728041440416 140481347094928 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15209] ppid=15204 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15209/stat : 15209 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15512608768 12410 33554432000 4194304 4196468 140728041440416 140481346042128 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15210] ppid=15204 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15210/stat : 15210 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15512608768 12410 33554432000 4194304 4196468 140728041440416 140481344989840 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15211] ppid=15204 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15211/stat : 15211 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475226791 15512608768 12410 33554432000 4194304 4196468 140728041440416 140481343937040 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15212] ppid=15204 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15212/stat : 15212 (java) S 15204 15204 13261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475226793 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480728783472 140481394485890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15213] ppid=15204 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15213/stat : 15213 (java) S 15204 15204 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475226793 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480727729440 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15214] ppid=15204 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15214/stat : 15214 (java) S 15204 15204 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475226793 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480726677104 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15215] ppid=15204 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15215/stat : 15215 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475226796 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480725625424 140481394493339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15216] ppid=15204 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/15206/task/15216/stat : 15216 (java) R 15204 15204 13261 0 -1 4202560 519 0 0 0 5 0 0 0 20 0 15 0 475226796 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480724562656 140481373721316 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15217] ppid=15204 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15206/task/15217/stat : 15217 (java) S 15204 15204 13261 0 -1 1077944384 258 0 0 0 4 0 0 0 20 0 15 0 475226796 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480723519472 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15218] ppid=15204 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15206/task/15218/stat : 15218 (java) S 15204 15204 13261 0 -1 1077944384 951 0 0 0 13 0 0 0 20 0 15 0 475226796 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480722467184 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15219] ppid=15204 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15219/stat : 15219 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475226796 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480721414624 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15220] ppid=15204 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475226796 15512608768 12410 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51096 KiB
[startup+0.70701 s]
/proc/loadavg: 5.22 6.90 7.02 9/234 15220
/proc/meminfo: memFree=6303504/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
[pid=15206] ppid=15204 vsize=15417412 memory=94088 CPUtime=1.72 cores=0,2,4,6
/proc/15206/stat : 15206 (java) S 15204 15204 13261 0 -1 1077944320 14806 0 0 0 166 6 0 0 20 0 19 0 475226790 15787429888 23522 33554432000 4194304 4196468 140728041440416 140728041422960 140481394474743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
/proc/15206/statm: 3854353 23522 3464 1 0 3815453 0
[pid=15206/tid=15207] ppid=15204 vsize=15417412 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/15206/task/15207/stat : 15207 (java) S 15204 15204 13261 0 -1 1077944384 9037 0 0 0 51 4 0 0 20 0 19 0 475226790 15787429888 23522 33554432000 4194304 4196468 140728041440416 140481398715520 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15208] ppid=15204 vsize=15417412 memory=53524 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15208/stat : 15208 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475226791 15787429888 23522 33554432000 4194304 4196468 140728041440416 140481347094928 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15209] ppid=15204 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15209/stat : 15209 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475226791 15787429888 23522 33554432000 4194304 4196468 140728041440416 140481346042128 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15210] ppid=15204 vsize=15417412 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15210/stat : 15210 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475226791 15787429888 23522 33554432000 4194304 4196468 140728041440416 140481344989840 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15211] ppid=15204 vsize=15417412 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15211/stat : 15211 (java) S 15204 15204 13261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475226791 15787429888 23522 33554432000 4194304 4196468 140728041440416 140481343937040 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15212] ppid=15204 vsize=15417412 memory=580 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15212/stat : 15212 (java) S 15204 15204 13261 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480728783472 140481394485890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15213] ppid=15204 vsize=15417412 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15213/stat : 15213 (java) S 15204 15204 13261 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480727729440 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15214] ppid=15204 vsize=15417412 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15214/stat : 15214 (java) S 15204 15204 13261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480726677104 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15215] ppid=15204 vsize=15417412 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15215/stat : 15215 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480725625424 140481394493339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15216] ppid=15204 vsize=15417412 memory=2832 CPUtime=0.29 cores=0,2,4,6
/proc/15206/task/15216/stat : 15216 (java) R 15204 15204 13261 0 -1 4202560 1426 0 0 0 29 0 0 0 20 0 19 0 475226796 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480724558152 140481376038225 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15217] ppid=15204 vsize=15417412 memory=1224 CPUtime=0.27 cores=0,2,4,6
/proc/15206/task/15217/stat : 15217 (java) R 15204 15204 13261 0 -1 4202560 1076 0 0 0 27 0 0 0 20 0 19 0 475226796 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480723505696 140481376018832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15218] ppid=15204 vsize=15417412 memory=6068 CPUtime=0.35 cores=0,2,4,6
/proc/15206/task/15218/stat : 15218 (java) R 15204 15204 13261 0 -1 1077944384 1799 0 0 0 35 0 0 0 20 0 19 0 475226796 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480722467184 140481394485890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15219] ppid=15204 vsize=15417412 memory=772 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15219/stat : 15219 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480721414624 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15220] ppid=15204 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 23522 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 95544 KiB
[startup+1.50694 s]
/proc/loadavg: 5.22 6.90 7.02 11/238 15224
/proc/meminfo: memFree=6237176/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 710 0 0 0 0 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15221] ppid=15204 vsize=15417412 memory=226292 CPUtime=55.26 cores=0,2,4,6
/proc/15206/task/15221/stat : 15221 (java) R 15204 15204 13261 0 -1 4202560 526 0 0 0 5526 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480711142256 140481020400873 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15222] ppid=15204 vsize=15417412 memory=7668056130302141760 CPUtime=55.83 cores=0,2,4,6
/proc/15206/task/15222/stat : 15222 (java) R 15204 15204 13261 0 -1 4202560 1764 0 0 0 5582 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480710091336 140481020400416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15223] ppid=15204 vsize=15417412 memory=7523371377971654244 CPUtime=55.53 cores=0,2,4,6
/proc/15206/task/15223/stat : 15223 (java) R 15204 15204 13261 0 -1 4202560 410 0 0 0 5553 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480709038424 140481020075561 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15224] ppid=15204 vsize=15417412 memory=7524780947649095266 CPUtime=55.6 cores=0,2,4,6
/proc/15206/task/15224/stat : 15224 (java) R 15204 15204 13261 0 -1 4202560 1192 0 0 0 5559 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480707987136 140481020088946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 228.07 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 227748 KiB
[startup+58.0009 s]*
/proc/loadavg: 7.64 7.28 7.14 9/237 15228
/proc/meminfo: memFree=6108916/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
[pid=15206] ppid=15204 vsize=15417412 memory=226292 CPUtime=229.69 cores=0,2,4,6
/proc/15206/stat : 15206 (java) S 15204 15204 13261 0 -1 1077944320 46718 0 0 0 22955 14 0 0 20 0 19 0 475226790 15787429888 56573 33554432000 4194304 4196468 140728041440416 140728041422960 140481394474743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
/proc/15206/statm: 3854353 56573 3536 1 0 3815453 0
[pid=15206/tid=15207] ppid=15204 vsize=15417412 memory=3 CPUtime=0.55 cores=0,2,4,6
/proc/15206/task/15207/stat : 15207 (java) S 15204 15204 13261 0 -1 1077944384 9037 0 0 0 51 4 0 0 20 0 19 0 475226790 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481398715520 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15208] ppid=15204 vsize=15417412 memory=3 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15208/stat : 15208 (java) S 15204 15204 13261 0 -1 1077944384 1666 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481347094928 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15209] ppid=15204 vsize=15417412 memory=3 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15209/stat : 15209 (java) S 15204 15204 13261 0 -1 1077944384 629 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481346042128 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15210] ppid=15204 vsize=15417412 memory=4872558044660077418 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15210/stat : 15210 (java) S 15204 15204 13261 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481344989840 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15211] ppid=15204 vsize=15417412 memory=4104 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15211/stat : 15211 (java) S 15204 15204 13261 0 -1 1077944384 990 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481343937040 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15212] ppid=15204 vsize=15417412 memory=1808 CPUtime=0.01 cores=0,2,4,6
/proc/15206/task/15212/stat : 15212 (java) S 15204 15204 13261 0 -1 1077944384 965 0 0 0 1 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480728783472 140481394485890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15213] ppid=15204 vsize=15417412 memory=924 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15213/stat : 15213 (java) S 15204 15204 13261 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480727729504 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15214] ppid=15204 vsize=15417412 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15214/stat : 15214 (java) S 15204 15204 13261 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480726677120 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15215] ppid=15204 vsize=15417412 memory=2576 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15215/stat : 15215 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480725625424 140481394493339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15216] ppid=15204 vsize=15417412 memory=2300 CPUtime=2.31 cores=0,2,4,6
/proc/15206/task/15216/stat : 15216 (java) S 15204 15204 13261 0 -1 1077944384 10750 0 0 0 230 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480724572272 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15217] ppid=15204 vsize=15417412 memory=1412 CPUtime=2.12 cores=0,2,4,6
/proc/15206/task/15217/stat : 15217 (java) S 15204 15204 13261 0 -1 1077944384 9103 0 0 0 211 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480723519472 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15218] ppid=15204 vsize=15417412 memory=772 CPUtime=0.6 cores=0,2,4,6
/proc/15206/task/15218/stat : 15218 (java) S 15204 15204 13261 0 -1 1077944384 6948 0 0 0 59 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480722467184 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15219] ppid=15204 vsize=15417412 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15219/stat : 15219 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480721414624 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15220] ppid=15204 vsize=15417412 memory=1056 CPUtime=0.01 cores=0,2,4,6
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 710 0 0 0 0 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15221] ppid=15204 vsize=15417412 memory=1096 CPUtime=55.66 cores=0,2,4,6
/proc/15206/task/15221/stat : 15221 (java) R 15204 15204 13261 0 -1 4202560 526 0 0 0 5566 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480711142256 140481019691960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15222] ppid=15204 vsize=15417412 memory=14008 CPUtime=56.24 cores=0,2,4,6
/proc/15206/task/15222/stat : 15222 (java) R 15204 15204 13261 0 -1 4202560 1764 0 0 0 5623 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480710091336 140481020089420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15223] ppid=15204 vsize=15417412 memory=2116 CPUtime=55.94 cores=0,2,4,6
/proc/15206/task/15223/stat : 15223 (java) R 15204 15204 13261 0 -1 4202560 410 0 0 0 5594 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480709038424 140481020400809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15224] ppid=15204 vsize=15417412 memory=4872558044660077418 CPUtime=56.01 cores=0,2,4,6
/proc/15206/task/15224/stat : 15224 (java) R 15204 15204 13261 0 -1 4202560 1192 0 0 0 5600 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480707987136 140481019053073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 229.69 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 227748 KiB
[startup+58.2009 s]
/proc/loadavg: 7.64 7.28 7.14 9/237 15228
/proc/meminfo: memFree=6108916/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
[pid=15206] ppid=15204 vsize=15417412 memory=226292 CPUtime=230.45 cores=0,2,4,6
/proc/15206/stat : 15206 (java) S 15204 15204 13261 0 -1 1077944320 46718 0 0 0 23031 14 0 0 20 0 19 0 475226790 15787429888 56573 33554432000 4194304 4196468 140728041440416 140728041422960 140481394474743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
/proc/15206/statm: 3854353 56573 3536 1 0 3815453 0
[pid=15206/tid=15207] ppid=15204 vsize=15417412 memory=15816698942982858 CPUtime=0.55 cores=0,2,4,6
/proc/15206/task/15207/stat : 15207 (java) S 15204 15204 13261 0 -1 1077944384 9037 0 0 0 51 4 0 0 20 0 19 0 475226790 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481398715520 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15208] ppid=15204 vsize=15417412 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15208/stat : 15208 (java) S 15204 15204 13261 0 -1 1077944384 1666 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481347094928 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15209] ppid=15204 vsize=15417412 memory=1224 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15209/stat : 15209 (java) S 15204 15204 13261 0 -1 1077944384 629 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481346042128 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15210] ppid=15204 vsize=15417412 memory=6068 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15210/stat : 15210 (java) S 15204 15204 13261 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481344989840 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15211] ppid=15204 vsize=15417412 memory=772 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15211/stat : 15211 (java) S 15204 15204 13261 0 -1 1077944384 990 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481343937040 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15212] ppid=15204 vsize=15417412 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/15206/task/15212/stat : 15212 (java) S 15204 15204 13261 0 -1 1077944384 965 0 0 0 1 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480728783472 140481394485890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15213] ppid=15204 vsize=15417412 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15213/stat : 15213 (java) S 15204 15204 13261 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480727729504 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15214] ppid=15204 vsize=15417412 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15214/stat : 15214 (java) S 15204 15204 13261 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480726677120 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15215] ppid=15204 vsize=15417412 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15215/stat : 15215 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480725625424 140481394493339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15216] ppid=15204 vsize=15417412 memory=2116 CPUtime=2.31 cores=0,2,4,6
/proc/15206/task/15216/stat : 15216 (java) S 15204 15204 13261 0 -1 1077944384 10750 0 0 0 230 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480724572272 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15217] ppid=15204 vsize=15417412 memory=29080 CPUtime=2.12 cores=0,2,4,6
/proc/15206/task/15217/stat : 15217 (java) S 15204 15204 13261 0 -1 1077944384 9103 0 0 0 211 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480723519472 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15218] ppid=15204 vsize=15417412 memory=12028 CPUtime=0.6 cores=0,2,4,6
/proc/15206/task/15218/stat : 15218 (java) S 15204 15204 13261 0 -1 1077944384 6948 0 0 0 59 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480722467184 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15219] ppid=15204 vsize=15417412 memory=236540 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15219/stat : 15219 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480721414624 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15220] ppid=15204 vsize=15417412 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 710 0 0 0 0 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15221] ppid=15204 vsize=15417412 memory=67482727484138 CPUtime=55.85 cores=0,2,4,6
/proc/15206/task/15221/stat : 15221 (java) R 15204 15204 13261 0 -1 4202560 526 0 0 0 5585 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480711142256 140481020279581 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15222] ppid=15204 vsize=15417412 memory=67482727484138 CPUtime=56.43 cores=0,2,4,6
/proc/15206/task/15222/stat : 15222 (java) R 15204 15204 13261 0 -1 4202560 1764 0 0 0 5642 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480710091336 140481020400628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15223] ppid=15204 vsize=15417412 memory=67482727484138 CPUtime=56.13 cores=0,2,4,6
/proc/15206/task/15223/stat : 15223 (java) R 15204 15204 13261 0 -1 4202560 410 0 0 0 5613 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480709038424 140481020281086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15224] ppid=15204 vsize=15417412 memory=67482727484138 CPUtime=56.2 cores=0,2,4,6
/proc/15206/task/15224/stat : 15224 (java) R 15204 15204 13261 0 -1 4202560 1192 0 0 0 5619 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480707987136 140481020091657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 230.45 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 227748 KiB
[startup+58.3009 s]
/proc/loadavg: 7.64 7.28 7.14 9/237 15228
/proc/meminfo: memFree=6108916/32770624 swapFree=67001768/67108860
[pid=15204] ppid=15201 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/15204/stat : 15204 (xcsp3-exec) S 15201 15204 13261 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475226790 115843072 364 33554432000 4194304 5098028 140728951769568 140728951767672 139676161372796 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10502144 140728951771991 140728951772249 140728951772249 140728951775174 0
/proc/15204/statm: 28282 364 305 221 0 87 0
[pid=15206] ppid=15204 vsize=15417412 memory=226292 CPUtime=230.85 cores=0,2,4,6
/proc/15206/stat : 15206 (java) S 15204 15204 13261 0 -1 1077944320 46718 0 0 0 23071 14 0 0 20 0 19 0 475226790 15787429888 56573 33554432000 4194304 4196468 140728041440416 140728041422960 140481394474743 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
/proc/15206/statm: 3854353 56573 3536 1 0 3815453 0
[pid=15206/tid=15207] ppid=15204 vsize=15417412 memory=1456 CPUtime=0.55 cores=0,2,4,6
/proc/15206/task/15207/stat : 15207 (java) S 15204 15204 13261 0 -1 1077944384 9037 0 0 0 51 4 0 0 20 0 19 0 475226790 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481398715520 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15208] ppid=15204 vsize=15417412 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15208/stat : 15208 (java) S 15204 15204 13261 0 -1 1077944384 1666 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481347094928 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15209] ppid=15204 vsize=15417412 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15209/stat : 15209 (java) S 15204 15204 13261 0 -1 1077944384 629 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481346042128 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15210] ppid=15204 vsize=15417412 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15210/stat : 15210 (java) S 15204 15204 13261 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481344989840 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15211] ppid=15204 vsize=15417412 memory=3616 CPUtime=0.03 cores=0,2,4,6
/proc/15206/task/15211/stat : 15211 (java) S 15204 15204 13261 0 -1 1077944384 990 0 0 0 3 0 0 0 20 0 19 0 475226791 15787429888 56573 33554432000 4194304 4196468 140728041440416 140481343937040 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15212] ppid=15204 vsize=15417412 memory=53524 CPUtime=0.01 cores=0,2,4,6
/proc/15206/task/15212/stat : 15212 (java) S 15204 15204 13261 0 -1 1077944384 965 0 0 0 1 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480728783472 140481394485890 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15213] ppid=15204 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15213/stat : 15213 (java) S 15204 15204 13261 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480727729504 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15214] ppid=15204 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15214/stat : 15214 (java) S 15204 15204 13261 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 475226793 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480726677120 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15215] ppid=15204 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15215/stat : 15215 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480725625424 140481394493339 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15216] ppid=15204 vsize=15417412 memory=7378132484500448105 CPUtime=2.31 cores=0,2,4,6
/proc/15206/task/15216/stat : 15216 (java) S 15204 15204 13261 0 -1 1077944384 10750 0 0 0 230 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480724572272 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15217] ppid=15204 vsize=15417412 memory=226292 CPUtime=2.12 cores=0,2,4,6
/proc/15206/task/15217/stat : 15217 (java) S 15204 15204 13261 0 -1 1077944384 9103 0 0 0 211 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480723519472 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15218] ppid=15204 vsize=15417412 memory=7548 CPUtime=0.6 cores=0,2,4,6
/proc/15206/task/15218/stat : 15218 (java) S 15204 15204 13261 0 -1 1077944384 6948 0 0 0 59 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480722467184 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15219] ppid=15204 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/15206/task/15219/stat : 15219 (java) S 15204 15204 13261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480721414624 140481394484949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15220] ppid=15204 vsize=15417412 memory=2648 CPUtime=0.01 cores=0,2,4,6
/proc/15206/task/15220/stat : 15220 (java) S 15204 15204 13261 0 -1 1077944384 710 0 0 0 0 1 0 0 20 0 19 0 475226796 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480720362416 140481394485890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15221] ppid=15204 vsize=15417412 memory=1456 CPUtime=55.94 cores=0,2,4,6
/proc/15206/task/15221/stat : 15221 (java) R 15204 15204 13261 0 -1 4202560 526 0 0 0 5594 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480711142256 140481019052905 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15222] ppid=15204 vsize=15417412 memory=226292 CPUtime=56.53 cores=0,2,4,6
/proc/15206/task/15222/stat : 15222 (java) R 15204 15204 13261 0 -1 4202560 1764 0 0 0 5652 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480710091336 140481020282644 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15223] ppid=15204 vsize=15417412 memory=1456 CPUtime=56.23 cores=0,2,4,6
/proc/15206/task/15223/stat : 15223 (java) R 15204 15204 13261 0 -1 4202560 410 0 0 0 5623 0 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480709038424 140481019052768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
[pid=15206/tid=15224] ppid=15204 vsize=15417412 memory=226292 CPUtime=56.3 cores=0,2,4,6
/proc/15206/task/15224/stat : 15224 (java) R 15204 15204 13261 0 -1 4202560 1192 0 0 0 5629 1 0 0 20 0 19 0 475226849 15787429888 56573 33554432000 4194304 4196468 140728041440416 140480707987136 140481019053088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9187328 140728041444315 140728041444490 140728041444490 140728041447375 0
Current children cumulated CPU time: 230.85 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 227748 KiB
Child status: 0
Real time (s): 58.3848
CPU time (s): 231.137
CPU user time (s): 230.982
CPU system time (s): 0.155763
CPU usage (%): 395.886
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 238016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 230.982
system time used= 0.155763
maximum resident set size= 236568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48451
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= 4019
involuntary context switches= 4859
# summary of solver processes directly reported to runsolver:
# pid: 15204
# total CPU time (s): 231.137
# total CPU user time (s): 230.982
# total CPU system time (s): 0.155763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.340793 second user time and 0.724989 second system time
The end