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 (1905 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-4404214-1568990766/watcher-4404214-1568990766 -o /var/tmp/evaluation-result-4404214-1568990766/solver-4404214-1568990766 -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 681823249 HOME/instance-4404214-1568990766.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=3702, runsolver pid=3699
[startup+0.101193 s]*
/proc/loadavg: 8.94 8.48 7.86 7/233 3718
/proc/meminfo: memFree=5088444/32770624 swapFree=66976740/67108860
[pid=3702] ppid=3699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (xcsp3-exec) S 3699 3702 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475016716 115843072 364 33554432000 4194304 5098028 140722946984336 140722946982440 140581522678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32120832 140722946990935 140722946991193 140722946991193 140722946994118 0
/proc/3702/statm: 28282 364 305 221 0 87 0
[pid=3704] ppid=3702 vsize=15144776 memory=29620 CPUtime=0.13 cores=1,3,5,7
/proc/3704/stat : 3704 (java) S 3702 3702 31580 0 -1 1077944320 5812 0 0 0 12 1 0 0 20 0 15 0 475016716 15508250624 7405 33554432000 4194304 4196468 140735064661344 140735064643888 140705561476855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
/proc/3704/statm: 3786194 7405 3157 1 0 3748377 0
[pid=3704/tid=3705] ppid=3702 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/3704/task/3705/stat : 3705 (java) R 3702 3702 31580 0 -1 4202560 3707 0 0 0 9 0 0 0 20 0 15 0 475016717 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705565705920 140705561488790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3706] ppid=3702 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3706/stat : 3706 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705489517712 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3707] ppid=3702 vsize=15144776 memory=140171538364032 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3707/stat : 3707 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705488464912 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3708] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3708/stat : 3708 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705487412112 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3709] ppid=3702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3709/stat : 3709 (java) S 3702 3702 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705486359312 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3710] ppid=3702 vsize=15144776 memory=140171538364032 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3710/stat : 3710 (java) S 3702 3702 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475016719 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705030089072 140705561488002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3711] ppid=3702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3711/stat : 3711 (java) S 3702 3702 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475016719 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705029035040 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3712] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3712/stat : 3712 (java) S 3702 3702 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475016719 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705027982192 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3713] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3713/stat : 3713 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705026930512 140705561495451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3714] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3714/stat : 3714 (java) S 3702 3702 31580 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705025878896 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3715] ppid=3702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3715/stat : 3715 (java) S 3702 3702 31580 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705024826096 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3716] ppid=3702 vsize=15144776 memory=140171538364032 CPUtime=0.02 cores=1,3,5,7
/proc/3704/task/3716/stat : 3716 (java) R 3702 3702 31580 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 475016722 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705023773296 140705561498202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3717] ppid=3702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3717/stat : 3717 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705022720736 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3718] ppid=3702 vsize=15144776 memory=140171538364032 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3718/stat : 3718 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 7405 33554432000 4194304 4196468 140735064661344 140705021668016 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31076 KiB
[startup+0.212077 s]*
/proc/loadavg: 8.94 8.48 7.86 7/233 3718
/proc/meminfo: memFree=5077080/32770624 swapFree=66976740/67108860
[pid=3702] ppid=3699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (xcsp3-exec) S 3699 3702 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475016716 115843072 364 33554432000 4194304 5098028 140722946984336 140722946982440 140581522678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32120832 140722946990935 140722946991193 140722946991193 140722946994118 0
/proc/3702/statm: 28282 364 305 221 0 87 0
[pid=3704] ppid=3702 vsize=15144776 memory=40432 CPUtime=0.35 cores=1,3,5,7
/proc/3704/stat : 3704 (java) S 3702 3702 31580 0 -1 1077944320 9284 0 0 0 32 3 0 0 20 0 15 0 475016716 15508250624 10108 33554432000 4194304 4196468 140735064661344 140735064643888 140705561476855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
/proc/3704/statm: 3786194 10108 3308 1 0 3748377 0
[pid=3704/tid=3705] ppid=3702 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/3704/task/3705/stat : 3705 (java) R 3702 3702 31580 0 -1 4202560 6576 0 0 0 18 2 0 0 20 0 15 0 475016717 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705565711840 140705545557342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3706] ppid=3702 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3706/stat : 3706 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705489517712 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3707] ppid=3702 vsize=15144776 memory=140171538393635 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3707/stat : 3707 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705488464912 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3708] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3708/stat : 3708 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705487412112 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3709] ppid=3702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3709/stat : 3709 (java) S 3702 3702 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475016717 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705486359312 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3710] ppid=3702 vsize=15144776 memory=140171538364032 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3710/stat : 3710 (java) S 3702 3702 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475016719 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705030089072 140705561488002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3711] ppid=3702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3711/stat : 3711 (java) S 3702 3702 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475016719 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705029035040 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3712] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3712/stat : 3712 (java) S 3702 3702 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475016719 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705027982192 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3713] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3713/stat : 3713 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705026930512 140705561495451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3714] ppid=3702 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3704/task/3714/stat : 3714 (java) S 3702 3702 31580 0 -1 1077944384 556 0 0 0 3 0 0 0 20 0 15 0 475016722 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705025878896 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3715] ppid=3702 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3704/task/3715/stat : 3715 (java) S 3702 3702 31580 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 475016722 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705024826096 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3716] ppid=3702 vsize=15144776 memory=140171538364032 CPUtime=0.08 cores=1,3,5,7
/proc/3704/task/3716/stat : 3716 (java) R 3702 3702 31580 0 -1 4202560 793 0 0 0 8 0 0 0 20 0 15 0 475016722 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705023773296 140705561498202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3717] ppid=3702 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3717/stat : 3717 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705022720736 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3718] ppid=3702 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3718/stat : 3718 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016722 15508250624 10108 33554432000 4194304 4196468 140735064661344 140705021668016 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41888 KiB
[startup+0.319676 s]*
/proc/loadavg: 8.94 8.48 7.86 7/233 3718
/proc/meminfo: memFree=5068680/32770624 swapFree=66976740/67108860
[pid=3702] ppid=3699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (xcsp3-exec) S 3699 3702 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475016716 115843072 364 33554432000 4194304 5098028 140722946984336 140722946982440 140581522678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32120832 140722946990935 140722946991193 140722946991193 140722946994118 0
/proc/3702/statm: 28282 364 305 221 0 87 0
[pid=3704] ppid=3702 vsize=15149032 memory=50052 CPUtime=0.55 cores=1,3,5,7
/proc/3704/stat : 3704 (java) S 3702 3702 31580 0 -1 1077944320 10838 0 0 0 51 4 0 0 20 0 15 0 475016716 15512608768 12513 33554432000 4194304 4196468 140735064661344 140735064643888 140705561476855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
/proc/3704/statm: 3787258 12513 3362 1 0 3748377 0
[pid=3704/tid=3705] ppid=3702 vsize=15149032 memory=6935054825532540783 CPUtime=0.31 cores=1,3,5,7
/proc/3704/task/3705/stat : 3705 (java) R 3702 3702 31580 0 -1 4202560 7888 0 0 0 28 3 0 0 20 0 15 0 475016717 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705565711664 140705545557342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3706] ppid=3702 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3706/stat : 3706 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705489517712 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3707] ppid=3702 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3707/stat : 3707 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705488464912 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3708] ppid=3702 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3708/stat : 3708 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705487412112 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3709] ppid=3702 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3709/stat : 3709 (java) S 3702 3702 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475016717 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705486359312 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3710] ppid=3702 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3710/stat : 3710 (java) S 3702 3702 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475016719 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705030089072 140705561488002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3711] ppid=3702 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3711/stat : 3711 (java) S 3702 3702 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475016719 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705029035040 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3712] ppid=3702 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3712/stat : 3712 (java) S 3702 3702 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475016719 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705027982192 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3713] ppid=3702 vsize=15149032 memory=-1751206868705893467 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3713/stat : 3713 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705026930512 140705561495451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3714] ppid=3702 vsize=15149032 memory=7680491646476169235 CPUtime=0.06 cores=1,3,5,7
/proc/3704/task/3714/stat : 3714 (java) S 3702 3702 31580 0 -1 1077944384 640 0 0 0 6 0 0 0 20 0 15 0 475016722 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705025878896 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3715] ppid=3702 vsize=15149032 memory=7088771780547993696 CPUtime=0.03 cores=1,3,5,7
/proc/3704/task/3715/stat : 3715 (java) S 3702 3702 31580 0 -1 1077944384 97 0 0 0 3 0 0 0 20 0 15 0 475016722 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705024826096 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3716] ppid=3702 vsize=15149032 memory=-9062862659931694204 CPUtime=0.13 cores=1,3,5,7
/proc/3704/task/3716/stat : 3716 (java) S 3702 3702 31580 0 -1 1077944384 957 0 0 0 13 0 0 0 20 0 15 0 475016722 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705023773296 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3717] ppid=3702 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3717/stat : 3717 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705022720736 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3718] ppid=3702 vsize=15149032 memory=4627849528958935443 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3718/stat : 3718 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016722 15512608768 12513 33554432000 4194304 4196468 140735064661344 140705021668016 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51508 KiB
[startup+0.700805 s]
/proc/loadavg: 8.94 8.48 7.86 9/233 3718
/proc/meminfo: memFree=5038816/32770624 swapFree=66976740/67108860
[pid=3702] ppid=3699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (xcsp3-exec) S 3699 3702 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475016716 115843072 364 33554432000 4194304 5098028 140722946984336 140722946982440 140581522678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32120832 140722946990935 140722946991193 140722946991193 140722946994118 0
/proc/3702/statm: 28282 364 305 221 0 87 0
[pid=3704] ppid=3702 vsize=15151156 memory=121152 CPUtime=1.77 cores=1,3,5,7
/proc/3704/stat : 3704 (java) S 3702 3702 31580 0 -1 1077944320 15339 0 0 0 171 6 0 0 20 0 15 0 475016716 15514783744 30288 33554432000 4194304 4196468 140735064661344 140735064643888 140705561476855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
/proc/3704/statm: 3787789 30288 3449 1 0 3748889 0
[pid=3704/tid=3705] ppid=3702 vsize=15151156 memory=-7816663703405220396 CPUtime=0.67 cores=1,3,5,7
/proc/3704/task/3705/stat : 3705 (java) R 3702 3702 31580 0 -1 4202560 8598 0 0 0 63 4 0 0 20 0 15 0 475016717 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705565712416 140705561488790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3706] ppid=3702 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3706/stat : 3706 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705489517712 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3707] ppid=3702 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3707/stat : 3707 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705488464912 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3708] ppid=3702 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3708/stat : 3708 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016717 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705487412112 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3709] ppid=3702 vsize=15151156 memory=56 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3709/stat : 3709 (java) S 3702 3702 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475016717 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705486359312 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3710] ppid=3702 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3710/stat : 3710 (java) S 3702 3702 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475016719 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705030089072 140705561488002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3711] ppid=3702 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3711/stat : 3711 (java) S 3702 3702 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475016719 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705029035040 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3712] ppid=3702 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3712/stat : 3712 (java) S 3702 3702 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475016719 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705027982192 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3713] ppid=3702 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3713/stat : 3713 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705026930512 140705561495451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3714] ppid=3702 vsize=15151156 memory=1660 CPUtime=0.38 cores=1,3,5,7
/proc/3704/task/3714/stat : 3714 (java) R 3702 3702 31580 0 -1 4202560 1659 0 0 0 38 0 0 0 20 0 15 0 475016722 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705025879024 140705561488790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3715] ppid=3702 vsize=15151156 memory=55852 CPUtime=0.33 cores=1,3,5,7
/proc/3704/task/3715/stat : 3715 (java) R 3702 3702 31580 0 -1 4202560 1765 0 0 0 33 0 0 0 20 0 15 0 475016722 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705024807112 140705543022362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3716] ppid=3702 vsize=15151156 memory=988 CPUtime=0.35 cores=1,3,5,7
/proc/3704/task/3716/stat : 3716 (java) R 3702 3702 31580 0 -1 1077944384 2007 0 0 0 35 0 0 0 20 0 15 0 475016722 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705023773296 140705561488002 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3717] ppid=3702 vsize=15151156 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3717/stat : 3717 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475016722 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705022720736 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3718] ppid=3702 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3718/stat : 3718 (java) S 3702 3702 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475016722 15514783744 30288 33554432000 4194304 4196468 140735064661344 140705021668016 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 122608 KiB
[startup+1.50163 s]
/proc/loadavg: 8.94 8.48 7.86 8/233 3718
/proc/meminfo: memFree=4949104/32770624 swapFree=66976740/67108860
[pid=3702] ppid=3699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (xcsp3-exec) S 3699 3702 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475016716 115843072 364 33554432000 4194304 5098028 140722946984336 140722946982440 140581522678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32120832 140722946990935 140722946991193 140722946991193 140722946994118 0
/proc/3702/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/3704/stat : 3704 (java) S 3702 3702 31580 0 -1 1077944320 87466 0 0 0 231441 81 0 0 20 0 19 0 475016716 15787429888 310120 33554432000 4194304 4196468 140735064661344 140735064643888 140705561476855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
/proc/3704/statm: 3854353 310120 3530 1 0 3815453 0
[pid=3704/tid=3705] ppid=3702 vsize=15417412 memory=1240480 CPUtime=1.49 cores=1,3,5,7
/proc/3704/task/3705/stat : 3705 (java) S 3702 3702 31580 0 -1 1077944384 10412 0 0 0 143 6 0 0 20 0 19 0 475016717 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705565717632 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3706] ppid=3702 vsize=15417412 memory=1240480 CPUtime=0.27 cores=1,3,5,7
/proc/3704/task/3706/stat : 3706 (java) S 3702 3702 31580 0 -1 1077944384 1079 0 0 0 20 7 0 0 20 0 19 0 475016717 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705489517712 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3707] ppid=3702 vsize=15417412 memory=1240480 CPUtime=0.28 cores=1,3,5,7
/proc/3704/task/3707/stat : 3707 (java) S 3702 3702 31580 0 -1 1077944384 1271 0 0 0 21 7 0 0 20 0 19 0 475016717 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705488464912 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3708] ppid=3702 vsize=15417412 memory=984 CPUtime=0.27 cores=1,3,5,7
/proc/3704/task/3708/stat : 3708 (java) S 3702 3702 31580 0 -1 1077944384 978 0 0 0 21 6 0 0 20 0 19 0 475016717 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705487412112 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3709] ppid=3702 vsize=15417412 memory=156070521605760 CPUtime=0.28 cores=1,3,5,7
/proc/3704/task/3709/stat : 3709 (java) S 3702 3702 31580 0 -1 1077944384 819 0 0 0 21 7 0 0 20 0 19 0 475016717 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705486359312 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3710] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/3704/task/3710/stat : 3710 (java) S 3702 3702 31580 0 -1 1077944384 2407 0 0 0 2 2 0 0 20 0 19 0 475016719 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705030089072 140705561488002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3711] ppid=3702 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3711/stat : 3711 (java) S 3702 3702 31580 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475016719 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705029035104 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3712] ppid=3702 vsize=15417412 memory=1240480 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3712/stat : 3712 (java) S 3702 3702 31580 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475016719 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705027982208 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3713] ppid=3702 vsize=15417412 memory=1240300 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3713/stat : 3713 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475016722 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705026930512 140705561495451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3714] ppid=3702 vsize=15417412 memory=1456 CPUtime=2.74 cores=1,3,5,7
/proc/3704/task/3714/stat : 3714 (java) S 3702 3702 31580 0 -1 1077944384 18556 0 0 0 272 2 0 0 20 0 19 0 475016722 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705025878896 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3715] ppid=3702 vsize=15417412 memory=1456 CPUtime=2.88 cores=1,3,5,7
/proc/3704/task/3715/stat : 3715 (java) S 3702 3702 31580 0 -1 1077944384 17550 0 0 0 286 2 0 0 20 0 19 0 475016722 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705024826096 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3716] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.88 cores=1,3,5,7
/proc/3704/task/3716/stat : 3716 (java) S 3702 3702 31580 0 -1 1077944384 12894 0 0 0 87 1 0 0 20 0 19 0 475016722 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705023773296 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3717] ppid=3702 vsize=15417412 memory=1240480 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3717/stat : 3717 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475016722 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705022720736 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3718] ppid=3702 vsize=15417412 memory=111636 CPUtime=0.28 cores=1,3,5,7
/proc/3704/task/3718/stat : 3718 (java) S 3702 3702 31580 0 -1 1077944384 821 0 0 0 18 10 0 0 20 0 19 0 475016722 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705021668016 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3719] ppid=3702 vsize=15417412 memory=800 CPUtime=575.2 cores=1,3,5,7
/proc/3704/task/3719/stat : 3719 (java) R 3702 3702 31580 0 -1 4202560 2527 0 0 0 57517 3 0 0 20 0 19 0 475016879 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705012447616 140705166931989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3720] ppid=3702 vsize=15417412 memory=1456 CPUtime=576.05 cores=1,3,5,7
/proc/3704/task/3720/stat : 3720 (java) R 3702 3702 31580 0 -1 4202560 11944 0 0 0 57577 28 0 0 20 0 19 0 475016879 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705011396088 140705166657756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3721] ppid=3702 vsize=15417412 memory=1456 CPUtime=577.47 cores=1,3,5,7
/proc/3704/task/3721/stat : 3721 (java) R 3702 3702 31580 0 -1 4202560 2180 0 0 0 57746 1 0 0 20 0 19 0 475016879 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705010343384 140705167218054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3722] ppid=3702 vsize=15417412 memory=1456 CPUtime=576.96 cores=1,3,5,7
/proc/3704/task/3722/stat : 3722 (java) R 3702 3702 31580 0 -1 4202560 2663 0 0 0 57693 3 0 0 20 0 19 0 475016879 15787429888 310120 33554432000 4194304 4196468 140735064661344 140705009291432 140705167553082 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
Current children cumulated CPU time: 2315.22 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1241936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.702 s]
/proc/loadavg: 8.29 8.44 8.14 9/237 5101
/proc/meminfo: memFree=1303572/32770624 swapFree=66976740/67108860
[pid=3702] ppid=3699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (xcsp3-exec) S 3699 3702 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475016716 115843072 364 33554432000 4194304 5098028 140722946984336 140722946982440 140581522678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32120832 140722946990935 140722946991193 140722946991193 140722946994118 0
/proc/3702/statm: 28282 364 305 221 0 87 0
[pid=3704] ppid=3702 vsize=15417412 memory=1252768 CPUtime=2400.39 cores=1,3,5,7
/proc/3704/stat : 3704 (java) S 3702 3702 31580 0 -1 1077944320 91791 0 0 0 239956 83 0 0 20 0 19 0 475016716 15787429888 313192 33554432000 4194304 4196468 140735064661344 140735064643888 140705561476855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
/proc/3704/statm: 3854353 313192 3530 1 0 3815453 0
[pid=3704/tid=3705] ppid=3702 vsize=15417412 memory=1240480 CPUtime=1.49 cores=1,3,5,7
/proc/3704/task/3705/stat : 3705 (java) S 3702 3702 31580 0 -1 1077944384 10412 0 0 0 143 6 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705565717632 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3706] ppid=3702 vsize=15417412 memory=1240480 CPUtime=0.29 cores=1,3,5,7
/proc/3704/task/3706/stat : 3706 (java) S 3702 3702 31580 0 -1 1077944384 1129 0 0 0 22 7 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705489517712 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3707] ppid=3702 vsize=15417412 memory=1252768 CPUtime=0.29 cores=1,3,5,7
/proc/3704/task/3707/stat : 3707 (java) S 3702 3702 31580 0 -1 1077944384 1743 0 0 0 21 8 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705488464912 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3708] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/3704/task/3708/stat : 3708 (java) S 3702 3702 31580 0 -1 1077944384 1047 0 0 0 22 6 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705487412112 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3709] ppid=3702 vsize=15417412 memory=984 CPUtime=0.29 cores=1,3,5,7
/proc/3704/task/3709/stat : 3709 (java) S 3702 3702 31580 0 -1 1077944384 847 0 0 0 21 8 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705486359312 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3710] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/3704/task/3710/stat : 3710 (java) S 3702 3702 31580 0 -1 1077944384 2653 0 0 0 2 2 0 0 20 0 19 0 475016719 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705030089072 140705561488002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3711] ppid=3702 vsize=15417412 memory=1252768 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3711/stat : 3711 (java) S 3702 3702 31580 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475016719 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705029035104 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3712] ppid=3702 vsize=15417412 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3712/stat : 3712 (java) S 3702 3702 31580 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475016719 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705027982208 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3713] ppid=3702 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3713/stat : 3713 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705026930512 140705561495451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3714] ppid=3702 vsize=15417412 memory=1456 CPUtime=2.74 cores=1,3,5,7
/proc/3704/task/3714/stat : 3714 (java) S 3702 3702 31580 0 -1 1077944384 18556 0 0 0 272 2 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705025878896 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3715] ppid=3702 vsize=15417412 memory=1240480 CPUtime=2.88 cores=1,3,5,7
/proc/3704/task/3715/stat : 3715 (java) S 3702 3702 31580 0 -1 1077944384 17550 0 0 0 286 2 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705024826096 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3716] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.88 cores=1,3,5,7
/proc/3704/task/3716/stat : 3716 (java) S 3702 3702 31580 0 -1 1077944384 12894 0 0 0 87 1 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705023773296 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3717] ppid=3702 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3717/stat : 3717 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705022720736 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3718] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/3704/task/3718/stat : 3718 (java) S 3702 3702 31580 0 -1 1077944384 823 0 0 0 18 10 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705021668016 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3719] ppid=3702 vsize=15417412 memory=3636 CPUtime=596.17 cores=1,3,5,7
/proc/3704/task/3719/stat : 3719 (java) R 3702 3702 31580 0 -1 4202560 2531 0 0 0 59614 3 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705012447632 140705165276626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3720] ppid=3702 vsize=15417412 memory=776 CPUtime=597.42 cores=1,3,5,7
/proc/3704/task/3720/stat : 3720 (java) R 3702 3702 31580 0 -1 4202560 15333 0 0 0 59713 29 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705011398432 140705166657756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3721] ppid=3702 vsize=15417412 memory=1660 CPUtime=598.84 cores=1,3,5,7
/proc/3704/task/3721/stat : 3721 (java) R 3702 3702 31580 0 -1 4202560 2189 0 0 0 59883 1 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705010343368 140705166931989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3722] ppid=3702 vsize=15417412 memory=55856 CPUtime=598.35 cores=1,3,5,7
/proc/3704/task/3722/stat : 3722 (java) R 3702 3702 31580 0 -1 4202560 2719 0 0 0 59832 3 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705009291608 140705166657756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
Current children cumulated CPU time: 2400.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1254224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.736 s]
# the end of solver process 3702 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001135 s, system=0.001135 s
[startup+603.795 s]
# the end of solver process 3704 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.89 s, system=0.850266 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+603.702 s]
/proc/loadavg: 8.29 8.44 8.14 9/237 5101
/proc/meminfo: memFree=1303572/32770624 swapFree=66976740/67108860
[pid=3702] ppid=3699 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3702/stat : 3702 (xcsp3-exec) S 3699 3702 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475016716 115843072 364 33554432000 4194304 5098028 140722946984336 140722946982440 140581522678396 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32120832 140722946990935 140722946991193 140722946991193 140722946994118 0
/proc/3702/statm: 28282 364 305 221 0 87 0
[pid=3704] ppid=3702 vsize=15417412 memory=1252768 CPUtime=2400.39 cores=1,3,5,7
/proc/3704/stat : 3704 (java) S 3702 3702 31580 0 -1 1077944320 91791 0 0 0 239956 83 0 0 20 0 19 0 475016716 15787429888 313192 33554432000 4194304 4196468 140735064661344 140735064643888 140705561476855 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
/proc/3704/statm: 3854353 313192 3530 1 0 3815453 0
[pid=3704/tid=3705] ppid=3702 vsize=15417412 memory=1240480 CPUtime=1.49 cores=1,3,5,7
/proc/3704/task/3705/stat : 3705 (java) S 3702 3702 31580 0 -1 1077944384 10412 0 0 0 143 6 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705565717632 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3706] ppid=3702 vsize=15417412 memory=1240480 CPUtime=0.29 cores=1,3,5,7
/proc/3704/task/3706/stat : 3706 (java) S 3702 3702 31580 0 -1 1077944384 1129 0 0 0 22 7 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705489517712 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3707] ppid=3702 vsize=15417412 memory=1252768 CPUtime=0.29 cores=1,3,5,7
/proc/3704/task/3707/stat : 3707 (java) S 3702 3702 31580 0 -1 1077944384 1743 0 0 0 21 8 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705488464912 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3708] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/3704/task/3708/stat : 3708 (java) S 3702 3702 31580 0 -1 1077944384 1047 0 0 0 22 6 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705487412112 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3709] ppid=3702 vsize=15417412 memory=984 CPUtime=0.29 cores=1,3,5,7
/proc/3704/task/3709/stat : 3709 (java) S 3702 3702 31580 0 -1 1077944384 847 0 0 0 21 8 0 0 20 0 19 0 475016717 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705486359312 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3710] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/3704/task/3710/stat : 3710 (java) S 3702 3702 31580 0 -1 1077944384 2653 0 0 0 2 2 0 0 20 0 19 0 475016719 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705030089072 140705561488002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3711] ppid=3702 vsize=15417412 memory=1252768 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3711/stat : 3711 (java) S 3702 3702 31580 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475016719 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705029035104 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3712] ppid=3702 vsize=15417412 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3712/stat : 3712 (java) S 3702 3702 31580 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475016719 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705027982208 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3713] ppid=3702 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3713/stat : 3713 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705026930512 140705561495451 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3714] ppid=3702 vsize=15417412 memory=1456 CPUtime=2.74 cores=1,3,5,7
/proc/3704/task/3714/stat : 3714 (java) S 3702 3702 31580 0 -1 1077944384 18556 0 0 0 272 2 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705025878896 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3715] ppid=3702 vsize=15417412 memory=1240480 CPUtime=2.88 cores=1,3,5,7
/proc/3704/task/3715/stat : 3715 (java) S 3702 3702 31580 0 -1 1077944384 17550 0 0 0 286 2 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705024826096 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3716] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.88 cores=1,3,5,7
/proc/3704/task/3716/stat : 3716 (java) S 3702 3702 31580 0 -1 1077944384 12894 0 0 0 87 1 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705023773296 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3717] ppid=3702 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3704/task/3717/stat : 3717 (java) S 3702 3702 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705022720736 140705561487061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3718] ppid=3702 vsize=15417412 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/3704/task/3718/stat : 3718 (java) S 3702 3702 31580 0 -1 1077944384 823 0 0 0 18 10 0 0 20 0 19 0 475016722 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705021668016 140705561488002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3719] ppid=3702 vsize=15417412 memory=3636 CPUtime=596.17 cores=1,3,5,7
/proc/3704/task/3719/stat : 3719 (java) R 3702 3702 31580 0 -1 4202560 2531 0 0 0 59614 3 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705012447632 140705165276626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3720] ppid=3702 vsize=15417412 memory=776 CPUtime=597.42 cores=1,3,5,7
/proc/3704/task/3720/stat : 3720 (java) R 3702 3702 31580 0 -1 4202560 15333 0 0 0 59713 29 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705011398432 140705166657756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3721] ppid=3702 vsize=15417412 memory=1660 CPUtime=598.84 cores=1,3,5,7
/proc/3704/task/3721/stat : 3721 (java) R 3702 3702 31580 0 -1 4202560 2189 0 0 0 59883 1 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705010343368 140705166931989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
[pid=3704/tid=3722] ppid=3702 vsize=15417412 memory=55856 CPUtime=598.35 cores=1,3,5,7
/proc/3704/task/3722/stat : 3722 (java) R 3702 3702 31580 0 -1 4202560 2719 0 0 0 59832 3 0 0 20 0 19 0 475016879 15787429888 313192 33554432000 4194304 4196468 140735064661344 140705009291608 140705166657756 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20082688 140735064667099 140735064667274 140735064667274 140735064670159 0
Current children cumulated CPU time: 2400.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1254224 KiB
Child status: 143
Real time (s): 603.795
CPU time (s): 2400.74
CPU user time (s): 2399.89
CPU system time (s): 0.850266
CPU usage (%): 397.609
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1254224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.89
system time used= 0.850266
maximum resident set size= 1253452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16633
involuntary context switches= 47572
# summary of solver processes directly reported to runsolver:
# pid: 3702,3704
# total CPU time (s): 2400.74
# total CPU user time (s): 2399.89
# total CPU system time (s): 0.850266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.12246 second user time and 7.71554 second system time
The end