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 (1928 MiB free)
memory of node 1: 16384 MiB (3080 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404054-1568990697/watcher-4404054-1568990697 -o /var/tmp/evaluation-result-4404054-1568990697/solver-4404054-1568990697 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1230236214 HOME/instance-4404054-1568990697.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
Current StackSize limit: 8192 KiB
solver pid=3606, runsolver pid=3603
[startup+0.105319 s]*
/proc/loadavg: 8.69 8.34 7.77 6/234 3622
/proc/meminfo: memFree=5112476/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
[pid=3608] ppid=3606 vsize=15144776 memory=29208 CPUtime=0.11 cores=1,3,5,7
/proc/3608/stat : 3608 (java) S 3606 3606 31580 0 -1 1077944320 5698 0 0 0 10 1 0 0 20 0 15 0 475009759 15508250624 7302 33554432000 4194304 4196468 140722987713104 140722987695648 140435224882935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
/proc/3608/statm: 3786194 7302 3153 1 0 3748377 0
[pid=3608/tid=3609] ppid=3606 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/3608/task/3609/stat : 3609 (java) R 3606 3606 31580 0 -1 4202560 3629 0 0 0 7 1 0 0 20 0 15 0 475009759 15508250624 7302 33554432000 4194304 4196468 140722987713104 140435229115712 140434844304658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3610] ppid=3606 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3610/stat : 3610 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 7302 33554432000 4194304 4196468 140722987713104 140435177503888 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3611] ppid=3606 vsize=15144776 memory=139929348224640 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3611/stat : 3611 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 7302 33554432000 4194304 4196468 140722987713104 140435176451088 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3612] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3612/stat : 3612 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 7302 33554432000 4194304 4196468 140722987713104 140435175398288 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3613] ppid=3606 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3613/stat : 3613 (java) S 3606 3606 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 7302 33554432000 4194304 4196468 140722987713104 140435174345488 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3614] ppid=3606 vsize=15144776 memory=139929348224640 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3614/stat : 3614 (java) S 3606 3606 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475009762 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434693155184 140435224894082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3615] ppid=3606 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3615/stat : 3615 (java) S 3606 3606 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475009762 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434692101152 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3616] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3616/stat : 3616 (java) S 3606 3606 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475009762 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434691048304 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3617] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3617/stat : 3617 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434689996624 140435224901531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3618] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3618/stat : 3618 (java) S 3606 3606 31580 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 475009765 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434688945008 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3619] ppid=3606 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3619/stat : 3619 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434687892208 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3620] ppid=3606 vsize=15144776 memory=139929348224640 CPUtime=0.02 cores=1,3,5,7
/proc/3608/task/3620/stat : 3620 (java) R 3606 3606 31580 0 -1 4202560 344 0 0 0 2 0 0 0 20 0 15 0 475009765 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434686839408 140435203756101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3621] ppid=3606 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3621/stat : 3621 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434685786848 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3622] ppid=3606 vsize=15144776 memory=139929348224640 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3622/stat : 3622 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009766 15508250624 7302 33554432000 4194304 4196468 140722987713104 140434684734128 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30660 KiB
[startup+0.21094 s]*
/proc/loadavg: 8.69 8.34 7.77 7/234 3622
/proc/meminfo: memFree=5100872/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
[pid=3608] ppid=3606 vsize=15144776 memory=40504 CPUtime=0.32 cores=1,3,5,7
/proc/3608/stat : 3608 (java) S 3606 3606 31580 0 -1 1077944320 9311 0 0 0 29 3 0 0 20 0 15 0 475009759 15508250624 10126 33554432000 4194304 4196468 140722987713104 140722987695648 140435224882935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
/proc/3608/statm: 3786194 10126 3317 1 0 3748377 0
[pid=3608/tid=3609] ppid=3606 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/3608/task/3609/stat : 3609 (java) R 3606 3606 31580 0 -1 4202560 6599 0 0 0 17 2 0 0 20 0 15 0 475009759 15508250624 10126 33554432000 4194304 4196468 140722987713104 140435229114848 140435202909175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3610] ppid=3606 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3610/stat : 3610 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 10126 33554432000 4194304 4196468 140722987713104 140435177503888 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3611] ppid=3606 vsize=15144776 memory=4049217071431300768 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3611/stat : 3611 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 10126 33554432000 4194304 4196468 140722987713104 140435176451088 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3612] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3612/stat : 3612 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 10126 33554432000 4194304 4196468 140722987713104 140435175398288 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3613] ppid=3606 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3613/stat : 3613 (java) S 3606 3606 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475009760 15508250624 10126 33554432000 4194304 4196468 140722987713104 140435174345488 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3614] ppid=3606 vsize=15144776 memory=139929348224640 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3614/stat : 3614 (java) S 3606 3606 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475009762 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434693155184 140435224894082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3615] ppid=3606 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3615/stat : 3615 (java) S 3606 3606 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475009762 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434692101152 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3616] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3616/stat : 3616 (java) S 3606 3606 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475009762 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434691048304 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3617] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3617/stat : 3617 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434689996624 140435224901531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3618] ppid=3606 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3608/task/3618/stat : 3618 (java) S 3606 3606 31580 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 475009765 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434688945008 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3619] ppid=3606 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3608/task/3619/stat : 3619 (java) S 3606 3606 31580 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 475009765 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434687892208 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3620] ppid=3606 vsize=15144776 memory=139929348224640 CPUtime=0.07 cores=1,3,5,7
/proc/3608/task/3620/stat : 3620 (java) R 3606 3606 31580 0 -1 4202560 776 0 0 0 7 0 0 0 20 0 15 0 475009765 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434686834672 140435204851682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3621] ppid=3606 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3621/stat : 3621 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434685786848 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3622] ppid=3606 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3622/stat : 3622 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009766 15508250624 10126 33554432000 4194304 4196468 140722987713104 140434684734128 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41956 KiB
[startup+0.310899 s]*
/proc/loadavg: 8.69 8.34 7.77 7/234 3622
/proc/meminfo: memFree=5095660/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
[pid=3608] ppid=3606 vsize=15149032 memory=49420 CPUtime=0.51 cores=1,3,5,7
/proc/3608/stat : 3608 (java) S 3606 3606 31580 0 -1 1077944320 10628 0 0 0 47 4 0 0 20 0 15 0 475009759 15512608768 12355 33554432000 4194304 4196468 140722987713104 140722987695648 140435224882935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
/proc/3608/statm: 3787258 12355 3357 1 0 3748377 0
[pid=3608/tid=3609] ppid=3606 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/3608/task/3609/stat : 3609 (java) R 3606 3606 31580 0 -1 4202560 7686 0 0 0 26 3 0 0 20 0 15 0 475009759 15512608768 12371 33554432000 4194304 4196468 140722987713104 140435229114048 140435224904861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3610] ppid=3606 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3610/stat : 3610 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15512608768 12371 33554432000 4194304 4196468 140722987713104 140435177503888 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3611] ppid=3606 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3611/stat : 3611 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15512608768 12371 33554432000 4194304 4196468 140722987713104 140435176451088 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3612] ppid=3606 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3612/stat : 3612 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15512608768 12371 33554432000 4194304 4196468 140722987713104 140435175398288 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3613] ppid=3606 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3613/stat : 3613 (java) S 3606 3606 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475009760 15512608768 12371 33554432000 4194304 4196468 140722987713104 140435174345488 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3614] ppid=3606 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3614/stat : 3614 (java) S 3606 3606 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475009762 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434693155184 140435224894082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3615] ppid=3606 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3615/stat : 3615 (java) S 3606 3606 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475009762 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434692101152 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3616] ppid=3606 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3616/stat : 3616 (java) S 3606 3606 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475009762 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434691048304 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3617] ppid=3606 vsize=15149032 memory=-1751206868705893467 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3617/stat : 3617 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434689996624 140435224901531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3618] ppid=3606 vsize=15149032 memory=7680491646476169235 CPUtime=0.04 cores=1,3,5,7
/proc/3608/task/3618/stat : 3618 (java) R 3606 3606 31580 0 -1 4202560 582 0 0 0 4 0 0 0 20 0 15 0 475009765 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434688926024 140435204543136 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3619] ppid=3606 vsize=15149032 memory=7088771780547993696 CPUtime=0.04 cores=1,3,5,7
/proc/3608/task/3619/stat : 3619 (java) S 3606 3606 31580 0 -1 1077944384 179 0 0 0 4 0 0 0 20 0 15 0 475009765 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434687892208 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3620] ppid=3606 vsize=15149032 memory=-9062862659931694204 CPUtime=0.12 cores=1,3,5,7
/proc/3608/task/3620/stat : 3620 (java) S 3606 3606 31580 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 15 0 475009765 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434686839408 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3621] ppid=3606 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3621/stat : 3621 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434685786848 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3622] ppid=3606 vsize=15149032 memory=4628975428865778067 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3622/stat : 3622 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009766 15512608768 12371 33554432000 4194304 4196468 140722987713104 140434684734128 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50872 KiB
[startup+0.701905 s]
/proc/loadavg: 8.69 8.34 7.77 8/234 3622
/proc/meminfo: memFree=5080044/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
[pid=3608] ppid=3606 vsize=15151156 memory=92016 CPUtime=1.62 cores=1,3,5,7
/proc/3608/stat : 3608 (java) S 3606 3606 31580 0 -1 1077944320 14159 0 0 0 157 5 0 0 20 0 15 0 475009759 15514783744 23004 33554432000 4194304 4196468 140722987713104 140722987695648 140435224882935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
/proc/3608/statm: 3787789 23004 3464 1 0 3748889 0
[pid=3608/tid=3609] ppid=3606 vsize=15151156 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/3608/task/3609/stat : 3609 (java) R 3606 3606 31580 0 -1 4202560 9149 0 0 0 63 4 0 0 20 0 15 0 475009759 15514783744 23004 33554432000 4194304 4196468 140722987713104 140435229120128 140434847097071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3610] ppid=3606 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3610/stat : 3610 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15514783744 23004 33554432000 4194304 4196468 140722987713104 140435177503888 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3611] ppid=3606 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3611/stat : 3611 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15514783744 23004 33554432000 4194304 4196468 140722987713104 140435176451088 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3612] ppid=3606 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3612/stat : 3612 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009760 15514783744 23004 33554432000 4194304 4196468 140722987713104 140435175398288 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3613] ppid=3606 vsize=15151156 memory=56 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3613/stat : 3613 (java) S 3606 3606 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475009760 15514783744 23004 33554432000 4194304 4196468 140722987713104 140435174345488 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3614] ppid=3606 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3614/stat : 3614 (java) S 3606 3606 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475009762 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434693155184 140435224894082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3615] ppid=3606 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3615/stat : 3615 (java) S 3606 3606 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475009762 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434692101152 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3616] ppid=3606 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3616/stat : 3616 (java) S 3606 3606 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475009762 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434691048304 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3617] ppid=3606 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3617/stat : 3617 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434689996624 140435224901531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3618] ppid=3606 vsize=15151156 memory=1660 CPUtime=0.29 cores=1,3,5,7
/proc/3608/task/3618/stat : 3618 (java) R 3606 3606 31580 0 -1 1077944384 994 0 0 0 29 0 0 0 20 0 15 0 475009765 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434688936336 140435224893141 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3619] ppid=3606 vsize=15151156 memory=55852 CPUtime=0.24 cores=1,3,5,7
/proc/3608/task/3619/stat : 3619 (java) R 3606 3606 31580 0 -1 4202560 936 0 0 0 24 0 0 0 20 0 15 0 475009765 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434687882032 140435210008049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3620] ppid=3606 vsize=15151156 memory=988 CPUtime=0.4 cores=1,3,5,7
/proc/3608/task/3620/stat : 3620 (java) R 3606 3606 31580 0 -1 4202560 1772 0 0 0 40 0 0 0 20 0 15 0 475009765 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434686839408 140435202874787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3621] ppid=3606 vsize=15151156 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3621/stat : 3621 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475009765 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434685786848 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3622] ppid=3606 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3622/stat : 3622 (java) S 3606 3606 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475009766 15514783744 23004 33554432000 4194304 4196468 140722987713104 140434684734128 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93468 KiB
[startup+1.50832 s]
/proc/loadavg: 8.69 8.34 7.77 12/238 3626
/proc/meminfo: memFree=5009792/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 180456 KiB
[startup+67.2013 s]
/proc/loadavg: 8.85 8.45 7.85 9/237 3638
/proc/meminfo: memFree=4937616/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
[pid=3608] ppid=3606 vsize=15417412 memory=179004 CPUtime=265.97 cores=1,3,5,7
/proc/3608/stat : 3608 (java) S 3606 3606 31580 0 -1 1077944320 46208 0 0 0 26576 21 0 0 20 0 19 0 475009759 15787429888 44751 33554432000 4194304 4196468 140722987713104 140722987695648 140435224882935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
/proc/3608/statm: 3854353 44751 3527 1 0 3815453 0
[pid=3608/tid=3609] ppid=3606 vsize=15417412 memory=178996 CPUtime=0.77 cores=1,3,5,7
/proc/3608/task/3609/stat : 3609 (java) S 3606 3606 31580 0 -1 1077944384 9233 0 0 0 73 4 0 0 20 0 19 0 475009759 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435229123712 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3610] ppid=3606 vsize=15417412 memory=2008 CPUtime=0.11 cores=1,3,5,7
/proc/3608/task/3610/stat : 3610 (java) S 3606 3606 31580 0 -1 1077944384 1012 0 0 0 9 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435177503888 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3611] ppid=3606 vsize=15417412 memory=1436 CPUtime=0.09 cores=1,3,5,7
/proc/3608/task/3611/stat : 3611 (java) S 3606 3606 31580 0 -1 1077944384 942 0 0 0 8 1 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435176451088 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3612] ppid=3606 vsize=15417412 memory=9 CPUtime=0.11 cores=1,3,5,7
/proc/3608/task/3612/stat : 3612 (java) S 3606 3606 31580 0 -1 1077944384 1002 0 0 0 9 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435175398288 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3613] ppid=3606 vsize=15417412 memory=11 CPUtime=0.1 cores=1,3,5,7
/proc/3608/task/3613/stat : 3613 (java) S 3606 3606 31580 0 -1 1077944384 942 0 0 0 8 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435174345488 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3614] ppid=3606 vsize=15417412 memory=10 CPUtime=0.04 cores=1,3,5,7
/proc/3608/task/3614/stat : 3614 (java) S 3606 3606 31580 0 -1 1077944384 1127 0 0 0 2 2 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434693155184 140435224894082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3615] ppid=3606 vsize=15417412 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3615/stat : 3615 (java) S 3606 3606 31580 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434692101216 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3616] ppid=3606 vsize=15417412 memory=500 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3616/stat : 3616 (java) S 3606 3606 31580 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434691048320 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3617] ppid=3606 vsize=15417412 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3617/stat : 3617 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434689996624 140435224901531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3618] ppid=3606 vsize=15417412 memory=928 CPUtime=1.9 cores=1,3,5,7
/proc/3608/task/3618/stat : 3618 (java) S 3606 3606 31580 0 -1 1077944384 9807 0 0 0 189 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434688945008 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3619] ppid=3606 vsize=15417412 memory=0 CPUtime=2.01 cores=1,3,5,7
/proc/3608/task/3619/stat : 3619 (java) S 3606 3606 31580 0 -1 1077944384 8916 0 0 0 200 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434687892208 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3620] ppid=3606 vsize=15417412 memory=0 CPUtime=0.79 cores=1,3,5,7
/proc/3608/task/3620/stat : 3620 (java) S 3606 3606 31580 0 -1 1077944384 7047 0 0 0 78 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434686839408 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3621] ppid=3606 vsize=15417412 memory=139929230031024 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3621/stat : 3621 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434685786848 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3622] ppid=3606 vsize=15417412 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3608/task/3622/stat : 3622 (java) S 3606 3606 31580 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 19 0 475009766 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434684734128 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3623] ppid=3606 vsize=15417412 memory=0 CPUtime=65.18 cores=1,3,5,7
/proc/3608/task/3623/stat : 3623 (java) R 3606 3606 31580 0 -1 4202560 520 0 0 0 6518 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434675751424 140434851825614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3624] ppid=3606 vsize=15417412 memory=1564 CPUtime=64.75 cores=1,3,5,7
/proc/3608/task/3624/stat : 3624 (java) R 3606 3606 31580 0 -1 4202560 1897 0 0 0 6474 1 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434674700008 140434847883046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3625] ppid=3606 vsize=15417412 memory=6088 CPUtime=65.02 cores=1,3,5,7
/proc/3608/task/3625/stat : 3625 (java) R 3606 3606 31580 0 -1 4202560 629 0 0 0 6502 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434673647208 140434849943510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3626] ppid=3606 vsize=15417412 memory=1060 CPUtime=64.95 cores=1,3,5,7
/proc/3608/task/3626/stat : 3626 (java) R 3606 3606 31580 0 -1 4202560 1425 0 0 0 6495 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434672595544 140434851350402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
Current children cumulated CPU time: 265.97 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 180456 KiB
[startup+67.6013 s]
/proc/loadavg: 8.85 8.45 7.85 9/237 3638
/proc/meminfo: memFree=4937616/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
[pid=3608] ppid=3606 vsize=15417412 memory=179004 CPUtime=267.56 cores=1,3,5,7
/proc/3608/stat : 3608 (java) S 3606 3606 31580 0 -1 1077944320 46208 0 0 0 26735 21 0 0 20 0 19 0 475009759 15787429888 44751 33554432000 4194304 4196468 140722987713104 140722987695648 140435224882935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
/proc/3608/statm: 3854353 44751 3527 1 0 3815453 0
[pid=3608/tid=3609] ppid=3606 vsize=15417412 memory=10604 CPUtime=0.77 cores=1,3,5,7
/proc/3608/task/3609/stat : 3609 (java) S 3606 3606 31580 0 -1 1077944384 9233 0 0 0 73 4 0 0 20 0 19 0 475009759 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435229123712 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3610] ppid=3606 vsize=15417412 memory=3636 CPUtime=0.11 cores=1,3,5,7
/proc/3608/task/3610/stat : 3610 (java) S 3606 3606 31580 0 -1 1077944384 1012 0 0 0 9 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435177503888 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3611] ppid=3606 vsize=15417412 memory=776 CPUtime=0.09 cores=1,3,5,7
/proc/3608/task/3611/stat : 3611 (java) S 3606 3606 31580 0 -1 1077944384 942 0 0 0 8 1 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435176451088 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3612] ppid=3606 vsize=15417412 memory=1564 CPUtime=0.11 cores=1,3,5,7
/proc/3608/task/3612/stat : 3612 (java) S 3606 3606 31580 0 -1 1077944384 1002 0 0 0 9 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435175398288 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3613] ppid=3606 vsize=15417412 memory=3620 CPUtime=0.1 cores=1,3,5,7
/proc/3608/task/3613/stat : 3613 (java) S 3606 3606 31580 0 -1 1077944384 942 0 0 0 8 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435174345488 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3614] ppid=3606 vsize=15417412 memory=1660 CPUtime=0.04 cores=1,3,5,7
/proc/3608/task/3614/stat : 3614 (java) S 3606 3606 31580 0 -1 1077944384 1127 0 0 0 2 2 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434693155184 140435224894082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3615] ppid=3606 vsize=15417412 memory=55852 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3615/stat : 3615 (java) S 3606 3606 31580 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434692101216 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3616] ppid=3606 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3616/stat : 3616 (java) S 3606 3606 31580 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434691048320 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3617] ppid=3606 vsize=15417412 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3617/stat : 3617 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434689996624 140435224901531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3618] ppid=3606 vsize=15417412 memory=1436 CPUtime=1.9 cores=1,3,5,7
/proc/3608/task/3618/stat : 3618 (java) S 3606 3606 31580 0 -1 1077944384 9807 0 0 0 189 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434688945008 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3619] ppid=3606 vsize=15417412 memory=1452 CPUtime=2.01 cores=1,3,5,7
/proc/3608/task/3619/stat : 3619 (java) S 3606 3606 31580 0 -1 1077944384 8916 0 0 0 200 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434687892208 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3620] ppid=3606 vsize=15417412 memory=179004 CPUtime=0.79 cores=1,3,5,7
/proc/3608/task/3620/stat : 3620 (java) S 3606 3606 31580 0 -1 1077944384 7047 0 0 0 78 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434686839408 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3621] ppid=3606 vsize=15417412 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3621/stat : 3621 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434685786848 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3622] ppid=3606 vsize=15417412 memory=2124 CPUtime=0.02 cores=1,3,5,7
/proc/3608/task/3622/stat : 3622 (java) S 3606 3606 31580 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 19 0 475009766 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434684734128 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3623] ppid=3606 vsize=15417412 memory=500 CPUtime=65.58 cores=1,3,5,7
/proc/3608/task/3623/stat : 3623 (java) R 3606 3606 31580 0 -1 4202560 520 0 0 0 6558 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434675751424 140434851825610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3624] ppid=3606 vsize=15417412 memory=1556 CPUtime=65.15 cores=1,3,5,7
/proc/3608/task/3624/stat : 3624 (java) R 3606 3606 31580 0 -1 4202560 1897 0 0 0 6514 1 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434674700008 140434849943363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3625] ppid=3606 vsize=15417412 memory=1452 CPUtime=65.42 cores=1,3,5,7
/proc/3608/task/3625/stat : 3625 (java) R 3606 3606 31580 0 -1 4202560 629 0 0 0 6542 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434673647208 140434849943425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3626] ppid=3606 vsize=15417412 memory=178980 CPUtime=65.35 cores=1,3,5,7
/proc/3608/task/3626/stat : 3626 (java) R 3606 3606 31580 0 -1 4202560 1425 0 0 0 6535 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434672595544 140434845308000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
Current children cumulated CPU time: 267.56 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 180456 KiB
[startup+68.0013 s]*
/proc/loadavg: 8.94 8.48 7.86 9/237 3638
/proc/meminfo: memFree=4937616/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
[pid=3608] ppid=3606 vsize=15417412 memory=179004 CPUtime=269.18 cores=1,3,5,7
/proc/3608/stat : 3608 (java) S 3606 3606 31580 0 -1 1077944320 46208 0 0 0 26897 21 0 0 20 0 19 0 475009759 15787429888 44751 33554432000 4194304 4196468 140722987713104 140722987695648 140435224882935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
/proc/3608/statm: 3854353 44751 3527 1 0 3815453 0
[pid=3608/tid=3609] ppid=3606 vsize=15417412 memory=6935054825532540783 CPUtime=0.77 cores=1,3,5,7
/proc/3608/task/3609/stat : 3609 (java) S 3606 3606 31580 0 -1 1077944384 9233 0 0 0 73 4 0 0 20 0 19 0 475009759 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435229123712 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3610] ppid=3606 vsize=15417412 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/3608/task/3610/stat : 3610 (java) S 3606 3606 31580 0 -1 1077944384 1012 0 0 0 9 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435177503888 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3611] ppid=3606 vsize=15417412 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/3608/task/3611/stat : 3611 (java) S 3606 3606 31580 0 -1 1077944384 942 0 0 0 8 1 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435176451088 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3612] ppid=3606 vsize=15417412 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/3608/task/3612/stat : 3612 (java) S 3606 3606 31580 0 -1 1077944384 1002 0 0 0 9 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435175398288 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3613] ppid=3606 vsize=15417412 memory=4126316290023845779 CPUtime=0.1 cores=1,3,5,7
/proc/3608/task/3613/stat : 3613 (java) S 3606 3606 31580 0 -1 1077944384 942 0 0 0 8 2 0 0 20 0 19 0 475009760 15787429888 44751 33554432000 4194304 4196468 140722987713104 140435174345488 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3614] ppid=3606 vsize=15417412 memory=1716 CPUtime=0.04 cores=1,3,5,7
/proc/3608/task/3614/stat : 3614 (java) S 3606 3606 31580 0 -1 1077944384 1127 0 0 0 2 2 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434693155184 140435224894082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3615] ppid=3606 vsize=15417412 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3615/stat : 3615 (java) S 3606 3606 31580 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434692101216 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3616] ppid=3606 vsize=15417412 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3616/stat : 3616 (java) S 3606 3606 31580 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 475009762 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434691048320 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3617] ppid=3606 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3617/stat : 3617 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434689996624 140435224901531 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3618] ppid=3606 vsize=15417412 memory=1556 CPUtime=1.9 cores=1,3,5,7
/proc/3608/task/3618/stat : 3618 (java) S 3606 3606 31580 0 -1 1077944384 9807 0 0 0 189 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434688945008 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3619] ppid=3606 vsize=15417412 memory=928 CPUtime=2.01 cores=1,3,5,7
/proc/3608/task/3619/stat : 3619 (java) S 3606 3606 31580 0 -1 1077944384 8916 0 0 0 200 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434687892208 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3620] ppid=3606 vsize=15417412 memory=1772 CPUtime=0.79 cores=1,3,5,7
/proc/3608/task/3620/stat : 3620 (java) S 3606 3606 31580 0 -1 1077944384 7047 0 0 0 78 1 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434686839408 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3621] ppid=3606 vsize=15417412 memory=816 CPUtime=0 cores=1,3,5,7
/proc/3608/task/3621/stat : 3621 (java) S 3606 3606 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475009765 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434685786848 140435224893141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3622] ppid=3606 vsize=15417412 memory=1436 CPUtime=0.02 cores=1,3,5,7
/proc/3608/task/3622/stat : 3622 (java) S 3606 3606 31580 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 19 0 475009766 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434684734128 140435224894082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3623] ppid=3606 vsize=15417412 memory=1984 CPUtime=65.98 cores=1,3,5,7
/proc/3608/task/3623/stat : 3623 (java) R 3606 3606 31580 0 -1 4202560 520 0 0 0 6598 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434675751424 140434852565171 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3624] ppid=3606 vsize=15417412 memory=2580 CPUtime=65.54 cores=1,3,5,7
/proc/3608/task/3624/stat : 3624 (java) R 3606 3606 31580 0 -1 4202560 1897 0 0 0 6553 1 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434674700008 140434852565256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3625] ppid=3606 vsize=15417412 memory=1760 CPUtime=65.83 cores=1,3,5,7
/proc/3608/task/3625/stat : 3625 (java) R 3606 3606 31580 0 -1 4202560 629 0 0 0 6583 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434673647208 140434849943844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
[pid=3608/tid=3626] ppid=3606 vsize=15417412 memory=111636 CPUtime=65.76 cores=1,3,5,7
/proc/3608/task/3626/stat : 3626 (java) R 3606 3606 31580 0 -1 4202560 1425 0 0 0 6576 0 0 0 20 0 19 0 475009839 15787429888 44751 33554432000 4194304 4196468 140722987713104 140434672595544 140434849943409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21331968 140722987721691 140722987721866 140722987721866 140722987724751 0
Current children cumulated CPU time: 269.18 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 180456 KiB
[startup+68.1112 s]
/proc/loadavg: 8.94 8.48 7.86 9/237 3638
/proc/meminfo: memFree=4937616/32770624 swapFree=66976740/67108860
[pid=3606] ppid=3603 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3606/stat : 3606 (xcsp3-exec) S 3603 3606 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475009759 115843072 363 33554432000 4194304 5098028 140722135945296 140722135943400 139987175174780 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32247808 140722135954262 140722135954521 140722135954521 140722135957446 0
/proc/3606/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 68.115
CPU time (s): 269.576
CPU user time (s): 269.351
CPU system time (s): 0.2246
CPU usage (%): 395.766
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 248708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 269.351
system time used= 0.2246
maximum resident set size= 247256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50281
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= 4916
involuntary context switches= 7072
# summary of solver processes directly reported to runsolver:
# pid: 3606
# total CPU time (s): 269.576
# total CPU user time (s): 269.351
# total CPU system time (s): 0.2246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.445027 second user time and 0.890054 second system time
The end