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 (15020 MiB free)
memory of node 1: 16384 MiB (15484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394267-1568331847/watcher-4394267-1568331847 -o /tmp/evaluation-result-4394267-1568331847/solver-4394267-1568331847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1974538161 HOME/instance-4394267-1568331847.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5097, runsolver pid=5094
Current StackSize limit: 8192 KiB
[startup+0.101833 s]*
/proc/loadavg: 6.00 7.29 7.35 7/228 5113
/proc/meminfo: memFree=31208840/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
[pid=5099] ppid=5097 vsize=15144768 memory=30124 CPUtime=0.13 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5097 5097 25300 0 -1 1077944320 5986 0 0 0 12 1 0 0 20 0 15 0 409456147 15508242432 7531 33554432000 4194304 4196468 140727553262992 140727553245536 140407536652023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
/proc/5099/statm: 3786192 7531 3140 1 0 3748377 0
[pid=5099/tid=5100] ppid=5097 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5100/stat : 5100 (java) R 5097 5097 25300 0 -1 4202560 3845 0 0 0 8 1 0 0 20 0 15 0 409456148 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407540874080 140407528986931 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5101] ppid=5097 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15144768 memory=140606888867456 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5097 5097 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5105] ppid=5097 vsize=15144768 memory=140606888867456 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5097 5097 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456150 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407004989424 140407536663170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5097 5097 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456150 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5107] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5097 5097 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456150 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407002883056 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5108] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407001831632 140407536670619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) R 5097 5097 25300 0 -1 4202560 348 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 7531 33554432000 4194304 4196468 140727553262992 140407000770896 140407516149471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5110] ppid=5097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) R 5097 5097 25300 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 7531 33554432000 4194304 4196468 140727553262992 140406999726800 140407536662229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5111] ppid=5097 vsize=15144768 memory=140606888867456 CPUtime=0.02 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) R 5097 5097 25300 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 409456153 15508242432 7531 33554432000 4194304 4196468 140727553262992 140406998674160 140407520962537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5112] ppid=5097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 7531 33554432000 4194304 4196468 140727553262992 140406997621856 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5113] ppid=5097 vsize=15144768 memory=140606888867456 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) R 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 7531 33554432000 4194304 4196468 140727553262992 140406996568368 140407536663170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31572 KiB
[startup+0.210842 s]*
/proc/loadavg: 6.00 7.29 7.35 8/228 5113
/proc/meminfo: memFree=31168848/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
[pid=5099] ppid=5097 vsize=15144768 memory=41116 CPUtime=0.34 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5097 5097 25300 0 -1 1077944320 9487 0 0 0 31 3 0 0 20 0 15 0 409456147 15508242432 10279 33554432000 4194304 4196468 140727553262992 140727553245536 140407536652023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
/proc/5099/statm: 3786192 10279 3282 1 0 3748377 0
[pid=5099/tid=5100] ppid=5097 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5099/task/5100/stat : 5100 (java) R 5097 5097 25300 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 15 0 409456148 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407540885200 140407536673949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5101] ppid=5097 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15144768 memory=140606892040414 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5097 5097 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456148 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5105] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5097 5097 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409456150 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407004989424 140407536663170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5097 5097 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456150 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5107] ppid=5097 vsize=15144768 memory=140606888867456 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5097 5097 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456150 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407002883056 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5108] ppid=5097 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407001831632 140407536670619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5097 5097 25300 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 15 0 409456153 15508242432 10279 33554432000 4194304 4196468 140727553262992 140407000779248 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5110] ppid=5097 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5097 5097 25300 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 15 0 409456153 15508242432 10279 33554432000 4194304 4196468 140727553262992 140406999726704 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5111] ppid=5097 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5097 5097 25300 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 409456153 15508242432 10279 33554432000 4194304 4196468 140727553262992 140406998674160 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5112] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 10279 33554432000 4194304 4196468 140727553262992 140406997621856 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5113] ppid=5097 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456153 15508242432 10279 33554432000 4194304 4196468 140727553262992 140406996568368 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42564 KiB
[startup+0.314663 s]*
/proc/loadavg: 6.00 7.29 7.35 6/228 5113
/proc/meminfo: memFree=31126064/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
[pid=5099] ppid=5097 vsize=15149024 memory=50656 CPUtime=0.53 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5097 5097 25300 0 -1 1077944320 10962 0 0 0 49 4 0 0 20 0 15 0 409456147 15512600576 12664 33554432000 4194304 4196468 140727553262992 140727553245536 140407536652023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
/proc/5099/statm: 3787256 12664 3375 1 0 3748377 0
[pid=5099/tid=5100] ppid=5097 vsize=15149024 memory=288363917221298210 CPUtime=0.31 cores=1,3,5,7
/proc/5099/task/5100/stat : 5100 (java) R 5097 5097 25300 0 -1 4202560 7874 0 0 0 28 3 0 0 20 0 15 0 409456148 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407540883136 140407520732510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5101] ppid=5097 vsize=15149024 memory=288230621820748097 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15149024 memory=14696283709377090 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5097 5097 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456148 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5105] ppid=5097 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5097 5097 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409456150 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407004989424 140407536663170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5097 5097 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456150 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5107] ppid=5097 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5097 5097 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456150 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407002883056 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5108] ppid=5097 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407001831632 140407536670619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5097 5097 25300 0 -1 1077944384 467 0 0 0 4 0 0 0 20 0 15 0 409456153 15512600576 12729 33554432000 4194304 4196468 140727553262992 140407000779248 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5110] ppid=5097 vsize=15148768 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5097 5097 25300 0 -1 1077944384 468 0 0 0 4 0 0 0 20 0 15 0 409456153 15512338432 12737 33554432000 4194304 4196468 140727553262992 140406999726704 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5111] ppid=5097 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5097 5097 25300 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 15 0 409456153 15512600576 12737 33554432000 4194304 4196468 140727553262992 140406998674160 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5112] ppid=5097 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15512600576 12737 33554432000 4194304 4196468 140727553262992 140406997621856 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5113] ppid=5097 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456153 15512600576 12737 33554432000 4194304 4196468 140727553262992 140406996568368 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52104 KiB
[startup+0.708945 s]
/proc/loadavg: 6.00 7.29 7.35 10/231 5116
/proc/meminfo: memFree=31050688/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
[pid=5099] ppid=5097 vsize=15151148 memory=97412 CPUtime=1.68 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5097 5097 25300 0 -1 1077944320 15445 0 0 0 163 5 0 0 20 0 15 0 409456147 15514775552 24353 33554432000 4194304 4196468 140727553262992 140727553245536 140407536652023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
/proc/5099/statm: 3787787 24353 3452 1 0 3748889 0
[pid=5099/tid=5100] ppid=5097 vsize=15151148 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/5099/task/5100/stat : 5100 (java) R 5097 5097 25300 0 -1 1077944384 9341 0 0 0 64 4 0 0 20 0 15 0 409456148 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407540890304 140407536662229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5101] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456148 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5097 5097 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409456148 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5105] ppid=5097 vsize=15151148 memory=70 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5097 5097 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409456150 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407004989424 140407536663170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15151148 memory=1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5097 5097 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409456150 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5107] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5097 5097 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409456150 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407002883056 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5108] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407001831632 140407536670619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15151148 memory=14323715934760 CPUtime=0.29 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) R 5097 5097 25300 0 -1 4202560 1506 0 0 0 29 0 0 0 20 0 15 0 409456153 15514775552 24353 33554432000 4194304 4196468 140727553262992 140407000757568 140407514674952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5110] ppid=5097 vsize=15151148 memory=2958624 CPUtime=0.27 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) R 5097 5097 25300 0 -1 4202560 1166 0 0 0 27 0 0 0 20 0 15 0 409456153 15514775552 24353 33554432000 4194304 4196468 140727553262992 140406999707024 140407536673370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5111] ppid=5097 vsize=15151148 memory=2966641 CPUtime=0.41 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5097 5097 25300 0 -1 1077944384 2125 0 0 0 41 0 0 0 20 0 15 0 409456153 15514775552 24353 33554432000 4194304 4196468 140727553262992 140406998674160 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5112] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409456153 15514775552 24353 33554432000 4194304 4196468 140727553262992 140406997621856 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5113] ppid=5097 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5097 5097 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409456153 15514775552 24353 33554432000 4194304 4196468 140727553262992 140406996568368 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 98860 KiB
[startup+1.50867 s]
/proc/loadavg: 6.00 7.29 7.35 10/234 5189
/proc/meminfo: memFree=31087684/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 2872 0 0 0 8 2 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15553608 memory=8112282956445269571 CPUtime=0.1 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1951 0 0 0 8 2 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15553608 memory=393232 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1259 0 0 0 8 1 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15553608 memory=1412 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5097 5097 25300 0 -1 1077944384 2088 0 0 0 8 1 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5105] ppid=5097 vsize=15553608 memory=2612 CPUtime=1.05 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5097 5097 25300 0 -1 1077944384 1641 0 0 0 27 78 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407004989424 140407536663170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15553608 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5097 5097 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5107] ppid=5097 vsize=15553608 memory=393232 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5097 5097 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407002883056 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5108] ppid=5097 vsize=15553608 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407001831632 140407536670619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15553608 memory=288230617509003574 CPUtime=3.43 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5097 5097 25300 0 -1 1077944384 11890 0 0 0 342 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407000779248 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5110] ppid=5097 vsize=15553608 memory=15260333157648136 CPUtime=3.72 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5097 5097 25300 0 -1 1077944384 13235 0 0 0 371 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406999726704 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5111] ppid=5097 vsize=15553608 memory=4126316290023845779 CPUtime=0.88 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5097 5097 25300 0 -1 1077944384 10115 0 0 0 87 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406998674160 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5112] ppid=5097 vsize=15553608 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406997621856 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5113] ppid=5097 vsize=15553608 memory=111632 CPUtime=0.01 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5097 5097 25300 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406996568368 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5983] ppid=5097 vsize=15553608 memory=804 CPUtime=12.59 cores=1,3,5,7
/proc/5099/task/5983/stat : 5983 (java) S 5097 5097 25300 0 -1 1077944384 384 0 0 0 1259 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406979186080 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5984] ppid=5097 vsize=15553608 memory=1448 CPUtime=12.51 cores=1,3,5,7
/proc/5099/task/5984/stat : 5984 (java) S 5097 5097 25300 0 -1 1077944384 1478 0 0 0 1251 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406985495504 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5985] ppid=5097 vsize=15553608 memory=393232 CPUtime=12.55 cores=1,3,5,7
/proc/5099/task/5985/stat : 5985 (java) S 5097 5097 25300 0 -1 1077944384 855 0 0 0 1255 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406984442960 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5986] ppid=5097 vsize=15553608 memory=2556 CPUtime=21.89 cores=1,3,5,7
/proc/5099/task/5986/stat : 5986 (java) R 5097 5097 25300 0 -1 4202560 323 0 0 0 2188 1 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406980237512 140407137564928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 241 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 394680 KiB
[startup+75.6008 s]
/proc/loadavg: 6.87 7.27 7.34 6/238 6960
/proc/meminfo: memFree=29782624/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
[pid=5099] ppid=5097 vsize=15553608 memory=393232 CPUtime=241.4 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5097 5097 25300 0 -1 1077944320 74821 0 0 0 24035 105 0 0 20 0 19 0 409456147 15926894592 98308 33554432000 4194304 4196468 140727553262992 140727553245536 140407536652023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
/proc/5099/statm: 3888402 98308 3526 1 0 3849504 0
[pid=5099/tid=5100] ppid=5097 vsize=15553608 memory=804 CPUtime=0.74 cores=1,3,5,7
/proc/5099/task/5100/stat : 5100 (java) S 5097 5097 25300 0 -1 1077944384 10415 0 0 0 70 4 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407540892800 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5101] ppid=5097 vsize=15553608 memory=1412 CPUtime=0.1 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 2872 0 0 0 8 2 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15553608 memory=3200 CPUtime=0.1 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1951 0 0 0 8 2 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15553608 memory=1448 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1259 0 0 0 8 1 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15553608 memory=1548 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5097 5097 25300 0 -1 1077944384 2088 0 0 0 8 1 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5105] ppid=5097 vsize=15553608 memory=1056 CPUtime=1.05 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5097 5097 25300 0 -1 1077944384 1641 0 0 0 27 78 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407004989424 140407536663170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15553608 memory=744 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5097 5097 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5107] ppid=5097 vsize=15553608 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5097 5097 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407002883056 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5108] ppid=5097 vsize=15553608 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407001831632 140407536670619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15553608 memory=1124 CPUtime=3.43 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5097 5097 25300 0 -1 1077944384 11890 0 0 0 342 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407000779248 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5110] ppid=5097 vsize=15553608 memory=14008 CPUtime=3.72 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5097 5097 25300 0 -1 1077944384 13235 0 0 0 371 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406999726704 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5111] ppid=5097 vsize=15553608 memory=11928 CPUtime=0.88 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5097 5097 25300 0 -1 1077944384 10115 0 0 0 87 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406998674160 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5112] ppid=5097 vsize=15553608 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406997621856 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5113] ppid=5097 vsize=15553608 memory=6352 CPUtime=0.01 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5097 5097 25300 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406996568368 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5983] ppid=5097 vsize=15553608 memory=504 CPUtime=12.59 cores=1,3,5,7
/proc/5099/task/5983/stat : 5983 (java) S 5097 5097 25300 0 -1 1077944384 384 0 0 0 1259 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406979186080 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5984] ppid=5097 vsize=15553608 memory=1564 CPUtime=12.51 cores=1,3,5,7
/proc/5099/task/5984/stat : 5984 (java) S 5097 5097 25300 0 -1 1077944384 1478 0 0 0 1251 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406985495504 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5985] ppid=5097 vsize=15553608 memory=8112282956445269571 CPUtime=12.55 cores=1,3,5,7
/proc/5099/task/5985/stat : 5985 (java) S 5097 5097 25300 0 -1 1077944384 855 0 0 0 1255 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406984442960 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5986] ppid=5097 vsize=15553608 memory=288230617509003574 CPUtime=22.29 cores=1,3,5,7
/proc/5099/task/5986/stat : 5986 (java) R 5097 5097 25300 0 -1 4202560 323 0 0 0 2228 1 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406980237512 140407137564974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 241.4 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 394680 KiB
[startup+75.8008 s]
/proc/loadavg: 6.87 7.27 7.34 6/238 6960
/proc/meminfo: memFree=29782624/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
[pid=5099] ppid=5097 vsize=15553608 memory=393232 CPUtime=241.6 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5097 5097 25300 0 -1 1077944320 74821 0 0 0 24055 105 0 0 20 0 19 0 409456147 15926894592 98308 33554432000 4194304 4196468 140727553262992 140727553245536 140407536652023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
/proc/5099/statm: 3888402 98308 3526 1 0 3849504 0
[pid=5099/tid=5100] ppid=5097 vsize=15553608 memory=1412 CPUtime=0.74 cores=1,3,5,7
/proc/5099/task/5100/stat : 5100 (java) S 5097 5097 25300 0 -1 1077944384 10415 0 0 0 70 4 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407540892800 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5101] ppid=5097 vsize=15553608 memory=2664 CPUtime=0.1 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 2872 0 0 0 8 2 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15553608 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1951 0 0 0 8 2 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15553608 memory=894948 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1259 0 0 0 8 1 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15553608 memory=1804 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5097 5097 25300 0 -1 1077944384 2088 0 0 0 8 1 0 0 20 0 19 0 409456148 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5105] ppid=5097 vsize=15553608 memory=916 CPUtime=1.05 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5097 5097 25300 0 -1 1077944384 1641 0 0 0 27 78 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407004989424 140407536663170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15553608 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5097 5097 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5107] ppid=5097 vsize=15553608 memory=3016 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5097 5097 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409456150 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407002883056 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5108] ppid=5097 vsize=15553608 memory=2604 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407001831632 140407536670619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15553608 memory=4096 CPUtime=3.43 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5097 5097 25300 0 -1 1077944384 11890 0 0 0 342 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140407000779248 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5110] ppid=5097 vsize=15553608 memory=2124 CPUtime=3.72 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5097 5097 25300 0 -1 1077944384 13235 0 0 0 371 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406999726704 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5111] ppid=5097 vsize=15553608 memory=6352 CPUtime=0.88 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5097 5097 25300 0 -1 1077944384 10115 0 0 0 87 1 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406998674160 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5112] ppid=5097 vsize=15553608 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5097 5097 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406997621856 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5113] ppid=5097 vsize=15553608 memory=20364 CPUtime=0.01 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5097 5097 25300 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 19 0 409456153 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406996568368 140407536663170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5983] ppid=5097 vsize=15553608 memory=984 CPUtime=12.59 cores=1,3,5,7
/proc/5099/task/5983/stat : 5983 (java) S 5097 5097 25300 0 -1 1077944384 384 0 0 0 1259 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406979186080 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5984] ppid=5097 vsize=15553608 memory=2032 CPUtime=12.51 cores=1,3,5,7
/proc/5099/task/5984/stat : 5984 (java) S 5097 5097 25300 0 -1 1077944384 1478 0 0 0 1251 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406985495504 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5985] ppid=5097 vsize=15553608 memory=1332 CPUtime=12.55 cores=1,3,5,7
/proc/5099/task/5985/stat : 5985 (java) S 5097 5097 25300 0 -1 1077944384 855 0 0 0 1255 0 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406984442960 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5986] ppid=5097 vsize=15553608 memory=43860206036962 CPUtime=22.49 cores=1,3,5,7
/proc/5099/task/5986/stat : 5986 (java) R 5097 5097 25300 0 -1 4202560 323 0 0 0 2248 1 0 0 20 0 19 0 409461458 15926894592 98308 33554432000 4194304 4196468 140727553262992 140406980237512 140407137564832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 241.6 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 394680 KiB
[startup+75.9008 s]
/proc/loadavg: 6.87 7.27 7.34 6/238 6960
/proc/meminfo: memFree=29782624/32770624 swapFree=66933688/67108860
[pid=5097] ppid=5094 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5097/stat : 5097 (xcsp3-exec) S 5094 5097 25300 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409456147 115843072 362 33554432000 4194304 5098028 140736148876592 140736148874696 139754039325308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8904704 140736148878202 140736148878445 140736148878445 140736148881354 0
/proc/5097/statm: 28282 362 304 221 0 87 0
[pid=5099] ppid=5097 vsize=15553608 memory=392880 CPUtime=241.7 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5097 5097 25300 0 -1 1077944320 76543 0 0 0 24065 105 0 0 20 0 12 0 409456147 15926894592 98248 33554432000 4194304 4196468 140727553262992 140727553245536 140407536652023 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
/proc/5099/statm: 3888402 98248 3527 1 0 3849504 0
[pid=5099/tid=5101] ppid=5097 vsize=15553608 memory=24075707615722 CPUtime=0.1 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5097 5097 25300 0 -1 1077944384 2872 0 0 0 8 2 0 0 20 0 11 0 409456148 15926894592 98220 33554432000 4194304 4196468 140727553262992 140407448308496 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5102] ppid=5097 vsize=15553608 memory=20364 CPUtime=0.1 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5097 5097 25300 0 -1 1077944384 1951 0 0 0 8 2 0 0 20 0 11 0 409456148 15926894592 98220 33554432000 4194304 4196468 140727553262992 140407128189840 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5103] ppid=5097 vsize=15553608 memory=984 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5097 5097 25300 0 -1 1077944384 1259 0 0 0 8 1 0 0 20 0 11 0 409456148 15926894592 98220 33554432000 4194304 4196468 140727553262992 140407127137296 140407536662229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5104] ppid=5097 vsize=15553608 memory=744 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) R 5097 5097 25300 0 -1 1077944384 2088 0 0 0 8 1 0 0 20 0 11 0 409456148 15926894592 98247 33554432000 4194304 4196468 140727553262992 140407126084752 140407536662229 256 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5106] ppid=5097 vsize=15553608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) R 5097 5097 25300 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 10 0 409456150 15926894592 98292 33554432000 4194304 4196468 140727553262992 140407003935648 140407536662229 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
[pid=5099/tid=5109] ppid=5097 vsize=15553608 memory=6352 CPUtime=3.43 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) R 5097 5097 25300 0 -1 1077944384 11890 0 0 0 342 1 0 0 20 0 5 0 409456153 15926894592 98360 33554432000 4194304 4196468 140727553262992 140407000779248 140407536663170 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22921216 140727553266671 140727553266842 140727553266842 140727553269711 0
Current children cumulated CPU time: 241.7 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 394328 KiB
Child status: 0
Real time (s): 75.907
CPU time (s): 241.716
CPU user time (s): 240.657
CPU system time (s): 1.05843
CPU usage (%): 318.436
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 394680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.657
system time used= 1.05844
maximum resident set size= 394264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77144
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5422
involuntary context switches= 5068
# summary of solver processes directly reported to runsolver:
# pid: 5097
# total CPU time (s): 241.716
# total CPU user time (s): 240.657
# total CPU system time (s): 1.05843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.463483 second user time and 0.909507 second system time
The end