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 (6750 MiB free)
memory of node 1: 16384 MiB (7510 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403664-1568992740/watcher-4403664-1568992740 -o /tmp/evaluation-result-4403664-1568992740/solver-4403664-1568992740 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 82658856 HOME/instance-4403664-1568992740.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5397, runsolver pid=5394
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 8.51 8.46 8.51 8/232 5413
/proc/meminfo: memFree=14587072/32770624 swapFree=66938968/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
[pid=5399] ppid=5397 vsize=15144776 memory=28932 CPUtime=0.12 cores=1,3,5,7
/proc/5399/stat : 5399 (java) S 5397 5397 30846 0 -1 1077944320 5674 0 0 0 12 0 0 0 20 0 15 0 475543695 15508250624 7167 33554432000 4194304 4196468 140724715130944 140724715113488 139653270257399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
/proc/5399/statm: 3786194 7233 3176 1 0 3748377 0
[pid=5399/tid=5400] ppid=5397 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/5399/task/5400/stat : 5400 (java) R 5397 5397 30846 0 -1 4202560 3577 0 0 0 9 0 0 0 20 0 15 0 475543695 15508250624 7233 33554432000 4194304 4196468 140724715130944 139653274483360 139653270269334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5401] ppid=5397 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 7233 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15144776 memory=140432256202368 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 7233 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 7233 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 7233 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15144776 memory=140432256202368 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543697 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475543698 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652737512864 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475543698 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543700 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) S 5397 5397 30846 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 475543700 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652734355440 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) S 5397 5397 30846 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 475543700 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652733302896 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15144776 memory=140432256202368 CPUtime=0.02 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) R 5397 5397 30846 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 475543700 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652732250352 139653254337886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543701 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15144776 memory=140432256202368 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543701 15508250624 7233 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB
[startup+0.210844 s]*
/proc/loadavg: 8.51 8.46 8.51 7/232 5413
/proc/meminfo: memFree=14573820/32770624 swapFree=66938968/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
[pid=5399] ppid=5397 vsize=15144776 memory=40644 CPUtime=0.34 cores=1,3,5,7
/proc/5399/stat : 5399 (java) S 5397 5397 30846 0 -1 1077944320 9454 0 0 0 32 2 0 0 20 0 15 0 475543695 15508250624 10161 33554432000 4194304 4196468 140724715130944 140724715113488 139653270257399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
/proc/5399/statm: 3786194 10161 3244 1 0 3748377 0
[pid=5399/tid=5400] ppid=5397 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5399/task/5400/stat : 5400 (java) R 5397 5397 30846 0 -1 4202560 6607 0 0 0 18 2 0 0 20 0 15 0 475543695 15508250624 10161 33554432000 4194304 4196468 140724715130944 139653274490128 139653254337916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5401] ppid=5397 vsize=15144776 memory=4294979937 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 10161 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15144776 memory=140432259679587 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 10161 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 10161 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543696 15508250624 10161 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15144776 memory=140432256202368 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475543697 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475543698 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652737512864 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475543698 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543700 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) S 5397 5397 30846 0 -1 1077944384 578 0 0 0 3 0 0 0 20 0 15 0 475543700 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652734355440 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) S 5397 5397 30846 0 -1 1077944384 185 0 0 0 1 0 0 0 20 0 15 0 475543700 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652733302896 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15144776 memory=140432256202368 CPUtime=0.08 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) S 5397 5397 30846 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 475543700 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652732250352 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543701 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543701 15508250624 10161 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42092 KiB
[startup+0.310607 s]*
/proc/loadavg: 8.51 8.46 8.51 7/232 5413
/proc/meminfo: memFree=14593440/32770624 swapFree=66938968/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
[pid=5399] ppid=5397 vsize=15149032 memory=50124 CPUtime=0.53 cores=1,3,5,7
/proc/5399/stat : 5399 (java) S 5397 5397 30846 0 -1 1077944320 10865 0 0 0 50 3 0 0 20 0 15 0 475543695 15512608768 12531 33554432000 4194304 4196468 140724715130944 140724715113488 139653270257399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
/proc/5399/statm: 3787258 12531 3371 1 0 3748377 0
[pid=5399/tid=5400] ppid=5397 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/5399/task/5400/stat : 5400 (java) R 5397 5397 30846 0 -1 4202560 7802 0 0 0 28 2 0 0 20 0 15 0 475543695 15512608768 12600 33554432000 4194304 4196468 140724715130944 139653274488512 139653254337886 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5401] ppid=5397 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543696 15512608768 12600 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15512608768 12600 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15512608768 12600 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15149032 memory=46849 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543696 15512608768 12600 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475543697 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475543698 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652737512864 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475543698 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543700 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15149032 memory=6944652177228980320 CPUtime=0.06 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) S 5397 5397 30846 0 -1 1077944384 666 0 0 0 6 0 0 0 20 0 15 0 475543700 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652734355440 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15149032 memory=-6654736624941491801 CPUtime=0.02 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) S 5397 5397 30846 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 475543700 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652733302896 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15149032 memory=5792582832201833889 CPUtime=0.12 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) S 5397 5397 30846 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 15 0 475543700 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652732250352 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543701 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543701 15512608768 12600 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51572 KiB
[startup+0.701537 s]
/proc/loadavg: 8.51 8.46 8.51 9/232 5413
/proc/meminfo: memFree=14578112/32770624 swapFree=66938968/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
[pid=5399] ppid=5397 vsize=15151156 memory=138188 CPUtime=1.72 cores=1,3,5,7
/proc/5399/stat : 5399 (java) S 5397 5397 30846 0 -1 1077944320 14814 0 0 0 167 5 0 0 20 0 15 0 475543695 15514783744 34547 33554432000 4194304 4196468 140724715130944 140724715113488 139653270257399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
/proc/5399/statm: 3787789 34547 3454 1 0 3748889 0
[pid=5399/tid=5400] ppid=5397 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5399/task/5400/stat : 5400 (java) R 5397 5397 30846 0 -1 4202560 9036 0 0 0 64 3 0 0 20 0 15 0 475543695 15514783744 34547 33554432000 4194304 4196468 140724715130944 139653274495240 139653255643637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5401] ppid=5397 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543696 15514783744 34547 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15514783744 34547 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15151156 memory=221 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475543696 15514783744 34547 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543696 15514783744 34547 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475543697 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475543698 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652737512864 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475543698 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15151156 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543700 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15151156 memory=1188 CPUtime=0.3 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) R 5397 5397 30846 0 -1 4202560 1289 0 0 0 30 0 0 0 20 0 15 0 475543700 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652734343792 139653255382669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15151156 memory=6112 CPUtime=0.29 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) R 5397 5397 30846 0 -1 4202560 1175 0 0 0 29 0 0 0 20 0 15 0 475543700 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652733292688 139653250436458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15151156 memory=780 CPUtime=0.42 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) R 5397 5397 30846 0 -1 4202560 2005 0 0 0 42 0 0 0 20 0 15 0 475543700 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652732250352 139653249218242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475543701 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15151156 memory=28152 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475543701 15514783744 34547 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 139636 KiB
[startup+1.50077 s]
/proc/loadavg: 8.51 8.46 8.51 11/236 5417
/proc/meminfo: memFree=14362620/32770624 swapFree=66938968/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 244 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 130762 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15487052 memory=140432256202368 CPUtime=0.1 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 351 0 0 0 6 4 0 0 20 0 19 0 475543696 15858741248 130762 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15487052 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 165 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 130762 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15487052 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 104 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 130762 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15487052 memory=140432256202368 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 19 0 475543697 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15487052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652737512928 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15487052 memory=4961 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15487052 memory=3472328296227420817 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543700 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15487052 memory=0 CPUtime=2.15 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) S 5397 5397 30846 0 -1 1077944384 3795 0 0 0 214 1 0 0 20 0 19 0 475543700 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652734355440 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15487052 memory=0 CPUtime=2.09 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) R 5397 5397 30846 0 -1 4202560 3967 0 0 0 209 0 0 0 20 0 19 0 475543700 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652733303192 139653247852832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15487052 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) S 5397 5397 30846 0 -1 1077944384 3348 0 0 0 78 1 0 0 20 0 19 0 475543700 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652732250352 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15487052 memory=7161679239776841775 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5780] ppid=5397 vsize=15487052 memory=4122824664003129644 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5780/stat : 5780 (java) R 5397 5397 30846 0 -1 4202560 18 0 0 0 11 0 0 0 20 0 19 0 475544084 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652720115160 139652899148674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5781] ppid=5397 vsize=15487052 memory=7380671248541445222 CPUtime=0.09 cores=1,3,5,7
/proc/5399/task/5781/stat : 5781 (java) R 5397 5397 30846 0 -1 4202560 18 0 0 0 9 0 0 0 20 0 19 0 475544084 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652721165144 139652897702778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5782] ppid=5397 vsize=15487052 memory=4639059877821435984 CPUtime=0.1 cores=1,3,5,7
/proc/5399/task/5782/stat : 5782 (java) R 5397 5397 30846 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 475544084 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652718007528 139652897702708 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5783] ppid=5397 vsize=15487052 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5399/task/5783/stat : 5783 (java) R 5397 5397 30846 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 19 0 475544084 15858741248 130762 33554432000 4194304 4196468 140724715130944 139652715907784 139652897702741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 13.57 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 524496 KiB
[startup+4.40154 s]
/proc/loadavg: 8.63 8.48 8.51 10/238 5783
/proc/meminfo: memFree=14117804/32770624 swapFree=66938972/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
[pid=5399] ppid=5397 vsize=15487052 memory=551776 CPUtime=14.93 cores=1,3,5,7
/proc/5399/stat : 5399 (java) S 5397 5397 30846 0 -1 1077944320 29362 0 0 0 1462 31 0 0 20 0 19 0 475543695 15858741248 137944 33554432000 4194304 4196468 140724715130944 140724715113488 139653270257399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
/proc/5399/statm: 3871763 137944 3526 1 0 3832863 0
[pid=5399/tid=5400] ppid=5397 vsize=15487052 memory=8112282956445269571 CPUtime=0.83 cores=1,3,5,7
/proc/5399/task/5400/stat : 5400 (java) S 5397 5397 30846 0 -1 1077944384 9154 0 0 0 79 4 0 0 20 0 19 0 475543695 15858741248 137944 33554432000 4194304 4196468 140724715130944 139653274498176 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5401] ppid=5397 vsize=15487052 memory=10728 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 244 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 137944 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15487052 memory=1552 CPUtime=0.1 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 351 0 0 0 6 4 0 0 20 0 19 0 475543696 15858741248 137944 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15487052 memory=3640 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 165 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 137944 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15487052 memory=2832 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 104 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 137944 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15487052 memory=784 CPUtime=0.01 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 19 0 475543697 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15487052 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652737512928 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15487052 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15487052 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543700 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15487052 memory=1188 CPUtime=2.18 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) S 5397 5397 30846 0 -1 1077944384 3798 0 0 0 217 1 0 0 20 0 19 0 475543700 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652734355440 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15487052 memory=6112 CPUtime=2.16 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) S 5397 5397 30846 0 -1 1077944384 3985 0 0 0 216 0 0 0 20 0 19 0 475543700 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652733302896 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15487052 memory=780 CPUtime=0.8 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) S 5397 5397 30846 0 -1 1077944384 3355 0 0 0 79 1 0 0 20 0 19 0 475543700 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652732250352 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15487052 memory=280864286707072 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15487052 memory=163608189217326 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 137944 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 553224 KiB
[startup+4.80554 s]
/proc/loadavg: 8.63 8.48 8.51 10/238 5783
/proc/meminfo: memFree=14117804/32770624 swapFree=66938972/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
[pid=5399] ppid=5397 vsize=15487052 memory=578532 CPUtime=16.39 cores=1,3,5,7
/proc/5399/stat : 5399 (java) S 5397 5397 30846 0 -1 1077944320 29627 0 0 0 1607 32 0 0 20 0 19 0 475543695 15858741248 144633 33554432000 4194304 4196468 140724715130944 140724715113488 139653270257399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
/proc/5399/statm: 3871763 144633 3526 1 0 3832863 0
[pid=5399/tid=5400] ppid=5397 vsize=15487052 memory=6933690287860520857 CPUtime=0.83 cores=1,3,5,7
/proc/5399/task/5400/stat : 5400 (java) S 5397 5397 30846 0 -1 1077944384 9157 0 0 0 79 4 0 0 20 0 19 0 475543695 15858741248 144633 33554432000 4194304 4196468 140724715130944 139653274498176 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5401] ppid=5397 vsize=15487052 memory=7679937539709960979 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 244 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 144633 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15487052 memory=1448 CPUtime=0.1 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 351 0 0 0 6 4 0 0 20 0 19 0 475543696 15858741248 144633 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15487052 memory=559972 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 165 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 144633 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15487052 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 104 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 144633 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15487052 memory=498920 CPUtime=0.01 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 19 0 475543697 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15487052 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652737512928 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15487052 memory=3053811428158493008 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15487052 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543700 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15487052 memory=440672 CPUtime=2.23 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) R 5397 5397 30846 0 -1 4202560 3808 0 0 0 222 1 0 0 20 0 19 0 475543700 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652734355736 139653254243856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15487052 memory=7883387768823898705 CPUtime=2.23 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) R 5397 5397 30846 0 -1 4202560 3993 0 0 0 223 0 0 0 20 0 19 0 475543700 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652733284464 139653251801599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15487052 memory=6082514196445294695 CPUtime=0.82 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) S 5397 5397 30846 0 -1 1077944384 3377 0 0 0 81 1 0 0 20 0 19 0 475543700 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652732250352 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15487052 memory=7805700606633272420 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15487052 memory=7019467088057087029 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 144633 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 579980 KiB
[startup+4.90754 s]
/proc/loadavg: 8.63 8.48 8.51 10/238 5783
/proc/meminfo: memFree=14117804/32770624 swapFree=66938972/67108860
[pid=5397] ppid=5394 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5397/stat : 5397 (xcsp3-exec) S 5394 5397 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475543695 115843072 362 33554432000 4194304 5098028 140735986704128 140735986702232 140313689891452 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11841536 140735986709372 140735986709613 140735986709613 140735986712522 0
/proc/5397/statm: 28282 362 304 221 0 87 0
[pid=5399] ppid=5397 vsize=15487052 memory=578600 CPUtime=16.8 cores=1,3,5,7
/proc/5399/stat : 5399 (java) S 5397 5397 30846 0 -1 1077944320 29649 0 0 0 1648 32 0 0 20 0 19 0 475543695 15858741248 144650 33554432000 4194304 4196468 140724715130944 140724715113488 139653270257399 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
/proc/5399/statm: 3871763 144650 3526 1 0 3832863 0
[pid=5399/tid=5400] ppid=5397 vsize=15487052 memory=576484 CPUtime=0.83 cores=1,3,5,7
/proc/5399/task/5400/stat : 5400 (java) S 5397 5397 30846 0 -1 1077944384 9157 0 0 0 79 4 0 0 20 0 19 0 475543695 15858741248 144650 33554432000 4194304 4196468 140724715130944 139653274498176 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5401] ppid=5397 vsize=15487052 memory=83 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5401/stat : 5401 (java) S 5397 5397 30846 0 -1 1077944384 244 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 144650 33554432000 4194304 4196468 140724715130944 139653222877456 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5402] ppid=5397 vsize=15487052 memory=11 CPUtime=0.1 cores=1,3,5,7
/proc/5399/task/5402/stat : 5402 (java) S 5397 5397 30846 0 -1 1077944384 351 0 0 0 6 4 0 0 20 0 19 0 475543696 15858741248 144650 33554432000 4194304 4196468 140724715130944 139653221824912 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5403] ppid=5397 vsize=15487052 memory=10 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5403/stat : 5403 (java) S 5397 5397 30846 0 -1 1077944384 165 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 144650 33554432000 4194304 4196468 140724715130944 139653220772368 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5404] ppid=5397 vsize=15487052 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/5399/task/5404/stat : 5404 (java) S 5397 5397 30846 0 -1 1077944384 104 0 0 0 7 4 0 0 20 0 19 0 475543696 15858741248 144650 33554432000 4194304 4196468 140724715130944 139653219719824 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5405] ppid=5397 vsize=15487052 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5399/task/5405/stat : 5405 (java) S 5397 5397 30846 0 -1 1077944384 218 0 0 0 1 0 0 0 20 0 19 0 475543697 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652738566640 139653270268546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5406] ppid=5397 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5406/stat : 5406 (java) S 5397 5397 30846 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652737512928 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5407] ppid=5397 vsize=15487052 memory=8259761640030508190 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5407/stat : 5407 (java) S 5397 5397 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475543698 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652736460272 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5408] ppid=5397 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5408/stat : 5408 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543700 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652735408848 139653270275995 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5409] ppid=5397 vsize=15487052 memory=140432256201297 CPUtime=2.28 cores=1,3,5,7
/proc/5399/task/5409/stat : 5409 (java) R 5397 5397 30846 0 -1 4202560 3808 0 0 0 227 1 0 0 20 0 19 0 475543700 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652734355736 139653255179200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5410] ppid=5397 vsize=15487052 memory=288230600312357163 CPUtime=2.27 cores=1,3,5,7
/proc/5399/task/5410/stat : 5410 (java) R 5397 5397 30846 0 -1 4202560 4011 0 0 0 227 0 0 0 20 0 19 0 475543700 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652733302816 139653254652340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5411] ppid=5397 vsize=15487052 memory=16106957111035337 CPUtime=0.82 cores=1,3,5,7
/proc/5399/task/5411/stat : 5411 (java) S 5397 5397 30846 0 -1 1077944384 3381 0 0 0 81 1 0 0 20 0 19 0 475543700 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652732250352 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5412] ppid=5397 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5412/stat : 5412 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652731198048 139653270267605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
[pid=5399/tid=5413] ppid=5397 vsize=15487052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5399/task/5413/stat : 5413 (java) S 5397 5397 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475543701 15858741248 144650 33554432000 4194304 4196468 140724715130944 139652730145584 139653270268546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140724715135983 140724715136154 140724715136154 140724715139023 0
Current children cumulated CPU time: 16.8 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 580048 KiB
Child status: 0
Real time (s): 4.99344
CPU time (s): 17.0746
CPU user time (s): 16.7377
CPU system time (s): 0.336906
CPU usage (%): 341.941
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 580048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.7377
system time used= 0.336906
maximum resident set size= 581612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30256
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4544
involuntary context switches= 680
# summary of solver processes directly reported to runsolver:
# pid: 5397
# total CPU time (s): 17.0746
# total CPU user time (s): 16.7377
# total CPU system time (s): 0.336906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064226 second user time and 0.086511 second system time
The end