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 (14047 MiB free)
memory of node 1: 16384 MiB (15277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399403-1568695723/watcher-4399403-1568695723 -o /tmp/evaluation-result-4399403-1568695723/solver-4399403-1568695723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19868 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1421010148 HOME/instance-4399403-1568695723.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21951, runsolver pid=21948
[startup+0.100502 s]*
/proc/loadavg: 8.06 8.28 6.96 7/233 21967
/proc/meminfo: memFree=30014048/32770624 swapFree=66922404/67108860
[pid=21951] ppid=21948 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21951/stat : 21951 (xcsp3-exec) S 21948 21951 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445510131 115843072 363 33554432000 4194304 5098028 140732571617536 140732571615640 140693028541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31481856 140732571624314 140732571624557 140732571624557 140732571627466 0
/proc/21951/statm: 28282 363 304 221 0 87 0
[pid=21953] ppid=21951 vsize=15144776 memory=27936 CPUtime=0.13 cores=1,3,5,7
/proc/21953/stat : 21953 (java) S 21951 21951 19836 0 -1 1077944320 5945 0 0 0 13 0 0 0 20 0 15 0 445510131 15508250624 6984 33554432000 4194304 4196468 140721660670112 140721660652656 140134815514359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
/proc/21953/statm: 3786194 6984 3145 1 0 3748377 0
[pid=21953/tid=21954] ppid=21951 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=1,3,5,7
/proc/21953/task/21954/stat : 21954 (java) R 21951 21951 19836 0 -1 4202560 3759 0 0 0 9 0 0 0 20 0 15 0 445510131 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134819750784 140134815526294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21955] ppid=21951 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21955/stat : 21955 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134785227792 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21956] ppid=21951 vsize=15144776 memory=140234643555968 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21956/stat : 21956 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134406818960 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21957] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21957/stat : 21957 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134405765904 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21958] ppid=21951 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21958/stat : 21958 (java) S 21951 21951 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134404713360 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21959] ppid=21951 vsize=15144776 memory=140234643555968 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21959/stat : 21959 (java) S 21951 21951 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445510133 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134284040432 140134815525506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21960] ppid=21951 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21960/stat : 21960 (java) S 21951 21951 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445510134 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134282986656 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21961] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21961/stat : 21961 (java) S 21951 21951 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445510134 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134281933552 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21962] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21962/stat : 21962 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134280882128 140134815532955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21963] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21963/stat : 21963 (java) S 21951 21951 19836 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134279830256 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21964] ppid=21951 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21964/stat : 21964 (java) S 21951 21951 19836 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134278777712 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21965] ppid=21951 vsize=15144776 memory=140234643555968 CPUtime=0.02 cores=1,3,5,7
/proc/21953/task/21965/stat : 21965 (java) R 21951 21951 19836 0 -1 4202560 405 0 0 0 2 0 0 0 20 0 15 0 445510137 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134277724656 140134808611195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21966] ppid=21951 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21966/stat : 21966 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134276672352 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21967] ppid=21951 vsize=15144776 memory=140234643555968 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21967/stat : 21967 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 6984 33554432000 4194304 4196468 140721660670112 140134275619376 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29388 KiB
[startup+0.210903 s]*
/proc/loadavg: 8.06 8.28 6.96 7/233 21967
/proc/meminfo: memFree=30000696/32770624 swapFree=66922404/67108860
[pid=21951] ppid=21948 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21951/stat : 21951 (xcsp3-exec) S 21948 21951 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445510131 115843072 363 33554432000 4194304 5098028 140732571617536 140732571615640 140693028541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31481856 140732571624314 140732571624557 140732571624557 140732571627466 0
/proc/21951/statm: 28282 363 304 221 0 87 0
[pid=21953] ppid=21951 vsize=15144776 memory=39972 CPUtime=0.34 cores=1,3,5,7
/proc/21953/stat : 21953 (java) S 21951 21951 19836 0 -1 1077944320 9716 0 0 0 32 2 0 0 20 0 15 0 445510131 15508250624 9993 33554432000 4194304 4196468 140721660670112 140721660652656 140134815514359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
/proc/21953/statm: 3786194 9993 3318 1 0 3748377 0
[pid=21953/tid=21954] ppid=21951 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/21953/task/21954/stat : 21954 (java) R 21951 21951 19836 0 -1 4202560 6694 0 0 0 18 2 0 0 20 0 15 0 445510131 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134819753360 140134799827932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21955] ppid=21951 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21955/stat : 21955 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134785227792 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21956] ppid=21951 vsize=15144776 memory=4049780343843145376 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21956/stat : 21956 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134406818960 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21957] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21957/stat : 21957 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134405765904 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21958] ppid=21951 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21958/stat : 21958 (java) S 21951 21951 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445510132 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134404713360 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21959] ppid=21951 vsize=15144776 memory=140234643555968 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21959/stat : 21959 (java) S 21951 21951 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445510133 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134284040432 140134815525506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21960] ppid=21951 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21960/stat : 21960 (java) S 21951 21951 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445510134 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134282986656 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21961] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21961/stat : 21961 (java) S 21951 21951 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445510134 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134281933552 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21962] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21962/stat : 21962 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134280882128 140134815532955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21963] ppid=21951 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21953/task/21963/stat : 21963 (java) S 21951 21951 19836 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 445510137 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134279830256 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21964] ppid=21951 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21953/task/21964/stat : 21964 (java) S 21951 21951 19836 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 15 0 445510137 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134278777712 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21965] ppid=21951 vsize=15144776 memory=140234643555968 CPUtime=0.08 cores=1,3,5,7
/proc/21953/task/21965/stat : 21965 (java) S 21951 21951 19836 0 -1 1077944384 889 0 0 0 8 0 0 0 20 0 15 0 445510137 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134277724656 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21966] ppid=21951 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21966/stat : 21966 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134276672352 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21967] ppid=21951 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21967/stat : 21967 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510137 15508250624 9993 33554432000 4194304 4196468 140721660670112 140134275619376 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41424 KiB
[startup+0.310678 s]*
/proc/loadavg: 8.06 8.28 6.96 8/233 21967
/proc/meminfo: memFree=29993300/32770624 swapFree=66922404/67108860
[pid=21951] ppid=21948 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21951/stat : 21951 (xcsp3-exec) S 21948 21951 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445510131 115843072 363 33554432000 4194304 5098028 140732571617536 140732571615640 140693028541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31481856 140732571624314 140732571624557 140732571624557 140732571627466 0
/proc/21951/statm: 28282 363 304 221 0 87 0
[pid=21953] ppid=21951 vsize=15149032 memory=49076 CPUtime=0.54 cores=1,3,5,7
/proc/21953/stat : 21953 (java) S 21951 21951 19836 0 -1 1077944320 11190 0 0 0 51 3 0 0 20 0 15 0 445510131 15512608768 12269 33554432000 4194304 4196468 140721660670112 140721660652656 140134815514359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
/proc/21953/statm: 3787258 12269 3355 1 0 3748377 0
[pid=21953/tid=21954] ppid=21951 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/21953/task/21954/stat : 21954 (java) R 21951 21951 19836 0 -1 4202560 7869 0 0 0 28 2 0 0 20 0 15 0 445510131 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134819745472 140134815536285 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21955] ppid=21951 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21955/stat : 21955 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134785227792 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21956] ppid=21951 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21956/stat : 21956 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134406818960 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21957] ppid=21951 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21957/stat : 21957 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134405765904 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21958] ppid=21951 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21958/stat : 21958 (java) S 21951 21951 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445510132 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134404713360 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21959] ppid=21951 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21959/stat : 21959 (java) S 21951 21951 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445510133 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134284040432 140134815525506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21960] ppid=21951 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21960/stat : 21960 (java) S 21951 21951 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445510134 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134282986656 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21961] ppid=21951 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21961/stat : 21961 (java) S 21951 21951 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445510134 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134281933552 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21962] ppid=21951 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21962/stat : 21962 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134280882128 140134815532955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21963] ppid=21951 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/21953/task/21963/stat : 21963 (java) R 21951 21951 19836 0 -1 4202560 593 0 0 0 4 0 0 0 20 0 15 0 445510137 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134279821712 140134797038647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21964] ppid=21951 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21953/task/21964/stat : 21964 (java) S 21951 21951 19836 0 -1 1077944384 371 0 0 0 4 0 0 0 20 0 15 0 445510137 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134278777712 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21965] ppid=21951 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/21953/task/21965/stat : 21965 (java) S 21951 21951 19836 0 -1 1077944384 1052 0 0 0 13 0 0 0 20 0 15 0 445510137 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134277724656 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21966] ppid=21951 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21966/stat : 21966 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134276672352 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21967] ppid=21951 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21967/stat : 21967 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510137 15512608768 12269 33554432000 4194304 4196468 140721660670112 140134275619376 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50528 KiB
[startup+0.7008 s]
/proc/loadavg: 8.06 8.28 6.96 9/233 21967
/proc/meminfo: memFree=29970516/32770624 swapFree=66922404/67108860
[pid=21951] ppid=21948 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21951/stat : 21951 (xcsp3-exec) S 21948 21951 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445510131 115843072 363 33554432000 4194304 5098028 140732571617536 140732571615640 140693028541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31481856 140732571624314 140732571624557 140732571624557 140732571627466 0
/proc/21951/statm: 28282 363 304 221 0 87 0
[pid=21953] ppid=21951 vsize=15151156 memory=89764 CPUtime=1.74 cores=1,3,5,7
/proc/21953/stat : 21953 (java) S 21951 21951 19836 0 -1 1077944320 15568 0 0 0 169 5 0 0 20 0 15 0 445510131 15514783744 22441 33554432000 4194304 4196468 140721660670112 140721660652656 140134815514359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
/proc/21953/statm: 3787789 22441 3447 1 0 3748889 0
[pid=21953/tid=21954] ppid=21951 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/21953/task/21954/stat : 21954 (java) R 21951 21951 19836 0 -1 4202560 9286 0 0 0 64 4 0 0 20 0 15 0 445510131 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134819750368 140134451858029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21955] ppid=21951 vsize=15151156 memory=32664 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21955/stat : 21955 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134785227792 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21956] ppid=21951 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21956/stat : 21956 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134406818960 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21957] ppid=21951 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21957/stat : 21957 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510132 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134405765904 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21958] ppid=21951 vsize=15151156 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21958/stat : 21958 (java) S 21951 21951 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445510132 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134404713360 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21959] ppid=21951 vsize=15151156 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21959/stat : 21959 (java) S 21951 21951 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445510133 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134284040432 140134815525506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21960] ppid=21951 vsize=15151156 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21960/stat : 21960 (java) S 21951 21951 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445510134 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134282986656 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21961] ppid=21951 vsize=15151156 memory=588 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21961/stat : 21961 (java) S 21951 21951 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445510134 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134281933552 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21962] ppid=21951 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21962/stat : 21962 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134280882128 140134815532955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21963] ppid=21951 vsize=15151156 memory=1056 CPUtime=0.28 cores=1,3,5,7
/proc/21953/task/21963/stat : 21963 (java) S 21951 21951 19836 0 -1 1077944384 1127 0 0 0 28 0 0 0 20 0 15 0 445510137 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134279830256 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21964] ppid=21951 vsize=15151156 memory=11620 CPUtime=0.34 cores=1,3,5,7
/proc/21953/task/21964/stat : 21964 (java) S 21951 21951 19836 0 -1 1077944384 1377 0 0 0 34 0 0 0 20 0 15 0 445510137 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134278777712 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21965] ppid=21951 vsize=15151156 memory=3992 CPUtime=0.41 cores=1,3,5,7
/proc/21953/task/21965/stat : 21965 (java) R 21951 21951 19836 0 -1 4202560 2471 0 0 0 41 0 0 0 20 0 15 0 445510137 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134277724656 140134808614206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21966] ppid=21951 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21966/stat : 21966 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445510137 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134276672352 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21967] ppid=21951 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21967/stat : 21967 (java) S 21951 21951 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445510137 15514783744 22441 33554432000 4194304 4196468 140721660670112 140134275619376 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91216 KiB
[startup+1.50887 s]
/proc/loadavg: 8.06 8.28 6.96 8/233 21967
/proc/meminfo: memFree=29877312/32770624 swapFree=66922404/67108860
[pid=21951] ppid=21948 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21951/stat : 21951 (xcsp3-exec) S 21948 21951 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445510131 115843072 363 33554432000 4194304 5098028 140732571617536 140732571615640 140693028541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31481856 140732571624314 140732571624557 140732571624557 140732571627466 0
/proc/21951/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/21953/stat : 21953 (java) S 21951 21951 19836 0 -1 1077944320 133276 0 0 0 207488 47 0 0 20 0 19 0 445510131 15790579712 129298 33554432000 4194304 4196468 140721660670112 140721660652656 140134815514359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
/proc/21953/statm: 3855122 129298 3542 1 0 3816222 0
[pid=21953/tid=21954] ppid=21951 vsize=15420488 memory=517192 CPUtime=1.4 cores=1,3,5,7
/proc/21953/task/21954/stat : 21954 (java) S 21951 21951 19836 0 -1 1077944384 12742 0 0 0 133 7 0 0 20 0 19 0 445510131 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134819755136 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21955] ppid=21951 vsize=15420488 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/21953/task/21955/stat : 21955 (java) S 21951 21951 19836 0 -1 1077944384 1524 0 0 0 8 4 0 0 20 0 19 0 445510132 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134785227792 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21956] ppid=21951 vsize=15420488 memory=517192 CPUtime=0.14 cores=1,3,5,7
/proc/21953/task/21956/stat : 21956 (java) S 21951 21951 19836 0 -1 1077944384 1289 0 0 0 9 5 0 0 20 0 19 0 445510132 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134406818960 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21957] ppid=21951 vsize=15420488 memory=517192 CPUtime=0.14 cores=1,3,5,7
/proc/21953/task/21957/stat : 21957 (java) S 21951 21951 19836 0 -1 1077944384 1048 0 0 0 9 5 0 0 20 0 19 0 445510132 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134405765904 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21958] ppid=21951 vsize=15420488 memory=517192 CPUtime=0.13 cores=1,3,5,7
/proc/21953/task/21958/stat : 21958 (java) S 21951 21951 19836 0 -1 1077944384 641 0 0 0 9 4 0 0 20 0 19 0 445510132 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134404713360 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21959] ppid=21951 vsize=15420488 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/21953/task/21959/stat : 21959 (java) S 21951 21951 19836 0 -1 1077944384 2499 0 0 0 2 3 0 0 20 0 19 0 445510133 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134284040432 140134815525506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21960] ppid=21951 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21960/stat : 21960 (java) S 21951 21951 19836 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 445510134 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134282986720 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21961] ppid=21951 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21961/stat : 21961 (java) S 21951 21951 19836 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 445510134 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134281933568 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21962] ppid=21951 vsize=15420488 memory=517192 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21962/stat : 21962 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445510137 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134280882128 140134815532955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21963] ppid=21951 vsize=15420488 memory=1452 CPUtime=3.15 cores=1,3,5,7
/proc/21953/task/21963/stat : 21963 (java) S 21951 21951 19836 0 -1 1077944384 28693 0 0 0 312 3 0 0 20 0 19 0 445510137 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134279830256 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21964] ppid=21951 vsize=15420488 memory=1452 CPUtime=3.16 cores=1,3,5,7
/proc/21953/task/21964/stat : 21964 (java) S 21951 21951 19836 0 -1 1077944384 32155 0 0 0 313 3 0 0 20 0 19 0 445510137 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134278777712 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21965] ppid=21951 vsize=15420488 memory=1452 CPUtime=0.89 cores=1,3,5,7
/proc/21953/task/21965/stat : 21965 (java) S 21951 21951 19836 0 -1 1077944384 17862 0 0 0 88 1 0 0 20 0 19 0 445510137 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134277724656 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21966] ppid=21951 vsize=15420488 memory=517192 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21966/stat : 21966 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445510137 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134276672352 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21967] ppid=21951 vsize=15420488 memory=1452 CPUtime=0.24 cores=1,3,5,7
/proc/21953/task/21967/stat : 21967 (java) S 21951 21951 19836 0 -1 1077944384 1473 0 0 0 0 24 0 0 20 0 19 0 445510137 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134275619376 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22038] ppid=21951 vsize=15420488 memory=1452 CPUtime=396.93 cores=1,3,5,7
/proc/21953/task/22038/stat : 22038 (java) R 21951 21951 19836 0 -1 4202560 879 0 0 0 39693 0 0 0 20 0 19 0 445522542 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134264294696 140134459517652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22039] ppid=21951 vsize=15420488 memory=1452 CPUtime=397.38 cores=1,3,5,7
/proc/21953/task/22039/stat : 22039 (java) R 21951 21951 19836 0 -1 4202560 3917 0 0 0 39738 0 0 0 20 0 19 0 445522542 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134265348008 140134460269574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22040] ppid=21951 vsize=15420488 memory=1452 CPUtime=395.04 cores=1,3,5,7
/proc/21953/task/22040/stat : 22040 (java) R 21951 21951 19836 0 -1 4202560 1039 0 0 0 39504 0 0 0 20 0 19 0 445522542 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134266400920 140134459517730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22041] ppid=21951 vsize=15420488 memory=517192 CPUtime=395.3 cores=1,3,5,7
/proc/21953/task/22041/stat : 22041 (java) R 21951 21951 19836 0 -1 4202560 2109 0 0 0 39529 1 0 0 20 0 19 0 445522542 15790579712 129298 33554432000 4194304 4196468 140721660670112 140134260092416 140134459687646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
Current children cumulated CPU time: 2075.35 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 518644 KiB
[startup+582.302 s]
/proc/loadavg: 8.78 8.35 7.58 9/236 22163
/proc/meminfo: memFree=18220980/32770624 swapFree=66922412/67108860
[pid=21951] ppid=21948 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21951/stat : 21951 (xcsp3-exec) S 21948 21951 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445510131 115843072 363 33554432000 4194304 5098028 140732571617536 140732571615640 140693028541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31481856 140732571624314 140732571624557 140732571624557 140732571627466 0
/proc/21951/statm: 28282 363 304 221 0 87 0
[pid=21953] ppid=21951 vsize=15420488 memory=560204 CPUtime=2314.16 cores=1,3,5,7
/proc/21953/stat : 21953 (java) S 21951 21951 19836 0 -1 1077944320 137328 0 0 0 231367 49 0 0 20 0 19 0 445510131 15790579712 140051 33554432000 4194304 4196468 140721660670112 140721660652656 140134815514359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
/proc/21953/statm: 3855122 140051 3542 1 0 3816222 0
[pid=21953/tid=21954] ppid=21951 vsize=15420488 memory=558156 CPUtime=1.4 cores=1,3,5,7
/proc/21953/task/21954/stat : 21954 (java) S 21951 21951 19836 0 -1 1077944384 12974 0 0 0 133 7 0 0 20 0 19 0 445510131 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134819755136 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21955] ppid=21951 vsize=15420488 memory=517192 CPUtime=0.12 cores=1,3,5,7
/proc/21953/task/21955/stat : 21955 (java) S 21951 21951 19836 0 -1 1077944384 1524 0 0 0 8 4 0 0 20 0 19 0 445510132 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134785227792 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21956] ppid=21951 vsize=15420488 memory=552012 CPUtime=0.14 cores=1,3,5,7
/proc/21953/task/21956/stat : 21956 (java) S 21951 21951 19836 0 -1 1077944384 1289 0 0 0 9 5 0 0 20 0 19 0 445510132 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134406818960 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21957] ppid=21951 vsize=15420488 memory=560204 CPUtime=0.14 cores=1,3,5,7
/proc/21953/task/21957/stat : 21957 (java) S 21951 21951 19836 0 -1 1077944384 1048 0 0 0 9 5 0 0 20 0 19 0 445510132 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134405765904 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21958] ppid=21951 vsize=15420488 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/21953/task/21958/stat : 21958 (java) S 21951 21951 19836 0 -1 1077944384 641 0 0 0 9 4 0 0 20 0 19 0 445510132 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134404713360 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21959] ppid=21951 vsize=15420488 memory=558156 CPUtime=0.05 cores=1,3,5,7
/proc/21953/task/21959/stat : 21959 (java) S 21951 21951 19836 0 -1 1077944384 2574 0 0 0 2 3 0 0 20 0 19 0 445510133 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134284040432 140134815525506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21960] ppid=21951 vsize=15420488 memory=560204 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21960/stat : 21960 (java) S 21951 21951 19836 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 445510134 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134282986720 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21961] ppid=21951 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21961/stat : 21961 (java) S 21951 21951 19836 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 445510134 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134281933568 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21962] ppid=21951 vsize=15420488 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21962/stat : 21962 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445510137 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134280882128 140134815532955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21963] ppid=21951 vsize=15420488 memory=545868 CPUtime=3.15 cores=1,3,5,7
/proc/21953/task/21963/stat : 21963 (java) S 21951 21951 19836 0 -1 1077944384 28703 0 0 0 312 3 0 0 20 0 19 0 445510137 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134279830256 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21964] ppid=21951 vsize=15420488 memory=1452 CPUtime=3.16 cores=1,3,5,7
/proc/21953/task/21964/stat : 21964 (java) S 21951 21951 19836 0 -1 1077944384 32165 0 0 0 313 3 0 0 20 0 19 0 445510137 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134278777712 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21965] ppid=21951 vsize=15420488 memory=1452 CPUtime=0.89 cores=1,3,5,7
/proc/21953/task/21965/stat : 21965 (java) S 21951 21951 19836 0 -1 1077944384 17902 0 0 0 88 1 0 0 20 0 19 0 445510137 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134277724656 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21966] ppid=21951 vsize=15420488 memory=547916 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21966/stat : 21966 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445510137 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134276672352 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21967] ppid=21951 vsize=15420488 memory=1452 CPUtime=0.27 cores=1,3,5,7
/proc/21953/task/21967/stat : 21967 (java) S 21951 21951 19836 0 -1 1077944384 1597 0 0 0 0 27 0 0 20 0 19 0 445510137 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134275619376 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22156] ppid=21951 vsize=15420488 memory=1452 CPUtime=27.17 cores=1,3,5,7
/proc/21953/task/22156/stat : 22156 (java) R 21951 21951 19836 0 -1 4202560 400 0 0 0 2717 0 0 0 20 0 19 0 445565643 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134264298568 140134459687563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22157] ppid=21951 vsize=15420488 memory=3992 CPUtime=26.66 cores=1,3,5,7
/proc/21953/task/22157/stat : 22157 (java) R 21951 21951 19836 0 -1 4202560 1954 0 0 0 2666 0 0 0 20 0 19 0 445565643 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134265352568 140134460395788 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22158] ppid=21951 vsize=15420488 memory=2828 CPUtime=27.18 cores=1,3,5,7
/proc/21953/task/22158/stat : 22158 (java) R 21951 21951 19836 0 -1 4202560 457 0 0 0 2718 0 0 0 20 0 19 0 445565643 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134260099912 140134459517652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22159] ppid=21951 vsize=15420488 memory=2596 CPUtime=27.17 cores=1,3,5,7
/proc/21953/task/22159/stat : 22159 (java) R 21951 21951 19836 0 -1 4202560 427 0 0 0 2717 0 0 0 20 0 19 0 445565643 15790579712 140051 33554432000 4194304 4196468 140721660670112 140134266408392 140134459221411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
Current children cumulated CPU time: 2314.16 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 561656 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.001 s]*
/proc/loadavg: 7.82 8.15 7.56 8/237 22168
/proc/meminfo: memFree=18150164/32770624 swapFree=66922412/67108860
[pid=21951] ppid=21948 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/21951/stat : 21951 (xcsp3-exec) S 21948 21951 19836 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445510131 115843072 363 33554432000 4194304 5098028 140732571617536 140732571615640 140693028541052 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 31481856 140732571624314 140732571624557 140732571624557 140732571627466 0
/proc/21951/statm: 28282 363 304 221 0 87 0
[pid=21953] ppid=21951 vsize=15420488 memory=629836 CPUtime=2520 cores=1,3,5,7
/proc/21953/stat : 21953 (java) S 21951 21951 19836 0 -1 1077944320 141135 0 0 0 251949 51 0 0 20 0 19 0 445510131 15790579712 157459 33554432000 4194304 4196468 140721660670112 140721660652656 140134815514359 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
/proc/21953/statm: 3855122 157459 3542 1 0 3816222 0
[pid=21953/tid=21954] ppid=21951 vsize=15420488 memory=8317482817917895235 CPUtime=1.4 cores=1,3,5,7
/proc/21953/task/21954/stat : 21954 (java) S 21951 21951 19836 0 -1 1077944384 12974 0 0 0 133 7 0 0 20 0 19 0 445510131 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134819755136 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21955] ppid=21951 vsize=15420488 memory=4872558044660077418 CPUtime=0.12 cores=1,3,5,7
/proc/21953/task/21955/stat : 21955 (java) S 21951 21951 19836 0 -1 1077944384 1524 0 0 0 8 4 0 0 20 0 19 0 445510132 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134785227792 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21956] ppid=21951 vsize=15420488 memory=1412 CPUtime=0.14 cores=1,3,5,7
/proc/21953/task/21956/stat : 21956 (java) S 21951 21951 19836 0 -1 1077944384 1289 0 0 0 9 5 0 0 20 0 19 0 445510132 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134406818960 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21957] ppid=21951 vsize=15420488 memory=3300 CPUtime=0.14 cores=1,3,5,7
/proc/21953/task/21957/stat : 21957 (java) S 21951 21951 19836 0 -1 1077944384 1048 0 0 0 9 5 0 0 20 0 19 0 445510132 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134405765904 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21958] ppid=21951 vsize=15420488 memory=1448 CPUtime=0.13 cores=1,3,5,7
/proc/21953/task/21958/stat : 21958 (java) S 21951 21951 19836 0 -1 1077944384 641 0 0 0 9 4 0 0 20 0 19 0 445510132 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134404713360 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21959] ppid=21951 vsize=15420488 memory=12118648 CPUtime=0.05 cores=1,3,5,7
/proc/21953/task/21959/stat : 21959 (java) S 21951 21951 19836 0 -1 1077944384 2584 0 0 0 2 3 0 0 20 0 19 0 445510133 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134284040432 140134815525506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21960] ppid=21951 vsize=15420488 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21960/stat : 21960 (java) S 21951 21951 19836 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 19 0 445510134 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134282986720 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21961] ppid=21951 vsize=15420488 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21961/stat : 21961 (java) S 21951 21951 19836 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 445510134 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134281933568 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21962] ppid=21951 vsize=15420488 memory=588 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21962/stat : 21962 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445510137 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134280882128 140134815532955 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21963] ppid=21951 vsize=15420488 memory=1452 CPUtime=3.15 cores=1,3,5,7
/proc/21953/task/21963/stat : 21963 (java) S 21951 21951 19836 0 -1 1077944384 28712 0 0 0 312 3 0 0 20 0 19 0 445510137 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134279830256 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21964] ppid=21951 vsize=15420488 memory=625740 CPUtime=3.18 cores=1,3,5,7
/proc/21953/task/21964/stat : 21964 (java) S 21951 21951 19836 0 -1 1077944384 33788 0 0 0 315 3 0 0 20 0 19 0 445510137 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134278777712 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21965] ppid=21951 vsize=15420488 memory=932 CPUtime=0.89 cores=1,3,5,7
/proc/21953/task/21965/stat : 21965 (java) S 21951 21951 19836 0 -1 1077944384 18198 0 0 0 88 1 0 0 20 0 19 0 445510137 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134277724656 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21966] ppid=21951 vsize=15420488 memory=1492 CPUtime=0 cores=1,3,5,7
/proc/21953/task/21966/stat : 21966 (java) S 21951 21951 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445510137 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134276672352 140134815524565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=21967] ppid=21951 vsize=15420488 memory=876 CPUtime=0.33 cores=1,3,5,7
/proc/21953/task/21967/stat : 21967 (java) S 21951 21951 19836 0 -1 1077944384 1655 0 0 0 0 33 0 0 20 0 19 0 445510137 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134275619376 140134815525506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22156] ppid=21951 vsize=15420488 memory=1448 CPUtime=78.86 cores=1,3,5,7
/proc/21953/task/22156/stat : 22156 (java) R 21951 21951 19836 0 -1 4202560 550 0 0 0 7886 0 0 0 20 0 19 0 445565643 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134264298568 140134459221399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22157] ppid=21951 vsize=15420488 memory=1980 CPUtime=77.7 cores=1,3,5,7
/proc/21953/task/22157/stat : 22157 (java) R 21951 21951 19836 0 -1 4202560 3231 0 0 0 7768 2 0 0 20 0 19 0 445565643 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134265347352 140134459517652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22158] ppid=21951 vsize=15420488 memory=2432 CPUtime=78.58 cores=1,3,5,7
/proc/21953/task/22158/stat : 22158 (java) R 21951 21951 19836 0 -1 4202560 590 0 0 0 7858 0 0 0 20 0 19 0 445565643 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134260099912 140134459517725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
[pid=21953/tid=22159] ppid=21951 vsize=15420488 memory=1760 CPUtime=78.8 cores=1,3,5,7
/proc/21953/task/22159/stat : 22159 (java) R 21951 21951 19836 0 -1 4202560 678 0 0 0 7880 0 0 0 20 0 19 0 445565643 15790579712 157459 33554432000 4194304 4196468 140721660670112 140134266402792 140134460397120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8998912 140721660675055 140721660675226 140721660675226 140721660678095 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 631288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.041 s]
# the end of solver process 21951 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002187 s, system=0 s
[startup+634.087 s]
# the end of solver process 21953 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.77 s, system=0.52101 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 634.087
CPU time (s): 2520.29
CPU user time (s): 2519.77
CPU system time (s): 0.52101
CPU usage (%): 397.468
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 631288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.77
system time used= 0.52101
maximum resident set size= 634416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17943
involuntary context switches= 38408
# summary of solver processes directly reported to runsolver:
# pid: 21951,21953
# total CPU time (s): 2520.29
# total CPU user time (s): 2519.77
# total CPU system time (s): 0.52101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33645 second user time and 7.45706 second system time
The end