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 (13105 MiB free)
memory of node 1: 16384 MiB (12472 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405895-1569408360/watcher-4405895-1569408360 -o /var/tmp/evaluation-result-4405895-1569408360/solver-4405895-1569408360 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2044126228 HOME/instance-4405895-1569408360.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29698, runsolver pid=29695
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.86 1.89 1.91 6/230 29714
/proc/meminfo: memFree=26175324/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15144776 memory=29024 CPUtime=0.13 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 517084559 15508250624 7256 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3786194 7256 3184 1 0 3748377 0
[pid=29700/tid=29701] ppid=29698 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 3588 0 0 0 8 1 0 0 20 0 15 0 517084559 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113778125008 140113773907350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15144776 memory=140165850961536 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15144776 memory=140165850961536 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517084561 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517084562 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113332946464 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517084562 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113331893616 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) S 29698 29698 26090 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 517084564 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113329789296 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) S 29698 29698 26090 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 517084564 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113328736496 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15144776 memory=140165850961536 CPUtime=0.02 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) R 29698 29698 26090 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 517084565 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113327683696 140113757975902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15144776 memory=140165850961536 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084565 15508250624 7256 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30476 KiB
[startup+0.211013 s]*
/proc/loadavg: 1.86 1.89 1.91 4/230 29714
/proc/meminfo: memFree=26162492/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15144776 memory=40676 CPUtime=0.34 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 9361 0 0 0 31 3 0 0 20 0 15 0 517084559 15508250624 10169 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3786194 10169 3313 1 0 3748377 0
[pid=29700/tid=29701] ppid=29698 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 6619 0 0 0 18 2 0 0 20 0 15 0 517084559 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113778128144 140113757975902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15144776 memory=140165854792311 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15144776 memory=140165850961536 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517084561 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517084562 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113332946464 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517084562 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113331893616 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) S 29698 29698 26090 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 15 0 517084564 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113329789296 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) S 29698 29698 26090 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 517084564 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113328736496 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15144776 memory=140165850961536 CPUtime=0.08 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) R 29698 29698 26090 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 15 0 517084565 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113327683696 140113757975902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084565 15508250624 10169 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42128 KiB
[startup+0.319202 s]*
/proc/loadavg: 1.86 1.89 1.91 3/230 29714
/proc/meminfo: memFree=26154676/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15149032 memory=50512 CPUtime=0.55 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 10992 0 0 0 50 5 0 0 20 0 15 0 517084559 15512608768 12628 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3787258 12628 3369 1 0 3748377 0
[pid=29700/tid=29701] ppid=29698 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 7938 0 0 0 27 3 0 0 20 0 15 0 517084559 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113778125184 140113757975902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15149032 memory=3845071 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517084560 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517084561 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517084562 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113332946464 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517084562 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113331893616 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) R 29698 29698 26090 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 15 0 517084564 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113329789296 140113773906562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) S 29698 29698 26090 0 -1 1077944384 326 0 0 0 5 0 0 0 20 0 15 0 517084564 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113328736496 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) S 29698 29698 26090 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 15 0 517084565 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113327683696 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084565 15512608768 12628 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51964 KiB
[startup+0.700808 s]
/proc/loadavg: 1.86 1.89 1.91 5/230 29714
/proc/meminfo: memFree=26145364/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15151156 memory=75784 CPUtime=1.6 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 16180 0 0 0 154 6 0 0 20 0 15 0 517084559 15514783744 18946 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3787789 18946 3459 1 0 3748889 0
[pid=29700/tid=29701] ppid=29698 vsize=15151156 memory=36236 CPUtime=0.68 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 9189 0 0 0 64 4 0 0 20 0 15 0 517084559 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113778132128 140113392814986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517084561 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113332946464 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113331893616 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15151156 memory=2676 CPUtime=0.29 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) R 29698 29698 26090 0 -1 4202560 1699 0 0 0 29 0 0 0 20 0 15 0 517084564 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113329779408 140113755439510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15151156 memory=1764 CPUtime=0.29 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) R 29698 29698 26090 0 -1 4202560 1978 0 0 0 29 0 0 0 20 0 15 0 517084564 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113328717512 140113753588519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15151156 memory=111632 CPUtime=0.32 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) R 29698 29698 26090 0 -1 1077944384 2006 0 0 0 31 1 0 0 20 0 15 0 517084565 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113327683696 140113773906562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 18946 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 77236 KiB
[startup+1.50087 s]
/proc/loadavg: 1.86 1.89 1.91 5/230 29714
/proc/meminfo: memFree=26110824/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15151156 memory=211356 CPUtime=12.58 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 30869 0 0 0 1248 10 0 0 20 0 15 0 517084559 15514783744 52839 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3787789 52839 3496 1 0 3748889 0
[pid=29700/tid=29701] ppid=29698 vsize=15151156 memory=211348 CPUtime=9.56 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 10152 0 0 0 951 5 0 0 20 0 15 0 517084559 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113778134216 140113396996220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15151156 memory=211036 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15151156 memory=66156 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 517084561 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113332946528 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15151156 memory=7013347520761064560 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113331893632 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15151156 memory=140165721005379 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15151156 memory=6645459911560372124 CPUtime=1.34 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) S 29698 29698 26090 0 -1 1077944384 9377 0 0 0 133 1 0 0 20 0 15 0 517084564 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113329789296 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15151156 memory=6944656592385698452 CPUtime=1.17 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) S 29698 29698 26090 0 -1 1077944384 5893 0 0 0 117 0 0 0 20 0 15 0 517084564 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113328736496 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15151156 memory=7681407940103534239 CPUtime=0.41 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) S 29698 29698 26090 0 -1 1077944384 3197 0 0 0 40 1 0 0 20 0 15 0 517084565 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113327683696 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15151156 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15151156 memory=6944656592455088490 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52839 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212808 KiB
[startup+11.2007 s]
/proc/loadavg: 1.80 1.88 1.91 3/230 29714
/proc/meminfo: memFree=25995836/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15151156 memory=208408 CPUtime=14.18 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 32314 0 0 0 1408 10 0 0 20 0 15 0 517084559 15514783744 52102 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3787789 52102 3501 1 0 3748889 0
[pid=29700/tid=29701] ppid=29698 vsize=15151156 memory=3540 CPUtime=11.16 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 10291 0 0 0 1111 5 0 0 20 0 15 0 517084559 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113778134944 140113396992080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15151156 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 621 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15151156 memory=10600 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15151156 memory=3540 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 15 0 517084561 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15151156 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113332946528 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15151156 memory=10600 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113331893632 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15151156 memory=1736 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15151156 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) S 29698 29698 26090 0 -1 1077944384 9380 0 0 0 133 1 0 0 20 0 15 0 517084564 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113329789296 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15151156 memory=267713901553684 CPUtime=1.17 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) S 29698 29698 26090 0 -1 1077944384 5896 0 0 0 117 0 0 0 20 0 15 0 517084564 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113328736496 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15151156 memory=6196 CPUtime=0.41 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) S 29698 29698 26090 0 -1 1077944384 3298 0 0 0 40 1 0 0 20 0 15 0 517084565 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113327683696 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15151156 memory=636 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15151156 memory=2836 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 209860 KiB
[startup+11.6008 s]
/proc/loadavg: 1.80 1.88 1.91 3/230 29714
/proc/meminfo: memFree=25995836/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15151156 memory=208408 CPUtime=14.58 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 32315 0 0 0 1448 10 0 0 20 0 15 0 517084559 15514783744 52102 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3787789 52102 3501 1 0 3748889 0
[pid=29700/tid=29701] ppid=29698 vsize=15151156 memory=988 CPUtime=11.56 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 10292 0 0 0 1151 5 0 0 20 0 15 0 517084559 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113778134944 140113396355668 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15151156 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 621 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15151156 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15151156 memory=3540 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 383 0 0 0 0 0 0 0 20 0 15 0 517084561 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15151156 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113332946528 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15151156 memory=10600 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113331893632 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15151156 memory=1736 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15151156 memory=6196 CPUtime=1.34 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) S 29698 29698 26090 0 -1 1077944384 9380 0 0 0 133 1 0 0 20 0 15 0 517084564 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113329789296 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15151156 memory=636 CPUtime=1.17 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) S 29698 29698 26090 0 -1 1077944384 5896 0 0 0 117 0 0 0 20 0 15 0 517084564 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113328736496 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15151156 memory=2836 CPUtime=0.41 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) S 29698 29698 26090 0 -1 1077944384 3298 0 0 0 40 1 0 0 20 0 15 0 517084565 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113327683696 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15151156 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52102 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 14.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 209860 KiB
[startup+12.0008 s]*
/proc/loadavg: 1.80 1.88 1.91 3/230 29714
/proc/meminfo: memFree=25992916/32770624 swapFree=67002132/67108860
[pid=29698] ppid=29695 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29698/stat : 29698 (xcsp3-exec) S 29695 29698 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517084559 115843072 363 33554432000 4194304 5098028 140730552221856 140730552219960 140442408366716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36954112 140730552230742 140730552231001 140730552231001 140730552233926 0
/proc/29698/statm: 28282 363 304 221 0 87 0
[pid=29700] ppid=29698 vsize=15151156 memory=210964 CPUtime=15 cores=1,3,5,7
/proc/29700/stat : 29700 (java) S 29698 29698 26090 0 -1 1077944320 32357 0 0 0 1489 11 0 0 20 0 15 0 517084559 15514783744 52741 33554432000 4194304 4196468 140725697320048 140725697302592 140113773895415 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
/proc/29700/statm: 3787789 52741 3501 1 0 3748889 0
[pid=29700/tid=29701] ppid=29698 vsize=15151156 memory=6791534058613427641 CPUtime=11.96 cores=1,3,5,7
/proc/29700/task/29701/stat : 29701 (java) R 29698 29698 26090 0 -1 4202560 10315 0 0 0 1191 5 0 0 20 0 15 0 517084559 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113778134352 140113396995366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29702] ppid=29698 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29702/stat : 29702 (java) S 29698 29698 26090 0 -1 1077944384 624 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113726515856 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29703] ppid=29698 vsize=15151156 memory=3472328279047811119 CPUtime=0.01 cores=1,3,5,7
/proc/29700/task/29703/stat : 29703 (java) S 29698 29698 26090 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 15 0 517084560 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113725463056 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29704] ppid=29698 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29704/stat : 29704 (java) S 29698 29698 26090 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 517084560 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113724410256 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29705] ppid=29698 vsize=15151156 memory=3472328296227418159 CPUtime=0.01 cores=1,3,5,7
/proc/29700/task/29705/stat : 29705 (java) S 29698 29698 26090 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 15 0 517084560 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113723357456 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29706] ppid=29698 vsize=15151156 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29706/stat : 29706 (java) S 29698 29698 26090 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 15 0 517084561 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113334000496 140113773906562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29707] ppid=29698 vsize=15151156 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29707/stat : 29707 (java) S 29698 29698 26090 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113332946528 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29708] ppid=29698 vsize=15151156 memory=3184238085926930096 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29708/stat : 29708 (java) S 29698 29698 26090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 517084562 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113331893632 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29709] ppid=29698 vsize=15151156 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29709/stat : 29709 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084564 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113330841936 140113773914011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29710] ppid=29698 vsize=15151156 memory=0 CPUtime=1.34 cores=1,3,5,7
/proc/29700/task/29710/stat : 29710 (java) S 29698 29698 26090 0 -1 1077944384 9380 0 0 0 133 1 0 0 20 0 15 0 517084564 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113329789296 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29711] ppid=29698 vsize=15151156 memory=3472328279047811119 CPUtime=1.17 cores=1,3,5,7
/proc/29700/task/29711/stat : 29711 (java) S 29698 29698 26090 0 -1 1077944384 5896 0 0 0 117 0 0 0 20 0 15 0 517084564 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113328736496 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29712] ppid=29698 vsize=15151156 memory=6944652177228980320 CPUtime=0.41 cores=1,3,5,7
/proc/29700/task/29712/stat : 29712 (java) S 29698 29698 26090 0 -1 1077944384 3298 0 0 0 40 1 0 0 20 0 15 0 517084565 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113327683696 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29713] ppid=29698 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29713/stat : 29713 (java) S 29698 29698 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113326631136 140113773905621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
[pid=29700/tid=29714] ppid=29698 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/29700/task/29714/stat : 29714 (java) S 29698 29698 26090 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 15 0 517084565 15514783744 52741 33554432000 4194304 4196468 140725697320048 140113325579440 140113773906562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7905280 140725697323995 140725697324170 140725697324170 140725697327055 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 212416 KiB
Child status: 0
Real time (s): 12.0953
CPU time (s): 15.1026
CPU user time (s): 14.9822
CPU system time (s): 0.120396
CPU usage (%): 124.864
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 212864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9822
system time used= 0.120396
maximum resident set size= 212504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2279
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 29698
# total CPU time (s): 15.1026
# total CPU user time (s): 14.9822
# total CPU system time (s): 0.120396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106817 second user time and 0.156665 second system time
The end