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 (13175 MiB free)
memory of node 1: 16384 MiB (11231 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405937-1569413286/watcher-4405937-1569413286 -o /tmp/evaluation-result-4405937-1569413286/solver-4405937-1569413286 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569408644-5935 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 563867312 HOME/instance-4405937-1569413286.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
solver pid=7158, runsolver pid=7155
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 4.71 4.30 3.17 4/228 7174
/proc/meminfo: memFree=24978276/32770624 swapFree=66941112/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15144776 memory=27644 CPUtime=0.13 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 5871 0 0 0 12 1 0 0 20 0 15 0 517599617 15508250624 6911 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3786194 6911 3149 1 0 3748377 0
[pid=7160/tid=7161] ppid=7158 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 3749 0 0 0 9 0 0 0 20 0 15 0 517599617 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909604883232 139909592890174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15144776 memory=3472467816842118352 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15144776 memory=139687946966656 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517599619 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517599620 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909067744288 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517599620 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) R 7158 7158 5904 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 517599623 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909064588240 139909600663253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) R 7158 7158 5904 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 517599623 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909063526848 139909581353790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15144776 memory=139687946966656 CPUtime=0.02 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) R 7158 7158 5904 0 -1 4202560 400 0 0 0 2 0 0 0 20 0 15 0 517599623 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909062482544 139909593749883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15144776 memory=139687946966656 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599623 15508250624 6977 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29092 KiB
[startup+0.210746 s]*
/proc/loadavg: 4.71 4.30 3.17 3/228 7174
/proc/meminfo: memFree=24965644/32770624 swapFree=66941112/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15144776 memory=39776 CPUtime=0.34 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 9697 0 0 0 32 2 0 0 20 0 15 0 517599617 15508250624 9944 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3786194 9944 3303 1 0 3748377 0
[pid=7160/tid=7161] ppid=7158 vsize=15144776 memory=4500116723524083353 CPUtime=0.19 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 6702 0 0 0 18 1 0 0 20 0 15 0 517599617 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909604885776 139909236664260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15144776 memory=3472467816842118352 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15144776 memory=139687946966656 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517599618 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15144776 memory=139687946966656 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517599619 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517599620 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909067744288 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517599620 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) S 7158 7158 5904 0 -1 1077944384 682 0 0 0 2 0 0 0 20 0 15 0 517599623 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909064588144 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) S 7158 7158 5904 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 15 0 517599623 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909063535344 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15144776 memory=139687946966656 CPUtime=0.08 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) R 7158 7158 5904 0 -1 4202560 895 0 0 0 8 0 0 0 20 0 15 0 517599623 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909062482544 139909579787571 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15144776 memory=139687946966656 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599623 15508250624 9944 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41224 KiB
[startup+0.310728 s]*
/proc/loadavg: 4.71 4.30 3.17 6/228 7174
/proc/meminfo: memFree=24960184/32770624 swapFree=66941112/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15149032 memory=49052 CPUtime=0.53 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 11140 0 0 0 50 3 0 0 20 0 15 0 517599617 15512608768 12263 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3787258 12263 3353 1 0 3748377 0
[pid=7160/tid=7161] ppid=7158 vsize=15149032 memory=4572174317528259473 CPUtime=0.3 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 7825 0 0 0 28 2 0 0 20 0 15 0 517599617 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909604884160 139909584733534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15149032 memory=3472467984174646960 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15149032 memory=139687946966657 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15149032 memory=139687838752543 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517599618 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15149032 memory=279375677484320 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517599619 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15149032 memory=139687838729487 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517599620 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909067744288 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15149032 memory=279375785705312 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517599620 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15149032 memory=139687838734095 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) S 7158 7158 5904 0 -1 1077944384 702 0 0 0 4 0 0 0 20 0 15 0 517599623 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909064588144 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) R 7158 7158 5904 0 -1 4202560 261 0 0 0 4 0 0 0 20 0 15 0 517599623 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909063535344 139909584037912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) S 7158 7158 5904 0 -1 1077944384 1058 0 0 0 13 0 0 0 20 0 15 0 517599623 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909062482544 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15512608768 12263 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15149032 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599623 15512608768 12294 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50500 KiB
[startup+0.700816 s]
/proc/loadavg: 4.71 4.30 3.17 6/228 7174
/proc/meminfo: memFree=24930928/32770624 swapFree=66941112/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15151156 memory=105424 CPUtime=1.74 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 14394 0 0 0 169 5 0 0 20 0 15 0 517599617 15514783744 26356 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3787789 26356 3444 1 0 3748889 0
[pid=7160/tid=7161] ppid=7158 vsize=15151156 memory=6153395287087403600 CPUtime=0.67 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 8432 0 0 0 64 3 0 0 20 0 15 0 517599617 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909604887456 139909240165951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15151156 memory=7883644968863624293 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15151156 memory=8099279071866868838 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15151156 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599618 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517599618 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517599619 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517599620 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909067744288 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517599620 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15151156 memory=1096 CPUtime=0.37 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) R 7158 7158 5904 0 -1 4202560 1598 0 0 0 37 0 0 0 20 0 15 0 517599623 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909064588272 139909584147283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15151156 memory=1228 CPUtime=0.37 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) R 7158 7158 5904 0 -1 4202560 1182 0 0 0 36 1 0 0 20 0 15 0 517599623 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909063535344 139909579905332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15151156 memory=6152 CPUtime=0.31 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) S 7158 7158 5904 0 -1 1077944384 1876 0 0 0 31 0 0 0 20 0 15 0 517599623 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909062482544 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517599623 15514783744 26356 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106872 KiB
[startup+1.50144 s]
/proc/loadavg: 4.71 4.30 3.17 8/228 7174
/proc/meminfo: memFree=24805112/32770624 swapFree=66941112/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15153204 memory=1033028 CPUtime=703.18 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 81678 0 0 0 70233 85 0 0 20 0 15 0 517599617 15516880896 258257 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3788301 258257 3520 1 0 3749401 0
[pid=7160/tid=7161] ppid=7158 vsize=15153204 memory=3984 CPUtime=688.88 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 26772 0 0 0 68878 10 0 0 20 0 15 0 517599617 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909604892184 139909245671836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15153204 memory=1448 CPUtime=1.36 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 2100 0 0 0 124 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15153204 memory=1033028 CPUtime=1.32 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 2103 0 0 0 120 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15153204 memory=1033028 CPUtime=1.35 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 2640 0 0 0 123 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15153204 memory=1552 CPUtime=1.37 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2373 0 0 0 124 13 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15153204 memory=3984 CPUtime=0.45 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 1862 0 0 0 45 0 0 0 20 0 15 0 517599619 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15153204 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909067744352 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15153204 memory=784 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15153204 memory=1033028 CPUtime=3.59 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) S 7158 7158 5904 0 -1 1077944384 16073 0 0 0 358 1 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909064588144 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15153204 memory=1448 CPUtime=3.41 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) S 7158 7158 5904 0 -1 1077944384 12552 0 0 0 339 2 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909063535344 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15153204 memory=1448 CPUtime=0.98 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) S 7158 7158 5904 0 -1 1077944384 13036 0 0 0 95 3 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909062482544 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15153204 memory=8112282956445269571 CPUtime=0.39 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 866 0 0 0 17 22 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 703.18 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1034476 KiB
[startup+692.001 s]*
/proc/loadavg: 2.00 2.27 2.60 3/228 7316
/proc/meminfo: memFree=23000112/32770624 swapFree=66941116/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15153204 memory=1033028 CPUtime=703.99 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 81678 0 0 0 70314 85 0 0 20 0 15 0 517599617 15516880896 258257 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3788301 258257 3520 1 0 3749401 0
[pid=7160/tid=7161] ppid=7158 vsize=15153204 memory=-6733704525061579059 CPUtime=689.69 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 26772 0 0 0 68959 10 0 0 20 0 15 0 517599617 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909604892184 139909245959832 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15153204 memory=1984 CPUtime=1.36 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 2100 0 0 0 124 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15153204 memory=2364 CPUtime=1.32 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 2103 0 0 0 120 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15153204 memory=1744 CPUtime=1.35 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 2640 0 0 0 123 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15153204 memory=-7003737579269690708 CPUtime=1.37 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2373 0 0 0 124 13 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15153204 memory=916 CPUtime=0.45 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 1862 0 0 0 45 0 0 0 20 0 15 0 517599619 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15153204 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909067744352 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15153204 memory=2904 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15153204 memory=2960 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15153204 memory=1412 CPUtime=3.59 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) S 7158 7158 5904 0 -1 1077944384 16073 0 0 0 358 1 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909064588144 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15153204 memory=33 CPUtime=3.41 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) S 7158 7158 5904 0 -1 1077944384 12552 0 0 0 339 2 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909063535344 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15153204 memory=808 CPUtime=0.98 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) S 7158 7158 5904 0 -1 1077944384 13036 0 0 0 95 3 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909062482544 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15153204 memory=1033028 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15153204 memory=1448 CPUtime=0.39 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 866 0 0 0 17 22 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 703.99 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1034476 KiB
[startup+692.401 s]
/proc/loadavg: 2.00 2.27 2.60 3/228 7316
/proc/meminfo: memFree=23000112/32770624 swapFree=66941116/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15153204 memory=1033028 CPUtime=704.38 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 81678 0 0 0 70353 85 0 0 20 0 15 0 517599617 15516880896 258257 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3788301 258257 3520 1 0 3749401 0
[pid=7160/tid=7161] ppid=7158 vsize=15153204 memory=15460 CPUtime=690.08 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 26772 0 0 0 68998 10 0 0 20 0 15 0 517599617 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909604892184 139909246121936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15153204 memory=17668 CPUtime=1.36 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 2100 0 0 0 124 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15153204 memory=19876 CPUtime=1.32 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 2103 0 0 0 120 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15153204 memory=1448 CPUtime=1.35 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 2640 0 0 0 123 12 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15153204 memory=1033028 CPUtime=1.37 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2373 0 0 0 124 13 0 0 20 0 15 0 517599618 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15153204 memory=1416 CPUtime=0.45 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 1862 0 0 0 45 0 0 0 20 0 15 0 517599619 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15153204 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909067744352 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15153204 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15153204 memory=1033028 CPUtime=3.59 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) S 7158 7158 5904 0 -1 1077944384 16073 0 0 0 358 1 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909064588144 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15153204 memory=916 CPUtime=3.41 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) S 7158 7158 5904 0 -1 1077944384 12552 0 0 0 339 2 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909063535344 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15153204 memory=3848 CPUtime=0.98 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) S 7158 7158 5904 0 -1 1077944384 13036 0 0 0 95 3 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909062482544 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15153204 memory=3620 CPUtime=0.39 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 866 0 0 0 17 22 0 0 20 0 15 0 517599623 15516880896 258257 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 704.38 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1034476 KiB
[startup+692.601 s]
/proc/loadavg: 2.00 2.27 2.60 3/228 7316
/proc/meminfo: memFree=23000112/32770624 swapFree=66941116/67108860
[pid=7158] ppid=7155 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/7158/stat : 7158 (xcsp3-exec) S 7155 7158 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517599617 115843072 362 33554432000 4194304 5098028 140735274157024 140735274155128 140432090395260 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 20725760 140735274165115 140735274165357 140735274165357 140735274168266 0
/proc/7158/statm: 28282 362 304 221 0 87 0
[pid=7160] ppid=7158 vsize=15153204 memory=1033036 CPUtime=704.58 cores=0,2,4,6
/proc/7160/stat : 7160 (java) S 7158 7158 5904 0 -1 1077944320 82685 0 0 0 70373 85 0 0 20 0 15 0 517599617 15516880896 258259 33554432000 4194304 4196468 140733743550944 140733743533488 139909600653047 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
/proc/7160/statm: 3788301 258259 3521 1 0 3749401 0
[pid=7160/tid=7161] ppid=7158 vsize=15153204 memory=1448 CPUtime=690.28 cores=0,2,4,6
/proc/7160/task/7161/stat : 7161 (java) R 7158 7158 5904 0 -1 4202560 27622 0 0 0 69018 10 0 0 20 0 15 0 517599617 15516880896 258259 33554432000 4194304 4196468 140733743550944 139909604895992 139909583842136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7162] ppid=7158 vsize=15153204 memory=1033028 CPUtime=1.36 cores=0,2,4,6
/proc/7160/task/7162/stat : 7162 (java) S 7158 7158 5904 0 -1 1077944384 2100 0 0 0 124 12 0 0 20 0 15 0 517599618 15516880896 258261 33554432000 4194304 4196468 140733743550944 139909568212112 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7163] ppid=7158 vsize=15153204 memory=2016 CPUtime=1.32 cores=0,2,4,6
/proc/7160/task/7163/stat : 7163 (java) S 7158 7158 5904 0 -1 1077944384 2103 0 0 0 120 12 0 0 20 0 15 0 517599618 15516880896 258261 33554432000 4194304 4196468 140733743550944 139909191625744 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7164] ppid=7158 vsize=15153204 memory=1416 CPUtime=1.35 cores=0,2,4,6
/proc/7160/task/7164/stat : 7164 (java) S 7158 7158 5904 0 -1 1077944384 2640 0 0 0 123 12 0 0 20 0 15 0 517599618 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909190572944 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7165] ppid=7158 vsize=15153204 memory=10728 CPUtime=1.37 cores=0,2,4,6
/proc/7160/task/7165/stat : 7165 (java) S 7158 7158 5904 0 -1 1077944384 2373 0 0 0 124 13 0 0 20 0 15 0 517599618 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909189520144 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7166] ppid=7158 vsize=15153204 memory=1552 CPUtime=0.45 cores=0,2,4,6
/proc/7160/task/7166/stat : 7166 (java) S 7158 7158 5904 0 -1 1077944384 1862 0 0 0 45 0 0 0 20 0 15 0 517599619 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909068798320 139909600664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7167] ppid=7158 vsize=15153204 memory=3984 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7167/stat : 7167 (java) S 7158 7158 5904 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909067744352 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7168] ppid=7158 vsize=15153204 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7168/stat : 7168 (java) S 7158 7158 5904 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 517599620 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909066691440 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7169] ppid=7158 vsize=15153204 memory=784 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7169/stat : 7169 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599622 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909065639760 139909600671643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7170] ppid=7158 vsize=15153204 memory=1060 CPUtime=3.59 cores=0,2,4,6
/proc/7160/task/7170/stat : 7170 (java) S 7158 7158 5904 0 -1 1077944384 16073 0 0 0 358 1 0 0 20 0 15 0 517599623 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909064588144 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7171] ppid=7158 vsize=15153204 memory=1724 CPUtime=3.41 cores=0,2,4,6
/proc/7160/task/7171/stat : 7171 (java) R 7158 7158 5904 0 -1 4202560 12737 0 0 0 339 2 0 0 20 0 15 0 517599623 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909063535344 139909585046804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7172] ppid=7158 vsize=15153204 memory=1096 CPUtime=0.98 cores=0,2,4,6
/proc/7160/task/7172/stat : 7172 (java) R 7158 7158 5904 0 -1 4202560 13391 0 0 0 95 3 0 0 20 0 15 0 517599623 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909062482464 139909592892148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7173] ppid=7158 vsize=15153204 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7160/task/7173/stat : 7173 (java) S 7158 7158 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517599623 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909061429984 139909600663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
[pid=7160/tid=7174] ppid=7158 vsize=15153204 memory=6152 CPUtime=0.39 cores=0,2,4,6
/proc/7160/task/7174/stat : 7174 (java) S 7158 7158 5904 0 -1 1077944384 866 0 0 0 17 22 0 0 20 0 15 0 517599623 15516880896 258262 33554432000 4194304 4196468 140733743550944 139909060377264 139909600664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 12808192 140733743555567 140733743555738 140733743555738 140733743558607 0
Current children cumulated CPU time: 704.58 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 1034484 KiB
Child status: 0
Real time (s): 692.622
CPU time (s): 704.607
CPU user time (s): 703.742
CPU system time (s): 0.865169
CPU usage (%): 101.73
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 1034980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 703.742
system time used= 0.865169
maximum resident set size= 1033532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18442
involuntary context switches= 952
# summary of solver processes directly reported to runsolver:
# pid: 7158
# total CPU time (s): 704.607
# total CPU user time (s): 703.742
# total CPU system time (s): 0.865169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5205 second user time and 6.78684 second system time
The end