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 (13213 MiB free)
memory of node 1: 16384 MiB (14578 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272850-1502864460/watcher-4272850-1502864460 -o /tmp/evaluation-result-4272850-1502864460/solver-4272850-1502864460 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502838622-6415 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1382218409 HOME/instance-4272850-1502864460.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
Current StackSize limit: 8192 KiB
solver pid=10710, runsolver pid=10707
[startup+0.100135 s]*
/proc/loadavg: 1.56 1.63 1.72 3/217 10726
/proc/meminfo: memFree=28442272/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
[pid=10712] ppid=10710 vsize=13978596 memory=27864 CPUtime=0.12 cores=1,3,5,7
/proc/10712/stat : 10712 (java) S 10710 10710 6383 0 -1 1077944320 5383 0 0 0 11 1 0 0 20 0 15 0 119526816 14314082304 6966 33554432000 4194304 4196468 140736549236192 140736549218736 139684594745079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
/proc/10712/statm: 3494649 6966 2869 1 0 3482966 0
[pid=10712/tid=10713] ppid=10710 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10712/task/10713/stat : 10713 (java) R 10710 10710 6383 0 -1 4202560 3338 0 0 0 8 1 0 0 20 0 15 0 119526817 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684598977184 139684594757014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10714] ppid=10710 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10714/stat : 10714 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526817 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684190022800 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=13978596 memory=139995629188736 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684188970000 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684187917200 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) S 10710 10710 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119526818 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684186864400 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=13978596 memory=139995629188736 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) S 10710 10710 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119526819 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684068931952 139684594756226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119526819 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684067877920 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119526819 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) S 10710 10710 6383 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 119526822 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) S 10710 10710 6383 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 119526822 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684063668976 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=13978596 memory=139995629188736 CPUtime=0.01 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) S 10710 10710 6383 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 119526822 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684062616176 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=13978596 memory=139995629188736 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526822 14314082304 7032 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29248 KiB
[startup+0.210994 s]*
/proc/loadavg: 1.56 1.63 1.72 4/217 10726
/proc/meminfo: memFree=28430364/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
[pid=10712] ppid=10710 vsize=13982852 memory=40316 CPUtime=0.34 cores=1,3,5,7
/proc/10712/stat : 10712 (java) S 10710 10710 6383 0 -1 1077944320 8169 0 0 0 31 3 0 0 20 0 15 0 119526816 14318440448 10079 33554432000 4194304 4196468 140736549236192 140736549218736 139684594745079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
/proc/10712/statm: 3495721 10079 3077 1 0 3482974 0
[pid=10712/tid=10713] ppid=10710 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10712/task/10713/stat : 10713 (java) R 10710 10710 6383 0 -1 4202560 5369 0 0 0 18 2 0 0 20 0 15 0 119526817 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684598946880 139684594757014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10714] ppid=10710 vsize=13982852 memory=2907 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10714/stat : 10714 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526817 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684190022800 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=13982852 memory=139995629742575 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684188970000 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684187917200 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) S 10710 10710 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119526818 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684186864400 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=13982852 memory=139995629188736 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) S 10710 10710 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119526819 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684068931952 139684594756226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119526819 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684067877920 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119526819 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) R 10710 10710 6383 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 119526822 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) S 10710 10710 6383 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 15 0 119526822 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684063669072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=13982852 memory=139995629188736 CPUtime=0.07 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) R 10710 10710 6383 0 -1 4202560 752 0 0 0 7 0 0 0 20 0 15 0 119526822 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684062616176 139684594757014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526822 14318440448 10079 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41700 KiB
[startup+0.31417 s]*
/proc/loadavg: 1.56 1.63 1.72 4/217 10726
/proc/meminfo: memFree=28423664/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
[pid=10712] ppid=10710 vsize=13982852 memory=47440 CPUtime=0.51 cores=1,3,5,7
/proc/10712/stat : 10712 (java) S 10710 10710 6383 0 -1 1077944320 8988 0 0 0 48 3 0 0 20 0 15 0 119526816 14318440448 11860 33554432000 4194304 4196468 140736549236192 140736549218736 139684594745079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
/proc/10712/statm: 3495713 11860 3104 1 0 3482966 0
[pid=10712/tid=10713] ppid=10710 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10712/task/10713/stat : 10713 (java) R 10710 10710 6383 0 -1 4202560 5968 0 0 0 27 2 0 0 20 0 15 0 119526817 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684598984416 139684578825566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10714] ppid=10710 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10714/stat : 10714 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526817 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684190022800 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684188970000 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684187917200 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) S 10710 10710 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119526818 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684186864400 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) S 10710 10710 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119526819 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684068931952 139684594756226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119526819 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684067877920 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119526819 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=13982852 memory=4630099104583218061 CPUtime=0.03 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) S 10710 10710 6383 0 -1 1077944384 494 0 0 0 3 0 0 0 20 0 15 0 119526822 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) R 10710 10710 6383 0 -1 1077944384 341 0 0 0 4 0 0 0 20 0 15 0 119526822 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684063668976 139684594756226 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) S 10710 10710 6383 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 15 0 119526822 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684062616176 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526822 14318440448 11860 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48824 KiB
[startup+0.700855 s]
/proc/loadavg: 1.56 1.63 1.72 4/217 10726
/proc/meminfo: memFree=28406168/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
[pid=10712] ppid=10710 vsize=13984976 memory=118060 CPUtime=1.21 cores=1,3,5,7
/proc/10712/stat : 10712 (java) S 10710 10710 6383 0 -1 1077944320 10285 0 0 0 116 5 0 0 20 0 15 0 119526816 14320615424 29515 33554432000 4194304 4196468 140736549236192 140736549218736 139684594745079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
/proc/10712/statm: 3496244 29515 3186 1 0 3483478 0
[pid=10712/tid=10713] ppid=10710 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/10712/task/10713/stat : 10713 (java) R 10710 10710 6383 0 -1 4202560 6414 0 0 0 63 4 0 0 20 0 15 0 119526817 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684598980952 139684234756859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10714] ppid=10710 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10714/stat : 10714 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526817 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684190022800 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684188970000 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=13984976 memory=33516 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526818 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684187917200 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) S 10710 10710 6383 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119526818 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684186864400 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) S 10710 10710 6383 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119526819 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684068931952 139684594756226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119526819 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684067877920 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119526819 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=13984976 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=13984976 memory=1224 CPUtime=0.14 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) S 10710 10710 6383 0 -1 1077944384 737 0 0 0 14 0 0 0 20 0 15 0 119526822 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=13984976 memory=5716 CPUtime=0.14 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) S 10710 10710 6383 0 -1 1077944384 626 0 0 0 14 0 0 0 20 0 15 0 119526822 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684063668976 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=13984976 memory=1720 CPUtime=0.24 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) S 10710 10710 6383 0 -1 1077944384 1200 0 0 0 24 0 0 0 20 0 15 0 119526822 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684062616176 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119526822 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119526822 14320615424 29515 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 119444 KiB
[startup+1.50085 s]
/proc/loadavg: 1.60 1.64 1.72 3/217 10726
/proc/meminfo: memFree=28352920/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/10712/task/10714/stat : 10714 (java) R 10710 10710 6383 0 -1 4202560 93497 0 0 0 24282 265 0 0 20 0 16 0 119526817 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684190022800 139684579734754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=14051540 memory=6791534058613427641 CPUtime=246.41 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) R 10710 10710 6383 0 -1 4202560 83342 0 0 0 24387 254 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684188970000 139684579444998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=14051540 memory=1200 CPUtime=246.24 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) R 10710 10710 6383 0 -1 4202560 63327 0 0 0 24380 244 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684187917400 139684579734553 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=14051540 memory=1424 CPUtime=245.88 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) R 10710 10710 6383 0 -1 4202560 43624 0 0 0 24349 239 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684186864600 139684579734695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=14051540 memory=8572 CPUtime=29.59 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) S 10710 10710 6383 0 -1 1077944384 77117 0 0 0 2954 5 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684068930496 139684594755285 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=14051540 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684067877984 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=14051540 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=14051540 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=14051540 memory=1728 CPUtime=0.21 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) S 10710 10710 6383 0 -1 1077944384 1877 0 0 0 21 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=14051540 memory=792 CPUtime=0.24 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) S 10710 10710 6383 0 -1 1077944384 2604 0 0 0 24 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684063668976 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=14051540 memory=9992 CPUtime=0.35 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) S 10710 10710 6383 0 -1 1077944384 6360 0 0 0 34 1 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684062616176 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=14051540 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=14051540 memory=5716 CPUtime=0.34 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 461 0 0 0 17 17 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10819] ppid=10710 vsize=14051540 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10819/stat : 10819 (java) S 10710 10710 6383 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 119566178 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684052503872 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 1132.76 s
Current children cumulated vsize: 14061052 KiB
Current children cumulated memory: 10769208 KiB
[startup+395.601 s]
/proc/loadavg: 5.11 3.37 2.40 6/218 10819
/proc/meminfo: memFree=11710840/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
[pid=10712] ppid=10710 vsize=14051540 memory=10767824 CPUtime=1134.35 cores=1,3,5,7
/proc/10712/stat : 10712 (java) S 10710 10710 6383 0 -1 1077944320 388039 0 0 0 112411 1024 0 0 20 0 16 0 119526816 14388776960 2691956 33554432000 4194304 4196468 140736549236192 140736549218736 139684594745079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
/proc/10712/statm: 3512885 2691956 3242 1 0 3500119 0
[pid=10712/tid=10713] ppid=10710 vsize=14051540 memory=14696313790928570 CPUtime=117.93 cores=1,3,5,7
/proc/10712/task/10713/stat : 10713 (java) S 10710 10710 6383 0 -1 1077944384 14429 0 0 0 11785 8 0 0 20 0 16 0 119526817 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684598985760 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10714] ppid=10710 vsize=14051540 memory=18472 CPUtime=245.87 cores=1,3,5,7
/proc/10712/task/10714/stat : 10714 (java) R 10710 10710 6383 0 -1 4202560 93497 0 0 0 24322 265 0 0 20 0 16 0 119526817 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684190022800 139684579443933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=14051540 memory=640 CPUtime=246.81 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) R 10710 10710 6383 0 -1 4202560 83342 0 0 0 24427 254 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684188969888 139684579202712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=14051540 memory=4144 CPUtime=246.64 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) R 10710 10710 6383 0 -1 4202560 63337 0 0 0 24420 244 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684187917400 139684579741476 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=14051540 memory=33528 CPUtime=246.28 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) R 10710 10710 6383 0 -1 4202560 43632 0 0 0 24389 239 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684186864600 139684579741486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=14051540 memory=4612 CPUtime=29.59 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) S 10710 10710 6383 0 -1 1077944384 77117 0 0 0 2954 5 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684068930496 139684594755285 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=14051540 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684067877984 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=14051540 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=14051540 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=14051540 memory=1424 CPUtime=0.21 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) S 10710 10710 6383 0 -1 1077944384 1877 0 0 0 21 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=14051540 memory=33528 CPUtime=0.24 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) S 10710 10710 6383 0 -1 1077944384 2604 0 0 0 24 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684063668976 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=14051540 memory=1292 CPUtime=0.35 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) S 10710 10710 6383 0 -1 1077944384 6360 0 0 0 34 1 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684062616176 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=14051540 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=14051540 memory=1728 CPUtime=0.34 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 461 0 0 0 17 17 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10819] ppid=10710 vsize=14051540 memory=792 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10819/stat : 10819 (java) S 10710 10710 6383 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 119566178 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684052503872 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 1134.35 s
Current children cumulated vsize: 14061052 KiB
Current children cumulated memory: 10769208 KiB
[startup+395.801 s]
/proc/loadavg: 5.11 3.37 2.40 6/218 10819
/proc/meminfo: memFree=11710840/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
[pid=10712] ppid=10710 vsize=14051540 memory=10767824 CPUtime=1135.15 cores=1,3,5,7
/proc/10712/stat : 10712 (java) S 10710 10710 6383 0 -1 1077944320 388039 0 0 0 112491 1024 0 0 20 0 16 0 119526816 14388776960 2691956 33554432000 4194304 4196468 140736549236192 140736549218736 139684594745079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
/proc/10712/statm: 3512885 2691956 3242 1 0 3500119 0
[pid=10712/tid=10713] ppid=10710 vsize=14051540 memory=5716 CPUtime=117.93 cores=1,3,5,7
/proc/10712/task/10713/stat : 10713 (java) S 10710 10710 6383 0 -1 1077944384 14429 0 0 0 11785 8 0 0 20 0 16 0 119526817 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684598985760 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10714] ppid=10710 vsize=14051540 memory=6791534058613427641 CPUtime=246.08 cores=1,3,5,7
/proc/10712/task/10714/stat : 10714 (java) R 10710 10710 6383 0 -1 4202560 93497 0 0 0 24343 265 0 0 20 0 16 0 119526817 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684190022800 139684587373287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=14051540 memory=640 CPUtime=247.01 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) R 10710 10710 6383 0 -1 4202560 83342 0 0 0 24447 254 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684188969888 139684587373287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=14051540 memory=1796 CPUtime=246.84 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) R 10710 10710 6383 0 -1 4202560 63337 0 0 0 24440 244 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684187917400 139684579443790 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=14051540 memory=960 CPUtime=246.48 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) R 10710 10710 6383 0 -1 4202560 43632 0 0 0 24409 239 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684186864600 139684587373287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=14051540 memory=1236 CPUtime=29.59 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) S 10710 10710 6383 0 -1 1077944384 77117 0 0 0 2954 5 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684068930496 139684594755285 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=14051540 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684067877984 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=14051540 memory=932 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=14051540 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=14051540 memory=2244 CPUtime=0.21 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) S 10710 10710 6383 0 -1 1077944384 1877 0 0 0 21 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=14051540 memory=4132 CPUtime=0.24 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) S 10710 10710 6383 0 -1 1077944384 2604 0 0 0 24 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684063668976 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=14051540 memory=2204 CPUtime=0.35 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) S 10710 10710 6383 0 -1 1077944384 6360 0 0 0 34 1 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684062616176 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=14051540 memory=7280 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=14051540 memory=844 CPUtime=0.34 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 461 0 0 0 17 17 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10819] ppid=10710 vsize=14051540 memory=279991067542800 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10819/stat : 10819 (java) S 10710 10710 6383 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 119566178 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684052503872 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 1135.15 s
Current children cumulated vsize: 14061052 KiB
Current children cumulated memory: 10769208 KiB
[startup+395.901 s]
/proc/loadavg: 5.11 3.37 2.40 6/218 10819
/proc/meminfo: memFree=11710840/32770624 swapFree=67108860/67108860
[pid=10710] ppid=10707 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10710/stat : 10710 (xcsp3-exec) S 10707 10710 6383 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119526816 9740288 346 33554432000 4194304 5098028 140728292374832 140728292372936 140371361497724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18665472 140728292377710 140728292377915 140728292377915 140728292380651 0
/proc/10710/statm: 2378 346 289 221 0 87 0
[pid=10712] ppid=10710 vsize=14051540 memory=10767824 CPUtime=1135.26 cores=1,3,5,7
/proc/10712/stat : 10712 (java) S 10710 10710 6383 0 -1 1077944320 388039 0 0 0 112502 1024 0 0 20 0 16 0 119526816 14388776960 2691956 33554432000 4194304 4196468 140736549236192 140736549218736 139684594745079 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
/proc/10712/statm: 3512885 2691956 3242 1 0 3500119 0
[pid=10712/tid=10713] ppid=10710 vsize=14051540 memory=10767700 CPUtime=117.93 cores=1,3,5,7
/proc/10712/task/10713/stat : 10713 (java) S 10710 10710 6383 0 -1 1077944384 14429 0 0 0 11785 8 0 0 20 0 16 0 119526817 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684598985760 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10714] ppid=10710 vsize=14051540 memory=10767684 CPUtime=246.08 cores=1,3,5,7
/proc/10712/task/10714/stat : 10714 (java) S 10710 10710 6383 0 -1 1077944384 93497 0 0 0 24343 265 0 0 20 0 16 0 119526817 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684190022800 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10715] ppid=10710 vsize=14051540 memory=10767652 CPUtime=247.02 cores=1,3,5,7
/proc/10712/task/10715/stat : 10715 (java) S 10710 10710 6383 0 -1 1077944384 83342 0 0 0 24448 254 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684188970000 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10716] ppid=10710 vsize=14051540 memory=10767684 CPUtime=246.84 cores=1,3,5,7
/proc/10712/task/10716/stat : 10716 (java) S 10710 10710 6383 0 -1 1077944384 63337 0 0 0 24440 244 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684187917200 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10717] ppid=10710 vsize=14051540 memory=10767708 CPUtime=246.48 cores=1,3,5,7
/proc/10712/task/10717/stat : 10717 (java) S 10710 10710 6383 0 -1 1077944384 43632 0 0 0 24409 239 0 0 20 0 16 0 119526818 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684186864400 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10718] ppid=10710 vsize=14051540 memory=10767800 CPUtime=29.69 cores=1,3,5,7
/proc/10712/task/10718/stat : 10718 (java) R 10710 10710 6383 0 -1 4202560 77117 0 0 0 2964 5 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684068930496 139684573115259 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10719] ppid=10710 vsize=14051540 memory=10767800 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10719/stat : 10719 (java) S 10710 10710 6383 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684067877984 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10720] ppid=10710 vsize=14051540 memory=10767824 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10720/stat : 10720 (java) S 10710 10710 6383 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 119526819 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684066825072 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10721] ppid=10710 vsize=14051540 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10721/stat : 10721 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684065773392 139684594763675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10722] ppid=10710 vsize=14051540 memory=10767820 CPUtime=0.21 cores=1,3,5,7
/proc/10712/task/10722/stat : 10722 (java) S 10710 10710 6383 0 -1 1077944384 1877 0 0 0 21 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684064721776 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10723] ppid=10710 vsize=14051540 memory=1384 CPUtime=0.24 cores=1,3,5,7
/proc/10712/task/10723/stat : 10723 (java) S 10710 10710 6383 0 -1 1077944384 2604 0 0 0 24 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684063668976 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10724] ppid=10710 vsize=14051540 memory=1384 CPUtime=0.35 cores=1,3,5,7
/proc/10712/task/10724/stat : 10724 (java) S 10710 10710 6383 0 -1 1077944384 6360 0 0 0 34 1 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684062616176 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10725] ppid=10710 vsize=14051540 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10725/stat : 10725 (java) S 10710 10710 6383 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684061563616 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10726] ppid=10710 vsize=14051540 memory=10767800 CPUtime=0.34 cores=1,3,5,7
/proc/10712/task/10726/stat : 10726 (java) S 10710 10710 6383 0 -1 1077944384 461 0 0 0 17 17 0 0 20 0 16 0 119526822 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684060510896 139684594756226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
[pid=10712/tid=10819] ppid=10710 vsize=14051540 memory=303430244793319739 CPUtime=0 cores=1,3,5,7
/proc/10712/task/10819/stat : 10819 (java) S 10710 10710 6383 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 119566178 14388776960 2691956 33554432000 4194304 4196468 140736549236192 139684052503872 139684594755285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140736549237911 140736549238087 140736549238087 140736549240783 0
Current children cumulated CPU time: 1135.26 s
Current children cumulated vsize: 14061052 KiB
Current children cumulated memory: 10769208 KiB
Child status: 1
Real time (s): 395.96
CPU time (s): 1135.32
CPU user time (s): 1125.03
CPU system time (s): 10.2953
CPU usage (%): 286.726
Max. virtual memory (cumulated for all children) (KiB): 14061052
Max. memory (cumulated for all children) (KiB): 10769208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1125.03
system time used= 10.2953
maximum resident set size= 10768192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15888
involuntary context switches= 10162
# summary of solver processes directly reported to runsolver:
# pid: 10710
# total CPU time (s): 1135.32
# total CPU user time (s): 1125.03
# total CPU system time (s): 10.2953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.45402 second user time and 4.20426 second system time
The end