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 (6305 MiB free)
memory of node 1: 16384 MiB (11475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406072-1569412199/watcher-4406072-1569412199 -o /tmp/evaluation-result-4406072-1569412199/solver-4406072-1569412199 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569408644-5936 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1956141798 HOME/instance-4406072-1569412199.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6568, runsolver pid=6565
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.91 1.86 1.70 4/227 6584
/proc/meminfo: memFree=18189976/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
[pid=6570] ppid=6568 vsize=15144776 memory=29156 CPUtime=0.13 cores=1,3,5,7
/proc/6570/stat : 6570 (java) S 6568 6568 5904 0 -1 1077944320 5685 0 0 0 12 1 0 0 20 0 15 0 517490900 15508250624 7289 33554432000 4194304 4196468 140723853266064 140723853248608 140391658532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
/proc/6570/statm: 3786194 7289 3187 1 0 3748377 0
[pid=6570/tid=6571] ppid=6568 vsize=15144776 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 5904 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 15 0 517490900 15508250624 7289 33554432000 4194304 4196468 140723853266064 140391662766880 140391291719859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6572] ppid=6568 vsize=15144776 memory=3472468335636894928 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 7289 33554432000 4194304 4196468 140723853266064 140391611153296 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6573] ppid=6568 vsize=15144776 memory=140206741743232 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 7289 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 7289 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 7289 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517490902 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517490903 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517490903 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 5904 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 517490905 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390528117360 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 5904 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 517490905 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390527064560 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15144776 memory=140206741743232 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 517490905 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15144776 memory=140206741743232 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490906 15508250624 7289 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30604 KiB
[startup+0.210726 s]*
/proc/loadavg: 1.91 1.86 1.70 4/227 6584
/proc/meminfo: memFree=18176608/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
[pid=6570] ppid=6568 vsize=15144776 memory=40860 CPUtime=0.35 cores=1,3,5,7
/proc/6570/stat : 6570 (java) S 6568 6568 5904 0 -1 1077944320 9454 0 0 0 32 3 0 0 20 0 15 0 517490900 15508250624 10215 33554432000 4194304 4196468 140723853266064 140723853248608 140391658532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
/proc/6570/statm: 3786194 10215 3303 1 0 3748377 0
[pid=6570/tid=6571] ppid=6568 vsize=15144776 memory=4212167822348820889 CPUtime=0.2 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 5904 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 15 0 517490900 15508250624 10215 33554432000 4194304 4196468 140723853266064 140391662770064 140391658554525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6572] ppid=6568 vsize=15144776 memory=3472468335636894928 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 10215 33554432000 4194304 4196468 140723853266064 140391611153296 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6573] ppid=6568 vsize=15144776 memory=140206741743232 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 10215 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 10215 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517490901 15508250624 10215 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15144776 memory=140206741743232 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517490902 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517490903 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517490903 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 5904 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 517490905 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390528117360 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 5904 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 15 0 517490905 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390527064560 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15144776 memory=140206741743232 CPUtime=0.08 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 15 0 517490905 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15144776 memory=140206741743232 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490906 15508250624 10215 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42308 KiB
[startup+0.310557 s]*
/proc/loadavg: 1.91 1.86 1.70 4/227 6584
/proc/meminfo: memFree=18169560/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
[pid=6570] ppid=6568 vsize=15149032 memory=50360 CPUtime=0.54 cores=1,3,5,7
/proc/6570/stat : 6570 (java) S 6568 6568 5904 0 -1 1077944320 10852 0 0 0 50 4 0 0 20 0 15 0 517490900 15512608768 12590 33554432000 4194304 4196468 140723853266064 140723853248608 140391658532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
/proc/6570/statm: 3787258 12590 3362 1 0 3748377 0
[pid=6570/tid=6571] ppid=6568 vsize=15149032 memory=4212167822348820889 CPUtime=0.29 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 5904 0 -1 4202560 7812 0 0 0 27 2 0 0 20 0 15 0 517490900 15512608768 12590 33554432000 4194304 4196468 140723853266064 140391662759216 140391642613086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6572] ppid=6568 vsize=15149032 memory=3472468502969423536 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15512608768 12590 33554432000 4194304 4196468 140723853266064 140391611153296 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6573] ppid=6568 vsize=15149032 memory=140206741743233 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15512608768 12590 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15512608768 12590 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15149032 memory=140206590271263 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517490901 15512608768 12590 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15149032 memory=280413180521760 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517490902 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15149032 memory=140206590248207 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517490903 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15149032 memory=280413332000608 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517490903 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15149032 memory=140206590252815 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 5904 0 -1 1077944384 600 0 0 0 5 0 0 0 20 0 15 0 517490905 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390528117360 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 5904 0 -1 1077944384 273 0 0 0 4 0 0 0 20 0 15 0 517490905 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390527064560 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 517490905 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15149032 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490906 15512608768 12590 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51808 KiB
[startup+0.701592 s]
/proc/loadavg: 1.91 1.86 1.70 4/227 6584
/proc/meminfo: memFree=18154356/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
[pid=6570] ppid=6568 vsize=15151156 memory=104848 CPUtime=1.68 cores=1,3,5,7
/proc/6570/stat : 6570 (java) S 6568 6568 5904 0 -1 1077944320 14619 0 0 0 163 5 0 0 20 0 15 0 517490900 15514783744 26212 33554432000 4194304 4196468 140723853266064 140723853248608 140391658532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
/proc/6570/statm: 3787789 26212 3455 1 0 3748889 0
[pid=6570/tid=6571] ppid=6568 vsize=15151156 memory=6153395287087403600 CPUtime=0.68 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 5904 0 -1 4202560 9020 0 0 0 64 4 0 0 20 0 15 0 517490900 15514783744 26212 33554432000 4194304 4196468 140723853266064 140391662770856 140391294835215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6572] ppid=6568 vsize=15151156 memory=7883644968863624293 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15514783744 26212 33554432000 4194304 4196468 140723853266064 140391611153296 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6573] ppid=6568 vsize=15151156 memory=8099279071866868838 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15514783744 26212 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15151156 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490901 15514783744 26212 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517490901 15514783744 26212 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517490902 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15151156 memory=784 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15151156 memory=1096 CPUtime=0.31 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) R 6568 6568 5904 0 -1 4202560 1392 0 0 0 31 0 0 0 20 0 15 0 517490905 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390528110552 140391640056507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15151156 memory=1228 CPUtime=0.29 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) R 6568 6568 5904 0 -1 4202560 1041 0 0 0 29 0 0 0 20 0 15 0 517490905 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390527051376 140391635845166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15151156 memory=6152 CPUtime=0.38 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 1861 0 0 0 38 0 0 0 20 0 15 0 517490905 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517490906 15514783744 26212 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106296 KiB
[startup+1.50077 s]
/proc/loadavg: 2.08 1.90 1.71 5/227 6584
/proc/meminfo: memFree=18101808/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15151156 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15151156 memory=239552 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15151156 memory=2940 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 15 0 517490902 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15151156 memory=239552 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15151156 memory=64792 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15151156 memory=988 CPUtime=2.05 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 5904 0 -1 1077944384 13247 0 0 0 204 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390528117360 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15151156 memory=2016 CPUtime=1.48 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 5904 0 -1 1077944384 10591 0 0 0 147 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390527064560 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15151156 memory=1416 CPUtime=0.56 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 7010 0 0 0 55 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15151156 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15151156 memory=280413180695040 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 739 0 0 0 0 1 0 0 20 0 15 0 517490906 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 90.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 241000 KiB
[startup+88.0006 s]*
/proc/loadavg: 2.02 1.92 1.73 3/228 6591
/proc/meminfo: memFree=17978068/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
[pid=6570] ppid=6568 vsize=15151156 memory=239552 CPUtime=92.2 cores=1,3,5,7
/proc/6570/stat : 6570 (java) S 6568 6568 5904 0 -1 1077944320 47551 0 0 0 9205 15 0 0 20 0 15 0 517490900 15514783744 59888 33554432000 4194304 4196468 140723853266064 140723853248608 140391658532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
/proc/6570/statm: 3787789 59888 3483 1 0 3748889 0
[pid=6570/tid=6571] ppid=6568 vsize=15151156 memory=8112282956445269571 CPUtime=87.95 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 5904 0 -1 4202560 12879 0 0 0 8790 5 0 0 20 0 15 0 517490900 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391662771688 140391294835445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6572] ppid=6568 vsize=15151156 memory=-7003737579269690708 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 5904 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391611153296 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6573] ppid=6568 vsize=15151156 memory=239552 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15151156 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15151156 memory=-7003737579269690708 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 15 0 517490902 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15151156 memory=3224 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15151156 memory=7035264 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15151156 memory=1412 CPUtime=2.05 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 5904 0 -1 1077944384 13247 0 0 0 204 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390528117360 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15151156 memory=2876 CPUtime=1.48 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 5904 0 -1 1077944384 10591 0 0 0 147 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390527064560 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15151156 memory=1448 CPUtime=0.56 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 7010 0 0 0 55 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15151156 memory=239552 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15151156 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 739 0 0 0 0 1 0 0 20 0 15 0 517490906 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 92.2 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 241000 KiB
[startup+88.4006 s]
/proc/loadavg: 2.02 1.92 1.73 3/228 6591
/proc/meminfo: memFree=17978068/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
[pid=6570] ppid=6568 vsize=15151156 memory=239552 CPUtime=92.59 cores=1,3,5,7
/proc/6570/stat : 6570 (java) S 6568 6568 5904 0 -1 1077944320 47551 0 0 0 9244 15 0 0 20 0 15 0 517490900 15514783744 59888 33554432000 4194304 4196468 140723853266064 140723853248608 140391658532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
/proc/6570/statm: 3787789 59888 3483 1 0 3748889 0
[pid=6570/tid=6571] ppid=6568 vsize=15151156 memory=0 CPUtime=88.34 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 5904 0 -1 4202560 12879 0 0 0 8829 5 0 0 20 0 15 0 517490900 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391662771688 140391295138627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6572] ppid=6568 vsize=15151156 memory=5861554119313812330 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 5904 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391611153296 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6573] ppid=6568 vsize=15151156 memory=7309173323086320748 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15151156 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15151156 memory=239552 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15151156 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 15 0 517490902 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15151156 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15151156 memory=6152 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15151156 memory=14008 CPUtime=2.05 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 5904 0 -1 1077944384 13247 0 0 0 204 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390528117360 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15151156 memory=34604 CPUtime=1.48 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 5904 0 -1 1077944384 10591 0 0 0 147 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390527064560 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15151156 memory=2116 CPUtime=0.56 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 7010 0 0 0 55 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15151156 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15151156 memory=1560 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 739 0 0 0 0 1 0 0 20 0 15 0 517490906 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 92.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 241000 KiB
[startup+88.8006 s]
/proc/loadavg: 2.02 1.92 1.73 3/228 6591
/proc/meminfo: memFree=17978068/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
[pid=6570] ppid=6568 vsize=15151156 memory=239552 CPUtime=92.99 cores=1,3,5,7
/proc/6570/stat : 6570 (java) S 6568 6568 5904 0 -1 1077944320 47551 0 0 0 9284 15 0 0 20 0 15 0 517490900 15514783744 59888 33554432000 4194304 4196468 140723853266064 140723853248608 140391658532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
/proc/6570/statm: 3787789 59888 3483 1 0 3748889 0
[pid=6570/tid=6571] ppid=6568 vsize=15151156 memory=301741373374332954 CPUtime=88.74 cores=1,3,5,7
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 5904 0 -1 4202560 12879 0 0 0 8869 5 0 0 20 0 15 0 517490900 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391662771688 140391295175167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6572] ppid=6568 vsize=15151156 memory=297237795305685307 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 5904 0 -1 1077944384 68 0 0 0 1 1 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391611153296 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6573] ppid=6568 vsize=15151156 memory=13571487609129518 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 5904 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391249533712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6574] ppid=6568 vsize=15151156 memory=7100839878645619564 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 5904 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391248481424 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6575] ppid=6568 vsize=15151156 memory=3047711553320166262 CPUtime=0.02 cores=1,3,5,7
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 5904 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 517490901 15514783744 59888 33554432000 4194304 4196468 140723853266064 140391247428624 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6576] ppid=6568 vsize=15151156 memory=7824336315716348491 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 5904 0 -1 1077944384 653 0 0 0 0 0 0 0 20 0 15 0 517490902 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390532327536 140391658543746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6577] ppid=6568 vsize=15151156 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 5904 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390531273504 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6578] ppid=6568 vsize=15151156 memory=7378983506835892305 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 5904 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517490903 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390530221168 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6579] ppid=6568 vsize=15151156 memory=7019814749255199335 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390529169488 140391658551195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6580] ppid=6568 vsize=15151156 memory=6299234518270765924 CPUtime=2.05 cores=1,3,5,7
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 5904 0 -1 1077944384 13247 0 0 0 204 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390528117360 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6581] ppid=6568 vsize=15151156 memory=6005660537016314730 CPUtime=1.48 cores=1,3,5,7
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 5904 0 -1 1077944384 10591 0 0 0 147 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390527064560 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6582] ppid=6568 vsize=15151156 memory=7237397234208893248 CPUtime=0.56 cores=1,3,5,7
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 5904 0 -1 1077944384 7010 0 0 0 55 1 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390526012272 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6583] ppid=6568 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 5904 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517490905 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390524959712 140391658542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
[pid=6570/tid=6584] ppid=6568 vsize=15151156 memory=239552 CPUtime=0.01 cores=1,3,5,7
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 5904 0 -1 1077944384 739 0 0 0 0 1 0 0 20 0 15 0 517490906 15514783744 59888 33554432000 4194304 4196468 140723853266064 140390523906480 140391658543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 11112448 140723853272047 140723853272218 140723853272218 140723853275087 0
Current children cumulated CPU time: 92.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 241000 KiB
[startup+88.9046 s]
/proc/loadavg: 2.02 1.92 1.73 3/228 6591
/proc/meminfo: memFree=17978068/32770624 swapFree=66941108/67108860
[pid=6568] ppid=6565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6568/stat : 6568 (xcsp3-exec) R 6565 6568 5904 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517490900 115843072 362 33554432000 4194304 5098028 140727235724288 140727235722392 140217737380476 0 65536 4100 65538 0 0 0 17 1 0 0 0 0 0 7196144 7232144 18731008 140727235728250 140727235728493 140727235728493 140727235731402 0
/proc/6568/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 88.905
CPU time (s): 93.1019
CPU user time (s): 92.9426
CPU system time (s): 0.159268
CPU usage (%): 104.721
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 241000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.9426
system time used= 0.159268
maximum resident set size= 239976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48454
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= 4332
involuntary context switches= 76
# summary of solver processes directly reported to runsolver:
# pid: 6568
# total CPU time (s): 93.1019
# total CPU user time (s): 92.9426
# total CPU system time (s): 0.159268
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.47826 second user time and 0.860276 second system time
The end