runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255177-1501619862/watcher-4255177-1501619862 -o /tmp/evaluation-result-4255177-1501619862/solver-4255177-1501619862 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1277176165 HOME/instance-4255177-1501619862.xml
pid=21007
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.32 1.77 1.86 2/200 21010
/proc/meminfo: memFree=31075580/32770624 swapFree=0/288976
[pid=21010] ppid=21007 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (runsolver) D 21007 21010 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9491976 24240128 106 18446744073709551615 4194304 4338465 140735829809760 140735829807400 140649189061335 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 28147712 140735829811292 140735829811782 140735829811782 140735829815242 0
/proc/21010/statm: 5918 106 53 36 0 2156 0
[startup+0.100082 s]
/proc/loadavg: 1.32 1.77 1.86 2/200 21010
/proc/meminfo: memFree=31075580/32770624 swapFree=0/288976
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.202913 s]
/proc/loadavg: 1.32 1.77 1.86 2/200 21010
/proc/meminfo: memFree=31075580/32770624 swapFree=0/288976
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300305 s]
/proc/loadavg: 1.32 1.77 1.86 2/200 21010
/proc/meminfo: memFree=31075580/32770624 swapFree=0/288976
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701856 s]
/proc/loadavg: 1.32 1.77 1.86 2/200 21010
/proc/meminfo: memFree=31075580/32770624 swapFree=0/288976
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.32 1.77 1.86 5/216 21026
/proc/meminfo: memFree=31002292/32770624 swapFree=0/288976
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=3.81 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 25895 0 0 0 375 6 0 0 20 0 15 0 9491985 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 24509 3191 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 9693 0 0 0 132 3 0 0 20 0 15 0 9491985 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692885048960 139692490733649 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21016] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21016/stat : 21016 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692813138320 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21017] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21017/stat : 21017 (java) S 21010 21010 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692812085520 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21018] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21018/stat : 21018 (java) S 21010 21010 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692358462320 139692880820866 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21019] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21019/stat : 21019 (java) S 21010 21010 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692357408288 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21020] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21020/stat : 21020 (java) S 21010 21010 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9491988 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692356355440 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21021] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21021/stat : 21021 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692355303760 139692880828315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21022] ppid=21010 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/21012/task/21022/stat : 21022 (java) R 21010 21010 5234 0 -1 4202560 5791 0 0 0 96 0 0 0 20 0 15 0 9491990 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692354241232 139692862354934 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21023] ppid=21010 vsize=13980732 CPUtime=0.99 cores=0,2,4,6
/proc/21012/task/21023/stat : 21023 (java) R 21010 21010 5234 0 -1 4202560 6160 0 0 0 99 0 0 0 20 0 15 0 9491990 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692353184864 139692858033872 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21024] ppid=21010 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 2941 0 0 0 46 1 0 0 20 0 15 0 9491990 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9491995 14316269568 24509 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 13990244
[startup+3.10071 s]
/proc/loadavg: 1.32 1.77 1.86 5/216 21026
/proc/meminfo: memFree=30985040/32770624 swapFree=0/288976
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=8.1 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 29113 0 0 0 803 7 0 0 20 0 15 0 9491985 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 35698 3202 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 10078 0 0 0 290 4 0 0 20 0 15 0 9491985 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692885048152 139692490894743 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21016] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21016/stat : 21016 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692813138320 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21017] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21017/stat : 21017 (java) S 21010 21010 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692812085520 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21018] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21018/stat : 21018 (java) S 21010 21010 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692358462320 139692880820866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21019] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21019/stat : 21019 (java) S 21010 21010 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692357408288 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21020] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21020/stat : 21020 (java) S 21010 21010 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9491988 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692356355440 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21021] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21021/stat : 21021 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692355303760 139692880828315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21022] ppid=21010 vsize=13980732 CPUtime=2.21 cores=0,2,4,6
/proc/21012/task/21022/stat : 21022 (java) R 21010 21010 5234 0 -1 4202560 6523 0 0 0 221 0 0 0 20 0 15 0 9491990 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692354237344 139692864196256 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21023] ppid=21010 vsize=13980732 CPUtime=2.33 cores=0,2,4,6
/proc/21012/task/21023/stat : 21023 (java) R 21010 21010 5234 0 -1 4202560 7529 0 0 0 233 0 0 0 20 0 15 0 9491990 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692353184560 139692865739189 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21024] ppid=21010 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 3641 0 0 0 57 1 0 0 20 0 15 0 9491990 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9491995 14316269568 35698 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.38 1.77 1.86 3/216 21026
/proc/meminfo: memFree=30912064/32770624 swapFree=0/288988
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=12.14 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 36181 0 0 0 1205 9 0 0 20 0 15 0 9491985 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 50633 3209 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 11016 0 0 0 609 5 0 0 20 0 15 0 9491985 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692885045376 139692490655339 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21016] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21016/stat : 21016 (java) S 21010 21010 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692813138320 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21017] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21017/stat : 21017 (java) S 21010 21010 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692812085520 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21018] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21018/stat : 21018 (java) S 21010 21010 5234 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692358462320 139692880820866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21019] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21019/stat : 21019 (java) S 21010 21010 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692357408288 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21020] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21020/stat : 21020 (java) S 21010 21010 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9491988 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692356355440 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21021] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21021/stat : 21021 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692355303760 139692880828315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21022] ppid=21010 vsize=13980732 CPUtime=2.77 cores=0,2,4,6
/proc/21012/task/21022/stat : 21022 (java) S 21010 21010 5234 0 -1 1077944384 10144 0 0 0 276 1 0 0 20 0 15 0 9491990 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692354251120 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21023] ppid=21010 vsize=13980732 CPUtime=2.57 cores=0,2,4,6
/proc/21012/task/21023/stat : 21023 (java) S 21010 21010 5234 0 -1 1077944384 8973 0 0 0 257 0 0 0 20 0 15 0 9491990 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692353198320 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21024] ppid=21010 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 3992 0 0 0 60 1 0 0 20 0 15 0 9491990 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 492 0 0 0 0 0 0 0 20 0 15 0 9491995 14316269568 50633 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.35 1.76 1.85 3/216 21026
/proc/meminfo: memFree=30936916/32770624 swapFree=0/288988
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=19.12 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 40126 0 0 0 1902 10 0 0 20 0 15 0 9491985 14316269568 53834 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 53834 3227 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=12.53 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 11362 0 0 0 1248 5 0 0 20 0 15 0 9491985 14316269568 53834 18446744073709551615 4194304 4196468 140728038441408 139692885048696 139692490733649 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 53834 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9491986 14316269568 53834 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
################
# More data... #
################
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 6664 0 0 0 64 1 0 0 20 0 15 0 9491990 14316269568 53665 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53665 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 618 0 0 0 1 1 0 0 20 0 15 0 9491995 14316269568 53665 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 83.73
Current children cumulated vsize (KiB) 13990244
[startup+78.4006 s]
/proc/loadavg: 1.70 1.78 1.86 3/216 21105
/proc/meminfo: memFree=29207480/32770624 swapFree=0/289096
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=85.35 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 56452 0 0 0 8521 14 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 53337 3234 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=78.16 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 14877 0 0 0 7810 6 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692885049168 139692492223143 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 1434 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 420 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21016] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21016/stat : 21016 (java) S 21010 21010 5234 0 -1 1077944384 1374 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692813138320 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21017] ppid=21010 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21012/task/21017/stat : 21017 (java) S 21010 21010 5234 0 -1 1077944384 1274 0 0 0 4 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692812085520 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21018] ppid=21010 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21012/task/21018/stat : 21018 (java) S 21010 21010 5234 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692358462320 139692880820866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21019] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21019/stat : 21019 (java) S 21010 21010 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692357408288 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21020] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21020/stat : 21020 (java) S 21010 21010 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491988 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692356355440 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21021] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21021/stat : 21021 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692355303760 139692880828315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21022] ppid=21010 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/21012/task/21022/stat : 21022 (java) S 21010 21010 5234 0 -1 1077944384 13422 0 0 0 317 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692354251120 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21023] ppid=21010 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/21012/task/21023/stat : 21023 (java) S 21010 21010 5234 0 -1 1077944384 13756 0 0 0 304 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692353198320 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21024] ppid=21010 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 6664 0 0 0 64 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 618 0 0 0 1 1 0 0 20 0 15 0 9491995 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 85.35
Current children cumulated vsize (KiB) 13990244
[startup+79.2006 s]
/proc/loadavg: 1.70 1.78 1.86 3/216 21105
/proc/meminfo: memFree=29207480/32770624 swapFree=0/289100
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=86.16 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 56517 0 0 0 8601 15 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 53337 3234 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=78.97 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 14942 0 0 0 7891 6 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692885049168 139692489440323 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 1434 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 420 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21016] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21016/stat : 21016 (java) S 21010 21010 5234 0 -1 1077944384 1374 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692813138320 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21017] ppid=21010 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21012/task/21017/stat : 21017 (java) S 21010 21010 5234 0 -1 1077944384 1274 0 0 0 4 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692812085520 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21018] ppid=21010 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21012/task/21018/stat : 21018 (java) S 21010 21010 5234 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692358462320 139692880820866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21019] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21019/stat : 21019 (java) S 21010 21010 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692357408288 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21020] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21020/stat : 21020 (java) S 21010 21010 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491988 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692356355440 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21021] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21021/stat : 21021 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692355303760 139692880828315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21022] ppid=21010 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/21012/task/21022/stat : 21022 (java) S 21010 21010 5234 0 -1 1077944384 13422 0 0 0 317 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692354251120 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21023] ppid=21010 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/21012/task/21023/stat : 21023 (java) S 21010 21010 5234 0 -1 1077944384 13756 0 0 0 304 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692353198320 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21024] ppid=21010 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 6664 0 0 0 64 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 618 0 0 0 1 1 0 0 20 0 15 0 9491995 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 86.16
Current children cumulated vsize (KiB) 13990244
[startup+80.0006 s]
/proc/loadavg: 1.70 1.78 1.86 3/216 21105
/proc/meminfo: memFree=29207480/32770624 swapFree=0/289100
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=86.96 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 56518 0 0 0 8681 15 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 53337 3234 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=79.76 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 14943 0 0 0 7970 6 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692885049168 139692490734168 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 1434 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 420 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21016] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21016/stat : 21016 (java) S 21010 21010 5234 0 -1 1077944384 1374 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692813138320 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21017] ppid=21010 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21012/task/21017/stat : 21017 (java) S 21010 21010 5234 0 -1 1077944384 1274 0 0 0 4 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692812085520 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21018] ppid=21010 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21012/task/21018/stat : 21018 (java) S 21010 21010 5234 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692358462320 139692880820866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21019] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21019/stat : 21019 (java) S 21010 21010 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692357408288 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21020] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21020/stat : 21020 (java) S 21010 21010 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491988 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692356355440 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21021] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21021/stat : 21021 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692355303760 139692880828315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21022] ppid=21010 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/21012/task/21022/stat : 21022 (java) S 21010 21010 5234 0 -1 1077944384 13422 0 0 0 317 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692354251120 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21023] ppid=21010 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/21012/task/21023/stat : 21023 (java) S 21010 21010 5234 0 -1 1077944384 13756 0 0 0 304 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692353198320 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21024] ppid=21010 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 6664 0 0 0 64 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 618 0 0 0 1 1 0 0 20 0 15 0 9491995 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 86.96
Current children cumulated vsize (KiB) 13990244
[startup+80.4067 s]
/proc/loadavg: 1.73 1.78 1.86 3/216 21106
/proc/meminfo: memFree=29206588/32770624 swapFree=0/289100
[pid=21010] ppid=21007 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21010/stat : 21010 (xcsp3-exec) S 21007 21010 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491976 9740288 344 18446744073709551615 4194304 5098028 140723603926176 140723603924280 140607746830972 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21520384 140723603927451 140723603927655 140723603927655 140723603931115 0
/proc/21010/statm: 2378 344 289 221 0 87 0
[pid=21012] ppid=21010 vsize=13980732 CPUtime=87.36 cores=0,2,4,6
/proc/21012/stat : 21012 (java) S 21010 21010 5234 0 -1 1077944320 56518 0 0 0 8721 15 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 140728038423952 139692880809719 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
/proc/21012/statm: 3495183 53337 3234 1 0 3483484 0
[pid=21012/tid=21013] ppid=21010 vsize=13980732 CPUtime=80.17 cores=0,2,4,6
/proc/21012/task/21013/stat : 21013 (java) R 21010 21010 5234 0 -1 4202560 14943 0 0 0 8011 6 0 0 20 0 15 0 9491985 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692885049168 139692490114109 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21014] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21014/stat : 21014 (java) S 21010 21010 5234 0 -1 1077944384 1434 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692815243920 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21015] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21015/stat : 21015 (java) S 21010 21010 5234 0 -1 1077944384 420 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692814191120 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21016] ppid=21010 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/21012/task/21016/stat : 21016 (java) S 21010 21010 5234 0 -1 1077944384 1374 0 0 0 5 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692813138320 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21017] ppid=21010 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/21012/task/21017/stat : 21017 (java) S 21010 21010 5234 0 -1 1077944384 1274 0 0 0 4 0 0 0 20 0 15 0 9491986 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692812085520 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21018] ppid=21010 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/21012/task/21018/stat : 21018 (java) S 21010 21010 5234 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692358462320 139692880820866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21019] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21019/stat : 21019 (java) S 21010 21010 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 9491987 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692357408288 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21020] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21020/stat : 21020 (java) S 21010 21010 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491988 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692356355440 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21021] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21021/stat : 21021 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692355303760 139692880828315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21022] ppid=21010 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/21012/task/21022/stat : 21022 (java) S 21010 21010 5234 0 -1 1077944384 13422 0 0 0 317 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692354251120 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21023] ppid=21010 vsize=13980732 CPUtime=3.05 cores=0,2,4,6
/proc/21012/task/21023/stat : 21023 (java) S 21010 21010 5234 0 -1 1077944384 13756 0 0 0 304 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692353198320 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21024] ppid=21010 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/21012/task/21024/stat : 21024 (java) S 21010 21010 5234 0 -1 1077944384 6664 0 0 0 64 1 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692352145520 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21025] ppid=21010 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/21012/task/21025/stat : 21025 (java) S 21010 21010 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491990 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692351092960 139692880819925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
[pid=21012/tid=21026] ppid=21010 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/21012/task/21026/stat : 21026 (java) S 21010 21010 5234 0 -1 1077944384 618 0 0 0 1 1 0 0 20 0 15 0 9491995 14316269568 53337 18446744073709551615 4194304 4196468 140728038441408 139692350041264 139692880820866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140728038449620 140728038449795 140728038449795 140728038453199 0
Current children cumulated CPU time (s) 87.36
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 80.4712
CPU time (s): 87.4373
CPU user time (s): 87.281
CPU system time (s): 0.156309
CPU usage (%): 108.657
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.281
system time used= 0.156309
maximum resident set size= 227976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4637
involuntary context switches= 123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.355561 second user time and 0.515954 second system time
The end