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 (11164 MiB free)
memory of node 1: 16384 MiB (11726 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284073-1503222273/watcher-4284073-1503222273 -o /tmp/evaluation-result-4284073-1503222273/solver-4284073-1503222273 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503215340-8905 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2133812396 HOME/instance-4284073-1503222273.xml
running on 4 cores: 0,2,4,6
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=9598, runsolver pid=9595
[startup+0.101124 s]*
/proc/loadavg: 1.54 1.45 1.44 4/218 9614
/proc/meminfo: memFree=23423548/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13978596 memory=28144 CPUtime=0.12 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 5449 0 0 0 11 1 0 0 20 0 15 0 155315008 14314082304 7036 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3494649 7036 2842 1 0 3482966 0
[pid=9600/tid=9601] ppid=9598 vsize=13978596 memory=8189133601398559579 CPUtime=0.08 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 3476 0 0 0 8 0 0 0 20 0 15 0 155315008 14314082304 7036 33554432000 4194304 4196468 140731031849824 140366633899824 140366629678486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14314082304 7036 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13978596 memory=139919978677888 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14314082304 7036 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14314082304 7036 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155315009 14314082304 7036 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13978596 memory=139919978677888 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155315010 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155315011 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) S 9598 9598 3809 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 155315013 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365604944752 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) S 9598 9598 3809 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 155315013 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365603891952 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13978596 memory=139919978677888 CPUtime=0.01 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) R 9598 9598 3809 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 15 0 155315013 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365602839152 140366614026301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13978596 memory=139919978677888 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315014 14314082304 7036 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29524 KiB
[startup+0.210583 s]*
/proc/loadavg: 1.54 1.45 1.44 4/218 9614
/proc/meminfo: memFree=23416644/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13982852 memory=40432 CPUtime=0.33 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 8134 0 0 0 31 2 0 0 20 0 15 0 155315008 14318440448 10108 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3495713 10108 3076 1 0 3482966 0
[pid=9600/tid=9601] ppid=9598 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 5281 0 0 0 18 1 0 0 20 0 15 0 155315008 14318440448 10108 33554432000 4194304 4196468 140731031849824 140366633887544 140366629688477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13982852 memory=8944 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 10108 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13982852 memory=139919979414045 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 10108 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 10108 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 10108 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13982852 memory=139919978677888 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155315010 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155315011 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) S 9598 9598 3809 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 15 0 155315013 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365604944752 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) S 9598 9598 3809 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 15 0 155315013 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365603891952 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13982852 memory=139919978677888 CPUtime=0.07 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) R 9598 9598 3809 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 15 0 155315013 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365602839152 140366629678486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315014 14318440448 10108 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41812 KiB
[startup+0.310431 s]*
/proc/loadavg: 1.54 1.45 1.44 4/218 9614
/proc/meminfo: memFree=23410184/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13982852 memory=47096 CPUtime=0.51 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 8961 0 0 0 48 3 0 0 20 0 15 0 155315008 14318440448 11774 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3495713 11774 3107 1 0 3482966 0
[pid=9600/tid=9601] ppid=9598 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 5947 0 0 0 27 2 0 0 20 0 15 0 155315008 14318440448 11774 33554432000 4194304 4196468 140731031849824 140366633905008 140366629678486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 11774 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 11774 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 11774 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155315009 14318440448 11774 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155315010 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13982852 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155315011 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13982852 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13982852 memory=7100839887185294217 CPUtime=0.04 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) R 9598 9598 3809 0 -1 4202560 431 0 0 0 4 0 0 0 20 0 15 0 155315013 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365604944752 140366622651593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) R 9598 9598 3809 0 -1 1077944384 428 0 0 0 3 0 0 0 20 0 15 0 155315013 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365603891952 140366629677698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) R 9598 9598 3809 0 -1 4202560 854 0 0 0 12 0 0 0 20 0 15 0 155315013 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365602839152 140366621983158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315014 14318440448 11774 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48476 KiB
[startup+0.700839 s]
/proc/loadavg: 1.57 1.46 1.44 5/218 9614
/proc/meminfo: memFree=23396596/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13984976 memory=84048 CPUtime=1.49 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 11107 0 0 0 145 4 0 0 20 0 15 0 155315008 14320615424 21012 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3496244 21012 3203 1 0 3483478 0
[pid=9600/tid=9601] ppid=9598 vsize=13984976 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 6573 0 0 0 64 3 0 0 20 0 15 0 155315008 14320615424 21012 33554432000 4194304 4196468 140731031849824 140366633904096 140366262782268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14320615424 21012 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14320615424 21012 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315009 14320615424 21012 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155315009 14320615424 21012 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13984976 memory=8616 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155315010 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13984976 memory=11112 CPUtime=0.25 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) R 9598 9598 3809 0 -1 4202560 891 0 0 0 25 0 0 0 20 0 15 0 155315013 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365604944752 140366608912399 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13984976 memory=1228 CPUtime=0.24 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) S 9598 9598 3809 0 -1 1077944384 951 0 0 0 24 0 0 0 20 0 15 0 155315013 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365603891952 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13984976 memory=1420 CPUtime=0.31 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) S 9598 9598 3809 0 -1 1077944384 1385 0 0 0 31 0 0 0 20 0 15 0 155315013 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365602839152 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13984976 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155315014 14320615424 21012 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 85428 KiB
[startup+1.50174 s]
/proc/loadavg: 1.57 1.46 1.44 3/218 9614
/proc/meminfo: memFree=23266044/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13984976 memory=2892448 CPUtime=25.07 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 54338 0 0 0 2352 155 0 0 20 0 15 0 155315008 14320615424 723112 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3496244 723112 3262 1 0 3483478 0
[pid=9600/tid=9601] ppid=9598 vsize=13984976 memory=1380 CPUtime=16.19 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 10585 0 0 0 1591 28 0 0 20 0 15 0 155315008 14320615424 723112 33554432000 4194304 4196468 140731031849824 140366633901536 140366265139034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13984976 memory=1296 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 6056 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723112 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13984976 memory=2428 CPUtime=1.2 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 6855 0 0 0 90 30 0 0 20 0 15 0 155315009 14320615424 723112 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13984976 memory=1728 CPUtime=1.19 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 6450 0 0 0 90 29 0 0 20 0 15 0 155315009 14320615424 723112 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13984976 memory=4486604260213485459 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 6460 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723112 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13984976 memory=1728 CPUtime=0.15 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 3367 0 0 0 15 0 0 0 20 0 15 0 155315010 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13984976 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13984976 memory=8112282956445269571 CPUtime=1.61 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) R 9598 9598 3809 0 -1 4202560 5093 0 0 0 160 1 0 0 20 0 15 0 155315013 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365604944752 140366614588472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13984976 memory=5931639163418924137 CPUtime=1.51 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) R 9598 9598 3809 0 -1 4202560 4653 0 0 0 151 0 0 0 20 0 15 0 155315013 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365603873520 140366613077366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13984976 memory=7594598810448582508 CPUtime=0.69 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) S 9598 9598 3809 0 -1 1077944384 3492 0 0 0 68 1 0 0 20 0 15 0 155315013 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365602839152 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13984976 memory=7307214010630631265 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13984976 memory=7307214010630631265 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 155315014 14320615424 723112 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 25.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2893828 KiB
[startup+18.0008 s]*
/proc/loadavg: 1.60 1.47 1.45 3/218 9614
/proc/meminfo: memFree=20610420/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13984976 memory=2893216 CPUtime=25.93 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 54425 0 0 0 2438 155 0 0 20 0 15 0 155315008 14320615424 723304 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3496244 723304 3273 1 0 3483478 0
[pid=9600/tid=9601] ppid=9598 vsize=13984976 memory=-8962293810531057601 CPUtime=16.6 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 10585 0 0 0 1632 28 0 0 20 0 15 0 155315008 14320615424 723304 33554432000 4194304 4196468 140731031849824 140366633903200 140366266271620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13984976 memory=3472328295574039403 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 6056 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723304 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13984976 memory=7959527062410016238 CPUtime=1.2 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 6855 0 0 0 90 30 0 0 20 0 15 0 155315009 14320615424 723304 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13984976 memory=8244234119138535527 CPUtime=1.19 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 6450 0 0 0 90 29 0 0 20 0 15 0 155315009 14320615424 723304 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13984976 memory=3472613099804307743 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 6460 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723304 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13984976 memory=3690339769286420144 CPUtime=0.15 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 3367 0 0 0 15 0 0 0 20 0 15 0 155315010 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13984976 memory=3977583576072075061 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13984976 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13984976 memory=-3472574944341025154 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13984976 memory=0 CPUtime=1.84 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) S 9598 9598 3809 0 -1 1077944384 5126 0 0 0 183 1 0 0 20 0 15 0 155315013 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365604944752 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13984976 memory=3762535611533635871 CPUtime=1.72 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) S 9598 9598 3809 0 -1 1077944384 4698 0 0 0 172 0 0 0 20 0 15 0 155315013 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365603891952 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13984976 memory=2319529119145027255 CPUtime=0.7 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) S 9598 9598 3809 0 -1 1077944384 3501 0 0 0 69 1 0 0 20 0 15 0 155315013 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365602839152 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13984976 memory=3834033537023162159 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 155315014 14320615424 723304 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 25.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2894596 KiB
[startup+18.2008 s]
/proc/loadavg: 1.60 1.47 1.45 3/218 9614
/proc/meminfo: memFree=20610420/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13984976 memory=2893388 CPUtime=26.24 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 54499 0 0 0 2469 155 0 0 20 0 15 0 155315008 14320615424 723347 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3496244 723347 3273 1 0 3483478 0
[pid=9600/tid=9601] ppid=9598 vsize=13984976 memory=13568210565861303 CPUtime=16.79 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 10611 0 0 0 1651 28 0 0 20 0 15 0 155315008 14320615424 723347 33554432000 4194304 4196468 140731031849824 140366633904336 140366265233305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13984976 memory=6944652177228980320 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 6056 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723347 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13984976 memory=-6800859132029471843 CPUtime=1.2 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 6855 0 0 0 90 30 0 0 20 0 15 0 155315009 14320615424 723347 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13984976 memory=-6365945208300590943 CPUtime=1.19 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 6450 0 0 0 90 29 0 0 20 0 15 0 155315009 14320615424 723347 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13984976 memory=-6876588628787748224 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 6460 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723347 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13984976 memory=8128038100524242582 CPUtime=0.15 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 3367 0 0 0 15 0 0 0 20 0 15 0 155315010 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13984976 memory=-7966001734603266090 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13984976 memory=-6352670693803649130 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13984976 memory=-7595718147998060693 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13984976 memory=5792865393839413409 CPUtime=1.9 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) S 9598 9598 3809 0 -1 1077944384 5136 0 0 0 189 1 0 0 20 0 15 0 155315013 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365604944752 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13984976 memory=279839667912944 CPUtime=1.77 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) S 9598 9598 3809 0 -1 1077944384 4714 0 0 0 177 0 0 0 20 0 15 0 155315013 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365603891952 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13984976 memory=1399661390618268019 CPUtime=0.72 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) S 9598 9598 3809 0 -1 1077944384 3523 0 0 0 71 1 0 0 20 0 15 0 155315013 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365602839152 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 155315014 14320615424 723347 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 26.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2894768 KiB
[startup+18.3047 s]
/proc/loadavg: 1.60 1.47 1.45 3/218 9614
/proc/meminfo: memFree=20610420/32770624 swapFree=67108860/67108860
[pid=9598] ppid=9595 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9598/stat : 9598 (xcsp3-exec) S 9595 9598 3809 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155315007 9740288 345 33554432000 4194304 5098028 140720946555744 140720946553848 140413707698812 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21516288 140720946558062 140720946558267 140720946558267 140720946561003 0
/proc/9598/statm: 2378 345 289 221 0 87 0
[pid=9600] ppid=9598 vsize=13984976 memory=2893512 CPUtime=26.38 cores=0,2,4,6
/proc/9600/stat : 9600 (java) S 9598 9598 3809 0 -1 1077944320 54534 0 0 0 2483 155 0 0 20 0 15 0 155315008 14320615424 723378 33554432000 4194304 4196468 140731031849824 140731031832368 140366629666551 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
/proc/9600/statm: 3496244 723378 3273 1 0 3483478 0
[pid=9600/tid=9601] ppid=9598 vsize=13984976 memory=1380 CPUtime=16.89 cores=0,2,4,6
/proc/9600/task/9601/stat : 9601 (java) R 9598 9598 3809 0 -1 4202560 10614 0 0 0 1661 28 0 0 20 0 15 0 155315008 14320615424 723378 33554432000 4194304 4196468 140731031849824 140366633904336 140366265233305 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9602] ppid=9598 vsize=13984976 memory=2428612 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9602/stat : 9602 (java) S 9598 9598 3809 0 -1 1077944384 6056 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723378 33554432000 4194304 4196468 140731031849824 140366582287504 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9603] ppid=9598 vsize=13984976 memory=4140 CPUtime=1.2 cores=0,2,4,6
/proc/9600/task/9603/stat : 9603 (java) S 9598 9598 3809 0 -1 1077944384 6855 0 0 0 90 30 0 0 20 0 15 0 155315009 14320615424 723378 33554432000 4194304 4196468 140731031849824 140366581234704 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9604] ppid=9598 vsize=13984976 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/9600/task/9604/stat : 9604 (java) S 9598 9598 3809 0 -1 1077944384 6450 0 0 0 90 29 0 0 20 0 15 0 155315009 14320615424 723378 33554432000 4194304 4196468 140731031849824 140366580181904 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9605] ppid=9598 vsize=13984976 memory=43128 CPUtime=1.21 cores=0,2,4,6
/proc/9600/task/9605/stat : 9605 (java) S 9598 9598 3809 0 -1 1077944384 6460 0 0 0 91 30 0 0 20 0 15 0 155315009 14320615424 723378 33554432000 4194304 4196468 140731031849824 140366579129104 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9606] ppid=9598 vsize=13984976 memory=1200 CPUtime=0.15 cores=0,2,4,6
/proc/9600/task/9606/stat : 9606 (java) S 9598 9598 3809 0 -1 1077944384 3367 0 0 0 15 0 0 0 20 0 15 0 155315010 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365609154928 140366629677698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9607] ppid=9598 vsize=13984976 memory=8616 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9607/stat : 9607 (java) S 9598 9598 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365608100896 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9608] ppid=9598 vsize=13984976 memory=2877212 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9608/stat : 9608 (java) S 9598 9598 3809 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 155315011 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365607048048 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9609] ppid=9598 vsize=13984976 memory=2516796 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9609/stat : 9609 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365605996368 140366629685147 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9610] ppid=9598 vsize=13984976 memory=2869464 CPUtime=1.91 cores=0,2,4,6
/proc/9600/task/9610/stat : 9610 (java) S 9598 9598 3809 0 -1 1077944384 5142 0 0 0 190 1 0 0 20 0 15 0 155315013 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365604944752 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9611] ppid=9598 vsize=13984976 memory=16448 CPUtime=1.78 cores=0,2,4,6
/proc/9600/task/9611/stat : 9611 (java) R 9598 9598 3809 0 -1 4202560 4714 0 0 0 178 0 0 0 20 0 15 0 155315013 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365603884072 140366614781823 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9612] ppid=9598 vsize=13984976 memory=4640204396462170450 CPUtime=0.73 cores=0,2,4,6
/proc/9600/task/9612/stat : 9612 (java) S 9598 9598 3809 0 -1 1077944384 3549 0 0 0 72 1 0 0 20 0 15 0 155315013 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365602839152 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9613] ppid=9598 vsize=13984976 memory=5859271421085237344 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9613/stat : 9613 (java) S 9598 9598 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155315013 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365601786592 140366629676757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
[pid=9600/tid=9614] ppid=9598 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9600/task/9614/stat : 9614 (java) S 9598 9598 3809 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 155315014 14320615424 723378 33554432000 4194304 4196468 140731031849824 140365600733872 140366629677698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 17944576 140731031856279 140731031856455 140731031856455 140731031859151 0
Current children cumulated CPU time: 26.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2894892 KiB
Child status: 0
Real time (s): 18.3935
CPU time (s): 26.5268
CPU user time (s): 24.9493
CPU system time (s): 1.57753
CPU usage (%): 144.219
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 2894892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9493
system time used= 1.57753
maximum resident set size= 2894620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55147
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= 3885
involuntary context switches= 100
# summary of solver processes directly reported to runsolver:
# pid: 9598
# total CPU time (s): 26.5268
# total CPU user time (s): 24.9493
# total CPU system time (s): 1.57753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.13751 second user time and 0.225494 second system time
The end