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 (15048 MiB free)
memory of node 1: 16384 MiB (15487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394351-1568324326/watcher-4394351-1568324326 -o /tmp/evaluation-result-4394351-1568324326/solver-4394351-1568324326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1609956263 HOME/instance-4394351-1568324326.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25587, runsolver pid=25583
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 8.37 7.53 4.90 5/229 25610
/proc/meminfo: memFree=31243868/32770624 swapFree=66933544/67108860
[pid=25587] ppid=25583 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25587/stat : 25587 (xcsp3-exec) S 25583 25587 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408704034 115843072 363 33554432000 4194304 5098028 140736734779936 140736734778040 139811021812348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22851584 140736734786426 140736734786669 140736734786669 140736734789578 0
/proc/25587/statm: 28282 363 304 221 0 87 0
[pid=25590] ppid=25587 vsize=15144768 memory=29068 CPUtime=0.13 cores=1,3,5,7
/proc/25590/stat : 25590 (java) S 25587 25587 25300 0 -1 1077944320 5724 0 0 0 12 1 0 0 20 0 15 0 408704034 15508242432 7267 33554432000 4194304 4196468 140730361388144 140730361370688 140420067000055 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
/proc/25590/statm: 3786192 7267 3139 1 0 3748377 0
[pid=25590/tid=25591] ppid=25587 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/25590/task/25591/stat : 25591 (java) R 25587 25587 25300 0 -1 4202560 3582 0 0 0 8 1 0 0 20 0 15 0 408704034 15508242432 7267 33554432000 4194304 4196468 140730361388144 140420071228400 140420059237182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25592] ppid=25587 vsize=15144768 memory=3472468053475292368 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25592/stat : 25592 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 7267 33554432000 4194304 4196468 140730361388144 140420003236240 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25593] ppid=25587 vsize=15144768 memory=139924580140672 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25593/stat : 25593 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 7267 33554432000 4194304 4196468 140730361388144 140420002183440 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25594] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25594/stat : 25594 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 7267 33554432000 4194304 4196468 140730361388144 140420001131152 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25595] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25595/stat : 25595 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 7267 33554432000 4194304 4196468 140730361388144 140420000078352 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25598] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25598/stat : 25598 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704036 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419602786928 140420067011202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25603] ppid=25587 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25603/stat : 25603 (java) S 25587 25587 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408704037 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419601732896 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25604] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25604/stat : 25604 (java) S 25587 25587 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408704037 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419600680560 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25605] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25605/stat : 25605 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704039 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419599628880 140420067018651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25606] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25606/stat : 25606 (java) S 25587 25587 25300 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 15 0 408704039 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419598575728 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25607] ppid=25587 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25607/stat : 25607 (java) S 25587 25587 25300 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408704039 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419597522928 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25608] ppid=25587 vsize=15144768 memory=139924580140672 CPUtime=0.02 cores=1,3,5,7
/proc/25590/task/25608/stat : 25608 (java) R 25587 25587 25300 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 408704039 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419596466400 140420067011990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25609] ppid=25587 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25609/stat : 25609 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704040 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419595418080 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25610] ppid=25587 vsize=15144768 memory=139924580140672 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25610/stat : 25610 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704040 15508242432 7267 33554432000 4194304 4196468 140730361388144 140419526552496 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30520 KiB
[startup+0.210639 s]*
/proc/loadavg: 8.37 7.53 4.90 5/229 25610
/proc/meminfo: memFree=31218448/32770624 swapFree=66933544/67108860
[pid=25587] ppid=25583 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25587/stat : 25587 (xcsp3-exec) S 25583 25587 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408704034 115843072 363 33554432000 4194304 5098028 140736734779936 140736734778040 139811021812348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22851584 140736734786426 140736734786669 140736734786669 140736734789578 0
/proc/25587/statm: 28282 363 304 221 0 87 0
[pid=25590] ppid=25587 vsize=15144768 memory=40876 CPUtime=0.34 cores=1,3,5,7
/proc/25590/stat : 25590 (java) S 25587 25587 25300 0 -1 1077944320 9492 0 0 0 32 2 0 0 20 0 15 0 408704034 15508242432 10219 33554432000 4194304 4196468 140730361388144 140730361370688 140420067000055 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
/proc/25590/statm: 3786192 10219 3294 1 0 3748377 0
[pid=25590/tid=25591] ppid=25587 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/25590/task/25591/stat : 25591 (java) R 25587 25587 25300 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 15 0 408704034 15508242432 10219 33554432000 4194304 4196468 140730361388144 140420071235040 140420067011990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25592] ppid=25587 vsize=15144768 memory=3472468053475292368 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25592/stat : 25592 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 10219 33554432000 4194304 4196468 140730361388144 140420003236240 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25593] ppid=25587 vsize=15144768 memory=139924580140672 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25593/stat : 25593 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 10219 33554432000 4194304 4196468 140730361388144 140420002183440 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25594] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25594/stat : 25594 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 10219 33554432000 4194304 4196468 140730361388144 140420001131152 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25595] ppid=25587 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25595/stat : 25595 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15508242432 10219 33554432000 4194304 4196468 140730361388144 140420000078352 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25598] ppid=25587 vsize=15144768 memory=139924580140672 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25598/stat : 25598 (java) S 25587 25587 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408704036 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419602786928 140420067011202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25603] ppid=25587 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25603/stat : 25603 (java) S 25587 25587 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408704037 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419601732896 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25604] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25604/stat : 25604 (java) S 25587 25587 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408704037 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419600680560 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25605] ppid=25587 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25605/stat : 25605 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704039 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419599628880 140420067018651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25606] ppid=25587 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25590/task/25606/stat : 25606 (java) S 25587 25587 25300 0 -1 1077944384 564 0 0 0 2 0 0 0 20 0 15 0 408704039 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419598575728 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25607] ppid=25587 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25590/task/25607/stat : 25607 (java) S 25587 25587 25300 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 408704039 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419597522928 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25608] ppid=25587 vsize=15144768 memory=139924580140672 CPUtime=0.08 cores=1,3,5,7
/proc/25590/task/25608/stat : 25608 (java) S 25587 25587 25300 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 408704039 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419596470640 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25609] ppid=25587 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25609/stat : 25609 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704040 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419595418080 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25610] ppid=25587 vsize=15144768 memory=139924580140672 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25610/stat : 25610 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704040 15508242432 10219 33554432000 4194304 4196468 140730361388144 140419526552496 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42328 KiB
[startup+0.312894 s]*
/proc/loadavg: 8.37 7.53 4.90 6/229 25610
/proc/meminfo: memFree=31204568/32770624 swapFree=66933544/67108860
[pid=25587] ppid=25583 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25587/stat : 25587 (xcsp3-exec) S 25583 25587 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408704034 115843072 363 33554432000 4194304 5098028 140736734779936 140736734778040 139811021812348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22851584 140736734786426 140736734786669 140736734786669 140736734789578 0
/proc/25587/statm: 28282 363 304 221 0 87 0
[pid=25590] ppid=25587 vsize=15149024 memory=50388 CPUtime=0.53 cores=1,3,5,7
/proc/25590/stat : 25590 (java) S 25587 25587 25300 0 -1 1077944320 10954 0 0 0 50 3 0 0 20 0 15 0 408704034 15512600576 12597 33554432000 4194304 4196468 140730361388144 140730361370688 140420067000055 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
/proc/25590/statm: 3787256 12597 3345 1 0 3748377 0
[pid=25590/tid=25591] ppid=25587 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/25590/task/25591/stat : 25591 (java) R 25587 25587 25300 0 -1 4202560 7857 0 0 0 27 3 0 0 20 0 15 0 408704034 15512600576 12597 33554432000 4194304 4196468 140730361388144 140420071231168 140420067021981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25592] ppid=25587 vsize=15149024 memory=3472468053475292368 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25592/stat : 25592 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15512600576 12597 33554432000 4194304 4196468 140730361388144 140420003236240 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25593] ppid=25587 vsize=15149024 memory=139924580140672 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25593/stat : 25593 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15512600576 12597 33554432000 4194304 4196468 140730361388144 140420002183440 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25594] ppid=25587 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25594/stat : 25594 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15512600576 12597 33554432000 4194304 4196468 140730361388144 140420001131152 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25595] ppid=25587 vsize=15149024 memory=139924464609311 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25595/stat : 25595 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15512600576 12597 33554432000 4194304 4196468 140730361388144 140420000078352 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25598] ppid=25587 vsize=15149024 memory=279848929197856 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25598/stat : 25598 (java) S 25587 25587 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408704036 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419602786928 140420067011202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25603] ppid=25587 vsize=15149024 memory=139924464586255 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25603/stat : 25603 (java) S 25587 25587 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408704037 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419601732896 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25604] ppid=25587 vsize=15149024 memory=279849044736096 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25604/stat : 25604 (java) S 25587 25587 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408704037 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419600680560 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25605] ppid=25587 vsize=15149024 memory=139924464590863 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25605/stat : 25605 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704039 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419599628880 140420067018651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25606] ppid=25587 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25590/task/25606/stat : 25606 (java) R 25587 25587 25300 0 -1 1077944384 582 0 0 0 4 0 0 0 20 0 15 0 408704039 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419598575728 140420067011202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25607] ppid=25587 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/25590/task/25607/stat : 25607 (java) S 25587 25587 25300 0 -1 1077944384 324 0 0 0 5 0 0 0 20 0 15 0 408704039 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419597522928 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25608] ppid=25587 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25590/task/25608/stat : 25608 (java) R 25587 25587 25300 0 -1 1077944384 882 0 0 0 12 0 0 0 20 0 15 0 408704039 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419596470640 140420067011202 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25609] ppid=25587 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25609/stat : 25609 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704040 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419595418080 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25610] ppid=25587 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25610/stat : 25610 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704040 15512600576 12597 33554432000 4194304 4196468 140730361388144 140419526552496 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51840 KiB
[startup+0.700888 s]
/proc/loadavg: 8.37 7.53 4.90 8/229 25610
/proc/meminfo: memFree=31160948/32770624 swapFree=66933544/67108860
[pid=25587] ppid=25583 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25587/stat : 25587 (xcsp3-exec) S 25583 25587 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408704034 115843072 363 33554432000 4194304 5098028 140736734779936 140736734778040 139811021812348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22851584 140736734786426 140736734786669 140736734786669 140736734789578 0
/proc/25587/statm: 28282 363 304 221 0 87 0
[pid=25590] ppid=25587 vsize=15151148 memory=107468 CPUtime=1.81 cores=1,3,5,7
/proc/25590/stat : 25590 (java) S 25587 25587 25300 0 -1 1077944320 15397 0 0 0 175 6 0 0 20 0 15 0 408704034 15514775552 26867 33554432000 4194304 4196468 140730361388144 140730361370688 140420067000055 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
/proc/25590/statm: 3787787 26867 3450 1 0 3748889 0
[pid=25590/tid=25591] ppid=25587 vsize=15151148 memory=7236547281622689387 CPUtime=0.67 cores=1,3,5,7
/proc/25590/task/25591/stat : 25591 (java) R 25587 25587 25300 0 -1 4202560 9140 0 0 0 63 4 0 0 20 0 15 0 408704034 15514775552 26867 33554432000 4194304 4196468 140730361388144 140420071235736 140419677703012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25592] ppid=25587 vsize=15151148 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25592/stat : 25592 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15514775552 26867 33554432000 4194304 4196468 140730361388144 140420003236240 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25593] ppid=25587 vsize=15151148 memory=6298373484264312913 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25593/stat : 25593 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15514775552 26867 33554432000 4194304 4196468 140730361388144 140420002183440 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25594] ppid=25587 vsize=15151148 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25594/stat : 25594 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704035 15514775552 26867 33554432000 4194304 4196468 140730361388144 140420001131152 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25595] ppid=25587 vsize=15151148 memory=8326441112149131693 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25595/stat : 25595 (java) S 25587 25587 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408704035 15514775552 26867 33554432000 4194304 4196468 140730361388144 140420000078352 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25598] ppid=25587 vsize=15151148 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25598/stat : 25598 (java) S 25587 25587 25300 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408704036 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419602786928 140420067011202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25603] ppid=25587 vsize=15151148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25603/stat : 25603 (java) S 25587 25587 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408704037 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419601732896 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25604] ppid=25587 vsize=15151148 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25604/stat : 25604 (java) S 25587 25587 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408704037 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419600680560 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25605] ppid=25587 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25605/stat : 25605 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704039 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419599628880 140420067018651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25606] ppid=25587 vsize=15151148 memory=20032 CPUtime=0.34 cores=1,3,5,7
/proc/25590/task/25606/stat : 25606 (java) R 25587 25587 25300 0 -1 4202560 1646 0 0 0 34 0 0 0 20 0 15 0 408704039 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419598565520 140420044229233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25607] ppid=25587 vsize=15151148 memory=984 CPUtime=0.36 cores=1,3,5,7
/proc/25590/task/25607/stat : 25607 (java) R 25587 25587 25300 0 -1 4202560 1232 0 0 0 36 0 0 0 20 0 15 0 408704039 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419597521328 140420052126406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25608] ppid=25587 vsize=15151148 memory=2032 CPUtime=0.39 cores=1,3,5,7
/proc/25590/task/25608/stat : 25608 (java) S 25587 25587 25300 0 -1 1077944384 2069 0 0 0 39 0 0 0 20 0 15 0 408704039 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419596470640 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25609] ppid=25587 vsize=15151148 memory=7090143983960547920 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25609/stat : 25609 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408704040 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419595418080 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25610] ppid=25587 vsize=15151148 memory=7013348624500549744 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25610/stat : 25610 (java) S 25587 25587 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408704040 15514775552 26867 33554432000 4194304 4196468 140730361388144 140419526552496 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 108920 KiB
[startup+1.50089 s]
/proc/loadavg: 8.37 7.53 4.90 11/233 25614
/proc/meminfo: memFree=30984404/32770624 swapFree=66933544/67108860
[pid=25587] ppid=25583 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25587/stat : 25587 (xcsp3-exec) S 25583 25587 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408704034 115843072 363 33554432000 4194304 5098028 140736734779936 140736734778040 139811021812348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22851584 140736734786426 140736734786669 140736734786669 140736734789578 0
/proc/25587/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25590/stat : 25590 (java) S 25587 25587 25300 0 -1 1077944320 116277 0 0 0 207628 100 0 0 20 0 19 0 408704034 15789518848 539425 33554432000 4194304 4196468 140730361388144 140730361370688 140420067000055 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
/proc/25590/statm: 3854863 539425 3524 1 0 3815965 0
[pid=25590/tid=25591] ppid=25587 vsize=15419452 memory=2157700 CPUtime=1.6 cores=1,3,5,7
/proc/25590/task/25591/stat : 25591 (java) S 25587 25587 25300 0 -1 1077944384 11143 0 0 0 154 6 0 0 20 0 19 0 408704034 15789518848 539425 33554432000 4194304 4196468 140730361388144 140420071240832 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25592] ppid=25587 vsize=15419452 memory=2157700 CPUtime=0.34 cores=1,3,5,7
/proc/25590/task/25592/stat : 25592 (java) S 25587 25587 25300 0 -1 1077944384 1983 0 0 0 24 10 0 0 20 0 19 0 408704035 15789518848 539425 33554432000 4194304 4196468 140730361388144 140420003236240 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25593] ppid=25587 vsize=15419452 memory=2157700 CPUtime=0.33 cores=1,3,5,7
/proc/25590/task/25593/stat : 25593 (java) S 25587 25587 25300 0 -1 1077944384 3135 0 0 0 24 9 0 0 20 0 19 0 408704035 15789518848 539425 33554432000 4194304 4196468 140730361388144 140420002183440 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25594] ppid=25587 vsize=15419452 memory=2157700 CPUtime=0.35 cores=1,3,5,7
/proc/25590/task/25594/stat : 25594 (java) S 25587 25587 25300 0 -1 1077944384 2886 0 0 0 24 11 0 0 20 0 19 0 408704035 15789518848 539425 33554432000 4194304 4196468 140730361388144 140420001131152 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25595] ppid=25587 vsize=15419452 memory=1452 CPUtime=0.32 cores=1,3,5,7
/proc/25590/task/25595/stat : 25595 (java) S 25587 25587 25300 0 -1 1077944384 3351 0 0 0 23 9 0 0 20 0 19 0 408704035 15789518848 539425 33554432000 4194304 4196468 140730361388144 140420000078352 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25598] ppid=25587 vsize=15419452 memory=504 CPUtime=0.18 cores=1,3,5,7
/proc/25590/task/25598/stat : 25598 (java) S 25587 25587 25300 0 -1 1077944384 3584 0 0 0 5 13 0 0 20 0 19 0 408704036 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419602786928 140420067011202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25603] ppid=25587 vsize=15419452 memory=2221832 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25603/stat : 25603 (java) S 25587 25587 25300 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 408704037 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419601732960 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25604] ppid=25587 vsize=15419452 memory=20044 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25604/stat : 25604 (java) S 25587 25587 25300 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408704037 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419600680576 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25605] ppid=25587 vsize=15419452 memory=984 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25605/stat : 25605 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408704039 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419599628880 140420067018651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25606] ppid=25587 vsize=15419452 memory=20044 CPUtime=4.49 cores=1,3,5,7
/proc/25590/task/25606/stat : 25606 (java) S 25587 25587 25300 0 -1 1077944384 27886 0 0 0 448 1 0 0 20 0 19 0 408704039 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419598575728 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25607] ppid=25587 vsize=15419452 memory=984 CPUtime=4.41 cores=1,3,5,7
/proc/25590/task/25607/stat : 25607 (java) S 25587 25587 25300 0 -1 1077944384 18497 0 0 0 439 2 0 0 20 0 19 0 408704039 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419597522928 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25608] ppid=25587 vsize=15419452 memory=46701 CPUtime=1.04 cores=1,3,5,7
/proc/25590/task/25608/stat : 25608 (java) S 25587 25587 25300 0 -1 1077944384 11371 0 0 0 102 2 0 0 20 0 19 0 408704039 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419596470640 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25609] ppid=25587 vsize=15419452 memory=160 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25609/stat : 25609 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408704040 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419595418080 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25610] ppid=25587 vsize=15419452 memory=1452 CPUtime=0.18 cores=1,3,5,7
/proc/25590/task/25610/stat : 25610 (java) S 25587 25587 25300 0 -1 1077944384 1076 0 0 0 18 0 0 0 20 0 19 0 408704040 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419526552496 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25615] ppid=25587 vsize=15419452 memory=2157700 CPUtime=515.65 cores=1,3,5,7
/proc/25590/task/25615/stat : 25615 (java) R 25587 25587 25300 0 -1 4202560 1984 0 0 0 51564 1 0 0 20 0 19 0 408704204 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419515480680 140419687480028 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25616] ppid=25587 vsize=15419452 memory=6944656592455359580 CPUtime=516.69 cores=1,3,5,7
/proc/25590/task/25616/stat : 25616 (java) R 25587 25587 25300 0 -1 4202560 23332 0 0 0 51637 32 0 0 20 0 19 0 408704204 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419514429296 140419687480190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25617] ppid=25587 vsize=15419452 memory=1452 CPUtime=515.92 cores=1,3,5,7
/proc/25590/task/25617/stat : 25617 (java) R 25587 25587 25300 0 -1 4202560 1763 0 0 0 51591 1 0 0 20 0 19 0 408704204 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419513376792 140419687480212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25618] ppid=25587 vsize=15419452 memory=976 CPUtime=515.67 cores=1,3,5,7
/proc/25590/task/25618/stat : 25618 (java) R 25587 25587 25300 0 -1 4202560 2917 0 0 0 51567 0 0 0 20 0 19 0 408704204 15789518848 539425 33554432000 4194304 4196468 140730361388144 140419512325904 140419687479923 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
Current children cumulated CPU time: 2077.28 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2159152 KiB
[startup+582.302 s]
/proc/loadavg: 9.20 8.73 6.73 10/237 25671
/proc/meminfo: memFree=28922056/32770624 swapFree=66933544/67108860
[pid=25587] ppid=25583 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25587/stat : 25587 (xcsp3-exec) S 25583 25587 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408704034 115843072 363 33554432000 4194304 5098028 140736734779936 140736734778040 139811021812348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22851584 140736734786426 140736734786669 140736734786669 140736734789578 0
/proc/25587/statm: 28282 363 304 221 0 87 0
[pid=25590] ppid=25587 vsize=15419452 memory=2155640 CPUtime=2316.19 cores=1,3,5,7
/proc/25590/stat : 25590 (java) S 25587 25587 25300 0 -1 1077944320 123127 0 0 0 231518 101 0 0 20 0 19 0 408704034 15789518848 538910 33554432000 4194304 4196468 140730361388144 140730361370688 140420067000055 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
/proc/25590/statm: 3854863 538910 3524 1 0 3815965 0
[pid=25590/tid=25591] ppid=25587 vsize=15419452 memory=2155640 CPUtime=1.6 cores=1,3,5,7
/proc/25590/task/25591/stat : 25591 (java) S 25587 25587 25300 0 -1 1077944384 11143 0 0 0 154 6 0 0 20 0 19 0 408704034 15789518848 538910 33554432000 4194304 4196468 140730361388144 140420071240832 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25592] ppid=25587 vsize=15419452 memory=2155640 CPUtime=0.35 cores=1,3,5,7
/proc/25590/task/25592/stat : 25592 (java) S 25587 25587 25300 0 -1 1077944384 2481 0 0 0 25 10 0 0 20 0 19 0 408704035 15789518848 538910 33554432000 4194304 4196468 140730361388144 140420003236240 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25593] ppid=25587 vsize=15419452 memory=2155640 CPUtime=0.33 cores=1,3,5,7
/proc/25590/task/25593/stat : 25593 (java) S 25587 25587 25300 0 -1 1077944384 3164 0 0 0 24 9 0 0 20 0 19 0 408704035 15789518848 538910 33554432000 4194304 4196468 140730361388144 140420002183440 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25594] ppid=25587 vsize=15419452 memory=1452 CPUtime=0.35 cores=1,3,5,7
/proc/25590/task/25594/stat : 25594 (java) S 25587 25587 25300 0 -1 1077944384 3058 0 0 0 24 11 0 0 20 0 19 0 408704035 15789518848 538910 33554432000 4194304 4196468 140730361388144 140420001131152 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25595] ppid=25587 vsize=15419452 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/25590/task/25595/stat : 25595 (java) S 25587 25587 25300 0 -1 1077944384 3380 0 0 0 24 9 0 0 20 0 19 0 408704035 15789518848 538910 33554432000 4194304 4196468 140730361388144 140420000078352 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25598] ppid=25587 vsize=15419452 memory=2155640 CPUtime=0.19 cores=1,3,5,7
/proc/25590/task/25598/stat : 25598 (java) S 25587 25587 25300 0 -1 1077944384 3816 0 0 0 5 14 0 0 20 0 19 0 408704036 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419602786928 140420067011202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25603] ppid=25587 vsize=15419452 memory=2155640 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25603/stat : 25603 (java) S 25587 25587 25300 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 408704037 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419601732960 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25604] ppid=25587 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25604/stat : 25604 (java) S 25587 25587 25300 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408704037 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419600680576 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25605] ppid=25587 vsize=15419452 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25605/stat : 25605 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408704039 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419599628880 140420067018651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25606] ppid=25587 vsize=15419452 memory=20044 CPUtime=4.49 cores=1,3,5,7
/proc/25590/task/25606/stat : 25606 (java) S 25587 25587 25300 0 -1 1077944384 29263 0 0 0 448 1 0 0 20 0 19 0 408704039 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419598575728 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25607] ppid=25587 vsize=15419452 memory=2155640 CPUtime=4.42 cores=1,3,5,7
/proc/25590/task/25607/stat : 25607 (java) S 25587 25587 25300 0 -1 1077944384 19150 0 0 0 440 2 0 0 20 0 19 0 408704039 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419597522928 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25608] ppid=25587 vsize=15419452 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/25590/task/25608/stat : 25608 (java) S 25587 25587 25300 0 -1 1077944384 11380 0 0 0 102 2 0 0 20 0 19 0 408704039 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419596470640 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25609] ppid=25587 vsize=15419452 memory=2155640 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25609/stat : 25609 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408704040 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419595418080 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25610] ppid=25587 vsize=15419452 memory=1452 CPUtime=0.3 cores=1,3,5,7
/proc/25590/task/25610/stat : 25610 (java) S 25587 25587 25300 0 -1 1077944384 1123 0 0 0 20 10 0 0 20 0 19 0 408704040 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419526552496 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25615] ppid=25587 vsize=15419452 memory=2155640 CPUtime=574.98 cores=1,3,5,7
/proc/25590/task/25615/stat : 25615 (java) R 25587 25587 25300 0 -1 4202560 2073 0 0 0 57497 1 0 0 20 0 19 0 408704204 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419515483408 140419687479883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25616] ppid=25587 vsize=15419452 memory=1452 CPUtime=576.25 cores=1,3,5,7
/proc/25590/task/25616/stat : 25616 (java) R 25587 25587 25300 0 -1 4202560 26636 0 0 0 57592 33 0 0 20 0 19 0 408704204 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419514429296 140419679217493 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25617] ppid=25587 vsize=15419452 memory=2155640 CPUtime=575.89 cores=1,3,5,7
/proc/25590/task/25617/stat : 25617 (java) R 25587 25587 25300 0 -1 4202560 1837 0 0 0 57588 1 0 0 20 0 19 0 408704204 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419513376792 140419687479847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25618] ppid=25587 vsize=15419452 memory=1452 CPUtime=575.64 cores=1,3,5,7
/proc/25590/task/25618/stat : 25618 (java) R 25587 25587 25300 0 -1 4202560 3254 0 0 0 57564 0 0 0 20 0 19 0 408704204 15789518848 538910 33554432000 4194304 4196468 140730361388144 140419512324616 140419681397715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
Current children cumulated CPU time: 2316.19 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2157092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+603.403 s]
/proc/loadavg: 9.05 8.74 6.78 11/238 25672
/proc/meminfo: memFree=28982456/32770624 swapFree=66933544/67108860
[pid=25587] ppid=25583 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25587/stat : 25587 (xcsp3-exec) S 25583 25587 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408704034 115843072 363 33554432000 4194304 5098028 140736734779936 140736734778040 139811021812348 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22851584 140736734786426 140736734786669 140736734786669 140736734789578 0
/proc/25587/statm: 28282 363 304 221 0 87 0
[pid=25590] ppid=25587 vsize=15419452 memory=2095092 CPUtime=2400.15 cores=1,3,5,7
/proc/25590/stat : 25590 (java) S 25587 25587 25300 0 -1 1077944320 125208 0 0 0 239910 105 0 0 20 0 19 0 408704034 15789518848 523773 33554432000 4194304 4196468 140730361388144 140730361370688 140420067000055 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
/proc/25590/statm: 3854863 523773 3524 1 0 3815965 0
[pid=25590/tid=25591] ppid=25587 vsize=15419452 memory=20044 CPUtime=1.6 cores=1,3,5,7
/proc/25590/task/25591/stat : 25591 (java) S 25587 25587 25300 0 -1 1077944384 11143 0 0 0 154 6 0 0 20 0 19 0 408704034 15789518848 523773 33554432000 4194304 4196468 140730361388144 140420071240832 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25592] ppid=25587 vsize=15419452 memory=984 CPUtime=0.35 cores=1,3,5,7
/proc/25590/task/25592/stat : 25592 (java) S 25587 25587 25300 0 -1 1077944384 2977 0 0 0 25 10 0 0 20 0 19 0 408704035 15789518848 523773 33554432000 4194304 4196468 140730361388144 140420003236240 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25593] ppid=25587 vsize=15419452 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/25590/task/25593/stat : 25593 (java) S 25587 25587 25300 0 -1 1077944384 3271 0 0 0 25 9 0 0 20 0 19 0 408704035 15789518848 523773 33554432000 4194304 4196468 140730361388144 140420002183440 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25594] ppid=25587 vsize=15419452 memory=2095092 CPUtime=0.36 cores=1,3,5,7
/proc/25590/task/25594/stat : 25594 (java) S 25587 25587 25300 0 -1 1077944384 3082 0 0 0 25 11 0 0 20 0 19 0 408704035 15789518848 523773 33554432000 4194304 4196468 140730361388144 140420001131152 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25595] ppid=25587 vsize=15419452 memory=1448 CPUtime=0.34 cores=1,3,5,7
/proc/25590/task/25595/stat : 25595 (java) S 25587 25587 25300 0 -1 1077944384 3434 0 0 0 25 9 0 0 20 0 19 0 408704035 15789518848 523773 33554432000 4194304 4196468 140730361388144 140420000078352 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25598] ppid=25587 vsize=15419452 memory=219480 CPUtime=0.23 cores=1,3,5,7
/proc/25590/task/25598/stat : 25598 (java) S 25587 25587 25300 0 -1 1077944384 4033 0 0 0 7 16 0 0 20 0 19 0 408704036 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419602786928 140420067011202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25603] ppid=25587 vsize=15419452 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25603/stat : 25603 (java) S 25587 25587 25300 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 408704037 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419601732960 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25604] ppid=25587 vsize=15419452 memory=3316 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25604/stat : 25604 (java) S 25587 25587 25300 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 408704037 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419600680576 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25605] ppid=25587 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25605/stat : 25605 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408704039 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419599628880 140420067018651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25606] ppid=25587 vsize=15419452 memory=1772 CPUtime=4.5 cores=1,3,5,7
/proc/25590/task/25606/stat : 25606 (java) S 25587 25587 25300 0 -1 1077944384 29784 0 0 0 449 1 0 0 20 0 19 0 408704039 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419598575728 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25607] ppid=25587 vsize=15419452 memory=111632 CPUtime=4.42 cores=1,3,5,7
/proc/25590/task/25607/stat : 25607 (java) S 25587 25587 25300 0 -1 1077944384 19150 0 0 0 440 2 0 0 20 0 19 0 408704039 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419597522928 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25608] ppid=25587 vsize=15419452 memory=804 CPUtime=1.04 cores=1,3,5,7
/proc/25590/task/25608/stat : 25608 (java) S 25587 25587 25300 0 -1 1077944384 11380 0 0 0 102 2 0 0 20 0 19 0 408704039 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419596470640 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25609] ppid=25587 vsize=15419452 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/25590/task/25609/stat : 25609 (java) S 25587 25587 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408704040 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419595418080 140420067010261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25610] ppid=25587 vsize=15419452 memory=4108 CPUtime=0.3 cores=1,3,5,7
/proc/25590/task/25610/stat : 25610 (java) S 25587 25587 25300 0 -1 1077944384 1130 0 0 0 20 10 0 0 20 0 19 0 408704040 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419526552496 140420067011202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25615] ppid=25587 vsize=15419452 memory=1804 CPUtime=596 cores=1,3,5,7
/proc/25590/task/25615/stat : 25615 (java) R 25587 25587 25300 0 -1 4202560 2101 0 0 0 59599 1 0 0 20 0 19 0 408704204 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419515480680 140419687480028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25616] ppid=25587 vsize=15419452 memory=916 CPUtime=597.01 cores=1,3,5,7
/proc/25590/task/25616/stat : 25616 (java) R 25587 25587 25300 0 -1 4202560 27149 0 0 0 59668 33 0 0 20 0 19 0 408704204 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419514429600 140419679217530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25617] ppid=25587 vsize=15419452 memory=3848 CPUtime=596.94 cores=1,3,5,7
/proc/25590/task/25617/stat : 25617 (java) R 25587 25587 25300 0 -1 4202560 1870 0 0 0 59693 1 0 0 20 0 19 0 408704204 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419513376792 140419687479811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
[pid=25590/tid=25618] ppid=25587 vsize=15419452 memory=2592 CPUtime=596.69 cores=1,3,5,7
/proc/25590/task/25618/stat : 25618 (java) R 25587 25587 25300 0 -1 4202560 3335 0 0 0 59669 0 0 0 20 0 19 0 408704204 15789518848 523773 33554432000 4194304 4196468 140730361388144 140419512326208 140419686623463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21929984 140730361394159 140730361394330 140730361394330 140730361397199 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2096544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+603.426 s]
# the end of solver process 25587 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001145 s, system=0.001145 s
[startup+603.494 s]
# the end of solver process 25590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.4 s, system=1.07108 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): 603.494
CPU time (s): 2400.47
CPU user time (s): 2399.4
CPU system time (s): 1.07108
CPU usage (%): 397.762
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 2357216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.4
system time used= 1.07108
maximum resident set size= 2374232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16868
involuntary context switches= 43423
# summary of solver processes directly reported to runsolver:
# pid: 25587,25590
# total CPU time (s): 2400.47
# total CPU user time (s): 2399.4
# total CPU system time (s): 1.07108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.97106 second user time and 6.70843 second system time
The end